Trace number 1821382

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-18UNSAT 544.22 544.187

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
MD5SUMe7c28f6a200a1c1912fbaacfb3572515
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark538.04
Satisfiable
(Un)Satisfiability was proved
Number of variables34656
Number of clauses174528
Sum of the clauses size503708
Maximum clause length9
Minimum clause length1
Number of clauses of size 14424
Number of clauses of size 242805
Number of clauses of size 3103458
Number of clauses of size 416481
Number of clauses of size 57216
Number of clauses of size over 5144

Solver Data

0.00/0.00	c Parsing...
0.12/0.15	c ==============================================================================
0.12/0.15	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.15	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.15	c ==============================================================================
0.12/0.15	c |         0 |  163622   479140 |   49086       0        0     nan |  0.000 % |
1.22/1.26	c |         0 |   73221   247132 |      --       0       --      -- |     --   | -84687/-214858
1.22/1.26	c ==============================================================================
1.22/1.26	c Result  :   #vars: 8333   #clauses: 73221   #literals: 247132
1.22/1.26	c CPU time:   1.22 s
1.22/1.26	c ==============================================================================
1.32/1.35	c This is MiniSat 2.0 beta
1.32/1.35	c WARNING: for repeatability, setting FPU to use double precision
1.32/1.35	c ============================[ Problem Statistics ]=============================
1.32/1.35	c |                                                                             |
1.32/1.35	c |  Number of variables:  8333                                                 |
1.32/1.35	c |  Number of clauses:    73221                                                |
1.32/1.40	c |  Parsing time:         0.03         s                                       |
1.32/1.40	c ============================[ Search Statistics ]==============================
1.32/1.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.32/1.40	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.32/1.40	c ===============================================================================
1.32/1.40	c |         0 |    8333    73221   247132 |    24407        0    nan |  0.000 % |
1.32/1.40	c |       100 |    8332    73221   247132 |    24407       99      8 |  0.012 % |
1.36/1.41	c |       201 |    8330    73221   247132 |    24407      199      9 |  0.036 % |
1.36/1.42	c |       302 |    8330    73221   247132 |    24407      300      9 |  0.036 % |
1.36/1.42	c |       412 |    8330    73221   247132 |    24407      410     10 |  0.036 % |
1.36/1.43	c |       512 |    8330    73221   247132 |    24407      510     10 |  0.036 % |
1.36/1.43	c |       622 |    8330    73221   247132 |    24407      620     10 |  0.036 % |
1.36/1.44	c |       744 |    8330    73221   247132 |    24407      742     11 |  0.036 % |
1.36/1.44	c |       844 |    8330    73221   247132 |    24407      842     11 |  0.036 % |
1.36/1.45	c |       955 |    8330    73221   247132 |    24407      953     11 |  0.036 % |
1.36/1.46	c |      1077 |    8330    73221   247132 |    24407     1075     11 |  0.036 % |
1.36/1.47	c |      1210 |    8330    73221   247132 |    24407     1208     11 |  0.036 % |
1.36/1.47	c |      1310 |    8330    73221   247132 |    24407     1308     12 |  0.036 % |
1.36/1.48	c |      1421 |    8330    73221   247132 |    24407     1419     12 |  0.036 % |
1.36/1.49	c |      1543 |    8330    73221   247132 |    24407     1541     12 |  0.036 % |
1.36/1.50	c |      1676 |    8330    73221   247132 |    24407     1674     12 |  0.036 % |
1.36/1.51	c |      1822 |    8330    73221   247132 |    24407     1820     12 |  0.036 % |
1.36/1.52	c |      1922 |    8330    73221   247132 |    24407     1920     12 |  0.036 % |
1.36/1.52	c |      2034 |    8330    73221   247132 |    24407     2032     12 |  0.036 % |
1.36/1.53	c |      2156 |    8330    73221   247132 |    24407     2154     12 |  0.036 % |
1.36/1.54	c |      2289 |    8330    72780   244975 |    24407     2286     12 |  0.036 % |
1.36/1.55	c |      2436 |    8330    72780   244975 |    24407     2433     12 |  0.036 % |
1.36/1.56	c |      2599 |    8330    72780   244975 |    24407     2596     12 |  0.036 % |
1.36/1.57	c |      2700 |    8330    72780   244975 |    24407     2697     12 |  0.036 % |
1.36/1.57	c |      2810 |    8330    72780   244975 |    24407     2807     12 |  0.036 % |
1.36/1.58	c |      2932 |    8330    72780   244975 |    24407     2929     12 |  0.036 % |
1.36/1.59	c |      3065 |    8330    72780   244975 |    24407     3062     13 |  0.036 % |
1.36/1.60	c |      3212 |    8330    72780   244975 |    24407     3209     13 |  0.036 % |
1.36/1.61	c |      3372 |    8330    72780   244975 |    24407     3369     12 |  0.036 % |
1.36/1.62	c |      3548 |    8330    72780   244975 |    24407     3545     13 |  0.036 % |
1.36/1.63	c |      3649 |    8330    72780   244975 |    24407     3646     13 |  0.036 % |
1.36/1.64	c |      3759 |    8330    72780   244975 |    24407     3756     13 |  0.036 % |
1.36/1.65	c |      3882 |    8330    72780   244975 |    24407     3879     13 |  0.036 % |
1.36/1.66	c |      4015 |    8330    72780   244975 |    24407     4012     13 |  0.036 % |
1.36/1.67	c |      4163 |    8330    72780   244975 |    24407     4160     13 |  0.036 % |
1.36/1.68	c |      4323 |    8330    72780   244975 |    24407     4320     13 |  0.036 % |
1.36/1.70	c |      4499 |    8330    72780   244975 |    24407     4496     13 |  0.036 % |
1.36/1.71	c |      4695 |    8330    72780   244975 |    24407     4692     13 |  0.036 % |
1.36/1.72	c |      4796 |    8330    72780   244975 |    24407     4793     13 |  0.036 % |
1.36/1.73	c |      4907 |    8330    72780   244975 |    24407     4904     13 |  0.036 % |
1.36/1.73	c |      5028 |    8330    72780   244975 |    24407     5025     13 |  0.036 % |
1.36/1.74	c |      5161 |    8330    72780   244975 |    24407     5158     13 |  0.036 % |
1.36/1.75	c |      5307 |    8330    72780   244975 |    24407     5304     13 |  0.036 % |
1.36/1.76	c |      5467 |    8330    72780   244975 |    24407     5464     13 |  0.036 % |
1.36/1.78	c |      5644 |    8330    72780   244975 |    24407     5641     13 |  0.036 % |
1.36/1.79	c |      5837 |    8330    72780   244975 |    24407     5834     13 |  0.036 % |
1.36/1.80	c |      6051 |    8330    72780   244975 |    24407     6048     13 |  0.036 % |
1.36/1.81	c |      6151 |    8330    72780   244975 |    24407     6148     13 |  0.036 % |
1.36/1.82	c |      6262 |    8330    72780   244975 |    24407     6259     13 |  0.036 % |
1.36/1.83	c |      6383 |    8330    72780   244975 |    24407     6380     13 |  0.036 % |
1.36/1.84	c |      6516 |    8330    72780   244975 |    24407     6513     13 |  0.036 % |
1.36/1.85	c |      6665 |    8330    72780   244975 |    24407     6662     13 |  0.036 % |
1.36/1.86	c |      6825 |    8330    72780   244975 |    24407     6822     13 |  0.036 % |
1.36/1.87	c |      7001 |    8330    72780   244975 |    24407     6998     13 |  0.036 % |
1.36/1.89	c |      7194 |    8330    72780   244975 |    24407     7191     13 |  0.036 % |
1.36/1.90	c |      7406 |    8330    72780   244975 |    24407     7403     14 |  0.036 % |
1.36/1.91	c |      7642 |    8330    72780   244975 |    24407     7639     13 |  0.036 % |
1.36/1.92	c |      7744 |    8330    72780   244975 |    24407     7741     13 |  0.036 % |
1.36/1.93	c |      7854 |    8330    72780   244975 |    24407     7851     13 |  0.036 % |
1.36/1.94	c |      7975 |    8330    72780   244975 |    24407     7972     13 |  0.036 % |
1.36/1.95	c |      8109 |    8330    72780   244975 |    24407     8106     13 |  0.036 % |
1.36/1.96	c |      8256 |    8330    72780   244975 |    24407     8253     13 |  0.036 % |
1.36/1.97	c |      8417 |    8330    72780   244975 |    24407     8414     13 |  0.036 % |
1.36/1.98	c |      8593 |    8330    72780   244975 |    24407     8590     13 |  0.036 % |
1.36/1.99	c |      8786 |    8330    72780   244975 |    24407     8783     13 |  0.036 % |
1.36/2.01	c |      8999 |    8330    72780   244975 |    24407     8996     14 |  0.036 % |
1.36/2.03	c |      9232 |    8330    72780   244975 |    24407     9229     14 |  0.036 % |
1.36/2.04	c |      9490 |    8330    72780   244975 |    24407     9487     14 |  0.036 % |
1.36/2.05	c |      9592 |    8330    72780   244975 |    24407     9589     14 |  0.036 % |
1.36/2.06	c |      9703 |    8330    72780   244975 |    24407     9700     14 |  0.036 % |
1.36/2.07	c |      9828 |    8330    72780   244975 |    24407     9825     14 |  0.036 % |
1.36/2.08	c |      9962 |    8330    72780   244975 |    24407     9959     14 |  0.036 % |
1.36/2.09	c |     10112 |    8330    72780   244975 | 2147483647    10109     14 |  0.036 % |
2.12/2.11	c |     10273 |    8330    72780   244975 | 2147483647    10270     14 |  0.036 % |
2.12/2.12	c |     10449 |    8330    72780   244975 | 2147483647    10446     14 |  0.036 % |
2.12/2.14	c |     10642 |    8330    72780   244975 | 2147483647    10639     14 |  0.036 % |
2.12/2.16	c |     10855 |    8330    72780   244975 | 2147483647    10852     14 |  0.036 % |
2.12/2.18	c |     11090 |    8330    72780   244975 | 2147483647    11087     14 |  0.036 % |
2.12/2.20	c |     11347 |    8330    72780   244975 | 2147483647    11344     14 |  0.036 % |
2.22/2.22	c |     11628 |    8330    72780   244975 | 2147483647    11625     14 |  0.036 % |
2.22/2.24	c |     11729 |    8330    72780   244975 | 2147483647    11726     14 |  0.036 % |
2.22/2.24	c |     11840 |    8330    72780   244975 | 2147483647    11837     14 |  0.036 % |
2.22/2.25	c |     11962 |    8330    72780   244975 | 2147483647    11959     14 |  0.036 % |
2.22/2.27	c |     12095 |    8330    72780   244975 | 2147483647    12092     14 |  0.036 % |
2.22/2.29	c |     12243 |    8330    72780   244975 | 2147483647    12240     14 |  0.036 % |
2.22/2.30	c |     12403 |    8330    72780   244975 | 2147483647    12400     14 |  0.036 % |
2.32/2.31	c |     12580 |    8330    72780   244975 | 2147483647    12577     14 |  0.036 % |
2.32/2.33	c |     12774 |    8330    72780   244975 | 2147483647    12771     14 |  0.036 % |
2.32/2.35	c |     12986 |    8330    72780   244975 | 2147483647    12983     14 |  0.036 % |
2.32/2.38	c |     13219 |    8330    72780   244975 | 2147483647    13216     14 |  0.036 % |
2.32/2.40	c |     13477 |    8330    72780   244975 | 2147483647    13474     14 |  0.036 % |
2.42/2.43	c |     13758 |    8330    72780   244975 | 2147483647    13755     14 |  0.036 % |
2.42/2.46	c |     14067 |    8330    72780   244975 | 2147483647    14064     14 |  0.036 % |
2.42/2.48	c |     14168 |    8330    72780   244975 | 2147483647    14165     14 |  0.036 % |
2.42/2.49	c |     14280 |    8330    72780   244975 | 2147483647    14277     14 |  0.036 % |
2.42/2.51	c |     14401 |    8330    72780   244975 | 2147483647    14398     14 |  0.036 % |
2.52/2.52	c |     14534 |    8330    72780   244975 | 2147483647    14531     15 |  0.036 % |
2.52/2.54	c |     14680 |    8330    72780   244975 | 2147483647    14677     15 |  0.036 % |
2.52/2.55	c |     14843 |    8330    72780   244975 | 2147483647    14840     15 |  0.036 % |
2.52/2.56	c |     15020 |    8330    72780   244975 | 2147483647    15017     15 |  0.036 % |
2.52/2.58	c |     15216 |    8330    72780   244975 | 2147483647    15213     15 |  0.036 % |
2.52/2.59	c |     15429 |    8330    72780   244975 | 2147483647    15426     15 |  0.036 % |
2.62/2.61	c |     15662 |    8330    72780   244975 | 2147483647    15659     15 |  0.036 % |
2.62/2.62	c |     15919 |    8330    72780   244975 | 2147483647    15916     15 |  0.036 % |
2.62/2.64	c |     16201 |    8330    72780   244975 | 2147483647    16198     14 |  0.036 % |
2.62/2.66	c |     16510 |    8330    72780   244975 | 2147483647    16507     14 |  0.036 % |
2.62/2.68	c |     16850 |    8330    72780   244975 | 2147483647    16847     14 |  0.036 % |
2.62/2.69	c |     16951 |    8330    72780   244975 | 2147483647    16948     14 |  0.036 % |
2.62/2.70	c |     17062 |    8330    72780   244975 | 2147483647    17059     14 |  0.036 % |
2.62/2.71	c |     17184 |    8330    72780   244975 | 2147483647    17181     14 |  0.036 % |
2.72/2.72	c |     17319 |    8330    72780   244975 | 2147483647    17316     14 |  0.036 % |
2.72/2.72	c |     17466 |    8330    72780   244975 | 2147483647    17463     14 |  0.036 % |
2.72/2.74	c |     17628 |    8330    72780   244975 | 2147483647    17625     14 |  0.036 % |
2.72/2.76	c |     17804 |    8330    72780   244975 | 2147483647    17801     14 |  0.036 % |
2.72/2.77	c |     17997 |    8330    72780   244975 | 2147483647    17994     14 |  0.036 % |
2.72/2.79	c |     18209 |    8330    72780   244975 | 2147483647    18206     14 |  0.036 % |
2.82/2.82	c |     18443 |    8330    72780   244975 | 2147483647    18440     15 |  0.036 % |
2.82/2.84	c |     18699 |    8330    72780   244975 | 2147483647    18696     15 |  0.036 % |
2.82/2.87	c |     18980 |    8330    72780   244975 | 2147483647    18977     15 |  0.036 % |
2.82/2.90	c |     19289 |    8330    72780   244975 | 2147483647    19286     15 |  0.036 % |
2.92/2.95	c |     19630 |    8330    72780   244975 | 2147483647    19627     15 |  0.036 % |
2.92/2.98	c |     20003 |    8330    72780   244975 | 2147483647    20000     15 |  0.036 % |
2.92/2.99	c |     20104 |    8330    72780   244975 | 2147483647    20101     15 |  0.036 % |
2.92/3.00	c |     20214 |    8330    72780   244975 | 2147483647    20211     15 |  0.036 % |
3.02/3.01	c |     20335 |    8330    72780   244975 | 2147483647    20332     15 |  0.036 % |
3.02/3.03	c |     20468 |    8330    72780   244975 | 2147483647    20465     15 |  0.036 % |
3.02/3.04	c |     20614 |    8330    72780   244975 | 2147483647    20611     15 |  0.036 % |
3.02/3.06	c |     20774 |    8330    72780   244975 | 2147483647    20771     15 |  0.036 % |
3.02/3.08	c |     20950 |    8330    72780   244975 | 2147483647    20947     15 |  0.036 % |
3.02/3.10	c |     21144 |    8330    72780   244975 | 2147483647    21141     15 |  0.036 % |
3.12/3.13	c |     21356 |    8330    72780   244975 | 2147483647    21353     15 |  0.036 % |
3.12/3.15	c |     21590 |    8330    72780   244975 | 2147483647    21587     15 |  0.036 % |
3.12/3.18	c |     21846 |    8330    72780   244975 | 2147483647    21843     15 |  0.036 % |
3.22/3.22	c |     22128 |    8330    72780   244975 | 2147483647    22125     15 |  0.036 % |
3.22/3.25	c |     22438 |    8330    72780   244975 | 2147483647    22435     15 |  0.036 % |
3.22/3.29	c |     22777 |    8330    72780   244975 | 2147483647    22774     15 |  0.036 % |
3.32/3.34	c |     23149 |    8330    72780   244975 | 2147483647    23146     15 |  0.036 % |
3.32/3.39	c |     23559 |    8330    72780   244975 | 2147483647    23556     15 |  0.036 % |
3.32/3.40	c |     23660 |    8330    72780   244975 | 2147483647    23657     15 |  0.036 % |
3.42/3.42	c |     23770 |    8330    72780   244975 | 2147483647    23767     15 |  0.036 % |
3.42/3.43	c |     23891 |    8330    72780   244975 | 2147483647    23888     15 |  0.036 % |
3.42/3.45	c |     24024 |    8330    72780   244975 | 2147483647    24021     15 |  0.036 % |
3.42/3.47	c |     24171 |    8330    72780   244975 | 2147483647    24168     15 |  0.036 % |
3.42/3.49	c |     24332 |    8330    72780   244975 | 2147483647    24329     15 |  0.036 % |
3.52/3.51	c |     24508 |    8330    72780   244975 | 2147483647    24505     15 |  0.036 % |
3.52/3.53	c |     24701 |    8330    72780   244975 | 2147483647    24698     15 |  0.036 % |
3.52/3.56	c |     24913 |    8330    72780   244975 | 2147483647    24910     15 |  0.036 % |
3.52/3.59	c |     25146 |    8330    72780   244975 | 2147483647    25143     15 |  0.036 % |
3.62/3.62	c |     25402 |    8330    72780   244975 | 2147483647    25399     15 |  0.036 % |
3.62/3.65	c |     25683 |    8330    72780   244975 | 2147483647    25680     15 |  0.036 % |
3.62/3.70	c |     25992 |    8330    72780   244975 | 2147483647    25989     15 |  0.036 % |
3.72/3.74	c |     26332 |    8330    72780   244975 | 2147483647    26329     15 |  0.036 % |
3.72/3.79	c |     26706 |    8330    72780   244975 | 2147483647    26703     15 |  0.036 % |
3.82/3.85	c |     27115 |    8330    72780   244975 | 2147483647    27112     15 |  0.036 % |
3.82/3.90	c |     27566 |    8330    72780   244975 | 2147483647    27563     15 |  0.036 % |
3.92/3.92	c |     27667 |    8330    72780   244975 | 2147483647    27664     15 |  0.036 % |
3.92/3.94	c |     27777 |    8330    72780   244975 | 2147483647    27774     15 |  0.036 % |
3.92/3.95	c |     27898 |    8330    72780   244975 | 2147483647    27895     15 |  0.036 % |
3.92/3.97	c |     28031 |    8330    72780   244975 | 2147483647    28028     15 |  0.036 % |
3.92/3.99	c |     28177 |    8330    72780   244975 | 2147483647    28174     15 |  0.036 % |
4.02/4.02	c |     28338 |    8330    72780   244975 | 2147483647    28335     15 |  0.036 % |
4.02/4.04	c |     28515 |    8330    72780   244975 | 2147483647    28512     15 |  0.036 % |
4.02/4.07	c |     28709 |    8330    72780   244975 | 2147483647    28706     15 |  0.036 % |
4.02/4.10	c |     28923 |    8330    72780   244975 | 2147483647    28920     15 |  0.036 % |
4.12/4.12	c |     29156 |    8330    72780   244975 | 2147483647    29153     15 |  0.036 % |
4.12/4.16	c |     29412 |    8330    72780   244975 | 2147483647    29409     15 |  0.036 % |
4.12/4.20	c |     29694 |    8330    72780   244975 | 2147483647    29691     15 |  0.036 % |
4.22/4.25	c |     30006 |    8330    72780   244975 | 2147483647    30003     15 |  0.036 % |
4.22/4.30	c |     30346 |    8330    72780   244975 | 2147483647    30343     15 |  0.036 % |
4.32/4.34	c |     30718 |    8330    72780   244975 | 2147483647    30715     15 |  0.036 % |
4.32/4.40	c |     31127 |    8330    72780   244975 | 2147483647    31124     15 |  0.036 % |
4.42/4.46	c |     31577 |    8330    72780   244975 | 2147483647    31574     16 |  0.036 % |
4.52/4.51	c |     32071 |    8330    72780   244975 | 2147483647    32068     16 |  0.036 % |
4.52/4.53	c |     32171 |    8330    72780   244975 | 2147483647    32168     16 |  0.036 % |
4.52/4.54	c |     32281 |    8330    72780   244975 | 2147483647    32278     15 |  0.036 % |
4.52/4.55	c |     32402 |    8330    72780   244975 | 2147483647    32399     15 |  0.036 % |
4.52/4.57	c |     32537 |    8330    72780   244975 | 2147483647    32534     15 |  0.036 % |
4.52/4.58	c |     32685 |    8330    72780   244975 | 2147483647    32682     15 |  0.036 % |
4.52/4.60	c |     32845 |    8330    72780   244975 | 2147483647    32842     15 |  0.036 % |
4.62/4.61	c |     33021 |    8330    72780   244975 | 2147483647    33018     15 |  0.036 % |
4.62/4.64	c |     33214 |    8330    72780   244975 | 2147483647    33211     15 |  0.036 % |
4.62/4.68	c |     33426 |    8330    72780   244975 | 2147483647    33423     15 |  0.036 % |
4.72/4.71	c |     33659 |    8330    72780   244975 | 2147483647    33656     15 |  0.036 % |
4.72/4.76	c |     33916 |    8330    72780   244975 | 2147483647    33913     15 |  0.036 % |
4.72/4.80	c |     34197 |    8330    72780   244975 | 2147483647    34194     15 |  0.036 % |
4.82/4.85	c |     34506 |    8330    72780   244975 | 2147483647    34503     16 |  0.036 % |
4.92/4.91	c |     34846 |    8330    72780   244975 | 2147483647    34843     16 |  0.036 % |
4.92/4.97	c |     35221 |    8330    72780   244975 | 2147483647    35218     16 |  0.036 % |
5.02/5.03	c |     35630 |    8330    72780   244975 | 2147483647    35627     16 |  0.036 % |
5.12/5.12	c |     36081 |    8330    72780   244975 | 2147483647    36078     16 |  0.036 % |
5.12/5.19	c |     36574 |    8330    72780   244975 | 2147483647    36571     16 |  0.036 % |
5.22/5.27	c |     37117 |    8330    72780   244975 | 2147483647    37114     16 |  0.036 % |
5.22/5.29	c |     37217 |    8330    72780   244975 | 2147483647    37214     16 |  0.036 % |
5.32/5.31	c |     37327 |    8330    72780   244975 | 2147483647    37324     16 |  0.036 % |
5.32/5.34	c |     37450 |    8330    72780   244975 | 2147483647    37447     16 |  0.036 % |
5.32/5.36	c |     37584 |    8330    72780   244975 | 2147483647    37581     16 |  0.036 % |
5.32/5.39	c |     37730 |    8330    72780   244975 | 2147483647    37727     16 |  0.036 % |
5.42/5.42	c |     37890 |    8330    72780   244975 | 2147483647    37887     16 |  0.036 % |
5.42/5.46	c |     38066 |    8330    72780   244975 | 2147483647    38063     16 |  0.036 % |
5.42/5.49	c |     38259 |    8330    72780   244975 | 2147483647    38256     16 |  0.036 % |
5.52/5.53	c |     38471 |    8330    72780   244975 | 2147483647    38468     16 |  0.036 % |
5.52/5.57	c |     38704 |    8330    72780   244975 | 2147483647    38701     16 |  0.036 % |
5.62/5.63	c |     38960 |    8330    72780   244975 | 2147483647    38957     16 |  0.036 % |
5.62/5.67	c |     39241 |    8330    72780   244975 | 2147483647    39238     16 |  0.036 % |
5.72/5.73	c |     39552 |    8330    72780   244975 | 2147483647    39549     16 |  0.036 % |
5.72/5.79	c |     39891 |    8330    72780   244975 | 2147483647    39888     16 |  0.036 % |
5.82/5.86	c |     40264 |    8330    72780   244975 | 2147483647    40261     16 |  0.036 % |
5.92/5.93	c |     40673 |    8330    72780   244975 | 2147483647    40670     16 |  0.036 % |
5.92/5.99	c |     41123 |    8330    72780   244975 | 2147483647    41120     16 |  0.036 % |
6.02/6.09	c |     41617 |    8330    72780   244975 | 2147483647    41614     16 |  0.036 % |
6.12/6.17	c |     42161 |    8330    72780   244975 | 2147483647    42158     16 |  0.036 % |
6.22/6.27	c |     42762 |    8330    72780   244975 | 2147483647    42759     16 |  0.036 % |
6.22/6.29	c |     42863 |    8330    72780   244975 | 2147483647    42860     16 |  0.036 % |
6.22/6.30	c |     42975 |    8330    72780   244975 | 2147483647    42972     16 |  0.036 % |
6.32/6.32	c |     43096 |    8330    72780   244975 | 2147483647    43093     16 |  0.036 % |
6.32/6.34	c |     43231 |    8330    72780   244975 | 2147483647    43228     16 |  0.036 % |
6.32/6.37	c |     43378 |    8330    72780   244975 | 2147483647    43375     16 |  0.036 % |
6.32/6.39	c |     43540 |    8330    72780   244975 | 2147483647    43537     16 |  0.036 % |
6.42/6.42	c |     43716 |    8330    72780   244975 | 2147483647    43713     16 |  0.036 % |
6.42/6.45	c |     43909 |    8330    72780   244975 | 2147483647    43906     16 |  0.036 % |
6.42/6.48	c |     44121 |    8330    72780   244975 | 2147483647    44118     16 |  0.036 % |
6.52/6.53	c |     44354 |    8330    72780   244975 | 2147483647    44351     16 |  0.036 % |
6.52/6.56	c |     44610 |    8330    72780   244975 | 2147483647    44607     16 |  0.036 % |
6.52/6.60	c |     44891 |    8330    72780   244975 | 2147483647    44888     16 |  0.036 % |
6.62/6.64	c |     45200 |    8330    72780   244975 | 2147483647    45197     16 |  0.036 % |
6.62/6.69	c |     45539 |    8330    72780   244975 | 2147483647    45536     16 |  0.036 % |
6.72/6.77	c |     45911 |    8330    72780   244975 | 2147483647    45908     16 |  0.036 % |
6.82/6.85	c |     46320 |    8330    72780   244975 | 2147483647    46317     16 |  0.036 % |
6.92/6.95	c |     46770 |    8330    72780   244975 | 2147483647    46767     16 |  0.036 % |
7.02/7.04	c |     47263 |    8330    72780   244975 | 2147483647    47260     16 |  0.036 % |
7.12/7.14	c |     47805 |    8330    72780   244975 | 2147483647    47802     16 |  0.036 % |
7.22/7.25	c |     48402 |    8330    72780   244975 | 2147483647    48399     16 |  0.036 % |
7.32/7.38	c |     49057 |    8330    72780   244975 | 2147483647    49054     16 |  0.036 % |
7.32/7.40	c |     49157 |    8330    72780   244975 | 2147483647    49154     16 |  0.036 % |
7.42/7.44	c |     49267 |    8330    72780   244975 | 2147483647    49264     16 |  0.036 % |
7.42/7.47	c |     49388 |    8330    72780   244975 | 2147483647    49385     16 |  0.036 % |
7.42/7.49	c |     49521 |    8330    72780   244975 | 2147483647    49518     16 |  0.036 % |
7.52/7.52	c |     49667 |    8330    72780   244975 | 2147483647    49664     16 |  0.036 % |
7.52/7.56	c |     49827 |    8330    72780   244975 | 2147483647    49824     16 |  0.036 % |
7.52/7.60	c |     50003 |    8330    72780   244975 | 2147483647    50000     16 |  0.036 % |
7.62/7.64	c |     50196 |    8330    72780   244975 | 2147483647    50193     16 |  0.036 % |
7.62/7.69	c |     50411 |    8330    72780   244975 | 2147483647    50408     16 |  0.036 % |
7.72/7.76	c |     50645 |    8330    72780   244975 | 2147483647    50642     16 |  0.036 % |
7.82/7.81	c |     50901 |    8330    72780   244975 | 2147483647    50898     16 |  0.036 % |
7.82/7.89	c |     51183 |    8330    72780   244975 | 2147483647    51180     16 |  0.036 % |
7.92/7.97	c |     51494 |    8330    72780   244975 | 2147483647    51491     17 |  0.036 % |
8.02/8.07	c |     51833 |    8330    72780   244975 | 2147483647    51830     16 |  0.036 % |
8.12/8.17	c |     52206 |    8330    72780   244975 | 2147483647    52203     17 |  0.036 % |
8.22/8.29	c |     52619 |    8330    72780   244975 | 2147483647    52616     17 |  0.036 % |
8.32/8.40	c |     53069 |    8330    72780   244975 | 2147483647    53066     17 |  0.036 % |
8.52/8.53	c |     53562 |    8330    72780   244975 | 2147483647    53559     17 |  0.036 % |
8.62/8.65	c |     54104 |    8330    72780   244975 | 2147483647    54101     17 |  0.036 % |
8.72/8.80	c |     54700 |    8330    72780   244975 | 2147483647    54697     17 |  0.036 % |
8.92/8.96	c |     55358 |    8330    72780   244975 | 2147483647    55355     17 |  0.036 % |
9.12/9.17	c |     56079 |    8330    72780   244975 | 2147483647    56076     17 |  0.036 % |
9.12/9.20	c |     56180 |    8330    72780   244975 | 2147483647    56177     17 |  0.036 % |
9.22/9.23	c |     56291 |    8330    72780   244975 | 2147483647    56288     17 |  0.036 % |
9.22/9.27	c |     56412 |    8330    72780   244975 | 2147483647    56409     17 |  0.036 % |
9.32/9.31	c |     56546 |    8330    72780   244975 | 2147483647    56543     17 |  0.036 % |
9.32/9.35	c |     56692 |    8330    72780   244975 | 2147483647    56689     17 |  0.036 % |
9.32/9.39	c |     56852 |    8330    72780   244975 | 2147483647    56849     17 |  0.036 % |
9.42/9.44	c |     57029 |    8330    72780   244975 | 2147483647    57026     17 |  0.036 % |
9.42/9.50	c |     57222 |    8330    72780   244975 | 2147483647    57219     17 |  0.036 % |
9.52/9.56	c |     57434 |    8330    72780   244975 | 2147483647    57431     17 |  0.036 % |
9.62/9.64	c |     57668 |    8330    72780   244975 | 2147483647    57665     17 |  0.036 % |
9.72/9.72	c |     57928 |    8330    72780   244975 | 2147483647    57925     17 |  0.036 % |
9.72/9.79	c |     58210 |    8330    72780   244975 | 2147483647    58207     17 |  0.036 % |
9.82/9.88	c |     58519 |    8330    72780   244975 | 2147483647    58516     17 |  0.036 % |
9.92/9.99	c |     58858 |    8330    72780   244975 | 2147483647    58855     17 |  0.036 % |
10.12/10.13	c |     59230 |    8330    72780   244975 | 2147483647    59227     17 |  0.036 % |
10.22/10.26	c |     59639 |    8330    72780   244975 | 2147483647    59636     17 |  0.036 % |
10.42/10.43	c |     60088 |    8330    72780   244975 | 2147483647    60085     17 |  0.036 % |
10.52/10.56	c |     60582 |    8330    72780   244975 | 2147483647    60579     17 |  0.036 % |
10.72/10.71	c |     61124 |    8330    72780   244975 | 2147483647    61121     17 |  0.036 % |
10.82/10.87	c |     61721 |    8330    72780   244975 | 2147483647    61718     17 |  0.036 % |
11.02/11.05	c |     62377 |    8330    72780   244975 | 2147483647    62374     17 |  0.036 % |
11.22/11.30	c |     63098 |    8330    72780   244975 | 2147483647    63095     17 |  0.036 % |
11.52/11.51	c |     63890 |    8330    72780   244975 | 2147483647    63887     17 |  0.036 % |
11.52/11.54	c |     63990 |    8330    72780   244975 | 2147483647    63987     17 |  0.036 % |
11.52/11.59	c |     64101 |    8330    72780   244975 | 2147483647    64098     17 |  0.036 % |
11.62/11.62	c |     64223 |    8330    72780   244975 | 2147483647    64220     17 |  0.036 % |
11.62/11.67	c |     64356 |    8330    72780   244975 | 2147483647    64353     17 |  0.036 % |
11.72/11.71	c |     64502 |    8330    72780   244975 | 2147483647    64499     17 |  0.036 % |
11.72/11.77	c |     64664 |    8330    72780   244975 | 2147483647    64661     17 |  0.036 % |
11.82/11.86	c |     64841 |    8330    72780   244975 | 2147483647    64838     17 |  0.036 % |
11.92/11.93	c |     65034 |    8330    72780   244975 | 2147483647    65031     17 |  0.036 % |
12.02/12.01	c |     65246 |    8330    72780   244975 | 2147483647    65243     17 |  0.036 % |
12.02/12.07	c |     65479 |    8330    72780   244975 | 2147483647    65476     17 |  0.036 % |
12.12/12.17	c |     65735 |    8330    72780   244975 | 2147483647    65732     17 |  0.036 % |
12.22/12.24	c |     66016 |    8330    72780   244975 | 2147483647    66013     17 |  0.036 % |
12.32/12.37	c |     66325 |    8330    72780   244975 | 2147483647    66322     17 |  0.036 % |
12.42/12.47	c |     66665 |    8330    72780   244975 | 2147483647    66662     17 |  0.036 % |
12.62/12.61	c |     67037 |    8330    72780   244975 | 2147483647    67034     17 |  0.036 % |
12.72/12.76	c |     67447 |    8330    72780   244975 | 2147483647    67444     17 |  0.036 % |
12.82/12.89	c |     67896 |    8330    72780   244975 | 2147483647    67893     17 |  0.036 % |
13.02/13.02	c |     68389 |    8330    72780   244975 | 2147483647    68386     17 |  0.036 % |
13.22/13.23	c |     68931 |    8330    72780   244975 | 2147483647    68928     17 |  0.036 % |
13.42/13.41	c |     69528 |    8330    72780   244975 | 2147483647    69525     18 |  0.036 % |
13.62/13.65	c |     70184 |    8330    72780   244975 | 2147483647    70181     18 |  0.036 % |
13.82/13.85	c |     70907 |    8330    72780   244975 | 2147483647    70904     18 |  0.036 % |
14.12/14.21	c |     71699 |    8330    72780   244975 | 2147483647    71696     18 |  0.036 % |
14.52/14.54	c |     72570 |    8330    72780   244975 | 2147483647    72567     18 |  0.036 % |
14.52/14.58	c |     72670 |    8330    72780   244975 | 2147483647    72667     18 |  0.036 % |
14.62/14.61	c |     72780 |    8330    72780   244975 | 2147483647    72777     18 |  0.036 % |
14.62/14.67	c |     72902 |    8330    72780   244975 | 2147483647    72899     18 |  0.036 % |
14.72/14.72	c |     73037 |    8330    72780   244975 | 2147483647    73034     18 |  0.036 % |
14.72/14.79	c |     73185 |    8330    72780   244975 | 2147483647    73182     18 |  0.036 % |
14.82/14.86	c |     73348 |    8330    72780   244975 | 2147483647    73345     18 |  0.036 % |
14.92/14.94	c |     73525 |    8330    72780   244975 | 2147483647    73522     18 |  0.036 % |
15.02/15.04	c |     73719 |    8330    72780   244975 | 2147483647    73716     18 |  0.036 % |
15.12/15.13	c |     73931 |    8330    72780   244975 | 2147483647    73928     18 |  0.036 % |
15.22/15.21	c |     74164 |    8330    72780   244975 | 2147483647    74161     18 |  0.036 % |
15.32/15.31	c |     74420 |    8330    72780   244975 | 2147483647    74417     18 |  0.036 % |
15.32/15.41	c |     74701 |    8330    72780   244975 | 2147483647    74698     18 |  0.036 % |
15.52/15.53	c |     75010 |    8330    72780   244975 | 2147483647    75007     18 |  0.036 % |
15.62/15.63	c |     75349 |    8330    72780   244975 | 2147483647    75346     18 |  0.036 % |
15.72/15.72	c |     75721 |    8330    72780   244975 | 2147483647    75718     18 |  0.036 % |
15.82/15.81	c |     76131 |    8330    72780   244975 | 2147483647    76128     18 |  0.036 % |
15.82/15.90	c |     76580 |    8330    72780   244975 | 2147483647    76577     18 |  0.036 % |
16.12/16.13	c |     77073 |    8330    72780   244975 | 2147483647    77070     18 |  0.036 % |
16.42/16.46	c |     77616 |    8330    72780   244975 | 2147483647    77613     18 |  0.036 % |
16.72/16.75	c |     78214 |    8330    72780   244975 | 2147483647    78211     18 |  0.036 % |
17.02/17.03	c |     78869 |    8330    72780   244975 | 2147483647    78866     18 |  0.036 % |
17.32/17.37	c |     79590 |    8330    72780   244975 | 2147483647    79587     18 |  0.036 % |
17.72/17.75	c |     80382 |    8330    72780   244975 | 2147483647    80379     18 |  0.036 % |
18.12/18.18	c |     81254 |    8330    72780   244975 | 2147483647    81251     18 |  0.036 % |
18.62/18.65	c |     82213 |    8330    72780   244975 | 2147483647    82210     18 |  0.036 % |
18.62/18.69	c |     82313 |    8330    72780   244975 | 2147483647    82310     18 |  0.036 % |
18.73/18.75	c |     82423 |    8330    72780   244975 | 2147483647    82420     18 |  0.036 % |
18.82/18.83	c |     82545 |    8330    72780   244975 | 2147483647    82542     18 |  0.036 % |
18.92/18.91	c |     82679 |    8330    72780   244975 | 2147483647    82676     18 |  0.036 % |
18.92/19.00	c |     82829 |    8330    72780   244975 | 2147483647    82826     18 |  0.036 % |
19.02/19.08	c |     82990 |    8330    72780   244975 | 2147483647    82987     18 |  0.036 % |
19.12/19.16	c |     83167 |    8330    72780   244975 | 2147483647    83164     18 |  0.036 % |
19.22/19.26	c |     83360 |    8330    72780   244975 | 2147483647    83357     18 |  0.036 % |
19.32/19.38	c |     83575 |    8330    72780   244975 | 2147483647    83572     18 |  0.036 % |
19.52/19.51	c |     83809 |    8330    72780   244975 | 2147483647    83806     18 |  0.036 % |
19.62/19.61	c |     84066 |    8330    72780   244975 | 2147483647    84063     18 |  0.036 % |
19.72/19.74	c |     84347 |    8330    72780   244975 | 2147483647    84344     18 |  0.036 % |
19.92/19.93	c |     84656 |    8330    72780   244975 | 2147483647    84653     18 |  0.036 % |
20.02/20.05	c |     84998 |    8330    72780   244975 | 2147483647    84995     18 |  0.036 % |
20.22/20.25	c |     85372 |    8330    72780   244975 | 2147483647    85369     18 |  0.036 % |
20.42/20.43	c |     85781 |    8330    72780   244975 | 2147483647    85778     18 |  0.036 % |
20.62/20.68	c |     86231 |    8330    72780   244975 | 2147483647    86228     18 |  0.036 % |
20.93/20.97	c |     86725 |    8330    72780   244975 | 2147483647    86722     18 |  0.036 % |
21.22/21.26	c |     87267 |    8330    72780   244975 | 2147483647    87264     18 |  0.036 % |
21.62/21.66	c |     87863 |    8330    72780   244975 | 2147483647    87860     18 |  0.036 % |
22.03/22.05	c |     88518 |    8330    72780   244975 | 2147483647    88515     18 |  0.036 % |
22.52/22.51	c |     89239 |    8330    72780   244975 | 2147483647    89236     18 |  0.036 % |
23.02/23.06	c |     90031 |    8330    72780   244975 | 2147483647    90028     18 |  0.036 % |
23.52/23.58	c |     90905 |    8330    72780   244975 | 2147483647    90902     18 |  0.036 % |
24.12/24.15	c |     91864 |    8330    72780   244975 | 2147483647    91861     18 |  0.036 % |
24.72/24.79	c |     92917 |    8328    72770   244952 | 2147483647    92913     18 |  0.060 % |
24.82/24.85	c |     93018 |    8328    72770   244952 | 2147483647    93014     18 |  0.060 % |
24.92/24.93	c |     93131 |    8328    72770   244952 | 2147483647    93127     18 |  0.060 % |
25.02/25.01	c |     93252 |    8328    72770   244952 | 2147483647    93248     18 |  0.060 % |
25.02/25.09	c |     93385 |    8328    72770   244952 | 2147483647    93381     18 |  0.060 % |
25.12/25.17	c |     93534 |    8328    72770   244952 | 2147483647    93530     18 |  0.060 % |
25.22/25.28	c |     93694 |    8328    72770   244952 | 2147483647    93690     18 |  0.060 % |
25.42/25.41	c |     93870 |    8328    72770   244952 | 2147483647    93866     18 |  0.060 % |
25.52/25.54	c |     94063 |    8328    72770   244952 | 2147483647    94059     18 |  0.060 % |
25.72/25.73	c |     94277 |    8328    72770   244952 | 2147483647    94273     18 |  0.060 % |
25.82/25.90	c |     94513 |    8328    72770   244952 | 2147483647    94509     18 |  0.060 % |
26.02/26.06	c |     94770 |    8328    72770   244952 | 2147483647    94766     18 |  0.060 % |
26.22/26.23	c |     95052 |    8328    72770   244952 | 2147483647    95048     18 |  0.060 % |
26.43/26.42	c |     95362 |    8328    72770   244952 | 2147483647    95358     18 |  0.060 % |
26.62/26.66	c |     95701 |    8328    72770   244952 | 2147483647    95697     18 |  0.060 % |
26.92/26.94	c |     96073 |    8328    72770   244952 | 2147483647    96069     18 |  0.060 % |
27.22/27.25	c |     96482 |    8328    72770   244952 | 2147483647    96478     18 |  0.060 % |
27.53/27.57	c |     96932 |    8328    72770   244952 | 2147483647    96928     18 |  0.060 % |
27.92/27.97	c |     97425 |    8328    72770   244952 | 2147483647    97421     18 |  0.060 % |
28.32/28.36	c |     97968 |    8328    72770   244952 | 2147483647    97964     18 |  0.060 % |
28.72/28.76	c |     98564 |    8328    72770   244952 | 2147483647    98560     18 |  0.060 % |
29.12/29.13	c |     99219 |    8328    72770   244952 | 2147483647    99215     18 |  0.060 % |
29.73/29.72	c |     99939 |    8328    72770   244952 | 2147483647    99935     18 |  0.060 % |
30.52/30.58	c |    100732 |    8328    72770   244952 |    99996    85642     19 |  0.060 % |
31.22/31.23	c |    101603 |    8328    72770   244952 |    99996    86513     19 |  0.060 % |
31.93/31.96	c |    102561 |    8328    72770   244952 |    99996    87471     19 |  0.060 % |
32.72/32.79	c |    103615 |    8328    72770   244952 |    99996    88525     19 |  0.060 % |
33.52/33.53	c |    104776 |    8328    72770   244952 |    99996    89686     19 |  0.060 % |
33.52/33.60	c |    104878 |    8328    72770   244952 |    99996    89788     19 |  0.060 % |
33.62/33.68	c |    104988 |    8328    72770   244952 |    99996    89898     19 |  0.060 % |
33.72/33.79	c |    105109 |    8328    72770   244952 |    99996    90019     19 |  0.060 % |
33.92/33.90	c |    105242 |    8328    72770   244952 |    99996    90152     19 |  0.060 % |
34.02/34.03	c |    105388 |    8328    72770   244952 |    99996    90298     19 |  0.060 % |
34.13/34.17	c |    105550 |    8328    72770   244952 |    99996    90460     19 |  0.060 % |
34.32/34.31	c |    105726 |    8328    72770   244952 |    99996    90636     19 |  0.060 % |
34.42/34.42	c |    105920 |    8328    72770   244952 |    99996    90830     19 |  0.060 % |
34.52/34.53	c |    106132 |    8328    72770   244952 |    99996    91042     19 |  0.060 % |
34.72/34.70	c |    106366 |    8328    72770   244952 |    99996    91276     19 |  0.060 % |
34.92/34.93	c |    106623 |    8328    72770   244952 |    99996    91533     19 |  0.060 % |
35.12/35.18	c |    106904 |    8328    72770   244952 |    99996    91814     19 |  0.060 % |
35.32/35.39	c |    107213 |    8328    72770   244952 |    99996    92123     19 |  0.060 % |
35.62/35.67	c |    107556 |    8328    72770   244952 |    99996    92466     19 |  0.060 % |
35.92/35.96	c |    107928 |    8328    72770   244952 |    99996    92838     19 |  0.060 % |
36.22/36.22	c |    108338 |    8328    72770   244952 |    99996    93248     19 |  0.060 % |
36.52/36.59	c |    108788 |    8328    72770   244952 |    99996    93698     19 |  0.060 % |
36.82/36.86	c |    109283 |    8328    72770   244952 |    99996    94193     19 |  0.060 % |
37.32/37.33	c |    109826 |    8328    72770   244952 |    99996    94736     19 |  0.060 % |
37.92/37.93	c |    110426 |    8328    72770   244952 |    94911    79198     19 |  0.060 % |
38.42/38.44	c |    111081 |    8328    72770   244952 |    94911    79853     19 |  0.060 % |
39.02/39.08	c |    111802 |    8328    72770   244952 |    94911    80574     19 |  0.060 % |
39.63/39.63	c |    112596 |    8328    72770   244952 |    94911    81368     19 |  0.060 % |
40.42/40.40	c |    113467 |    8328    72770   244952 |    94911    82239     19 |  0.060 % |
41.22/41.30	c |    114425 |    8328    72770   244952 |    94911    83197     19 |  0.060 % |
42.02/42.08	c |    115478 |    8328    72770   244952 |    94911    84250     19 |  0.060 % |
43.12/43.17	c |    116636 |    8328    72770   244952 |    94911    85408     19 |  0.060 % |
44.32/44.34	c |    117909 |    8328    72770   244952 |    94911    86681     19 |  0.060 % |
44.42/44.44	c |    118010 |    8328    72770   244952 |    94911    86782     19 |  0.060 % |
44.52/44.52	c |    118122 |    8328    72770   244952 |    94911    86894     19 |  0.060 % |
44.62/44.63	c |    118243 |    8328    72770   244952 |    94911    87015     19 |  0.060 % |
44.72/44.73	c |    118376 |    8328    72770   244952 |    94911    87148     19 |  0.060 % |
44.82/44.86	c |    118523 |    8328    72770   244952 |    94911    87295     19 |  0.060 % |
45.02/45.05	c |    118683 |    8328    72770   244952 |    94911    87455     19 |  0.060 % |
45.22/45.21	c |    118859 |    8328    72770   244952 |    94911    87631     19 |  0.060 % |
45.32/45.38	c |    119054 |    8328    72770   244952 |    94911    87826     19 |  0.060 % |
45.62/45.61	c |    119269 |    8328    72770   244952 |    94911    88041     19 |  0.060 % |
45.82/45.84	c |    119502 |    8328    72770   244952 |    94911    88274     19 |  0.060 % |
46.12/46.13	c |    119758 |    8328    72770   244952 |    94911    88530     19 |  0.060 % |
46.42/46.44	c |    120040 |    8328    72770   244952 |    88773    88812     19 |  0.060 % |
46.82/46.82	c |    120352 |    8328    72770   244952 |    88773    72855     18 |  0.060 % |
47.02/47.08	c |    120694 |    8328    72770   244952 |    88773    73197     18 |  0.060 % |
47.33/47.40	c |    121067 |    8328    72770   244952 |    88773    73570     18 |  0.060 % |
47.72/47.76	c |    121476 |    8328    72770   244952 |    88773    73979     18 |  0.060 % |
48.12/48.12	c |    121926 |    8328    72770   244952 |    88773    74429     18 |  0.060 % |
48.52/48.56	c |    122421 |    8328    72770   244952 |    88773    74924     18 |  0.060 % |
48.92/49.00	c |    122963 |    8328    72770   244952 |    88773    75466     18 |  0.060 % |
49.53/49.57	c |    123560 |    8328    72770   244952 |    88773    76063     18 |  0.060 % |
50.12/50.11	c |    124215 |    8328    72770   244952 |    88773    76718     18 |  0.060 % |
50.82/50.82	c |    124936 |    8328    72770   244952 |    88773    77439     18 |  0.060 % |
51.32/51.39	c |    125729 |    8328    72770   244952 |    88773    78232     18 |  0.060 % |
52.12/52.18	c |    126600 |    8328    72770   244952 |    88773    79103     18 |  0.060 % |
52.72/52.72	c |    127559 |    8328    72770   244952 |    88773    80062     18 |  0.060 % |
53.32/53.34	c |    128614 |    8328    72770   244952 |    88773    81117     18 |  0.060 % |
54.02/54.06	c |    129775 |    8328    72770   244952 |    88773    82278     18 |  0.060 % |
54.82/54.88	c |    131048 |    8328    72770   244952 |    82505    70298     18 |  0.060 % |
55.32/55.34	c |    132448 |    8328    72770   244952 |    82505    71698     18 |  0.060 % |
55.42/55.41	c |    132550 |    8328    72770   244952 |    82505    71800     18 |  0.060 % |
55.42/55.46	c |    132660 |    8328    72770   244952 |    82505    71910     18 |  0.060 % |
55.42/55.50	c |    132781 |    8328    72770   244952 |    82505    72031     18 |  0.060 % |
55.52/55.54	c |    132915 |    8328    72770   244952 |    82505    72165     18 |  0.060 % |
55.52/55.58	c |    133061 |    8328    72770   244952 |    82505    72311     18 |  0.060 % |
55.62/55.61	c |    133222 |    8328    72770   244952 |    82505    72472     18 |  0.060 % |
55.62/55.67	c |    133398 |    8328    72770   244952 |    82505    72648     18 |  0.060 % |
55.72/55.75	c |    133591 |    8328    72770   244952 |    82505    72841     18 |  0.060 % |
55.92/55.93	c |    133804 |    8328    72770   244952 |    82505    73054     18 |  0.060 % |
55.92/56.00	c |    134037 |    8328    72770   244952 |    82505    73287     18 |  0.060 % |
56.22/56.27	c |    134293 |    8328    72770   244952 |    82505    73543     18 |  0.060 % |
56.42/56.46	c |    134576 |    8328    72770   244952 |    82505    73826     18 |  0.060 % |
56.52/56.56	c |    134885 |    8328    72770   244952 |    82505    74135     18 |  0.060 % |
56.72/56.72	c |    135224 |    8328    72770   244952 |    82505    74474     18 |  0.060 % |
56.82/56.86	c |    135597 |    8328    72770   244952 |    82505    74847     18 |  0.060 % |
56.92/56.96	c |    136008 |    8328    72770   244952 |    82505    75258     18 |  0.060 % |
57.02/57.09	c |    136457 |    8328    72770   244952 |    82505    75707     18 |  0.060 % |
57.23/57.22	c |    136950 |    8328    72770   244952 |    82505    76200     18 |  0.060 % |
57.32/57.36	c |    137493 |    8328    72770   244952 |    82505    76743     18 |  0.060 % |
57.52/57.56	c |    138090 |    8328    72770   244952 |    82505    77340     18 |  0.060 % |
57.72/57.75	c |    138748 |    8328    72770   244952 |    82505    77998     18 |  0.060 % |
58.02/58.03	c |    139469 |    8328    72770   244952 |    82505    78719     18 |  0.060 % |
58.22/58.29	c |    140263 |    8328    72770   244952 | 2147483647    79513     18 |  0.060 % |
58.62/58.63	c |    141135 |    8328    72770   244952 | 2147483647    80385     18 |  0.060 % |
58.92/58.94	c |    142093 |    8328    72770   244952 | 2147483647    81343     18 |  0.060 % |
59.32/59.32	c |    143147 |    8328    72770   244952 | 2147483647    82397     18 |  0.060 % |
59.92/59.93	c |    144305 |    8328    72770   244952 | 2147483647    83555     18 |  0.060 % |
60.53/60.56	c |    145578 |    8328    72770   244952 | 2147483647    84828     18 |  0.060 % |
60.92/60.98	c |    146979 |    8328    72770   244952 | 2147483647    86229     18 |  0.060 % |
61.82/61.81	c |    148519 |    8328    72770   244952 | 2147483647    87769     18 |  0.060 % |
61.82/61.85	c |    148619 |    8328    72770   244952 | 2147483647    87869     18 |  0.060 % |
61.82/61.90	c |    148730 |    8328    72770   244952 | 2147483647    87980     18 |  0.060 % |
61.92/61.94	c |    148852 |    8328    72770   244952 | 2147483647    88102     18 |  0.060 % |
61.92/62.00	c |    148988 |    8328    72770   244952 | 2147483647    88238     18 |  0.060 % |
62.02/62.07	c |    149136 |    8328    72770   244952 | 2147483647    88386     18 |  0.060 % |
62.12/62.15	c |    149296 |    8328    72770   244952 | 2147483647    88546     18 |  0.060 % |
62.22/62.22	c |    149473 |    8328    72770   244952 | 2147483647    88723     18 |  0.060 % |
62.32/62.32	c |    149667 |    8328    72770   244952 | 2147483647    88917     18 |  0.060 % |
62.42/62.43	c |    149879 |    8328    72770   244952 | 2147483647    89129     18 |  0.060 % |
62.52/62.55	c |    150114 |    8328    72770   244952 | 2147483647    89364     18 |  0.060 % |
62.62/62.65	c |    150370 |    8328    72770   244952 | 2147483647    89620     18 |  0.060 % |
62.73/62.77	c |    150652 |    8328    72770   244952 | 2147483647    89902     18 |  0.060 % |
62.82/62.89	c |    150962 |    8328    72770   244952 | 2147483647    90212     18 |  0.060 % |
63.02/63.03	c |    151301 |    8328    72770   244952 | 2147483647    90551     18 |  0.060 % |
63.22/63.20	c |    151673 |    8328    72770   244952 | 2147483647    90923     18 |  0.060 % |
63.42/63.49	c |    152084 |    8328    72770   244952 | 2147483647    91334     18 |  0.060 % |
65.83/65.85	c |    152533 |    8326    72482   243811 | 2147483647    39327     16 |  0.084 % |
65.93/65.99	c |    153026 |    8326    72482   243811 | 2147483647    39820     16 |  0.084 % |
66.03/66.10	c |    153569 |    8326    72482   243811 | 2147483647    40362     16 |  0.120 % |
66.23/66.27	c |    154165 |    8325    72482   243811 | 2147483647    40958     16 |  0.120 % |
66.43/66.44	c |    154820 |    8325    72482   243811 | 2147483647    41613     16 |  0.120 % |
66.63/66.62	c |    155540 |    8325    72482   243811 | 2147483647    42333     17 |  0.120 % |
66.83/66.85	c |    156332 |    8325    72482   243811 | 2147483647    43125     17 |  0.120 % |
67.13/67.11	c |    157203 |    8325    72482   243811 | 2147483647    43996     17 |  0.120 % |
67.43/67.42	c |    158163 |    8325    72482   243811 | 2147483647    44956     17 |  0.120 % |
67.73/67.79	c |    159216 |    8323    72048   241676 | 2147483647    46008     17 |  0.120 % |
68.23/68.22	c |    160374 |    8323    72048   241676 | 2147483647    47166     17 |  0.120 % |
68.53/68.60	c |    161648 |    8323    72048   241676 | 2147483647    48440     17 |  0.120 % |
68.93/69.00	c |    163048 |    8323    72048   241676 | 2147483647    49840     17 |  0.120 % |
69.53/69.53	c |    164588 |    8323    72048   241676 | 2147483647    51380     17 |  0.120 % |
70.03/70.11	c |    166284 |    8323    72048   241676 | 2147483647    53076     18 |  0.120 % |
70.13/70.15	c |    166387 |    8323    72048   241676 | 2147483647    53179     18 |  0.120 % |
70.13/70.19	c |    166497 |    8323    72048   241676 | 2147483647    53289     18 |  0.120 % |
70.23/70.23	c |    166618 |    8323    72048   241676 | 2147483647    53410     18 |  0.120 % |
70.23/70.29	c |    166751 |    8317    71822   241012 | 2147483647    53477     18 |  0.192 % |
70.33/70.35	c |    166897 |    8317    71822   241012 | 2147483647    53623     18 |  0.192 % |
70.43/70.41	c |    167059 |    8317    71822   241012 | 2147483647    53785     18 |  0.192 % |
70.43/70.49	c |    167235 |    8317    71822   241012 | 2147483647    53961     18 |  0.192 % |
70.53/70.55	c |    167429 |    8317    71822   241012 | 2147483647    54155     18 |  0.192 % |
70.53/70.60	c |    167641 |    8317    71822   241012 | 2147483647    54367     18 |  0.192 % |
70.63/70.67	c |    167876 |    8317    71822   241012 | 2147483647    54602     18 |  0.192 % |
70.73/70.75	c |    168132 |    8316    71822   241012 | 2147483647    54857     18 |  0.204 % |
70.83/70.82	c |    168413 |    8316    71822   241012 | 2147483647    55138     18 |  0.204 % |
70.93/70.95	c |    168722 |    8316    71822   241012 | 2147483647    55447     18 |  0.204 % |
71.03/71.10	c |    169061 |    8316    71822   241012 | 2147483647    55786     18 |  0.204 % |
71.23/71.22	c |    169435 |    8316    71822   241012 | 2147483647    56160     18 |  0.204 % |
71.43/71.43	c |    169845 |    8316    71822   241012 | 2147483647    56570     18 |  0.204 % |
71.53/71.53	c |    170294 |    8315    71822   241012 | 2147483647    57018     18 |  0.216 % |
71.73/71.72	c |    170787 |    8315    71822   241012 | 2147483647    57511     18 |  0.216 % |
71.93/71.92	c |    171329 |    8315    71822   241012 | 2147483647    58053     18 |  0.216 % |
72.13/72.18	c |    171925 |    8314    71822   241012 | 2147483647    58648     18 |  0.228 % |
72.43/72.42	c |    172580 |    8314    71822   241012 | 2147483647    59303     18 |  0.228 % |
72.73/72.77	c |    173300 |    8314    71822   241012 | 2147483647    60023     18 |  0.228 % |
73.03/73.04	c |    174092 |    8314    71813   240994 | 2147483647    60804     18 |  0.228 % |
73.43/73.45	c |    174966 |    8314    71813   240994 | 2147483647    61678     18 |  0.228 % |
73.83/73.90	c |    175924 |    8314    71813   240994 | 2147483647    62636     18 |  0.228 % |
74.33/74.38	c |    176978 |    8314    71813   240994 | 2147483647    63690     18 |  0.228 % |
74.93/74.93	c |    178137 |    8314    71813   240994 | 2147483647    64849     18 |  0.228 % |
75.53/75.60	c |    179411 |    8314    71813   240994 | 2147483647    66123     19 |  0.228 % |
75.83/75.88	c |    180812 |    8314    71813   240994 | 2147483647    67524     19 |  0.228 % |
76.53/76.56	c |    182354 |    8314    71813   240994 | 2147483647    69066     19 |  0.228 % |
77.43/77.45	c |    184048 |    8314    71813   240994 | 2147483647    70760     19 |  0.228 % |
78.63/78.71	c |    185911 |    8314    71813   240994 | 2147483647    72623     19 |  0.228 % |
78.73/78.77	c |    186011 |    8314    71813   240994 | 2147483647    72723     19 |  0.228 % |
78.83/78.82	c |    186122 |    8314    71813   240994 | 2147483647    72834     19 |  0.228 % |
78.93/78.91	c |    186244 |    8314    71813   240994 | 2147483647    72956     19 |  0.228 % |
78.93/78.97	c |    186377 |    8314    71813   240994 | 2147483647    73089     19 |  0.228 % |
79.03/79.05	c |    186523 |    8314    71813   240994 | 2147483647    73235     19 |  0.228 % |
79.13/79.14	c |    186684 |    8314    71813   240994 | 2147483647    73396     19 |  0.228 % |
79.13/79.21	c |    186862 |    8314    71813   240994 | 2147483647    73574     19 |  0.228 % |
79.23/79.26	c |    187055 |    8314    71813   240994 | 2147483647    73767     19 |  0.228 % |
79.33/79.35	c |    187267 |    8314    71813   240994 | 2147483647    73979     19 |  0.228 % |
79.43/79.46	c |    187501 |    8314    71813   240994 | 2147483647    74213     19 |  0.228 % |
79.63/79.62	c |    187757 |    8314    71813   240994 | 2147483647    74469     19 |  0.228 % |
79.63/79.70	c |    188038 |    8314    71813   240994 | 2147483647    74750     19 |  0.228 % |
79.83/79.87	c |    188348 |    8314    71813   240994 | 2147483647    75060     19 |  0.228 % |
80.03/80.11	c |    188689 |    8314    71813   240994 | 2147483647    75401     19 |  0.228 % |
80.23/80.27	c |    189061 |    8314    71813   240994 | 2147483647    75773     19 |  0.228 % |
80.43/80.47	c |    189470 |    8314    71813   240994 | 2147483647    76182     19 |  0.228 % |
80.53/80.60	c |    189919 |    8314    71813   240994 | 2147483647    76631     19 |  0.228 % |
80.83/80.88	c |    190412 |    8314    71813   240994 | 2147483647    77124     19 |  0.228 % |
81.03/81.07	c |    190955 |    8314    71813   240994 | 2147483647    77667     19 |  0.228 % |
81.33/81.36	c |    191551 |    8314    71813   240994 | 2147483647    78263     19 |  0.228 % |
81.63/81.67	c |    192209 |    8314    71813   240994 | 2147483647    78921     19 |  0.228 % |
82.03/82.09	c |    192929 |    8314    71813   240994 | 2147483647    79641     19 |  0.228 % |
82.53/82.60	c |    193725 |    8314    71813   240994 | 2147483647    80437     19 |  0.228 % |
83.13/83.12	c |    194596 |    8314    71813   240994 | 2147483647    81308     19 |  0.228 % |
83.53/83.61	c |    195554 |    8314    71813   240994 | 2147483647    82266     19 |  0.228 % |
84.13/84.15	c |    196608 |    8314    71813   240994 | 2147483647    83320     19 |  0.228 % |
84.83/84.87	c |    197767 |    8314    71813   240994 | 2147483647    84479     19 |  0.228 % |
85.53/85.52	c |    199040 |    8314    71813   240994 | 2147483647    85752     19 |  0.228 % |
86.53/86.52	c |    200440 |    8314    71813   240994 | 2147483647    87152     20 |  0.228 % |
87.43/87.50	c |    201980 |    8314    71813   240994 | 2147483647    88692     20 |  0.228 % |
88.33/88.37	c |    203674 |    8314    71813   240994 | 2147483647    90386     20 |  0.228 % |
89.33/89.39	c |    205538 |    8313    71810   240988 | 2147483647    92246     20 |  0.240 % |
90.93/91.00	c |    207588 |    8313    71810   240988 | 2147483647    94296     20 |  0.240 % |
91.03/91.08	c |    207688 |    8313    71810   240988 | 2147483647    94396     20 |  0.240 % |
91.13/91.17	c |    207798 |    8313    71810   240988 | 2147483647    94506     20 |  0.240 % |
91.23/91.23	c |    207920 |    8313    71810   240988 | 2147483647    94628     20 |  0.240 % |
91.23/91.31	c |    208053 |    8313    71810   240988 | 2147483647    94761     20 |  0.240 % |
91.33/91.41	c |    208199 |    8313    71810   240988 | 2147483647    94907     20 |  0.240 % |
91.53/91.52	c |    208360 |    8313    71810   240988 | 2147483647    95068     20 |  0.240 % |
91.63/91.62	c |    208537 |    8313    71810   240988 | 2147483647    95245     20 |  0.240 % |
91.73/91.79	c |    208730 |    8313    71810   240988 | 2147483647    95438     20 |  0.240 % |
91.93/91.93	c |    208942 |    8313    71810   240988 | 2147483647    95650     20 |  0.240 % |
92.03/92.09	c |    209175 |    8313    71810   240988 | 2147483647    95883     20 |  0.240 % |
92.23/92.29	c |    209432 |    8313    71810   240988 | 2147483647    96140     20 |  0.240 % |
92.53/92.55	c |    209715 |    8313    71810   240988 | 2147483647    96423     20 |  0.240 % |
92.73/92.75	c |    210026 |    8313    71810   240988 | 2147483647    96734     20 |  0.240 % |
92.93/92.97	c |    210367 |    8313    71810   240988 | 2147483647    97075     20 |  0.240 % |
93.13/93.15	c |    210739 |    8313    71810   240988 | 2147483647    97447     20 |  0.240 % |
93.33/93.33	c |    211150 |    8313    71810   240988 | 2147483647    97858     20 |  0.240 % |
93.73/93.72	c |    211599 |    8313    71810   240988 | 2147483647    98307     20 |  0.240 % |
94.03/94.07	c |    212092 |    8313    71810   240988 | 2147483647    98800     20 |  0.240 % |
94.43/94.45	c |    212636 |    8313    71810   240988 | 2147483647    99344     20 |  0.240 % |
94.83/94.84	c |    213233 |    8313    71810   240988 | 2147483647    99941     20 |  0.240 % |
95.23/95.27	c |    213889 |    8313    71810   240988 | 2147483647   100597     20 |  0.240 % |
95.73/95.77	c |    214611 |    8313    71810   240988 | 2147483647   101319     20 |  0.240 % |
96.23/96.23	c |    215403 |    8313    71810   240988 | 2147483647   102111     20 |  0.240 % |
97.03/97.02	c |    216275 |    8313    71810   240988 | 2147483647   102983     20 |  0.240 % |
97.63/97.67	c |    217234 |    8313    71810   240988 | 2147483647   103942     20 |  0.240 % |
98.43/98.45	c |    218289 |    8313    71810   240988 | 2147483647   104997     20 |  0.240 % |
99.33/99.33	c |    219447 |    8313    71810   240988 | 2147483647   106155     20 |  0.240 % |
100.33/100.37	c |    220722 |    8313    71810   240988 |   106708    92516     20 |  0.240 % |
101.53/101.52	c |    222122 |    8313    71810   240988 |   106708    93916     21 |  0.240 % |
102.63/102.63	c |    223662 |    8313    71810   240988 |   106708    95456     21 |  0.240 % |
103.73/103.77	c |    225357 |    8313    71810   240988 |   106708    97151     21 |  0.240 % |
105.13/105.13	c |    227221 |    8313    71810   240988 |   106708    99015     21 |  0.240 % |
106.33/106.36	c |    229271 |    8313    71810   240988 |   106708   101065     21 |  0.240 % |
107.83/107.83	c |    231524 |    8313    71810   240988 |   101794    90635     20 |  0.240 % |
107.93/107.95	c |    231626 |    8313    71810   240988 |   101794    90737     21 |  0.240 % |
108.03/108.02	c |    231738 |    8313    71810   240988 |   101794    90849     20 |  0.240 % |
108.03/108.09	c |    231859 |    8313    71810   240988 |   101794    90970     21 |  0.240 % |
108.13/108.16	c |    231993 |    8313    71810   240988 |   101794    91104     21 |  0.240 % |
108.23/108.25	c |    232140 |    8313    71810   240988 |   101794    91251     21 |  0.240 % |
108.33/108.37	c |    232300 |    8313    71810   240988 |   101794    91411     21 |  0.240 % |
108.53/108.52	c |    232476 |    8313    71810   240988 |   101794    91587     21 |  0.240 % |
108.63/108.66	c |    232674 |    8313    71810   240988 |   101794    91785     21 |  0.240 % |
108.73/108.81	c |    232886 |    8313    71810   240988 |   101794    91997     21 |  0.240 % |
108.93/108.98	c |    233121 |    8313    71810   240988 |   101794    92232     21 |  0.240 % |
109.13/109.18	c |    233377 |    8313    71810   240988 |   101794    92488     21 |  0.240 % |
109.43/109.46	c |    233658 |    8313    71810   240988 |   101794    92769     21 |  0.240 % |
109.63/109.68	c |    233967 |    8313    71810   240988 |   101794    93078     21 |  0.240 % |
109.93/109.97	c |    234307 |    8313    71810   240988 |   101794    93418     21 |  0.240 % |
110.23/110.25	c |    234679 |    8313    71810   240988 |   101794    93790     21 |  0.240 % |
110.53/110.55	c |    235090 |    8313    71810   240988 |   101794    94201     21 |  0.240 % |
110.93/110.92	c |    235540 |    8313    71810   240988 |   101794    94651     21 |  0.240 % |
111.23/111.23	c |    236033 |    8313    71810   240988 |   101794    95144     21 |  0.240 % |
111.63/111.65	c |    236575 |    8313    71810   240988 |   101794    95686     21 |  0.240 % |
112.03/112.06	c |    237172 |    8313    71810   240988 |   101794    96283     21 |  0.240 % |
112.53/112.58	c |    237827 |    8313    71810   240988 |   101794    96938     21 |  0.240 % |
113.03/113.07	c |    238548 |    8313    71810   240988 |   101794    97659     21 |  0.240 % |
113.83/113.85	c |    239340 |    8313    71810   240988 |   101794    98451     21 |  0.240 % |
114.53/114.52	c |    240211 |    8313    71810   240988 |    99111    99322     21 |  0.240 % |
115.33/115.41	c |    241171 |    8313    71810   240988 |    99111    86883     20 |  0.240 % |
116.13/116.17	c |    242226 |    8313    71810   240988 |    99111    87938     20 |  0.240 % |
116.83/116.88	c |    243384 |    8313    71810   240988 |    99111    89096     20 |  0.240 % |
117.73/117.76	c |    244660 |    8313    71810   240988 |    99111    90372     20 |  0.240 % |
118.73/118.75	c |    246060 |    8312    71807   240982 |    99111    91770     20 |  0.252 % |
119.73/119.73	c |    247600 |    8312    71807   240982 |    99111    93310     20 |  0.252 % |
120.93/120.96	c |    249295 |    8312    71807   240982 |    99111    95005     20 |  0.252 % |
122.43/122.48	c |    251160 |    8312    71807   240982 |    95710    84322     20 |  0.252 % |
123.43/123.48	c |    253209 |    8312    71807   240982 |    95710    86371     20 |  0.252 % |
124.93/124.98	c |    255462 |    8312    71807   240982 |    95710    88624     20 |  0.252 % |
126.63/126.61	c |    257941 |    8312    71807   240982 |    95710    91103     20 |  0.252 % |
126.73/126.71	c |    258041 |    8312    71807   240982 |    95710    91203     20 |  0.252 % |
126.83/126.84	c |    258151 |    8312    71807   240982 |    95710    91313     20 |  0.252 % |
126.93/126.92	c |    258272 |    8312    71807   240982 |    95710    91434     20 |  0.252 % |
127.03/127.02	c |    258406 |    8312    71807   240982 |    95710    91568     20 |  0.252 % |
127.13/127.13	c |    258553 |    8312    71807   240982 |    95710    91715     20 |  0.252 % |
127.23/127.27	c |    258714 |    8312    71807   240982 |    95710    91876     20 |  0.252 % |
127.43/127.43	c |    258890 |    8312    71807   240982 |    95710    92052     20 |  0.252 % |
127.53/127.59	c |    259084 |    8312    71807   240982 |    95710    92246     20 |  0.252 % |
127.73/127.78	c |    259296 |    8312    71807   240982 |    95710    92458     20 |  0.252 % |
127.93/127.98	c |    259529 |    8312    71807   240982 |    95710    92691     20 |  0.252 % |
128.13/128.15	c |    259787 |    8312    71807   240982 |    95710    92949     20 |  0.252 % |
128.33/128.33	c |    260068 |    8312    71807   240982 |    93162    93230     20 |  0.252 % |
128.63/128.65	c |    260377 |    8312    71807   240982 |    93162    83281     20 |  0.252 % |
128.93/128.92	c |    260716 |    8312    71807   240982 |    93162    83620     20 |  0.252 % |
129.23/129.21	c |    261088 |    8312    71807   240982 |    93162    83992     20 |  0.252 % |
129.43/129.47	c |    261497 |    8312    71807   240982 |    93162    84401     20 |  0.252 % |
129.84/129.83	c |    261946 |    8312    71807   240982 |    93162    84850     20 |  0.252 % |
130.13/130.14	c |    262439 |    8312    71807   240982 |    93162    85343     20 |  0.252 % |
130.33/130.40	c |    262981 |    8312    71807   240982 |    93162    85885     20 |  0.252 % |
130.73/130.80	c |    263577 |    8312    71807   240982 |    93162    86481     20 |  0.252 % |
131.33/131.32	c |    264234 |    8312    71807   240982 |    93162    87138     20 |  0.252 % |
131.83/131.86	c |    264954 |    8312    71807   240982 |    93162    87858     20 |  0.252 % |
132.43/132.42	c |    265746 |    8312    71807   240982 |    93162    88650     20 |  0.252 % |
133.03/133.11	c |    266618 |    8312    71807   240982 |    93162    89522     20 |  0.252 % |
133.63/133.70	c |    267583 |    8312    71807   240982 |    93162    90487     20 |  0.252 % |
134.63/134.69	c |    268636 |    8312    71807   240982 |    93162    91540     20 |  0.252 % |
135.34/135.37	c |    269796 |    8312    71807   240982 |    93162    92700     20 |  0.252 % |
136.44/136.44	c |    271069 |    8311    71804   240976 |    92903    83220     20 |  0.264 % |
137.33/137.37	c |    272470 |    8311    71804   240976 |    92903    84621     20 |  0.264 % |
138.83/138.87	c |    274014 |    8311    71804   240976 |    92903    86165     20 |  0.264 % |
140.33/140.32	c |    275708 |    8311    71804   240976 |    92903    87859     20 |  0.264 % |
141.73/141.72	c |    277571 |    8310    71804   240976 |    92903    89721     20 |  0.276 % |
143.23/143.29	c |    279622 |    8310    71804   240976 |    92903    91772     20 |  0.276 % |
145.13/145.15	c |    281877 |    8310    71699   240662 |    92149    83957     20 |  0.276 % |
146.93/147.00	c |    284356 |    8310    71699   240662 |    92149    86436     20 |  0.276 % |
148.73/148.79	c |    287081 |    8310    71699   240662 |    92149    89161     20 |  0.276 % |
148.83/148.88	c |    287186 |    8310    71699   240662 |    92149    89266     20 |  0.276 % |
148.93/148.97	c |    287296 |    8310    71699   240662 |    92149    89376     20 |  0.276 % |
149.03/149.09	c |    287417 |    8310    71699   240662 |    92149    89497     20 |  0.276 % |
149.13/149.20	c |    287551 |    8310    71699   240662 |    92149    89631     20 |  0.276 % |
149.33/149.36	c |    287698 |    8310    71699   240662 |    92149    89778     20 |  0.276 % |
149.43/149.50	c |    287858 |    8310    71699   240662 |    92149    89938     20 |  0.276 % |
149.53/149.59	c |    288035 |    8310    71699   240662 |    92149    90115     20 |  0.276 % |
149.73/149.75	c |    288229 |    8310    71699   240662 |    92149    90309     20 |  0.276 % |
149.83/149.89	c |    288441 |    8310    71699   240662 |    92149    90521     20 |  0.276 % |
150.03/150.01	c |    288674 |    8310    71699   240662 |    92149    90754     20 |  0.276 % |
150.23/150.23	c |    288932 |    8310    71699   240662 |    92149    91012     20 |  0.276 % |
150.33/150.40	c |    289214 |    8310    71699   240662 |    92149    91294     20 |  0.276 % |
150.63/150.65	c |    289523 |    8310    71699   240662 |    92149    91603     20 |  0.276 % |
150.93/151.00	c |    289862 |    8310    71699   240662 |    92149    91942     20 |  0.276 % |
151.33/151.40	c |    290234 |    8310    71699   240662 |    92080    92314     20 |  0.276 % |
151.84/151.85	c |    290643 |    8310    71699   240662 |    92080    82384     20 |  0.276 % |
152.23/152.25	c |    291093 |    8310    71699   240662 |    92080    82834     20 |  0.276 % |
152.63/152.66	c |    291588 |    8310    71699   240662 |    92080    83329     20 |  0.276 % |
153.03/153.04	c |    292130 |    8310    71699   240662 |    92080    83871     20 |  0.276 % |
153.33/153.32	c |    292726 |    8310    71699   240662 |    92080    84467     20 |  0.276 % |
153.93/153.93	c |    293382 |    8310    71699   240662 |    92080    85123     20 |  0.276 % |
154.53/154.52	c |    294103 |    8310    71699   240662 |    92080    85844     20 |  0.276 % |
155.03/155.11	c |    294897 |    8310    71699   240662 |    92080    86638     20 |  0.276 % |
155.83/155.86	c |    295770 |    8310    71699   240662 |    92080    87511     20 |  0.276 % |
156.43/156.48	c |    296728 |    8310    71699   240662 |    92080    88469     20 |  0.276 % |
157.43/157.45	c |    297781 |    8310    71699   240662 |    92080    89522     20 |  0.276 % |
158.44/158.46	c |    298944 |    8310    71699   240662 |    92080    90685     20 |  0.276 % |
159.63/159.65	c |    300217 |    8310    71699   240662 |    91743    91958     20 |  0.276 % |
160.83/160.84	c |    301618 |    8310    71699   240662 |    91743    83725     20 |  0.276 % |
162.23/162.21	c |    303160 |    8310    71699   240662 |    91743    85267     20 |  0.276 % |
163.43/163.50	c |    304854 |    8310    71699   240662 |    91743    86961     20 |  0.276 % |
164.83/164.91	c |    306718 |    8310    71699   240662 |    91743    88825     20 |  0.276 % |
166.63/166.70	c |    308768 |    8310    71699   240662 |    91743    90875     20 |  0.276 % |
168.43/168.44	c |    311022 |    8310    71699   240662 |    82228    74762     19 |  0.276 % |
170.23/170.31	c |    313503 |    8310    71699   240662 |    82228    77243     20 |  0.276 % |
172.13/172.18	c |    316230 |    8310    71699   240662 |    82228    79970     20 |  0.276 % |
174.13/174.18	c |    319228 |    8310    71699   240662 |    82228    74707     19 |  0.276 % |
174.23/174.26	c |    319330 |    8310    71699   240662 |    82228    74809     19 |  0.276 % |
174.33/174.34	c |    319441 |    8310    71699   240662 |    82228    74920     19 |  0.276 % |
174.43/174.46	c |    319562 |    8310    71699   240662 |    82228    75041     19 |  0.276 % |
174.53/174.55	c |    319695 |    8310    71699   240662 |    82228    75174     19 |  0.276 % |
174.63/174.66	c |    319841 |    8310    71699   240662 |    82228    75320     19 |  0.276 % |
174.73/174.77	c |    320001 |    8310    71699   240662 | 2147483647    75480     19 |  0.276 % |
174.83/174.90	c |    320179 |    8310    71699   240662 | 2147483647    75658     19 |  0.276 % |
175.03/175.03	c |    320372 |    8310    71699   240662 | 2147483647    75851     19 |  0.276 % |
175.23/175.24	c |    320588 |    8310    71699   240662 | 2147483647    76067     19 |  0.276 % |
175.43/175.45	c |    320823 |    8310    71699   240662 | 2147483647    76302     19 |  0.276 % |
175.73/175.74	c |    321079 |    8310    71699   240662 | 2147483647    76558     19 |  0.276 % |
175.93/175.95	c |    321363 |    8310    71699   240662 | 2147483647    76842     20 |  0.276 % |
176.13/176.16	c |    321673 |    8310    71699   240662 | 2147483647    77152     20 |  0.276 % |
176.23/176.30	c |    322013 |    8310    71699   240662 | 2147483647    77492     20 |  0.276 % |
176.63/176.64	c |    322386 |    8310    71699   240662 | 2147483647    77865     20 |  0.276 % |
176.93/176.97	c |    322795 |    8310    71699   240662 | 2147483647    78274     20 |  0.276 % |
177.23/177.30	c |    323244 |    8310    71699   240662 | 2147483647    78723     20 |  0.276 % |
177.73/177.74	c |    323741 |    8310    71699   240662 | 2147483647    79220     20 |  0.276 % |
178.03/178.08	c |    324283 |    8310    71699   240662 | 2147483647    79762     20 |  0.276 % |
178.43/178.50	c |    324880 |    8310    71699   240662 | 2147483647    80359     20 |  0.276 % |
178.73/178.79	c |    325535 |    8310    71699   240662 | 2147483647    81014     20 |  0.276 % |
179.14/179.21	c |    326256 |    8310    71699   240662 | 2147483647    81735     20 |  0.276 % |
179.93/179.95	c |    327048 |    8310    71699   240662 | 2147483647    82527     20 |  0.276 % |
180.23/180.31	c |    327919 |    8310    71699   240662 | 2147483647    83398     20 |  0.276 % |
181.23/181.24	c |    328877 |    8310    71699   240662 | 2147483647    84356     20 |  0.276 % |
182.03/182.10	c |    329930 |    8310    71699   240662 | 2147483647    85409     20 |  0.276 % |
183.03/183.03	c |    331088 |    8310    71699   240662 | 2147483647    86567     20 |  0.276 % |
184.33/184.40	c |    332361 |    8310    71699   240662 | 2147483647    87840     20 |  0.276 % |
185.43/185.42	c |    333761 |    8310    71699   240662 | 2147483647    89240     20 |  0.276 % |
186.43/186.47	c |    335301 |    8310    71699   240662 | 2147483647    90780     20 |  0.276 % |
187.53/187.55	c |    336997 |    8310    71699   240662 | 2147483647    92476     20 |  0.276 % |
189.33/189.35	c |    338862 |    8310    71699   240662 | 2147483647    94341     20 |  0.276 % |
191.73/191.74	c |    340913 |    8310    71699   240662 |    95480    84935     20 |  0.276 % |
193.13/193.13	c |    343167 |    8310    71699   240662 |    95480    87189     20 |  0.276 % |
194.93/194.97	c |    345645 |    8310    71699   240662 |    95480    89667     20 |  0.276 % |
196.93/196.94	c |    348371 |    8310    71699   240662 |    95480    92393     20 |  0.276 % |
199.63/199.69	c |    351368 |    8310    71699   240662 | 2147483647    95390     20 |  0.276 % |
202.23/202.23	c |    354667 |    8310    71699   240662 | 2147483647    98689     20 |  0.276 % |
202.33/202.37	c |    354769 |    8310    71699   240662 | 2147483647    98791     20 |  0.276 % |
202.43/202.47	c |    354879 |    8310    71699   240662 | 2147483647    98901     20 |  0.276 % |
202.53/202.59	c |    355001 |    8310    71699   240662 | 2147483647    99023     20 |  0.276 % |
202.73/202.80	c |    355134 |    8310    71699   240662 | 2147483647    99156     20 |  0.276 % |
202.93/202.96	c |    355283 |    8310    71699   240662 | 2147483647    99305     20 |  0.276 % |
203.13/203.13	c |    355444 |    8310    71699   240662 | 2147483647    99466     20 |  0.276 % |
203.33/203.32	c |    355620 |    8310    71699   240662 | 2147483647    99642     20 |  0.276 % |
203.43/203.49	c |    355813 |    8310    71699   240662 | 2147483647    99835     20 |  0.276 % |
203.73/203.73	c |    356025 |    8310    71699   240662 | 2147483647   100047     20 |  0.276 % |
203.93/203.94	c |    356262 |    8310    71699   240662 | 2147483647   100284     20 |  0.276 % |
204.13/204.12	c |    356519 |    8310    71699   240662 | 2147483647   100541     20 |  0.276 % |
204.33/204.38	c |    356800 |    8310    71699   240662 | 2147483647   100822     20 |  0.276 % |
204.63/204.70	c |    357109 |    8310    71699   240662 | 2147483647   101131     20 |  0.276 % |
205.13/205.12	c |    357448 |    8310    71699   240662 | 2147483647   101470     20 |  0.276 % |
205.53/205.58	c |    357820 |    8310    71699   240662 | 2147483647   101842     21 |  0.276 % |
206.03/206.04	c |    358230 |    8310    71699   240662 | 2147483647   102252     21 |  0.276 % |
206.33/206.40	c |    358679 |    8310    71699   240662 | 2147483647   102701     21 |  0.276 % |
206.83/206.82	c |    359172 |    8310    71699   240662 | 2147483647   103194     21 |  0.276 % |
207.13/207.17	c |    359714 |    8310    71699   240662 | 2147483647   103736     21 |  0.276 % |
207.83/207.85	c |    360311 |    8310    71699   240662 |   104023    90199     20 |  0.276 % |
208.13/208.17	c |    360966 |    8310    71699   240662 |   104023    90854     20 |  0.276 % |
208.93/208.95	c |    361686 |    8310    71699   240662 |   104023    91574     20 |  0.276 % |
209.43/209.46	c |    362478 |    8310    71699   240662 |   104023    92366     20 |  0.276 % |
210.13/210.11	c |    363349 |    8310    71699   240662 |   104023    93237     20 |  0.276 % |
210.83/210.83	c |    364307 |    8310    71699   240662 |   104023    94195     20 |  0.276 % |
211.63/211.62	c |    365360 |    8310    71699   240662 |   104023    95248     20 |  0.276 % |
212.23/212.29	c |    366519 |    8310    71699   240662 |   104023    96407     20 |  0.276 % |
213.63/213.67	c |    367792 |    8310    71699   240662 |   104023    97680     20 |  0.276 % |
215.03/215.03	c |    369194 |    8310    71699   240662 |   104023    99082     20 |  0.276 % |
216.53/216.54	c |    370737 |    8310    71699   240662 |    99888    87502     20 |  0.276 % |
217.63/217.70	c |    372433 |    8310    71699   240662 |    99888    89198     20 |  0.276 % |
219.23/219.25	c |    374296 |    8310    71699   240662 |    99888    91061     20 |  0.276 % |
220.93/220.99	c |    376349 |    8310    71699   240662 |    99888    93114     20 |  0.276 % |
222.93/222.96	c |    378604 |    8310    71699   240662 |    99888    95369     20 |  0.276 % |
225.03/225.06	c |    381087 |    8310    71699   240662 |    96765    86159     20 |  0.276 % |
226.53/226.59	c |    383812 |    8310    71699   240662 |    96765    88884     20 |  0.276 % |
229.03/229.07	c |    386810 |    8310    71699   240662 |    96765    91882     20 |  0.276 % |
232.43/232.48	c |    390107 |    8310    71699   240662 |    95075    95179     21 |  0.276 % |
235.23/235.26	c |    393732 |    8310    71699   240662 |    95075    86444     20 |  0.276 % |
235.33/235.33	c |    393832 |    8310    71699   240662 |    95075    86544     20 |  0.276 % |
235.43/235.42	c |    393944 |    8310    71699   240662 |    95075    86656     20 |  0.276 % |
235.53/235.52	c |    394067 |    8310    71699   240662 |    95075    86779     20 |  0.276 % |
235.63/235.62	c |    394200 |    8310    71699   240662 |    95075    86912     20 |  0.276 % |
235.73/235.77	c |    394347 |    8310    71699   240662 |    95075    87059     20 |  0.276 % |
235.83/235.86	c |    394509 |    8310    71699   240662 |    95075    87221     20 |  0.276 % |
235.93/235.98	c |    394686 |    8310    71699   240662 |    95075    87398     20 |  0.276 % |
236.13/236.17	c |    394882 |    8310    71699   240662 |    95075    87594     20 |  0.276 % |
236.33/236.31	c |    395094 |    8310    71699   240662 |    95075    87806     20 |  0.276 % |
236.53/236.51	c |    395327 |    8310    71699   240662 |    95075    88039     20 |  0.276 % |
236.83/236.81	c |    395583 |    8310    71699   240662 |    95075    88295     20 |  0.276 % |
237.03/237.04	c |    395864 |    8310    71699   240662 |    95075    88576     20 |  0.276 % |
237.33/237.32	c |    396173 |    8310    71699   240662 |    95075    88885     20 |  0.276 % |
237.63/237.63	c |    396513 |    8310    71699   240662 |    95075    89225     20 |  0.276 % |
238.03/238.03	c |    396886 |    8310    71699   240662 |    95075    89598     20 |  0.276 % |
238.43/238.44	c |    397295 |    8310    71699   240662 |    95075    90007     20 |  0.276 % |
238.93/238.92	c |    397744 |    8310    71699   240662 |    95075    90456     20 |  0.276 % |
239.43/239.45	c |    398237 |    8310    71699   240662 |    95075    90949     20 |  0.276 % |
240.03/240.09	c |    398779 |    8310    71699   240662 |    95075    91491     20 |  0.276 % |
240.63/240.70	c |    399375 |    8310    71699   240662 |    95075    92087     20 |  0.276 % |
241.23/241.27	c |    400031 |    8310    71699   240662 |    92712    92743     20 |  0.276 % |
241.93/241.96	c |    400751 |    8310    71699   240662 |    92712    82671     20 |  0.276 % |
242.63/242.65	c |    401544 |    8310    71699   240662 |    92712    83464     20 |  0.276 % |
243.33/243.39	c |    402415 |    8310    71699   240662 |    92712    84335     20 |  0.276 % |
244.03/244.08	c |    403375 |    8310    71699   240662 |    92712    85295     20 |  0.276 % |
245.13/245.18	c |    404429 |    8310    71699   240662 |    92712    86349     20 |  0.276 % |
246.03/246.06	c |    405589 |    8310    71699   240662 |    92712    87509     20 |  0.276 % |
247.23/247.27	c |    406864 |    8310    71699   240662 |    92712    88784     20 |  0.276 % |
248.64/248.64	c |    408265 |    8310    71699   240662 |    92712    90185     20 |  0.276 % |
249.74/249.71	c |    409805 |    8310    71699   240662 |    92712    91725     20 |  0.276 % |
251.13/251.20	c |    411499 |    8310    71699   240662 |    91922    82858     20 |  0.276 % |
252.73/252.71	c |    413362 |    8310    71699   240662 |    91922    84721     20 |  0.276 % |
254.43/254.46	c |    415412 |    8310    71699   240662 |    91922    86771     20 |  0.276 % |
256.53/256.54	c |    417665 |    8310    71699   240662 |    91922    89024     20 |  0.276 % |
258.33/258.32	c |    420144 |    8310    71699   240662 | 2147483647    91503     20 |  0.276 % |
261.13/261.14	c |    422869 |    8310    71699   240662 | 2147483647    94228     20 |  0.276 % |
263.33/263.31	c |    425871 |    8310    71699   240662 | 2147483647    97230     20 |  0.276 % |
266.73/266.77	c |    429167 |    8310    71699   240662 | 2147483647   100526     21 |  0.276 % |
270.64/270.62	c |    432795 |    8310    71699   240662 |   101359    91274     20 |  0.276 % |
274.53/274.54	c |    436783 |    8310    71699   240662 |   101359    95262     20 |  0.276 % |
274.63/274.62	c |    436884 |    8310    71699   240662 |   101359    95363     20 |  0.276 % |
274.73/274.74	c |    436994 |    8310    71699   240662 |   101359    95473     20 |  0.276 % |
274.83/274.83	c |    437115 |    8310    71699   240662 |   101359    95594     20 |  0.276 % |
274.93/274.91	c |    437250 |    8310    71699   240662 |   101359    95729     20 |  0.276 % |
275.04/275.04	c |    437396 |    8310    71699   240662 |   101359    95875     20 |  0.276 % |
275.13/275.17	c |    437556 |    8310    71699   240662 |   101359    96035     20 |  0.276 % |
275.33/275.37	c |    437732 |    8310    71699   240662 |   101359    96211     20 |  0.276 % |
275.63/275.61	c |    437926 |    8310    71699   240662 |   101359    96405     20 |  0.276 % |
275.83/275.86	c |    438138 |    8310    71699   240662 |   101359    96617     20 |  0.276 % |
276.03/276.08	c |    438371 |    8310    71699   240662 |   101359    96850     20 |  0.276 % |
276.43/276.43	c |    438627 |    8310    71699   240662 |   101359    97106     20 |  0.276 % |
276.73/276.74	c |    438909 |    8310    71699   240662 |   101359    97388     20 |  0.276 % |
276.93/276.97	c |    439218 |    8310    71699   240662 |   101359    97697     20 |  0.276 % |
277.24/277.24	c |    439560 |    8310    71699   240662 |   101359    98039     20 |  0.276 % |
277.73/277.71	c |    439932 |    8310    71699   240662 |   101359    98411     20 |  0.276 % |
278.34/278.33	c |    440341 |    8310    71699   240662 |    98479    86716     20 |  0.276 % |
278.83/278.81	c |    440792 |    8310    71699   240662 |    98479    87167     20 |  0.276 % |
279.33/279.33	c |    441286 |    8310    71699   240662 |    98479    87661     20 |  0.276 % |
279.83/279.88	c |    441830 |    8310    71699   240662 |    98479    88205     20 |  0.276 % |
280.54/280.53	c |    442426 |    8310    71699   240662 |    98479    88801     20 |  0.276 % |
281.13/281.12	c |    443081 |    8310    71699   240662 |    98479    89456     20 |  0.276 % |
281.73/281.80	c |    443801 |    8310    71699   240662 |    98479    90176     20 |  0.276 % |
282.43/282.44	c |    444594 |    8310    71699   240662 |    98479    90969     20 |  0.276 % |
282.93/282.98	c |    445467 |    8310    71699   240662 |    98479    91842     20 |  0.276 % |
283.53/283.56	c |    446426 |    8310    71699   240662 |    98479    92801     20 |  0.276 % |
284.63/284.65	c |    447481 |    8310    71699   240662 |    98479    93856     20 |  0.276 % |
285.63/285.65	c |    448640 |    8310    71699   240662 |    98479    95015     20 |  0.276 % |
286.93/286.90	c |    449915 |    8310    71699   240662 |    98479    96290     20 |  0.276 % |
288.24/288.30	c |    451316 |    8310    71699   240662 |    96376    85661     20 |  0.276 % |
289.03/289.04	c |    452859 |    8310    71699   240662 |    96376    87204     20 |  0.276 % |
290.33/290.36	c |    454556 |    8310    71699   240662 |    96376    88901     20 |  0.276 % |
292.54/292.54	c |    456419 |    8310    71699   240662 |    96376    90764     20 |  0.276 % |
294.64/294.67	c |    458470 |    8310    71699   240662 |    96376    92815     20 |  0.276 % |
297.54/297.54	c |    460724 |    8310    71699   240662 |    94346    80802     20 |  0.276 % |
299.54/299.58	c |    463202 |    8310    71699   240662 |    94346    83280     20 |  0.276 % |
302.54/302.60	c |    465928 |    8310    71699   240662 |    94346    86006     20 |  0.276 % |
306.04/306.06	c |    468926 |    8310    71699   240662 |    94346    89004     20 |  0.276 % |
309.94/309.95	c |    472222 |    8310    71699   240662 |    90078    82236     19 |  0.276 % |
312.84/312.84	c |    475847 |    8310    71699   240662 |    90078    85861     19 |  0.276 % |
316.84/316.84	c |    479834 |    8309    71595   240351 |    90078    89845     20 |  0.288 % |
319.54/319.60	c |    484220 |    8309    71595   240351 |    90012    85192     19 |  0.288 % |
319.64/319.64	c |    484320 |    8309    71595   240351 |    90012    85292     19 |  0.288 % |
319.74/319.72	c |    484430 |    8309    71595   240351 |    90012    85402     19 |  0.288 % |
319.84/319.84	c |    484552 |    8309    71595   240351 |    90012    85524     19 |  0.288 % |
319.94/319.96	c |    484688 |    8309    71595   240351 |    90012    85660     19 |  0.288 % |
320.04/320.05	c |    484837 |    8309    71595   240351 |    90012    85809     19 |  0.288 % |
320.14/320.15	c |    484999 |    8309    71595   240351 |    90012    85971     19 |  0.288 % |
320.34/320.35	c |    485177 |    8309    71595   240351 |    90012    86149     19 |  0.288 % |
320.54/320.52	c |    485370 |    8309    71595   240351 |    90012    86342     19 |  0.288 % |
320.74/320.72	c |    485587 |    8309    71595   240351 |    90012    86559     19 |  0.288 % |
320.94/320.99	c |    485820 |    8309    71595   240351 |    90012    86792     19 |  0.288 % |
321.14/321.17	c |    486078 |    8309    71595   240351 |    90012    87050     19 |  0.288 % |
321.54/321.54	c |    486359 |    8309    71595   240351 |    90012    87331     19 |  0.288 % |
321.84/321.86	c |    486670 |    8309    71595   240351 |    90012    87642     19 |  0.288 % |
322.14/322.17	c |    487010 |    8309    71595   240351 |    90012    87982     19 |  0.288 % |
322.44/322.49	c |    487384 |    8309    71595   240351 |    90012    88356     19 |  0.288 % |
322.84/322.88	c |    487793 |    8309    71595   240351 |    90012    88765     19 |  0.288 % |
323.14/323.16	c |    488242 |    8309    71595   240351 |    90012    89214     20 |  0.288 % |
323.74/323.78	c |    488735 |    8309    71595   240351 |    90012    89707     20 |  0.288 % |
324.44/324.47	c |    489278 |    8309    71595   240351 |    90012    90250     20 |  0.288 % |
325.04/325.08	c |    489874 |    8309    71595   240351 |    90012    81821     19 |  0.288 % |
325.44/325.44	c |    490529 |    8309    71595   240351 | 2147483647    82476     19 |  0.288 % |
326.14/326.17	c |    491249 |    8309    71595   240351 | 2147483647    83196     19 |  0.288 % |
326.74/326.79	c |    492042 |    8309    71595   240351 | 2147483647    83989     19 |  0.288 % |
327.44/327.43	c |    492915 |    8309    71595   240351 | 2147483647    84862     19 |  0.288 % |
328.44/328.48	c |    493873 |    8309    71595   240351 | 2147483647    85820     19 |  0.288 % |
329.24/329.21	c |    494927 |    8309    71595   240351 | 2147483647    86874     20 |  0.288 % |
330.24/330.26	c |    496086 |    8309    71595   240351 | 2147483647    88033     19 |  0.288 % |
330.94/330.92	c |    497360 |    8309    71595   240351 | 2147483647    89307     20 |  0.288 % |
332.04/332.11	c |    498760 |    8309    71595   240351 | 2147483647    90707     20 |  0.288 % |
333.74/333.78	c |    500300 |    8309    71595   240351 |    91947    82406     19 |  0.288 % |
334.94/334.91	c |    501996 |    8309    71595   240351 |    91947    84102     19 |  0.288 % |
336.74/336.78	c |    503861 |    8309    71595   240351 |    91947    85967     19 |  0.288 % |
338.24/338.26	c |    505910 |    8309    71595   240351 |    91947    88016     20 |  0.288 % |
340.44/340.50	c |    508164 |    8309    71595   240351 |    91947    90270     20 |  0.288 % |
343.04/343.06	c |    510642 |    8309    71595   240351 |    92107    81858     19 |  0.288 % |
345.74/345.72	c |    513368 |    8309    71595   240351 |    92107    84584     19 |  0.288 % |
348.04/348.08	c |    516366 |    8309    71595   240351 |    92107    87582     19 |  0.288 % |
351.04/351.05	c |    519663 |    8309    71595   240351 |    92107    90879     20 |  0.288 % |
353.84/353.81	c |    523288 |    8309    71595   240351 |    91216    84725     20 |  0.288 % |
357.14/357.13	c |    527275 |    8309    71595   240351 |    91216    88712     20 |  0.288 % |
360.74/360.73	c |    531662 |    8309    71595   240351 | 2147483647    93099     20 |  0.288 % |
366.24/366.27	c |    536488 |    8309    71595   240351 | 2147483647    97925     20 |  0.288 % |
366.35/366.34	c |    536588 |    8309    71595   240351 | 2147483647    98025     20 |  0.288 % |
366.44/366.48	c |    536698 |    8309    71595   240351 | 2147483647    98135     20 |  0.288 % |
366.64/366.61	c |    536822 |    8309    71595   240351 | 2147483647    98259     20 |  0.288 % |
366.64/366.67	c |    536955 |    8309    71595   240351 | 2147483647    98392     20 |  0.288 % |
366.74/366.78	c |    537102 |    8309    71595   240351 | 2147483647    98539     20 |  0.288 % |
366.94/366.94	c |    537263 |    8309    71595   240351 | 2147483647    98700     20 |  0.288 % |
367.04/367.06	c |    537440 |    8309    71595   240351 | 2147483647    98877     21 |  0.288 % |
367.24/367.26	c |    537633 |    8309    71595   240351 | 2147483647    99070     21 |  0.288 % |
367.54/367.52	c |    537845 |    8309    71595   240351 | 2147483647    99282     21 |  0.288 % |
367.84/367.84	c |    538078 |    8309    71595   240351 | 2147483647    99515     21 |  0.288 % |
368.04/368.09	c |    538334 |    8309    71595   240351 | 2147483647    99771     21 |  0.288 % |
368.34/368.37	c |    538615 |    8309    71595   240351 | 2147483647   100052     21 |  0.288 % |
368.64/368.68	c |    538926 |    8309    71595   240351 | 2147483647   100363     21 |  0.288 % |
369.04/369.09	c |    539266 |    8309    71595   240351 | 2147483647   100703     21 |  0.288 % |
369.44/369.50	c |    539639 |    8309    71595   240351 | 2147483647   101076     21 |  0.288 % |
369.84/369.89	c |    540049 |    8309    71595   240351 |   101437   101486     21 |  0.288 % |
370.44/370.47	c |    540499 |    8309    71595   240351 |   101437    87509     20 |  0.288 % |
370.84/370.90	c |    540993 |    8309    71595   240351 |   101437    88003     20 |  0.288 % |
371.34/371.38	c |    541537 |    8309    71595   240351 |   101437    88547     20 |  0.288 % |
371.94/371.94	c |    542134 |    8309    71595   240351 |   101437    89144     20 |  0.288 % |
372.44/372.49	c |    542790 |    8309    71595   240351 |   101437    89800     20 |  0.288 % |
372.95/372.93	c |    543510 |    8309    71595   240351 |   101437    90520     20 |  0.288 % |
373.64/373.67	c |    544302 |    8309    71595   240351 |   101437    91312     20 |  0.288 % |
374.34/374.40	c |    545173 |    8309    71595   240351 |   101437    92183     20 |  0.288 % |
375.34/375.34	c |    546131 |    8309    71595   240351 |   101437    93141     20 |  0.288 % |
376.14/376.21	c |    547184 |    8309    71595   240351 |   101437    94194     20 |  0.288 % |
377.04/377.04	c |    548344 |    8309    71595   240351 |   101437    95354     20 |  0.288 % |
378.45/378.43	c |    549617 |    8309    71595   240351 |   101437    96627     20 |  0.288 % |
379.94/379.95	c |    551017 |    8309    71595   240351 |    97010    84625     20 |  0.288 % |
381.34/381.37	c |    552558 |    8309    71595   240351 |    97010    86166     20 |  0.288 % |
383.04/383.01	c |    554254 |    8307    71570   240291 |    97010    87861     20 |  0.312 % |
384.24/384.24	c |    556118 |    8307    71570   240291 |    97010    89725     20 |  0.312 % |
386.54/386.57	c |    558167 |    8307    71570   240291 |    97010    91774     20 |  0.312 % |
388.44/388.45	c |    560421 |    8307    71570   240291 |    93607    82889     20 |  0.312 % |
390.24/390.30	c |    562900 |    8307    71570   240291 |    93607    85368     20 |  0.312 % |
392.04/392.02	c |    565625 |    8307    71570   240291 |    93607    88093     20 |  0.312 % |
394.34/394.36	c |    568625 |    8307    71570   240291 |    93607    91093     20 |  0.312 % |
396.94/396.92	c |    571923 |    8307    71570   240291 | 2147483647    94391     20 |  0.312 % |
400.14/400.18	c |    575550 |    8307    71570   240291 | 2147483647    98018     20 |  0.312 % |
405.04/405.01	c |    579537 |    8307    71570   240291 | 2147483647   102005     20 |  0.312 % |
409.45/409.45	c |    583922 |    8307    71570   240291 |   102468    92461     20 |  0.312 % |
413.75/413.76	c |    588745 |    8307    71570   240291 |   102468    97284     20 |  0.312 % |
419.95/419.97	c |    594050 |    8307    71570   240291 |    98539    88818     19 |  0.312 % |
420.05/420.09	c |    594150 |    8307    71570   240291 |    98539    88918     19 |  0.312 % |
420.15/420.16	c |    594260 |    8307    71570   240291 |    98539    89028     19 |  0.312 % |
420.35/420.33	c |    594381 |    8307    71570   240291 |    98539    89149     19 |  0.312 % |
420.45/420.46	c |    594515 |    8307    71570   240291 |    98539    89283     19 |  0.312 % |
420.65/420.69	c |    594663 |    8307    71570   240291 |    98539    89431     19 |  0.312 % |
420.85/420.89	c |    594824 |    8307    71570   240291 |    98539    89592     19 |  0.312 % |
421.05/421.03	c |    595000 |    8307    71570   240291 |    98539    89768     20 |  0.312 % |
421.25/421.29	c |    595193 |    8307    71570   240291 |    98539    89961     20 |  0.312 % |
421.55/421.57	c |    595405 |    8307    71570   240291 |    98539    90173     20 |  0.312 % |
421.75/421.74	c |    595639 |    8307    71570   240291 |    98539    90407     20 |  0.312 % |
422.05/422.03	c |    595899 |    8307    71570   240291 |    98539    90667     20 |  0.312 % |
422.15/422.20	c |    596181 |    8307    71570   240291 |    98539    90949     20 |  0.312 % |
422.45/422.45	c |    596490 |    8307    71570   240291 |    98539    91258     20 |  0.312 % |
422.75/422.75	c |    596830 |    8307    71570   240291 |    98539    91598     20 |  0.312 % |
423.05/423.09	c |    597202 |    8307    71570   240291 |    98539    91970     20 |  0.312 % |
423.45/423.49	c |    597613 |    8307    71570   240291 |    98539    92381     20 |  0.312 % |
423.85/423.84	c |    598064 |    8307    71570   240291 |    98539    92832     20 |  0.312 % |
424.35/424.32	c |    598559 |    8307    71570   240291 |    98539    93327     20 |  0.312 % |
424.95/424.99	c |    599103 |    8307    71570   240291 |    98539    93871     20 |  0.312 % |
425.65/425.63	c |    599703 |    8307    71570   240291 |    98539    94471     20 |  0.312 % |
426.45/426.44	c |    600358 |    8307    71570   240291 |    94770    80746     19 |  0.312 % |
427.15/427.13	c |    601080 |    8307    71570   240291 |    94770    81468     19 |  0.312 % |
427.75/427.78	c |    601872 |    8307    71570   240291 |    94770    82260     19 |  0.312 % |
428.65/428.63	c |    602743 |    8307    71570   240291 |    94770    83131     19 |  0.312 % |
429.55/429.59	c |    603705 |    8307    71570   240291 |    94770    84093     19 |  0.312 % |
430.35/430.35	c |    604758 |    8307    71570   240291 |    94770    85146     19 |  0.312 % |
431.15/431.13	c |    605917 |    8307    71570   240291 |    94770    86305     20 |  0.312 % |
432.05/432.08	c |    607190 |    8307    71570   240291 |    94770    87578     20 |  0.312 % |
433.15/433.20	c |    608591 |    8307    71570   240291 |    94770    88979     20 |  0.312 % |
434.95/435.00	c |    610131 |    8307    71570   240291 |    90390    90519     20 |  0.312 % |
436.45/436.51	c |    611826 |    8307    71570   240291 |    90390    82226     20 |  0.312 % |
437.85/437.82	c |    613690 |    8307    71570   240291 |    90390    84090     20 |  0.312 % |
439.45/439.43	c |    615740 |    8307    71570   240291 |    90390    86140     20 |  0.312 % |
441.05/441.09	c |    617993 |    8307    71570   240291 |    90390    88393     20 |  0.312 % |
443.65/443.65	c |    620471 |    8307    71570   240291 | 2147483647    90871     20 |  0.312 % |
446.45/446.45	c |    623198 |    8307    71570   240291 | 2147483647    93598     20 |  0.312 % |
449.45/449.44	c |    626196 |    8307    71570   240291 | 2147483647    96596     20 |  0.312 % |
452.75/452.72	c |    629492 |    8307    71570   240291 | 2147483647    99892     21 |  0.312 % |
456.55/456.56	c |    633118 |    8307    71570   240291 |   100400    89726     20 |  0.312 % |
459.85/459.84	c |    637105 |    8307    71570   240291 |   100400    93713     20 |  0.312 % |
464.55/464.53	c |    641492 |    8307    71570   240291 |    96609    85412     20 |  0.312 % |
468.85/468.91	c |    646315 |    8307    71570   240291 |    96609    90235     20 |  0.312 % |
473.45/473.50	c |    651621 |    8307    71570   240291 |    93921    84328     20 |  0.312 % |
478.35/478.33	c |    657457 |    8307    71570   240291 |    93921    90164     20 |  0.312 % |
478.45/478.43	c |    657558 |    8307    71570   240291 |    93921    90265     20 |  0.312 % |
478.56/478.56	c |    657668 |    8307    71570   240291 |    93921    90375     20 |  0.312 % |
478.65/478.70	c |    657790 |    8307    71570   240291 |    93921    90497     20 |  0.312 % |
478.85/478.89	c |    657924 |    8307    71570   240291 |    93921    90631     20 |  0.312 % |
479.05/479.06	c |    658070 |    8307    71570   240291 |    93921    90777     20 |  0.312 % |
479.25/479.27	c |    658230 |    8307    71570   240291 |    93921    90937     20 |  0.312 % |
479.45/479.44	c |    658406 |    8307    71570   240291 |    93921    91113     20 |  0.312 % |
479.55/479.61	c |    658599 |    8307    71570   240291 |    93921    91306     20 |  0.312 % |
479.95/479.92	c |    658811 |    8307    71570   240291 |    93921    91518     20 |  0.312 % |
480.15/480.16	c |    659044 |    8307    71570   240291 |    93921    91751     20 |  0.312 % |
480.45/480.47	c |    659300 |    8307    71570   240291 |    93921    92007     20 |  0.312 % |
480.76/480.75	c |    659581 |    8307    71570   240291 |    93921    92288     20 |  0.312 % |
481.05/481.11	c |    659891 |    8307    71570   240291 |    93921    92598     20 |  0.312 % |
481.65/481.68	c |    660230 |    8307    71570   240291 |    92707    80298     19 |  0.312 % |
481.95/481.99	c |    660603 |    8307    71570   240291 |    92707    80671     19 |  0.312 % |
482.25/482.28	c |    661013 |    8307    71570   240291 |    92707    81081     19 |  0.312 % |
482.65/482.70	c |    661462 |    8307    71570   240291 |    92707    81530     19 |  0.312 % |
483.05/483.08	c |    661955 |    8307    71570   240291 |    92707    82023     20 |  0.312 % |
483.55/483.56	c |    662499 |    8307    71570   240291 |    92707    82567     20 |  0.312 % |
484.15/484.14	c |    663097 |    8307    71570   240291 |    92707    83165     20 |  0.312 % |
484.75/484.79	c |    663753 |    8307    71570   240291 |    92707    83821     20 |  0.312 % |
485.55/485.51	c |    664473 |    8307    71570   240291 |    92707    84541     20 |  0.312 % |
486.26/486.29	c |    665267 |    8307    71570   240291 |    92707    85335     20 |  0.312 % |
487.15/487.18	c |    666138 |    8307    71570   240291 |    92707    86206     20 |  0.312 % |
487.95/487.97	c |    667096 |    8307    71570   240291 |    92707    87164     20 |  0.312 % |
489.05/489.07	c |    668150 |    8307    71570   240291 |    92707    88218     20 |  0.312 % |
490.25/490.28	c |    669308 |    8307    71570   240291 |    92707    89376     20 |  0.312 % |
491.45/491.46	c |    670581 |    8307    71570   240291 |    90068    80978     19 |  0.312 % |
492.75/492.75	c |    671981 |    8307    71570   240291 |    90068    82378     19 |  0.312 % |
494.15/494.12	c |    673521 |    8307    71570   240291 |    90068    83918     19 |  0.312 % |
495.45/495.48	c |    675215 |    8307    71570   240291 |    90068    85612     20 |  0.312 % |
497.55/497.56	c |    677080 |    8307    71570   240291 |    90068    87477     20 |  0.312 % |
499.55/499.60	c |    679130 |    8307    71570   240291 |    90068    89527     20 |  0.312 % |
501.75/501.81	c |    681385 |    8307    71570   240291 | 2147483647    82761     19 |  0.312 % |
503.65/503.61	c |    683864 |    8307    71570   240291 | 2147483647    85240     19 |  0.312 % |
506.45/506.42	c |    686592 |    8307    71570   240291 | 2147483647    87968     19 |  0.312 % |
509.65/509.62	c |    689590 |    8307    71570   240291 | 2147483647    90966     20 |  0.312 % |
512.85/512.85	c |    692888 |    8307    71570   240291 | 2147483647    94264     20 |  0.312 % |
516.45/516.46	c |    696513 |    8306    71567   240285 | 2147483647    97887     19 |  0.324 % |
521.06/521.06	c |    700501 |    8306    71567   240285 |   101375    87038     19 |  0.324 % |
525.06/525.08	c |    704887 |    8306    71567   240285 |   101375    91424     19 |  0.324 % |
529.36/529.38	c |    709711 |    8306    71567   240285 |   101375    96248     19 |  0.324 % |
534.16/534.13	c |    715017 |    8306    71567   240285 |    96537    90171     19 |  0.324 % |
539.95/540.01	c |    720852 |    8306    71567   240285 |    95154    86461     18 |  0.324 % |
543.75/543.78	c |    727270 |    8285    70218   232644 |    95154    25775     12 |  0.576 % |
543.75/543.80	c |    727372 |    8285    70218   232644 |    95154    25877     12 |  0.576 % |
543.85/543.82	c |    727482 |    8285    70218   232644 |    95154    25987     12 |  0.576 % |
543.85/543.86	c |    727603 |    8285    70218   232644 |    95154    26108     12 |  0.576 % |
543.85/543.89	c |    727736 |    8285    70218   232644 |    95154    26241     12 |  0.576 % |
543.95/543.92	c |    727884 |    8285    70218   232644 |    95154    26389     12 |  0.576 % |
543.95/543.96	c |    728044 |    8285    70218   232644 |    95154    26549     12 |  0.576 % |
543.95/544.00	c |    728221 |    8285    70218   232644 |    95154    26726     12 |  0.576 % |
544.05/544.04	c |    728415 |    8285    70218   232644 |    95154    26920     12 |  0.576 % |
544.05/544.08	c |    728629 |    8285    70218   232644 |    95154    27134     12 |  0.576 % |
544.15/544.13	c |    728862 |    8282    70218   232644 |    95154    27366     12 |  0.672 % |
544.15/544.18	c ===============================================================================
544.15/544.18	c restarts              : 1047
544.15/544.18	c conflicts             : 729074         (1343 /sec)
544.15/544.18	c decisions             : 1051384        (1.82 % random) (1937 /sec)
544.15/544.18	c propagations          : 168374979      (310231 /sec)
544.15/544.18	c conflict literals     : 16205548       (36.83 % deleted)
544.15/544.18	c Memory used           : 20.92 MB
544.15/544.18	c CPU time              : 542.74 s
544.15/544.18	c 
544.15/544.18	s UNSATISFIABLE
544.15/544.18	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821382-1242522853/watcher-1821382-1242522853 -o /tmp/evaluation-result-1821382-1242522853/solver-1821382-1242522853 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821382-1242522853.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: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=956 CPUtime=0
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 130 0 0 0 0 0 0 0 25 0 1 0 1016786163 978944 66 4294967295 134512640 135223648 3218159696 3218158292 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 239 69 47 174 0 64 0

[startup+0.051079 s]
/proc/loadavg: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=6280 CPUtime=0.05
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 1430 0 0 0 3 2 0 0 25 0 1 0 1016786163 6430720 1366 4294967295 134512640 135223648 3218159696 3218158648 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 1570 1369 47 174 0 1395 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8692

[startup+0.111077 s]
/proc/loadavg: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=12696 CPUtime=0.11
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 2871 0 0 0 9 2 0 0 25 0 1 0 1016786163 13000704 2807 4294967295 134512640 135223648 3218159696 3218158648 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 3174 2809 47 174 0 2999 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 15108

[startup+0.311102 s]
/proc/loadavg: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=22592 CPUtime=0.31
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 4736 0 0 0 27 4 0 0 25 0 1 0 1016786163 23134208 4672 4294967295 134512640 135223648 3218159696 3218157776 134548331 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 5648 4672 72 174 0 5473 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 25004

[startup+0.711047 s]
/proc/loadavg: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=22368 CPUtime=0.71
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 5087 0 0 0 67 4 0 0 25 0 1 0 1016786163 22904832 4618 4294967295 134512640 135223648 3218159696 3218157712 134586669 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 5592 4618 73 174 0 5417 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 24780

[startup+1.51101 s]
/proc/loadavg: 0.95 1.01 1.00 2/95 11744
/proc/meminfo: memFree=1157192/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 2416

[startup+3.11093 s]
/proc/loadavg: 0.95 1.01 1.00 2/95 11745
/proc/meminfo: memFree=1169964/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=7716 CPUtime=1.76
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 1840 0 0 0 173 3 0 0 25 0 1 0 1016786298 7901184 1775 4294967295 134512640 135215339 3220845376 3220843664 134528809 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 1929 1775 73 172 0 1756 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10132

[startup+6.31084 s]
/proc/loadavg: 0.95 1.01 1.00 2/95 11745
/proc/meminfo: memFree=1167028/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=10072 CPUtime=4.96
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 2410 0 0 0 492 4 0 0 25 0 1 0 1016786298 10313728 2345 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 2518 2345 73 172 0 2345 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12488

[startup+12.7105 s]
/proc/loadavg: 0.96 1.01 1.00 2/95 11745
/proc/meminfo: memFree=1163908/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=12836 CPUtime=11.36
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 3104 0 0 0 1132 4 0 0 25 0 1 0 1016786298 13144064 3039 4294967295 134512640 135215339 3220845376 3220843664 134529080 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 3209 3039 73 172 0 3036 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 15252

[startup+25.5098 s]
/proc/loadavg: 0.97 1.01 1.00 2/95 11745
/proc/meminfo: memFree=1160532/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=16204 CPUtime=24.16
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 3913 0 0 0 2409 7 0 0 25 0 1 0 1016786298 16592896 3848 4294967295 134512640 135215339 3220845376 3220843440 134538110 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 4051 3848 73 172 0 3878 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 18620

[startup+51.1086 s]
/proc/loadavg: 0.98 1.00 1.00 2/95 11930
/proc/meminfo: memFree=1158904/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=17624 CPUtime=49.76
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 4247 0 0 0 4969 7 0 0 25 0 1 0 1016786298 18046976 4182 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 4406 4182 73 172 0 4233 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 20040

[startup+102.316 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 12117
/proc/meminfo: memFree=1156716/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=19796 CPUtime=100.97
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 4799 0 0 0 10090 7 0 0 25 0 1 0 1016786298 20271104 4699 4294967295 134512640 135215339 3220845376 3220843664 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 4949 4699 73 172 0 4776 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 22212

[startup+162.313 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 12306
/proc/meminfo: memFree=1156212/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=20212 CPUtime=160.97
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 4909 0 0 0 16090 7 0 0 25 0 1 0 1016786298 20697088 4809 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5053 4809 73 172 0 4880 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 22628

[startup+222.31 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 12497
/proc/meminfo: memFree=1155816/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=20488 CPUtime=220.97
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 4987 0 0 0 22090 7 0 0 25 0 1 0 1016786298 20979712 4887 4294967295 134512640 135215339 3220845376 3220843664 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5122 4887 73 172 0 4949 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 22904

[startup+282.307 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 12683
/proc/meminfo: memFree=1155732/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=20652 CPUtime=280.97
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5030 0 0 0 28090 7 0 0 25 0 1 0 1016786298 21147648 4930 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5163 4930 73 172 0 4990 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 23068

[startup+342.314 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 12876
/proc/meminfo: memFree=1155080/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21128 CPUtime=340.98
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5108 0 0 0 34091 7 0 0 25 0 1 0 1016786298 21635072 5008 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5282 5008 73 172 0 5109 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 23544

[startup+402.311 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 13065
/proc/meminfo: memFree=1154872/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21284 CPUtime=400.98
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5149 0 0 0 40087 11 0 0 25 0 1 0 1016786298 21794816 5049 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5321 5049 73 172 0 5148 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 23700

[startup+462.319 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13254
/proc/meminfo: memFree=1154492/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21284 CPUtime=460.99
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5149 0 0 0 46088 11 0 0 25 0 1 0 1016786298 21794816 5049 4294967295 134512640 135215339 3220845376 3220843664 134528673 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5321 5049 73 172 0 5148 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 23700

[startup+522.326 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13442
/proc/meminfo: memFree=1154212/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=521
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5201 0 0 0 52089 11 0 0 25 0 1 0 1016786298 21934080 5101 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5101 73 172 0 5182 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 23836

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

[startup+524.726 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13442
/proc/meminfo: memFree=1154244/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=523.4
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 52329 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134529080 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 524.76
Current children cumulated vsize (KiB) 23836

[startup+537.515 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154308/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=536.19
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 53608 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (KiB) 23836

[startup+540.715 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=539.39
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 53928 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 540.75
Current children cumulated vsize (KiB) 23836

[startup+542.315 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=540.99
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 54088 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134529051 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 542.35
Current children cumulated vsize (KiB) 23836

[startup+543.115 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=541.79
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 54168 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 543.15
Current children cumulated vsize (KiB) 23836

[startup+543.915 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=542.59
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 54248 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 543.95
Current children cumulated vsize (KiB) 23836

[startup+544.115 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=542.79
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 54268 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 544.15
Current children cumulated vsize (KiB) 23836

Child status: 20
Real time (s): 544.187
CPU time (s): 544.22
CPU user time (s): 544.05
CPU system time (s): 0.17
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 28000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 544.05
system time used= 0.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12165
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= 335

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi13 at 2009-05-17 03:14:13
IDJOB=1821382
IDBENCH=70947
IDSOLVER=657
FILE ID=tipi13/1821382-1242522853
PBS_JOBID=
Free space on /tmp= 7053 MiB

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

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

MD5SUM BENCH= e7c28f6a200a1c1912fbaacfb3572515
RANDOM SEED= 1838937528

Linux tipi13 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.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1178716 kB
Buffers:         44412 kB
Cached:         758256 kB
SwapCached:       3516 kB
Active:         353292 kB
Inactive:       458800 kB
HighTotal:     1178688 kB
HighFree:       444228 kB
LowTotal:       895776 kB
LowFree:        734488 kB
SwapTotal:     1959888 kB
SwapFree:      1950884 kB
Dirty:            5012 kB
Writeback:           0 kB
AnonPages:        8780 kB
Mapped:           3016 kB
Slab:            74712 kB
PageTables:        468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 7053 MiB
End job on tipi13 at 2009-05-17 03:23:18