Trace number 1821772

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 1199.93

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
MD5SUMa30111c778b4a83ebe950f77b63a1b33
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark504.15
Satisfiable
(Un)Satisfiability was proved
Number of variables1128
Number of clauses63345
Sum of the clauses size188200
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21950
Number of clauses of size 361372
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data

0.00/0.00	c Parsing...
0.00/0.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   63345   188200 |   19003       0        0     nan |  0.000 % |
0.60/0.62	c |         0 |   62548   268903 |      --       0       --      -- |     --   | -797/80703
0.60/0.62	c ==============================================================================
0.60/0.62	c Result  :   #vars: 636   #clauses: 62548   #literals: 268903
0.60/0.62	c CPU time:   0.58 s
0.60/0.62	c ==============================================================================
0.70/0.70	c This is MiniSat 2.0 beta
0.70/0.70	c WARNING: for repeatability, setting FPU to use double precision
0.70/0.70	c ============================[ Problem Statistics ]=============================
0.70/0.70	c |                                                                             |
0.70/0.70	c |  Number of variables:  636                                                  |
0.70/0.70	c |  Number of clauses:    62548                                                |
0.70/0.74	c |  Parsing time:         0.04         s                                       |
0.70/0.75	c ============================[ Search Statistics ]==============================
0.70/0.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.70/0.75	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.70/0.75	c ===============================================================================
0.70/0.75	c |         0 |     636    62548   268903 |    20849        0    nan |  0.000 % |
0.70/0.79	c |       100 |     636    62548   268903 |    20849      100     33 |  0.000 % |
0.70/0.84	c |       201 |     636    62548   268903 |    20849      201     30 |  0.000 % |
0.70/0.89	c |       301 |     636    62548   268903 |    20849      301     25 |  0.000 % |
0.70/0.93	c |       414 |     636    62548   268903 |    20849      414     23 |  0.000 % |
0.70/0.97	c |       516 |     636    62548   268903 |    20849      516     22 |  0.000 % |
1.00/1.04	c |       626 |     636    62548   268903 |    20849      626     24 |  0.000 % |
1.00/1.10	c |       747 |     636    62548   268903 |    20849      747     24 |  0.000 % |
1.10/1.14	c |       849 |     636    62548   268903 |    20849      849     23 |  0.000 % |
1.10/1.18	c |       959 |     636    62548   268903 |    20849      959     23 |  0.002 % |
1.19/1.24	c |      1083 |     636    62548   268903 |    20849     1083     22 |  0.000 % |
1.19/1.28	c |      1217 |     636    62548   268903 |    20849     1217     24 |  0.000 % |
1.29/1.33	c |      1317 |     636    62548   268903 |    20849     1317     24 |  0.000 % |
1.29/1.38	c |      1428 |     636    62548   268903 |    20849     1428     23 |  0.000 % |
1.39/1.44	c |      1550 |     636    62548   268903 |    20849     1550     23 |  0.000 % |
1.39/1.50	c |      1683 |     636    62548   268903 |    20849     1683     24 |  0.000 % |
1.49/1.56	c |      1830 |     636    62548   268903 |    20849     1830     23 |  0.000 % |
1.59/1.61	c |      1932 |     636    62548   268903 |    20849     1932     23 |  0.000 % |
1.59/1.65	c |      2045 |     636    62548   268903 |    20849     2045     23 |  0.002 % |
1.69/1.71	c |      2166 |     636    62548   268903 |    20849     2166     23 |  0.000 % |
1.69/1.77	c |      2300 |     636    62548   268903 |    20849     2300     23 |  0.000 % |
1.79/1.84	c |      2447 |     636    62548   268903 |    20849     2447     24 |  0.000 % |
1.89/1.91	c |      2607 |     636    62548   268903 |    20849     2607     23 |  0.000 % |
1.89/1.95	c |      2707 |     636    62548   268903 |    20849     2707     23 |  0.000 % |
1.99/2.00	c |      2817 |     636    62548   268903 |    20849     2817     23 |  0.002 % |
1.99/2.05	c |      2938 |     636    62548   268903 |    20849     2938     23 |  0.002 % |
2.09/2.11	c |      3071 |     636    62548   268903 |    20849     3071     22 |  0.000 % |
2.09/2.17	c |      3217 |     636    62548   268903 |    20849     3217     23 |  0.000 % |
2.20/2.23	c |      3378 |     636    62548   268903 |    20849     3378     24 |  0.000 % |
2.29/2.31	c |      3556 |     636    62548   268903 |    20849     3556     24 |  0.000 % |
2.29/2.36	c |      3657 |     636    62548   268903 |    20849     3657     24 |  0.000 % |
2.39/2.41	c |      3767 |     636    62548   268903 |    20849     3767     24 |  0.000 % |
2.39/2.47	c |      3889 |     636    62548   268903 |    20849     3889     23 |  0.000 % |
2.49/2.54	c |      4024 |     636    62548   268903 |    20849     4024     23 |  0.000 % |
2.59/2.61	c |      4170 |     636    62548   268903 |    20849     4170     23 |  0.000 % |
2.59/2.69	c |      4333 |     636    62548   268903 |    20849     4333     23 |  0.000 % |
2.69/2.77	c |      4510 |     636    62548   268903 |    20849     4510     23 |  0.002 % |
2.79/2.87	c |      4704 |     636    62548   268903 |    20849     4704     23 |  0.000 % |
2.89/2.93	c |      4804 |     636    62548   268903 |    20849     4804     23 |  0.000 % |
2.89/2.99	c |      4915 |     636    62548   268903 |    20849     4915     23 |  0.000 % |
2.99/3.06	c |      5041 |     636    62548   268903 |    20849     5041     23 |  0.000 % |
3.09/3.13	c |      5174 |     636    62548   268903 |    20849     5174     23 |  0.000 % |
3.09/3.18	c |      5320 |     636    62548   268903 |    20849     5320     23 |  0.000 % |
3.19/3.23	c |      5483 |     636    62548   268903 |    20849     5483     24 |  0.000 % |
3.19/3.29	c |      5659 |     636    62548   268903 |    20849     5659     24 |  0.000 % |
3.30/3.36	c |      5852 |     636    62548   268903 |    20849     5852     24 |  0.000 % |
3.39/3.44	c |      6065 |     636    62548   268903 |    20849     6065     25 |  0.000 % |
3.39/3.50	c |      6166 |     636    62548   268903 |    20849     6166     25 |  0.000 % |
3.49/3.56	c |      6276 |     636    62548   268903 |    20849     6276     25 |  0.000 % |
3.59/3.62	c |      6402 |     636    62548   268903 |    20849     6402     24 |  0.000 % |
3.59/3.69	c |      6537 |     636    62548   268903 |    20849     6537     24 |  0.000 % |
3.69/3.77	c |      6685 |     636    62548   268903 |    20849     6685     25 |  0.000 % |
3.79/3.86	c |      6845 |     636    62548   268903 |    20849     6845     25 |  0.000 % |
3.89/3.96	c |      7027 |     636    62548   268903 |    20849     7027     25 |  0.000 % |
3.99/4.07	c |      7221 |     636    62548   268903 |    20849     7221     25 |  0.000 % |
4.09/4.18	c |      7434 |     636    62548   268903 |    20849     7434     25 |  0.000 % |
4.30/4.32	c |      7670 |     636    62548   268903 |    20849     7670     25 |  0.000 % |
4.30/4.38	c |      7771 |     636    62548   268903 |    20849     7771     25 |  0.000 % |
4.40/4.45	c |      7881 |     636    62548   268903 |    20849     7881     24 |  0.000 % |
4.50/4.52	c |      8002 |     636    62548   268903 |    20849     8002     24 |  0.000 % |
4.50/4.58	c |      8138 |     636    62548   268903 |    20849     8138     25 |  0.000 % |
4.60/4.65	c |      8285 |     636    62548   268903 |    20849     8285     25 |  0.000 % |
4.70/4.75	c |      8447 |     636    62548   268903 |    20849     8447     25 |  0.000 % |
4.80/4.85	c |      8624 |     636    62548   268903 |    20849     8624     25 |  0.000 % |
4.90/4.95	c |      8817 |     636    62548   268903 |    20849     8817     24 |  0.000 % |
5.00/5.05	c |      9029 |     636    62548   268903 |    20849     9029     24 |  0.000 % |
5.10/5.17	c |      9262 |     636    62548   268903 |    20849     9262     25 |  0.000 % |
5.20/5.31	c |      9521 |     636    62548   268903 |    20849     9521     25 |  0.000 % |
5.30/5.38	c |      9623 |     636    62548   268903 |    20849     9623     25 |  0.000 % |
5.40/5.45	c |      9735 |     636    62548   268903 |    20849     9735     25 |  0.000 % |
5.50/5.52	c |      9859 |     636    62548   268903 |    20849     9859     25 |  0.000 % |
5.50/5.60	c |      9993 |     636    62548   268903 |    20849     9993     25 |  0.000 % |
5.60/5.70	c |     10145 |     636    62548   268903 | 2147483647    10145     25 |  0.000 % |
5.70/5.79	c |     10305 |     636    62548   268903 | 2147483647    10305     25 |  0.000 % |
5.80/5.89	c |     10481 |     636    62548   268903 | 2147483647    10481     25 |  0.000 % |
5.90/6.00	c |     10677 |     636    62548   268903 | 2147483647    10677     25 |  0.000 % |
6.10/6.11	c |     10889 |     636    62548   268903 | 2147483647    10889     25 |  0.000 % |
6.20/6.25	c |     11125 |     636    62548   268903 | 2147483647    11125     24 |  0.002 % |
6.30/6.41	c |     11384 |     636    62548   268903 | 2147483647    11384     24 |  0.000 % |
6.50/6.57	c |     11667 |     636    62548   268903 | 2147483647    11667     24 |  0.000 % |
6.60/6.63	c |     11767 |     636    62548   268903 | 2147483647    11767     24 |  0.000 % |
6.60/6.69	c |     11878 |     636    62548   268903 | 2147483647    11878     24 |  0.002 % |
6.70/6.75	c |     11999 |     636    62548   268903 | 2147483647    11999     24 |  0.000 % |
6.80/6.83	c |     12132 |     636    62548   268903 | 2147483647    12132     24 |  0.000 % |
6.80/6.91	c |     12279 |     636    62548   268903 | 2147483647    12279     24 |  0.000 % |
6.90/7.01	c |     12439 |     636    62548   268903 | 2147483647    12439     24 |  0.000 % |
7.10/7.12	c |     12617 |     636    62548   268903 | 2147483647    12617     24 |  0.000 % |
7.20/7.22	c |     12811 |     636    62548   268903 | 2147483647    12811     24 |  0.000 % |
7.30/7.35	c |     13024 |     636    62548   268903 | 2147483647    13024     24 |  0.000 % |
7.40/7.51	c |     13257 |     636    62548   268903 | 2147483647    13257     24 |  0.000 % |
7.60/7.67	c |     13518 |     636    62548   268903 | 2147483647    13518     24 |  0.000 % |
7.80/7.83	c |     13802 |     636    62548   268903 | 2147483647    13802     24 |  0.000 % |
8.00/8.03	c |     14114 |     636    62548   268903 | 2147483647    14114     24 |  0.000 % |
8.00/8.09	c |     14214 |     636    62548   268903 | 2147483647    14214     24 |  0.000 % |
8.10/8.15	c |     14324 |     636    62548   268903 | 2147483647    14324     24 |  0.000 % |
8.20/8.24	c |     14445 |     636    62548   268903 | 2147483647    14445     24 |  0.000 % |
8.30/8.32	c |     14579 |     636    62548   268903 | 2147483647    14579     24 |  0.000 % |
8.30/8.40	c |     14726 |     636    62548   268903 | 2147483647    14726     24 |  0.000 % |
8.40/8.49	c |     14886 |     636    62548   268903 | 2147483647    14886     24 |  0.000 % |
8.50/8.57	c |     15064 |     636    62548   268903 | 2147483647    15064     24 |  0.000 % |
8.60/8.69	c |     15257 |     636    62548   268903 | 2147483647    15257     24 |  0.000 % |
8.70/8.81	c |     15469 |     636    62548   268903 | 2147483647    15469     24 |  0.000 % |
8.90/8.95	c |     15705 |     636    62548   268903 | 2147483647    15705     24 |  0.002 % |
9.00/9.10	c |     15961 |     636    62548   268903 | 2147483647    15961     24 |  0.000 % |
9.20/9.26	c |     16242 |     636    62548   268903 | 2147483647    16242     24 |  0.000 % |
9.40/9.44	c |     16551 |     636    62548   268903 | 2147483647    16551     24 |  0.002 % |
9.60/9.67	c |     16892 |     636    62548   268903 | 2147483647    16892     24 |  0.000 % |
9.70/9.74	c |     16992 |     636    62548   268903 | 2147483647    16992     24 |  0.000 % |
9.70/9.80	c |     17102 |     636    62548   268903 | 2147483647    17102     24 |  0.000 % |
9.80/9.88	c |     17223 |     636    62548   268903 | 2147483647    17223     24 |  0.000 % |
9.90/9.95	c |     17357 |     636    62548   268903 | 2147483647    17357     24 |  0.000 % |
10.00/10.03	c |     17503 |     636    62548   268903 | 2147483647    17503     24 |  0.000 % |
10.10/10.12	c |     17665 |     636    62548   268903 | 2147483647    17665     25 |  0.000 % |
10.10/10.21	c |     17841 |     636    62548   268903 | 2147483647    17841     25 |  0.001 % |
10.30/10.32	c |     18037 |     636    62548   268903 | 2147483647    18037     25 |  0.000 % |
10.40/10.50	c |     18253 |     636    62548   268903 | 2147483647    18253     25 |  0.000 % |
10.60/10.65	c |     18486 |     636    62548   268903 | 2147483647    18486     25 |  0.000 % |
10.80/10.83	c |     18743 |     636    62548   268903 | 2147483647    18743     25 |  0.000 % |
11.00/11.03	c |     19025 |     636    62548   268903 | 2147483647    19025     25 |  0.000 % |
11.20/11.28	c |     19334 |     636    62548   268903 | 2147483647    19334     25 |  0.000 % |
11.50/11.56	c |     19676 |     636    62548   268903 | 2147483647    19676     25 |  0.000 % |
11.80/11.85	c |     20049 |     636    62548   268903 | 2147483647    20049     25 |  0.000 % |
11.90/11.91	c |     20150 |     636    62548   268903 | 2147483647    20150     25 |  0.000 % |
11.90/12.00	c |     20262 |     636    62548   268903 | 2147483647    20262     25 |  0.000 % |
12.00/12.09	c |     20385 |     636    62548   268903 | 2147483647    20385     25 |  0.000 % |
12.10/12.17	c |     20521 |     636    62548   268903 | 2147483647    20521     25 |  0.000 % |
12.20/12.30	c |     20667 |     636    62548   268903 | 2147483647    20667     25 |  0.000 % |
12.40/12.43	c |     20827 |     636    62548   268903 | 2147483647    20827     25 |  0.000 % |
12.50/12.56	c |     21006 |     636    62548   268903 | 2147483647    21006     25 |  0.000 % |
12.60/12.70	c |     21199 |     636    62548   268903 | 2147483647    21199     25 |  0.000 % |
12.80/12.85	c |     21413 |     636    62548   268903 | 2147483647    21413     25 |  0.000 % |
13.00/13.02	c |     21647 |     636    62548   268903 | 2147483647    21647     25 |  0.000 % |
13.10/13.19	c |     21906 |     636    62548   268903 | 2147483647    21906     25 |  0.000 % |
13.40/13.41	c |     22188 |     636    62548   268903 | 2147483647    22188     25 |  0.000 % |
13.60/13.64	c |     22497 |     636    62548   268903 | 2147483647    22497     25 |  0.000 % |
13.80/13.89	c |     22838 |     636    62548   268903 | 2147483647    22838     25 |  0.000 % |
14.10/14.19	c |     23211 |     636    62548   268903 | 2147483647    23211     25 |  0.000 % |
14.40/14.51	c |     23622 |     636    62548   268903 | 2147483647    23622     25 |  0.002 % |
14.50/14.58	c |     23722 |     636    62548   268903 | 2147483647    23722     25 |  0.000 % |
14.60/14.65	c |     23832 |     636    62548   268903 | 2147483647    23832     25 |  0.000 % |
14.70/14.72	c |     23955 |     636    62548   268903 | 2147483647    23955     24 |  0.000 % |
14.80/14.82	c |     24088 |     636    62548   268903 | 2147483647    24088     24 |  0.000 % |
14.90/14.96	c |     24234 |     636    62548   268903 | 2147483647    24234     25 |  0.000 % |
15.00/15.10	c |     24394 |     636    62548   268903 | 2147483647    24394     25 |  0.000 % |
15.20/15.22	c |     24570 |     636    62548   268903 | 2147483647    24570     24 |  0.000 % |
15.30/15.39	c |     24763 |     636    62548   268903 | 2147483647    24763     25 |  0.000 % |
15.50/15.53	c |     24977 |     636    62548   268903 | 2147483647    24977     25 |  0.000 % |
15.70/15.73	c |     25211 |     636    62548   268903 | 2147483647    25211     25 |  0.000 % |
15.90/15.91	c |     25469 |     636    62548   268903 | 2147483647    25469     25 |  0.000 % |
16.10/16.11	c |     25751 |     636    62548   268903 | 2147483647    25751     25 |  0.000 % |
16.30/16.36	c |     26062 |     636    62548   268903 | 2147483647    26062     25 |  0.000 % |
16.60/16.66	c |     26401 |     636    62548   268903 | 2147483647    26401     25 |  0.000 % |
16.90/16.97	c |     26774 |     636    62548   268903 | 2147483647    26774     25 |  0.000 % |
17.10/17.20	c |     27183 |     636    62548   268903 | 2147483647    27183     25 |  0.000 % |
17.60/17.63	c |     27632 |     636    62548   268903 | 2147483647    27632     25 |  0.000 % |
17.70/17.73	c |     27733 |     636    62548   268903 | 2147483647    27733     25 |  0.000 % |
17.80/17.81	c |     27844 |     636    62548   268903 | 2147483647    27844     25 |  0.000 % |
17.90/17.92	c |     27967 |     636    62548   268903 | 2147483647    27967     25 |  0.000 % |
18.00/18.04	c |     28103 |     636    62548   268903 | 2147483647    28103     25 |  0.000 % |
18.10/18.17	c |     28249 |     636    62548   268903 | 2147483647    28249     25 |  0.000 % |
18.20/18.30	c |     28415 |     636    62548   268903 | 2147483647    28415     25 |  0.000 % |
18.40/18.45	c |     28593 |     636    62548   268903 | 2147483647    28593     25 |  0.000 % |
18.60/18.65	c |     28788 |     636    62548   268903 | 2147483647    28788     25 |  0.000 % |
18.70/18.81	c |     29000 |     636    62548   268903 | 2147483647    29000     25 |  0.000 % |
19.00/19.03	c |     29234 |     636    62548   268903 | 2147483647    29234     25 |  0.000 % |
19.20/19.25	c |     29492 |     636    62548   268903 | 2147483647    29492     25 |  0.000 % |
19.40/19.51	c |     29773 |     636    62548   268903 | 2147483647    29773     25 |  0.000 % |
19.70/19.76	c |     30083 |     636    62548   268903 | 2147483647    30083     25 |  0.000 % |
20.00/20.11	c |     30422 |     636    62548   268903 | 2147483647    30422     25 |  0.000 % |
20.40/20.43	c |     30794 |     636    62548   268903 | 2147483647    30794     25 |  0.000 % |
20.70/20.77	c |     31204 |     636    62548   268903 | 2147483647    31204     25 |  0.000 % |
21.10/21.17	c |     31657 |     636    62548   268903 | 2147483647    31657     25 |  0.001 % |
21.60/21.63	c |     32153 |     636    62548   268903 | 2147483647    32153     25 |  0.000 % |
21.70/21.71	c |     32253 |     636    62548   268903 | 2147483647    32253     25 |  0.000 % |
21.70/21.80	c |     32364 |     636    62548   268903 | 2147483647    32364     25 |  0.000 % |
21.90/21.91	c |     32486 |     636    62548   268903 | 2147483647    32486     25 |  0.000 % |
22.00/22.06	c |     32623 |     636    62548   268903 | 2147483647    32623     25 |  0.000 % |
22.10/22.19	c |     32770 |     636    62548   268903 | 2147483647    32770     25 |  0.000 % |
22.30/22.34	c |     32931 |     636    62548   268903 | 2147483647    32931     25 |  0.000 % |
22.50/22.51	c |     33107 |     636    62548   268903 | 2147483647    33107     25 |  0.000 % |
22.60/22.67	c |     33305 |     636    62548   268903 | 2147483647    33305     25 |  0.000 % |
22.80/22.86	c |     33519 |     636    62548   268903 | 2147483647    33519     25 |  0.000 % |
23.10/23.12	c |     33752 |     636    62548   268903 | 2147483647    33752     25 |  0.000 % |
23.30/23.37	c |     34008 |     636    62548   268903 | 2147483647    34008     25 |  0.000 % |
23.60/23.66	c |     34289 |     636    62548   268903 | 2147483647    34289     25 |  0.001 % |
24.00/24.04	c |     34598 |     636    62548   268903 | 2147483647    34598     25 |  0.000 % |
24.40/24.43	c |     34938 |     636    62548   268903 | 2147483647    34938     25 |  0.000 % |
24.70/24.80	c |     35313 |     636    62548   268903 | 2147483647    35313     25 |  0.000 % |
25.20/25.22	c |     35722 |     636    62548   268903 | 2147483647    35722     25 |  0.000 % |
25.60/25.65	c |     36171 |     636    62548   268903 | 2147483647    36171     25 |  0.000 % |
26.10/26.17	c |     36667 |     636    62548   268903 | 2147483647    36667     25 |  0.000 % |
26.60/26.70	c |     37211 |     636    62548   268903 | 2147483647    37211     25 |  0.000 % |
26.70/26.79	c |     37314 |     636    62548   268903 | 2147483647    37314     25 |  0.000 % |
26.80/26.89	c |     37424 |     636    62548   268903 | 2147483647    37424     25 |  0.000 % |
27.00/27.01	c |     37546 |     636    62548   268903 | 2147483647    37546     25 |  0.002 % |
27.10/27.17	c |     37679 |     636    62548   268903 | 2147483647    37679     25 |  0.000 % |
27.30/27.32	c |     37826 |     636    62548   268903 | 2147483647    37826     25 |  0.000 % |
27.40/27.48	c |     37988 |     636    62548   268903 | 2147483647    37988     25 |  0.000 % |
27.60/27.64	c |     38164 |     636    62548   268903 | 2147483647    38164     25 |  0.000 % |
27.80/27.84	c |     38359 |     636    62548   268903 | 2147483647    38359     25 |  0.000 % |
28.00/28.08	c |     38572 |     636    62548   268903 | 2147483647    38572     25 |  0.000 % |
28.30/28.35	c |     38806 |     636    62548   268903 | 2147483647    38806     25 |  0.000 % |
28.50/28.61	c |     39064 |     636    62548   268903 | 2147483647    39064     25 |  0.000 % |
28.90/28.99	c |     39345 |     636    62548   268903 | 2147483647    39345     25 |  0.000 % |
29.30/29.36	c |     39655 |     636    62548   268903 | 2147483647    39655     25 |  0.000 % |
29.70/29.76	c |     39996 |     636    62548   268903 | 2147483647    39996     25 |  0.000 % |
30.10/30.16	c |     40368 |     636    62548   268903 | 2147483647    40368     25 |  0.001 % |
30.50/30.59	c |     40777 |     636    62548   268903 | 2147483647    40777     25 |  0.000 % |
31.00/31.10	c |     41229 |     636    62548   268903 | 2147483647    41229     25 |  0.000 % |
31.50/31.59	c |     41725 |     636    62548   268903 | 2147483647    41725     25 |  0.000 % |
32.10/32.11	c |     42267 |     636    62548   268903 | 2147483647    42267     25 |  0.000 % |
32.70/32.72	c |     42864 |     636    62548   268903 | 2147483647    42864     25 |  0.000 % |
32.80/32.82	c |     42964 |     636    62548   268903 | 2147483647    42964     25 |  0.002 % |
32.90/32.93	c |     43077 |     636    62548   268903 | 2147483647    43077     25 |  0.000 % |
33.00/33.09	c |     43200 |     636    62548   268903 | 2147483647    43200     25 |  0.000 % |
33.20/33.23	c |     43334 |     636    62548   268903 | 2147483647    43334     25 |  0.000 % |
33.30/33.37	c |     43480 |     636    62548   268903 | 2147483647    43480     25 |  0.000 % |
33.50/33.52	c |     43643 |     636    62548   268903 | 2147483647    43643     25 |  0.000 % |
33.60/33.69	c |     43820 |     636    62548   268903 | 2147483647    43820     25 |  0.000 % |
33.80/33.89	c |     44014 |     636    62548   268903 | 2147483647    44014     25 |  0.002 % |
34.10/34.17	c |     44228 |     636    62548   268903 | 2147483647    44228     25 |  0.000 % |
34.30/34.39	c |     44462 |     636    62548   268903 | 2147483647    44462     25 |  0.000 % |
34.60/34.66	c |     44718 |     636    62548   268903 | 2147483647    44718     25 |  0.000 % |
34.90/34.94	c |     44999 |     636    62548   268903 | 2147483647    44999     25 |  0.000 % |
35.20/35.28	c |     45310 |     636    62548   268903 | 2147483647    45310     25 |  0.000 % |
35.60/35.63	c |     45651 |     636    62548   268903 | 2147483647    45651     25 |  0.000 % |
36.00/36.04	c |     46025 |     636    62548   268903 | 2147483647    46025     25 |  0.000 % |
36.50/36.57	c |     46434 |     636    62548   268903 | 2147483647    46434     25 |  0.000 % |
37.10/37.15	c |     46883 |     636    62548   268903 | 2147483647    46883     25 |  0.000 % |
37.70/37.73	c |     47383 |     636    62548   268903 | 2147483647    47383     25 |  0.000 % |
38.30/38.31	c |     47925 |     636    62548   268903 | 2147483647    47925     25 |  0.000 % |
38.90/38.92	c |     48521 |     636    62548   268903 | 2147483647    48521     25 |  0.000 % |
39.70/39.79	c |     49177 |     636    62548   268903 | 2147483647    49177     25 |  0.000 % |
39.90/39.92	c |     49278 |     636    62548   268903 | 2147483647    49278     25 |  0.000 % |
40.00/40.03	c |     49388 |     636    62548   268903 | 2147483647    49388     25 |  0.000 % |
40.10/40.20	c |     49509 |     636    62548   268903 | 2147483647    49509     25 |  0.000 % |
40.30/40.40	c |     49642 |     636    62548   268903 | 2147483647    49642     25 |  0.000 % |
40.50/40.60	c |     49788 |     636    62548   268903 | 2147483647    49788     25 |  0.000 % |
40.70/40.78	c |     49951 |     636    62548   268903 | 2147483647    49951     25 |  0.000 % |
40.90/40.99	c |     50127 |     636    62548   268903 | 2147483647    50127     25 |  0.000 % |
41.10/41.20	c |     50320 |     636    62548   268903 | 2147483647    50320     25 |  0.000 % |
41.40/41.43	c |     50532 |     636    62548   268903 | 2147483647    50532     25 |  0.000 % |
41.70/41.77	c |     50765 |     636    62548   268903 | 2147483647    50765     25 |  0.000 % |
42.00/42.05	c |     51023 |     636    62548   268903 | 2147483647    51023     25 |  0.000 % |
42.50/42.53	c |     51307 |     636    62548   268903 | 2147483647    51307     25 |  0.000 % |
42.80/42.89	c |     51616 |     636    62548   268903 | 2147483647    51616     25 |  0.000 % |
43.20/43.30	c |     51959 |     636    62548   268903 | 2147483647    51959     25 |  0.000 % |
43.70/43.73	c |     52333 |     636    62548   268903 | 2147483647    52333     25 |  0.000 % |
44.20/44.23	c |     52742 |     636    62548   268903 | 2147483647    52742     25 |  0.000 % |
44.70/44.77	c |     53192 |     636    62548   268903 | 2147483647    53192     25 |  0.000 % |
45.20/45.27	c |     53686 |     636    62548   268903 | 2147483647    53686     25 |  0.000 % |
45.81/45.88	c |     54228 |     636    62548   268903 | 2147483647    54228     25 |  0.000 % |
46.51/46.54	c |     54826 |     636    62548   268903 | 2147483647    54826     25 |  0.000 % |
47.31/47.32	c |     55481 |     636    62548   268903 | 2147483647    55481     25 |  0.000 % |
48.11/48.15	c |     56201 |     636    62548   268903 | 2147483647    56201     25 |  0.000 % |
48.21/48.28	c |     56301 |     636    62548   268903 | 2147483647    56301     25 |  0.000 % |
48.31/48.41	c |     56414 |     636    62548   268903 | 2147483647    56414     25 |  0.000 % |
48.51/48.55	c |     56535 |     636    62548   268903 | 2147483647    56535     25 |  0.000 % |
48.71/48.79	c |     56669 |     636    62548   268903 | 2147483647    56669     25 |  0.000 % |
48.91/48.97	c |     56816 |     636    62548   268903 | 2147483647    56816     25 |  0.000 % |
49.11/49.17	c |     56976 |     636    62548   268903 | 2147483647    56976     25 |  0.000 % |
49.31/49.39	c |     57154 |     636    62548   268903 | 2147483647    57154     25 |  0.000 % |
49.51/49.60	c |     57350 |     636    62548   268903 | 2147483647    57350     25 |  0.000 % |
49.81/49.86	c |     57568 |     636    62548   268903 | 2147483647    57568     25 |  0.000 % |
50.11/50.20	c |     57803 |     636    62548   268903 | 2147483647    57803     25 |  0.000 % |
50.51/50.61	c |     58062 |     636    62548   268903 | 2147483647    58062     25 |  0.000 % |
50.91/50.99	c |     58343 |     636    62548   268903 | 2147483647    58343     25 |  0.000 % |
51.31/51.41	c |     58655 |     636    62548   268903 | 2147483647    58655     25 |  0.000 % |
51.81/51.86	c |     58999 |     636    62548   268903 | 2147483647    58999     25 |  0.000 % |
52.31/52.34	c |     59374 |     636    62548   268903 | 2147483647    59374     25 |  0.000 % |
52.81/52.84	c |     59783 |     636    62548   268903 | 2147483647    59783     25 |  0.000 % |
53.31/53.37	c |     60233 |     636    62548   268903 | 2147483647    60233     25 |  0.000 % |
53.91/53.96	c |     60727 |     636    62548   268903 | 2147483647    60727     25 |  0.000 % |
54.61/54.70	c |     61272 |     636    62548   268903 | 2147483647    61272     25 |  0.000 % |
55.31/55.40	c |     61868 |     636    62548   268903 | 2147483647    61868     25 |  0.000 % |
56.11/56.20	c |     62524 |     636    62548   268903 | 2147483647    62524     25 |  0.000 % |
57.31/57.35	c |     63245 |     636    62548   268903 | 2147483647    63245     25 |  0.000 % |
58.31/58.42	c |     64039 |     636    62548   268903 | 2147483647    64039     25 |  0.000 % |
58.61/58.63	c |     64139 |     636    62548   268903 | 2147483647    64139     25 |  0.000 % |
58.71/58.79	c |     64249 |     636    62548   268903 | 2147483647    64249     25 |  0.000 % |
58.91/59.00	c |     64370 |     636    62548   268903 | 2147483647    64370     25 |  0.000 % |
59.11/59.15	c |     64505 |     636    62548   268903 | 2147483647    64505     25 |  0.000 % |
59.41/59.44	c |     64652 |     636    62548   268903 | 2147483647    64652     25 |  0.000 % |
59.61/59.70	c |     64817 |     636    62548   268903 | 2147483647    64817     25 |  0.000 % |
59.91/59.95	c |     64993 |     636    62548   268903 | 2147483647    64993     25 |  0.000 % |
60.21/60.25	c |     65186 |     636    62548   268903 | 2147483647    65186     25 |  0.000 % |
60.51/60.53	c |     65400 |     636    62548   268903 | 2147483647    65400     25 |  0.000 % |
60.81/60.88	c |     65633 |     636    62548   268903 | 2147483647    65633     25 |  0.000 % |
61.21/61.23	c |     65891 |     636    62548   268903 | 2147483647    65891     25 |  0.000 % |
61.51/61.59	c |     66173 |     636    62548   268903 | 2147483647    66173     25 |  0.000 % |
61.91/61.95	c |     66482 |     636    62548   268903 | 2147483647    66482     25 |  0.000 % |
62.31/62.37	c |     66823 |     636    62548   268903 | 2147483647    66823     25 |  0.000 % |
62.81/62.85	c |     67196 |     636    62548   268903 | 2147483647    67196     25 |  0.000 % |
63.41/63.45	c |     67605 |     636    62548   268903 | 2147483647    67605     25 |  0.000 % |
64.01/64.06	c |     68057 |     636    62548   268903 | 2147483647    68057     25 |  0.000 % |
64.91/64.94	c |     68551 |     636    62548   268903 | 2147483647    68551     25 |  0.000 % |
65.81/65.82	c |     69093 |     636    62548   268903 | 2147483647    69093     25 |  0.000 % |
66.61/66.71	c |     69689 |     636    62548   268903 | 2147483647    69689     25 |  0.000 % |
67.61/67.69	c |     70346 |     636    62548   268903 | 2147483647    70346     25 |  0.000 % |
68.71/68.75	c |     71073 |     636    62548   268903 | 2147483647    71073     25 |  0.000 % |
70.01/70.05	c |     71865 |     636    62548   268903 | 2147483647    71865     25 |  0.000 % |
71.41/71.43	c |     72736 |     636    62548   268903 | 2147483647    72736     25 |  0.000 % |
71.51/71.58	c |     72837 |     636    62548   268903 | 2147483647    72837     25 |  0.000 % |
71.71/71.75	c |     72948 |     636    62548   268903 | 2147483647    72948     25 |  0.000 % |
71.91/71.94	c |     73070 |     636    62548   268903 | 2147483647    73070     25 |  0.000 % |
72.11/72.21	c |     73203 |     636    62548   268903 | 2147483647    73203     25 |  0.000 % |
72.41/72.46	c |     73350 |     636    62548   268903 | 2147483647    73350     25 |  0.000 % |
72.61/72.71	c |     73510 |     636    62548   268903 | 2147483647    73510     25 |  0.000 % |
73.01/73.05	c |     73686 |     636    62548   268903 | 2147483647    73686     25 |  0.000 % |
73.31/73.38	c |     73880 |     636    62548   268903 | 2147483647    73880     25 |  0.000 % |
73.71/73.76	c |     74092 |     636    62548   268903 | 2147483647    74092     25 |  0.000 % |
74.11/74.15	c |     74328 |     636    62548   268903 | 2147483647    74328     25 |  0.000 % |
74.61/74.66	c |     74584 |     636    62548   268903 | 2147483647    74584     25 |  0.000 % |
75.11/75.17	c |     74865 |     636    62548   268903 | 2147483647    74865     25 |  0.000 % |
75.51/75.60	c |     75176 |     636    62548   268903 | 2147483647    75176     25 |  0.000 % |
76.01/76.10	c |     75516 |     636    62548   268903 | 2147483647    75516     25 |  0.000 % |
76.71/76.79	c |     75890 |     636    62548   268903 | 2147483647    75890     25 |  0.000 % |
77.51/77.59	c |     76301 |     636    62548   268903 | 2147483647    76301     25 |  0.000 % |
78.21/78.26	c |     76750 |     636    62548   268903 | 2147483647    76750     25 |  0.000 % |
79.01/79.03	c |     77246 |     636    62548   268903 | 2147483647    77246     25 |  0.000 % |
79.81/79.91	c |     77789 |     636    62548   268903 | 2147483647    77789     25 |  0.000 % |
80.81/80.85	c |     78389 |     636    62548   268903 | 2147483647    78389     25 |  0.000 % |
81.81/81.89	c |     79044 |     636    62548   268903 | 2147483647    79044     25 |  0.000 % |
83.21/83.25	c |     79764 |     636    62548   268903 | 2147483647    79764     25 |  0.000 % |
84.41/84.47	c |     80556 |     636    62548   268903 | 2147483647    80556     25 |  0.000 % |
86.11/86.13	c |     81427 |     636    62548   268903 | 2147483647    81427     25 |  0.000 % |
87.61/87.65	c |     82385 |     636    62548   268903 | 2147483647    82385     25 |  0.000 % |
87.81/87.82	c |     82489 |     636    62548   268903 | 2147483647    82489     25 |  0.000 % |
87.91/87.96	c |     82600 |     636    62548   268903 | 2147483647    82600     25 |  0.000 % |
88.11/88.15	c |     82721 |     636    62548   268903 | 2147483647    82721     25 |  0.000 % |
88.31/88.37	c |     82854 |     636    62548   268903 | 2147483647    82854     25 |  0.002 % |
88.61/88.62	c |     83001 |     636    62548   268903 | 2147483647    83001     25 |  0.000 % |
88.91/89.01	c |     83161 |     636    62548   268903 | 2147483647    83161     25 |  0.000 % |
89.31/89.34	c |     83341 |     636    62548   268903 | 2147483647    83341     25 |  0.000 % |
89.61/89.69	c |     83536 |     636    62548   268903 | 2147483647    83536     25 |  0.000 % |
90.11/90.13	c |     83748 |     636    62548   268903 | 2147483647    83748     25 |  0.000 % |
90.51/90.58	c |     83983 |     636    62548   268903 | 2147483647    83983     25 |  0.000 % |
90.91/90.96	c |     84243 |     636    62548   268903 | 2147483647    84243     25 |  0.000 % |
91.41/91.45	c |     84524 |     636    62548   268903 | 2147483647    84524     25 |  0.000 % |
92.01/92.10	c |     84834 |     636    62548   268903 | 2147483647    84834     25 |  0.000 % |
92.71/92.73	c |     85175 |     636    62548   268903 | 2147483647    85175     25 |  0.000 % |
93.31/93.37	c |     85547 |     636    62548   268903 | 2147483647    85547     25 |  0.000 % |
94.01/94.10	c |     85957 |     636    62548   268903 | 2147483647    85957     25 |  0.000 % |
94.81/94.84	c |     86408 |     636    62548   268903 | 2147483647    86408     25 |  0.000 % |
95.61/95.65	c |     86901 |     636    62548   268903 | 2147483647    86901     25 |  0.000 % |
96.82/96.86	c |     87445 |     636    62548   268903 | 2147483647    87445     25 |  0.000 % |
97.81/97.85	c |     88042 |     636    62548   268903 | 2147483647    88042     25 |  0.000 % |
99.02/99.11	c |     88699 |     636    62548   268903 | 2147483647    88699     25 |  0.000 % |
100.31/100.35	c |     89419 |     636    62548   268903 | 2147483647    89419     25 |  0.000 % |
101.61/101.67	c |     90213 |     636    62548   268903 | 2147483647    90213     25 |  0.000 % |
103.21/103.23	c |     91084 |     636    62548   268903 | 2147483647    91084     25 |  0.000 % |
105.11/105.17	c |     92043 |     636    62548   268903 | 2147483647    92043     25 |  0.000 % |
107.31/107.39	c |     93099 |     636    62548   268903 | 2147483647    93099     25 |  0.000 % |
107.61/107.62	c |     93199 |     636    62548   268903 | 2147483647    93199     25 |  0.000 % |
107.82/107.88	c |     93311 |     636    62548   268903 | 2147483647    93311     25 |  0.000 % |
108.11/108.17	c |     93432 |     636    62548   268903 | 2147483647    93432     25 |  0.000 % |
108.41/108.46	c |     93567 |     636    62548   268903 | 2147483647    93567     25 |  0.000 % |
108.71/108.79	c |     93715 |     636    62548   268903 | 2147483647    93715     25 |  0.000 % |
109.01/109.10	c |     93877 |     636    62548   268903 | 2147483647    93877     25 |  0.000 % |
109.41/109.42	c |     94055 |     636    62548   268903 | 2147483647    94055     25 |  0.000 % |
109.91/109.95	c |     94249 |     636    62548   268903 | 2147483647    94249     25 |  0.000 % |
110.31/110.41	c |     94463 |     636    62548   268903 | 2147483647    94463     25 |  0.000 % |
110.81/110.84	c |     94699 |     636    62548   268903 | 2147483647    94699     25 |  0.000 % |
111.21/111.31	c |     94955 |     636    62548   268903 | 2147483647    94955     25 |  0.000 % |
111.91/111.95	c |     95237 |     636    62548   268903 | 2147483647    95237     25 |  0.000 % |
112.41/112.51	c |     95546 |     636    62548   268903 | 2147483647    95546     25 |  0.000 % |
113.32/113.33	c |     95889 |     636    62548   268903 | 2147483647    95889     25 |  0.000 % |
114.01/114.08	c |     96261 |     636    62548   268903 | 2147483647    96261     25 |  0.000 % |
114.91/114.91	c |     96671 |     636    62548   268903 | 2147483647    96671     25 |  0.000 % |
115.71/115.80	c |     97120 |     636    62548   268903 | 2147483647    97120     25 |  0.000 % |
116.71/116.78	c |     97618 |     636    62548   268903 | 2147483647    97618     25 |  0.000 % |
117.81/117.87	c |     98162 |     636    62548   268903 | 2147483647    98162     25 |  0.000 % |
119.01/119.10	c |     98759 |     636    62548   268903 | 2147483647    98759     25 |  0.000 % |
120.31/120.39	c |     99419 |     636    62548   268903 | 2147483647    99419     25 |  0.000 % |
121.71/121.75	c |    100141 |     636    62548   268903 | 2147483647   100141     25 |  0.000 % |
123.31/123.37	c |    100934 |     636    62548   268903 | 2147483647   100934     25 |  0.000 % |
125.01/125.06	c |    101805 |     636    62548   268903 | 2147483647   101805     25 |  0.000 % |
126.81/126.82	c |    102763 |     636    62548   268903 | 2147483647   102763     25 |  0.000 % |
128.61/128.68	c |    103818 |     636    62548   268903 | 2147483647   103818     25 |  0.000 % |
130.31/130.34	c |    104976 |     636    62548   268903 | 2147483647   104976     25 |  0.000 % |
130.51/130.53	c |    105078 |     636    62548   268903 | 2147483647   105078     25 |  0.000 % |
130.61/130.69	c |    105191 |     636    62548   268903 | 2147483647   105191     25 |  0.000 % |
130.81/130.87	c |    105312 |     636    62548   268903 | 2147483647   105312     25 |  0.000 % |
131.01/131.06	c |    105445 |     636    62548   268903 | 2147483647   105445     25 |  0.000 % |
131.21/131.27	c |    105593 |     636    62548   268903 | 2147483647   105593     25 |  0.000 % |
131.41/131.43	c |    105754 |     636    62548   268903 | 2147483647   105754     25 |  0.000 % |
131.61/131.66	c |    105930 |     636    62548   268903 | 2147483647   105930     25 |  0.000 % |
131.81/131.91	c |    106124 |     636    62548   268903 | 2147483647   106124     25 |  0.000 % |
132.11/132.13	c |    106339 |     636    62548   268903 | 2147483647   106339     25 |  0.000 % |
132.41/132.42	c |    106572 |     636    62548   268903 | 2147483647   106572     25 |  0.000 % |
133.01/133.04	c |    106828 |     636    62548   268903 | 2147483647   106828     25 |  0.000 % |
133.41/133.45	c |    107110 |     636    62548   268903 | 2147483647   107110     25 |  0.000 % |
133.81/133.81	c |    107421 |     636    62548   268903 | 2147483647   107421     25 |  0.000 % |
134.11/134.20	c |    107760 |     636    62548   268903 | 2147483647   107760     25 |  0.000 % |
134.61/134.70	c |    108133 |     636    62548   268903 | 2147483647   108133     25 |  0.000 % |
135.11/135.11	c |    108542 |     636    62548   268903 | 2147483647   108542     25 |  0.000 % |
136.02/136.10	c |    108991 |     636    62548   268903 | 2147483647   108991     25 |  0.000 % |
137.52/137.57	c |    109485 |     636    62548   268903 | 2147483647   109485     25 |  0.000 % |
138.72/138.75	c |    110029 |     636    62548   268903 | 2147483647   110029     25 |  0.000 % |
140.32/140.38	c |    110626 |     636    62548   268903 | 2147483647   110626     25 |  0.000 % |
141.82/141.86	c |    111283 |     636    62548   268903 | 2147483647   111283     25 |  0.000 % |
143.42/143.49	c |    112004 |     636    62548   268903 | 2147483647   112004     25 |  0.000 % |
145.32/145.40	c |    112798 |     636    62548   268903 | 2147483647   112798     25 |  0.000 % |
147.42/147.45	c |    113671 |     636    62548   268903 | 2147483647   113671     25 |  0.000 % |
149.52/149.60	c |    114629 |     636    62548   268903 | 2147483647   114629     25 |  0.000 % |
152.32/152.37	c |    115682 |     636    62548   268903 | 2147483647   115682     25 |  0.000 % |
155.12/155.13	c |    116844 |     636    62548   268903 | 2147483647   116844     25 |  0.000 % |
157.32/157.37	c |    118117 |     636    62548   268903 | 2147483647   118117     25 |  0.000 % |
157.42/157.50	c |    118218 |     636    62548   268903 | 2147483647   118218     25 |  0.000 % |
157.62/157.66	c |    118330 |     636    62548   268903 | 2147483647   118330     25 |  0.000 % |
157.82/157.89	c |    118451 |     636    62548   268903 | 2147483647   118451     25 |  0.000 % |
158.12/158.16	c |    118588 |     636    62548   268903 | 2147483647   118588     25 |  0.000 % |
158.42/158.43	c |    118737 |     636    62548   268903 | 2147483647   118737     25 |  0.000 % |
158.62/158.71	c |    118898 |     636    62548   268903 | 2147483647   118898     25 |  0.000 % |
158.92/159.00	c |    119077 |     636    62548   268903 | 2147483647   119077     25 |  0.000 % |
159.22/159.32	c |    119272 |     636    62548   268903 | 2147483647   119272     25 |  0.000 % |
159.72/159.74	c |    119488 |     636    62548   268903 | 2147483647   119488     25 |  0.000 % |
160.12/160.13	c |    119722 |     636    62548   268903 | 2147483647   119722     25 |  0.000 % |
160.42/160.52	c |    119979 |     636    62548   268903 | 2147483647   119979     25 |  0.000 % |
160.92/161.02	c |    120261 |     636    62548   268903 | 2147483647   120261     25 |  0.000 % |
161.52/161.56	c |    120570 |     636    62548   268903 | 2147483647   120570     25 |  0.000 % |
162.22/162.23	c |    120911 |     636    62548   268903 | 2147483647   120911     25 |  0.000 % |
162.82/162.88	c |    121283 |     636    62548   268903 | 2147483647   121283     25 |  0.000 % |
163.52/163.57	c |    121693 |     636    62548   268903 | 2147483647   121693     25 |  0.000 % |
164.12/164.20	c |    122143 |     636    62548   268903 | 2147483647   122143     25 |  0.051 % |
164.72/164.74	c |    122638 |     636    62548   268903 | 2147483647   122638     25 |  0.000 % |
165.52/165.61	c |    123183 |     636    62548   268903 | 2147483647   123183     25 |  0.000 % |
166.42/166.49	c |    123779 |     636    62548   268903 | 2147483647   123779     25 |  0.000 % |
167.42/167.44	c |    124435 |     636    62548   268903 | 2147483647   124435     25 |  0.000 % |
168.22/168.27	c |    125156 |     636    62548   268903 | 2147483647   125156     25 |  0.000 % |
169.22/169.26	c |    125948 |     636    62548   268903 | 2147483647   125948     25 |  0.000 % |
170.32/170.38	c |    126820 |     636    62548   268903 | 2147483647   126820     25 |  0.000 % |
171.72/171.73	c |    127778 |     636    62548   268903 | 2147483647   127778     25 |  0.000 % |
173.12/173.21	c |    128831 |     636    62548   268903 | 2147483647   128831     25 |  0.000 % |
174.42/174.46	c |    129989 |     636    62548   268903 | 2147483647   129989     25 |  0.051 % |
179.62/179.70	c |    131263 |     636    62548   268903 |   130002   111365     25 |  0.000 % |
182.22/182.27	c |    132663 |     636    62548   268903 |   130002   112765     26 |  0.000 % |
182.42/182.44	c |    132764 |     636    62548   268903 |   130002   112866     26 |  0.000 % |
182.52/182.60	c |    132876 |     636    62548   268903 |   130002   112978     26 |  0.000 % |
182.72/182.82	c |    132997 |     636    62548   268903 |   130002   113099     26 |  0.000 % |
183.02/183.07	c |    133131 |     636    62548   268903 |   130002   113233     26 |  0.000 % |
183.32/183.35	c |    133278 |     636    62548   268903 |   130002   113380     26 |  0.000 % |
183.62/183.64	c |    133438 |     636    62548   268903 |   130002   113540     26 |  0.000 % |
183.92/183.95	c |    133614 |     636    62548   268903 |   130002   113716     26 |  0.000 % |
184.22/184.27	c |    133810 |     636    62548   268903 |   130002   113912     26 |  0.000 % |
184.62/184.69	c |    134024 |     636    62548   268903 |   130002   114126     26 |  0.051 % |
185.92/185.97	c |    134258 |     636    62548   268903 |   130002   114360     26 |  0.000 % |
187.42/187.48	c |    134515 |     636    62548   268903 |   130002   114617     26 |  0.000 % |
188.02/188.08	c |    134796 |     636    62548   268903 |   130002   114898     26 |  0.000 % |
188.62/188.70	c |    135105 |     636    62548   268903 |   130002   115207     26 |  0.000 % |
189.22/189.29	c |    135445 |     636    62548   268903 |   130002   115547     26 |  0.000 % |
189.92/189.98	c |    135817 |     636    62548   268903 |   130002   115919     26 |  0.000 % |
190.72/190.72	c |    136231 |     636    62548   268903 |   130002   116333     26 |  0.002 % |
191.52/191.53	c |    136680 |     636    62548   268903 |   130002   116782     26 |  0.000 % |
192.22/192.23	c |    137173 |     636    62548   268903 |   130002   117275     26 |  0.000 % |
194.62/194.68	c |    137715 |     636    62548   268903 |   130002   117817     26 |  0.000 % |
197.52/197.58	c |    138311 |     636    62548   268903 |   130002   118413     26 |  0.000 % |
200.72/200.72	c |    138966 |     636    62548   268903 |   130002   119068     26 |  0.000 % |
202.62/202.69	c |    139687 |     636    62548   268903 |   130002   119789     26 |  0.000 % |
207.12/207.17	c |    140479 |     636    62548   268903 |   120103    90931     26 |  0.000 % |
209.72/209.74	c |    141352 |     636    62548   268903 |   120103    91804     26 |  0.000 % |
213.42/213.47	c |    142311 |     636    62548   268903 |   120103    92763     26 |  0.000 % |
217.21/217.30	c |    143364 |     636    62548   268903 |   120103    93816     26 |  0.051 % |
223.81/223.84	c |    144522 |     636    62548   268903 |   120103    94974     26 |  0.000 % |
229.51/229.60	c |    145796 |     636    62548   268903 |   120103    96248     26 |  0.000 % |
232.41/232.46	c |    147200 |     636    62548   268903 |   120103    97652     26 |  0.000 % |
240.01/240.02	c |    148742 |     636    62548   268903 |   120103    99194     26 |  0.000 % |
240.21/240.28	c |    148842 |     636    62548   268903 |   120103    99294     26 |  0.002 % |
240.51/240.51	c |    148954 |     636    62548   268903 |   120103    99406     26 |  0.000 % |
241.01/241.03	c |    149077 |     636    62548   268903 |   120103    99529     26 |  0.000 % |
241.61/241.63	c |    149211 |     636    62548   268903 |   120103    99663     26 |  0.000 % |
242.21/242.22	c |    149357 |     636    62548   268903 |   120103    99809     26 |  0.000 % |
243.01/243.03	c |    149517 |     636    62548   268903 |   120103    99969     26 |  0.000 % |
243.61/243.60	c |    149698 |     636    62548   268903 |   120103   100150     26 |  0.000 % |
243.91/243.96	c |    149893 |     636    62548   268903 |   120103   100345     26 |  0.000 % |
244.31/244.39	c |    150107 |     636    62548   268903 |   100454   100559     26 |  0.000 % |
246.21/246.29	c |    150340 |     636    62548   268903 |   100454    77464     26 |  0.000 % |
246.81/246.82	c |    150597 |     636    62548   268903 |   100454    77721     27 |  0.000 % |
248.01/248.04	c |    150881 |     636    62548   268903 |   100454    78005     27 |  0.000 % |
249.41/249.40	c |    151190 |     636    62548   268903 |   100454    78314     27 |  0.000 % |
250.71/250.79	c |    151531 |     636    62548   268903 |   100454    78655     27 |  0.000 % |
252.21/252.24	c |    151904 |     636    62548   268903 |   100454    79028     27 |  0.000 % |
253.61/253.63	c |    152313 |     636    62548   268903 |   100454    79437     27 |  0.000 % |
255.22/255.23	c |    152762 |     636    62548   268903 |   100454    79886     27 |  0.000 % |
257.11/257.11	c |    153258 |     636    62548   268903 |   100454    80382     27 |  0.000 % |
258.91/258.94	c |    153800 |     636    62548   268903 |   100454    80924     27 |  0.000 % |
261.31/261.32	c |    154396 |     636    62548   268903 |   100454    81520     27 |  0.000 % |
263.81/263.89	c |    155053 |     636    62548   268903 |   100454    82177     27 |  0.000 % |
266.41/266.41	c |    155774 |     636    62548   268903 |   100454    82898     27 |  0.000 % |
269.22/269.28	c |    156566 |     636    62548   268903 |   100454    83690     27 |  0.000 % |
271.72/271.77	c |    157437 |     636    62548   268903 |   100454    84561     27 |  0.000 % |
272.92/272.95	c |    158397 |     636    62548   268903 |   100454    85521     27 |  0.000 % |
274.42/274.49	c |    159450 |     636    62548   268903 |   100454    86574     27 |  0.000 % |
277.22/277.23	c |    160608 |     636    62548   268903 |    87124    65791     28 |  0.000 % |
280.72/280.74	c |    161881 |     636    62548   268903 |    87124    67064     28 |  0.000 % |
284.12/284.16	c |    163283 |     636    62548   268903 |    87124    68466     28 |  0.000 % |
288.22/288.21	c |    164824 |     636    62548   268903 |    87124    70007     28 |  0.000 % |
292.32/292.38	c |    166518 |     636    62548   268903 |    87124    71701     28 |  0.000 % |
292.52/292.53	c |    166619 |     636    62548   268903 |    87124    71802     28 |  0.000 % |
292.82/292.86	c |    166729 |     636    62548   268903 |    87124    71912     28 |  0.000 % |
293.22/293.31	c |    166851 |     636    62548   268903 |    87124    72034     28 |  0.000 % |
293.62/293.67	c |    166986 |     636    62548   268903 |    87124    72169     28 |  0.000 % |
294.12/294.14	c |    167133 |     636    62548   268903 |    87124    72316     28 |  0.000 % |
294.62/294.66	c |    167293 |     636    62548   268903 |    87124    72476     28 |  0.000 % |
295.12/295.14	c |    167469 |     636    62548   268903 |    87124    72652     28 |  0.000 % |
295.52/295.56	c |    167664 |     636    62548   268903 |    87124    72847     28 |  0.000 % |
296.12/296.14	c |    167877 |     636    62548   268903 |    87124    73060     27 |  0.000 % |
296.72/296.71	c |    168112 |     636    62548   268903 |    87124    73295     27 |  0.000 % |
297.32/297.37	c |    168368 |     636    62548   268903 |    87124    73551     27 |  0.000 % |
297.72/297.75	c |    168649 |     636    62548   268903 |    87124    73832     27 |  0.000 % |
298.52/298.57	c |    168960 |     636    62548   268903 |    87124    74143     27 |  0.000 % |
299.32/299.34	c |    169299 |     636    62548   268903 |    87124    74482     27 |  0.000 % |
300.52/300.57	c |    169671 |     636    62548   268903 |    87124    74854     27 |  0.000 % |
301.22/301.29	c |    170080 |     636    62548   268903 |    75183    75263     27 |  0.000 % |
302.42/302.48	c |    170532 |     636    62548   268903 |    75183    67468     27 |  0.000 % |
303.22/303.21	c |    171025 |     636    62548   268903 |    75183    67961     27 |  0.000 % |
304.52/304.54	c |    171569 |     636    62548   268903 |    75183    68505     27 |  0.000 % |
305.82/305.87	c |    172165 |     636    62548   268903 |    75183    69101     28 |  0.000 % |
307.12/307.13	c |    172821 |     636    62548   268903 |    75183    69757     28 |  0.000 % |
308.42/308.50	c |    173542 |     636    62548   268903 |    75183    70478     28 |  0.000 % |
309.82/309.82	c |    174335 |     636    62548   268903 |    75183    71271     28 |  0.000 % |
311.42/311.44	c |    175207 |     636    62548   268903 |    75183    72143     28 |  0.000 % |
313.32/313.34	c |    176166 |     636    62548   268903 |    75183    73102     28 |  0.000 % |
315.22/315.21	c |    177219 |     636    62548   268903 |    75183    74155     28 |  0.000 % |
317.72/317.78	c |    178379 |     636    62548   268903 |    75183    67790     28 |  0.000 % |
319.62/319.67	c |    179653 |     636    62548   268903 |    75183    69064     28 |  0.000 % |
322.02/322.05	c |    181053 |     636    62548   268903 | 2147483647    70464     28 |  0.000 % |
324.52/324.52	c |    182593 |     636    62548   268903 | 2147483647    72004     28 |  0.000 % |
327.02/327.10	c |    184290 |     636    62548   268903 | 2147483647    73701     28 |  0.000 % |
329.92/329.92	c |    186155 |     636    62548   268903 | 2147483647    75566     28 |  0.000 % |
330.02/330.08	c |    186257 |     636    62548   268903 | 2147483647    75668     28 |  0.000 % |
330.22/330.24	c |    186367 |     636    62548   268903 | 2147483647    75778     28 |  0.000 % |
330.32/330.38	c |    186489 |     636    62548   268903 | 2147483647    75900     28 |  0.000 % |
330.52/330.56	c |    186622 |     636    62548   268903 | 2147483647    76033     28 |  0.000 % |
330.72/330.78	c |    186770 |     636    62548   268903 | 2147483647    76181     28 |  0.000 % |
331.12/331.20	c |    186930 |     636    62548   268903 | 2147483647    76341     28 |  0.000 % |
331.52/331.57	c |    187106 |     636    62548   268903 | 2147483647    76517     28 |  0.000 % |
332.02/332.02	c |    187300 |     636    62548   268903 | 2147483647    76711     28 |  0.000 % |
332.52/332.53	c |    187512 |     636    62548   268903 | 2147483647    76923     28 |  0.000 % |
332.92/332.93	c |    187746 |     636    62548   268903 | 2147483647    77157     28 |  0.000 % |
333.42/333.49	c |    188004 |     636    62548   268903 | 2147483647    77415     28 |  0.000 % |
334.22/334.27	c |    188286 |     636    62548   268903 | 2147483647    77697     28 |  0.000 % |
335.02/335.09	c |    188596 |     636    62548   268903 | 2147483647    78007     28 |  0.000 % |
335.92/335.96	c |    188935 |     636    62548   268903 | 2147483647    78346     28 |  0.000 % |
336.62/336.68	c |    189310 |     636    62548   268903 | 2147483647    78721     28 |  0.000 % |
337.52/337.52	c |    189721 |     636    62548   268903 | 2147483647    79132     28 |  0.000 % |
338.12/338.17	c |    190171 |     636    62548   268903 | 2147483647    79582     28 |  0.000 % |
339.32/339.36	c |    190664 |     636    62548   268903 | 2147483647    80075     28 |  0.000 % |
340.82/340.82	c |    191208 |     636    62548   268903 | 2147483647    80619     28 |  0.000 % |
342.22/342.30	c |    191804 |     636    62548   268903 | 2147483647    81215     28 |  0.000 % |
344.12/344.19	c |    192461 |     636    62548   268903 | 2147483647    81872     28 |  0.000 % |
345.62/345.67	c |    193182 |     636    62548   268903 | 2147483647    82593     28 |  0.000 % |
347.52/347.52	c |    193975 |     636    62548   268903 | 2147483647    83386     28 |  0.000 % |
350.12/350.16	c |    194848 |     636    62548   268903 | 2147483647    84259     28 |  0.000 % |
351.82/351.83	c |    195807 |     636    62548   268903 | 2147483647    85218     28 |  0.000 % |
353.92/353.99	c |    196867 |     636    62548   268903 | 2147483647    86278     28 |  0.000 % |
355.82/355.86	c |    198026 |     636    62548   268903 | 2147483647    87437     28 |  0.000 % |
358.92/358.91	c |    199299 |     636    62548   268903 | 2147483647    88710     28 |  0.000 % |
361.42/361.41	c |    200702 |     636    62548   268903 | 2147483647    90113     28 |  0.000 % |
365.32/365.35	c |    202244 |     636    62548   268903 | 2147483647    91655     28 |  0.000 % |
369.92/370.00	c |    203939 |     636    62548   268903 | 2147483647    93350     28 |  0.000 % |
375.72/375.76	c |    205804 |     636    62548   268903 | 2147483647    95215     28 |  0.000 % |
381.32/381.31	c |    207854 |     636    62548   268903 | 2147483647    97265     28 |  0.000 % |
381.52/381.59	c |    207954 |     636    62548   268903 | 2147483647    97365     28 |  0.000 % |
382.02/382.01	c |    208065 |     636    62548   268903 | 2147483647    97476     28 |  0.000 % |
382.42/382.49	c |    208188 |     636    62548   268903 | 2147483647    97599     28 |  0.000 % |
382.83/382.85	c |    208323 |     636    62548   268903 | 2147483647    97734     28 |  0.000 % |
383.12/383.18	c |    208469 |     636    62548   268903 | 2147483647    97880     28 |  0.000 % |
383.62/383.65	c |    208629 |     636    62548   268903 | 2147483647    98040     28 |  0.000 % |
384.12/384.18	c |    208805 |     636    62548   268903 | 2147483647    98216     28 |  0.000 % |
384.42/384.47	c |    208999 |     636    62548   268903 | 2147483647    98410     28 |  0.000 % |
385.03/385.04	c |    209211 |     636    62548   268903 | 2147483647    98622     28 |  0.000 % |
385.82/385.80	c |    209444 |     636    62548   268903 | 2147483647    98855     28 |  0.000 % |
386.62/386.65	c |    209700 |     636    62548   268903 | 2147483647    99111     28 |  0.000 % |
387.23/387.22	c |    209984 |     636    62548   268903 | 2147483647    99395     28 |  0.000 % |
387.72/387.75	c |    210295 |     636    62548   268903 | 2147483647    99706     28 |  0.000 % |
388.33/388.37	c |    210637 |     636    62548   268903 | 2147483647   100048     28 |  0.000 % |
389.22/389.28	c |    211011 |     636    62548   268903 | 2147483647   100422     28 |  0.000 % |
390.53/390.55	c |    211420 |     636    62548   268903 | 2147483647   100831     28 |  0.000 % |
392.22/392.30	c |    211870 |     636    62548   268903 | 2147483647   101281     28 |  0.000 % |
393.83/393.84	c |    212364 |     636    62548   268903 | 2147483647   101775     28 |  0.000 % |
395.52/395.50	c |    212906 |     636    62548   268903 | 2147483647   102317     28 |  0.000 % |
397.13/397.15	c |    213502 |     636    62548   268903 | 2147483647   102913     28 |  0.000 % |
399.04/399.03	c |    214157 |     636    62548   268903 | 2147483647   103568     28 |  0.000 % |
400.94/401.02	c |    214879 |     636    62548   268903 | 2147483647   104290     28 |  0.000 % |
403.44/403.49	c |    215672 |     636    62548   268903 | 2147483647   105083     27 |  0.000 % |
405.94/406.01	c |    216543 |     636    62548   268903 | 2147483647   105954     28 |  0.000 % |
408.74/408.80	c |    217503 |     636    62548   268903 | 2147483647   106914     27 |  0.000 % |
411.84/411.85	c |    218557 |     636    62548   268903 | 2147483647   107968     27 |  0.000 % |
415.14/415.17	c |    219716 |     636    62548   268903 | 2147483647   109127     27 |  0.000 % |
417.24/417.24	c |    220989 |     636    62548   268903 |   109411    96111     27 |  0.000 % |
418.94/419.00	c |    222389 |     636    62548   268903 |   109411    97511     27 |  0.000 % |
420.84/420.90	c |    223929 |     636    62548   268903 |   109411    99051     27 |  0.000 % |
423.34/423.33	c |    225623 |     636    62548   268903 |   109411   100745     27 |  0.000 % |
426.84/426.89	c |    227486 |     636    62548   268903 |   109411   102608     27 |  0.000 % |
436.84/436.85	c |    229537 |     636    62548   268903 |   109411   104659     28 |  0.000 % |
448.34/448.39	c |    231790 |     636    62548   268903 |   105122    84958     27 |  0.000 % |
448.74/448.79	c |    231891 |     636    62548   268903 |   105122    85059     27 |  0.000 % |
449.34/449.40	c |    232002 |     636    62548   268903 |   105122    85170     27 |  0.000 % |
450.14/450.15	c |    232124 |     636    62548   268903 |   105122    85292     27 |  0.000 % |
450.94/450.98	c |    232259 |     636    62548   268903 |   105122    85427     27 |  0.000 % |
451.74/451.75	c |    232406 |     636    62548   268903 |   105122    85574     27 |  0.000 % |
452.44/452.51	c |    232567 |     636    62548   268903 |   105122    85735     27 |  0.000 % |
453.34/453.36	c |    232745 |     636    62548   268903 |   105122    85913     27 |  0.000 % |
454.14/454.20	c |    232940 |     636    62548   268903 |   105122    86108     27 |  0.000 % |
455.24/455.28	c |    233154 |     636    62548   268903 |   105122    86322     27 |  0.000 % |
456.14/456.20	c |    233387 |     636    62548   268903 |   105122    86555     27 |  0.000 % |
457.44/457.50	c |    233643 |     636    62548   268903 |   105122    86811     27 |  0.000 % |
458.24/458.23	c |    233925 |     636    62548   268903 |   105122    87093     27 |  0.000 % |
459.24/459.25	c |    234234 |     636    62548   268903 |   105122    87402     27 |  0.002 % |
460.74/460.76	c |    234573 |     636    62548   268903 |   105122    87741     27 |  0.000 % |
462.64/462.70	c |    234946 |     636    62548   268903 |   105122    88114     27 |  0.000 % |
465.14/465.17	c |    235357 |     636    62548   268903 |   105122    88525     27 |  0.000 % |
468.04/468.07	c |    235806 |     636    62548   268903 |   105122    88974     27 |  0.000 % |
471.24/471.29	c |    236300 |     636    62548   268903 |   105122    89468     27 |  0.000 % |
473.64/473.69	c |    236844 |     636    62548   268903 |   105122    90012     27 |  0.000 % |
476.14/476.16	c |    237440 |     636    62548   268903 |   105122    90608     27 |  0.000 % |
478.64/478.63	c |    238096 |     636    62548   268903 |   105122    91264     27 |  0.000 % |
481.14/481.15	c |    238817 |     636    62548   268903 |   105122    91985     27 |  0.000 % |
483.74/483.75	c |    239610 |     636    62548   268903 |   105122    92778     27 |  0.000 % |
487.04/487.07	c |    240484 |     636    62548   268903 |    93168    71442     26 |  0.000 % |
487.74/487.81	c |    241444 |     636    62548   268903 |    93168    72402     26 |  0.000 % |
492.04/492.08	c |    242497 |     636    62548   268903 |    93168    73455     26 |  0.002 % |
496.15/496.15	c |    243655 |     636    62548   268903 |    93168    74613     26 |  0.000 % |
501.94/501.97	c |    244928 |     636    62548   268903 |    93168    75886     26 |  0.002 % |
507.15/507.21	c |    246328 |     636    62548   268903 |    93168    77286     26 |  0.000 % |
511.94/511.98	c |    247872 |     636    62548   268903 |    93168    78830     26 |  0.000 % |
519.34/519.32	c |    249567 |     636    62548   268903 |    93168    80525     26 |  0.000 % |
525.04/525.07	c |    251430 |     636    62548   268903 |    80958    68292     26 |  0.000 % |
531.25/531.28	c |    253479 |     636    62548   268903 |    80958    70341     26 |  0.000 % |
540.55/540.62	c |    255734 |     636    62548   268903 |    80958    72596     26 |  0.000 % |
543.15/543.14	c |    258215 |     636    62548   268903 |    80958    75077     26 |  0.000 % |
543.25/543.30	c |    258317 |     636    62548   268903 |    80958    75179     26 |  0.000 % |
543.75/543.75	c |    258427 |     636    62548   268903 |    80958    75289     26 |  0.000 % |
544.25/544.24	c |    258548 |     636    62548   268903 |    80958    75410     26 |  0.000 % |
544.85/544.86	c |    258681 |     636    62548   268903 |    80958    75543     26 |  0.000 % |
545.35/545.37	c |    258827 |     636    62548   268903 |    80958    75689     26 |  0.000 % |
546.05/546.11	c |    258987 |     636    62548   268903 |    80958    75849     26 |  0.000 % |
546.95/546.99	c |    259163 |     636    62548   268903 |    80958    76025     26 |  0.000 % |
547.95/547.93	c |    259356 |     636    62548   268903 |    80958    76218     26 |  0.000 % |
548.95/548.93	c |    259569 |     636    62548   268903 |    80958    76431     27 |  0.000 % |
550.05/550.11	c |    259803 |     636    62548   268903 |    80958    76665     27 |  0.000 % |
550.95/550.99	c |    260061 |     636    62548   268903 |    76862    76923     27 |  0.000 % |
552.35/552.35	c |    260342 |     636    62548   268903 |    76862    65837     27 |  0.000 % |
552.55/552.59	c |    260652 |     636    62548   268903 |    76862    66147     27 |  0.000 % |
553.85/553.84	c |    260996 |     636    62548   268903 |    76862    66491     27 |  0.000 % |
554.95/554.96	c |    261368 |     636    62548   268903 |    76862    66863     27 |  0.000 % |
556.55/556.57	c |    261777 |     636    62548   268903 |    76862    67272     27 |  0.000 % |
558.35/558.32	c |    262226 |     636    62548   268903 |    76862    67721     27 |  0.000 % |
559.75/559.75	c |    262721 |     636    62548   268903 |    76862    68216     27 |  0.000 % |
560.85/560.88	c |    263263 |     636    62548   268903 |    76862    68758     27 |  0.000 % |
561.45/561.49	c |    263861 |     636    62548   268903 |    76862    69356     27 |  0.000 % |
562.15/562.15	c |    264518 |     636    62548   268903 |    76862    70013     27 |  0.000 % |
565.05/565.08	c |    265238 |     636    62548   268903 |    76862    70733     27 |  0.000 % |
567.75/567.82	c |    266030 |     636    62548   268903 |    76862    71525     27 |  0.000 % |
570.75/570.81	c |    266901 |     636    62548   268903 |    76862    72396     27 |  0.000 % |
574.34/574.34	c |    267864 |     636    62548   268903 |    76862    73359     27 |  0.000 % |
577.54/577.57	c |    268918 |     636    62548   268903 |    76862    74413     27 |  0.002 % |
581.54/581.51	c |    270077 |     636    62548   268903 |    75497    67476     27 |  0.000 % |
585.14/585.18	c |    271351 |     636    62548   268903 |    75497    68750     27 |  0.000 % |
589.24/589.24	c |    272751 |     636    62548   268903 |    75497    70150     27 |  0.000 % |
593.74/593.74	c |    274293 |     636    62548   268903 |    75497    71692     27 |  0.000 % |
597.84/597.81	c |    275988 |     636    62548   268903 |    75497    73387     27 |  0.000 % |
603.64/603.66	c |    277851 |     636    62548   268903 |    75497    75250     27 |  0.000 % |
608.54/608.51	c |    279901 |     636    62548   268903 |    75497    64010     27 |  0.000 % |
611.65/611.64	c |    282155 |     636    62548   268903 |    64110    57227     27 |  0.000 % |
614.95/614.97	c |    284635 |     636    62548   268903 |    64110    59707     27 |  0.000 % |
618.54/618.51	c |    287363 |     636    62548   268903 |    64110    62435     27 |  0.000 % |
618.64/618.63	c |    287463 |     636    62548   268903 |    64110    62535     27 |  0.000 % |
618.74/618.79	c |    287575 |     636    62548   268903 |    64110    62647     27 |  0.000 % |
618.94/618.96	c |    287696 |     636    62548   268903 |    64110    62768     27 |  0.000 % |
619.14/619.15	c |    287832 |     636    62548   268903 |    64110    62904     27 |  0.000 % |
619.35/619.35	c |    287978 |     636    62548   268903 |    64110    63050     27 |  0.000 % |
619.54/619.59	c |    288138 |     636    62548   268903 |    64110    63210     27 |  0.000 % |
619.84/619.84	c |    288316 |     636    62548   268903 |    64110    63388     27 |  0.000 % |
620.14/620.13	c |    288516 |     636    62548   268903 |    64110    63588     27 |  0.000 % |
620.34/620.40	c |    288728 |     636    62548   268903 |    64110    63800     27 |  0.000 % |
620.74/620.71	c |    288961 |     636    62548   268903 |    64110    64033     27 |  0.000 % |
621.14/621.12	c |    289217 |     636    62548   268903 |    64110    57871     26 |  0.000 % |
621.34/621.40	c |    289498 |     636    62548   268903 |    64110    58152     26 |  0.000 % |
621.74/621.73	c |    289808 |     636    62548   268903 |    64110    58462     26 |  0.000 % |
622.04/622.09	c |    290147 |     636    62548   268903 | 2147483647    58801     26 |  0.000 % |
622.44/622.47	c |    290519 |     636    62548   268903 | 2147483647    59173     26 |  0.000 % |
623.04/623.01	c |    290929 |     636    62548   268903 | 2147483647    59583     26 |  0.000 % |
623.54/623.56	c |    291378 |     636    62548   268903 | 2147483647    60032     26 |  0.000 % |
624.04/624.08	c |    291873 |     636    62548   268903 | 2147483647    60527     26 |  0.000 % |
624.64/624.67	c |    292419 |     636    62548   268903 | 2147483647    61073     26 |  0.000 % |
625.24/625.29	c |    293018 |     636    62548   268903 | 2147483647    61672     26 |  0.000 % |
625.95/625.95	c |    293673 |     636    62548   268903 | 2147483647    62327     26 |  0.000 % |
626.84/626.80	c |    294397 |     636    62548   268903 | 2147483647    63051     26 |  0.000 % |
627.64/627.64	c |    295192 |     636    62548   268903 | 2147483647    63846     26 |  0.000 % |
628.64/628.62	c |    296064 |     636    62548   268903 | 2147483647    64718     26 |  0.000 % |
629.94/629.92	c |    297023 |     636    62548   268903 | 2147483647    65677     26 |  0.000 % |
631.34/631.36	c |    298078 |     636    62548   268903 | 2147483647    66732     26 |  0.000 % |
632.84/632.89	c |    299238 |     636    62548   268903 | 2147483647    67892     26 |  0.000 % |
634.44/634.40	c |    300517 |     636    62548   268903 | 2147483647    69171     26 |  0.000 % |
636.34/636.34	c |    301917 |     636    62548   268903 | 2147483647    70571     26 |  0.000 % |
638.34/638.30	c |    303459 |     636    62548   268903 | 2147483647    72113     26 |  0.000 % |
640.54/640.53	c |    305156 |     636    62548   268903 | 2147483647    73810     26 |  0.000 % |
643.04/643.05	c |    307019 |     636    62548   268903 | 2147483647    75673     26 |  0.000 % |
645.75/645.77	c |    309069 |     636    62548   268903 | 2147483647    77723     26 |  0.000 % |
648.94/648.97	c |    311322 |     636    62548   268903 | 2147483647    79976     26 |  0.000 % |
652.54/652.53	c |    313800 |     636    62548   268903 | 2147483647    82454     26 |  0.000 % |
656.24/656.22	c |    316527 |     636    62548   268903 | 2147483647    85181     26 |  0.000 % |
660.85/660.89	c |    319524 |     636    62548   268903 | 2147483647    88178     26 |  0.000 % |
661.05/661.08	c |    319624 |     636    62548   268903 | 2147483647    88278     26 |  0.000 % |
661.25/661.25	c |    319735 |     636    62548   268903 | 2147483647    88389     26 |  0.000 % |
661.45/661.44	c |    319860 |     636    62548   268903 | 2147483647    88514     26 |  0.000 % |
661.65/661.66	c |    319993 |     636    62548   268903 | 2147483647    88647     26 |  0.000 % |
661.85/661.91	c |    320139 |     636    62548   268903 | 2147483647    88793     26 |  0.000 % |
662.15/662.18	c |    320299 |     636    62548   268903 | 2147483647    88953     26 |  0.000 % |
662.45/662.44	c |    320477 |     636    62548   268903 | 2147483647    89131     26 |  0.000 % |
662.65/662.68	c |    320670 |     636    62548   268903 | 2147483647    89324     26 |  0.000 % |
662.95/662.95	c |    320882 |     636    62548   268903 | 2147483647    89536     26 |  0.002 % |
663.25/663.31	c |    321115 |     636    62548   268903 | 2147483647    89769     26 |  0.000 % |
663.65/663.71	c |    321371 |     636    62548   268903 | 2147483647    90025     25 |  0.000 % |
664.15/664.20	c |    321655 |     636    62548   268903 | 2147483647    90309     25 |  0.000 % |
664.65/664.68	c |    321964 |     636    62548   268903 | 2147483647    90618     25 |  0.000 % |
665.25/665.23	c |    322306 |     636    62548   268903 | 2147483647    90960     25 |  0.000 % |
665.85/665.86	c |    322678 |     636    62548   268903 | 2147483647    91332     25 |  0.000 % |
666.45/666.49	c |    323089 |     636    62548   268903 | 2147483647    91743     25 |  0.000 % |
667.25/667.30	c |    323539 |     636    62548   268903 | 2147483647    92193     25 |  0.000 % |
667.95/667.98	c |    324033 |     636    62548   268903 | 2147483647    92687     25 |  0.000 % |
668.45/668.50	c |    324576 |     636    62548   268903 | 2147483647    93230     25 |  0.000 % |
669.05/669.05	c |    325173 |     636    62548   268903 | 2147483647    93827     25 |  0.000 % |
669.65/669.67	c |    325828 |     636    62548   268903 | 2147483647    94482     25 |  0.000 % |
670.35/670.38	c |    326549 |     636    62548   268903 | 2147483647    95203     25 |  0.000 % |
671.25/671.30	c |    327343 |     636    62548   268903 | 2147483647    95997     25 |  0.000 % |
672.15/672.17	c |    328214 |     636    62548   268903 | 2147483647    96868     26 |  0.000 % |
673.55/673.53	c |    329174 |     636    62548   268903 | 2147483647    97828     25 |  0.000 % |
675.25/675.28	c |    330227 |     636    62548   268903 | 2147483647    98881     25 |  0.002 % |
676.95/676.97	c |    331386 |     636    62548   268903 | 2147483647   100040     25 |  0.002 % |
679.55/679.52	c |    332659 |     636    62548   268903 | 2147483647   101313     25 |  0.000 % |
683.95/684.01	c |    334059 |     636    62548   268903 | 2147483647   102713     25 |  0.000 % |
688.85/688.82	c |    335600 |     636    62548   268903 | 2147483647   104254     25 |  0.000 % |
695.85/695.81	c |    337296 |     636    62548   268903 | 2147483647   105950     25 |  0.000 % |
704.25/704.22	c |    339163 |     636    62548   268903 | 2147483647   107817     25 |  0.000 % |
712.55/712.60	c |    341219 |     636    62548   268903 | 2147483647   109873     25 |  0.002 % |
720.55/720.52	c |    343472 |     636    62548   268903 | 2147483647   112126     25 |  0.002 % |
730.05/730.01	c |    345954 |     636    62548   268903 | 2147483647   114608     25 |  0.000 % |
739.65/739.62	c |    348681 |     636    62548   268903 | 2147483647   117335     25 |  0.000 % |
749.75/749.78	c |    351679 |     636    62548   268903 |   118654    98591     24 |  0.002 % |
757.86/757.91	c |    354975 |     636    62548   268903 |   118654   101887     25 |  0.000 % |
757.97/757.99	c |    355077 |     636    62548   268903 |   118654   101989     24 |  0.000 % |
758.56/758.53	c |    355187 |     636    62548   268903 |   118654   102099     25 |  0.000 % |
759.07/759.10	c |    355309 |     636    62548   268903 |   118654   102221     25 |  0.000 % |
759.66/759.68	c |    355442 |     636    62548   268903 |   118654   102354     25 |  0.000 % |
760.36/760.40	c |    355589 |     636    62548   268903 |   118654   102501     25 |  0.000 % |
760.66/760.65	c |    355749 |     636    62548   268903 |   118654   102661     25 |  0.000 % |
761.46/761.45	c |    355925 |     636    62548   268903 |   118654   102837     25 |  0.000 % |
762.26/762.24	c |    356118 |     636    62548   268903 |   118654   103030     25 |  0.000 % |
763.26/763.26	c |    356330 |     636    62548   268903 |   118654   103242     25 |  0.000 % |
764.36/764.40	c |    356563 |     636    62548   268903 |   118654   103475     25 |  0.000 % |
765.67/765.66	c |    356820 |     636    62548   268903 |   118654   103732     25 |  0.000 % |
767.16/767.15	c |    357103 |     636    62548   268903 |   118654   104015     25 |  0.000 % |
768.86/768.87	c |    357412 |     636    62548   268903 |   118654   104324     25 |  0.000 % |
770.76/770.73	c |    357751 |     636    62548   268903 |   118654   104663     25 |  0.000 % |
772.36/772.34	c |    358123 |     636    62548   268903 |   118654   105035     25 |  0.000 % |
774.16/774.14	c |    358536 |     636    62548   268903 |   118654   105448     25 |  0.000 % |
776.26/776.28	c |    358985 |     636    62548   268903 |   118654   105897     25 |  0.000 % |
778.66/778.61	c |    359478 |     636    62548   268903 |   118654   106390     25 |  0.000 % |
781.16/781.17	c |    360023 |     636    62548   268903 |   106914   106935     25 |  0.000 % |
784.56/784.60	c |    360619 |     636    62548   268903 |   106914    80257     24 |  0.000 % |
786.57/786.54	c |    361276 |     636    62548   268903 |   106914    80914     24 |  0.000 % |
787.96/787.99	c |    361996 |     636    62548   268903 |   106914    81634     24 |  0.000 % |
790.46/790.43	c |    362789 |     636    62548   268903 |   106914    82427     24 |  0.000 % |
793.47/793.50	c |    363660 |     636    62548   268903 |   106914    83298     24 |  0.000 % |
796.47/796.43	c |    364619 |     636    62548   268903 |   106914    84257     24 |  0.000 % |
798.77/798.76	c |    365672 |     636    62548   268903 |   106914    85310     24 |  0.000 % |
802.07/802.12	c |    366831 |     636    62548   268903 |   106914    86469     24 |  0.000 % |
805.97/806.01	c |    368105 |     636    62548   268903 |   106914    87743     24 |  0.000 % |
809.97/809.99	c |    369505 |     636    62548   268903 |   106914    89143     24 |  0.000 % |
815.37/815.34	c |    371050 |     636    62548   268903 |    89638    80182     24 |  0.000 % |
820.07/820.02	c |    372744 |     636    62548   268903 |    89638    81876     24 |  0.000 % |
824.97/824.99	c |    374610 |     636    62548   268903 |    89638    83742     24 |  0.000 % |
831.07/831.05	c |    376659 |     636    62548   268903 |    89638    85791     25 |  0.000 % |
837.37/837.33	c |    378918 |     636    62548   268903 |    89638    88050     25 |  0.000 % |
844.27/844.26	c |    381396 |     636    62548   268903 |    89132    80593     25 |  0.000 % |
850.97/850.95	c |    384121 |     636    62548   268903 |    89132    83318     25 |  0.000 % |
857.57/857.61	c |    387118 |     636    62548   268903 |    89132    86315     24 |  0.000 % |
863.77/863.78	c |    390414 |     636    62548   268903 | 2147483647    89611     24 |  0.000 % |
871.77/871.81	c |    394040 |     636    62548   268903 | 2147483647    93237     24 |  0.000 % |
872.07/872.05	c |    394140 |     636    62548   268903 | 2147483647    93337     24 |  0.000 % |
872.27/872.30	c |    394250 |     636    62548   268903 | 2147483647    93447     24 |  0.000 % |
872.57/872.56	c |    394371 |     636    62548   268903 | 2147483647    93568     24 |  0.000 % |
872.87/872.86	c |    394507 |     636    62548   268903 | 2147483647    93704     24 |  0.000 % |
873.27/873.25	c |    394655 |     636    62548   268903 | 2147483647    93852     24 |  0.000 % |
873.67/873.62	c |    394815 |     636    62548   268903 | 2147483647    94012     24 |  0.000 % |
873.97/873.99	c |    394991 |     636    62548   268903 | 2147483647    94188     24 |  0.000 % |
874.37/874.41	c |    395184 |     636    62548   268903 | 2147483647    94381     24 |  0.000 % |
874.87/874.90	c |    395398 |     636    62548   268903 | 2147483647    94595     24 |  0.000 % |
875.47/875.42	c |    395632 |     636    62548   268903 | 2147483647    94829     24 |  0.000 % |
876.07/876.07	c |    395888 |     636    62548   268903 | 2147483647    95085     24 |  0.000 % |
876.78/876.76	c |    396173 |     636    62548   268903 | 2147483647    95370     24 |  0.000 % |
877.57/877.54	c |    396482 |     636    62548   268903 | 2147483647    95679     24 |  0.000 % |
878.47/878.43	c |    396823 |     636    62548   268903 | 2147483647    96020     24 |  0.000 % |
879.37/879.33	c |    397195 |     636    62548   268903 | 2147483647    96392     24 |  0.000 % |
880.27/880.29	c |    397604 |     636    62548   268903 | 2147483647    96801     24 |  0.000 % |
881.57/881.58	c |    398054 |     636    62548   268903 | 2147483647    97251     24 |  0.000 % |
882.87/882.87	c |    398548 |     636    62548   268903 | 2147483647    97745     24 |  0.000 % |
884.37/884.33	c |    399091 |     636    62548   268903 | 2147483647    98288     24 |  0.000 % |
885.97/885.99	c |    399689 |     636    62548   268903 | 2147483647    98886     24 |  0.000 % |
887.57/887.53	c |    400344 |     636    62548   268903 | 2147483647    99541     24 |  0.000 % |
889.17/889.18	c |    401068 |     636    62548   268903 | 2147483647   100265     24 |  0.000 % |
891.37/891.38	c |    401862 |     636    62548   268903 | 2147483647   101059     24 |  0.000 % |
893.47/893.50	c |    402738 |     636    62548   268903 | 2147483647   101935     24 |  0.000 % |
895.97/895.94	c |    403696 |     636    62548   268903 | 2147483647   102893     24 |  0.000 % |
898.67/898.69	c |    404752 |     636    62548   268903 | 2147483647   103949     24 |  0.000 % |
901.87/901.82	c |    405912 |     636    62548   268903 | 2147483647   105109     24 |  0.000 % |
905.17/905.15	c |    407185 |     636    62548   268903 | 2147483647   106382     24 |  0.000 % |
908.57/908.57	c |    408587 |     636    62548   268903 | 2147483647   107784     24 |  0.000 % |
912.57/912.59	c |    410127 |     636    62548   268903 | 2147483647   109324     25 |  0.000 % |
916.47/916.48	c |    411821 |     636    62548   268903 | 2147483647   111018     25 |  0.000 % |
921.17/921.12	c |    413686 |     636    62548   268903 | 2147483647   112883     25 |  0.000 % |
926.18/926.22	c |    415735 |     636    62548   268903 | 2147483647   114932     24 |  0.000 % |
931.77/931.80	c |    417990 |     636    62548   268903 | 2147483647   117187     24 |  0.000 % |
938.67/938.68	c |    420469 |     636    62548   268903 | 2147483647   119666     24 |  0.000 % |
945.47/945.50	c |    423195 |     636    62548   268903 | 2147483647   122392     24 |  0.000 % |
953.67/953.67	c |    426193 |     636    62548   268903 | 2147483647   125390     24 |  0.000 % |
963.37/963.40	c |    429489 |     636    62548   268903 | 2147483647   128686     24 |  0.000 % |
972.97/972.97	c |    433114 |     636    62548   268903 | 2147483647   132311     24 |  0.000 % |
988.77/988.75	c |    437102 |     636    62548   268903 | 2147483647   136299     24 |  0.004 % |
989.37/989.32	c |    437202 |     636    62548   268903 | 2147483647   136399     24 |  0.000 % |
989.67/989.65	c |    437312 |     636    62548   268903 | 2147483647   136509     24 |  0.000 % |
989.97/989.98	c |    437433 |     636    62548   268903 | 2147483647   136630     24 |  0.002 % |
990.37/990.36	c |    437566 |     636    62548   268903 | 2147483647   136763     24 |  0.000 % |
991.17/991.20	c |    437713 |     636    62548   268903 | 2147483647   136910     24 |  0.000 % |
991.77/991.71	c |    437873 |     636    62548   268903 | 2147483647   137070     24 |  0.000 % |
992.47/992.42	c |    438051 |     636    62548   268903 | 2147483647   137248     24 |  0.000 % |
993.37/993.35	c |    438246 |     636    62548   268903 | 2147483647   137443     24 |  0.000 % |
994.37/994.35	c |    438458 |     636    62548   268903 | 2147483647   137655     24 |  0.000 % |
995.07/995.09	c |    438692 |     636    62548   268903 | 2147483647   137889     24 |  0.000 % |
995.87/995.89	c |    438948 |     636    62548   268903 | 2147483647   138145     24 |  0.002 % |
997.17/997.11	c |    439230 |     636    62548   268903 | 2147483647   138427     24 |  0.000 % |
998.57/998.54	c |    439540 |     636    62548   268903 | 2147483647   138737     24 |  0.002 % |
1000.47/1000.50	c |    439881 |     636    62548   268903 | 2147483647   139078     24 |  0.000 % |
1002.57/1002.55	c |    440255 |     636    62548   268903 |   139197   113078     24 |  0.000 % |
1004.27/1004.21	c |    440664 |     636    62548   268903 |   139197   113487     24 |  0.002 % |
1005.77/1005.77	c |    441114 |     636    62548   268903 |   139197   113937     24 |  0.000 % |
1006.47/1006.50	c |    441607 |     636    62548   268903 |   139197   114430     24 |  0.001 % |
1008.67/1008.67	c |    442149 |     636    62548   268903 |   139197   114972     24 |  0.000 % |
1011.17/1011.13	c |    442746 |     636    62548   268903 |   139197   115569     24 |  0.000 % |
1013.57/1013.50	c |    443401 |     636    62548   268903 |   139197   116224     24 |  0.000 % |
1016.37/1016.37	c |    444121 |     636    62548   268903 |   139197   116944     24 |  0.002 % |
1019.47/1019.44	c |    444913 |     636    62548   268903 |   139197   117736     24 |  0.000 % |
1022.47/1022.41	c |    445785 |     636    62548   268903 |   139197   118608     24 |  0.002 % |
1025.67/1025.69	c |    446743 |     636    62548   268903 |   139197   119566     24 |  0.000 % |
1029.47/1029.48	c |    447798 |     636    62548   268903 |   139197   120621     24 |  0.000 % |
1034.08/1034.05	c |    448957 |     636    62548   268903 |   139197   121780     24 |  0.002 % |
1039.47/1039.42	c |    450231 |     636    62548   268903 |   122823   100642     24 |  0.002 % |
1043.57/1043.58	c |    451631 |     636    62548   268903 |   122823   102042     24 |  0.002 % |
1047.37/1047.39	c |    453173 |     636    62548   268903 |   122823   103584     24 |  0.000 % |
1052.67/1052.63	c |    454870 |     636    62548   268903 |   122823   105281     24 |  0.002 % |
1057.88/1057.88	c |    456734 |     636    62548   268903 |   122823   107145     24 |  0.002 % |
1062.98/1062.99	c |    458784 |     636    62548   268903 |   122823   109195     24 |  0.002 % |
1068.68/1068.70	c |    461039 |     636    62548   268903 | 2147483647   111450     24 |  0.002 % |
1076.98/1076.96	c |    463518 |     636    62548   268903 | 2147483647   113929     24 |  0.000 % |
1085.98/1085.93	c |    466243 |     636    62548   268903 | 2147483647   116654     24 |  0.000 % |
1099.18/1099.15	c |    469240 |     636    62548   268903 | 2147483647   119651     24 |  0.000 % |
1104.68/1104.62	c |    472536 |     636    62548   268903 |   120413   105117     23 |  0.000 % |
1120.79/1120.76	c |    476161 |     636    62548   268903 |   120413   108742     24 |  0.000 % |
1134.39/1134.35	c |    480151 |     636    62548   268903 |   112581    94698     24 |  0.000 % |
1146.59/1146.55	c |    484537 |     636    62548   268903 |   112581    99084     24 |  0.000 % |
1146.79/1146.75	c |    484640 |     636    62548   268903 |   112581    99187     24 |  0.000 % |
1146.89/1146.89	c |    484752 |     636    62548   268903 |   112581    99299     24 |  0.000 % |
1147.09/1147.07	c |    484873 |     636    62548   268903 |   112581    99420     24 |  0.031 % |
1147.29/1147.27	c |    485007 |     636    62548   268903 |   112581    99554     24 |  0.000 % |
1147.89/1147.83	c |    485153 |     636    62548   268903 |   112581    99700     24 |  0.000 % |
1148.39/1148.42	c |    485313 |     636    62548   268903 |   112581    99860     24 |  0.000 % |
1149.09/1149.06	c |    485490 |     636    62548   268903 |   112581   100037     24 |  0.000 % |
1149.79/1149.80	c |    485686 |     636    62548   268903 |   112581   100233     24 |  0.000 % |
1150.79/1150.76	c |    485899 |     636    62548   268903 |   112581   100446     24 |  0.000 % |
1151.59/1151.56	c |    486132 |     636    62548   268903 |   112581   100679     24 |  0.000 % |
1151.89/1151.86	c |    486388 |     636    62548   268903 |   112581   100935     24 |  0.000 % |
1152.29/1152.21	c |    486677 |     636    62548   268903 |   112581   101224     24 |  0.000 % |
1152.69/1152.64	c |    486986 |     636    62548   268903 |   112581   101533     24 |  0.000 % |
1153.09/1153.09	c |    487325 |     636    62548   268903 |   112581   101872     24 |  0.000 % |
1153.59/1153.61	c |    487701 |     636    62548   268903 |   112581   102248     24 |  0.000 % |
1154.19/1154.21	c |    488110 |     636    62548   268903 |   112581   102657     24 |  0.000 % |
1155.49/1155.42	c |    488559 |     636    62548   268903 |   112581   103106     24 |  0.000 % |
1157.39/1157.40	c |    489056 |     636    62548   268903 |   112581   103603     24 |  0.000 % |
1159.79/1159.72	c |    489598 |     636    62548   268903 |   112581   104145     24 |  0.000 % |
1162.59/1162.58	c |    490194 |     636    62548   268903 |   104549    93069     24 |  0.000 % |
1164.89/1164.89	c |    490851 |     636    62548   268903 |   104549    93726     24 |  0.000 % |
1166.79/1166.74	c |    491574 |     636    62548   268903 |   104549    94449     24 |  0.000 % |
1169.40/1169.37	c |    492366 |     636    62548   268903 |   104549    95241     24 |  0.000 % |
1171.69/1171.66	c |    493238 |     636    62548   268903 |   104549    96113     24 |  0.000 % |
1174.09/1174.07	c |    494196 |     636    62548   268903 |   104549    97071     24 |  0.000 % |
1177.39/1177.34	c |    495251 |     636    62548   268903 |   104549    98126     24 |  0.000 % |
1179.49/1179.44	c |    496409 |     636    62548   268903 |   104549    99284     24 |  0.000 % |
1181.19/1181.13	c |    497682 |     636    62548   268903 |   104549   100557     24 |  0.002 % |
1185.40/1185.39	c |    499082 |     636    62548   268903 |   104549   101957     24 |  0.000 % |
1191.00/1190.92	c |    500624 |     636    62548   268903 | 2147483647   103499     24 |  0.000 % |
1197.00/1196.96	c |    502318 |     636    62548   268903 | 2147483647   105193     24 |  0.000 % |
1200.00/1199.93	HOME/SatELiteGTI: line 36: 19319 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) R 19128 19130 15108 0 -1 4194304 355 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104540 3085617012 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=2416 CPUtime=0
/proc/19134/stat : 19134 (SatELiteGTI) R 19130 19130 15108 0 -1 4194368 65 0 0 0 0 0 0 0 25 0 1 0 1020803975 2473984 95 4294967295 134512640 135169312 3213106064 3213104692 3085617642 0 0 0 0 0 0 0 17 2 0 0 0
/proc/19134/statm: 0 0 0 0 0 0 0

[startup+0.095689 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104600 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=5948 CPUtime=0.09
/proc/19134/stat : 19134 (SatELite_releas) R 19130 19130 15108 0 -1 4202496 1414 0 0 0 7 2 0 0 25 0 1 0 1020803975 6090752 1350 4294967295 134512640 135223648 3218622656 3218620656 134548955 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19134/statm: 1487 1350 73 174 0 1312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8364

[startup+0.105689 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104600 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=6080 CPUtime=0.1
/proc/19134/stat : 19134 (SatELite_releas) R 19130 19130 15108 0 -1 4202496 1438 0 0 0 8 2 0 0 25 0 1 0 1020803975 6225920 1374 4294967295 134512640 135223648 3218622656 3218620392 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19134/statm: 1520 1374 73 174 0 1345 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8496

[startup+0.305677 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104600 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=7944 CPUtime=0.3
/proc/19134/stat : 19134 (SatELite_releas) R 19130 19130 15108 0 -1 4202496 1837 0 0 0 27 3 0 0 25 0 1 0 1020803975 8134656 1773 4294967295 134512640 135223648 3218622656 3218620752 134585553 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19134/statm: 1986 1773 73 174 0 1811 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10360

[startup+0.705641 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 19130
/proc/meminfo: memFree=859112/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2416 CPUtime=0
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1020803974 2473984 277 4294967295 134512640 135169312 3213106064 3213104600 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 604 277 235 161 0 43 0
[pid=19134] ppid=19130 vsize=7380 CPUtime=0.7
/proc/19134/stat : 19134 (SatELite_releas) R 19130 19130 15108 0 -1 4202496 1840 0 0 0 67 3 0 0 25 0 1 0 1020803975 7557120 1651 4294967295 134512640 135223648 3218622656 3218619460 134823462 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19134/statm: 1845 1651 74 174 0 1670 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9796

[startup+1.50558 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19319
/proc/meminfo: memFree=853288/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=5352 CPUtime=0.79
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 1260 0 0 0 79 0 0 0 25 0 1 0 1020804045 5480448 1195 4294967295 134512640 135215339 3218518288 3218516576 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 1338 1195 73 172 0 1165 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7772

[startup+3.10546 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19319
/proc/meminfo: memFree=853164/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=5880 CPUtime=2.39
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 1372 0 0 0 239 0 0 0 25 0 1 0 1020804045 6021120 1307 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 1470 1307 73 172 0 1297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8300

[startup+6.31522 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19319
/proc/meminfo: memFree=852484/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=6672 CPUtime=5.6
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 1585 0 0 0 560 0 0 0 25 0 1 0 1020804045 6832128 1520 4294967295 134512640 135215339 3218518288 3218516576 134528849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 1668 1520 73 172 0 1495 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 9092

[startup+12.7147 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19320
/proc/meminfo: memFree=850968/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=8056 CPUtime=12
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 1935 0 0 0 1200 0 0 0 25 0 1 0 1020804045 8249344 1870 4294967295 134512640 135215339 3218518288 3218516576 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 2014 1870 73 172 0 1841 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10476

[startup+25.5137 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 19320
/proc/meminfo: memFree=848988/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=10228 CPUtime=24.8
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 2473 0 0 0 2478 2 0 0 25 0 1 0 1020804045 10473472 2408 4294967295 134512640 135215339 3218518288 3218516576 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 2557 2408 73 172 0 2384 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 12648

[startup+51.1218 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19324
/proc/meminfo: memFree=845912/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=13272 CPUtime=50.41
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 3224 0 0 0 5037 4 0 0 25 0 1 0 1020804045 13590528 3159 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 3318 3159 73 172 0 3145 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 15692

[startup+102.328 s]
/proc/loadavg: 1.04 1.02 1.00 3/93 19509
/proc/meminfo: memFree=841100/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=18068 CPUtime=101.62
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 4381 0 0 0 10158 4 0 0 25 0 1 0 1020804045 18501632 4316 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 4517 4316 73 172 0 4344 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 20488

[startup+162.323 s]
/proc/loadavg: 1.08 1.04 1.01 3/93 19698
/proc/meminfo: memFree=836248/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=22916 CPUtime=161.62
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 5532 0 0 0 16156 6 0 0 25 0 1 0 1020804045 23465984 5467 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 5729 5467 73 172 0 5556 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 25336

[startup+222.309 s]
/proc/loadavg: 1.14 1.07 1.02 2/93 19886
/proc/meminfo: memFree=832736/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=26448 CPUtime=221.61
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 6365 0 0 0 22155 6 0 0 25 0 1 0 1020804045 27082752 6292 4294967295 134512640 135215339 3218518288 3218516576 134528630 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19319/statm: 6612 6292 73 172 0 6439 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 28868

[startup+282.314 s]
/proc/loadavg: 1.05 1.06 1.01 2/93 20074
/proc/meminfo: memFree=832884/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=26448 CPUtime=281.62
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 6387 0 0 0 28154 8 0 0 25 0 1 0 1020804045 27082752 6314 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 6612 6314 73 172 0 6439 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 28868

[startup+342.309 s]
/proc/loadavg: 1.02 1.04 1.00 3/93 20266
/proc/meminfo: memFree=832720/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=26620 CPUtime=341.62
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 6414 0 0 0 34154 8 0 0 25 0 1 0 1020804045 27258880 6341 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 6655 6341 73 172 0 6482 0
Current children cumulated CPU time (s) 342.32

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

/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=29488 CPUtime=521.64
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7078 0 0 0 52156 8 0 0 25 0 1 0 1020804045 30195712 6961 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 7372 6961 73 172 0 7199 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 31908

[startup+582.311 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 21019
/proc/meminfo: memFree=830792/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=29488 CPUtime=581.64
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7079 0 0 0 58156 8 0 0 25 0 1 0 1020804045 30195712 6962 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 7372 6962 73 172 0 7199 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 31908

[startup+642.307 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 21207
/proc/meminfo: memFree=830520/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=29488 CPUtime=641.64
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7079 0 0 0 64156 8 0 0 25 0 1 0 1020804045 30195712 6962 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 7372 6962 73 172 0 7199 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 31908

[startup+702.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21393
/proc/meminfo: memFree=828560/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32060 CPUtime=701.65
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7610 0 0 0 70157 8 0 0 25 0 1 0 1020804045 32829440 7493 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8015 7493 73 172 0 7842 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 34480

[startup+762.327 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21586
/proc/meminfo: memFree=828428/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32060 CPUtime=761.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7611 0 0 0 76159 8 0 0 25 0 1 0 1020804045 32829440 7494 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8015 7494 73 172 0 7842 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 34480

[startup+822.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21774
/proc/meminfo: memFree=828444/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32060 CPUtime=821.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7611 0 0 0 82159 8 0 0 25 0 1 0 1020804045 32829440 7494 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8015 7494 73 172 0 7842 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 34480

[startup+882.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21962
/proc/meminfo: memFree=828452/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32060 CPUtime=881.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7611 0 0 0 88159 8 0 0 25 0 1 0 1020804045 32829440 7494 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8015 7494 73 172 0 7842 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 34480

[startup+942.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22150
/proc/meminfo: memFree=828304/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=32220 CPUtime=941.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 7626 0 0 0 94159 8 0 0 25 0 1 0 1020804045 32993280 7509 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8055 7509 73 172 0 7882 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 34640

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22336
/proc/meminfo: memFree=826716/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34312 CPUtime=1001.67
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8034 0 0 0 100158 9 0 0 25 0 1 0 1020804045 35135488 7909 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8578 7909 73 172 0 8405 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 36732

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22525
/proc/meminfo: memFree=826460/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1061.68
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8083 0 0 0 106159 9 0 0 25 0 1 0 1020804045 35303424 7958 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7958 73 172 0 8446 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 36896

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 22717
/proc/meminfo: memFree=826708/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1121.69
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8088 0 0 0 112160 9 0 0 25 0 1 0 1020804045 35303424 7963 4294967295 134512640 135215339 3218518288 3218516576 134528811 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7963 73 172 0 8446 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 36896

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22905
/proc/meminfo: memFree=826716/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1181.69
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8088 0 0 0 118160 9 0 0 25 0 1 0 1020804045 35303424 7963 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7963 73 172 0 8446 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 36896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22906
/proc/meminfo: memFree=826584/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1199.3
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8088 0 0 0 119921 9 0 0 25 0 1 0 1020804045 35303424 7963 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7963 73 172 0 8446 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 36896

Sending SIGTERM to process tree (bottom up)

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

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 22906
/proc/meminfo: memFree=826584/2074464 swapFree=1952056/1959888
[pid=19130] ppid=19128 vsize=2420 CPUtime=0.7
/proc/19130/stat : 19130 (SatELiteGTI) S 19128 19130 15108 0 -1 4194304 387 2488 0 0 0 0 67 3 18 0 1 0 1020803974 2478080 278 4294967295 134512640 135169312 3213106064 3213102280 3085614830 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19130/statm: 605 278 235 161 0 44 0
[pid=19319] ppid=19130 vsize=34476 CPUtime=1199.3
/proc/19319/stat : 19319 (minisat_static) R 19130 19130 15108 0 -1 4202496 8088 0 0 0 119921 9 0 0 25 0 1 0 1020804045 35303424 7963 4294967295 134512640 135215339 3218518288 3218516576 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19319/statm: 8619 7963 73 172 0 8446 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 36896

Child status: 143
Real time (s): 1199.93
CPU time (s): 1200
CPU user time (s): 1199.88
CPU system time (s): 0.12
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 36896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 2325

runsolver used 0 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi24 at 2009-05-17 14:24:19
IDJOB=1821772
IDBENCH=71086
IDSOLVER=657
FILE ID=tipi24/1821772-1242563059
PBS_JOBID=
Free space on /tmp= 9643 MiB

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

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

MD5SUM BENCH= a30111c778b4a83ebe950f77b63a1b33
RANDOM SEED= 1726596843

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        859020 kB
Buffers:         53160 kB
Cached:        1045780 kB
SwapCached:       3828 kB
Active:         313580 kB
Inactive:       794892 kB
HighTotal:     1178688 kB
HighFree:       212964 kB
LowTotal:       895776 kB
LowFree:        646056 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:            2656 kB
Writeback:           0 kB
AnonPages:        9004 kB
Mapped:           3360 kB
Slab:            97276 kB
PageTables:        568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87800 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9643 MiB
End job on tipi24 at 2009-05-17 14:44:19