Trace number 1832593

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.07 1200.51

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
MD5SUMc7e600e65327a74ce4dc4cc40e37ba60
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark178.692
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses15300
Sum of the clauses size107100
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515300

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 |   15300   107100 |    4589       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 180   #clauses: 15300   #literals: 107100
0.00/0.02	c CPU time:   0.017997 s
0.00/0.02	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  180                                                  |
0.00/0.06	c |  Number of clauses:    15300                                                |
0.00/0.07	c |  Parsing time:         0.01         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     180    15300   107100 |     5100        0    nan |  0.000 % |
0.00/0.08	c |       101 |     180    15300   107100 |     5100      101     54 |  0.003 % |
0.00/0.09	c |       201 |     180    15300   107100 |     5100      201     53 |  0.003 % |
0.04/0.10	c |       301 |     180    15300   107100 |     5100      301     52 |  0.003 % |
0.04/0.11	c |       412 |     180    15300   107100 |     5100      412     51 |  0.003 % |
0.04/0.12	c |       516 |     180    15300   107100 |     5100      516     53 |  0.003 % |
0.04/0.13	c |       626 |     180    15300   107100 |     5100      626     52 |  0.003 % |
0.04/0.14	c |       747 |     180    15300   107100 |     5100      747     52 |  0.003 % |
0.04/0.15	c |       848 |     180    15300   107100 |     5100      848     53 |  0.003 % |
0.04/0.16	c |       958 |     180    15300   107100 |     5100      958     53 |  0.003 % |
0.04/0.17	c |      1081 |     180    15300   107100 |     5100     1081     52 |  0.003 % |
0.04/0.18	c |      1215 |     180    15300   107100 |     5100     1215     52 |  0.003 % |
0.04/0.19	c |      1315 |     180    15300   107100 |     5100     1315     52 |  0.003 % |
0.04/0.19	c |      1425 |     180    15300   107100 |     5100     1425     52 |  0.003 % |
0.04/0.21	c |      1546 |     180    15300   107100 |     5100     1546     53 |  0.003 % |
0.04/0.22	c |      1679 |     180    15300   107100 |     5100     1679     53 |  0.003 % |
0.04/0.23	c |      1826 |     180    15300   107100 |     5100     1826     53 |  0.003 % |
0.04/0.24	c |      1926 |     180    15300   107100 |     5100     1926     53 |  0.003 % |
0.04/0.25	c |      2036 |     180    15300   107100 |     5100     2036     53 |  0.003 % |
0.04/0.26	c |      2157 |     180    15300   107100 |     5100     2157     53 |  0.003 % |
0.04/0.27	c |      2291 |     180    15300   107100 |     5100     2291     53 |  0.003 % |
0.04/0.28	c |      2437 |     180    15300   107100 |     5100     2437     53 |  0.003 % |
0.04/0.30	c |      2598 |     180    15300   107100 |     5100     2598     53 |  0.003 % |
0.04/0.31	c |      2699 |     180    15300   107100 |     5100     2699     53 |  0.003 % |
0.04/0.32	c |      2810 |     180    15300   107100 |     5100     2810     53 |  0.003 % |
0.04/0.33	c |      2931 |     180    15300   107100 |     5100     2931     53 |  0.003 % |
0.04/0.34	c |      3065 |     180    15300   107100 |     5100     3065     53 |  0.003 % |
0.04/0.35	c |      3211 |     180    15300   107100 |     5100     3211     53 |  0.003 % |
0.04/0.37	c |      3373 |     180    15300   107100 |     5100     3373     53 |  0.003 % |
0.04/0.38	c |      3549 |     180    15300   107100 |     5100     3549     53 |  0.003 % |
0.04/0.39	c |      3649 |     180    15300   107100 |     5100     3649     53 |  0.003 % |
0.04/0.40	c |      3759 |     180    15300   107100 |     5100     3759     53 |  0.003 % |
0.04/0.41	c |      3881 |     180    15300   107100 |     5100     3881     53 |  0.003 % |
0.04/0.43	c |      4015 |     180    15300   107100 |     5100     4015     53 |  0.003 % |
0.04/0.44	c |      4161 |     180    15300   107100 |     5100     4161     53 |  0.003 % |
0.04/0.46	c |      4321 |     180    15300   107100 |     5100     4321     53 |  0.003 % |
0.04/0.48	c |      4497 |     180    15300   107100 |     5100     4497     53 |  0.003 % |
0.04/0.50	c |      4690 |     180    15300   107100 |     5100     4690     53 |  0.003 % |
0.04/0.51	c |      4791 |     180    15300   107100 |     5100     4791     53 |  0.003 % |
0.04/0.52	c |      4902 |     180    15300   107100 |     5100     4902     53 |  0.003 % |
0.04/0.53	c |      5023 |     180    15300   107100 |     5100     5023     53 |  0.003 % |
0.04/0.55	c |      5156 |     180    15300   107100 |     5100     5156     53 |  0.003 % |
0.04/0.56	c |      5304 |     180    15300   107100 |     5100     4789     52 |  0.003 % |
0.04/0.58	c |      5464 |     180    15300   107100 |     5100     4949     52 |  0.003 % |
0.04/0.60	c |      5641 |     180    15300   107100 |     5100     5126     52 |  0.003 % |
0.04/0.62	c |      5834 |     180    15300   107100 |     5100     4807     52 |  0.003 % |
0.04/0.64	c |      6047 |     180    15300   107100 |     5100     5020     52 |  0.003 % |
0.04/0.65	c |      6148 |     180    15300   107100 |     5100     5121     52 |  0.003 % |
0.04/0.66	c |      6259 |     180    15300   107100 |     5100     4720     52 |  0.003 % |
0.04/0.68	c |      6381 |     180    15300   107100 |     5100     4842     52 |  0.003 % |
0.04/0.69	c |      6515 |     180    15300   107100 |     5100     4976     52 |  0.003 % |
0.04/0.71	c |      6661 |     180    15300   107100 |     5100     5122     52 |  0.003 % |
0.04/0.73	c |      6822 |     180    15300   107100 |     5100     4771     52 |  0.003 % |
0.04/0.74	c |      6998 |     180    15300   107100 |     5100     4947     52 |  0.003 % |
0.04/0.76	c |      7191 |     180    15300   107100 |     5100     5140     52 |  0.003 % |
0.04/0.78	c |      7404 |     180    15300   107100 |     5100     4839     52 |  0.003 % |
0.04/0.81	c |      7639 |     180    15300   107100 |     5100     5074     52 |  0.003 % |
0.04/0.82	c |      7742 |     180    15300   107100 |     5100     5177     52 |  0.003 % |
0.04/0.83	c |      7853 |     180    15300   107100 |     5100     4771     52 |  0.003 % |
0.04/0.84	c |      7975 |     180    15300   107100 |     5100     4893     52 |  0.003 % |
0.04/0.86	c |      8108 |     180    15300   107100 |     5100     5026     52 |  0.003 % |
0.04/0.88	c |      8255 |     180    15300   107100 |     5100     5173     52 |  0.003 % |
0.04/0.89	c |      8417 |     180    15300   107100 |     5100     4818     52 |  0.003 % |
0.04/0.91	c |      8593 |     180    15300   107100 |     5100     4994     52 |  0.003 % |
0.04/0.94	c |      8786 |     180    15300   107100 |     5100     4669     52 |  0.003 % |
0.04/0.96	c |      9000 |     180    15300   107100 |     5100     4883     52 |  0.003 % |
0.04/0.98	c |      9233 |     180    15300   107100 |     5100     5116     52 |  0.003 % |
0.96/1.01	c |      9489 |     180    15300   107100 |     5100     4861     52 |  0.003 % |
0.96/1.02	c |      9590 |     180    15300   107100 |     5100     4962     52 |  0.003 % |
0.96/1.03	c |      9700 |     180    15300   107100 |     5100     5072     52 |  0.003 % |
0.96/1.05	c |      9823 |     180    15300   107100 |     5100     4677     52 |  0.003 % |
0.96/1.06	c |      9956 |     180    15300   107100 |     5100     4810     52 |  0.003 % |
0.96/1.08	c |     10102 |     180    15300   107100 | 2147483647     4956     52 |  0.003 % |
0.96/1.09	c |     10263 |     180    15300   107100 | 2147483647     5117     52 |  0.003 % |
1.06/1.11	c |     10439 |     180    15300   107100 | 2147483647     5293     52 |  0.003 % |
1.06/1.14	c |     10635 |     180    15300   107100 | 2147483647     5489     52 |  0.003 % |
1.06/1.16	c |     10848 |     180    15300   107100 | 2147483647     5702     52 |  0.003 % |
1.06/1.19	c |     11083 |     180    15300   107100 | 2147483647     5937     52 |  0.003 % |
1.16/1.22	c |     11339 |     180    15300   107100 | 2147483647     6193     52 |  0.003 % |
1.16/1.25	c |     11621 |     180    15300   107100 | 2147483647     6475     52 |  0.003 % |
1.16/1.26	c |     11721 |     180    15300   107100 | 2147483647     6575     52 |  0.003 % |
1.16/1.28	c |     11831 |     180    15300   107100 | 2147483647     6685     52 |  0.003 % |
1.16/1.29	c |     11952 |     180    15300   107100 | 2147483647     6806     52 |  0.003 % |
1.26/1.31	c |     12085 |     180    15300   107100 | 2147483647     6939     52 |  0.003 % |
1.26/1.33	c |     12231 |     180    15300   107100 | 2147483647     7085     52 |  0.003 % |
1.26/1.35	c |     12391 |     180    15300   107100 | 2147483647     7245     52 |  0.003 % |
1.26/1.37	c |     12568 |     180    15300   107100 | 2147483647     7422     52 |  0.003 % |
1.26/1.40	c |     12761 |     180    15300   107100 | 2147483647     7615     52 |  0.003 % |
1.36/1.42	c |     12975 |     180    15300   107100 | 2147483647     7829     52 |  0.003 % |
1.36/1.46	c |     13209 |     180    15300   107100 | 2147483647     8063     52 |  0.003 % |
1.36/1.49	c |     13467 |     180    15300   107100 | 2147483647     8321     52 |  0.003 % |
1.46/1.52	c |     13750 |     180    15300   107100 | 2147483647     8604     52 |  0.003 % |
1.46/1.57	c |     14059 |     180    15300   107100 | 2147483647     8913     53 |  0.003 % |
1.46/1.59	c |     14162 |     180    15300   107100 | 2147483647     9016     53 |  0.003 % |
1.56/1.60	c |     14273 |     180    15300   107100 | 2147483647     9127     52 |  0.003 % |
1.56/1.62	c |     14394 |     180    15300   107100 | 2147483647     9248     53 |  0.003 % |
1.56/1.64	c |     14527 |     180    15300   107100 | 2147483647     9381     53 |  0.003 % |
1.56/1.66	c |     14673 |     180    15300   107100 | 2147483647     9527     53 |  0.003 % |
1.56/1.69	c |     14833 |     180    15300   107100 | 2147483647     9687     53 |  0.003 % |
1.66/1.71	c |     15010 |     180    15300   107100 | 2147483647     9864     53 |  0.003 % |
1.66/1.74	c |     15203 |     180    15300   107100 | 2147483647    10057     53 |  0.003 % |
1.66/1.78	c |     15417 |     180    15300   107100 | 2147483647    10271     53 |  0.003 % |
1.76/1.81	c |     15650 |     180    15300   107100 | 2147483647    10504     52 |  0.003 % |
1.76/1.85	c |     15907 |     180    15300   107100 | 2147483647    10761     53 |  0.003 % |
1.76/1.89	c |     16190 |     180    15300   107100 | 2147483647    11044     53 |  0.003 % |
1.86/1.94	c |     16499 |     180    15300   107100 | 2147483647    11353     53 |  0.003 % |
1.86/1.99	c |     16840 |     180    15300   107100 | 2147483647    11694     53 |  0.003 % |
1.96/2.01	c |     16940 |     180    15300   107100 | 2147483647    11794     53 |  0.003 % |
1.96/2.03	c |     17050 |     180    15300   107100 | 2147483647    11904     53 |  0.003 % |
1.96/2.06	c |     17171 |     180    15300   107100 | 2147483647    12025     53 |  0.003 % |
1.96/2.08	c |     17307 |     180    15300   107100 | 2147483647    12161     53 |  0.003 % |
2.06/2.11	c |     17453 |     180    15300   107100 | 2147483647    12307     53 |  0.003 % |
2.06/2.14	c |     17613 |     180    15300   107100 | 2147483647    12467     53 |  0.003 % |
2.06/2.17	c |     17791 |     180    15300   107100 | 2147483647    12645     53 |  0.003 % |
2.16/2.21	c |     17984 |     180    15300   107100 | 2147483647    12838     53 |  0.003 % |
2.16/2.25	c |     18196 |     180    15300   107100 | 2147483647    13050     53 |  0.003 % |
2.16/2.29	c |     18429 |     180    15300   107100 | 2147483647    13283     53 |  0.003 % |
2.26/2.33	c |     18685 |     180    15300   107100 | 2147483647    13539     53 |  0.003 % |
2.26/2.39	c |     18967 |     180    15300   107100 | 2147483647    13821     53 |  0.003 % |
2.36/2.45	c |     19277 |     180    15300   107100 | 2147483647    14131     53 |  0.003 % |
2.45/2.51	c |     19618 |     180    15300   107100 | 2147483647    14472     53 |  0.003 % |
2.45/2.58	c |     19991 |     180    15300   107100 | 2147483647    14845     53 |  0.003 % |
2.55/2.61	c |     20091 |     180    15300   107100 | 2147483647    14945     53 |  0.003 % |
2.55/2.63	c |     20201 |     180    15300   107100 | 2147483647    15055     53 |  0.003 % |
2.55/2.66	c |     20327 |     180    15300   107100 | 2147483647    15181     53 |  0.003 % |
2.55/2.68	c |     20461 |     180    15300   107100 | 2147483647    15315     53 |  0.003 % |
2.65/2.71	c |     20608 |     180    15300   107100 | 2147483647    15462     53 |  0.003 % |
2.65/2.75	c |     20768 |     180    15300   107100 | 2147483647    15622     53 |  0.003 % |
2.65/2.79	c |     20946 |     180    15300   107100 | 2147483647    15800     53 |  0.003 % |
2.75/2.82	c |     21139 |     180    15300   107100 | 2147483647    15993     53 |  0.003 % |
2.75/2.87	c |     21351 |     180    15300   107100 | 2147483647    16205     53 |  0.003 % |
2.86/2.92	c |     21587 |     180    15300   107100 | 2147483647    16441     53 |  0.003 % |
2.86/2.98	c |     21843 |     180    15300   107100 | 2147483647    16697     53 |  0.003 % |
2.96/3.04	c |     22126 |     180    15300   107100 | 2147483647    16980     53 |  0.003 % |
3.06/3.11	c |     22435 |     180    15300   107100 | 2147483647    17289     53 |  0.003 % |
3.06/3.18	c |     22774 |     180    15300   107100 | 2147483647    17628     53 |  0.003 % |
3.17/3.26	c |     23148 |     180    15300   107100 | 2147483647    18002     53 |  0.003 % |
3.27/3.35	c |     23557 |     180    15300   107100 | 2147483647    18411     53 |  0.003 % |
3.27/3.38	c |     23658 |     180    15300   107100 | 2147483647    18512     53 |  0.003 % |
3.36/3.41	c |     23768 |     180    15300   107100 | 2147483647    18622     53 |  0.003 % |
3.36/3.43	c |     23889 |     180    15300   107100 | 2147483647    18743     53 |  0.003 % |
3.36/3.46	c |     24024 |     180    15300   107100 | 2147483647    18878     53 |  0.003 % |
3.46/3.50	c |     24171 |     180    15300   107100 | 2147483647    19025     53 |  0.003 % |
3.46/3.54	c |     24332 |     180    15300   107100 | 2147483647    19186     53 |  0.003 % |
3.46/3.58	c |     24508 |     180    15300   107100 | 2147483647    19362     53 |  0.003 % |
3.56/3.64	c |     24701 |     180    15300   107100 | 2147483647    19555     53 |  0.003 % |
3.56/3.69	c |     24914 |     180    15300   107100 | 2147483647    19768     53 |  0.003 % |
3.66/3.75	c |     25147 |     180    15300   107100 | 2147483647    20001     53 |  0.003 % |
3.76/3.81	c |     25404 |     180    15300   107100 | 2147483647    20258     53 |  0.003 % |
3.76/3.88	c |     25688 |     180    15300   107100 | 2147483647    20542     53 |  0.003 % |
3.86/3.96	c |     25997 |     180    15300   107100 | 2147483647    20851     53 |  0.003 % |
3.96/4.05	c |     26338 |     180    15300   107100 | 2147483647    21192     53 |  0.003 % |
4.06/4.14	c |     26711 |     180    15300   107100 | 2147483647    21565     53 |  0.003 % |
4.16/4.25	c |     27120 |     180    15300   107100 | 2147483647    21974     53 |  0.003 % |
4.26/4.37	c |     27571 |     180    15300   107100 | 2147483647    22425     53 |  0.003 % |
4.36/4.40	c |     27671 |     180    15300   107100 | 2147483647    22525     53 |  0.003 % |
4.36/4.43	c |     27784 |     180    15300   107100 | 2147483647    22638     53 |  0.003 % |
4.36/4.48	c |     27906 |     180    15300   107100 | 2147483647    22760     53 |  0.003 % |
4.46/4.52	c |     28039 |     180    15300   107100 | 2147483647    22893     53 |  0.003 % |
4.46/4.56	c |     28185 |     180    15300   107100 | 2147483647    23039     53 |  0.003 % |
4.56/4.61	c |     28347 |     180    15300   107100 | 2147483647    23201     53 |  0.003 % |
4.56/4.67	c |     28523 |     180    15300   107100 | 2147483647    23377     53 |  0.003 % |
4.66/4.73	c |     28717 |     180    15300   107100 | 2147483647    23571     53 |  0.003 % |
4.76/4.80	c |     28929 |     180    15300   107100 | 2147483647    23783     53 |  0.003 % |
4.76/4.87	c |     29163 |     180    15300   107100 | 2147483647    24017     53 |  0.003 % |
4.86/4.94	c |     29420 |     180    15300   107100 | 2147483647    24274     53 |  0.003 % |
4.96/5.04	c |     29701 |     180    15300   107100 | 2147483647    24555     53 |  0.003 % |
5.06/5.13	c |     30010 |     180    15300   107100 | 2147483647    24864     53 |  0.003 % |
5.16/5.24	c |     30350 |     180    15300   107100 | 2147483647    25204     53 |  0.003 % |
5.26/5.35	c |     30722 |     180    15300   107100 | 2147483647    25576     53 |  0.003 % |
5.36/5.48	c |     31133 |     180    15300   107100 | 2147483647    25987     53 |  0.003 % |
5.56/5.60	c |     31582 |     180    15300   107100 | 2147483647    26436     53 |  0.003 % |
5.66/5.76	c |     32075 |     180    15300   107100 | 2147483647    26929     53 |  0.003 % |
5.76/5.80	c |     32176 |     180    15300   107100 | 2147483647    27030     53 |  0.003 % |
5.76/5.83	c |     32287 |     180    15300   107100 | 2147483647    27141     53 |  0.003 % |
5.76/5.88	c |     32409 |     180    15300   107100 | 2147483647    27263     53 |  0.003 % |
5.86/5.92	c |     32545 |     180    15300   107100 | 2147483647    27399     53 |  0.003 % |
5.86/5.98	c |     32692 |     180    15300   107100 | 2147483647    27546     53 |  0.003 % |
5.96/6.03	c |     32853 |     180    15300   107100 | 2147483647    27707     53 |  0.003 % |
5.96/6.09	c |     33030 |     180    15300   107100 | 2147483647    27884     53 |  0.003 % |
6.06/6.17	c |     33223 |     180    15300   107100 | 2147483647    28077     53 |  0.003 % |
6.16/6.24	c |     33435 |     180    15300   107100 | 2147483647    28289     53 |  0.003 % |
6.26/6.32	c |     33668 |     180    15300   107100 | 2147483647    28522     53 |  0.003 % |
6.36/6.41	c |     33924 |     180    15300   107100 | 2147483647    28778     53 |  0.003 % |
6.46/6.50	c |     34205 |     180    15300   107100 | 2147483647    29059     53 |  0.003 % |
6.57/6.60	c |     34516 |     180    15300   107100 | 2147483647    29370     53 |  0.003 % |
6.66/6.74	c |     34855 |     180    15300   107100 | 2147483647    29709     53 |  0.003 % |
6.76/6.87	c |     35228 |     180    15300   107100 | 2147483647    30082     53 |  0.003 % |
6.96/7.03	c |     35638 |     180    15300   107100 | 2147483647    30492     53 |  0.003 % |
7.06/7.19	c |     36087 |     180    15300   107100 | 2147483647    30941     53 |  0.003 % |
7.26/7.38	c |     36581 |     180    15300   107100 | 2147483647    31435     53 |  0.003 % |
7.46/7.60	c |     37124 |     180    15300   107100 | 2147483647    31978     53 |  0.003 % |
7.56/7.64	c |     37225 |     180    15300   107100 | 2147483647    32079     53 |  0.003 % |
7.56/7.68	c |     37335 |     180    15300   107100 | 2147483647    32189     53 |  0.003 % |
7.66/7.72	c |     37456 |     180    15300   107100 | 2147483647    32310     53 |  0.003 % |
7.66/7.77	c |     37592 |     180    15300   107100 | 2147483647    32446     53 |  0.003 % |
7.76/7.85	c |     37738 |     180    15300   107100 | 2147483647    32592     53 |  0.003 % |
7.86/7.91	c |     37898 |     180    15300   107100 | 2147483647    32752     53 |  0.003 % |
7.86/7.99	c |     38074 |     180    15300   107100 | 2147483647    32928     53 |  0.003 % |
7.96/8.08	c |     38268 |     180    15300   107100 | 2147483647    33122     53 |  0.003 % |
8.06/8.17	c |     38480 |     180    15300   107100 | 2147483647    33334     53 |  0.003 % |
8.16/8.27	c |     38713 |     180    15300   107100 | 2147483647    33567     53 |  0.003 % |
8.26/8.37	c |     38969 |     180    15300   107100 | 2147483647    33823     53 |  0.003 % |
8.46/8.50	c |     39251 |     180    15300   107100 | 2147483647    34105     53 |  0.003 % |
8.56/8.62	c |     39560 |     180    15300   107100 | 2147483647    34414     53 |  0.003 % |
8.66/8.76	c |     39899 |     180    15300   107100 | 2147483647    34753     53 |  0.003 % |
8.86/8.91	c |     40272 |     180    15300   107100 | 2147483647    35126     53 |  0.003 % |
8.96/9.09	c |     40682 |     180    15300   107100 | 2147483647    35536     53 |  0.003 % |
9.16/9.28	c |     41131 |     180    15300   107100 | 2147483647    35985     53 |  0.003 % |
9.46/9.50	c |     41624 |     180    15300   107100 | 2147483647    36478     53 |  0.003 % |
9.66/9.74	c |     42166 |     180    15300   107100 | 2147483647    37020     53 |  0.003 % |
9.96/10.00	c |     42762 |     180    15300   107100 | 2147483647    37616     53 |  0.003 % |
9.96/10.04	c |     42862 |     180    15300   107100 | 2147483647    37716     53 |  0.003 % |
9.96/10.09	c |     42972 |     180    15300   107100 | 2147483647    37826     53 |  0.003 % |
10.06/10.14	c |     43095 |     180    15300   107100 | 2147483647    37949     53 |  0.003 % |
10.16/10.23	c |     43231 |     180    15300   107100 | 2147483647    38085     53 |  0.003 % |
10.26/10.30	c |     43378 |     180    15300   107100 | 2147483647    38232     53 |  0.003 % |
10.26/10.38	c |     43539 |     180    15300   107100 | 2147483647    38393     53 |  0.003 % |
10.36/10.48	c |     43715 |     180    15300   107100 | 2147483647    38569     53 |  0.003 % |
10.46/10.56	c |     43908 |     180    15300   107100 | 2147483647    38762     53 |  0.003 % |
10.56/10.66	c |     44121 |     180    15300   107100 | 2147483647    38975     53 |  0.003 % |
10.66/10.77	c |     44355 |     180    15300   107100 | 2147483647    39209     53 |  0.003 % |
10.76/10.89	c |     44612 |     180    15300   107100 | 2147483647    39466     53 |  0.003 % |
10.96/11.03	c |     44893 |     180    15300   107100 | 2147483647    39747     53 |  0.003 % |
11.06/11.18	c |     45202 |     180    15300   107100 | 2147483647    40056     53 |  0.003 % |
11.26/11.33	c |     45542 |     180    15300   107100 | 2147483647    40396     53 |  0.003 % |
11.46/11.56	c |     45916 |     180    15300   107100 | 2147483647    40770     53 |  0.003 % |
11.66/11.77	c |     46326 |     180    15300   107100 | 2147483647    41180     53 |  0.003 % |
11.86/12.00	c |     46776 |     180    15300   107100 | 2147483647    41630     53 |  0.003 % |
12.16/12.25	c |     47269 |     180    15300   107100 | 2147483647    42123     53 |  0.003 % |
12.46/12.52	c |     47811 |     180    15300   107100 | 2147483647    42665     53 |  0.003 % |
12.65/12.79	c |     48407 |     180    15300   107100 | 2147483647    43261     53 |  0.003 % |
13.06/13.11	c |     49062 |     180    15300   107100 | 2147483647    43916     53 |  0.003 % |
13.06/13.20	c |     49165 |     180    15300   107100 | 2147483647    44019     53 |  0.003 % |
13.16/13.26	c |     49275 |     180    15300   107100 | 2147483647    44129     53 |  0.003 % |
13.26/13.32	c |     49397 |     180    15300   107100 | 2147483647    44251     53 |  0.003 % |
13.26/13.40	c |     49532 |     180    15300   107100 | 2147483647    44386     53 |  0.003 % |
13.46/13.51	c |     49682 |     180    15300   107100 | 2147483647    44536     53 |  0.003 % |
13.56/13.61	c |     49843 |     180    15300   107100 | 2147483647    44697     53 |  0.003 % |
13.66/13.70	c |     50019 |     180    15300   107100 | 2147483647    44873     53 |  0.003 % |
13.76/13.82	c |     50213 |     180    15300   107100 | 2147483647    45067     53 |  0.003 % |
13.86/13.94	c |     50426 |     180    15300   107100 | 2147483647    45280     53 |  0.003 % |
13.96/14.07	c |     50663 |     180    15300   107100 | 2147483647    45517     53 |  0.003 % |
14.16/14.21	c |     50919 |     180    15300   107100 | 2147483647    45773     53 |  0.003 % |
14.26/14.35	c |     51203 |     180    15300   107100 | 2147483647    46057     53 |  0.003 % |
14.46/14.51	c |     51512 |     180    15300   107100 | 2147483647    46366     53 |  0.003 % |
14.66/14.71	c |     51852 |     180    15300   107100 | 2147483647    46706     53 |  0.003 % |
14.86/14.92	c |     52225 |     180    15300   107100 | 2147483647    47079     53 |  0.003 % |
15.06/15.14	c |     52634 |     180    15300   107100 | 2147483647    47488     53 |  0.003 % |
15.26/15.39	c |     53084 |     180    15300   107100 | 2147483647    47938     53 |  0.003 % |
15.65/15.72	c |     53578 |     180    15300   107100 | 2147483647    48432     53 |  0.003 % |
15.95/16.05	c |     54120 |     180    15300   107100 | 2147483647    48974     53 |  0.003 % |
16.25/16.39	c |     54716 |     180    15300   107100 | 2147483647    49570     53 |  0.003 % |
16.65/16.74	c |     55372 |     180    15300   107100 | 2147483647    50226     53 |  0.003 % |
17.05/17.14	c |     56092 |     180    15300   107100 | 2147483647    50946     53 |  0.003 % |
17.15/17.22	c |     56194 |     180    15300   107100 | 2147483647    51048     53 |  0.003 % |
17.25/17.30	c |     56305 |     180    15300   107100 | 2147483647    51159     53 |  0.003 % |
17.25/17.38	c |     56426 |     180    15300   107100 | 2147483647    51280     53 |  0.003 % |
17.35/17.48	c |     56559 |     180    15300   107100 | 2147483647    51413     53 |  0.003 % |
17.46/17.58	c |     56706 |     180    15300   107100 | 2147483647    51560     53 |  0.003 % |
17.65/17.70	c |     56866 |     180    15300   107100 | 2147483647    51720     53 |  0.003 % |
17.75/17.81	c |     57042 |     180    15300   107100 | 2147483647    51896     53 |  0.003 % |
17.85/17.95	c |     57235 |     180    15300   107100 | 2147483647    52089     53 |  0.003 % |
17.95/18.09	c |     57447 |     180    15300   107100 | 2147483647    52301     53 |  0.003 % |
18.15/18.25	c |     57680 |     180    15300   107100 | 2147483647    52534     53 |  0.003 % |
18.35/18.41	c |     57936 |     180    15300   107100 | 2147483647    52790     53 |  0.003 % |
18.45/18.57	c |     58220 |     180    15300   107100 | 2147483647    53074     53 |  0.003 % |
18.66/18.76	c |     58530 |     180    15300   107100 | 2147483647    53384     53 |  0.003 % |
18.96/19.00	c |     58870 |     180    15300   107100 | 2147483647    53724     53 |  0.003 % |
19.16/19.22	c |     59242 |     180    15300   107100 | 2147483647    54096     53 |  0.003 % |
19.46/19.51	c |     59651 |     180    15300   107100 | 2147483647    54505     53 |  0.003 % |
19.66/19.80	c |     60103 |     180    15300   107100 | 2147483647    54957     53 |  0.003 % |
20.06/20.11	c |     60597 |     180    15300   107100 | 2147483647    55451     53 |  0.003 % |
20.46/20.53	c |     61141 |     180    15300   107100 | 2147483647    55995     53 |  0.003 % |
20.86/20.93	c |     61740 |     180    15300   107100 | 2147483647    56594     53 |  0.003 % |
21.26/21.38	c |     62397 |     180    15300   107100 | 2147483647    57251     53 |  0.003 % |
21.76/21.89	c |     63118 |     180    15300   107100 | 2147483647    57972     53 |  0.003 % |
22.25/22.39	c |     63911 |     180    15300   107100 | 2147483647    58765     53 |  0.003 % |
22.35/22.46	c |     64012 |     180    15300   107100 | 2147483647    58866     53 |  0.003 % |
22.45/22.55	c |     64122 |     180    15300   107100 | 2147483647    58976     53 |  0.003 % |
22.55/22.65	c |     64243 |     180    15300   107100 | 2147483647    59097     53 |  0.003 % |
22.65/22.76	c |     64379 |     180    15300   107100 | 2147483647    59233     53 |  0.003 % |
22.75/22.87	c |     64527 |     180    15300   107100 | 2147483647    59381     53 |  0.003 % |
22.96/23.03	c |     64687 |     180    15300   107100 | 2147483647    59541     53 |  0.003 % |
23.06/23.16	c |     64864 |     180    15300   107100 | 2147483647    59718     53 |  0.003 % |
23.25/23.30	c |     65058 |     180    15300   107100 | 2147483647    59912     53 |  0.003 % |
23.35/23.47	c |     65270 |     180    15300   107100 | 2147483647    60124     53 |  0.003 % |
23.55/23.66	c |     65503 |     180    15300   107100 | 2147483647    60357     53 |  0.003 % |
23.75/23.85	c |     65760 |     180    15300   107100 | 2147483647    60614     53 |  0.003 % |
23.95/24.06	c |     66041 |     180    15300   107100 | 2147483647    60895     53 |  0.003 % |
24.25/24.32	c |     66350 |     180    15300   107100 | 2147483647    61204     53 |  0.003 % |
24.45/24.58	c |     66689 |     180    15300   107100 | 2147483647    61543     53 |  0.003 % |
24.75/24.86	c |     67063 |     180    15300   107100 | 2147483647    61917     53 |  0.003 % |
25.05/25.19	c |     67473 |     180    15300   107100 | 2147483647    62327     53 |  0.003 % |
25.45/25.52	c |     67922 |     180    15300   107100 | 2147483647    62776     53 |  0.003 % |
25.75/25.86	c |     68415 |     180    15300   107100 | 2147483647    63269     53 |  0.003 % |
26.15/26.25	c |     68958 |     180    15300   107100 | 2147483647    63812     53 |  0.003 % |
26.55/26.65	c |     69555 |     180    15300   107100 | 2147483647    64409     53 |  0.003 % |
27.15/27.20	c |     70210 |     180    15300   107100 | 2147483647    65064     53 |  0.003 % |
27.65/27.76	c |     70930 |     180    15300   107100 | 2147483647    65784     53 |  0.003 % |
28.24/28.37	c |     71722 |     180    15300   107100 | 2147483647    66576     53 |  0.003 % |
28.94/29.00	c |     72593 |     180    15300   107100 | 2147483647    67447     53 |  0.003 % |
29.04/29.11	c |     72694 |     180    15300   107100 | 2147483647    67548     53 |  0.003 % |
29.14/29.22	c |     72804 |     180    15300   107100 | 2147483647    67658     53 |  0.003 % |
29.24/29.31	c |     72925 |     180    15300   107100 | 2147483647    67779     53 |  0.003 % |
29.34/29.42	c |     73059 |     180    15300   107100 | 2147483647    67913     53 |  0.003 % |
29.44/29.56	c |     73207 |     180    15300   107100 | 2147483647    68061     53 |  0.003 % |
29.55/29.69	c |     73368 |     180    15300   107100 | 2147483647    68222     53 |  0.003 % |
29.74/29.84	c |     73544 |     180    15300   107100 | 2147483647    68398     53 |  0.003 % |
29.94/30.04	c |     73739 |     180    15300   107100 | 2147483647    68593     53 |  0.003 % |
30.14/30.20	c |     73951 |     180    15300   107100 | 2147483647    68805     53 |  0.003 % |
30.34/30.41	c |     74184 |     180    15300   107100 | 2147483647    69038     53 |  0.003 % |
30.54/30.61	c |     74441 |     180    15300   107100 | 2147483647    69295     53 |  0.003 % |
30.75/30.84	c |     74722 |     180    15300   107100 | 2147483647    69576     53 |  0.003 % |
30.95/31.08	c |     75031 |     180    15300   107100 | 2147483647    69885     53 |  0.003 % |
31.25/31.40	c |     75372 |     180    15300   107100 | 2147483647    70226     53 |  0.003 % |
31.65/31.70	c |     75745 |     180    15300   107100 | 2147483647    70599     53 |  0.003 % |
31.95/32.02	c |     76155 |     180    15300   107100 | 2147483647    71009     53 |  0.003 % |
32.25/32.37	c |     76606 |     180    15300   107100 | 2147483647    71460     53 |  0.003 % |
32.65/32.75	c |     77102 |     180    15300   107100 | 2147483647    71956     53 |  0.003 % |
33.05/33.19	c |     77644 |     180    15300   107100 | 2147483647    72498     53 |  0.003 % |
33.65/33.71	c |     78240 |     180    15300   107100 | 2147483647    73094     53 |  0.003 % |
34.15/34.26	c |     78895 |     180    15300   107100 | 2147483647    73749     53 |  0.003 % |
34.85/34.90	c |     79615 |     180    15300   107100 | 2147483647    74469     53 |  0.003 % |
35.45/35.55	c |     80407 |     180    15300   107100 |    74856    64483     53 |  0.003 % |
36.05/36.16	c |     81278 |     180    15300   107100 |    74856    65354     53 |  0.003 % |
36.85/36.90	c |     82236 |     180    15300   107100 |    74856    66312     53 |  0.003 % |
36.85/36.98	c |     82338 |     180    15300   107100 |    74856    66414     53 |  0.003 % |
36.95/37.07	c |     82451 |     180    15300   107100 |    74856    66527     53 |  0.003 % |
37.05/37.19	c |     82573 |     180    15300   107100 |    74856    66649     53 |  0.003 % |
37.25/37.32	c |     82707 |     180    15300   107100 |    74856    66783     53 |  0.003 % |
37.35/37.43	c |     82854 |     180    15300   107100 |    74856    66930     53 |  0.003 % |
37.45/37.56	c |     83014 |     180    15300   107100 |    74856    67090     53 |  0.003 % |
37.65/37.72	c |     83190 |     180    15300   107100 |    74856    67266     53 |  0.003 % |
37.75/37.88	c |     83385 |     180    15300   107100 |    74856    67461     53 |  0.003 % |
37.95/38.06	c |     83597 |     180    15300   107100 |    74856    67673     53 |  0.003 % |
38.15/38.27	c |     83833 |     180    15300   107100 |    74856    67909     53 |  0.003 % |
38.45/38.51	c |     84092 |     180    15300   107100 |    74856    68168     53 |  0.003 % |
38.65/38.75	c |     84374 |     180    15300   107100 |    74856    68450     53 |  0.003 % |
38.95/39.02	c |     84683 |     180    15300   107100 |    74856    68759     53 |  0.003 % |
39.14/39.29	c |     85023 |     180    15300   107100 |    74856    69099     53 |  0.003 % |
39.55/39.64	c |     85395 |     180    15300   107100 |    74856    69471     53 |  0.003 % |
39.94/40.02	c |     85804 |     180    15300   107100 |    74856    69880     53 |  0.003 % |
40.34/40.43	c |     86254 |     180    15300   107100 |    74856    70330     53 |  0.003 % |
40.74/40.82	c |     86747 |     180    15300   107100 |    74856    70823     53 |  0.003 % |
41.14/41.28	c |     87290 |     180    15300   107100 |    74856    71366     53 |  0.003 % |
41.65/41.78	c |     87887 |     180    15300   107100 |    74856    71963     53 |  0.003 % |
42.24/42.33	c |     88543 |     180    15300   107100 |    74856    72619     53 |  0.003 % |
42.85/42.95	c |     89263 |     180    15300   107100 |    74856    73339     53 |  0.003 % |
43.64/43.70	c |     90056 |     180    15300   107100 |    74077    74132     53 |  0.003 % |
44.44/44.50	c |     90927 |     180    15300   107100 |    74077    63383     53 |  0.003 % |
45.14/45.20	c |     91885 |     180    15300   107100 |    74077    64341     53 |  0.003 % |
45.84/45.96	c |     92938 |     180    15300   107100 |    74077    65394     53 |  0.003 % |
45.94/46.04	c |     93039 |     180    15300   107100 |    74077    65495     53 |  0.003 % |
46.04/46.15	c |     93149 |     180    15300   107100 |    74077    65605     53 |  0.003 % |
46.14/46.27	c |     93270 |     180    15300   107100 |    74077    65726     53 |  0.003 % |
46.24/46.39	c |     93404 |     180    15300   107100 |    74077    65860     53 |  0.003 % |
46.44/46.53	c |     93550 |     180    15300   107100 |    74077    66006     53 |  0.003 % |
46.54/46.69	c |     93710 |     180    15300   107100 |    74077    66166     53 |  0.003 % |
46.74/46.83	c |     93886 |     180    15300   107100 |    74077    66342     53 |  0.003 % |
46.94/47.01	c |     94081 |     180    15300   107100 |    74077    66537     53 |  0.003 % |
47.14/47.21	c |     94294 |     180    15300   107100 |    74077    66750     53 |  0.003 % |
47.34/47.40	c |     94527 |     180    15300   107100 |    74077    66983     53 |  0.003 % |
47.54/47.65	c |     94786 |     180    15300   107100 |    74077    67242     53 |  0.003 % |
47.74/47.88	c |     95067 |     180    15300   107100 |    74077    67523     53 |  0.003 % |
48.04/48.18	c |     95378 |     180    15300   107100 |    74077    67834     53 |  0.003 % |
48.34/48.48	c |     95718 |     180    15300   107100 |    74077    68174     53 |  0.003 % |
48.74/48.80	c |     96090 |     180    15300   107100 |    74077    68546     53 |  0.003 % |
49.04/49.15	c |     96500 |     180    15300   107100 |    74077    68956     53 |  0.003 % |
49.44/49.54	c |     96949 |     180    15300   107100 |    74077    69405     53 |  0.003 % |
49.84/49.99	c |     97443 |     180    15300   107100 |    74077    69899     53 |  0.003 % |
50.34/50.42	c |     97986 |     180    15300   107100 |    74077    70442     53 |  0.003 % |
50.73/50.84	c |     98583 |     180    15300   107100 |    74077    71039     53 |  0.003 % |
51.33/51.42	c |     99238 |     180    15300   107100 |    74077    71694     53 |  0.003 % |
51.93/52.03	c |     99960 |     180    15300   107100 |    74077    72416     53 |  0.003 % |
52.53/52.66	c |    100754 |     180    15300   107100 |    72456    61949     53 |  0.003 % |
53.13/53.24	c |    101628 |     180    15300   107100 |    72456    62823     53 |  0.003 % |
53.74/53.89	c |    102587 |     180    15300   107100 |    72456    63782     53 |  0.003 % |
54.63/54.72	c |    103640 |     180    15300   107100 |    72456    64835     53 |  0.003 % |
55.53/55.60	c |    104798 |     180    15300   107100 |    72456    65993     53 |  0.003 % |
55.53/55.67	c |    104898 |     180    15300   107100 |    72456    66093     53 |  0.003 % |
55.63/55.74	c |    105009 |     180    15300   107100 |    72456    66204     53 |  0.003 % |
55.73/55.87	c |    105130 |     180    15300   107100 |    72456    66325     53 |  0.003 % |
55.83/55.98	c |    105263 |     180    15300   107100 |    72456    66458     53 |  0.003 % |
55.94/56.08	c |    105410 |     180    15300   107100 |    72456    66605     53 |  0.003 % |
56.13/56.22	c |    105571 |     180    15300   107100 |    72456    66766     53 |  0.003 % |
56.23/56.40	c |    105748 |     180    15300   107100 |    72456    66943     53 |  0.003 % |
56.43/56.57	c |    105942 |     180    15300   107100 |    72456    67137     53 |  0.003 % |
56.63/56.77	c |    106154 |     180    15300   107100 |    72456    67349     53 |  0.003 % |
56.83/56.95	c |    106388 |     180    15300   107100 |    72456    67583     53 |  0.003 % |
57.03/57.16	c |    106644 |     180    15300   107100 |    72456    67839     53 |  0.003 % |
57.23/57.39	c |    106925 |     180    15300   107100 |    72456    68120     53 |  0.003 % |
57.53/57.61	c |    107234 |     180    15300   107100 |    72456    68429     53 |  0.003 % |
57.73/57.87	c |    107573 |     180    15300   107100 |    72456    68768     53 |  0.003 % |
58.13/58.20	c |    107945 |     180    15300   107100 |    72456    69140     53 |  0.003 % |
58.43/58.55	c |    108354 |     180    15300   107100 |    72456    69549     53 |  0.003 % |
58.83/58.91	c |    108804 |     180    15300   107100 |    72456    69999     53 |  0.003 % |
59.13/59.29	c |    109297 |     180    15300   107100 |    72456    70492     53 |  0.003 % |
59.63/59.75	c |    109840 |     180    15300   107100 |    72456    71035     53 |  0.003 % |
60.13/60.27	c |    110436 |     180    15300   107100 |    71195    61380     53 |  0.003 % |
60.63/60.70	c |    111091 |     180    15300   107100 |    71195    62035     53 |  0.003 % |
61.13/61.28	c |    111812 |     180    15300   107100 |    71195    62756     53 |  0.003 % |
61.73/61.86	c |    112605 |     180    15300   107100 |    71195    63549     53 |  0.003 % |
62.33/62.47	c |    113477 |     180    15300   107100 |    71195    64421     53 |  0.003 % |
63.03/63.15	c |    114437 |     180    15300   107100 |    71195    65381     53 |  0.003 % |
63.83/63.90	c |    115490 |     180    15300   107100 |    71195    66434     53 |  0.003 % |
64.63/64.75	c |    116649 |     180    15300   107100 |    71195    67593     53 |  0.003 % |
65.53/65.64	c |    117922 |     180    15300   107100 |    71195    68866     53 |  0.003 % |
65.63/65.72	c |    118023 |     180    15300   107100 |    71195    68967     53 |  0.003 % |
65.73/65.85	c |    118133 |     180    15300   107100 |    71195    69077     53 |  0.003 % |
65.83/65.96	c |    118254 |     180    15300   107100 |    71195    69198     53 |  0.003 % |
66.03/66.11	c |    118389 |     180    15300   107100 |    71195    69333     53 |  0.003 % |
66.13/66.22	c |    118537 |     180    15300   107100 |    71195    69481     53 |  0.003 % |
66.23/66.38	c |    118697 |     180    15300   107100 |    71195    69641     53 |  0.003 % |
66.43/66.56	c |    118875 |     180    15300   107100 |    71195    69819     53 |  0.003 % |
66.63/66.74	c |    119069 |     180    15300   107100 |    71195    70013     53 |  0.003 % |
66.83/66.97	c |    119284 |     180    15300   107100 |    71195    70228     53 |  0.003 % |
67.03/67.18	c |    119517 |     180    15300   107100 |    71195    70461     53 |  0.003 % |
67.33/67.41	c |    119774 |     180    15300   107100 |    71195    70718     53 |  0.003 % |
67.53/67.65	c |    120056 |     180    15300   107100 |    70944    71000     53 |  0.003 % |
67.83/67.98	c |    120366 |     180    15300   107100 |    70944    61611     53 |  0.003 % |
68.13/68.24	c |    120705 |     180    15300   107100 |    70944    61950     53 |  0.003 % |
68.42/68.52	c |    121079 |     180    15300   107100 |    70944    62324     53 |  0.003 % |
68.72/68.83	c |    121488 |     180    15300   107100 |    70944    62733     53 |  0.003 % |
69.02/69.16	c |    121938 |     180    15300   107100 |    70944    63183     53 |  0.003 % |
69.42/69.50	c |    122434 |     180    15300   107100 |    70944    63679     53 |  0.003 % |
69.72/69.86	c |    122976 |     180    15300   107100 |    70944    64221     53 |  0.003 % |
70.12/70.28	c |    123573 |     180    15300   107100 |    70944    64818     53 |  0.003 % |
70.72/70.83	c |    124229 |     180    15300   107100 |    70944    65474     53 |  0.003 % |
71.22/71.37	c |    124949 |     180    15300   107100 |    70944    66194     53 |  0.003 % |
71.83/71.97	c |    125741 |     180    15300   107100 |    70944    66986     53 |  0.003 % |
72.53/72.63	c |    126614 |     180    15300   107100 |    70944    67859     53 |  0.003 % |
73.22/73.35	c |    127572 |     180    15300   107100 |    70944    68817     53 |  0.003 % |
74.12/74.21	c |    128625 |     180    15300   107100 |    70944    69870     53 |  0.003 % |
75.02/75.14	c |    129783 |     180    15300   107100 |    70944    71028     53 |  0.003 % |
75.92/76.03	c |    131056 |     180    15300   107100 |    61321    53845     53 |  0.003 % |
76.83/76.91	c |    132456 |     180    15300   107100 |    61321    55245     53 |  0.003 % |
76.83/76.98	c |    132558 |     180    15300   107100 |    61321    55347     53 |  0.003 % |
76.93/77.06	c |    132668 |     180    15300   107100 |    61321    55457     53 |  0.003 % |
77.02/77.15	c |    132789 |     180    15300   107100 |    61321    55578     53 |  0.003 % |
77.12/77.26	c |    132926 |     180    15300   107100 |    61321    55715     53 |  0.003 % |
77.23/77.35	c |    133073 |     180    15300   107100 |    61321    55862     53 |  0.003 % |
77.33/77.48	c |    133234 |     180    15300   107100 |    61321    56023     53 |  0.003 % |
77.53/77.60	c |    133410 |     180    15300   107100 |    61321    56199     53 |  0.003 % |
77.63/77.72	c |    133603 |     180    15300   107100 |    61321    56392     53 |  0.003 % |
77.73/77.88	c |    133815 |     180    15300   107100 |    61321    56604     53 |  0.003 % |
77.93/78.05	c |    134050 |     180    15300   107100 |    61321    56839     53 |  0.003 % |
78.13/78.25	c |    134307 |     180    15300   107100 |    61321    57096     53 |  0.003 % |
78.33/78.43	c |    134588 |     180    15300   107100 |    61321    57377     53 |  0.003 % |
78.53/78.68	c |    134897 |     180    15300   107100 |    61321    57686     53 |  0.003 % |
78.73/78.89	c |    135236 |     180    15300   107100 |    61321    58025     53 |  0.003 % |
79.03/79.13	c |    135608 |     180    15300   107100 |    61321    58397     53 |  0.003 % |
79.23/79.39	c |    136018 |     180    15300   107100 |    61321    58807     53 |  0.003 % |
79.63/79.75	c |    136468 |     180    15300   107100 |    61321    59257     53 |  0.003 % |
80.03/80.12	c |    136961 |     180    15300   107100 |    61321    59750     53 |  0.003 % |
80.43/80.51	c |    137505 |     180    15300   107100 |    61321    60294     53 |  0.003 % |
80.83/80.98	c |    138104 |     180    15300   107100 |    61321    60893     53 |  0.003 % |
81.43/81.52	c |    138762 |     180    15300   107100 |    61321    54791     53 |  0.003 % |
81.83/81.99	c |    139482 |     180    15300   107100 |    61321    55511     53 |  0.003 % |
82.43/82.53	c |    140274 |     180    15300   107100 |    56029    50423     53 |  0.003 % |
82.93/83.04	c |    141145 |     180    15300   107100 |    56029    51294     53 |  0.003 % |
83.43/83.59	c |    142104 |     180    15300   107100 |    56029    52253     53 |  0.003 % |
84.13/84.20	c |    143158 |     180    15300   107100 |    56029    53307     53 |  0.003 % |
84.83/84.92	c |    144317 |     180    15300   107100 |    56029    54466     53 |  0.003 % |
85.63/85.74	c |    145592 |     180    15300   107100 |    56029    55741     53 |  0.003 % |
86.53/86.67	c |    146992 |     180    15300   107100 |    56029    51530     53 |  0.003 % |
87.53/87.61	c |    148532 |     180    15300   107100 |    56029    53070     53 |  0.003 % |
87.53/87.69	c |    148633 |     180    15300   107100 |    56029    53171     53 |  0.003 % |
87.63/87.77	c |    148744 |     180    15300   107100 |    56029    53282     53 |  0.003 % |
87.73/87.86	c |    148865 |     180    15300   107100 |    56029    53403     53 |  0.003 % |
87.83/87.95	c |    148998 |     180    15300   107100 |    56029    53536     53 |  0.003 % |
87.93/88.05	c |    149144 |     180    15300   107100 |    56029    53682     53 |  0.003 % |
88.03/88.14	c |    149304 |     180    15300   107100 |    56029    53842     53 |  0.003 % |
88.13/88.25	c |    149481 |     180    15300   107100 |    56029    54019     53 |  0.003 % |
88.23/88.38	c |    149675 |     180    15300   107100 |    56029    54213     53 |  0.003 % |
88.43/88.53	c |    149887 |     180    15300   107100 |    56029    54425     53 |  0.003 % |
88.53/88.69	c |    150120 |     180    15300   107100 | 2147483647    54658     53 |  0.003 % |
88.73/88.87	c |    150376 |     180    15300   107100 | 2147483647    54914     53 |  0.003 % |
88.93/89.06	c |    150658 |     180    15300   107100 | 2147483647    55196     53 |  0.003 % |
89.13/89.27	c |    150967 |     180    15300   107100 | 2147483647    55505     53 |  0.003 % |
89.33/89.49	c |    151306 |     180    15300   107100 | 2147483647    55844     53 |  0.003 % |
89.63/89.74	c |    151678 |     180    15300   107100 | 2147483647    56216     53 |  0.003 % |
89.93/90.01	c |    152088 |     180    15300   107100 | 2147483647    56626     53 |  0.003 % |
90.23/90.37	c |    152537 |     180    15300   107100 | 2147483647    57075     53 |  0.003 % |
90.63/90.72	c |    153030 |     180    15300   107100 | 2147483647    57568     53 |  0.003 % |
91.03/91.11	c |    153572 |     180    15300   107100 | 2147483647    58110     53 |  0.003 % |
91.43/91.54	c |    154169 |     180    15300   107100 | 2147483647    58707     53 |  0.003 % |
91.83/91.98	c |    154824 |     180    15300   107100 | 2147483647    59362     53 |  0.003 % |
92.33/92.47	c |    155545 |     180    15300   107100 | 2147483647    60083     53 |  0.003 % |
92.92/93.01	c |    156339 |     180    15300   107100 | 2147483647    60877     53 |  0.003 % |
93.43/93.58	c |    157210 |     180    15300   107100 | 2147483647    61748     53 |  0.003 % |
94.02/94.16	c |    158168 |     180    15300   107100 | 2147483647    62706     53 |  0.003 % |
94.72/94.82	c |    159221 |     180    15300   107100 | 2147483647    63759     53 |  0.003 % |
95.42/95.55	c |    160380 |     180    15300   107100 | 2147483647    64918     53 |  0.003 % |
96.22/96.37	c |    161653 |     180    15300   107100 | 2147483647    66191     53 |  0.003 % |
97.12/97.29	c |    163053 |     180    15300   107100 | 2147483647    67591     53 |  0.003 % |
98.52/98.64	c |    164593 |     180    15300   107100 | 2147483647    69131     53 |  0.003 % |
100.02/100.11	c |    166290 |     180    15300   107100 | 2147483647    70828     53 |  0.003 % |
100.12/100.20	c |    166391 |     180    15300   107100 | 2147483647    70929     53 |  0.003 % |
100.22/100.30	c |    166503 |     180    15300   107100 | 2147483647    71041     53 |  0.003 % |
100.32/100.41	c |    166625 |     180    15300   107100 | 2147483647    71163     53 |  0.003 % |
100.42/100.53	c |    166760 |     180    15300   107100 | 2147483647    71298     53 |  0.003 % |
100.52/100.67	c |    166906 |     180    15300   107100 | 2147483647    71444     53 |  0.003 % |
100.72/100.80	c |    167068 |     180    15300   107100 | 2147483647    71606     53 |  0.003 % |
100.82/100.98	c |    167245 |     180    15300   107100 | 2147483647    71783     53 |  0.003 % |
101.02/101.18	c |    167440 |     180    15300   107100 | 2147483647    71978     53 |  0.003 % |
101.22/101.36	c |    167656 |     180    15300   107100 | 2147483647    72194     53 |  0.003 % |
101.42/101.56	c |    167890 |     180    15300   107100 | 2147483647    72428     53 |  0.003 % |
101.62/101.76	c |    168146 |     180    15300   107100 | 2147483647    72684     53 |  0.003 % |
101.81/101.98	c |    168428 |     180    15300   107100 | 2147483647    72966     53 |  0.003 % |
102.12/102.23	c |    168737 |     180    15300   107100 | 2147483647    73275     53 |  0.003 % |
102.41/102.51	c |    169078 |     180    15300   107100 | 2147483647    73616     53 |  0.003 % |
102.71/102.88	c |    169452 |     180    15300   107100 | 2147483647    73990     53 |  0.003 % |
103.11/103.24	c |    169862 |     180    15300   107100 | 2147483647    74400     53 |  0.003 % |
103.51/103.68	c |    170312 |     180    15300   107100 |    74539    64047     53 |  0.003 % |
103.91/104.04	c |    170807 |     180    15300   107100 |    74539    64542     53 |  0.003 % |
104.32/104.47	c |    171351 |     180    15300   107100 |    74539    65086     53 |  0.003 % |
104.81/104.93	c |    171948 |     180    15300   107100 |    74539    65683     53 |  0.003 % |
105.31/105.41	c |    172603 |     180    15300   107100 |    74539    66338     53 |  0.003 % |
105.81/105.96	c |    173324 |     180    15300   107100 |    74539    67059     53 |  0.003 % |
106.41/106.56	c |    174116 |     180    15300   107100 |    74539    67851     53 |  0.003 % |
107.11/107.23	c |    174989 |     180    15300   107100 |    74539    68724     53 |  0.003 % |
107.81/107.93	c |    175947 |     180    15300   107100 |    74539    69682     53 |  0.003 % |
108.61/108.72	c |    177001 |     180    15300   107100 |    74539    70736     53 |  0.003 % |
109.61/109.71	c |    178160 |     180    15300   107100 |    74539    71895     53 |  0.003 % |
110.61/110.76	c |    179434 |     180    15300   107100 |    74539    73169     53 |  0.003 % |
111.71/111.89	c |    180836 |     180    15300   107100 |    73737    63535     53 |  0.003 % |
112.81/112.92	c |    182376 |     180    15300   107100 |    73737    65075     53 |  0.003 % |
114.01/114.10	c |    184070 |     180    15300   107100 |    73737    66769     53 |  0.003 % |
115.51/115.62	c |    185933 |     180    15300   107100 |    73737    68632     53 |  0.003 % |
115.61/115.71	c |    186034 |     180    15300   107100 |    73737    68733     53 |  0.003 % |
115.71/115.84	c |    186147 |     180    15300   107100 |    73737    68846     53 |  0.003 % |
115.81/115.95	c |    186268 |     180    15300   107100 |    73737    68967     53 |  0.003 % |
115.91/116.07	c |    186401 |     180    15300   107100 |    73737    69100     53 |  0.003 % |
116.11/116.20	c |    186547 |     180    15300   107100 |    73737    69246     53 |  0.003 % |
116.21/116.36	c |    186709 |     180    15300   107100 |    73737    69408     53 |  0.003 % |
116.31/116.49	c |    186885 |     180    15300   107100 |    73737    69584     53 |  0.003 % |
116.51/116.66	c |    187078 |     180    15300   107100 |    73737    69777     53 |  0.003 % |
116.71/116.84	c |    187291 |     180    15300   107100 |    73737    69990     53 |  0.003 % |
116.91/117.02	c |    187525 |     180    15300   107100 |    73737    70224     53 |  0.003 % |
117.11/117.29	c |    187782 |     180    15300   107100 |    73737    70481     53 |  0.003 % |
117.41/117.54	c |    188065 |     180    15300   107100 |    73737    70764     53 |  0.003 % |
117.71/117.87	c |    188375 |     180    15300   107100 |    73737    71074     53 |  0.003 % |
118.11/118.20	c |    188714 |     180    15300   107100 |    73737    71413     53 |  0.003 % |
118.40/118.50	c |    189086 |     180    15300   107100 |    73737    71785     53 |  0.003 % |
118.71/118.89	c |    189496 |     180    15300   107100 |    73737    72195     53 |  0.003 % |
119.10/119.27	c |    189946 |     180    15300   107100 |    73737    72645     53 |  0.003 % |
119.60/119.74	c |    190441 |     180    15300   107100 |    72699    61910     53 |  0.003 % |
120.00/120.12	c |    190983 |     180    15300   107100 |    72699    62452     53 |  0.003 % |
120.40/120.55	c |    191579 |     180    15300   107100 |    72699    63048     53 |  0.003 % |
120.91/121.06	c |    192235 |     180    15300   107100 |    72699    63704     53 |  0.003 % |
121.40/121.57	c |    192955 |     180    15300   107100 |    72699    64424     53 |  0.003 % |
122.01/122.11	c |    193749 |     180    15300   107100 |    72699    65218     53 |  0.003 % |
122.60/122.75	c |    194621 |     180    15300   107100 |    72699    66090     53 |  0.003 % |
123.30/123.41	c |    195579 |     180    15300   107100 |    72699    67048     53 |  0.003 % |
124.21/124.39	c |    196632 |     180    15300   107100 |    72699    68101     53 |  0.003 % |
125.20/125.35	c |    197790 |     180    15300   107100 |    72699    69259     53 |  0.003 % |
126.20/126.34	c |    199063 |     180    15300   107100 |    72699    70532     53 |  0.003 % |
127.40/127.53	c |    200463 |     180    15300   107100 |    71469    61522     53 |  0.003 % |
128.40/128.56	c |    202003 |     180    15300   107100 |    71469    63062     53 |  0.003 % |
129.70/129.85	c |    203699 |     180    15300   107100 |    71469    64758     53 |  0.003 % |
131.10/131.26	c |    205564 |     180    15300   107100 |    71469    66623     53 |  0.003 % |
132.70/132.84	c |    207614 |     180    15300   107100 |    71469    68673     53 |  0.003 % |
132.80/132.92	c |    207715 |     180    15300   107100 |    71469    68774     53 |  0.003 % |
132.90/133.01	c |    207825 |     180    15300   107100 |    71469    68884     53 |  0.003 % |
133.00/133.11	c |    207946 |     180    15300   107100 |    71469    69005     53 |  0.003 % |
133.10/133.22	c |    208083 |     180    15300   107100 |    71469    69142     53 |  0.003 % |
133.20/133.35	c |    208231 |     180    15300   107100 |    71469    69290     53 |  0.003 % |
133.30/133.49	c |    208391 |     180    15300   107100 |    71469    69450     53 |  0.003 % |
133.50/133.64	c |    208567 |     180    15300   107100 |    71469    69626     53 |  0.003 % |
133.70/133.82	c |    208760 |     180    15300   107100 |    71469    69819     53 |  0.003 % |
133.90/134.02	c |    208972 |     180    15300   107100 |    71469    70031     53 |  0.003 % |
134.10/134.23	c |    209206 |     180    15300   107100 |    71469    70265     53 |  0.003 % |
134.30/134.42	c |    209463 |     180    15300   107100 |    71469    70522     53 |  0.003 % |
134.50/134.63	c |    209744 |     180    15300   107100 |    71469    70803     53 |  0.003 % |
134.70/134.84	c |    210054 |     180    15300   107100 |    71059    71113     53 |  0.003 % |
135.00/135.18	c |    210394 |     180    15300   107100 |    71059    61381     53 |  0.003 % |
135.30/135.45	c |    210766 |     180    15300   107100 |    71059    61753     53 |  0.003 % |
135.60/135.75	c |    211175 |     180    15300   107100 |    71059    62162     53 |  0.003 % |
136.00/136.10	c |    211626 |     180    15300   107100 |    71059    62613     53 |  0.003 % |
136.30/136.48	c |    212119 |     180    15300   107100 |    71059    63106     53 |  0.003 % |
136.70/136.87	c |    212664 |     180    15300   107100 |    71059    63651     53 |  0.003 % |
137.10/137.29	c |    213263 |     180    15300   107100 |    71059    64250     53 |  0.003 % |
137.60/137.77	c |    213919 |     180    15300   107100 |    71059    64906     53 |  0.003 % |
138.10/138.22	c |    214643 |     180    15300   107100 |    71059    65630     53 |  0.003 % |
138.60/138.75	c |    215435 |     180    15300   107100 |    71059    66422     53 |  0.003 % |
139.20/139.32	c |    216309 |     180    15300   107100 |    71059    67296     53 |  0.003 % |
139.80/139.97	c |    217267 |     180    15300   107100 |    71059    68254     53 |  0.003 % |
140.60/140.77	c |    218320 |     180    15300   107100 |    71059    69307     53 |  0.003 % |
141.40/141.56	c |    219478 |     180    15300   107100 |    71059    70465     53 |  0.003 % |
142.29/142.44	c |    220751 |     180    15300   107100 |    70988    62751     53 |  0.003 % |
143.19/143.32	c |    222152 |     180    15300   107100 |    70988    64152     53 |  0.003 % |
144.19/144.34	c |    223692 |     180    15300   107100 |    70988    65692     53 |  0.003 % |
145.29/145.47	c |    225386 |     180    15300   107100 |    70988    67386     53 |  0.003 % |
146.49/146.66	c |    227250 |     180    15300   107100 |    70988    69250     53 |  0.003 % |
147.89/148.08	c |    229299 |     180    15300   107100 |    70988    63594     53 |  0.003 % |
149.40/149.51	c |    231552 |     180    15300   107100 |    64295    58932     53 |  0.003 % |
149.50/149.60	c |    231652 |     180    15300   107100 |    64295    59032     53 |  0.003 % |
149.50/149.69	c |    231762 |     180    15300   107100 |    64295    59142     53 |  0.003 % |
149.59/149.78	c |    231884 |     180    15300   107100 |    64295    59264     53 |  0.003 % |
149.69/149.89	c |    232017 |     180    15300   107100 |    64295    59397     53 |  0.003 % |
149.89/150.01	c |    232164 |     180    15300   107100 |    64295    59544     53 |  0.003 % |
149.99/150.13	c |    232326 |     180    15300   107100 |    64295    59706     53 |  0.003 % |
150.09/150.25	c |    232502 |     180    15300   107100 |    64295    59882     53 |  0.003 % |
150.29/150.41	c |    232695 |     180    15300   107100 |    64295    60075     53 |  0.003 % |
150.39/150.60	c |    232907 |     180    15300   107100 |    64295    60287     53 |  0.003 % |
150.59/150.75	c |    233140 |     180    15300   107100 |    64295    60520     53 |  0.003 % |
150.79/150.93	c |    233396 |     180    15300   107100 |    64295    60776     53 |  0.003 % |
150.99/151.14	c |    233681 |     180    15300   107100 |    64295    61061     53 |  0.003 % |
151.19/151.32	c |    233990 |     180    15300   107100 |    64295    61370     53 |  0.003 % |
151.39/151.56	c |    234329 |     180    15300   107100 |    64295    61709     53 |  0.003 % |
151.69/151.83	c |    234701 |     180    15300   107100 |    64295    62081     53 |  0.003 % |
151.89/152.09	c |    235110 |     180    15300   107100 |    64295    62490     53 |  0.003 % |
152.29/152.41	c |    235559 |     180    15300   107100 |    64295    62939     53 |  0.003 % |
152.69/152.82	c |    236052 |     180    15300   107100 |    64295    63432     53 |  0.003 % |
153.09/153.23	c |    236594 |     180    15300   107100 |    64295    63974     53 |  0.003 % |
153.59/153.70	c |    237190 |     180    15300   107100 |    64295    57619     53 |  0.003 % |
153.99/154.10	c |    237845 |     180    15300   107100 |    64295    58274     53 |  0.003 % |
154.39/154.51	c |    238566 |     180    15300   107100 |    64295    58995     53 |  0.003 % |
154.99/155.16	c |    239361 |     180    15300   107100 |    64295    59790     53 |  0.003 % |
155.59/155.79	c |    240232 |     180    15300   107100 |    60429    54284     53 |  0.003 % |
156.19/156.38	c |    241192 |     180    15300   107100 |    60429    55244     53 |  0.003 % |
156.79/156.99	c |    242245 |     180    15300   107100 |    60429    56297     53 |  0.003 % |
157.49/157.69	c |    243404 |     180    15300   107100 |    60429    57456     53 |  0.003 % |
158.29/158.47	c |    244679 |     180    15300   107100 |    60429    58731     53 |  0.003 % |
159.18/159.37	c |    246079 |     180    15300   107100 |    60429    60131     53 |  0.003 % |
160.18/160.39	c |    247620 |     180    15300   107100 |    60429    55620     53 |  0.003 % |
161.18/161.39	c |    249314 |     180    15300   107100 |    60429    57314     53 |  0.003 % |
162.38/162.54	c |    251177 |     180    15300   107100 | 2147483647    59177     53 |  0.003 % |
163.69/163.87	c |    253228 |     180    15300   107100 | 2147483647    61228     53 |  0.003 % |
165.18/165.32	c |    255482 |     180    15300   107100 | 2147483647    63482     53 |  0.003 % |
166.78/166.99	c |    257960 |     180    15300   107100 | 2147483647    65960     53 |  0.003 % |
166.88/167.06	c |    258060 |     180    15300   107100 | 2147483647    66060     53 |  0.003 % |
166.99/167.17	c |    258170 |     180    15300   107100 | 2147483647    66170     53 |  0.003 % |
167.09/167.27	c |    258291 |     180    15300   107100 | 2147483647    66291     53 |  0.003 % |
167.18/167.37	c |    258424 |     180    15300   107100 | 2147483647    66424     53 |  0.003 % |
167.28/167.48	c |    258571 |     180    15300   107100 | 2147483647    66571     53 |  0.003 % |
167.48/167.62	c |    258731 |     180    15300   107100 | 2147483647    66731     53 |  0.003 % |
167.58/167.76	c |    258908 |     180    15300   107100 | 2147483647    66908     53 |  0.003 % |
167.78/167.93	c |    259103 |     180    15300   107100 | 2147483647    67103     53 |  0.003 % |
167.98/168.10	c |    259315 |     180    15300   107100 | 2147483647    67315     53 |  0.003 % |
168.09/168.29	c |    259549 |     180    15300   107100 | 2147483647    67549     53 |  0.003 % |
168.38/168.52	c |    259805 |     180    15300   107100 | 2147483647    67805     53 |  0.003 % |
168.58/168.76	c |    260087 |     180    15300   107100 | 2147483647    68087     53 |  0.003 % |
168.88/169.03	c |    260398 |     180    15300   107100 | 2147483647    68398     53 |  0.003 % |
169.08/169.28	c |    260739 |     180    15300   107100 | 2147483647    68739     53 |  0.003 % |
169.38/169.58	c |    261111 |     180    15300   107100 | 2147483647    69111     53 |  0.003 % |
169.68/169.88	c |    261521 |     180    15300   107100 | 2147483647    69521     53 |  0.003 % |
170.08/170.27	c |    261971 |     180    15300   107100 | 2147483647    69971     53 |  0.003 % |
170.48/170.68	c |    262464 |     180    15300   107100 | 2147483647    70464     53 |  0.003 % |
170.98/171.15	c |    263007 |     180    15300   107100 | 2147483647    71007     53 |  0.003 % |
171.48/171.66	c |    263604 |     180    15300   107100 | 2147483647    71604     53 |  0.003 % |
172.08/172.22	c |    264259 |     180    15300   107100 | 2147483647    72259     53 |  0.003 % |
172.68/172.83	c |    264980 |     180    15300   107100 | 2147483647    72980     53 |  0.003 % |
173.38/173.52	c |    265773 |     180    15300   107100 | 2147483647    73773     53 |  0.003 % |
174.08/174.21	c |    266646 |     180    15300   107100 | 2147483647    74646     53 |  0.003 % |
174.78/174.98	c |    267606 |     180    15300   107100 | 2147483647    75606     54 |  0.003 % |
175.68/175.84	c |    268660 |     180    15300   107100 | 2147483647    76660     53 |  0.003 % |
176.69/176.85	c |    269818 |     180    15300   107100 | 2147483647    77818     53 |  0.003 % |
177.69/177.81	c |    271092 |     180    15300   107100 |    78001    67008     53 |  0.003 % |
178.69/178.84	c |    272492 |     180    15300   107100 |    78001    68408     53 |  0.003 % |
179.89/180.00	c |    274032 |     180    15300   107100 |    78001    69948     53 |  0.003 % |
181.19/181.35	c |    275726 |     180    15300   107100 |    78001    71642     54 |  0.003 % |
182.69/182.84	c |    277590 |     180    15300   107100 |    78001    73506     54 |  0.003 % |
184.38/184.53	c |    279640 |     180    15300   107100 |    78001    75556     54 |  0.003 % |
186.18/186.38	c |    281893 |     180    15300   107100 |    75918    65719     54 |  0.003 % |
188.08/188.27	c |    284374 |     180    15300   107100 |    75918    68200     54 |  0.003 % |
189.98/190.19	c |    287101 |     180    15300   107100 |    75918    70927     54 |  0.003 % |
190.09/190.26	c |    287202 |     180    15300   107100 |    75918    71028     54 |  0.003 % |
190.19/190.36	c |    287314 |     180    15300   107100 |    75918    71140     54 |  0.003 % |
190.28/190.46	c |    287437 |     180    15300   107100 |    75918    71263     54 |  0.003 % |
190.38/190.59	c |    287571 |     180    15300   107100 |    75918    71397     54 |  0.003 % |
190.58/190.76	c |    287718 |     180    15300   107100 |    75918    71544     54 |  0.003 % |
190.68/190.89	c |    287878 |     180    15300   107100 |    75918    71704     54 |  0.003 % |
190.88/191.03	c |    288056 |     180    15300   107100 |    75918    71882     54 |  0.003 % |
191.08/191.22	c |    288249 |     180    15300   107100 |    75918    72075     54 |  0.003 % |
191.28/191.42	c |    288461 |     180    15300   107100 |    75918    72287     54 |  0.003 % |
191.48/191.64	c |    288694 |     180    15300   107100 |    75918    72520     54 |  0.003 % |
191.68/191.89	c |    288953 |     180    15300   107100 |    75918    72779     54 |  0.003 % |
191.98/192.14	c |    289234 |     180    15300   107100 |    75918    73060     54 |  0.003 % |
192.18/192.40	c |    289544 |     180    15300   107100 |    75918    73370     54 |  0.003 % |
192.58/192.73	c |    289884 |     180    15300   107100 |    75918    73710     54 |  0.003 % |
192.98/193.10	c |    290256 |     180    15300   107100 |    73826    62908     54 |  0.003 % |
193.18/193.37	c |    290667 |     180    15300   107100 |    73826    63319     54 |  0.003 % |
193.58/193.71	c |    291116 |     180    15300   107100 |    73826    63768     54 |  0.003 % |
193.88/194.05	c |    291610 |     180    15300   107100 |    73826    64262     54 |  0.003 % |
194.28/194.43	c |    292152 |     180    15300   107100 |    73826    64804     54 |  0.003 % |
194.68/194.86	c |    292749 |     180    15300   107100 |    73826    65401     54 |  0.003 % |
195.18/195.39	c |    293405 |     180    15300   107100 |    73826    66057     54 |  0.003 % |
195.68/195.90	c |    294126 |     180    15300   107100 |    73826    66778     53 |  0.003 % |
196.28/196.47	c |    294919 |     180    15300   107100 |    73826    67571     54 |  0.003 % |
196.98/197.13	c |    295791 |     180    15300   107100 |    73826    68443     53 |  0.003 % |
197.68/197.86	c |    296749 |     180    15300   107100 |    73826    69401     53 |  0.003 % |
198.48/198.66	c |    297803 |     180    15300   107100 |    73826    70455     53 |  0.003 % |
199.38/199.54	c |    298963 |     180    15300   107100 |    73826    71615     53 |  0.003 % |
200.48/200.66	c |    300236 |     180    15300   107100 |    72654    62801     53 |  0.003 % |
201.38/201.60	c |    301636 |     180    15300   107100 |    72654    64201     53 |  0.003 % |
202.48/202.63	c |    303177 |     180    15300   107100 |    72654    65742     53 |  0.003 % |
203.68/203.84	c |    304871 |     180    15300   107100 |    72654    67436     53 |  0.003 % |
204.98/205.16	c |    306736 |     180    15300   107100 |    72654    69301     53 |  0.003 % |
206.37/206.56	c |    308785 |     180    15300   107100 |    72654    71350     53 |  0.003 % |
207.97/208.16	c |    311038 |     180    15300   107100 |    72566    64485     53 |  0.003 % |
209.88/210.04	c |    313516 |     180    15300   107100 |    72566    66963     54 |  0.003 % |
211.87/212.00	c |    316242 |     180    15300   107100 |    72566    69689     54 |  0.003 % |
214.07/214.29	c |    319239 |     180    15300   107100 |    72566    62874     53 |  0.003 % |
214.17/214.38	c |    319340 |     180    15300   107100 |    72566    62975     53 |  0.003 % |
214.28/214.47	c |    319451 |     180    15300   107100 |    72566    63086     53 |  0.003 % |
214.38/214.55	c |    319573 |     180    15300   107100 |    72566    63208     53 |  0.003 % |
214.47/214.68	c |    319706 |     180    15300   107100 |    72566    63341     53 |  0.003 % |
214.57/214.79	c |    319852 |     180    15300   107100 |    72566    63487     53 |  0.003 % |
214.77/214.94	c |    320012 |     180    15300   107100 |    63637    63647     53 |  0.003 % |
214.97/215.14	c |    320188 |     180    15300   107100 |    63637    55186     54 |  0.003 % |
215.07/215.27	c |    320382 |     180    15300   107100 |    63637    55380     54 |  0.003 % |
215.27/215.41	c |    320594 |     180    15300   107100 |    63637    55592     54 |  0.003 % |
215.48/215.60	c |    320827 |     180    15300   107100 |    63637    55825     54 |  0.003 % |
215.57/215.77	c |    321084 |     180    15300   107100 |    63637    56082     54 |  0.003 % |
215.77/215.99	c |    321366 |     180    15300   107100 |    63637    56364     54 |  0.003 % |
216.07/216.22	c |    321676 |     180    15300   107100 |    63637    56674     53 |  0.003 % |
216.27/216.44	c |    322016 |     180    15300   107100 |    63637    57014     53 |  0.003 % |
216.58/216.70	c |    322390 |     180    15300   107100 |    63637    57388     54 |  0.003 % |
216.77/216.94	c |    322799 |     180    15300   107100 |    63637    57797     54 |  0.003 % |
217.07/217.20	c |    323248 |     180    15300   107100 |    63637    58246     54 |  0.003 % |
217.37/217.53	c |    323742 |     180    15300   107100 |    63637    58740     54 |  0.003 % |
217.77/217.93	c |    324288 |     180    15300   107100 |    63637    59286     54 |  0.003 % |
218.17/218.31	c |    324885 |     180    15300   107100 |    63637    59883     53 |  0.003 % |
218.57/218.71	c |    325541 |     180    15300   107100 |    63637    60539     53 |  0.003 % |
219.07/219.26	c |    326261 |     180    15300   107100 |    63637    61259     54 |  0.003 % |
219.57/219.80	c |    327053 |     180    15300   107100 |    63637    62051     54 |  0.003 % |
220.27/220.48	c |    327925 |     180    15300   107100 |    63637    62923     53 |  0.003 % |
221.07/221.22	c |    328884 |     180    15300   107100 |    63637    56981     53 |  0.003 % |
221.67/221.89	c |    329937 |     180    15300   107100 |    63637    58034     53 |  0.003 % |
222.37/222.57	c |    331095 |     180    15300   107100 |    58097    53143     53 |  0.003 % |
223.17/223.37	c |    332369 |     180    15300   107100 |    58097    54417     53 |  0.003 % |
224.07/224.23	c |    333770 |     180    15300   107100 |    58097    55818     53 |  0.003 % |
224.97/225.12	c |    335310 |     180    15300   107100 |    58097    57358     53 |  0.003 % |
225.87/226.04	c |    337004 |     180    15300   107100 |    58097    53234     53 |  0.003 % |
226.97/227.10	c |    338868 |     180    15300   107100 |    58097    55098     53 |  0.003 % |
228.17/228.37	c |    340918 |     180    15300   107100 | 2147483647    57148     53 |  0.003 % |
229.57/229.75	c |    343171 |     180    15300   107100 | 2147483647    59401     53 |  0.003 % |
231.06/231.25	c |    345649 |     180    15300   107100 | 2147483647    61879     53 |  0.003 % |
232.86/233.00	c |    348374 |     180    15300   107100 | 2147483647    64604     53 |  0.003 % |
234.76/234.93	c |    351372 |     180    15300   107100 | 2147483647    67602     53 |  0.003 % |
237.06/237.22	c |    354668 |     180    15300   107100 | 2147483647    70898     53 |  0.003 % |
237.06/237.29	c |    354768 |     180    15300   107100 | 2147483647    70998     53 |  0.003 % |
237.16/237.38	c |    354879 |     180    15300   107100 | 2147483647    71109     53 |  0.003 % |
237.26/237.49	c |    355001 |     180    15300   107100 | 2147483647    71231     53 |  0.003 % |
237.47/237.62	c |    355135 |     180    15300   107100 | 2147483647    71365     53 |  0.003 % |
237.56/237.76	c |    355281 |     180    15300   107100 | 2147483647    71511     53 |  0.003 % |
237.66/237.89	c |    355441 |     180    15300   107100 | 2147483647    71671     53 |  0.003 % |
237.86/238.02	c |    355617 |     180    15300   107100 | 2147483647    71847     53 |  0.003 % |
237.96/238.17	c |    355810 |     180    15300   107100 | 2147483647    72040     53 |  0.003 % |
238.16/238.36	c |    356022 |     180    15300   107100 | 2147483647    72252     53 |  0.003 % |
238.36/238.60	c |    356255 |     180    15300   107100 | 2147483647    72485     53 |  0.003 % |
238.66/238.81	c |    356512 |     180    15300   107100 | 2147483647    72742     53 |  0.003 % |
238.86/239.06	c |    356793 |     180    15300   107100 | 2147483647    73023     53 |  0.003 % |
239.16/239.31	c |    357103 |     180    15300   107100 | 2147483647    73333     53 |  0.003 % |
239.36/239.59	c |    357443 |     180    15300   107100 | 2147483647    73673     53 |  0.003 % |
239.76/239.93	c |    357816 |     180    15300   107100 | 2147483647    74046     53 |  0.003 % |
240.06/240.23	c |    358227 |     180    15300   107100 | 2147483647    74457     53 |  0.003 % |
240.46/240.63	c |    358676 |     180    15300   107100 | 2147483647    74906     53 |  0.003 % |
240.86/241.03	c |    359170 |     180    15300   107100 | 2147483647    75400     53 |  0.003 % |
241.36/241.50	c |    359714 |     180    15300   107100 | 2147483647    75944     53 |  0.003 % |
241.86/242.03	c |    360311 |     180    15300   107100 |    76231    66194     53 |  0.003 % |
242.36/242.51	c |    360967 |     180    15300   107100 |    76231    66850     53 |  0.003 % |
242.87/243.10	c |    361687 |     180    15300   107100 |    76231    67570     53 |  0.003 % |
243.46/243.66	c |    362480 |     180    15300   107100 |    76231    68363     53 |  0.003 % |
244.06/244.28	c |    363353 |     180    15300   107100 |    76231    69236     53 |  0.003 % |
244.66/244.89	c |    364311 |     180    15300   107100 |    76231    70194     53 |  0.003 % |
245.46/245.68	c |    365364 |     180    15300   107100 |    76231    71247     53 |  0.003 % |
246.36/246.52	c |    366522 |     180    15300   107100 |    76231    72405     53 |  0.003 % |
247.46/247.61	c |    367796 |     180    15300   107100 |    76231    73679     53 |  0.003 % |
248.56/248.75	c |    369196 |     180    15300   107100 |    76231    75079     53 |  0.003 % |
249.96/250.12	c |    370737 |     180    15300   107100 |    75883    65481     53 |  0.003 % |
251.16/251.30	c |    372434 |     180    15300   107100 |    75883    67178     53 |  0.003 % |
252.46/252.65	c |    374299 |     180    15300   107100 |    75883    69043     53 |  0.003 % |
254.06/254.29	c |    376348 |     180    15300   107100 |    75883    71092     53 |  0.003 % |
255.76/255.97	c |    378602 |     180    15300   107100 |    75883    73346     53 |  0.003 % |
257.65/257.83	c |    381081 |     180    15300   107100 |    74745    65453     53 |  0.003 % |
259.65/259.90	c |    383808 |     180    15300   107100 |    74745    68180     53 |  0.003 % |
261.85/262.07	c |    386805 |     180    15300   107100 |    74745    71177     53 |  0.003 % |
264.45/264.62	c |    390103 |     180    15300   107100 |    74373    63630     53 |  0.003 % |
266.85/267.01	c |    393731 |     180    15300   107100 |    74373    67258     53 |  0.003 % |
266.85/267.09	c |    393833 |     180    15300   107100 |    74373    67360     53 |  0.003 % |
266.95/267.17	c |    393943 |     180    15300   107100 |    74373    67470     53 |  0.003 % |
267.05/267.26	c |    394064 |     180    15300   107100 |    74373    67591     53 |  0.003 % |
267.25/267.40	c |    394198 |     180    15300   107100 |    74373    67725     53 |  0.003 % |
267.35/267.51	c |    394344 |     180    15300   107100 |    74373    67871     53 |  0.003 % |
267.45/267.66	c |    394505 |     180    15300   107100 |    74373    68032     53 |  0.003 % |
267.65/267.82	c |    394681 |     180    15300   107100 |    74373    68208     53 |  0.003 % |
267.85/268.00	c |    394875 |     180    15300   107100 |    74373    68402     53 |  0.003 % |
268.05/268.20	c |    395087 |     180    15300   107100 |    74373    68614     53 |  0.003 % |
268.25/268.43	c |    395322 |     180    15300   107100 |    74373    68849     53 |  0.003 % |
268.45/268.64	c |    395578 |     180    15300   107100 |    74373    69105     53 |  0.003 % |
268.75/268.90	c |    395859 |     180    15300   107100 |    74373    69386     53 |  0.003 % |
268.95/269.15	c |    396168 |     180    15300   107100 |    74373    69695     53 |  0.003 % |
269.25/269.46	c |    396507 |     180    15300   107100 |    74373    70034     53 |  0.003 % |
269.65/269.82	c |    396882 |     180    15300   107100 |    74373    70409     53 |  0.003 % |
269.95/270.17	c |    397292 |     180    15300   107100 |    74373    70819     53 |  0.003 % |
270.35/270.56	c |    397742 |     180    15300   107100 |    74373    71269     53 |  0.003 % |
270.75/270.98	c |    398235 |     180    15300   107100 |    74373    71762     53 |  0.003 % |
271.25/271.46	c |    398778 |     180    15300   107100 |    74373    72305     53 |  0.003 % |
271.75/271.97	c |    399374 |     180    15300   107100 |    74373    72901     53 |  0.003 % |
272.25/272.47	c |    400029 |     180    15300   107100 |    73527    73556     53 |  0.003 % |
272.95/273.15	c |    400752 |     180    15300   107100 |    73527    63509     53 |  0.003 % |
273.55/273.75	c |    401545 |     180    15300   107100 |    73527    64302     53 |  0.003 % |
274.25/274.44	c |    402417 |     180    15300   107100 |    73527    65174     53 |  0.003 % |
274.95/275.16	c |    403375 |     180    15300   107100 |    73527    66132     53 |  0.003 % |
275.74/275.97	c |    404428 |     180    15300   107100 |    73527    67185     53 |  0.003 % |
276.64/276.82	c |    405587 |     180    15300   107100 |    73527    68344     53 |  0.003 % |
277.64/277.84	c |    406864 |     180    15300   107100 |    73527    69621     53 |  0.003 % |
278.74/278.96	c |    408266 |     180    15300   107100 |    73527    71023     53 |  0.003 % |
279.94/280.19	c |    409808 |     180    15300   107100 |    73527    72565     53 |  0.003 % |
281.24/281.41	c |    411503 |     180    15300   107100 |    72758    63434     53 |  0.003 % |
282.64/282.82	c |    413368 |     180    15300   107100 |    72758    65299     53 |  0.003 % |
284.04/284.24	c |    415417 |     180    15300   107100 |    72758    67348     53 |  0.003 % |
285.54/285.71	c |    417671 |     180    15300   107100 |    72758    69602     54 |  0.003 % |
287.44/287.62	c |    420150 |     180    15300   107100 |    71931    62628     54 |  0.003 % |
289.34/289.50	c |    422876 |     180    15300   107100 |    71931    65354     54 |  0.003 % |
291.34/291.59	c |    425874 |     180    15300   107100 |    71931    68352     53 |  0.003 % |
293.74/293.93	c |    429170 |     180    15300   107100 |    71931    71648     53 |  0.003 % |
295.94/296.19	c |    432795 |     180    15300   107100 |    63962    59290     54 |  0.003 % |
298.34/298.54	c |    436782 |     180    15300   107100 |    63962    63277     54 |  0.003 % |
298.44/298.62	c |    436883 |     180    15300   107100 |    63962    63378     54 |  0.003 % |
298.54/298.70	c |    436993 |     180    15300   107100 |    63962    63488     54 |  0.003 % |
298.54/298.79	c |    437114 |     180    15300   107100 |    63962    63609     54 |  0.003 % |
298.64/298.89	c |    437247 |     180    15300   107100 |    63962    63742     54 |  0.003 % |
298.84/299.01	c |    437393 |     180    15300   107100 |    63962    63888     54 |  0.003 % |
298.94/299.19	c |    437553 |     180    15300   107100 |    63962    57645     54 |  0.003 % |
299.14/299.34	c |    437729 |     180    15300   107100 |    63962    57821     54 |  0.003 % |
299.24/299.47	c |    437923 |     180    15300   107100 |    63962    58015     54 |  0.003 % |
299.44/299.63	c |    438137 |     180    15300   107100 |    63962    58229     54 |  0.003 % |
299.54/299.79	c |    438370 |     180    15300   107100 |    63962    58462     54 |  0.003 % |
299.74/299.98	c |    438626 |     180    15300   107100 |    63962    58718     54 |  0.003 % |
299.94/300.17	c |    438908 |     180    15300   107100 |    63962    59000     54 |  0.003 % |
300.24/300.40	c |    439218 |     180    15300   107100 |    63962    59310     54 |  0.003 % |
300.44/300.65	c |    439558 |     180    15300   107100 |    63962    59650     54 |  0.003 % |
300.73/300.95	c |    439930 |     180    15300   107100 |    63962    60022     54 |  0.003 % |
301.03/301.26	c |    440340 |     180    15300   107100 | 2147483647    60432     54 |  0.003 % |
301.33/301.56	c |    440789 |     180    15300   107100 | 2147483647    60881     54 |  0.003 % |
301.73/301.90	c |    441282 |     180    15300   107100 | 2147483647    61374     54 |  0.003 % |
302.03/302.28	c |    441825 |     180    15300   107100 | 2147483647    61917     54 |  0.003 % |
302.44/302.67	c |    442422 |     180    15300   107100 | 2147483647    62514     54 |  0.003 % |
302.83/303.10	c |    443078 |     180    15300   107100 | 2147483647    63170     54 |  0.003 % |
303.44/303.68	c |    443798 |     180    15300   107100 | 2147483647    63890     54 |  0.003 % |
304.13/304.32	c |    444590 |     180    15300   107100 | 2147483647    64682     54 |  0.003 % |
304.73/304.99	c |    445461 |     180    15300   107100 | 2147483647    65553     54 |  0.003 % |
305.43/305.70	c |    446421 |     180    15300   107100 | 2147483647    66513     54 |  0.003 % |
306.33/306.51	c |    447475 |     180    15300   107100 | 2147483647    67567     54 |  0.003 % |
307.13/307.36	c |    448635 |     180    15300   107100 | 2147483647    68727     54 |  0.003 % |
308.13/308.32	c |    449908 |     180    15300   107100 | 2147483647    70000     54 |  0.003 % |
309.03/309.28	c |    451310 |     180    15300   107100 |    70095    62825     54 |  0.003 % |
310.13/310.31	c |    452852 |     180    15300   107100 |    70095    64367     54 |  0.003 % |
311.33/311.53	c |    454547 |     180    15300   107100 |    70095    66062     53 |  0.003 % |
312.63/312.88	c |    456412 |     180    15300   107100 |    70095    67927     53 |  0.003 % |
314.03/314.29	c |    458461 |     180    15300   107100 |    70095    69976     53 |  0.003 % |
315.53/315.78	c |    460715 |     180    15300   107100 |    63280    56774     53 |  0.003 % |
317.03/317.22	c |    463195 |     180    15300   107100 |    63280    59254     53 |  0.003 % |
318.53/318.75	c |    465920 |     180    15300   107100 |    63280    61979     53 |  0.003 % |
320.23/320.46	c |    468917 |     180    15300   107100 |    63280    58641     53 |  0.003 % |
322.23/322.45	c |    472215 |     180    15300   107100 | 2147483647    61939     53 |  0.003 % |
324.63/324.80	c |    475842 |     180    15300   107100 | 2147483647    65566     54 |  0.003 % |
327.43/327.60	c |    479829 |     180    15300   107100 | 2147483647    69553     54 |  0.003 % |
330.43/330.65	c |    484214 |     180    15300   107100 | 2147483647    73938     54 |  0.003 % |
330.53/330.73	c |    484314 |     180    15300   107100 | 2147483647    74038     54 |  0.003 % |
330.63/330.82	c |    484426 |     180    15300   107100 | 2147483647    74150     54 |  0.003 % |
330.73/330.93	c |    484549 |     180    15300   107100 | 2147483647    74273     54 |  0.003 % |
330.83/331.07	c |    484684 |     180    15300   107100 | 2147483647    74408     54 |  0.003 % |
331.03/331.20	c |    484830 |     180    15300   107100 | 2147483647    74554     54 |  0.003 % |
331.13/331.37	c |    484992 |     180    15300   107100 | 2147483647    74716     54 |  0.003 % |
331.33/331.56	c |    485169 |     180    15300   107100 | 2147483647    74893     54 |  0.003 % |
331.53/331.72	c |    485362 |     180    15300   107100 | 2147483647    75086     54 |  0.003 % |
331.73/331.90	c |    485574 |     180    15300   107100 | 2147483647    75298     54 |  0.003 % |
331.93/332.12	c |    485807 |     180    15300   107100 | 2147483647    75531     54 |  0.003 % |
332.13/332.35	c |    486064 |     180    15300   107100 | 2147483647    75788     54 |  0.003 % |
332.43/332.61	c |    486349 |     180    15300   107100 | 2147483647    76073     54 |  0.003 % |
332.63/332.89	c |    486658 |     180    15300   107100 | 2147483647    76382     54 |  0.003 % |
332.93/333.19	c |    486998 |     180    15300   107100 | 2147483647    76722     54 |  0.003 % |
333.33/333.54	c |    487371 |     180    15300   107100 | 2147483647    77095     54 |  0.003 % |
333.63/333.87	c |    487780 |     180    15300   107100 | 2147483647    77504     54 |  0.003 % |
334.03/334.23	c |    488231 |     180    15300   107100 | 2147483647    77955     54 |  0.003 % |
334.43/334.63	c |    488724 |     180    15300   107100 | 2147483647    78448     54 |  0.003 % |
334.93/335.11	c |    489267 |     180    15300   107100 | 2147483647    78991     54 |  0.003 % |
335.42/335.61	c |    489863 |     180    15300   107100 | 2147483647    79587     54 |  0.003 % |
335.92/336.13	c |    490518 |     180    15300   107100 |    79724    68693     53 |  0.003 % |
336.43/336.66	c |    491239 |     180    15300   107100 |    79724    69414     53 |  0.003 % |
337.02/337.23	c |    492031 |     180    15300   107100 |    79724    70206     53 |  0.003 % |
337.72/337.90	c |    492904 |     180    15300   107100 |    79724    71079     53 |  0.003 % |
338.42/338.63	c |    493867 |     180    15300   107100 |    79724    72042     53 |  0.003 % |
339.22/339.44	c |    494921 |     180    15300   107100 |    79724    73096     53 |  0.003 % |
340.12/340.37	c |    496079 |     180    15300   107100 |    79724    74254     53 |  0.003 % |
341.22/341.44	c |    497352 |     180    15300   107100 |    79724    75527     53 |  0.003 % |
342.22/342.45	c |    498752 |     180    15300   107100 |    79724    76927     54 |  0.003 % |
343.52/343.72	c |    500293 |     180    15300   107100 |    78175    66379     54 |  0.003 % |
344.72/344.90	c |    501987 |     180    15300   107100 |    78175    68073     54 |  0.003 % |
346.02/346.25	c |    503850 |     180    15300   107100 |    78175    69936     54 |  0.003 % |
347.52/347.71	c |    505899 |     180    15300   107100 |    78175    71985     54 |  0.003 % |
349.02/349.25	c |    508153 |     180    15300   107100 |    78175    74239     54 |  0.003 % |
351.02/351.22	c |    510632 |     180    15300   107100 |    76087    65667     54 |  0.003 % |
352.92/353.15	c |    513357 |     180    15300   107100 |    76087    68392     54 |  0.003 % |
355.12/355.35	c |    516359 |     180    15300   107100 |    76087    71394     54 |  0.003 % |
357.51/357.74	c |    519655 |     180    15300   107100 |    76087    74690     54 |  0.003 % |
360.31/360.51	c |    523280 |     180    15300   107100 |    75037    67727     54 |  0.003 % |
363.01/363.26	c |    527267 |     180    15300   107100 |    75037    71714     54 |  0.003 % |
366.21/366.49	c |    531653 |     180    15300   107100 |    74448    66017     54 |  0.003 % |
369.41/369.66	c |    536476 |     180    15300   107100 |    74448    70840     54 |  0.003 % |
369.51/369.73	c |    536577 |     180    15300   107100 |    74448    70941     54 |  0.003 % |
369.61/369.84	c |    536689 |     180    15300   107100 |    74448    71053     54 |  0.003 % |
369.71/369.95	c |    536810 |     180    15300   107100 |    74448    71174     54 |  0.003 % |
369.81/370.06	c |    536944 |     180    15300   107100 |    74448    71308     54 |  0.003 % |
369.91/370.20	c |    537090 |     180    15300   107100 |    74448    71454     54 |  0.003 % |
370.11/370.34	c |    537252 |     180    15300   107100 |    74448    71616     54 |  0.003 % |
370.21/370.48	c |    537429 |     180    15300   107100 |    74448    71793     54 |  0.003 % |
370.41/370.64	c |    537623 |     180    15300   107100 |    74448    71987     54 |  0.003 % |
370.61/370.82	c |    537836 |     180    15300   107100 |    74448    72200     54 |  0.003 % |
370.81/371.01	c |    538069 |     180    15300   107100 |    74448    72433     54 |  0.003 % |
371.01/371.24	c |    538325 |     180    15300   107100 |    74448    72689     54 |  0.003 % |
371.21/371.48	c |    538606 |     180    15300   107100 |    74448    72970     54 |  0.003 % |
371.51/371.73	c |    538915 |     180    15300   107100 |    74448    73279     54 |  0.003 % |
371.71/371.98	c |    539254 |     180    15300   107100 |    74448    73618     54 |  0.003 % |
372.01/372.26	c |    539626 |     180    15300   107100 |    74448    73990     54 |  0.003 % |
372.41/372.60	c |    540037 |     180    15300   107100 |    74366    74401     54 |  0.003 % |
372.81/373.03	c |    540487 |     180    15300   107100 |    74366    64938     54 |  0.003 % |
373.21/373.40	c |    540981 |     180    15300   107100 |    74366    65432     54 |  0.003 % |
373.61/373.80	c |    541523 |     180    15300   107100 |    74366    65974     54 |  0.003 % |
374.01/374.29	c |    542121 |     180    15300   107100 |    74366    66572     54 |  0.003 % |
374.51/374.78	c |    542776 |     180    15300   107100 |    74366    67227     54 |  0.003 % |
375.10/375.31	c |    543496 |     180    15300   107100 |    74366    67947     54 |  0.003 % |
375.70/375.95	c |    544290 |     180    15300   107100 |    74366    68741     54 |  0.003 % |
376.40/376.62	c |    545161 |     180    15300   107100 |    74366    69612     54 |  0.003 % |
377.20/377.40	c |    546121 |     180    15300   107100 |    74366    70572     54 |  0.003 % |
378.00/378.20	c |    547174 |     180    15300   107100 |    74366    71625     54 |  0.003 % |
378.90/379.13	c |    548335 |     180    15300   107100 |    74366    72786     54 |  0.003 % |
379.90/380.12	c |    549608 |     180    15300   107100 |    74366    74059     54 |  0.003 % |
380.90/381.16	c |    551008 |     180    15300   107100 |    63700    55576     54 |  0.003 % |
381.90/382.11	c |    552548 |     180    15300   107100 |    63700    57116     54 |  0.003 % |
383.00/383.22	c |    554244 |     180    15300   107100 |    63700    58812     54 |  0.003 % |
384.20/384.45	c |    556108 |     180    15300   107100 |    63700    60676     54 |  0.003 % |
385.50/385.77	c |    558159 |     180    15300   107100 |    63700    62727     54 |  0.003 % |
387.10/387.33	c |    560412 |     180    15300   107100 | 2147483647    58602     54 |  0.003 % |
388.80/389.05	c |    562891 |     180    15300   107100 | 2147483647    61081     54 |  0.003 % |
390.70/390.90	c |    565616 |     180    15300   107100 | 2147483647    63806     54 |  0.003 % |
392.50/392.73	c |    568613 |     180    15300   107100 | 2147483647    66803     54 |  0.003 % |
394.80/395.02	c |    571910 |     180    15300   107100 | 2147483647    70100     54 |  0.003 % |
397.50/397.70	c |    575536 |     180    15300   107100 | 2147483647    73726     54 |  0.003 % |
400.49/400.77	c |    579525 |     180    15300   107100 | 2147483647    77715     54 |  0.003 % |
403.79/404.04	c |    583910 |     180    15300   107100 |    78191    71305     54 |  0.003 % |
407.59/407.80	c |    588733 |     180    15300   107100 |    78191    76128     54 |  0.003 % |
411.79/412.01	c |    594038 |     180    15300   107100 |    77396    69550     54 |  0.003 % |
411.89/412.10	c |    594140 |     180    15300   107100 |    77396    69652     54 |  0.003 % |
411.89/412.19	c |    594253 |     180    15300   107100 |    77396    69765     54 |  0.003 % |
411.99/412.28	c |    594375 |     180    15300   107100 |    77396    69887     54 |  0.003 % |
412.09/412.39	c |    594509 |     180    15300   107100 |    77396    70021     54 |  0.003 % |
412.29/412.55	c |    594656 |     180    15300   107100 |    77396    70168     54 |  0.003 % |
412.39/412.69	c |    594816 |     180    15300   107100 |    77396    70328     54 |  0.003 % |
412.59/412.82	c |    594995 |     180    15300   107100 |    77396    70507     54 |  0.003 % |
412.69/412.98	c |    595188 |     180    15300   107100 |    77396    70700     54 |  0.003 % |
412.89/413.17	c |    595400 |     180    15300   107100 |    77396    70912     54 |  0.003 % |
413.09/413.36	c |    595636 |     180    15300   107100 |    77396    71148     54 |  0.003 % |
413.29/413.57	c |    595893 |     180    15300   107100 |    77396    71405     54 |  0.003 % |
413.49/413.78	c |    596174 |     180    15300   107100 |    77396    71686     54 |  0.003 % |
413.79/414.04	c |    596483 |     180    15300   107100 |    77396    71995     54 |  0.003 % |
414.09/414.31	c |    596822 |     180    15300   107100 |    77396    72334     54 |  0.003 % |
414.39/414.62	c |    597194 |     180    15300   107100 |    77396    72706     54 |  0.003 % |
414.69/414.94	c |    597604 |     180    15300   107100 |    77396    73116     54 |  0.003 % |
414.99/415.26	c |    598053 |     180    15300   107100 |    77396    73565     54 |  0.003 % |
415.49/415.73	c |    598547 |     180    15300   107100 |    77396    74059     54 |  0.003 % |
415.99/416.21	c |    599091 |     180    15300   107100 |    77396    74603     54 |  0.003 % |
416.59/416.83	c |    599687 |     180    15300   107100 |    77396    75199     54 |  0.003 % |
417.19/417.48	c |    600343 |     180    15300   107100 |    75513    63586     54 |  0.003 % |
417.79/418.01	c |    601063 |     180    15300   107100 |    75513    64306     54 |  0.003 % |
418.39/418.63	c |    601855 |     180    15300   107100 |    75513    65098     54 |  0.003 % |
418.99/419.22	c |    602728 |     180    15300   107100 |    75513    65971     54 |  0.003 % |
419.59/419.84	c |    603686 |     180    15300   107100 |    75513    66929     54 |  0.003 % |
420.19/420.49	c |    604739 |     180    15300   107100 |    75513    67982     54 |  0.003 % |
420.99/421.22	c |    605897 |     180    15300   107100 |    75513    69140     54 |  0.003 % |
421.88/422.10	c |    607170 |     180    15300   107100 |    75513    70413     54 |  0.003 % |
422.79/423.09	c |    608571 |     180    15300   107100 |    75513    71814     54 |  0.003 % |
424.29/424.54	c |    610111 |     180    15300   107100 |    73245    62966     54 |  0.003 % |
425.49/425.75	c |    611805 |     180    15300   107100 |    73245    64660     54 |  0.003 % |
426.68/426.96	c |    613670 |     180    15300   107100 |    73245    66525     54 |  0.003 % |
428.18/428.43	c |    615721 |     180    15300   107100 |    73245    68576     54 |  0.003 % |
429.98/430.20	c |    617974 |     180    15300   107100 |    73245    70829     54 |  0.003 % |
431.88/432.16	c |    620452 |     180    15300   107100 |    72855    63742     54 |  0.003 % |
433.78/434.09	c |    623177 |     180    15300   107100 |    72855    66467     54 |  0.003 % |
435.98/436.22	c |    626174 |     180    15300   107100 |    72855    69464     54 |  0.003 % |
438.38/438.62	c |    629471 |     180    15300   107100 |    72855    72761     54 |  0.003 % |
440.78/441.02	c |    633096 |     180    15300   107100 |    64009    58988     54 |  0.003 % |
443.28/443.55	c |    637085 |     180    15300   107100 |    64009    62977     54 |  0.003 % |
446.18/446.44	c |    641470 |     180    15300   107100 | 2147483647    60831     54 |  0.003 % |
449.28/449.56	c |    646293 |     180    15300   107100 | 2147483647    65654     54 |  0.003 % |
452.98/453.23	c |    651599 |     180    15300   107100 |    69363    63426     54 |  0.003 % |
457.18/457.42	c |    657434 |     180    15300   107100 |    69363    69261     54 |  0.003 % |
457.18/457.50	c |    657534 |     180    15300   107100 |    69363    69361     54 |  0.003 % |
457.39/457.67	c |    657644 |     180    15300   107100 |    69363    60907     54 |  0.003 % |
457.48/457.77	c |    657766 |     180    15300   107100 |    69363    61029     54 |  0.003 % |
457.58/457.88	c |    657899 |     180    15300   107100 |    69363    61162     54 |  0.003 % |
457.68/457.99	c |    658045 |     180    15300   107100 |    69363    61308     54 |  0.003 % |
457.88/458.15	c |    658208 |     180    15300   107100 |    69363    61471     54 |  0.003 % |
458.08/458.30	c |    658384 |     180    15300   107100 |    69363    61647     54 |  0.003 % |
458.18/458.46	c |    658577 |     180    15300   107100 |    69363    61840     54 |  0.003 % |
458.38/458.64	c |    658790 |     180    15300   107100 |    69363    62053     54 |  0.003 % |
458.58/458.81	c |    659025 |     180    15300   107100 |    69363    62288     54 |  0.003 % |
458.78/459.03	c |    659283 |     180    15300   107100 |    69363    62546     54 |  0.003 % |
458.98/459.25	c |    659567 |     180    15300   107100 |    69363    62830     54 |  0.003 % |
459.28/459.52	c |    659877 |     180    15300   107100 |    69363    63140     54 |  0.003 % |
459.58/459.82	c |    660216 |     180    15300   107100 |    63263    55406     54 |  0.003 % |
459.78/460.06	c |    660589 |     180    15300   107100 |    63263    55779     54 |  0.003 % |
460.08/460.37	c |    660998 |     180    15300   107100 |    63263    56188     54 |  0.003 % |
460.48/460.70	c |    661447 |     180    15300   107100 |    63263    56637     54 |  0.003 % |
460.78/461.04	c |    661941 |     180    15300   107100 |    63263    57131     54 |  0.003 % |
461.08/461.38	c |    662483 |     180    15300   107100 |    63263    57673     54 |  0.003 % |
461.48/461.76	c |    663079 |     180    15300   107100 |    63263    58269     54 |  0.003 % |
461.98/462.26	c |    663736 |     180    15300   107100 |    63263    58926     54 |  0.003 % |
462.48/462.76	c |    664456 |     180    15300   107100 |    63263    59646     54 |  0.003 % |
463.08/463.30	c |    665248 |     180    15300   107100 |    63263    60438     54 |  0.003 % |
463.68/463.95	c |    666121 |     180    15300   107100 |    63263    61311     54 |  0.003 % |
464.38/464.61	c |    667079 |     180    15300   107100 |    63263    62269     54 |  0.003 % |
465.18/465.45	c |    668132 |     180    15300   107100 |    63263    63322     54 |  0.003 % |
465.98/466.26	c |    669292 |     180    15300   107100 |    63263    57745     54 |  0.003 % |
466.78/467.08	c |    670565 |     180    15300   107100 |    58453    53045     54 |  0.003 % |
467.67/467.97	c |    671968 |     180    15300   107100 |    58453    54448     54 |  0.003 % |
468.67/468.92	c |    673509 |     180    15300   107100 |    58453    55989     54 |  0.003 % |
469.77/470.07	c |    675203 |     180    15300   107100 |    58453    57683     54 |  0.003 % |
471.07/471.30	c |    677068 |     180    15300   107100 |    58453    53694     54 |  0.003 % |
472.37/472.64	c |    679117 |     180    15300   107100 |    58453    55743     54 |  0.003 % |
473.78/474.07	c |    681371 |     180    15300   107100 | 2147483647    57997     54 |  0.003 % |
475.27/475.56	c |    683849 |     180    15300   107100 | 2147483647    60475     54 |  0.003 % |
476.97/477.26	c |    686574 |     180    15300   107100 | 2147483647    63200     54 |  0.003 % |
479.27/479.55	c |    689571 |     180    15300   107100 | 2147483647    66197     54 |  0.003 % |
481.87/482.13	c |    692867 |     180    15300   107100 | 2147483647    69493     54 |  0.003 % |
484.77/485.02	c |    696493 |     180    15300   107100 | 2147483647    73119     54 |  0.003 % |
487.97/488.29	c |    700480 |     180    15300   107100 |    76627    66601     54 |  0.003 % |
491.37/491.64	c |    704867 |     180    15300   107100 |    76627    70988     54 |  0.003 % |
494.87/495.17	c |    709690 |     180    15300   107100 |    76627    75811     54 |  0.003 % |
498.66/498.98	c |    714996 |     180    15300   107100 |    76121    69921     54 |  0.003 % |
502.76/503.08	c |    720831 |     180    15300   107100 |    74926    65884     54 |  0.003 % |
507.46/507.77	c |    727249 |     180    15300   107100 |    74926    72302     54 |  0.003 % |
507.56/507.87	c |    727351 |     180    15300   107100 |    74926    72404     54 |  0.003 % |
507.66/507.97	c |    727464 |     180    15300   107100 |    74926    72517     54 |  0.003 % |
507.76/508.08	c |    727585 |     180    15300   107100 |    74926    72638     54 |  0.003 % |
507.96/508.24	c |    727718 |     180    15300   107100 |    74926    72771     54 |  0.003 % |
508.06/508.39	c |    727864 |     180    15300   107100 |    74926    72917     54 |  0.003 % |
508.26/508.54	c |    728026 |     180    15300   107100 |    74926    73079     54 |  0.003 % |
508.46/508.71	c |    728202 |     180    15300   107100 |    74926    73255     54 |  0.003 % |
508.56/508.88	c |    728395 |     180    15300   107100 |    74926    73448     54 |  0.003 % |
508.76/509.05	c |    728607 |     180    15300   107100 |    74926    73660     54 |  0.003 % |
508.96/509.21	c |    728840 |     180    15300   107100 |    74926    73893     54 |  0.003 % |
509.16/509.45	c |    729098 |     180    15300   107100 |    74926    74151     54 |  0.003 % |
509.46/509.72	c |    729379 |     180    15300   107100 |    74926    74432     54 |  0.003 % |
509.76/510.04	c |    729688 |     180    15300   107100 |    74926    74741     54 |  0.003 % |
510.06/510.39	c |    730027 |     180    15300   107100 |    64558    64581     54 |  0.003 % |
510.36/510.69	c |    730399 |     180    15300   107100 |    64558    55933     54 |  0.003 % |
510.66/510.96	c |    730808 |     180    15300   107100 |    64558    56342     54 |  0.003 % |
510.96/511.21	c |    731257 |     180    15300   107100 |    64558    56791     54 |  0.003 % |
511.16/511.49	c |    731750 |     180    15300   107100 |    64558    57284     54 |  0.003 % |
511.56/511.81	c |    732293 |     180    15300   107100 |    64558    57827     54 |  0.003 % |
511.86/512.19	c |    732891 |     180    15300   107100 |    64558    58425     54 |  0.003 % |
512.26/512.59	c |    733548 |     180    15300   107100 |    64558    59082     54 |  0.003 % |
512.86/513.15	c |    734269 |     180    15300   107100 |    64558    59803     54 |  0.003 % |
513.36/513.63	c |    735063 |     180    15300   107100 |    64558    60597     54 |  0.003 % |
513.95/514.21	c |    735935 |     180    15300   107100 |    64558    61469     54 |  0.003 % |
514.56/514.85	c |    736893 |     180    15300   107100 |    64558    62427     54 |  0.003 % |
515.35/515.60	c |    737947 |     180    15300   107100 |    64558    63481     54 |  0.003 % |
516.05/516.36	c |    739107 |     180    15300   107100 |    64558    64641     54 |  0.003 % |
516.95/517.21	c |    740382 |     180    15300   107100 | 2147483647    59372     54 |  0.003 % |
517.75/518.09	c |    741782 |     180    15300   107100 | 2147483647    60772     54 |  0.003 % |
518.75/519.02	c |    743322 |     180    15300   107100 | 2147483647    62312     54 |  0.003 % |
519.75/520.03	c |    745017 |     180    15300   107100 | 2147483647    64007     54 |  0.003 % |
521.05/521.34	c |    746880 |     180    15300   107100 | 2147483647    65870     54 |  0.003 % |
522.45/522.76	c |    748929 |     180    15300   107100 | 2147483647    67919     54 |  0.003 % |
524.15/524.42	c |    751182 |     180    15300   107100 |    68993    63114     54 |  0.003 % |
525.75/526.00	c |    753661 |     180    15300   107100 |    68993    65593     54 |  0.003 % |
527.75/528.05	c |    756386 |     180    15300   107100 |    68993    68318     54 |  0.003 % |
529.85/530.13	c |    759383 |     180    15300   107100 |    68993    63656     54 |  0.003 % |
532.05/532.31	c |    762679 |     180    15300   107100 |    64273    60290     54 |  0.003 % |
534.25/534.53	c |    766305 |     180    15300   107100 |    64273    63916     54 |  0.003 % |
536.75/537.06	c |    770292 |     180    15300   107100 | 2147483647    61469     54 |  0.003 % |
539.64/539.98	c |    774678 |     180    15300   107100 | 2147483647    65855     54 |  0.003 % |
543.05/543.34	c |    779501 |     180    15300   107100 | 2147483647    70678     54 |  0.003 % |
546.54/546.82	c |    784807 |     180    15300   107100 |    71178    68326     54 |  0.003 % |
550.34/550.69	c |    790644 |     180    15300   107100 |    64848    58011     54 |  0.003 % |
554.54/554.88	c |    797062 |     180    15300   107100 |    64848    64429     54 |  0.003 % |
558.84/559.11	c |    804122 |     180    15300   107100 | 2147483647    64995     55 |  0.003 % |
558.84/559.18	c |    804222 |     180    15300   107100 | 2147483647    65095     55 |  0.003 % |
558.94/559.28	c |    804333 |     180    15300   107100 | 2147483647    65206     55 |  0.003 % |
559.04/559.38	c |    804454 |     180    15300   107100 | 2147483647    65327     55 |  0.003 % |
559.24/559.50	c |    804587 |     180    15300   107100 | 2147483647    65460     55 |  0.003 % |
559.34/559.65	c |    804734 |     180    15300   107100 | 2147483647    65607     55 |  0.003 % |
559.44/559.79	c |    804895 |     180    15300   107100 | 2147483647    65768     55 |  0.003 % |
559.64/559.92	c |    805071 |     180    15300   107100 | 2147483647    65944     55 |  0.003 % |
559.84/560.10	c |    805265 |     180    15300   107100 | 2147483647    66138     55 |  0.003 % |
559.94/560.28	c |    805477 |     180    15300   107100 | 2147483647    66350     55 |  0.003 % |
560.14/560.49	c |    805711 |     180    15300   107100 | 2147483647    66584     55 |  0.003 % |
560.34/560.67	c |    805967 |     180    15300   107100 | 2147483647    66840     55 |  0.003 % |
560.64/560.92	c |    806249 |     180    15300   107100 | 2147483647    67122     55 |  0.003 % |
560.83/561.16	c |    806559 |     180    15300   107100 | 2147483647    67432     55 |  0.003 % |
561.13/561.49	c |    806898 |     180    15300   107100 | 2147483647    67771     55 |  0.003 % |
561.43/561.79	c |    807270 |     180    15300   107100 | 2147483647    68143     54 |  0.003 % |
561.74/562.10	c |    807680 |     180    15300   107100 | 2147483647    68553     54 |  0.003 % |
562.13/562.43	c |    808130 |     180    15300   107100 | 2147483647    69003     54 |  0.003 % |
562.43/562.78	c |    808623 |     180    15300   107100 | 2147483647    69496     54 |  0.003 % |
562.84/563.19	c |    809166 |     180    15300   107100 | 2147483647    70039     54 |  0.003 % |
563.33/563.63	c |    809762 |     180    15300   107100 | 2147483647    70635     54 |  0.003 % |
563.83/564.19	c |    810417 |     180    15300   107100 |    70873    62813     55 |  0.003 % |
564.33/564.65	c |    811138 |     180    15300   107100 |    70873    63534     55 |  0.003 % |
564.93/565.24	c |    811930 |     180    15300   107100 |    70873    64326     54 |  0.003 % |
565.53/565.83	c |    812803 |     180    15300   107100 |    70873    65199     54 |  0.003 % |
566.14/566.48	c |    813762 |     180    15300   107100 |    70873    66158     54 |  0.003 % |
566.83/567.16	c |    814817 |     180    15300   107100 |    70873    67213     54 |  0.003 % |
567.63/567.95	c |    815975 |     180    15300   107100 |    70873    68371     54 |  0.003 % |
568.53/568.87	c |    817249 |     180    15300   107100 |    70873    69645     54 |  0.003 % |
569.63/569.92	c |    818649 |     180    15300   107100 |    70873    62287     54 |  0.003 % |
570.73/571.02	c |    820191 |     180    15300   107100 |    63639    56163     54 |  0.003 % |
571.74/572.02	c |    821886 |     180    15300   107100 |    63639    57858     54 |  0.003 % |
572.83/573.16	c |    823750 |     180    15300   107100 |    63639    59722     54 |  0.003 % |
574.13/574.49	c |    825799 |     180    15300   107100 |    63639    61771     54 |  0.003 % |
575.73/576.06	c |    828054 |     180    15300   107100 |    63639    57654     54 |  0.003 % |
577.53/577.82	c |    830532 |     180    15300   107100 | 2147483647    60132     54 |  0.003 % |
579.43/579.75	c |    833260 |     180    15300   107100 | 2147483647    62860     54 |  0.003 % |
581.63/581.99	c |    836257 |     180    15300   107100 | 2147483647    65857     54 |  0.003 % |
584.13/584.42	c |    839553 |     180    15300   107100 | 2147483647    69153     54 |  0.003 % |
586.53/586.87	c |    843179 |     180    15300   107100 |    69601    65046     54 |  0.003 % |
589.13/589.50	c |    847166 |     180    15300   107100 |    69601    69033     54 |  0.003 % |
592.02/592.31	c |    851551 |     180    15300   107100 |    64025    58493     54 |  0.003 % |
595.12/595.45	c |    856375 |     180    15300   107100 |    64025    63317     54 |  0.003 % |
598.42/598.75	c |    861682 |     180    15300   107100 | 2147483647    61880     54 |  0.003 % |
602.22/602.57	c |    867518 |     180    15300   107100 | 2147483647    67716     54 |  0.003 % |
606.62/606.94	c |    873936 |     180    15300   107100 |    70199    65789     54 |  0.003 % |
611.72/612.00	c |    880996 |     180    15300   107100 |    63095    56449     55 |  0.003 % |
616.52/616.81	c |    888762 |     180    15300   107100 |    63095    57898     55 |  0.003 % |
616.52/616.88	c |    888863 |     180    15300   107100 |    63095    57999     55 |  0.003 % |
616.62/616.96	c |    888973 |     180    15300   107100 |    63095    58109     55 |  0.003 % |
616.72/617.03	c |    889094 |     180    15300   107100 |    63095    58230     55 |  0.003 % |
616.82/617.14	c |    889227 |     180    15300   107100 |    63095    58363     55 |  0.003 % |
616.92/617.26	c |    889374 |     180    15300   107100 |    63095    58510     55 |  0.003 % |
617.02/617.37	c |    889536 |     180    15300   107100 |    63095    58672     55 |  0.003 % |
617.22/617.50	c |    889713 |     180    15300   107100 |    63095    58849     55 |  0.003 % |
617.32/617.64	c |    889906 |     180    15300   107100 |    63095    59042     55 |  0.003 % |
617.52/617.81	c |    890118 |     180    15300   107100 | 2147483647    59254     55 |  0.003 % |
617.62/617.97	c |    890352 |     180    15300   107100 | 2147483647    59488     55 |  0.003 % |
617.82/618.13	c |    890609 |     180    15300   107100 | 2147483647    59745     55 |  0.003 % |
618.02/618.32	c |    890890 |     180    15300   107100 | 2147483647    60026     55 |  0.003 % |
618.22/618.52	c |    891199 |     180    15300   107100 | 2147483647    60335     55 |  0.003 % |
618.42/618.76	c |    891539 |     180    15300   107100 | 2147483647    60675     55 |  0.003 % |
618.72/619.07	c |    891912 |     180    15300   107100 | 2147483647    61048     55 |  0.003 % |
619.02/619.35	c |    892322 |     180    15300   107100 | 2147483647    61458     55 |  0.003 % |
619.32/619.65	c |    892772 |     180    15300   107100 | 2147483647    61908     55 |  0.003 % |
619.62/619.97	c |    893268 |     180    15300   107100 | 2147483647    62404     55 |  0.003 % |
620.02/620.34	c |    893811 |     180    15300   107100 | 2147483647    62947     55 |  0.003 % |
620.42/620.75	c |    894408 |     180    15300   107100 | 2147483647    63544     54 |  0.003 % |
620.92/621.20	c |    895063 |     180    15300   107100 | 2147483647    64199     54 |  0.003 % |
621.51/621.81	c |    895783 |     180    15300   107100 | 2147483647    64919     54 |  0.003 % |
622.11/622.44	c |    896576 |     180    15300   107100 | 2147483647    65712     54 |  0.003 % |
622.81/623.17	c |    897448 |     180    15300   107100 | 2147483647    66584     54 |  0.003 % |
623.51/623.89	c |    898407 |     180    15300   107100 | 2147483647    67543     54 |  0.003 % |
624.31/624.65	c |    899462 |     180    15300   107100 | 2147483647    68598     54 |  0.003 % |
625.11/625.45	c |    900622 |     180    15300   107100 |    69137    61676     55 |  0.003 % |
625.91/626.25	c |    901897 |     180    15300   107100 |    69137    62951     55 |  0.003 % |
626.81/627.13	c |    903299 |     180    15300   107100 |    69137    64353     55 |  0.003 % |
627.82/628.12	c |    904839 |     180    15300   107100 |    69137    65893     55 |  0.003 % |
629.01/629.32	c |    906534 |     180    15300   107100 |    69137    67588     55 |  0.003 % |
630.61/630.97	c |    908398 |     180    15300   107100 |    69137    61456     54 |  0.003 % |
632.01/632.39	c |    910447 |     180    15300   107100 |    63058    56275     54 |  0.003 % |
633.41/633.75	c |    912701 |     180    15300   107100 |    63058    58529     54 |  0.003 % |
634.91/635.25	c |    915181 |     180    15300   107100 |    63058    61009     54 |  0.003 % |
636.71/637.03	c |    917906 |     180    15300   107100 |    63058    57421     54 |  0.003 % |
638.81/639.11	c |    920905 |     180    15300   107100 | 2147483647    60420     54 |  0.003 % |
641.01/641.33	c |    924201 |     180    15300   107100 | 2147483647    63716     54 |  0.003 % |
643.70/644.06	c |    927826 |     180    15300   107100 | 2147483647    67341     54 |  0.003 % |
646.51/646.88	c |    931813 |     180    15300   107100 |    69517    63858     54 |  0.003 % |
649.50/649.85	c |    936200 |     180    15300   107100 |    69517    68245     54 |  0.003 % |
652.70/653.10	c |    941025 |     180    15300   107100 |    64341    58445     54 |  0.003 % |
656.01/656.37	c |    946331 |     180    15300   107100 |    64341    63751     54 |  0.003 % |
659.71/660.08	c |    952166 |     180    15300   107100 | 2147483647    63143     54 |  0.003 % |
664.11/664.49	c |    958584 |     180    15300   107100 | 2147483647    69561     54 |  0.003 % |
669.10/669.46	c |    965643 |     180    15300   107100 |    70980    68522     55 |  0.003 % |
674.60/674.92	c |    973408 |     180    15300   107100 |    63976    59724     55 |  0.003 % |
680.00/680.33	c |    981948 |     180    15300   107100 | 2147483647    61858     55 |  0.003 % |
680.10/680.41	c |    982048 |     180    15300   107100 | 2147483647    61958     55 |  0.003 % |
680.20/680.51	c |    982159 |     180    15300   107100 | 2147483647    62069     55 |  0.003 % |
680.30/680.61	c |    982281 |     180    15300   107100 | 2147483647    62191     55 |  0.003 % |
680.40/680.70	c |    982414 |     180    15300   107100 | 2147483647    62324     55 |  0.003 % |
680.40/680.80	c |    982560 |     180    15300   107100 | 2147483647    62470     55 |  0.003 % |
680.61/680.94	c |    982722 |     180    15300   107100 | 2147483647    62632     55 |  0.003 % |
680.70/681.06	c |    982898 |     180    15300   107100 | 2147483647    62808     55 |  0.003 % |
680.90/681.21	c |    983091 |     180    15300   107100 | 2147483647    63001     55 |  0.003 % |
681.00/681.38	c |    983303 |     180    15300   107100 | 2147483647    63213     55 |  0.003 % |
681.20/681.57	c |    983536 |     180    15300   107100 | 2147483647    63446     55 |  0.003 % |
681.40/681.78	c |    983792 |     180    15300   107100 | 2147483647    63702     55 |  0.003 % |
681.71/682.01	c |    984074 |     180    15300   107100 | 2147483647    63984     55 |  0.003 % |
681.90/682.25	c |    984384 |     180    15300   107100 | 2147483647    64294     55 |  0.003 % |
682.20/682.50	c |    984724 |     180    15300   107100 | 2147483647    64634     55 |  0.003 % |
682.40/682.78	c |    985097 |     180    15300   107100 | 2147483647    65007     55 |  0.003 % |
682.71/683.10	c |    985507 |     180    15300   107100 | 2147483647    65417     55 |  0.003 % |
683.10/683.45	c |    985956 |     180    15300   107100 | 2147483647    65866     55 |  0.003 % |
683.50/683.86	c |    986449 |     180    15300   107100 | 2147483647    66359     55 |  0.003 % |
684.00/684.31	c |    986992 |     180    15300   107100 | 2147483647    66902     55 |  0.003 % |
684.40/684.76	c |    987589 |     180    15300   107100 | 2147483647    67499     54 |  0.003 % |
684.90/685.28	c |    988244 |     180    15300   107100 | 2147483647    68154     54 |  0.003 % |
685.50/685.83	c |    988966 |     180    15300   107100 | 2147483647    68876     55 |  0.003 % |
686.10/686.42	c |    989759 |     180    15300   107100 | 2147483647    69669     55 |  0.003 % |
686.70/687.08	c |    990632 |     180    15300   107100 |    69910    62462     55 |  0.003 % |
687.30/687.69	c |    991590 |     180    15300   107100 |    69910    63420     55 |  0.003 % |
688.20/688.55	c |    992645 |     180    15300   107100 |    69910    64475     55 |  0.003 % |
689.10/689.45	c |    993805 |     180    15300   107100 |    69910    65635     55 |  0.003 % |
690.00/690.37	c |    995078 |     180    15300   107100 |    69910    66908     55 |  0.003 % |
691.10/691.41	c |    996479 |     180    15300   107100 |    69910    68309     55 |  0.003 % |
692.20/692.53	c |    998020 |     180    15300   107100 |    69910    69850     55 |  0.003 % |
693.60/693.95	c |    999714 |     180    15300   107100 |    69910    62502     55 |  0.003 % |
694.90/695.22	c |   1001577 |     180    15300   107100 |    62790    56292     55 |  0.003 % |
696.30/696.63	c |   1003626 |     180    15300   107100 |    62790    58341     55 |  0.003 % |
697.69/698.04	c |   1005882 |     180    15300   107100 |    62790    60597     55 |  0.003 % |
699.30/699.69	c |   1008361 |     180    15300   107100 |    62790    56790     54 |  0.003 % |
700.99/701.32	c |   1011087 |     180    15300   107100 | 2147483647    59516     54 |  0.003 % |
703.19/703.51	c |   1014084 |     180    15300   107100 | 2147483647    62513     54 |  0.003 % |
705.59/705.92	c |   1017380 |     180    15300   107100 | 2147483647    65809     54 |  0.003 % |
708.09/708.48	c |   1021006 |     180    15300   107100 |    68429    62263     54 |  0.003 % |
710.89/711.24	c |   1024993 |     180    15300   107100 |    68429    66250     54 |  0.003 % |
713.99/714.37	c |   1029379 |     180    15300   107100 |    68429    62689     54 |  0.003 % |
716.99/717.39	c |   1034204 |     180    15300   107100 |    63311    60391     54 |  0.003 % |
720.19/720.57	c |   1039511 |     180    15300   107100 |    63311    59359     54 |  0.003 % |
724.38/724.74	c |   1045346 |     180    15300   107100 | 2147483647    65194     54 |  0.003 % |
728.99/729.31	c |   1051764 |     180    15300   107100 |    69849    63425     55 |  0.003 % |
733.78/734.15	c |   1058824 |     180    15300   107100 |    69849    62456     55 |  0.003 % |
738.88/739.22	c |   1066588 |     180    15300   107100 |    63632    63058     55 |  0.003 % |
744.68/745.06	c |   1075128 |     180    15300   107100 | 2147483647    65227     55 |  0.003 % |
751.27/751.68	c |   1084525 |     180    15300   107100 |    70100    66263     55 |  0.003 % |
751.37/751.76	c |   1084627 |     180    15300   107100 |    70100    66365     55 |  0.003 % |
751.47/751.83	c |   1084740 |     180    15300   107100 |    70100    66478     55 |  0.003 % |
751.57/751.93	c |   1084863 |     180    15300   107100 |    70100    66601     55 |  0.003 % |
751.67/752.03	c |   1084997 |     180    15300   107100 |    70100    66735     55 |  0.003 % |
751.77/752.14	c |   1085145 |     180    15300   107100 |    70100    66883     55 |  0.003 % |
751.87/752.23	c |   1085305 |     180    15300   107100 |    70100    67043     55 |  0.003 % |
751.98/752.37	c |   1085481 |     180    15300   107100 |    70100    67219     55 |  0.003 % |
752.17/752.53	c |   1085677 |     180    15300   107100 |    70100    67415     55 |  0.003 % |
752.27/752.69	c |   1085889 |     180    15300   107100 |    70100    67627     55 |  0.003 % |
752.47/752.86	c |   1086122 |     180    15300   107100 |    70100    67860     55 |  0.003 % |
752.67/753.06	c |   1086379 |     180    15300   107100 |    70100    68117     55 |  0.003 % |
752.87/753.28	c |   1086661 |     180    15300   107100 |    70100    68399     55 |  0.003 % |
753.18/753.54	c |   1086971 |     180    15300   107100 |    70100    68709     55 |  0.003 % |
753.37/753.77	c |   1087311 |     180    15300   107100 |    70100    69049     55 |  0.003 % |
753.67/754.04	c |   1087683 |     180    15300   107100 |    70100    69421     55 |  0.003 % |
753.97/754.32	c |   1088092 |     180    15300   107100 |    70100    69830     55 |  0.003 % |
754.47/754.80	c |   1088541 |     180    15300   107100 |    70100    61383     55 |  0.003 % |
754.87/755.20	c |   1089036 |     180    15300   107100 |    70100    61878     55 |  0.003 % |
755.28/755.62	c |   1089579 |     180    15300   107100 |    70100    62421     55 |  0.003 % |
755.77/756.14	c |   1090177 |     180    15300   107100 |    62842    55046     55 |  0.003 % |
756.17/756.60	c |   1090832 |     180    15300   107100 |    62842    55701     55 |  0.003 % |
756.67/757.09	c |   1091552 |     180    15300   107100 |    62842    56421     55 |  0.003 % |
757.27/757.65	c |   1092344 |     180    15300   107100 |    62842    57213     55 |  0.003 % |
757.87/758.23	c |   1093215 |     180    15300   107100 |    62842    58084     55 |  0.003 % |
758.57/758.91	c |   1094174 |     180    15300   107100 |    62842    59043     55 |  0.003 % |
759.27/759.61	c |   1095229 |     180    15300   107100 |    62842    60098     55 |  0.003 % |
760.07/760.45	c |   1096388 |     180    15300   107100 |    62842    61257     55 |  0.003 % |
760.97/761.35	c |   1097661 |     180    15300   107100 |    62842    62530     55 |  0.003 % |
762.07/762.41	c |   1099063 |     180    15300   107100 |    62842    57143     55 |  0.003 % |
763.17/763.53	c |   1100607 |     180    15300   107100 |    58080    52479     55 |  0.003 % |
764.27/764.62	c |   1102302 |     180    15300   107100 |    58080    54174     55 |  0.003 % |
765.37/765.79	c |   1104166 |     180    15300   107100 |    58080    56038     55 |  0.003 % |
766.77/767.10	c |   1106215 |     180    15300   107100 |    58080    58087     55 |  0.003 % |
768.07/768.44	c |   1108468 |     180    15300   107100 |    58080    54532     55 |  0.003 % |
769.57/769.97	c |   1110948 |     180    15300   107100 | 2147483647    57012     55 |  0.003 % |
771.26/771.66	c |   1113675 |     180    15300   107100 | 2147483647    59739     55 |  0.003 % |
773.26/773.69	c |   1116674 |     180    15300   107100 | 2147483647    62738     55 |  0.003 % |
775.46/775.85	c |   1119971 |     180    15300   107100 | 2147483647    66035     55 |  0.003 % |
777.96/778.37	c |   1123596 |     180    15300   107100 | 2147483647    69660     55 |  0.003 % |
781.26/781.63	c |   1127584 |     180    15300   107100 | 2147483647    73648     55 |  0.003 % |
784.66/785.08	c |   1131970 |     180    15300   107100 |    76065    67753     54 |  0.003 % |
788.26/788.68	c |   1136795 |     180    15300   107100 |    76065    72578     54 |  0.003 % |
791.86/792.26	c |   1142100 |     180    15300   107100 |    75783    67186     54 |  0.003 % |
795.76/796.18	c |   1147936 |     180    15300   107100 |    75783    73022     54 |  0.003 % |
800.15/800.55	c |   1154354 |     180    15300   107100 |    75086    69639     54 |  0.003 % |
805.15/805.50	c |   1161413 |     180    15300   107100 |    66145    59514     54 |  0.003 % |
810.05/810.49	c |   1169180 |     180    15300   107100 |    66145    60659     54 |  0.003 % |
815.65/816.02	c |   1177720 |     180    15300   107100 | 2147483647    69199     54 |  0.003 % |
822.55/822.98	c |   1187115 |     180    15300   107100 | 2147483647    78594     54 |  0.003 % |
831.15/831.56	c |   1197448 |     180    15300   107100 |    81479    76652     54 |  0.003 % |
831.25/831.66	c |   1197549 |     180    15300   107100 |    81479    76753     54 |  0.003 % |
831.34/831.78	c |   1197660 |     180    15300   107100 |    81479    76864     54 |  0.003 % |
831.44/831.88	c |   1197781 |     180    15300   107100 |    81479    76985     54 |  0.003 % |
831.64/832.00	c |   1197914 |     180    15300   107100 |    81479    77118     54 |  0.003 % |
831.74/832.13	c |   1198060 |     180    15300   107100 |    81479    77264     54 |  0.003 % |
831.84/832.29	c |   1198221 |     180    15300   107100 |    81479    77425     54 |  0.003 % |
832.04/832.44	c |   1198398 |     180    15300   107100 |    81479    77602     54 |  0.003 % |
832.25/832.61	c |   1198592 |     180    15300   107100 |    81479    77796     54 |  0.003 % |
832.35/832.78	c |   1198804 |     180    15300   107100 |    81479    78008     54 |  0.003 % |
832.54/832.97	c |   1199039 |     180    15300   107100 |    81479    78243     54 |  0.003 % |
832.74/833.16	c |   1199295 |     180    15300   107100 |    81479    78499     54 |  0.003 % |
832.94/833.40	c |   1199576 |     180    15300   107100 |    81479    78780     54 |  0.003 % |
833.24/833.68	c |   1199885 |     180    15300   107100 |    81479    79089     54 |  0.003 % |
833.64/834.04	c |   1200225 |     180    15300   107100 |    79205    66868     54 |  0.003 % |
833.94/834.33	c |   1200597 |     180    15300   107100 |    79205    67240     54 |  0.003 % |
834.24/834.63	c |   1201006 |     180    15300   107100 |    79205    67649     54 |  0.003 % |
834.44/834.90	c |   1201455 |     180    15300   107100 |    79205    68098     54 |  0.003 % |
834.84/835.26	c |   1201948 |     180    15300   107100 |    79205    68591     54 |  0.003 % |
835.24/835.67	c |   1202491 |     180    15300   107100 |    79205    69134     54 |  0.003 % |
835.74/836.12	c |   1203089 |     180    15300   107100 |    79205    69732     54 |  0.003 % |
836.14/836.59	c |   1203744 |     180    15300   107100 |    79205    70387     54 |  0.003 % |
836.74/837.10	c |   1204465 |     180    15300   107100 |    79205    71108     54 |  0.003 % |
837.34/837.73	c |   1205259 |     180    15300   107100 |    79205    71902     54 |  0.003 % |
838.04/838.46	c |   1206131 |     180    15300   107100 |    79205    72774     54 |  0.003 % |
838.84/839.25	c |   1207090 |     180    15300   107100 |    79205    73733     54 |  0.003 % |
839.64/840.09	c |   1208144 |     180    15300   107100 |    79205    74787     54 |  0.003 % |
840.64/841.06	c |   1209302 |     180    15300   107100 |    79205    75945     54 |  0.003 % |
841.74/842.17	c |   1210576 |     180    15300   107100 |    76643    64533     53 |  0.003 % |
842.74/843.10	c |   1211977 |     180    15300   107100 |    76643    65934     53 |  0.003 % |
843.74/844.13	c |   1213518 |     180    15300   107100 |    76643    67475     54 |  0.003 % |
844.84/845.24	c |   1215212 |     180    15300   107100 |    76643    69169     54 |  0.003 % |
846.04/846.49	c |   1217076 |     180    15300   107100 |    76643    71033     54 |  0.003 % |
847.44/847.82	c |   1219126 |     180    15300   107100 |    76643    73083     54 |  0.003 % |
848.93/849.36	c |   1221380 |     180    15300   107100 |    73957    65328     54 |  0.003 % |
850.64/851.10	c |   1223858 |     180    15300   107100 |    73957    67806     53 |  0.003 % |
852.53/852.99	c |   1226583 |     180    15300   107100 |    73957    70531     54 |  0.003 % |
854.83/855.21	c |   1229580 |     180    15300   107100 |    73957    73528     54 |  0.003 % |
857.23/857.69	c |   1232878 |     180    15300   107100 |    73949    66672     54 |  0.003 % |
859.84/860.23	c |   1236503 |     180    15300   107100 |    73949    70297     54 |  0.003 % |
862.93/863.33	c |   1240490 |     180    15300   107100 |    73795    64155     54 |  0.003 % |
865.83/866.20	c |   1244876 |     180    15300   107100 |    73795    68541     54 |  0.003 % |
869.33/869.73	c |   1249700 |     180    15300   107100 |    73795    73365     54 |  0.003 % |
872.93/873.37	c |   1255006 |     180    15300   107100 |    73665    69921     54 |  0.003 % |
877.53/877.97	c |   1260843 |     180    15300   107100 |    65308    57567     55 |  0.003 % |
881.53/881.95	c |   1267262 |     180    15300   107100 |    65308    63986     55 |  0.003 % |
885.73/886.19	c |   1274321 |     180    15300   107100 |    59907    58161     55 |  0.003 % |
890.33/890.77	c |   1282086 |     180    15300   107100 | 2147483647    59928     55 |  0.003 % |
896.03/896.44	c |   1290628 |     180    15300   107100 | 2147483647    68470     55 |  0.003 % |
903.13/903.56	c |   1300023 |     180    15300   107100 |    77843    77865     55 |  0.003 % |
910.62/911.06	c |   1310356 |     180    15300   107100 |    76837    65195     55 |  0.003 % |
918.82/919.29	c |   1321722 |     180    15300   107100 |    74841    66124     55 |  0.003 % |
918.92/919.37	c |   1321822 |     180    15300   107100 |    74841    66224     55 |  0.003 % |
919.02/919.46	c |   1321933 |     180    15300   107100 |    74841    66335     55 |  0.003 % |
919.12/919.57	c |   1322054 |     180    15300   107100 |    74841    66456     55 |  0.003 % |
919.32/919.72	c |   1322187 |     180    15300   107100 |    74841    66589     55 |  0.003 % |
919.42/919.84	c |   1322334 |     180    15300   107100 |    74841    66736     55 |  0.003 % |
919.52/919.96	c |   1322494 |     180    15300   107100 |    74841    66896     55 |  0.003 % |
919.72/920.13	c |   1322671 |     180    15300   107100 |    74841    67073     55 |  0.003 % |
919.82/920.30	c |   1322866 |     180    15300   107100 |    74841    67268     55 |  0.003 % |
920.02/920.47	c |   1323080 |     180    15300   107100 |    74841    67482     55 |  0.003 % |
920.32/920.75	c |   1323314 |     180    15300   107100 |    74841    67716     55 |  0.003 % |
920.52/920.99	c |   1323570 |     180    15300   107100 |    74841    67972     55 |  0.003 % |
920.82/921.28	c |   1323851 |     180    15300   107100 |    74841    68253     55 |  0.003 % |
921.12/921.54	c |   1324160 |     180    15300   107100 |    74841    68562     55 |  0.003 % |
921.42/921.83	c |   1324501 |     180    15300   107100 |    74841    68903     54 |  0.003 % |
921.72/922.19	c |   1324873 |     180    15300   107100 |    74841    69275     54 |  0.003 % |
922.12/922.59	c |   1325282 |     180    15300   107100 |    74841    69684     54 |  0.003 % |
922.52/922.99	c |   1325733 |     180    15300   107100 |    74841    70135     54 |  0.003 % |
923.02/923.49	c |   1326227 |     180    15300   107100 |    74841    70629     54 |  0.003 % |
923.52/923.92	c |   1326771 |     180    15300   107100 |    74841    71173     54 |  0.003 % |
923.92/924.39	c |   1327368 |     180    15300   107100 |    74841    71770     54 |  0.003 % |
924.42/924.89	c |   1328024 |     180    15300   107100 |    74841    72426     54 |  0.003 % |
925.22/925.67	c |   1328745 |     180    15300   107100 |    74841    73147     54 |  0.003 % |
926.02/926.45	c |   1329537 |     180    15300   107100 |    74841    73939     54 |  0.003 % |
926.92/927.32	c |   1330408 |     180    15300   107100 |    74402    62735     54 |  0.003 % |
927.62/928.05	c |   1331367 |     180    15300   107100 |    74402    63694     54 |  0.003 % |
928.31/928.79	c |   1332420 |     180    15300   107100 |    74402    64747     54 |  0.003 % |
929.21/929.67	c |   1333579 |     180    15300   107100 |    74402    65906     54 |  0.003 % |
930.31/930.72	c |   1334852 |     180    15300   107100 |    74402    67179     54 |  0.003 % |
931.51/932.00	c |   1336252 |     180    15300   107100 |    74402    68579     54 |  0.003 % |
932.81/933.22	c |   1337792 |     180    15300   107100 |    74402    70119     54 |  0.003 % |
934.21/934.65	c |   1339486 |     180    15300   107100 |    74402    71813     54 |  0.003 % |
935.71/936.14	c |   1341350 |     180    15300   107100 |    72329    62743     54 |  0.003 % |
937.01/937.46	c |   1343399 |     180    15300   107100 |    72329    64792     54 |  0.003 % |
938.51/938.90	c |   1345653 |     180    15300   107100 |    72329    67046     54 |  0.003 % |
940.21/940.69	c |   1348131 |     180    15300   107100 |    72329    69524     54 |  0.003 % |
942.11/942.59	c |   1350857 |     180    15300   107100 |    71395    63750     54 |  0.003 % |
944.01/944.45	c |   1353856 |     180    15300   107100 |    71395    66749     54 |  0.003 % |
946.21/946.67	c |   1357152 |     180    15300   107100 |    71395    70045     54 |  0.003 % |
948.70/949.19	c |   1360777 |     180    15300   107100 |    65336    59315     54 |  0.003 % |
951.20/951.60	c |   1364764 |     180    15300   107100 |    65336    63302     54 |  0.003 % |
954.00/954.43	c |   1369150 |     180    15300   107100 |    65336    61146     54 |  0.003 % |
957.10/957.52	c |   1373976 |     180    15300   107100 | 2147483647    65972     54 |  0.003 % |
960.80/961.25	c |   1379282 |     180    15300   107100 | 2147483647    71278     54 |  0.003 % |
965.00/965.49	c |   1385119 |     180    15300   107100 |    72000    69705     54 |  0.003 % |
970.00/970.49	c |   1391539 |     180    15300   107100 |    66029    59772     54 |  0.003 % |
974.40/974.83	c |   1398599 |     180    15300   107100 |    66029    59092     54 |  0.003 % |
978.60/979.00	c |   1406363 |     180    15300   107100 |    60493    60116     55 |  0.003 % |
983.69/984.18	c |   1414904 |     180    15300   107100 | 2147483647    62600     55 |  0.003 % |
990.39/990.89	c |   1424299 |     180    15300   107100 | 2147483647    71995     55 |  0.003 % |
998.19/998.65	c |   1434632 |     180    15300   107100 |    77697    71859     55 |  0.003 % |
1007.09/1007.53	c |   1445999 |     180    15300   107100 |    77227    72401     55 |  0.003 % |
1016.69/1017.13	c |   1458501 |     180    15300   107100 |    76402    74295     55 |  0.003 % |
1016.79/1017.23	c |   1458602 |     180    15300   107100 |    76402    74396     55 |  0.003 % |
1016.88/1017.34	c |   1458712 |     180    15300   107100 |    76402    74506     55 |  0.003 % |
1016.99/1017.45	c |   1458834 |     180    15300   107100 |    76402    74628     55 |  0.003 % |
1017.09/1017.56	c |   1458967 |     180    15300   107100 |    76402    74761     55 |  0.003 % |
1017.18/1017.68	c |   1459113 |     180    15300   107100 |    76402    74907     55 |  0.003 % |
1017.38/1017.80	c |   1459273 |     180    15300   107100 |    76402    75067     55 |  0.003 % |
1017.48/1017.98	c |   1459450 |     180    15300   107100 |    76402    75244     55 |  0.003 % |
1017.68/1018.17	c |   1459643 |     180    15300   107100 |    76402    75437     55 |  0.003 % |
1017.88/1018.36	c |   1459855 |     180    15300   107100 |    76402    75649     55 |  0.003 % |
1018.09/1018.57	c |   1460089 |     180    15300   107100 |    75794    75883     55 |  0.003 % |
1018.48/1018.90	c |   1460345 |     180    15300   107100 |    75794    64481     55 |  0.003 % |
1018.68/1019.13	c |   1460627 |     180    15300   107100 |    75794    64763     55 |  0.003 % |
1018.88/1019.35	c |   1460936 |     180    15300   107100 |    75794    65072     55 |  0.003 % |
1019.19/1019.62	c |   1461276 |     180    15300   107100 |    75794    65412     55 |  0.003 % |
1019.38/1019.89	c |   1461648 |     180    15300   107100 |    75794    65784     55 |  0.003 % |
1019.68/1020.18	c |   1462057 |     180    15300   107100 |    75794    66193     55 |  0.003 % |
1020.08/1020.55	c |   1462507 |     180    15300   107100 |    75794    66643     55 |  0.003 % |
1020.48/1020.98	c |   1463001 |     180    15300   107100 |    75794    67137     55 |  0.003 % |
1020.98/1021.42	c |   1463543 |     180    15300   107100 |    75794    67679     55 |  0.003 % |
1021.48/1021.90	c |   1464139 |     180    15300   107100 |    75794    68275     55 |  0.003 % |
1021.98/1022.40	c |   1464796 |     180    15300   107100 |    75794    68932     55 |  0.003 % |
1022.58/1023.03	c |   1465516 |     180    15300   107100 |    75794    69652     55 |  0.003 % |
1023.28/1023.73	c |   1466309 |     180    15300   107100 |    75794    70445     55 |  0.003 % |
1023.98/1024.44	c |   1467181 |     180    15300   107100 |    75794    71317     55 |  0.003 % |
1024.68/1025.19	c |   1468139 |     180    15300   107100 |    75794    72275     55 |  0.003 % |
1025.58/1026.09	c |   1469192 |     180    15300   107100 |    75794    73328     55 |  0.003 % |
1026.58/1027.02	c |   1470350 |     180    15300   107100 |    74136    62588     55 |  0.003 % |
1027.38/1027.84	c |   1471623 |     180    15300   107100 |    74136    63861     55 |  0.003 % |
1028.27/1028.77	c |   1473024 |     180    15300   107100 |    74136    65262     55 |  0.003 % |
1029.47/1029.90	c |   1474564 |     180    15300   107100 |    74136    66802     55 |  0.003 % |
1030.67/1031.14	c |   1476259 |     180    15300   107100 |    74136    68497     55 |  0.003 % |
1032.07/1032.50	c |   1478123 |     180    15300   107100 |    74136    70361     55 |  0.003 % |
1033.77/1034.24	c |   1480172 |     180    15300   107100 |    72238    61905     54 |  0.003 % |
1035.18/1035.68	c |   1482425 |     180    15300   107100 |    72238    64158     54 |  0.003 % |
1036.88/1037.35	c |   1484904 |     180    15300   107100 |    72238    66637     54 |  0.003 % |
1038.68/1039.11	c |   1487630 |     180    15300   107100 |    72238    69363     54 |  0.003 % |
1040.68/1041.11	c |   1490627 |     180    15300   107100 |    71734    64024     54 |  0.003 % |
1042.68/1043.14	c |   1493924 |     180    15300   107100 |    71734    67321     54 |  0.003 % |
1045.28/1045.76	c |   1497549 |     180    15300   107100 |    71734    70946     54 |  0.003 % |
1048.28/1048.72	c |   1501536 |     180    15300   107100 |    64725    58277     54 |  0.003 % |
1051.48/1051.92	c |   1505922 |     180    15300   107100 |    64725    62663     54 |  0.003 % |
1054.67/1055.15	c |   1510745 |     180    15300   107100 |    59350    53680     54 |  0.003 % |
1057.87/1058.36	c |   1516050 |     180    15300   107100 |    59350    58985     54 |  0.003 % |
1061.47/1061.97	c |   1521885 |     180    15300   107100 | 2147483647    58877     54 |  0.003 % |
1065.57/1066.07	c |   1528303 |     180    15300   107100 | 2147483647    65295     55 |  0.003 % |
1070.37/1070.86	c |   1535362 |     180    15300   107100 | 2147483647    72354     55 |  0.003 % |
1075.97/1076.46	c |   1543126 |     180    15300   107100 |    76992    69818     55 |  0.003 % |
1082.27/1082.76	c |   1551666 |     180    15300   107100 |    76693    67532     55 |  0.003 % |
1088.67/1089.15	c |   1561060 |     180    15300   107100 |    75867    66368     55 |  0.003 % |
1096.66/1097.18	c |   1571394 |     180    15300   107100 |    75309    64591     55 |  0.003 % |
1104.97/1105.43	c |   1582760 |     180    15300   107100 |    73197    65552     56 |  0.003 % |
1113.66/1114.13	c |   1595262 |     180    15300   107100 |    72792    69087     55 |  0.003 % |
1123.15/1123.65	c |   1609015 |     180    15300   107100 |    65328    60338     55 |  0.003 % |
1123.25/1123.73	c |   1609117 |     180    15300   107100 |    65328    60440     55 |  0.003 % |
1123.35/1123.81	c |   1609228 |     180    15300   107100 |    65328    60551     55 |  0.003 % |
1123.35/1123.89	c |   1609350 |     180    15300   107100 |    65328    60673     55 |  0.003 % |
1123.45/1123.98	c |   1609483 |     180    15300   107100 |    65328    60806     55 |  0.003 % |
1123.66/1124.11	c |   1609631 |     180    15300   107100 |    65328    60954     55 |  0.003 % |
1123.76/1124.25	c |   1609793 |     180    15300   107100 |    65328    61116     55 |  0.003 % |
1123.85/1124.37	c |   1609970 |     180    15300   107100 |    65328    61293     55 |  0.003 % |
1124.05/1124.52	c |   1610163 |     180    15300   107100 | 2147483647    61486     55 |  0.003 % |
1124.15/1124.69	c |   1610375 |     180    15300   107100 | 2147483647    61698     55 |  0.003 % |
1124.45/1124.91	c |   1610608 |     180    15300   107100 | 2147483647    61931     55 |  0.003 % |
1124.65/1125.14	c |   1610866 |     180    15300   107100 | 2147483647    62189     55 |  0.003 % |
1124.86/1125.37	c |   1611147 |     180    15300   107100 | 2147483647    62470     55 |  0.003 % |
1125.15/1125.60	c |   1611457 |     180    15300   107100 | 2147483647    62780     55 |  0.003 % |
1125.35/1125.86	c |   1611797 |     180    15300   107100 | 2147483647    63120     55 |  0.003 % |
1125.65/1126.15	c |   1612169 |     180    15300   107100 | 2147483647    63492     55 |  0.003 % |
1125.96/1126.48	c |   1612578 |     180    15300   107100 | 2147483647    63901     55 |  0.003 % |
1126.35/1126.89	c |   1613028 |     180    15300   107100 | 2147483647    64351     55 |  0.003 % |
1126.75/1127.26	c |   1613522 |     180    15300   107100 | 2147483647    64845     55 |  0.003 % |
1127.15/1127.69	c |   1614065 |     180    15300   107100 | 2147483647    65388     55 |  0.003 % |
1127.65/1128.17	c |   1614661 |     180    15300   107100 | 2147483647    65984     55 |  0.003 % |
1128.16/1128.62	c |   1615317 |     180    15300   107100 | 2147483647    66640     55 |  0.003 % |
1128.55/1129.10	c |   1616038 |     180    15300   107100 | 2147483647    67361     55 |  0.003 % |
1129.26/1129.73	c |   1616832 |     180    15300   107100 | 2147483647    68155     55 |  0.003 % |
1129.95/1130.41	c |   1617703 |     180    15300   107100 | 2147483647    69026     55 |  0.003 % |
1130.65/1131.15	c |   1618661 |     180    15300   107100 | 2147483647    69984     55 |  0.003 % |
1131.45/1131.94	c |   1619715 |     180    15300   107100 | 2147483647    71038     55 |  0.003 % |
1132.35/1132.82	c |   1620873 |     180    15300   107100 |    71324    62833     55 |  0.003 % |
1133.15/1133.62	c |   1622148 |     180    15300   107100 |    71324    64108     55 |  0.003 % |
1134.05/1134.50	c |   1623549 |     180    15300   107100 |    71324    65509     55 |  0.003 % |
1135.15/1135.66	c |   1625089 |     180    15300   107100 |    71324    67049     55 |  0.003 % |
1136.35/1136.86	c |   1626785 |     180    15300   107100 |    71324    68745     54 |  0.003 % |
1137.75/1138.23	c |   1628648 |     180    15300   107100 |    71324    70608     54 |  0.003 % |
1139.15/1139.63	c |   1630697 |     180    15300   107100 |    62721    55450     54 |  0.003 % |
1140.35/1140.83	c |   1632951 |     180    15300   107100 |    62721    57704     54 |  0.003 % |
1141.85/1142.34	c |   1635430 |     180    15300   107100 |    62721    60183     54 |  0.003 % |
1143.55/1144.07	c |   1638155 |     180    15300   107100 |    62721    56627     54 |  0.003 % |
1145.25/1145.79	c |   1641154 |     180    15300   107100 | 2147483647    59626     54 |  0.003 % |
1147.15/1147.69	c |   1644450 |     180    15300   107100 | 2147483647    62922     54 |  0.003 % |
1149.64/1150.19	c |   1648075 |     180    15300   107100 | 2147483647    66547     54 |  0.003 % |
1152.64/1153.12	c |   1652064 |     180    15300   107100 | 2147483647    70536     54 |  0.003 % |
1155.94/1156.44	c |   1656449 |     180    15300   107100 | 2147483647    74921     54 |  0.003 % |
1159.74/1160.24	c |   1661272 |     180    15300   107100 |    78472    68073     54 |  0.003 % |
1163.74/1164.27	c |   1666577 |     180    15300   107100 |    78472    73378     54 |  0.003 % |
1168.24/1168.77	c |   1672414 |     180    15300   107100 |    76802    67277     54 |  0.003 % |
1172.94/1173.41	c |   1678833 |     180    15300   107100 |    76802    73696     54 |  0.003 % |
1178.13/1178.66	c |   1685892 |     180    15300   107100 |    74864    69910     54 |  0.003 % |
1183.83/1184.35	c |   1693659 |     180    15300   107100 |    74018    67373     54 |  0.003 % |
1189.93/1190.41	c |   1702199 |     180    15300   107100 |    73714    66536     54 |  0.003 % |
1196.53/1197.03	c |   1711593 |     180    15300   107100 |    64616    57797     54 |  0.003 % |
1200.03/1200.51	HOME/SatELiteGTI: line 36: 15814 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:492) (c) roussel@cril.univ-artois.fr

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

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


[startup+0 s]
/proc/loadavg: 1.16 1.05 1.02 3/64 15808
/proc/meminfo: memFree=1875048/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0
/proc/15808/stat : 15808 (SatELiteGTI) R 15806 15808 15243 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306532246 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467421683 0 0 4100 65536 0 0 0 17 0 0 0
/proc/15808/statm: 1339 237 197 169 0 50 0

[startup+0.0587991 s]
/proc/loadavg: 1.16 1.05 1.02 3/64 15808
/proc/meminfo: memFree=1875048/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306532246 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15808/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101805 s]
/proc/loadavg: 1.16 1.05 1.02 3/64 15808
/proc/meminfo: memFree=1875048/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.301817 s]
/proc/loadavg: 1.16 1.05 1.02 3/64 15808
/proc/meminfo: memFree=1875048/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+0.701848 s]
/proc/loadavg: 1.16 1.05 1.02 3/64 15808
/proc/meminfo: memFree=1875048/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356

[startup+1.50189 s]
/proc/loadavg: 1.16 1.05 1.02 2/66 15814
/proc/meminfo: memFree=1871448/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=4956 CPUtime=1.42
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 980 0 0 0 142 0 0 0 25 0 1 0 306532252 5074944 966 1992294400 134512640 135215339 4294956240 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 1239 966 76 171 0 1066 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10312

[startup+3.10199 s]
/proc/loadavg: 1.15 1.05 1.02 2/66 15814
/proc/meminfo: memFree=1869656/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=7068 CPUtime=3.02
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 1523 0 0 0 301 1 0 0 25 0 1 0 306532252 7237632 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 1767 1509 76 171 0 1594 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12424

[startup+6.3012 s]
/proc/loadavg: 1.15 1.05 1.02 2/66 15814
/proc/meminfo: memFree=1866200/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=9884 CPUtime=6.22
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 2220 0 0 0 621 1 0 0 25 0 1 0 306532252 10121216 2206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 2471 2206 76 171 0 2298 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15240

[startup+12.7026 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 15814
/proc/meminfo: memFree=1862176/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=13532 CPUtime=12.61
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 3129 0 0 0 1259 2 0 0 25 0 1 0 306532252 13856768 3115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 3383 3115 76 171 0 3210 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 18888

[startup+25.5014 s]
/proc/loadavg: 1.11 1.05 1.01 2/66 15814
/proc/meminfo: memFree=1856928/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=18548 CPUtime=25.41
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 4371 0 0 0 2537 4 0 0 25 0 1 0 306532252 18993152 4357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 4637 4357 76 171 0 4464 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 23904

[startup+51.1011 s]
/proc/loadavg: 1.07 1.04 1.01 2/66 15814
/proc/meminfo: memFree=1853728/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=21604 CPUtime=50.99
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5131 0 0 0 5094 5 0 0 25 0 1 0 306532252 22122496 5117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 5401 5117 76 171 0 5228 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 26960

[startup+102.305 s]
/proc/loadavg: 1.03 1.03 1.01 2/66 15814
/proc/meminfo: memFree=1853344/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=21856 CPUtime=102.18
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5200 0 0 0 10212 6 0 0 25 0 1 0 306532252 22380544 5186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 5464 5186 76 171 0 5291 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 27212

[startup+162.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 15814
/proc/meminfo: memFree=1852896/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=22124 CPUtime=162.14
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5276 0 0 0 16208 6 0 0 25 0 1 0 306532252 22654976 5262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 5531 5262 76 171 0 5358 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 27480

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 15814
/proc/meminfo: memFree=1851680/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=23320 CPUtime=222.13
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5564 0 0 0 22206 7 0 0 25 0 1 0 306532252 23879680 5550 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 5830 5550 76 171 0 5657 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 28676

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15814
/proc/meminfo: memFree=1851560/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=23320 CPUtime=282.1
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5564 0 0 0 28203 7 0 0 25 0 1 0 306532252 23879680 5550 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 5830 5550 76 171 0 5657 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 28676

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15814
/proc/meminfo: memFree=1850472/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=24256 CPUtime=342.08
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5812 0 0 0 34201 7 0 0 25 0 1 0 306532252 24838144 5798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6064 5798 76 171 0 5891 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 29612

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1850408/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=24256 CPUtime=402.05
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5812 0 0 0 40198 7 0 0 25 0 1 0 306532252 24838144 5798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6064 5798 76 171 0 5891 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 29612

[startup+462.302 s]

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

[pid=15814] ppid=15808 vsize=24256 CPUtime=522.01
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5816 0 0 0 52193 8 0 0 25 0 1 0 306532252 24838144 5802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6064 5802 76 171 0 5891 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 29612

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1850088/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=24256 CPUtime=581.99
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5816 0 0 0 58191 8 0 0 25 0 1 0 306532252 24838144 5802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6064 5802 76 171 0 5891 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 29612

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1849960/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=24256 CPUtime=641.97
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5816 0 0 0 64189 8 0 0 25 0 1 0 306532252 24838144 5802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6064 5802 76 171 0 5891 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 29612

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1849832/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=24256 CPUtime=701.95
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5816 0 0 0 70186 9 0 0 25 0 1 0 306532252 24838144 5802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6064 5802 76 171 0 5891 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 29612

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1849704/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=24256 CPUtime=761.93
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5816 0 0 0 76184 9 0 0 25 0 1 0 306532252 24838144 5802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6064 5802 76 171 0 5891 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 29612

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1849384/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=24784 CPUtime=821.91
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 5918 0 0 0 82182 9 0 0 25 0 1 0 306532252 25378816 5904 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6196 5904 76 171 0 6023 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 30140

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1848168/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=25724 CPUtime=881.89
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 6165 0 0 0 88179 10 0 0 25 0 1 0 306532252 26341376 6151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6431 6151 76 171 0 6258 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 31080

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1848040/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=25724 CPUtime=941.87
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 6165 0 0 0 94177 10 0 0 25 0 1 0 306532252 26341376 6151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6431 6151 76 171 0 6258 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 31080

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1847976/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=25724 CPUtime=1001.85
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 6165 0 0 0 100175 10 0 0 25 0 1 0 306532252 26341376 6151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6431 6151 76 171 0 6258 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 31080

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1847848/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=25724 CPUtime=1061.83
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 6169 0 0 0 106172 11 0 0 25 0 1 0 306532252 26341376 6155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6431 6155 76 171 0 6258 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 31080

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1847784/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=25724 CPUtime=1121.81
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 6169 0 0 0 112170 11 0 0 25 0 1 0 306532252 26341376 6155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6431 6155 76 171 0 6258 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 31080

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1847656/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=25724 CPUtime=1181.79
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 6176 0 0 0 118168 11 0 0 25 0 1 0 306532252 26341376 6162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6431 6162 76 171 0 6258 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 31080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1847656/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=25724 CPUtime=1199.99
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 6176 0 0 0 119988 11 0 0 25 0 1 0 306532252 26341376 6162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6431 6162 76 171 0 6258 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 31080

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1847656/2055920 swapFree=4179964/4192956
[pid=15808] ppid=15806 vsize=5356 CPUtime=0.04
/proc/15808/stat : 15808 (SatELiteGTI) S 15806 15808 15243 0 -1 4194304 336 707 0 0 0 0 4 0 16 0 1 0 306532246 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15808/statm: 1339 239 197 169 0 50 0
[pid=15814] ppid=15808 vsize=25724 CPUtime=1199.99
/proc/15814/stat : 15814 (minisat_static) R 15808 15808 15243 0 -1 4194304 6176 0 0 0 119988 11 0 0 25 0 1 0 306532252 26341376 6162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15814/statm: 6431 6162 76 171 0 6258 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 31080

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.93
CPU system time (s): 0.134979
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 31080

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

runsolver used 1.48477 second user time and 3.04454 second system time

The end

Launcher Data

Begin job on node22 at 2009-05-20 04:03:07
IDJOB=1832593
IDBENCH=70260
IDSOLVER=671
FILE ID=node22/1832593-1242784987
PBS_JOBID= 9322340
Free space on /tmp= 66416 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/180/unif-k7-r85-v180-c15300-S1845944120-011.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832593-1242784987/watcher-1832593-1242784987 -o /tmp/evaluation-result-1832593-1242784987/solver-1832593-1242784987 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832593-1242784987.cnf

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

MD5SUM BENCH= c7e600e65327a74ce4dc4cc40e37ba60
RANDOM SEED=1816270771

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1875592 kB
Buffers:         27244 kB
Cached:         105104 kB
SwapCached:       7936 kB
Active:          65776 kB
Inactive:        76744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1875592 kB
SwapTotal:     4192956 kB
SwapFree:      4179964 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:          14596 kB
Slab:            23900 kB
Committed_AS:  1130944 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66416 MiB
End job on node22 at 2009-05-20 04:23:10