Trace number 1821430

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.11 1200.04

General information on the benchmark

NameAPPLICATIONS/
c32sat/post-c32s-ss-8.cnf
MD5SUM9d3d3bb9b296880c7463693ae665aafd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables53752
Number of clauses148393
Sum of the clauses size346249
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 298928
Number of clauses of size 349464
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.12/0.13	c ==============================================================================
0.12/0.13	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.13	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.13	c ==============================================================================
0.12/0.13	c |         0 |  135726   315843 |   40717       0        0     nan |  0.000 % |
1.62/1.65	c |         0 |   65966   210427 |      --       0       --      -- |     --   | -69152/-103784
1.62/1.65	c ==============================================================================
1.62/1.65	c Result  :   #vars: 13761   #clauses: 65966   #literals: 210427
1.62/1.65	c CPU time:   1.62 s
1.62/1.65	c ==============================================================================
1.72/1.73	c This is MiniSat 2.0 beta
1.72/1.73	c WARNING: for repeatability, setting FPU to use double precision
1.72/1.73	c ============================[ Problem Statistics ]=============================
1.72/1.73	c |                                                                             |
1.72/1.73	c |  Number of variables:  13761                                                |
1.72/1.73	c |  Number of clauses:    65966                                                |
1.72/1.78	c |  Parsing time:         0.05         s                                       |
1.72/1.78	c ============================[ Search Statistics ]==============================
1.72/1.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.72/1.78	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.72/1.78	c ===============================================================================
1.72/1.78	c |         0 |   13761    65966   210427 |    21988        0    nan |  0.000 % |
1.72/1.80	c |       101 |   13761    65966   210427 |    21988      101     11 |  0.000 % |
1.74/1.82	c |       201 |   13761    65966   210427 |    21988      201     11 |  0.000 % |
1.74/1.84	c |       302 |   13761    65966   210427 |    21988      302     13 |  0.000 % |
1.74/1.87	c |       412 |   13761    65966   210427 |    21988      412     17 |  0.000 % |
1.74/1.90	c |       512 |   13761    65966   210427 |    21988      512     18 |  0.000 % |
1.74/1.91	c |       622 |   13761    65966   210427 |    21988      622     17 |  0.000 % |
1.74/1.92	c |       743 |   13761    65966   210427 |    21988      743     16 |  0.000 % |
1.74/1.94	c |       845 |   13760    65963   210421 |    21988      844     15 |  0.007 % |
1.74/1.94	c |       955 |   13760    65963   210421 |    21988      954     14 |  0.007 % |
1.74/1.98	c |      1077 |   13760    65963   210421 |    21988     1076     16 |  0.007 % |
1.74/2.00	c |      1210 |   13760    65963   210421 |    21988     1209     15 |  0.007 % |
1.74/2.02	c |      1312 |   13760    65963   210421 |    21988     1311     16 |  0.007 % |
1.74/2.04	c |      1423 |   13760    65963   210421 |    21988     1422     17 |  0.007 % |
1.74/2.07	c |      1544 |   13760    65963   210421 |    21988     1543     18 |  0.007 % |
1.74/2.10	c |      1677 |   13760    65963   210421 |    21988     1676     19 |  0.007 % |
2.12/2.12	c |      1823 |   13760    65963   210421 |    21988     1822     19 |  0.007 % |
2.12/2.12	c |      1925 |   13760    65963   210421 |    21988     1924     18 |  0.007 % |
2.12/2.16	c |      2035 |   13760    65963   210421 |    21988     2034     20 |  0.007 % |
2.12/2.21	c |      2169 |   13760    65963   210421 |    21988     2168     21 |  0.007 % |
2.22/2.24	c |      2302 |   13760    65963   210421 |    21988     2301     22 |  0.007 % |
2.22/2.28	c |      2449 |   13760    65963   210421 |    21988     2448     22 |  0.007 % |
2.22/2.30	c |      2609 |   13760    65963   210421 |    21988     2608     22 |  0.007 % |
2.32/2.32	c |      2710 |   13760    65963   210421 |    21988     2709     22 |  0.007 % |
2.32/2.33	c |      2822 |   13760    65963   210421 |    21988     2821     21 |  0.007 % |
2.32/2.37	c |      2943 |   13760    65963   210421 |    21988     2942     22 |  0.007 % |
2.32/2.39	c |      3076 |   13760    65963   210421 |    21988     3075     22 |  0.007 % |
2.42/2.43	c |      3222 |   13760    65963   210421 |    21988     3221     22 |  0.007 % |
2.42/2.48	c |      3384 |   13759    65960   210415 |    21988     3381     22 |  0.015 % |
2.42/2.50	c |      3560 |   13759    65960   210415 |    21988     3557     21 |  0.015 % |
2.52/2.53	c |      3660 |   13759    65960   210415 |    21988     3657     20 |  0.015 % |
2.52/2.58	c |      3770 |   13759    65960   210415 |    21988     3767     21 |  0.015 % |
2.52/2.60	c |      3891 |   13759    65960   210415 |    21988     3888     20 |  0.015 % |
2.52/2.61	c |      4025 |   13759    65960   210415 |    21988     4022     20 |  0.015 % |
2.62/2.65	c |      4172 |   13759    65960   210415 |    21988     4169     20 |  0.015 % |
2.62/2.68	c |      4332 |   13759    65960   210415 |    21988     4329     20 |  0.015 % |
2.62/2.70	c |      4509 |   13759    65960   210415 |    21988     4506     19 |  0.015 % |
2.72/2.76	c |      4702 |   13759    65960   210415 |    21988     4699     20 |  0.015 % |
2.72/2.79	c |      4802 |   13759    65960   210415 |    21988     4799     20 |  0.015 % |
2.72/2.80	c |      4912 |   13759    65960   210415 |    21988     4909     20 |  0.015 % |
2.82/2.84	c |      5033 |   13759    65960   210415 |    21988     5030     20 |  0.015 % |
2.82/2.86	c |      5167 |   13759    65960   210415 |    21988     5164     20 |  0.015 % |
2.82/2.88	c |      5313 |   13759    65960   210415 |    21988     5310     21 |  0.015 % |
2.92/2.92	c |      5474 |   13759    65960   210415 |    21988     5471     21 |  0.015 % |
2.92/2.97	c |      5650 |   13759    65960   210415 |    21988     5647     21 |  0.015 % |
3.02/3.04	c |      5845 |   13759    65960   210415 |    21988     5842     21 |  0.015 % |
3.02/3.10	c |      6058 |   13759    65960   210415 |    21988     6055     22 |  0.015 % |
3.12/3.12	c |      6158 |   13759    65960   210415 |    21988     6155     23 |  0.015 % |
3.12/3.16	c |      6271 |   13759    65960   210415 |    21988     6268     23 |  0.015 % |
3.12/3.17	c |      6392 |   13759    65960   210415 |    21988     6389     23 |  0.015 % |
3.12/3.19	c |      6525 |   13759    65960   210415 |    21988     6522     23 |  0.015 % |
3.22/3.21	c |      6673 |   13759    65960   210415 |    21988     6670     23 |  0.015 % |
3.22/3.25	c |      6833 |   13759    65960   210415 |    21988     6830     23 |  0.015 % |
3.22/3.27	c |      7009 |   13759    65960   210415 |    21988     7006     23 |  0.015 % |
3.22/3.28	c |      7202 |   13759    65960   210415 |    21988     7199     23 |  0.015 % |
3.32/3.33	c |      7414 |   13759    65960   210415 |    21988     7411     24 |  0.015 % |
3.32/3.38	c |      7647 |   13759    65960   210415 |    21988     7644     24 |  0.015 % |
3.42/3.42	c |      7749 |   13759    65960   210415 |    21988     7746     24 |  0.015 % |
3.42/3.43	c |      7859 |   13759    65960   210415 |    21988     7856     23 |  0.015 % |
3.42/3.46	c |      7980 |   13759    65960   210415 |    21988     7977     23 |  0.015 % |
3.52/3.52	c |      8115 |   13759    65960   210415 |    21988     8112     23 |  0.015 % |
3.52/3.53	c |      8262 |   13759    65960   210415 |    21988     8259     23 |  0.015 % |
3.52/3.55	c |      8422 |   13759    65960   210415 |    21988     8419     23 |  0.015 % |
3.52/3.57	c |      8598 |   13759    65960   210415 |    21988     8595     22 |  0.015 % |
3.52/3.57	c |      8791 |   13759    65960   210415 |    21988     8788     22 |  0.015 % |
3.62/3.62	c |      9004 |   13759    65960   210415 |    21988     9001     22 |  0.015 % |
3.62/3.66	c |      9237 |   13759    65960   210415 |    21988     9234     22 |  0.015 % |
3.62/3.70	c |      9493 |   13759    65960   210415 |    21988     9490     22 |  0.015 % |
3.72/3.73	c |      9593 |   13759    65960   210415 |    21988     9590     22 |  0.015 % |
3.72/3.76	c |      9703 |   13759    65960   210415 |    21988     9700     22 |  0.015 % |
3.72/3.79	c |      9824 |   13759    65960   210415 |    21988     9821     22 |  0.015 % |
3.82/3.82	c |      9957 |   13759    65960   210415 |    21988     9954     22 |  0.015 % |
3.82/3.87	c |     10103 |   13759    65960   210415 | 2147483647    10100     22 |  0.015 % |
3.82/3.90	c |     10263 |   13759    65960   210415 | 2147483647    10260     22 |  0.015 % |
3.92/3.95	c |     10440 |   13759    65960   210415 | 2147483647    10437     22 |  0.015 % |
3.92/3.98	c |     10634 |   13759    65960   210415 | 2147483647    10631     22 |  0.015 % |
4.02/4.01	c |     10848 |   13759    65960   210415 | 2147483647    10845     22 |  0.015 % |
4.02/4.05	c |     11081 |   13759    65960   210415 | 2147483647    11078     22 |  0.015 % |
4.02/4.08	c |     11338 |   13759    65960   210415 | 2147483647    11335     22 |  0.015 % |
4.12/4.11	c |     11623 |   13759    65960   210415 | 2147483647    11620     22 |  0.015 % |
4.12/4.14	c |     11724 |   13759    65960   210415 | 2147483647    11721     22 |  0.015 % |
4.12/4.16	c |     11836 |   13759    65960   210415 | 2147483647    11833     22 |  0.015 % |
4.22/4.21	c |     11957 |   13759    65960   210415 | 2147483647    11954     22 |  0.015 % |
4.22/4.25	c |     12090 |   13759    65960   210415 | 2147483647    12087     21 |  0.015 % |
4.32/4.32	c |     12236 |   13759    65960   210415 | 2147483647    12233     22 |  0.015 % |
4.32/4.36	c |     12397 |   13759    65960   210415 | 2147483647    12394     22 |  0.015 % |
4.32/4.38	c |     12573 |   13759    65960   210415 | 2147483647    12570     21 |  0.015 % |
4.32/4.39	c |     12766 |   13759    65960   210415 | 2147483647    12763     21 |  0.015 % |
4.42/4.45	c |     12978 |   13759    65960   210415 | 2147483647    12975     21 |  0.015 % |
4.52/4.52	c |     13211 |   13759    65960   210415 | 2147483647    13208     21 |  0.015 % |
4.52/4.54	c |     13467 |   13759    65960   210415 | 2147483647    13464     21 |  0.015 % |
4.62/4.63	c |     13748 |   13759    65960   210415 | 2147483647    13745     21 |  0.015 % |
4.62/4.70	c |     14057 |   13759    65960   210415 | 2147483647    14054     21 |  0.015 % |
4.72/4.71	c |     14159 |   13759    65960   210415 | 2147483647    14156     21 |  0.015 % |
4.72/4.72	c |     14269 |   13759    65960   210415 | 2147483647    14266     21 |  0.015 % |
4.72/4.73	c |     14390 |   13759    65960   210415 | 2147483647    14387     21 |  0.015 % |
4.72/4.76	c |     14524 |   13759    65960   210415 | 2147483647    14521     21 |  0.015 % |
4.82/4.83	c |     14670 |   13759    65960   210415 | 2147483647    14667     21 |  0.015 % |
4.82/4.87	c |     14831 |   13759    65960   210415 | 2147483647    14828     21 |  0.015 % |
4.92/4.91	c |     15009 |   13759    65960   210415 | 2147483647    15006     21 |  0.015 % |
4.92/4.95	c |     15202 |   13759    65960   210415 | 2147483647    15199     21 |  0.015 % |
4.92/5.00	c |     15417 |   13759    65960   210415 | 2147483647    15414     21 |  0.015 % |
5.02/5.09	c |     15652 |   13759    65960   210415 | 2147483647    15649     21 |  0.015 % |
5.12/5.13	c |     15909 |   13759    65960   210415 | 2147483647    15906     21 |  0.015 % |
5.12/5.19	c |     16190 |   13759    65960   210415 | 2147483647    16187     21 |  0.015 % |
5.32/5.33	c |     16500 |   13759    65960   210415 | 2147483647    16497     21 |  0.015 % |
5.42/5.42	c |     16840 |   13759    65960   210415 | 2147483647    16837     21 |  0.015 % |
5.42/5.45	c |     16940 |   13759    65960   210415 | 2147483647    16937     21 |  0.015 % |
5.42/5.46	c |     17050 |   13759    65960   210415 | 2147483647    17047     21 |  0.015 % |
5.42/5.49	c |     17173 |   13759    65960   210415 | 2147483647    17170     21 |  0.015 % |
5.52/5.51	c |     17306 |   13759    65960   210415 | 2147483647    17303     21 |  0.015 % |
5.52/5.54	c |     17452 |   13759    65960   210415 | 2147483647    17449     21 |  0.015 % |
5.62/5.62	c |     17612 |   13759    65960   210415 | 2147483647    17609     21 |  0.015 % |
5.62/5.66	c |     17788 |   13759    65960   210415 | 2147483647    17785     21 |  0.015 % |
5.72/5.72	c |     17984 |   13759    65960   210415 | 2147483647    17981     21 |  0.015 % |
5.72/5.80	c |     18196 |   13759    65960   210415 | 2147483647    18193     21 |  0.015 % |
5.82/5.84	c |     18433 |   13759    65960   210415 | 2147483647    18430     21 |  0.015 % |
5.82/5.90	c |     18689 |   13759    65960   210415 | 2147483647    18686     21 |  0.015 % |
5.92/5.94	c |     18971 |   13759    65960   210415 | 2147483647    18968     21 |  0.015 % |
5.92/5.97	c |     19280 |   13759    65960   210415 | 2147483647    19277     21 |  0.015 % |
6.02/6.08	c |     19621 |   13758    65955   210405 | 2147483647    19617     21 |  0.022 % |
6.12/6.16	c |     19993 |   13758    65955   210405 | 2147483647    19989     21 |  0.022 % |
6.12/6.17	c |     20093 |   13758    65955   210405 | 2147483647    20089     21 |  0.022 % |
6.12/6.17	c |     20203 |   13758    65955   210405 | 2147483647    20199     21 |  0.022 % |
6.12/6.20	c |     20324 |   13758    65955   210405 | 2147483647    20320     21 |  0.022 % |
6.22/6.29	c |     20457 |   13758    65955   210405 | 2147483647    20453     21 |  0.022 % |
6.32/6.34	c |     20613 |   13758    65955   210405 | 2147483647    20609     21 |  0.022 % |
6.42/6.43	c |     20773 |   13758    65955   210405 | 2147483647    20769     21 |  0.022 % |
6.52/6.51	c |     20951 |   13758    65955   210405 | 2147483647    20947     21 |  0.022 % |
6.52/6.55	c |     21144 |   13758    65955   210405 | 2147483647    21140     21 |  0.022 % |
6.52/6.59	c |     21356 |   13758    65955   210405 | 2147483647    21352     21 |  0.022 % |
6.62/6.68	c |     21589 |   13758    65955   210405 | 2147483647    21585     21 |  0.022 % |
6.72/6.71	c |     21845 |   13758    65955   210405 | 2147483647    21841     21 |  0.022 % |
6.72/6.75	c |     22126 |   13758    65955   210405 | 2147483647    22122     20 |  0.022 % |
6.72/6.78	c |     22437 |   13758    65955   210405 | 2147483647    22433     20 |  0.022 % |
6.72/6.80	c |     22776 |   13758    65955   210405 | 2147483647    22772     20 |  0.022 % |
6.82/6.83	c |     23149 |   13758    65955   210405 | 2147483647    23145     20 |  0.022 % |
6.82/6.89	c |     23558 |   13758    65955   210405 | 2147483647    23554     20 |  0.022 % |
6.92/6.92	c |     23660 |   13758    65955   210405 | 2147483647    23656     20 |  0.022 % |
6.92/6.94	c |     23774 |   13758    65955   210405 | 2147483647    23770     20 |  0.022 % |
6.92/6.96	c |     23899 |   13758    65955   210405 | 2147483647    23895     20 |  0.022 % |
6.92/6.98	c |     24032 |   13758    65955   210405 | 2147483647    24028     20 |  0.022 % |
7.02/7.05	c |     24179 |   13758    65955   210405 | 2147483647    24175     20 |  0.022 % |
7.02/7.08	c |     24339 |   13758    65955   210405 | 2147483647    24335     20 |  0.022 % |
7.12/7.11	c |     24515 |   13758    65955   210405 | 2147483647    24511     20 |  0.022 % |
7.12/7.18	c |     24710 |   13758    65955   210405 | 2147483647    24706     20 |  0.022 % |
7.22/7.26	c |     24922 |   13758    65955   210405 | 2147483647    24918     20 |  0.022 % |
7.22/7.30	c |     25155 |   13758    65955   210405 | 2147483647    25151     20 |  0.022 % |
7.32/7.35	c |     25411 |   13758    65955   210405 | 2147483647    25407     20 |  0.022 % |
7.32/7.37	c |     25692 |   13758    65955   210405 | 2147483647    25688     20 |  0.022 % |
7.42/7.45	c |     26001 |   13758    65955   210405 | 2147483647    25997     20 |  0.022 % |
7.52/7.52	c |     26342 |   13758    65955   210405 | 2147483647    26338     20 |  0.022 % |
7.52/7.57	c |     26714 |   13758    65955   210405 | 2147483647    26710     20 |  0.022 % |
7.62/7.68	c |     27126 |   13758    65955   210405 | 2147483647    27122     20 |  0.022 % |
7.72/7.77	c |     27575 |   13758    65955   210405 | 2147483647    27571     20 |  0.022 % |
7.72/7.79	c |     27675 |   13758    65955   210405 | 2147483647    27671     20 |  0.022 % |
7.72/7.80	c |     27785 |   13758    65955   210405 | 2147483647    27781     20 |  0.022 % |
7.82/7.84	c |     27906 |   13758    65955   210405 | 2147483647    27902     20 |  0.022 % |
7.82/7.86	c |     28041 |   13758    65955   210405 | 2147483647    28037     20 |  0.022 % |
7.92/7.93	c |     28187 |   13758    65955   210405 | 2147483647    28183     21 |  0.022 % |
8.02/8.04	c |     28349 |   13758    65955   210405 | 2147483647    28345     21 |  0.022 % |
8.12/8.14	c |     28526 |   13758    65955   210405 | 2147483647    28522     21 |  0.022 % |
8.12/8.18	c |     28719 |   13758    65955   210405 | 2147483647    28715     21 |  0.022 % |
8.22/8.21	c |     28931 |   13758    65955   210405 | 2147483647    28927     21 |  0.022 % |
8.22/8.28	c |     29166 |   13758    65955   210405 | 2147483647    29162     21 |  0.022 % |
8.32/8.35	c |     29424 |   13758    65955   210405 | 2147483647    29420     21 |  0.022 % |
8.42/8.45	c |     29706 |   13758    65955   210405 | 2147483647    29702     21 |  0.022 % |
8.52/8.58	c |     30015 |   13758    65955   210405 | 2147483647    30011     21 |  0.022 % |
8.72/8.71	c |     30354 |   13758    65955   210405 | 2147483647    30350     21 |  0.022 % |
8.72/8.79	c |     30727 |   13758    65955   210405 | 2147483647    30723     21 |  0.022 % |
8.92/8.96	c |     31136 |   13758    65955   210405 | 2147483647    31132     22 |  0.022 % |
9.02/9.10	c |     31585 |   13758    65955   210405 | 2147483647    31581     22 |  0.022 % |
9.12/9.15	c |     32078 |   13758    65955   210405 | 2147483647    32074     22 |  0.022 % |
9.12/9.19	c |     32178 |   13758    65955   210405 | 2147483647    32174     22 |  0.022 % |
9.22/9.29	c |     32289 |   13758    65955   210405 | 2147483647    32285     22 |  0.022 % |
9.32/9.32	c |     32410 |   13758    65955   210405 | 2147483647    32406     22 |  0.022 % |
9.32/9.37	c |     32543 |   13758    65955   210405 | 2147483647    32539     22 |  0.022 % |
9.32/9.39	c |     32689 |   13758    65955   210405 | 2147483647    32685     22 |  0.022 % |
9.42/9.42	c |     32850 |   13758    65955   210405 | 2147483647    32846     22 |  0.022 % |
9.42/9.45	c |     33028 |   13758    65955   210405 | 2147483647    33024     22 |  0.022 % |
9.42/9.48	c |     33224 |   13758    65955   210405 | 2147483647    33220     22 |  0.022 % |
9.52/9.55	c |     33437 |   13758    65955   210405 | 2147483647    33433     22 |  0.022 % |
9.52/9.58	c |     33670 |   13758    65955   210405 | 2147483647    33666     22 |  0.022 % |
9.62/9.67	c |     33927 |   13758    65955   210405 | 2147483647    33923     22 |  0.022 % |
9.72/9.76	c |     34209 |   13758    65955   210405 | 2147483647    34205     22 |  0.022 % |
9.82/9.83	c |     34520 |   13758    65955   210405 | 2147483647    34516     22 |  0.022 % |
9.92/9.93	c |     34859 |   13758    65955   210405 | 2147483647    34855     22 |  0.022 % |
10.02/10.07	c |     35232 |   13758    65955   210405 | 2147483647    35228     22 |  0.022 % |
10.12/10.14	c |     35642 |   13758    65955   210405 | 2147483647    35638     22 |  0.022 % |
10.22/10.26	c |     36094 |   13758    65955   210405 | 2147483647    36090     22 |  0.022 % |
10.32/10.35	c |     36587 |   13758    65955   210405 | 2147483647    36583     22 |  0.022 % |
10.42/10.42	c |     37133 |   13758    65955   210405 | 2147483647    37129     22 |  0.022 % |
10.42/10.44	c |     37234 |   13758    65955   210405 | 2147483647    37230     22 |  0.022 % |
10.42/10.48	c |     37346 |   13758    65955   210405 | 2147483647    37342     22 |  0.022 % |
10.52/10.53	c |     37468 |   13758    65955   210405 | 2147483647    37464     22 |  0.022 % |
10.52/10.56	c |     37602 |   13758    65955   210405 | 2147483647    37598     22 |  0.022 % |
10.52/10.60	c |     37748 |   13758    65955   210405 | 2147483647    37744     22 |  0.022 % |
10.62/10.64	c |     37910 |   13758    65955   210405 | 2147483647    37906     22 |  0.022 % |
10.62/10.67	c |     38086 |   13758    65955   210405 | 2147483647    38082     21 |  0.022 % |
10.62/10.71	c |     38282 |   13758    65955   210405 | 2147483647    38278     21 |  0.022 % |
10.82/10.84	c |     38494 |   13758    65955   210405 | 2147483647    38490     22 |  0.022 % |
10.92/10.91	c |     38727 |   13758    65955   210405 | 2147483647    38723     22 |  0.022 % |
10.92/10.95	c |     38983 |   13758    65955   210405 | 2147483647    38979     22 |  0.022 % |
11.02/11.04	c |     39268 |   13758    65955   210405 | 2147483647    39264     22 |  0.022 % |
11.12/11.12	c |     39577 |   13758    65955   210405 | 2147483647    39573     22 |  0.022 % |
11.12/11.19	c |     39917 |   13758    65955   210405 | 2147483647    39913     22 |  0.022 % |
11.22/11.27	c |     40290 |   13758    65955   210405 | 2147483647    40286     22 |  0.022 % |
11.52/11.54	c |     40700 |   13758    65955   210405 | 2147483647    40696     22 |  0.022 % |
11.72/11.72	c |     41149 |   13758    65955   210405 | 2147483647    41145     22 |  0.022 % |
11.82/11.90	c |     41642 |   13758    65955   210405 | 2147483647    41638     22 |  0.022 % |
12.02/12.06	c |     42186 |   13758    65955   210405 | 2147483647    42182     22 |  0.022 % |
12.32/12.33	c |     42783 |   13758    65955   210405 | 2147483647    42779     22 |  0.022 % |
12.42/12.42	c |     42884 |   13758    65955   210405 | 2147483647    42880     22 |  0.022 % |
12.42/12.47	c |     42995 |   13758    65955   210405 | 2147483647    42991     22 |  0.022 % |
12.52/12.51	c |     43116 |   13758    65955   210405 | 2147483647    43112     22 |  0.022 % |
12.52/12.55	c |     43249 |   13758    65955   210405 | 2147483647    43245     22 |  0.022 % |
12.62/12.62	c |     43395 |   13758    65955   210405 | 2147483647    43391     22 |  0.022 % |
12.62/12.70	c |     43555 |   13758    65955   210405 | 2147483647    43551     22 |  0.022 % |
12.72/12.74	c |     43731 |   13758    65955   210405 | 2147483647    43727     22 |  0.022 % |
12.82/12.81	c |     43924 |   13758    65955   210405 | 2147483647    43920     22 |  0.022 % |
12.92/12.94	c |     44136 |   13758    65955   210405 | 2147483647    44132     22 |  0.022 % |
13.12/13.12	c |     44369 |   13758    65955   210405 | 2147483647    44365     22 |  0.022 % |
13.12/13.20	c |     44626 |   13758    65955   210405 | 2147483647    44622     22 |  0.022 % |
13.22/13.28	c |     44908 |   13758    65955   210405 | 2147483647    44904     22 |  0.022 % |
13.32/13.40	c |     45217 |   13758    65955   210405 | 2147483647    45213     22 |  0.022 % |
13.52/13.51	c |     45557 |   13758    65955   210405 | 2147483647    45553     22 |  0.022 % |
13.72/13.77	c |     45929 |   13758    65955   210405 | 2147483647    45925     22 |  0.022 % |
13.82/13.89	c |     46338 |   13758    65955   210405 | 2147483647    46334     23 |  0.022 % |
14.02/14.04	c |     46787 |   13758    65955   210405 | 2147483647    46783     23 |  0.022 % |
14.22/14.23	c |     47280 |   13758    65955   210405 | 2147483647    47276     23 |  0.022 % |
14.32/14.38	c |     47822 |   13758    65955   210405 | 2147483647    47818     23 |  0.022 % |
14.52/14.60	c |     48418 |   13758    65955   210405 | 2147483647    48414     23 |  0.022 % |
14.92/14.94	c |     49073 |   13758    65955   210405 | 2147483647    49069     23 |  0.022 % |
14.92/14.97	c |     49173 |   13758    65955   210405 | 2147483647    49169     23 |  0.022 % |
14.92/14.99	c |     49283 |   13758    65955   210405 | 2147483647    49279     23 |  0.022 % |
15.02/15.05	c |     49405 |   13758    65955   210405 | 2147483647    49401     23 |  0.022 % |
15.12/15.11	c |     49540 |   13758    65955   210405 | 2147483647    49536     23 |  0.022 % |
15.12/15.16	c |     49687 |   13758    65955   210405 | 2147483647    49683     23 |  0.022 % |
15.12/15.20	c |     49847 |   13758    65955   210405 | 2147483647    49843     23 |  0.022 % |
15.22/15.25	c |     50023 |   13758    65955   210405 | 2147483647    50019     23 |  0.022 % |
15.32/15.38	c |     50216 |   13758    65955   210405 | 2147483647    50212     23 |  0.022 % |
15.42/15.44	c |     50428 |   13758    65955   210405 | 2147483647    50424     23 |  0.022 % |
15.42/15.50	c |     50662 |   13758    65955   210405 | 2147483647    50658     23 |  0.022 % |
15.52/15.56	c |     50918 |   13758    65955   210405 | 2147483647    50914     23 |  0.022 % |
15.62/15.67	c |     51203 |   13758    65955   210405 | 2147483647    51199     23 |  0.022 % |
15.72/15.71	c |     51512 |   13758    65955   210405 | 2147483647    51508     23 |  0.022 % |
15.82/15.85	c |     51851 |   13758    65955   210405 | 2147483647    51847     23 |  0.022 % |
15.92/15.95	c |     52223 |   13758    65955   210405 | 2147483647    52219     23 |  0.022 % |
16.12/16.12	c |     52633 |   13758    65955   210405 | 2147483647    52629     24 |  0.022 % |
16.22/16.22	c |     53082 |   13758    65955   210405 | 2147483647    53078     23 |  0.022 % |
16.42/16.44	c |     53576 |   13758    65955   210405 | 2147483647    53572     24 |  0.022 % |
16.52/16.51	c |     54119 |   13758    65955   210405 | 2147483647    54115     24 |  0.022 % |
16.82/16.82	c |     54715 |   13758    65955   210405 | 2147483647    54711     24 |  0.022 % |
17.22/17.23	c |     55370 |   13758    65955   210405 | 2147483647    55366     24 |  0.022 % |
17.72/17.76	c |     56090 |   13758    65955   210405 | 2147483647    56086     24 |  0.022 % |
17.82/17.81	c |     56190 |   13758    65955   210405 | 2147483647    56186     24 |  0.022 % |
17.82/17.87	c |     56300 |   13758    65955   210405 | 2147483647    56296     24 |  0.022 % |
17.92/17.92	c |     56422 |   13758    65955   210405 | 2147483647    56418     24 |  0.022 % |
17.92/17.98	c |     56555 |   13758    65955   210405 | 2147483647    56551     24 |  0.022 % |
18.02/18.02	c |     56704 |   13758    65955   210405 | 2147483647    56700     24 |  0.022 % |
18.02/18.07	c |     56866 |   13758    65955   210405 | 2147483647    56862     24 |  0.022 % |
18.12/18.13	c |     57042 |   13758    65955   210405 | 2147483647    57038     24 |  0.022 % |
18.42/18.42	c |     57235 |   13758    65955   210405 | 2147483647    57231     25 |  0.022 % |
18.62/18.64	c |     57448 |   13758    65955   210405 | 2147483647    57444     26 |  0.022 % |
18.72/18.78	c |     57681 |   13758    65955   210405 | 2147483647    57677     26 |  0.022 % |
18.82/18.86	c |     57937 |   13758    65955   210405 | 2147483647    57933     26 |  0.022 % |
18.92/18.95	c |     58220 |   13758    65955   210405 | 2147483647    58216     26 |  0.022 % |
18.92/19.01	c |     58529 |   13758    65955   210405 | 2147483647    58525     26 |  0.022 % |
19.12/19.17	c |     58868 |   13758    65955   210405 | 2147483647    58864     26 |  0.022 % |
19.32/19.34	c |     59243 |   13758    65955   210405 | 2147483647    59239     26 |  0.022 % |
19.32/19.38	c |     59652 |   13758    65955   210405 | 2147483647    59648     25 |  0.022 % |
19.42/19.44	c |     60103 |   13758    65955   210405 | 2147483647    60099     25 |  0.022 % |
19.62/19.65	c |     60596 |   13758    65955   210405 | 2147483647    60592     26 |  0.022 % |
19.72/19.74	c |     61139 |   13758    65955   210405 | 2147483647    61135     25 |  0.022 % |
19.92/19.97	c |     61736 |   13758    65955   210405 | 2147483647    61732     25 |  0.022 % |
20.12/20.13	c |     62391 |   13758    65955   210405 | 2147483647    62387     26 |  0.022 % |
20.32/20.38	c |     63116 |   13758    65955   210405 | 2147483647    63112     25 |  0.022 % |
20.62/20.67	c |     63908 |   13758    65955   210405 | 2147483647    63904     25 |  0.022 % |
20.72/20.71	c |     64008 |   13758    65955   210405 | 2147483647    64004     25 |  0.022 % |
20.72/20.76	c |     64123 |   13758    65955   210405 | 2147483647    64119     25 |  0.022 % |
20.72/20.80	c |     64244 |   13758    65955   210405 | 2147483647    64240     25 |  0.022 % |
20.92/20.93	c |     64377 |   13758    65955   210405 | 2147483647    64373     25 |  0.022 % |
20.92/21.00	c |     64523 |   13758    65955   210405 | 2147483647    64519     25 |  0.022 % |
21.02/21.05	c |     64684 |   13758    65955   210405 | 2147483647    64680     25 |  0.022 % |
21.12/21.14	c |     64860 |   13758    65955   210405 | 2147483647    64856     25 |  0.022 % |
21.22/21.21	c |     65053 |   13758    65955   210405 | 2147483647    65049     25 |  0.022 % |
21.22/21.26	c |     65265 |   13758    65955   210405 | 2147483647    65261     25 |  0.022 % |
21.22/21.30	c |     65499 |   13758    65955   210405 | 2147483647    65495     25 |  0.022 % |
21.32/21.40	c |     65755 |   13758    65955   210405 | 2147483647    65751     26 |  0.022 % |
21.52/21.57	c |     66036 |   13758    65955   210405 | 2147483647    66032     26 |  0.022 % |
21.72/21.76	c |     66346 |   13758    65955   210405 | 2147483647    66342     26 |  0.022 % |
21.72/21.80	c |     66685 |   13758    65955   210405 | 2147483647    66681     26 |  0.022 % |
21.92/21.97	c |     67057 |   13758    65955   210405 | 2147483647    67053     26 |  0.022 % |
22.22/22.23	c |     67466 |   13758    65955   210405 | 2147483647    67462     26 |  0.022 % |
22.32/22.33	c |     67915 |   13758    65955   210405 | 2147483647    67911     26 |  0.022 % |
22.42/22.46	c |     68408 |   13758    65955   210405 | 2147483647    68404     26 |  0.022 % |
22.62/22.62	c |     68951 |   13756    65935   210349 | 2147483647    68927     26 |  0.036 % |
22.72/22.79	c |     69547 |   13756    65935   210349 | 2147483647    69523     26 |  0.036 % |
23.22/23.29	c |     70202 |   13756    65935   210349 | 2147483647    70178     27 |  0.036 % |
23.62/23.68	c |     70922 |   13756    65935   210349 | 2147483647    70898     27 |  0.036 % |
24.02/24.08	c |     71714 |   13756    65935   210349 | 2147483647    71690     27 |  0.036 % |
24.62/24.65	c |     72586 |   13756    65935   210349 | 2147483647    72562     27 |  0.036 % |
24.72/24.71	c |     72689 |   13756    65935   210349 | 2147483647    72665     27 |  0.036 % |
24.72/24.78	c |     72802 |   13756    65935   210349 | 2147483647    72778     27 |  0.036 % |
24.92/24.91	c |     72923 |   13756    65935   210349 | 2147483647    72899     27 |  0.036 % |
24.92/24.98	c |     73058 |   13756    65935   210349 | 2147483647    73034     27 |  0.036 % |
25.02/25.04	c |     73205 |   13756    65935   210349 | 2147483647    73181     27 |  0.036 % |
25.02/25.10	c |     73367 |   13756    65935   210349 | 2147483647    73343     27 |  0.036 % |
25.12/25.20	c |     73543 |   13756    65935   210349 | 2147483647    73519     27 |  0.036 % |
25.22/25.29	c |     73737 |   13756    65935   210349 | 2147483647    73713     27 |  0.036 % |
25.32/25.32	c |     73949 |   13756    65935   210349 | 2147483647    73925     27 |  0.036 % |
25.32/25.39	c |     74184 |   13756    65935   210349 | 2147483647    74160     27 |  0.036 % |
25.52/25.53	c |     74442 |   13756    65935   210349 | 2147483647    74418     27 |  0.036 % |
25.72/25.72	c |     74723 |   13756    65935   210349 | 2147483647    74699     27 |  0.036 % |
25.92/25.92	c |     75032 |   13756    65935   210349 | 2147483647    75008     27 |  0.036 % |
26.02/26.08	c |     75372 |   13756    65935   210349 | 2147483647    75348     27 |  0.036 % |
26.12/26.18	c |     75746 |   13756    65935   210349 | 2147483647    75722     27 |  0.036 % |
26.32/26.40	c |     76155 |   13756    65935   210349 | 2147483647    76131     27 |  0.036 % |
26.62/26.64	c |     76604 |   13756    65935   210349 | 2147483647    76580     27 |  0.036 % |
26.82/26.84	c |     77097 |   13756    65935   210349 | 2147483647    77073     27 |  0.036 % |
27.02/27.02	c |     77640 |   13756    65935   210349 | 2147483647    77616     27 |  0.036 % |
27.32/27.35	c |     78236 |   13756    65935   210349 | 2147483647    78212     27 |  0.036 % |
27.52/27.60	c |     78891 |   13756    65935   210349 | 2147483647    78867     27 |  0.037 % |
27.92/27.96	c |     79611 |   13756    65935   210349 | 2147483647    79587     28 |  0.036 % |
28.12/28.20	c |     80403 |   13756    65935   210349 | 2147483647    80379     28 |  0.036 % |
28.42/28.47	c |     81275 |   13756    65935   210349 | 2147483647    81251     28 |  0.036 % |
28.62/28.66	c |     82233 |   13756    65935   210349 | 2147483647    82209     28 |  0.036 % |
28.72/28.75	c |     82334 |   13756    65935   210349 | 2147483647    82310     28 |  0.036 % |
28.72/28.79	c |     82444 |   13756    65935   210349 | 2147483647    82420     28 |  0.036 % |
28.82/28.89	c |     82567 |   13756    65935   210349 | 2147483647    82543     28 |  0.036 % |
28.92/28.95	c |     82702 |   13756    65935   210349 | 2147483647    82678     28 |  0.036 % |
29.02/29.01	c |     82848 |   13756    65935   210349 | 2147483647    82824     28 |  0.036 % |
29.02/29.08	c |     83008 |   13756    65935   210349 | 2147483647    82984     28 |  0.036 % |
29.22/29.21	c |     83185 |   13756    65935   210349 | 2147483647    83161     28 |  0.036 % |
29.32/29.32	c |     83381 |   13756    65935   210349 | 2147483647    83357     28 |  0.036 % |
29.32/29.39	c |     83595 |   13756    65935   210349 | 2147483647    83571     28 |  0.036 % |
29.62/29.62	c |     83828 |   13755    65925   210321 | 2147483647    83786     28 |  0.044 % |
29.72/29.73	c |     84084 |   13755    65925   210321 | 2147483647    84042     28 |  0.044 % |
29.82/29.82	c |     84365 |   13755    65925   210321 | 2147483647    84323     28 |  0.044 % |
29.92/29.95	c |     84674 |   13755    65925   210321 | 2147483647    84632     28 |  0.044 % |
30.02/30.10	c |     85014 |   13755    65925   210321 | 2147483647    84972     28 |  0.044 % |
30.22/30.23	c |     85386 |   13755    65925   210321 | 2147483647    85344     28 |  0.044 % |
30.32/30.40	c |     85796 |   13755    65925   210321 | 2147483647    85754     28 |  0.044 % |
30.52/30.53	c |     86245 |   13755    65925   210321 | 2147483647    86203     28 |  0.044 % |
30.82/30.83	c |     86739 |   13755    65925   210321 | 2147483647    86697     28 |  0.044 % |
30.92/30.99	c |     87282 |   13755    65925   210321 | 2147483647    87240     28 |  0.044 % |
31.22/31.21	c |     87878 |   13754    65925   210321 | 2147483647    87835     28 |  0.051 % |
31.52/31.56	c |     88533 |   13754    65925   210321 | 2147483647    88490     28 |  0.051 % |
31.92/31.99	c |     89253 |   13754    65925   210321 | 2147483647    89210     28 |  0.051 % |
32.42/32.49	c |     90045 |   13754    65922   210315 | 2147483647    90001     28 |  0.051 % |
32.82/32.87	c |     90918 |   13754    65922   210315 | 2147483647    90874     28 |  0.051 % |
33.12/33.12	c |     91876 |   13754    65922   210315 | 2147483647    91832     28 |  0.051 % |
33.62/33.67	c |     92930 |   13754    65922   210315 | 2147483647    92886     28 |  0.051 % |
33.62/33.70	c |     93030 |   13754    65922   210315 | 2147483647    92986     28 |  0.051 % |
33.72/33.77	c |     93141 |   13754    65922   210315 | 2147483647    93097     28 |  0.051 % |
33.82/33.83	c |     93263 |   13754    65922   210315 | 2147483647    93219     28 |  0.051 % |
33.82/33.87	c |     93397 |   13754    65922   210315 | 2147483647    93353     28 |  0.051 % |
33.92/33.91	c |     93543 |   13754    65922   210315 | 2147483647    93499     28 |  0.051 % |
34.02/34.03	c |     93705 |   13754    65922   210315 | 2147483647    93661     29 |  0.051 % |
34.02/34.10	c |     93891 |   13754    65922   210315 | 2147483647    93847     28 |  0.051 % |
34.22/34.23	c |     94086 |   13754    65922   210315 | 2147483647    94042     29 |  0.051 % |
34.32/34.31	c |     94299 |   13754    65922   210315 | 2147483647    94255     29 |  0.051 % |
34.62/34.69	c |     94532 |   13754    65922   210315 | 2147483647    94488     29 |  0.051 % |
34.82/34.90	c |     94788 |   13754    65922   210315 | 2147483647    94744     29 |  0.051 % |
35.12/35.15	c |     95070 |   13754    65922   210315 | 2147483647    95026     29 |  0.051 % |
35.32/35.34	c |     95379 |   13754    65922   210315 | 2147483647    95335     29 |  0.051 % |
35.52/35.54	c |     95719 |   13754    65922   210315 | 2147483647    95675     29 |  0.051 % |
35.72/35.79	c |     96091 |   13754    65922   210315 | 2147483647    96047     29 |  0.051 % |
36.02/36.07	c |     96502 |   13754    65922   210315 | 2147483647    96458     29 |  0.051 % |
36.22/36.25	c |     96952 |   13754    65922   210315 | 2147483647    96908     29 |  0.051 % |
36.62/36.63	c |     97446 |   13754    65922   210315 | 2147483647    97402     29 |  0.051 % |
36.92/36.91	c |     97988 |   13753    65919   210309 | 2147483647    97943     29 |  0.058 % |
37.12/37.19	c |     98584 |   13753    65919   210309 | 2147483647    98539     29 |  0.058 % |
37.52/37.60	c |     99242 |   13753    65919   210309 | 2147483647    99197     29 |  0.058 % |
37.92/37.98	c |     99962 |   13753    65919   210309 | 2147483647    99917     29 |  0.058 % |
38.22/38.22	c |    100756 |   13753    65919   210309 | 2147483647   100711     29 |  0.058 % |
38.72/38.72	c |    101628 |   13753    65919   210309 | 2147483647   101583     29 |  0.058 % |
39.62/39.62	c |    102591 |   13753    65919   210309 | 2147483647   102546     29 |  0.058 % |
40.02/40.05	c |    103644 |   13753    65919   210309 | 2147483647   103599     29 |  0.058 % |
40.62/40.62	c |    104803 |   13753    65919   210309 | 2147483647   104758     29 |  0.058 % |
40.62/40.68	c |    104906 |   13753    65919   210309 | 2147483647   104861     29 |  0.058 % |
40.72/40.74	c |    105016 |   13753    65919   210309 | 2147483647   104971     29 |  0.058 % |
40.82/40.83	c |    105139 |   13753    65919   210309 | 2147483647   105094     29 |  0.058 % |
40.92/40.95	c |    105272 |   13753    65919   210309 | 2147483647   105227     29 |  0.058 % |
41.12/41.15	c |    105418 |   13753    65919   210309 | 2147483647   105373     29 |  0.058 % |
41.22/41.23	c |    105578 |   13753    65919   210309 | 2147483647   105533     29 |  0.058 % |
41.22/41.30	c |    105754 |   13753    65919   210309 | 2147483647   105709     29 |  0.058 % |
41.32/41.38	c |    105947 |   13753    65919   210309 | 2147483647   105902     29 |  0.058 % |
41.42/41.47	c |    106159 |   13753    65919   210309 | 2147483647   106114     29 |  0.058 % |
41.52/41.53	c |    106392 |   13753    65919   210309 | 2147483647   106347     29 |  0.058 % |
41.52/41.60	c |    106648 |   13753    65919   210309 | 2147483647   106603     29 |  0.058 % |
41.92/41.91	c |    106931 |   13753    65919   210309 | 2147483647   106886     29 |  0.058 % |
42.12/42.14	c |    107240 |   13753    65919   210309 | 2147483647   107195     29 |  0.058 % |
42.32/42.34	c |    107580 |   13753    65919   210309 | 2147483647   107535     29 |  0.058 % |
42.62/42.70	c |    107954 |   13752    65916   210303 | 2147483647   107908     30 |  0.065 % |
42.92/42.98	c |    108366 |   13752    65916   210303 | 2147483647   108320     30 |  0.065 % |
43.12/43.20	c |    108818 |   13752    65916   210303 | 2147483647   108772     30 |  0.065 % |
43.52/43.54	c |    109311 |   13752    65916   210303 | 2147483647   109265     30 |  0.065 % |
43.72/43.80	c |    109853 |   13752    65916   210303 | 2147483647   109807     30 |  0.065 % |
44.12/44.18	c |    110449 |   13752    65916   210303 | 2147483647   110403     30 |  0.065 % |
44.52/44.56	c |    111104 |   13752    65916   210303 | 2147483647   111058     30 |  0.065 % |
44.82/44.89	c |    111824 |   13752    65916   210303 | 2147483647   111778     30 |  0.065 % |
45.42/45.42	c |    112619 |   13752    65916   210303 | 2147483647   112573     30 |  0.065 % |
46.02/46.04	c |    113491 |   13752    65916   210303 | 2147483647   113445     30 |  0.065 % |
46.72/46.71	c |    114449 |   13752    65916   210303 | 2147483647   114403     30 |  0.065 % |
47.42/47.44	c |    115502 |   13752    65916   210303 | 2147483647   115456     30 |  0.065 % |
47.92/47.96	c |    116660 |   13751    65906   210275 | 2147483647   116598     30 |  0.073 % |
48.82/48.81	c |    117934 |   13751    65906   210275 | 2147483647   117872     30 |  0.073 % |
48.82/48.89	c |    118034 |   13751    65906   210275 | 2147483647   117972     30 |  0.073 % |
48.92/48.99	c |    118145 |   13751    65906   210275 | 2147483647   118083     30 |  0.073 % |
49.02/49.07	c |    118267 |   13751    65906   210275 | 2147483647   118205     30 |  0.073 % |
49.12/49.17	c |    118400 |   13751    65906   210275 | 2147483647   118338     30 |  0.073 % |
49.22/49.25	c |    118546 |   13751    65906   210275 | 2147483647   118484     30 |  0.073 % |
49.32/49.35	c |    118708 |   13751    65906   210275 | 2147483647   118646     30 |  0.073 % |
49.42/49.47	c |    118884 |   13751    65906   210275 | 2147483647   118822     30 |  0.073 % |
49.42/49.50	c |    119077 |   13751    65906   210275 | 2147483647   119015     30 |  0.073 % |
49.72/49.75	c |    119290 |   13751    65906   210275 | 2147483647   119228     30 |  0.073 % |
49.92/49.99	c |    119523 |   13751    65906   210275 | 2147483647   119461     30 |  0.073 % |
50.12/50.17	c |    119779 |   13751    65906   210275 | 2147483647   119717     30 |  0.073 % |
50.42/50.44	c |    120060 |   13751    65906   210275 | 2147483647   119998     30 |  0.073 % |
50.52/50.57	c |    120370 |   13751    65906   210275 | 2147483647   120308     30 |  0.073 % |
50.62/50.64	c |    120709 |   13751    65906   210275 | 2147483647   120647     30 |  0.073 % |
50.82/50.81	c |    121082 |   13751    65906   210275 | 2147483647   121020     30 |  0.073 % |
51.12/51.11	c |    121492 |   13751    65906   210275 | 2147483647   121430     30 |  0.073 % |
51.42/51.41	c |    121945 |   13751    65906   210275 | 2147483647   121883     30 |  0.073 % |
51.62/51.68	c |    122438 |   13751    65906   210275 | 2147483647   122376     30 |  0.073 % |
52.02/52.06	c |    122980 |   13751    65906   210275 | 2147483647   122918     30 |  0.073 % |
52.52/52.52	c |    123578 |   13751    65906   210275 | 2147483647   123516     31 |  0.073 % |
53.02/53.04	c |    124234 |   13751    65906   210275 | 2147483647   124172     31 |  0.073 % |
53.52/53.52	c |    124954 |   13751    65906   210275 | 2147483647   124892     31 |  0.073 % |
53.72/53.80	c |    125746 |   13751    65906   210275 | 2147483647   125684     31 |  0.073 % |
54.52/54.51	c |    126617 |   13751    65906   210275 | 2147483647   126555     31 |  0.073 % |
54.72/54.78	c |    127575 |   13751    65906   210275 | 2147483647   127513     31 |  0.073 % |
55.52/55.52	c |    128628 |   13751    65906   210275 | 2147483647   128566     31 |  0.073 % |
56.32/56.31	c |    129788 |   13751    65906   210275 | 2147483647   129726     31 |  0.073 % |
56.92/56.99	c |    131063 |   13751    65906   210275 | 2147483647   131001     31 |  0.073 % |
58.02/58.09	c |    132464 |   13751    65906   210275 | 2147483647   132402     31 |  0.073 % |
58.12/58.18	c |    132564 |   13751    65906   210275 | 2147483647   132502     31 |  0.073 % |
58.22/58.25	c |    132676 |   13751    65906   210275 | 2147483647   132614     31 |  0.073 % |
58.33/58.38	c |    132797 |   13751    65906   210275 | 2147483647   132735     31 |  0.073 % |
58.42/58.46	c |    132930 |   13751    65906   210275 | 2147483647   132868     31 |  0.073 % |
58.52/58.54	c |    133077 |   13751    65906   210275 | 2147483647   133015     31 |  0.073 % |
58.62/58.67	c |    133239 |   13751    65906   210275 | 2147483647   133177     31 |  0.073 % |
58.82/58.84	c |    133415 |   13751    65906   210275 | 2147483647   133353     31 |  0.073 % |
59.02/59.01	c |    133608 |   13751    65906   210275 | 2147483647   133546     31 |  0.073 % |
59.02/59.09	c |    133822 |   13751    65906   210275 | 2147483647   133760     31 |  0.073 % |
59.22/59.22	c |    134055 |   13751    65906   210275 | 2147483647   133993     31 |  0.073 % |
59.43/59.43	c |    134312 |   13751    65906   210275 | 2147483647   134250     31 |  0.073 % |
59.62/59.63	c |    134594 |   13751    65906   210275 | 2147483647   134532     31 |  0.073 % |
59.82/59.81	c |    134907 |   13751    65906   210275 | 2147483647   134845     31 |  0.073 % |
60.22/60.28	c |    135247 |   13751    65906   210275 | 2147483647   135185     31 |  0.073 % |
60.72/60.74	c |    135619 |   13751    65906   210275 | 2147483647   135557     31 |  0.073 % |
60.92/61.00	c |    136028 |   13751    65906   210275 | 2147483647   135966     31 |  0.073 % |
61.52/61.51	c |    136477 |   13751    65906   210275 | 2147483647   136415     31 |  0.073 % |
61.72/61.72	c |    136971 |   13751    65906   210275 | 2147483647   136909     31 |  0.073 % |
62.22/62.21	c |    137514 |   13751    65906   210275 | 2147483647   137452     32 |  0.073 % |
62.82/62.90	c |    138110 |   13751    65906   210275 | 2147483647   138048     32 |  0.073 % |
63.52/63.55	c |    138766 |   13750    65902   210267 | 2147483647   138699     32 |  0.080 % |
64.12/64.19	c |    139486 |   13750    65902   210267 | 2147483647   139419     32 |  0.080 % |
64.62/64.68	c |    140278 |   13750    65902   210267 | 2147483647   140211     32 |  0.080 % |
65.32/65.40	c |    141150 |   13750    65902   210267 | 2147483647   141083     32 |  0.080 % |
66.22/66.30	c |    142109 |   13750    65902   210267 | 2147483647   142042     32 |  0.080 % |
67.02/67.05	c |    143162 |   13750    65902   210267 | 2147483647   143095     32 |  0.080 % |
68.12/68.18	c |    144320 |   13750    65902   210267 | 2147483647   144253     32 |  0.080 % |
68.92/68.95	c |    145593 |   13749    65902   210267 | 2147483647   145525     32 |  0.087 % |
70.12/70.10	c |    146994 |   13749    65902   210267 | 2147483647   146926     32 |  0.087 % |
70.82/70.86	c |    148534 |   13749    65899   210261 | 2147483647   148466     32 |  0.087 % |
70.92/70.96	c |    148634 |   13749    65899   210261 | 2147483647   148566     32 |  0.087 % |
71.02/71.04	c |    148744 |   13749    65899   210261 | 2147483647   148676     32 |  0.087 % |
71.02/71.08	c |    148865 |   13749    65899   210261 | 2147483647   148797     32 |  0.087 % |
71.12/71.16	c |    149000 |   13749    65899   210261 | 2147483647   148932     32 |  0.087 % |
71.22/71.29	c |    149147 |   13749    65899   210261 | 2147483647   149079     32 |  0.087 % |
71.53/71.55	c |    149307 |   13749    65899   210261 | 2147483647   149239     32 |  0.087 % |
71.62/71.67	c |    149483 |   13749    65899   210261 | 2147483647   149415     32 |  0.087 % |
71.82/71.82	c |    149676 |   13749    65899   210261 | 2147483647   149608     32 |  0.087 % |
71.92/71.92	c |    149889 |   13749    65899   210261 | 2147483647   149821     32 |  0.087 % |
72.12/72.11	c |    150122 |   13749    65899   210261 | 2147483647   150054     32 |  0.087 % |
72.22/72.29	c |    150378 |   13749    65899   210261 | 2147483647   150310     32 |  0.087 % |
72.42/72.47	c |    150659 |   13749    65899   210261 | 2147483647   150591     32 |  0.087 % |
72.72/72.77	c |    150968 |   13749    65899   210261 | 2147483647   150900     33 |  0.087 % |
73.32/73.31	c |    151307 |   13749    65899   210261 | 2147483647   151239     33 |  0.087 % |
73.73/73.77	c |    151679 |   13749    65899   210261 | 2147483647   151611     33 |  0.087 % |
74.22/74.23	c |    152088 |   13749    65899   210261 | 2147483647   152020     33 |  0.087 % |
74.62/74.65	c |    152537 |   13749    65899   210261 | 2147483647   152469     33 |  0.087 % |
75.02/75.09	c |    153030 |   13749    65899   210261 | 2147483647   152962     33 |  0.087 % |
75.42/75.42	c |    153572 |   13749    65899   210261 | 2147483647   153504     33 |  0.087 % |
75.93/75.99	c |    154172 |   13749    65899   210261 | 2147483647   154104     33 |  0.087 % |
76.52/76.56	c |    154827 |   13749    65899   210261 | 2147483647   154759     33 |  0.087 % |
77.03/77.10	c |    155547 |   13749    65899   210261 | 2147483647   155479     33 |  0.087 % |
77.42/77.47	c |    156341 |   13749    65899   210261 | 2147483647   156273     33 |  0.087 % |
78.02/78.08	c |    157212 |   13749    65899   210261 | 2147483647   157144     33 |  0.087 % |
78.42/78.48	c |    158172 |   13749    65899   210261 | 2147483647   158104     33 |  0.087 % |
79.32/79.36	c |    159225 |   13749    65899   210261 | 2147483647   159157     33 |  0.087 % |
80.22/80.25	c |    160384 |   13749    65899   210261 | 2147483647   160316     33 |  0.087 % |
81.22/81.28	c |    161657 |   13749    65899   210261 | 2147483647   161589     33 |  0.087 % |
82.32/82.35	c |    163058 |   13749    65899   210261 | 2147483647   162990     33 |  0.087 % |
83.52/83.59	c |    164598 |   13749    65899   210261 | 2147483647   164530     33 |  0.087 % |
84.62/84.63	c |    166292 |   13745    65889   210233 | 2147483647   165579     33 |  0.116 % |
84.73/84.79	c |    166393 |   13745    65889   210233 | 2147483647   165680     33 |  0.116 % |
84.92/84.94	c |    166503 |   13745    65889   210233 | 2147483647   165790     33 |  0.116 % |
85.02/85.04	c |    166624 |   13745    65889   210233 | 2147483647   165911     33 |  0.116 % |
85.12/85.18	c |    166757 |   13745    65889   210233 | 2147483647   166044     33 |  0.116 % |
85.32/85.37	c |    166904 |   13745    65889   210233 | 2147483647   166191     33 |  0.116 % |
85.52/85.52	c |    167064 |   13745    65889   210233 | 2147483647   166351     33 |  0.116 % |
85.62/85.71	c |    167241 |   13745    65889   210233 | 2147483647   166528     33 |  0.116 % |
85.72/85.80	c |    167436 |   13745    65889   210233 | 2147483647   166723     33 |  0.116 % |
85.92/85.99	c |    167649 |   13745    65889   210233 | 2147483647   166936     33 |  0.116 % |
86.12/86.17	c |    167882 |   13745    65889   210233 | 2147483647   167169     33 |  0.116 % |
86.52/86.51	c |    168138 |   13745    65889   210233 | 2147483647   167425     33 |  0.116 % |
86.72/86.75	c |    168419 |   13745    65889   210233 | 2147483647   167706     33 |  0.116 % |
87.02/87.06	c |    168728 |   13745    65889   210233 | 2147483647   168015     33 |  0.116 % |
87.32/87.39	c |    169068 |   13745    65889   210233 | 2147483647   168355     33 |  0.116 % |
87.62/87.69	c |    169440 |   13745    65889   210233 | 2147483647   168727     33 |  0.116 % |
88.12/88.16	c |    169850 |   13745    65889   210233 | 2147483647   169137     33 |  0.116 % |
88.42/88.48	c |    170299 |   13745    65889   210233 | 2147483647   169586     33 |  0.116 % |
88.82/88.83	c |    170793 |   13745    65889   210233 | 2147483647   170080     33 |  0.116 % |
89.42/89.42	c |    171335 |   13745    65889   210233 | 2147483647   170622     33 |  0.116 % |
89.92/89.99	c |    171931 |   13745    65889   210233 | 2147483647   171218     33 |  0.116 % |
90.72/90.73	c |    172586 |   13745    65889   210233 | 2147483647   171873     33 |  0.116 % |
91.33/91.34	c |    173306 |   13745    65889   210233 | 2147483647   172593     33 |  0.116 % |
92.02/92.04	c |    174098 |   13745    65889   210233 | 2147483647   173385     33 |  0.116 % |
92.52/92.52	c |    174969 |   13745    65889   210233 | 2147483647   174256     33 |  0.116 % |
93.62/93.66	c |    175928 |   13745    65869   210180 | 2147483647   175062     33 |  0.116 % |
94.42/94.42	c |    176981 |   13745    65869   210180 | 2147483647   176115     33 |  0.116 % |
95.62/95.63	c |    178139 |   13745    65869   210180 | 2147483647   177273     33 |  0.116 % |
97.12/97.11	c |    179415 |   13744    65869   210180 | 2147483647   178548     33 |  0.124 % |
98.32/98.31	c |    180815 |   13744    65869   210180 | 2147483647   179948     33 |  0.124 % |
99.72/99.70	c |    182355 |   13744    65869   210180 | 2147483647   181488     33 |  0.124 % |
101.23/101.25	c |    184049 |   13744    65869   210180 | 2147483647   183182     33 |  0.124 % |
103.12/103.12	c |    185913 |   13744    65869   210180 | 2147483647   185046     33 |  0.124 % |
103.22/103.27	c |    186014 |   13744    65866   210174 | 2147483647   185147     33 |  0.124 % |
103.32/103.38	c |    186124 |   13744    65866   210174 | 2147483647   185257     33 |  0.124 % |
103.43/103.48	c |    186246 |   13744    65866   210174 | 2147483647   185379     33 |  0.124 % |
103.62/103.63	c |    186379 |   13744    65866   210174 | 2147483647   185512     33 |  0.124 % |
103.72/103.76	c |    186525 |   13744    65866   210174 | 2147483647   185658     33 |  0.124 % |
104.02/104.09	c |    186686 |   13744    65866   210174 | 2147483647   185819     33 |  0.124 % |
104.12/104.20	c |    186862 |   13744    65866   210174 | 2147483647   185995     33 |  0.124 % |
104.22/104.27	c |    187055 |   13744    65866   210174 | 2147483647   186188     33 |  0.124 % |
104.42/104.45	c |    187267 |   13744    65866   210174 | 2147483647   186400     33 |  0.124 % |
104.62/104.69	c |    187502 |   13744    65866   210174 | 2147483647   186635     33 |  0.124 % |
104.92/104.90	c |    187758 |   13744    65866   210174 | 2147483647   186891     33 |  0.124 % |
105.12/105.18	c |    188041 |   13744    65866   210174 | 2147483647   187174     33 |  0.124 % |
105.52/105.54	c |    188352 |   13744    65866   210174 | 2147483647   187485     33 |  0.124 % |
105.92/105.95	c |    188695 |   13744    65866   210174 | 2147483647   187828     33 |  0.124 % |
106.12/106.18	c |    189067 |   13744    65866   210174 | 2147483647   188200     33 |  0.124 % |
106.52/106.57	c |    189476 |   13744    65866   210174 | 2147483647   188609     33 |  0.124 % |
106.82/106.89	c |    189925 |   13744    65866   210174 | 2147483647   189058     33 |  0.124 % |
107.72/107.72	c |    190419 |   13744    65866   210174 | 2147483647   189552     34 |  0.124 % |
108.12/108.19	c |    190961 |   13744    65866   210174 | 2147483647   190094     34 |  0.124 % |
109.02/109.01	c |    191557 |   13744    65866   210174 | 2147483647   190690     34 |  0.124 % |
109.82/109.85	c |    192214 |   13744    65866   210174 | 2147483647   191347     34 |  0.124 % |
110.53/110.56	c |    192934 |   13744    65866   210174 | 2147483647   192067     34 |  0.124 % |
111.13/111.14	c |    193726 |   13744    65866   210174 | 2147483647   192859     34 |  0.124 % |
112.03/112.04	c |    194597 |   13744    65866   210174 | 2147483647   193730     34 |  0.124 % |
113.03/113.04	c |    195556 |   13744    65866   210174 | 2147483647   194689     34 |  0.124 % |
114.03/114.05	c |    196609 |   13744    65866   210174 | 2147483647   195742     34 |  0.124 % |
115.53/115.52	c |    197769 |   13744    65866   210174 | 2147483647   196902     34 |  0.124 % |
116.83/116.85	c |    199042 |   13744    65866   210174 | 2147483647   198175     34 |  0.124 % |
118.43/118.41	c |    200444 |   13744    65866   210174 | 2147483647   199577     34 |  0.124 % |
119.83/119.87	c |    201984 |   13744    65866   210174 | 2147483647   201117     34 |  0.124 % |
122.03/122.08	c |    203678 |   13740    65836   210093 | 2147483647   202758     34 |  0.153 % |
124.13/124.19	c |    205543 |   13740    65836   210093 | 2147483647   204623     35 |  0.153 % |
125.93/125.98	c |    207592 |   13740    65836   210093 | 2147483647   206672     35 |  0.153 % |
126.13/126.12	c |    207692 |   13740    65836   210093 | 2147483647   206772     35 |  0.153 % |
126.33/126.33	c |    207803 |   13740    65836   210093 | 2147483647   206883     35 |  0.153 % |
126.43/126.49	c |    207925 |   13740    65836   210093 | 2147483647   207005     35 |  0.153 % |
126.63/126.64	c |    208059 |   13740    65836   210093 | 2147483647   207139     35 |  0.153 % |
126.83/126.84	c |    208207 |   13740    65836   210093 | 2147483647   207287     35 |  0.153 % |
127.03/127.05	c |    208367 |   13740    65836   210093 | 2147483647   207447     35 |  0.153 % |
127.33/127.32	c |    208543 |   13740    65836   210093 | 2147483647   207623     35 |  0.153 % |
127.43/127.49	c |    208738 |   13740    65836   210093 | 2147483647   207818     35 |  0.153 % |
127.73/127.79	c |    208950 |   13740    65836   210093 | 2147483647   208030     35 |  0.153 % |
127.93/127.99	c |    209183 |   13740    65836   210093 | 2147483647   208263     35 |  0.153 % |
128.13/128.20	c |    209439 |   13740    65836   210093 | 2147483647   208519     35 |  0.153 % |
128.73/128.74	c |    209720 |   13740    65836   210093 | 2147483647   208800     35 |  0.153 % |
129.03/129.07	c |    210029 |   13740    65836   210093 | 2147483647   209109     35 |  0.153 % |
129.53/129.57	c |    210370 |   13739    65836   210093 | 2147483647   209449     35 |  0.189 % |
129.93/129.92	c |    210742 |   13739    65836   210093 | 2147483647   209821     35 |  0.189 % |
130.33/130.39	c |    211151 |   13739    65836   210093 | 2147483647   210230     35 |  0.189 % |
130.73/130.81	c |    211600 |   13739    65836   210093 | 2147483647   210679     35 |  0.189 % |
131.23/131.29	c |    212093 |   13739    65836   210093 | 2147483647   211172     35 |  0.189 % |
131.63/131.70	c |    212636 |   13739    65836   210093 | 2147483647   211715     35 |  0.189 % |
132.43/132.51	c |    213232 |   13739    65836   210093 | 2147483647   212311     35 |  0.189 % |
132.93/132.98	c |    213888 |   13739    65836   210093 | 2147483647   212967     35 |  0.189 % |
133.63/133.63	c |    214608 |   13739    65836   210093 | 2147483647   213687     35 |  0.189 % |
134.53/134.53	c |    215400 |   13739    65836   210093 | 2147483647   214479     35 |  0.189 % |
135.53/135.56	c |    216271 |   13735    65795   209979 | 2147483647   214991     35 |  0.189 % |
136.43/136.43	c |    217229 |   13735    65795   209979 | 2147483647   215949     35 |  0.189 % |
137.33/137.40	c |    218283 |   13735    65795   209979 | 2147483647   217003     35 |  0.189 % |
138.43/138.42	c |    219443 |   13735    65795   209979 | 2147483647   218163     35 |  0.189 % |
139.63/139.63	c |    220717 |   13735    65795   209979 | 2147483647   219437     35 |  0.189 % |
141.03/141.03	c |    222120 |   13735    65795   209979 | 2147483647   220840     35 |  0.189 % |
142.93/142.94	c |    223660 |   13735    65795   209979 | 2147483647   222380     35 |  0.189 % |
145.73/145.76	c |    225355 |   13735    65795   209979 | 2147483647   224075     36 |  0.189 % |
148.03/148.05	c |    227218 |   13735    65795   209979 | 2147483647   225938     36 |  0.189 % |
150.13/150.12	c |    229267 |   13735    65795   209979 | 2147483647   227987     36 |  0.189 % |
152.53/152.58	c |    231520 |   13735    65795   209979 | 2147483647   230240     36 |  0.189 % |
152.73/152.72	c |    231620 |   13735    65795   209979 | 2147483647   230340     36 |  0.189 % |
152.83/152.88	c |    231731 |   13735    65795   209979 | 2147483647   230451     36 |  0.189 % |
153.03/153.08	c |    231852 |   13735    65795   209979 | 2147483647   230572     36 |  0.189 % |
153.23/153.22	c |    231985 |   13735    65795   209979 | 2147483647   230705     36 |  0.189 % |
153.33/153.39	c |    232133 |   13735    65795   209979 | 2147483647   230853     36 |  0.189 % |
153.53/153.53	c |    232293 |   13735    65795   209979 | 2147483647   231013     36 |  0.189 % |
153.73/153.72	c |    232469 |   13735    65795   209979 | 2147483647   231189     36 |  0.189 % |
153.93/153.93	c |    232662 |   13735    65795   209979 | 2147483647   231382     36 |  0.189 % |
154.13/154.20	c |    232875 |   13735    65795   209979 | 2147483647   231595     36 |  0.189 % |
154.33/154.40	c |    233108 |   13735    65795   209979 | 2147483647   231828     36 |  0.189 % |
154.73/154.75	c |    233364 |   13735    65795   209979 | 2147483647   232084     36 |  0.189 % |
155.03/155.09	c |    233645 |   13735    65795   209979 | 2147483647   232365     36 |  0.189 % |
155.73/155.72	c |    233954 |   13735    65795   209979 | 2147483647   232674     36 |  0.189 % |
156.23/156.28	c |    234296 |   13735    65795   209979 | 2147483647   233016     36 |  0.189 % |
156.83/156.85	c |    234669 |   13735    65795   209979 | 2147483647   233389     36 |  0.189 % |
157.43/157.43	c |    235078 |   13735    65795   209979 | 2147483647   233798     36 |  0.189 % |
158.03/158.06	c |    235527 |   13735    65795   209979 | 2147483647   234247     36 |  0.189 % |
158.63/158.62	c |    236022 |   13735    65795   209979 | 2147483647   234742     36 |  0.189 % |
159.03/159.06	c |    236564 |   13735    65795   209979 | 2147483647   235284     36 |  0.189 % |
159.83/159.81	c |    237160 |   13735    65795   209979 | 2147483647   235880     36 |  0.189 % |
161.03/161.07	c |    237817 |   13735    65795   209979 | 2147483647   236537     37 |  0.189 % |
161.73/161.77	c |    238537 |   13735    65795   209979 | 2147483647   237257     37 |  0.189 % |
162.73/162.72	c |    239332 |   13734    65789   209962 | 2147483647   238047     37 |  0.196 % |
164.03/164.03	c |    240204 |   13734    65789   209962 | 2147483647   238919     37 |  0.196 % |
165.33/165.40	c |    241162 |   13734    65789   209962 | 2147483647   239877     37 |  0.196 % |
166.93/166.99	c |    242216 |   13734    65789   209962 | 2147483647   240931     37 |  0.196 % |
168.33/168.39	c |    243374 |   13734    65789   209962 | 2147483647   242089     37 |  0.196 % |
170.13/170.17	c |    244648 |   13734    65789   209962 | 2147483647   243363     37 |  0.196 % |
171.73/171.78	c |    246048 |   13734    65789   209962 | 2147483647   244763     37 |  0.196 % |
173.83/173.89	c |    247588 |   13734    65789   209962 | 2147483647   246303     37 |  0.196 % |
175.93/175.92	c |    249283 |   13734    65789   209962 | 2147483647   247998     37 |  0.196 % |
178.23/178.22	c |    251148 |   13734    65789   209962 | 2147483647   249863     37 |  0.196 % |
181.03/181.03	c |    253202 |   13734    65789   209962 | 2147483647   251917     37 |  0.196 % |
186.83/186.82	c |    255456 |   13734    65789   209962 | 2147483647   254171     38 |  0.196 % |
190.13/190.11	c |    257934 |   13734    65789   209962 | 2147483647   256649     38 |  0.196 % |
190.23/190.28	c |    258035 |   13734    65789   209962 | 2147483647   256750     38 |  0.196 % |
190.34/190.40	c |    258145 |   13734    65789   209962 | 2147483647   256860     38 |  0.196 % |
190.53/190.54	c |    258266 |   13734    65789   209962 | 2147483647   256981     38 |  0.196 % |
190.73/190.72	c |    258400 |   13734    65789   209962 | 2147483647   257115     38 |  0.196 % |
190.83/190.86	c |    258546 |   13734    65789   209962 | 2147483647   257261     38 |  0.196 % |
191.13/191.16	c |    258707 |   13734    65789   209962 | 2147483647   257422     38 |  0.196 % |
191.53/191.52	c |    258884 |   13734    65789   209962 | 2147483647   257599     38 |  0.196 % |
191.73/191.74	c |    259077 |   13734    65789   209962 | 2147483647   257792     38 |  0.196 % |
192.03/192.09	c |    259291 |   13734    65789   209962 | 2147483647   258006     38 |  0.196 % |
192.43/192.43	c |    259524 |   13734    65789   209962 | 2147483647   258239     38 |  0.196 % |
192.73/192.74	c |    259780 |   13734    65789   209962 | 2147483647   258495     38 |  0.197 % |
193.13/193.13	c |    260061 |   13734    65789   209962 | 2147483647   258776     38 |  0.196 % |
193.53/193.52	c |    260370 |   13734    65789   209962 | 2147483647   259085     38 |  0.196 % |
194.03/194.01	c |    260710 |   13734    65789   209962 | 2147483647   259425     38 |  0.196 % |
194.63/194.61	c |    261082 |   13734    65789   209962 | 2147483647   259797     38 |  0.196 % |
195.13/195.16	c |    261491 |   13734    65789   209962 | 2147483647   260206     38 |  0.196 % |
195.73/195.75	c |    261940 |   13734    65789   209962 | 2147483647   260655     38 |  0.196 % |
196.43/196.41	c |    262434 |   13734    65789   209962 | 2147483647   261149     38 |  0.196 % |
197.13/197.13	c |    262977 |   13734    65789   209962 | 2147483647   261692     38 |  0.196 % |
198.23/198.22	c |    263573 |   13734    65789   209962 | 2147483647   262288     38 |  0.196 % |
199.43/199.41	c |    264228 |   13734    65789   209962 | 2147483647   262943     38 |  0.196 % |
200.24/200.25	c |    264950 |   13734    65789   209962 | 2147483647   263665     38 |  0.196 % |
201.13/201.20	c |    265742 |   13734    65789   209962 | 2147483647   264457     38 |  0.196 % |
202.63/202.63	c |    266613 |   13734    65789   209962 | 2147483647   265328     38 |  0.196 % |
203.73/203.77	c |    267571 |   13734    65789   209962 | 2147483647   266286     38 |  0.196 % |
205.43/205.45	c |    268624 |   13734    65789   209962 | 2147483647   267339     38 |  0.196 % |
207.33/207.38	c |    269782 |   13734    65789   209962 | 2147483647   268497     38 |  0.196 % |
209.04/209.02	c |    271056 |   13734    65789   209962 | 2147483647   269771     38 |  0.196 % |
210.53/210.60	c |    272456 |   13734    65789   209962 | 2147483647   271171     38 |  0.196 % |
212.73/212.74	c |    273998 |   13734    65789   209962 | 2147483647   272713     38 |  0.196 % |
215.33/215.31	c |    275693 |   13734    65789   209962 | 2147483647   274408     38 |  0.196 % |
218.33/218.33	c |    277557 |   13734    65789   209962 | 2147483647   276272     39 |  0.196 % |
221.53/221.56	c |    279609 |   13734    65789   209962 | 2147483647   278324     39 |  0.196 % |
224.63/224.67	c |    281862 |   13734    65789   209962 | 2147483647   280577     38 |  0.196 % |
228.93/228.92	c |    284340 |   13734    65789   209962 | 2147483647   283055     38 |  0.197 % |
233.13/233.14	c |    287068 |   13734    65789   209962 | 2147483647   285783     38 |  0.196 % |
233.24/233.27	c |    287168 |   13734    65789   209962 | 2147483647   285883     38 |  0.196 % |
233.33/233.38	c |    287279 |   13734    65789   209962 | 2147483647   285994     38 |  0.196 % |
233.63/233.64	c |    287400 |   13734    65789   209962 | 2147483647   286115     38 |  0.196 % |
233.83/233.89	c |    287534 |   13734    65789   209962 | 2147483647   286249     39 |  0.196 % |
234.13/234.18	c |    287681 |   13734    65789   209962 | 2147483647   286396     39 |  0.196 % |
234.23/234.28	c |    287841 |   13734    65789   209962 | 2147483647   286556     38 |  0.196 % |
234.63/234.65	c |    288017 |   13734    65789   209962 | 2147483647   286732     39 |  0.196 % |
234.93/234.93	c |    288212 |   13734    65789   209962 | 2147483647   286927     39 |  0.196 % |
235.23/235.22	c |    288425 |   13734    65789   209962 | 2147483647   287140     39 |  0.196 % |
235.63/235.61	c |    288659 |   13734    65789   209962 | 2147483647   287374     39 |  0.196 % |
235.73/235.78	c |    288917 |   13734    65789   209962 | 2147483647   287632     39 |  0.196 % |
236.23/236.26	c |    289198 |   13734    65789   209962 | 2147483647   287913     38 |  0.196 % |
236.74/236.75	c |    289509 |   13734    65789   209962 | 2147483647   288224     39 |  0.196 % |
237.24/237.28	c |    289849 |   13734    65789   209962 | 2147483647   288564     39 |  0.196 % |
237.94/237.99	c |    290221 |   13733    65779   209934 | 2147483647   288929     39 |  0.203 % |
238.84/238.89	c |    290630 |   13733    65779   209934 | 2147483647   289338     39 |  0.203 % |
239.54/239.60	c |    291079 |   13733    65779   209934 | 2147483647   289787     39 |  0.203 % |
240.14/240.20	c |    291573 |   13733    65779   209934 | 2147483647   290281     39 |  0.204 % |
240.74/240.72	c |    292119 |   13733    65779   209934 | 2147483647   290827     39 |  0.203 % |
241.34/241.35	c |    292716 |   13732    65779   209934 | 2147483647   291423     39 |  0.233 % |
242.24/242.24	c |    293373 |   13732    65779   209934 | 2147483647   292080     39 |  0.233 % |
243.54/243.57	c |    294093 |   13732    65779   209934 | 2147483647   292800     39 |  0.233 % |
244.94/244.93	c |    294887 |   13732    65779   209934 | 2147483647   293594     39 |  0.233 % |
246.74/246.76	c |    295759 |   13732    65779   209934 | 2147483647   294466     39 |  0.233 % |
248.65/248.67	c |    296717 |   13732    65779   209934 | 2147483647   295424     39 |  0.233 % |
250.95/250.94	c |    297770 |   13732    65779   209934 | 2147483647   296477     39 |  0.233 % |
252.95/252.96	c |    298928 |   13732    65779   209934 | 2147483647   297635     39 |  0.233 % |
254.55/254.59	c |    300201 |   13732    65779   209934 | 2147483647   298908     39 |  0.233 % |
257.45/257.44	c |    301601 |   13732    65779   209934 | 2147483647   300308     39 |  0.233 % |
260.95/260.96	c |    303143 |   13732    65779   209934 | 2147483647   301850     39 |  0.233 % |
263.25/263.28	c |    304838 |   13732    65779   209934 | 2147483647   303545     39 |  0.233 % |
265.95/265.99	c |    306704 |   13732    65779   209934 | 2147483647   305411     39 |  0.233 % |
271.05/271.11	c |    308754 |   13729    65739   209822 | 2147483647   307396     39 |  0.233 % |
275.05/275.06	c |    311007 |   13729    65739   209822 | 2147483647   309649     39 |  0.233 % |
279.25/279.27	c |    313486 |   13729    65739   209822 | 2147483647   312128     40 |  0.233 % |
284.34/284.38	c |    316213 |   13729    65739   209822 | 2147483647   314855     40 |  0.233 % |
289.24/289.22	c |    319210 |   13729    65739   209822 | 2147483647   317852     40 |  0.233 % |
289.34/289.35	c |    319310 |   13729    65739   209822 | 2147483647   317952     40 |  0.233 % |
289.54/289.61	c |    319420 |   13729    65739   209822 | 2147483647   318062     40 |  0.233 % |
289.84/289.87	c |    319542 |   13729    65739   209822 | 2147483647   318184     40 |  0.233 % |
290.24/290.21	c |    319677 |   13729    65739   209822 | 2147483647   318319     40 |  0.233 % |
290.74/290.74	c |    319824 |   13729    65739   209822 | 2147483647   318466     40 |  0.233 % |
291.04/291.02	c |    319984 |   13729    65739   209822 | 2147483647   318626     40 |  0.233 % |
291.24/291.28	c |    320161 |   13729    65739   209822 | 2147483647   318803     40 |  0.233 % |
291.44/291.43	c |    320354 |   13729    65739   209822 | 2147483647   318996     40 |  0.233 % |
291.94/292.00	c |    320566 |   13729    65739   209822 | 2147483647   319208     40 |  0.233 % |
292.74/292.75	c |    320801 |   13729    65739   209822 | 2147483647   319443     40 |  0.233 % |
293.14/293.18	c |    321057 |   13729    65739   209822 | 2147483647   319699     40 |  0.233 % |
293.74/293.72	c |    321339 |   13729    65739   209822 | 2147483647   319981     40 |  0.233 % |
294.34/294.33	c |    321649 |   13729    65739   209822 | 2147483647   320291     40 |  0.233 % |
294.74/294.72	c |    321993 |   13729    65739   209822 | 2147483647   320635     40 |  0.233 % |
296.14/296.16	c |    322366 |   13729    65739   209822 | 2147483647   321008     40 |  0.233 % |
297.04/297.04	c |    322775 |   13729    65739   209822 | 2147483647   321417     40 |  0.233 % |
297.94/297.94	c |    323226 |   13729    65739   209822 | 2147483647   321868     40 |  0.233 % |
298.74/298.77	c |    323720 |   13729    65739   209822 | 2147483647   322362     40 |  0.233 % |
299.54/299.55	c |    324262 |   13729    65739   209822 | 2147483647   322904     40 |  0.233 % |
300.84/300.89	c |    324861 |   13729    65739   209822 | 2147483647   323503     41 |  0.233 % |
302.04/302.09	c |    325516 |   13729    65739   209822 | 2147483647   324158     41 |  0.233 % |
303.34/303.41	c |    326237 |   13729    65739   209822 | 2147483647   324879     41 |  0.233 % |
304.74/304.78	c |    327030 |   13729    65739   209822 | 2147483647   325672     41 |  0.233 % |
306.64/306.63	c |    327903 |   13729    65739   209822 | 2147483647   326545     41 |  0.233 % |
309.04/309.01	c |    328861 |   13729    65739   209822 | 2147483647   327503     41 |  0.233 % |
309.94/310.00	c |    329914 |   13729    65739   209822 | 2147483647   328556     41 |  0.233 % |
311.74/311.80	c |    331072 |   13729    65739   209822 | 2147483647   329714     41 |  0.233 % |
314.65/314.70	c |    332345 |   13729    65739   209822 | 2147483647   330987     41 |  0.233 % |
318.44/318.50	c |    333746 |   13729    65739   209822 | 2147483647   332388     41 |  0.233 % |
322.24/322.23	c |    335286 |   13729    65739   209822 | 2147483647   333928     41 |  0.233 % |
324.64/324.68	c |    336980 |   13729    65739   209822 | 2147483647   335622     41 |  0.233 % |
328.44/328.48	c |    338843 |   13729    65739   209822 | 2147483647   337485     41 |  0.233 % |
332.44/332.41	c |    340893 |   13729    65739   209822 | 2147483647   339535     41 |  0.233 % |
337.84/337.86	c |    343146 |   13729    65739   209822 | 2147483647   341788     41 |  0.233 % |
342.34/342.34	c |    345625 |   13729    65739   209822 | 2147483647   344267     41 |  0.233 % |
347.34/347.34	c |    348350 |   13729    65739   209822 | 2147483647   346992     41 |  0.233 % |
354.54/354.58	c |    351349 |   13729    65739   209822 | 2147483647   349991     41 |  0.233 % |
361.04/361.05	c |    354645 |   13729    65739   209822 | 2147483647   353287     41 |  0.233 % |
361.34/361.32	c |    354745 |   13729    65739   209822 | 2147483647   353387     41 |  0.233 % |
361.54/361.51	c |    354859 |   13729    65739   209822 | 2147483647   353501     41 |  0.233 % |
361.64/361.68	c |    354981 |   13729    65739   209822 | 2147483647   353623     41 |  0.233 % |
361.84/361.89	c |    355114 |   13729    65739   209822 | 2147483647   353756     41 |  0.233 % |
362.24/362.21	c |    355260 |   13729    65739   209822 | 2147483647   353902     41 |  0.233 % |
362.44/362.48	c |    355420 |   13729    65739   209822 | 2147483647   354062     41 |  0.233 % |
362.95/362.94	c |    355596 |   13729    65739   209822 | 2147483647   354238     41 |  0.233 % |
363.25/363.31	c |    355789 |   13729    65739   209822 | 2147483647   354431     41 |  0.233 % |
363.45/363.48	c |    356002 |   13729    65739   209822 | 2147483647   354644     41 |  0.233 % |
363.85/363.88	c |    356238 |   13729    65739   209822 | 2147483647   354880     41 |  0.233 % |
364.15/364.21	c |    356494 |   13729    65739   209822 | 2147483647   355136     41 |  0.233 % |
364.95/364.95	c |    356775 |   13729    65739   209822 | 2147483647   355417     41 |  0.233 % |
365.65/365.65	c |    357084 |   13729    65739   209822 | 2147483647   355726     41 |  0.233 % |
366.65/366.65	c |    357423 |   13729    65739   209822 | 2147483647   356065     41 |  0.233 % |
367.65/367.62	c |    357795 |   13729    65739   209822 | 2147483647   356437     41 |  0.233 % |
368.85/368.84	c |    358205 |   13729    65739   209822 | 2147483647   356847     41 |  0.233 % |
369.35/369.41	c |    358654 |   13729    65739   209822 | 2147483647   357296     41 |  0.233 % |
370.25/370.22	c |    359148 |   13729    65739   209822 | 2147483647   357790     41 |  0.233 % |
371.05/371.03	c |    359690 |   13729    65739   209822 | 2147483647   358332     41 |  0.233 % |
372.25/372.28	c |    360288 |   13729    65739   209822 | 2147483647   358930     41 |  0.233 % |
373.55/373.60	c |    360943 |   13729    65739   209822 | 2147483647   359585     41 |  0.233 % |
375.95/375.93	c |    361663 |   13729    65739   209822 | 2147483647   360305     41 |  0.233 % |
377.35/377.33	c |    362456 |   13729    65739   209822 | 2147483647   361098     41 |  0.233 % |
379.65/379.70	c |    363327 |   13728    65736   209816 | 2147483647   361966     41 |  0.240 % |
381.95/382.00	c |    364286 |   13728    65736   209816 | 2147483647   362925     41 |  0.240 % |
383.15/383.13	c |    365339 |   13728    65736   209816 | 2147483647   363978     41 |  0.240 % |
385.55/385.58	c |    366499 |   13728    65736   209816 | 2147483647   365138     41 |  0.240 % |
387.95/388.01	c |    367772 |   13728    65736   209816 | 2147483647   366411     41 |  0.240 % |
390.55/390.53	c |    369172 |   13728    65736   209816 | 2147483647   367811     41 |  0.240 % |
393.45/393.51	c |    370713 |   13728    65736   209816 | 2147483647   369352     41 |  0.240 % |
397.15/397.13	c |    372408 |   13728    65736   209816 | 2147483647   371047     41 |  0.240 % |
401.65/401.62	c |    374271 |   13728    65736   209816 | 2147483647   372909     41 |  0.247 % |
405.15/405.19	c |    376320 |   13728    65736   209816 | 2147483647   374958     41 |  0.247 % |
410.35/410.32	c |    378573 |   13728    65736   209816 | 2147483647   377211     42 |  0.247 % |
416.35/416.36	c |    381051 |   13728    65736   209816 | 2147483647   379689     41 |  0.247 % |
424.25/424.30	c |    383777 |   13728    65736   209816 | 2147483647   382415     41 |  0.247 % |
435.75/435.78	c |    386775 |   13727    65733   209810 | 2147483647   385411     42 |  0.247 % |
442.55/442.59	c |    390071 |   13726    65733   209810 | 2147483647   388706     42 |  0.254 % |
450.35/450.38	c |    393696 |   13726    65733   209810 | 2147483647   392330     42 |  0.262 % |
450.55/450.61	c |    393796 |   13726    65733   209810 | 2147483647   392430     42 |  0.262 % |
450.85/450.88	c |    393906 |   13726    65733   209810 | 2147483647   392540     42 |  0.262 % |
451.15/451.19	c |    394027 |   13726    65733   209810 | 2147483647   392661     42 |  0.262 % |
451.45/451.50	c |    394160 |   13726    65733   209810 | 2147483647   392794     42 |  0.262 % |
451.85/451.89	c |    394306 |   13726    65733   209810 | 2147483647   392940     42 |  0.262 % |
452.25/452.22	c |    394466 |   13726    65733   209810 | 2147483647   393100     42 |  0.262 % |
452.65/452.65	c |    394643 |   13726    65733   209810 | 2147483647   393277     42 |  0.262 % |
453.26/453.28	c |    394837 |   13726    65733   209810 | 2147483647   393471     42 |  0.262 % |
453.85/453.83	c |    395049 |   13726    65733   209810 | 2147483647   393683     42 |  0.262 % |
454.45/454.51	c |    395282 |   13726    65733   209810 | 2147483647   393916     42 |  0.262 % |
454.95/454.98	c |    395538 |   13726    65733   209810 | 2147483647   394172     42 |  0.262 % |
455.65/455.67	c |    395819 |   13726    65733   209810 | 2147483647   394453     42 |  0.262 % |
456.75/456.77	c |    396128 |   13726    65733   209810 | 2147483647   394762     42 |  0.262 % |
457.05/457.08	c |    396467 |   13726    65733   209810 | 2147483647   395101     42 |  0.262 % |
457.95/457.94	c |    396840 |   13726    65733   209810 | 2147483647   395474     42 |  0.262 % |
458.95/458.95	c |    397249 |   13726    65733   209810 | 2147483647   395883     42 |  0.262 % |
460.05/460.10	c |    397702 |   13726    65733   209810 | 2147483647   396336     42 |  0.262 % |
461.75/461.77	c |    398196 |   13726    65733   209810 | 2147483647   396830     42 |  0.262 % |
463.45/463.41	c |    398741 |   13726    65733   209810 | 2147483647   397375     42 |  0.262 % |
465.25/465.30	c |    399339 |   13726    65733   209810 | 2147483647   397973     42 |  0.262 % |
467.05/467.04	c |    399995 |   13726    65733   209810 | 2147483647   398629     42 |  0.262 % |
468.95/468.98	c |    400715 |   13726    65733   209810 |   398642   399349     42 |  0.262 % |
471.15/471.21	c |    401507 |   13726    65733   209810 |   398642   356292     40 |  0.262 % |
472.85/472.86	c |    402379 |   13726    65733   209810 |   398642   357164     40 |  0.262 % |
475.05/475.06	c |    403337 |   13726    65733   209810 |   398642   358122     40 |  0.262 % |
477.75/477.72	c |    404392 |   13725    65727   209798 |   398642   359164     40 |  0.262 % |
480.05/480.03	c |    405551 |   13725    65727   209798 |   398642   360323     40 |  0.262 % |
483.55/483.53	c |    406825 |   13725    65727   209798 |   398642   361597     40 |  0.262 % |
487.05/487.04	c |    408227 |   13725    65727   209798 |   398642   362999     40 |  0.262 % |
490.46/490.51	c |    409768 |   13725    65727   209798 |   398642   364540     40 |  0.262 % |
493.66/493.63	c |    411463 |   13725    65727   209798 |   364772   366235     40 |  0.262 % |
497.96/497.98	c |    413326 |   13725    65727   209798 |   364772   327797     40 |  0.443 % |
502.96/502.99	c |    415375 |   13725    65727   209798 |   364772   329846     40 |  0.443 % |
508.86/508.88	c |    417628 |   13725    65727   209798 |   364772   332099     40 |  0.444 % |
513.76/513.80	c |    420107 |   13725    65727   209798 | 2147483647   334578     40 |  0.443 % |
520.86/520.86	c |    422834 |   13725    65727   209798 | 2147483647   337305     40 |  0.444 % |
528.86/528.83	c |    425831 |   13700    65486   209124 | 2147483647   339940     40 |  0.444 % |
536.16/536.19	c |    429128 |   13700    65486   209124 | 2147483647   343237     40 |  0.443 % |
543.76/543.72	c |    432754 |   13700    65486   209124 | 2147483647   346863     40 |  0.443 % |
555.86/555.83	c |    436742 |   13700    65486   209124 | 2147483647   350851     41 |  0.443 % |
556.16/556.12	c |    436842 |   13700    65486   209124 | 2147483647   350951     41 |  0.443 % |
556.46/556.46	c |    436952 |   13700    65486   209124 | 2147483647   351061     41 |  0.443 % |
556.66/556.70	c |    437073 |   13699    65486   209124 | 2147483647   351181     41 |  0.451 % |
556.96/556.95	c |    437207 |   13699    65486   209124 | 2147483647   351315     41 |  0.451 % |
557.36/557.36	c |    437355 |   13699    65486   209124 | 2147483647   351463     41 |  0.451 % |
557.66/557.63	c |    437515 |   13699    65486   209124 | 2147483647   351623     41 |  0.451 % |
557.96/557.98	c |    437691 |   13699    65486   209124 | 2147483647   351799     41 |  0.451 % |
558.36/558.37	c |    437884 |   13699    65486   209124 | 2147483647   351992     41 |  0.451 % |
558.96/558.95	c |    438098 |   13699    65486   209124 | 2147483647   352206     41 |  0.451 % |
559.46/559.45	c |    438331 |   13699    65486   209124 | 2147483647   352439     41 |  0.451 % |
560.06/560.03	c |    438587 |   13699    65486   209124 | 2147483647   352695     41 |  0.451 % |
560.76/560.78	c |    438868 |   13699    65486   209124 | 2147483647   352976     41 |  0.451 % |
561.56/561.53	c |    439182 |   13699    65476   209096 | 2147483647   353287     41 |  0.451 % |
562.06/562.06	c |    439521 |   13699    65476   209096 | 2147483647   353626     41 |  0.451 % |
562.66/562.70	c |    439893 |   13699    65476   209096 | 2147483647   353998     41 |  0.451 % |
563.36/563.33	c |    440302 |   13699    65476   209096 | 2147483647   354407     41 |  0.451 % |
564.16/564.12	c |    440752 |   13699    65476   209096 | 2147483647   354857     41 |  0.451 % |
564.66/564.66	c |    441245 |   13699    65476   209096 | 2147483647   355350     41 |  0.451 % |
565.36/565.33	c |    441787 |   13699    65476   209096 | 2147483647   355892     41 |  0.451 % |
566.26/566.23	c |    442383 |   13699    65476   209096 | 2147483647   356488     41 |  0.451 % |
567.26/567.28	c |    443038 |   13699    65476   209096 | 2147483647   357143     41 |  0.451 % |
568.56/568.60	c |    443758 |   13699    65476   209096 | 2147483647   357863     41 |  0.451 % |
570.86/570.89	c |    444551 |   13699    65476   209096 | 2147483647   358656     41 |  0.451 % |
573.06/573.11	c |    445423 |   13699    65476   209096 | 2147483647   359528     41 |  0.451 % |
576.16/576.12	c |    446381 |   13699    65476   209096 | 2147483647   360486     41 |  0.451 % |
579.46/579.44	c |    447434 |   13699    65476   209096 | 2147483647   361539     41 |  0.451 % |
582.96/582.92	c |    448592 |   13699    65476   209096 | 2147483647   362697     41 |  0.451 % |
587.06/587.06	c |    449865 |   13699    65476   209096 | 2147483647   363970     41 |  0.451 % |
590.96/590.98	c |    451266 |   13699    65476   209096 | 2147483647   365371     41 |  0.451 % |
595.17/595.14	c |    452806 |   13699    65476   209096 | 2147483647   366911     41 |  0.451 % |
598.86/598.85	c |    454503 |   13699    65476   209096 | 2147483647   368608     41 |  0.451 % |
603.97/603.97	c |    456370 |   13699    65476   209096 | 2147483647   370475     41 |  0.451 % |
610.66/610.69	c |    458419 |   13699    65476   209096 | 2147483647   372524     41 |  0.451 % |
613.06/613.10	c |    460673 |   13699    65476   209096 | 2147483647   374778     41 |  0.451 % |
620.47/620.49	c |    463152 |   13699    65476   209096 | 2147483647   377257     41 |  0.451 % |
628.67/628.70	c |    465878 |   13699    65476   209096 | 2147483647   379983     41 |  0.451 % |
638.06/638.08	c |    468875 |   13698    65473   209090 | 2147483647   382975     41 |  0.458 % |
650.96/650.96	c |    472172 |   13698    65473   209090 |   384103   339764     40 |  0.465 % |
660.86/660.91	c |    475798 |   13697    65473   209090 |   384103   343389     40 |  0.472 % |
671.76/671.75	c |    479786 |   13697    65473   209090 |   384103   347377     40 |  0.472 % |
685.56/685.54	c |    484171 |   13697    65473   209090 | 2147483647   351762     40 |  0.472 % |
685.96/685.94	c |    484271 |   13697    65473   209090 | 2147483647   351862     40 |  0.472 % |
686.26/686.29	c |    484382 |   13697    65473   209090 | 2147483647   351973     40 |  0.472 % |
686.76/686.73	c |    484503 |   13697    65473   209090 | 2147483647   352094     40 |  0.472 % |
687.16/687.17	c |    484637 |   13697    65473   209090 | 2147483647   352228     40 |  0.472 % |
687.76/687.78	c |    484783 |   13697    65473   209090 | 2147483647   352374     40 |  0.472 % |
688.67/688.62	c |    484943 |   13696    65467   209078 | 2147483647   352532     40 |  0.472 % |
689.26/689.29	c |    485121 |   13696    65467   209078 | 2147483647   352710     40 |  0.472 % |
690.06/690.04	c |    485316 |   13696    65467   209078 | 2147483647   352905     40 |  0.472 % |
690.87/690.85	c |    485529 |   13696    65467   209078 | 2147483647   353118     40 |  0.472 % |
691.56/691.58	c |    485763 |   13696    65467   209078 | 2147483647   353352     40 |  0.472 % |
692.46/692.45	c |    486019 |   13696    65467   209078 | 2147483647   353608     40 |  0.472 % |
693.46/693.48	c |    486300 |   13696    65467   209078 | 2147483647   353889     40 |  0.472 % |
694.26/694.27	c |    486614 |   13696    65467   209078 | 2147483647   354203     40 |  0.472 % |
695.16/695.11	c |    486957 |   13696    65467   209078 | 2147483647   354546     40 |  0.472 % |
696.06/696.04	c |    487332 |   13696    65467   209078 | 2147483647   354921     40 |  0.472 % |
696.86/696.87	c |    487741 |   13696    65467   209078 | 2147483647   355330     40 |  0.472 % |
698.86/698.86	c |    488190 |   13696    65467   209078 | 2147483647   355779     40 |  0.472 % |
699.96/699.96	c |    488683 |   13696    65467   209078 | 2147483647   356272     40 |  0.472 % |
701.36/701.40	c |    489226 |   13696    65467   209078 | 2147483647   356815     41 |  0.472 % |
702.86/702.82	c |    489822 |   13696    65467   209078 | 2147483647   357411     41 |  0.472 % |
704.36/704.32	c |    490478 |   13696    65467   209078 |   357589   358067     41 |  0.472 % |
707.16/707.18	c |    491198 |   13696    65467   209078 |   357589   322056     38 |  0.472 % |
709.06/709.01	c |    491993 |   13696    65467   209078 |   357589   322851     38 |  0.472 % |
711.46/711.47	c |    492864 |   13696    65467   209078 |   357589   323722     38 |  0.472 % |
714.56/714.55	c |    493823 |   13696    65467   209078 |   357589   324681     38 |  0.472 % |
718.16/718.16	c |    494878 |   13696    65467   209078 |   357589   325736     38 |  0.472 % |
720.66/720.63	c |    496037 |   13696    65467   209078 |   357589   326895     38 |  0.472 % |
723.87/723.86	c |    497310 |   13696    65467   209078 |   357589   328168     38 |  0.472 % |
728.76/728.72	c |    498712 |   13696    65467   209078 |   357589   329570     38 |  0.472 % |
732.46/732.43	c |    500254 |   13696    65467   209078 | 2147483647   331112     38 |  0.472 % |
736.26/736.24	c |    501948 |   13695    65463   209070 | 2147483647   332778     38 |  0.480 % |
742.47/742.44	c |    503814 |   13695    65463   209070 | 2147483647   334644     38 |  0.480 % |
749.27/749.23	c |    505867 |   13695    65463   209070 | 2147483647   336697     38 |  0.480 % |
755.27/755.24	c |    508121 |   13695    65463   209070 | 2147483647   338951     38 |  0.480 % |
762.87/762.83	c |    510599 |   13695    65463   209070 | 2147483647   341429     38 |  0.480 % |
771.57/771.57	c |    513324 |   13695    65463   209070 | 2147483647   344154     39 |  0.480 % |
781.27/781.25	c |    516321 |   13695    65463   209070 | 2147483647   347151     39 |  0.480 % |
791.37/791.36	c |    519617 |   13695    65463   209070 | 2147483647   350447     39 |  0.480 % |
803.87/803.90	c |    523243 |   13695    65463   209070 |   350832   318789     38 |  0.480 % |
817.38/817.38	c |    527230 |   13694    65460   209064 |   350832   322773     38 |  0.530 % |
830.67/830.67	c |    531618 |   13694    65460   209064 | 2147483647   327161     39 |  0.531 % |
845.27/845.31	c |    536441 |   13694    65460   209064 | 2147483647   331984     39 |  0.530 % |
845.87/845.90	c |    536542 |   13688    65400   208896 | 2147483647   332068     39 |  0.530 % |
846.37/846.36	c |    536652 |   13688    65400   208896 | 2147483647   332178     39 |  0.530 % |
847.08/847.04	c |    536774 |   13688    65400   208896 | 2147483647   332300     39 |  0.530 % |
847.57/847.52	c |    536908 |   13688    65400   208896 | 2147483647   332434     39 |  0.530 % |
847.97/847.97	c |    537054 |   13688    65400   208896 | 2147483647   332580     39 |  0.530 % |
848.47/848.45	c |    537216 |   13688    65400   208896 | 2147483647   332742     39 |  0.530 % |
849.07/849.11	c |    537392 |   13688    65400   208896 | 2147483647   332918     39 |  0.530 % |
849.77/849.78	c |    537585 |   13688    65400   208896 | 2147483647   333111     39 |  0.530 % |
850.57/850.54	c |    537797 |   13688    65400   208896 | 2147483647   333323     39 |  0.530 % |
851.48/851.48	c |    538030 |   13688    65400   208896 | 2147483647   333556     39 |  0.530 % |
852.37/852.40	c |    538286 |   13688    65400   208896 | 2147483647   333812     39 |  0.530 % |
853.68/853.62	c |    538570 |   13688    65400   208896 | 2147483647   334096     39 |  0.530 % |
855.07/855.06	c |    538880 |   13688    65400   208896 | 2147483647   334406     39 |  0.530 % |
856.27/856.24	c |    539220 |   13688    65400   208896 | 2147483647   334746     39 |  0.530 % |
857.47/857.46	c |    539592 |   13688    65400   208896 | 2147483647   335118     39 |  0.530 % |
858.87/858.89	c |    540001 |   13688    65400   208896 | 2147483647   335527     39 |  0.530 % |
860.57/860.54	c |    540451 |   13688    65400   208896 |   335527   335977     39 |  0.530 % |
863.47/863.47	c |    540944 |   13688    65400   208896 |   335527   289222     35 |  0.530 % |
865.07/865.09	c |    541487 |   13688    65400   208896 |   335527   289765     35 |  0.530 % |
866.97/867.01	c |    542083 |   13688    65400   208896 |   335527   290361     35 |  0.530 % |
869.48/869.50	c |    542738 |   13688    65400   208896 |   335527   291016     35 |  0.530 % |
871.48/871.42	c |    543459 |   13688    65400   208896 |   335527   291737     35 |  0.530 % |
873.88/873.82	c |    544252 |   13688    65400   208896 |   335527   292530     35 |  0.530 % |
875.88/875.86	c |    545124 |   13688    65400   208896 |   335527   293402     35 |  0.530 % |
878.68/878.64	c |    546086 |   13688    65400   208896 |   335527   294364     35 |  0.531 % |
881.98/881.97	c |    547139 |   13688    65400   208896 |   335527   295417     35 |  0.530 % |
885.88/885.88	c |    548297 |   13688    65400   208896 |   335527   296575     35 |  0.530 % |
890.18/890.21	c |    549570 |   13688    65400   208896 |   335527   297847     35 |  0.538 % |
895.08/895.08	c |    550971 |   13687    65397   208890 | 2147483647   299245     35 |  0.538 % |
900.88/900.82	c |    552512 |   13687    65397   208890 | 2147483647   300786     35 |  0.538 % |
905.38/905.39	c |    554206 |   13687    65397   208890 | 2147483647   302480     35 |  0.538 % |
910.58/910.55	c |    556069 |   13687    65397   208890 | 2147483647   304343     36 |  0.538 % |
917.38/917.38	c |    558118 |   13687    65397   208890 | 2147483647   306392     36 |  0.538 % |
925.28/925.29	c |    560371 |   13687    65397   208890 |   308275   308645     36 |  0.538 % |
935.98/935.93	c |    562851 |   13687    65397   208890 |   308275   274640     34 |  0.538 % |
944.58/944.56	c |    565576 |   13687    65397   208890 |   308275   277365     35 |  0.538 % |
955.48/955.42	c |    568573 |   13687    65397   208890 |   308275   280362     35 |  0.538 % |
967.08/967.10	c |    571869 |   13687    65397   208890 | 2147483647   283658     35 |  0.538 % |
973.68/973.66	c |    575494 |   13687    65397   208890 | 2147483647   287283     35 |  0.538 % |
984.68/984.64	c |    579482 |   13687    65397   208890 | 2147483647   291271     35 |  0.538 % |
996.48/996.51	c |    583872 |   13687    65397   208890 | 2147483647   295661     35 |  0.538 % |
1008.28/1008.27	c |    588695 |   13686    65387   208862 | 2147483647   300481     35 |  0.545 % |
1023.38/1023.37	c |    594001 |   13686    65387   208862 | 2147483647   305787     36 |  0.545 % |
1023.78/1023.78	c |    594101 |   13686    65387   208862 | 2147483647   305887     36 |  0.545 % |
1024.18/1024.15	c |    594212 |   13686    65387   208862 | 2147483647   305998     36 |  0.545 % |
1024.68/1024.67	c |    594333 |   13686    65387   208862 | 2147483647   306119     36 |  0.545 % |
1025.18/1025.20	c |    594468 |   13686    65387   208862 | 2147483647   306254     36 |  0.545 % |
1025.88/1025.84	c |    594617 |   13686    65387   208862 | 2147483647   306403     36 |  0.545 % |
1026.48/1026.43	c |    594777 |   13686    65387   208862 | 2147483647   306563     36 |  0.545 % |
1027.38/1027.40	c |    594953 |   13686    65387   208862 | 2147483647   306739     36 |  0.545 % |
1028.18/1028.19	c |    595146 |   13686    65387   208862 | 2147483647   306932     36 |  0.545 % |
1028.98/1028.93	c |    595358 |   13686    65387   208862 | 2147483647   307144     36 |  0.545 % |
1029.98/1029.98	c |    595591 |   13686    65387   208862 | 2147483647   307377     36 |  0.545 % |
1030.88/1030.87	c |    595849 |   13686    65387   208862 | 2147483647   307635     36 |  0.545 % |
1032.08/1032.05	c |    596130 |   13686    65387   208862 | 2147483647   307916     36 |  0.545 % |
1033.38/1033.35	c |    596446 |   13686    65387   208862 | 2147483647   308232     36 |  0.545 % |
1034.88/1034.86	c |    596787 |   13686    65387   208862 | 2147483647   308573     36 |  0.545 % |
1036.18/1036.15	c |    597159 |   13686    65387   208862 | 2147483647   308945     36 |  0.545 % |
1038.28/1038.28	c |    597568 |   13685    65382   208852 | 2147483647   309352     36 |  0.552 % |
1039.98/1040.00	c |    598020 |   13685    65382   208852 | 2147483647   309804     36 |  0.552 % |
1042.08/1042.03	c |    598513 |   13685    65382   208852 | 2147483647   310297     36 |  0.552 % |
1044.28/1044.28	c |    599056 |   13685    65382   208852 | 2147483647   310840     36 |  0.552 % |
1046.58/1046.60	c |    599652 |   13685    65382   208852 | 2147483647   311436     36 |  0.552 % |
1049.38/1049.40	c |    600307 |   13685    65382   208852 |   311785   312091     36 |  0.552 % |
1053.38/1053.40	c |    601028 |   13685    65382   208852 |   311785   272945     33 |  0.552 % |
1056.58/1056.52	c |    601822 |   13685    65382   208852 |   311785   273739     33 |  0.552 % |
1059.98/1059.93	c |    602694 |   13685    65382   208852 |   311785   274611     33 |  0.552 % |
1063.18/1063.13	c |    603653 |   13685    65382   208852 |   311785   275570     33 |  0.552 % |
1064.58/1064.56	c |    604706 |   13685    65382   208852 |   311785   276623     33 |  0.552 % |
1067.98/1067.96	c |    605867 |   13685    65382   208852 |   311785   277784     33 |  0.552 % |
1070.39/1070.38	c |    607140 |   13685    65382   208852 |   311785   279057     33 |  0.552 % |
1073.88/1073.87	c |    608541 |   13685    65382   208852 |   311785   280458     33 |  0.552 % |
1078.38/1078.33	c |    610082 |   13685    65382   208852 | 2147483647   281999     33 |  0.552 % |
1083.48/1083.47	c |    611777 |   13685    65382   208852 | 2147483647   283694     33 |  0.552 % |
1088.98/1089.00	c |    613641 |   13685    65382   208852 | 2147483647   285558     33 |  0.552 % |
1095.58/1095.52	c |    615691 |   13685    65382   208852 | 2147483647   287608     33 |  0.552 % |
1103.18/1103.18	c |    617944 |   13685    65382   208852 | 2147483647   289861     33 |  0.552 % |
1112.48/1112.43	c |    620422 |   13685    65382   208852 |   291918   258811     30 |  0.552 % |
1120.99/1120.93	c |    623149 |   13685    65382   208852 |   291918   261538     30 |  0.552 % |
1130.89/1130.91	c |    626146 |   13685    65382   208852 |   291918   264535     31 |  0.552 % |
1138.69/1138.70	c |    629442 |   13685    65382   208852 |   291918   267831     31 |  0.552 % |
1146.69/1146.65	c |    633071 |   13685    65382   208852 | 2147483647   271460     31 |  0.552 % |
1158.19/1158.13	c |    637060 |   13685    65382   208852 | 2147483647   275449     32 |  0.552 % |
1168.79/1168.79	c |    641445 |   13685    65382   208852 | 2147483647   279834     32 |  0.552 % |
1178.89/1178.84	c |    646268 |   13685    65382   208852 | 2147483647   284657     32 |  0.552 % |
1193.29/1193.22	c |    651575 |   13685    65382   208852 | 2147483647   289964     32 |  0.552 % |
1200.09/1200.03	HOME/SatELiteGTI: line 36: 26603 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=952 CPUtime=0
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 149 0 0 0 0 0 0 0 25 0 1 0 1017178710 974848 85 4294967295 134512640 135223648 3213038448 3213037328 134543095 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 271 90 45 174 0 96 0

[startup+0.072084 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=13660 CPUtime=0.07
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 2591 0 0 0 6 1 0 0 25 0 1 0 1017178710 13987840 2527 4294967295 134512640 135223648 3213038448 3213037220 134741470 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 3415 2527 47 174 0 3240 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16072

[startup+0.112082 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=16828 CPUtime=0.11
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 3812 0 0 0 9 2 0 0 25 0 1 0 1017178710 17231872 3748 4294967295 134512640 135223648 3213038448 3213037400 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 4207 3748 47 174 0 4032 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 19240

[startup+0.31207 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=21744 CPUtime=0.31
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 5264 0 0 0 28 3 0 0 25 0 1 0 1017178710 22265856 4849 4294967295 134512640 135223648 3213038448 3213036112 134578184 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 5436 4849 73 174 0 5261 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 24156

[startup+0.712048 s]
/proc/loadavg: 1.00 1.28 1.24 2/96 26597
/proc/meminfo: memFree=1988292/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=23108 CPUtime=0.71
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 5584 0 0 0 68 3 0 0 25 0 1 0 1017178710 23662592 5169 4294967295 134512640 135223648 3213038448 3213036216 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 5777 5169 73 174 0 5602 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 25520

[startup+1.512 s]
/proc/loadavg: 1.00 1.28 1.24 2/98 26602
/proc/meminfo: memFree=1959748/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2412 CPUtime=0.01
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 364 645 0 0 0 0 0 1 25 0 1 0 1017178710 2469888 275 4294967295 134512640 135169312 3219476896 3219475432 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26597/statm: 603 275 235 161 0 42 0
[pid=26601] ppid=26597 vsize=23704 CPUtime=1.51
/proc/26601/stat : 26601 (SatELite_releas) R 26597 26597 11066 0 -1 4202496 5930 0 0 0 148 3 0 0 25 0 1 0 1017178710 24272896 5290 4294967295 134512640 135223648 3213038448 3213036540 134586608 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26601/statm: 5926 5290 75 174 0 5751 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 26116

[startup+3.11192 s]
/proc/loadavg: 1.00 1.28 1.24 2/98 26603
/proc/meminfo: memFree=1972892/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=6916 CPUtime=1.38
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 1580 0 0 0 138 0 0 0 25 0 1 0 1017178884 7081984 1515 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26603/statm: 1729 1515 73 172 0 1556 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9332

[startup+6.31174 s]
/proc/loadavg: 1.00 1.27 1.24 2/98 26603
/proc/meminfo: memFree=1971032/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=8684 CPUtime=4.58
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 2018 0 0 0 458 0 0 0 25 0 1 0 1017178884 8892416 1953 4294967295 134512640 135215339 3220337344 3220335632 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 2171 1953 73 172 0 1998 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11100

[startup+12.7114 s]
/proc/loadavg: 1.00 1.27 1.23 3/98 26786
/proc/meminfo: memFree=1967628/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=11832 CPUtime=10.98
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 2791 0 0 0 1098 0 0 0 25 0 1 0 1017178884 12115968 2726 4294967295 134512640 135215339 3220337344 3220335632 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 2958 2726 73 172 0 2785 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 14248

[startup+25.5107 s]
/proc/loadavg: 1.00 1.25 1.23 3/98 26788
/proc/meminfo: memFree=1962208/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=17236 CPUtime=23.78
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 4154 0 0 0 2376 2 0 0 25 0 1 0 1017178884 17649664 4089 4294967295 134512640 135215339 3220337344 3220335632 134529059 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 4309 4089 73 172 0 4136 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 19652

[startup+51.1092 s]
/proc/loadavg: 1.00 1.23 1.22 3/98 26791
/proc/meminfo: memFree=1953840/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=25756 CPUtime=49.38
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 6278 0 0 0 4934 4 0 0 25 0 1 0 1017178884 26374144 6213 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 6439 6213 73 172 0 6266 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 28172

[startup+102.316 s]
/proc/loadavg: 1.00 1.19 1.21 2/98 26977
/proc/meminfo: memFree=1941308/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=37812 CPUtime=100.59
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 9296 0 0 0 10054 5 0 0 25 0 1 0 1017178884 38719488 9231 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 9453 9231 73 172 0 9280 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 40228

[startup+162.313 s]
/proc/loadavg: 1.00 1.16 1.19 3/98 27166
/proc/meminfo: memFree=1929148/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=50360 CPUtime=160.59
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 12371 0 0 0 16050 9 0 0 25 0 1 0 1017178884 51568640 12306 4294967295 134512640 135215339 3220337344 3220335632 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 12590 12306 73 172 0 12417 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 52776

[startup+222.31 s]
/proc/loadavg: 1.00 1.12 1.18 3/98 27359
/proc/meminfo: memFree=1919608/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=59772 CPUtime=220.59
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 14744 0 0 0 22048 11 0 0 25 0 1 0 1017178884 61206528 14679 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 14943 14679 73 172 0 14770 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 62188

[startup+282.316 s]
/proc/loadavg: 1.00 1.10 1.16 2/98 27548
/proc/meminfo: memFree=1911728/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=68544 CPUtime=280.6
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 16772 0 0 0 28046 14 0 0 25 0 1 0 1017178884 70189056 16707 4294967295 134512640 135215339 3220337344 3220335632 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 17136 16707 73 172 0 16963 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 70960

[startup+342.313 s]
/proc/loadavg: 1.00 1.08 1.15 3/98 27734
/proc/meminfo: memFree=1903760/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=76036 CPUtime=340.6
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 18673 0 0 0 34037 23 0 0 25 0 1 0 1017178884 77860864 18608 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 19009 18608 73 172 0 18836 0
Current children cumulated CPU time (s) 342.34

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

[pid=26603] ppid=26597 vsize=88140 CPUtime=460.61
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 21724 0 0 0 46038 23 0 0 25 0 1 0 1017178884 90255360 21659 4294967295 134512640 135215339 3220337344 3220335632 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22035 21659 73 172 0 21862 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 90556

[startup+522.323 s]
/proc/loadavg: 1.00 1.04 1.12 3/98 28298
/proc/meminfo: memFree=1890880/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=88804 CPUtime=520.62
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 21893 0 0 0 52039 23 0 0 25 0 1 0 1017178884 90935296 21828 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22201 21828 73 172 0 22028 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 91220

[startup+582.32 s]
/proc/loadavg: 1.00 1.03 1.11 2/98 28491
/proc/meminfo: memFree=1890492/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=89288 CPUtime=580.62
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22033 0 0 0 58039 23 0 0 25 0 1 0 1017178884 91430912 21968 4294967295 134512640 135215339 3220337344 3220335632 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22322 21968 73 172 0 22149 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 91704

[startup+642.316 s]
/proc/loadavg: 1.07 1.04 1.10 2/98 28677
/proc/meminfo: memFree=1890120/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=89580 CPUtime=640.62
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22099 0 0 0 64039 23 0 0 25 0 1 0 1017178884 91729920 22034 4294967295 134512640 135215339 3220337344 3220335632 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22395 22034 73 172 0 22222 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 91996

[startup+702.313 s]
/proc/loadavg: 1.09 1.06 1.10 2/98 28865
/proc/meminfo: memFree=1889996/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=89744 CPUtime=700.62
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22142 0 0 0 70037 25 0 0 25 0 1 0 1017178884 91897856 22077 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22436 22077 73 172 0 22263 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 92160

[startup+762.32 s]
/proc/loadavg: 1.03 1.04 1.09 2/98 29052
/proc/meminfo: memFree=1890120/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=89744 CPUtime=760.63
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22147 0 0 0 76038 25 0 0 25 0 1 0 1017178884 91897856 22082 4294967295 134512640 135215339 3220337344 3220335632 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22436 22082 73 172 0 22263 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 92160

[startup+822.316 s]
/proc/loadavg: 1.01 1.03 1.08 3/98 29241
/proc/meminfo: memFree=1889896/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=90172 CPUtime=820.63
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22210 0 0 0 82038 25 0 0 25 0 1 0 1017178884 92336128 22145 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22543 22145 73 172 0 22370 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 92588

[startup+882.323 s]
/proc/loadavg: 1.00 1.02 1.08 3/98 29430
/proc/meminfo: memFree=1889880/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=90384 CPUtime=880.64
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22270 0 0 0 88039 25 0 0 25 0 1 0 1017178884 92553216 22205 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22596 22205 73 172 0 22423 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 92800

[startup+942.32 s]
/proc/loadavg: 1.00 1.02 1.07 2/98 29616
/proc/meminfo: memFree=1889748/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=90596 CPUtime=940.64
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22319 0 0 0 94039 25 0 0 25 0 1 0 1017178884 92770304 22254 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22649 22254 73 172 0 22476 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 93012

[startup+1002.32 s]
/proc/loadavg: 1.00 1.01 1.06 3/98 29808
/proc/meminfo: memFree=1889028/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91220 CPUtime=1000.64
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22427 0 0 0 100028 36 0 0 25 0 1 0 1017178884 93409280 22362 4294967295 134512640 135215339 3220337344 3220335632 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22805 22362 73 172 0 22632 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 93636

[startup+1062.31 s]
/proc/loadavg: 1.00 1.01 1.06 3/98 29995
/proc/meminfo: memFree=1889004/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91220 CPUtime=1060.64
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22446 0 0 0 106028 36 0 0 25 0 1 0 1017178884 93409280 22381 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22805 22381 73 172 0 22632 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 93636

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.05 2/98 30184
/proc/meminfo: memFree=1889012/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91380 CPUtime=1120.65
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22469 0 0 0 112029 36 0 0 25 0 1 0 1017178884 93573120 22404 4294967295 134512640 135215339 3220337344 3220335632 134529083 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22845 22404 73 172 0 22672 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 93796

[startup+1182.32 s]
/proc/loadavg: 1.04 1.01 1.05 3/98 30373
/proc/meminfo: memFree=1888640/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91624 CPUtime=1180.65
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22562 0 0 0 118029 36 0 0 25 0 1 0 1017178884 93822976 22497 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22906 22497 73 172 0 22733 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 94040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.17 1.04 1.06 3/98 30373
/proc/meminfo: memFree=1888516/2074464 swapFree=1950760/1959888
[pid=26597] ppid=26595 vsize=2416 CPUtime=1.74
/proc/26597/stat : 26597 (SatELiteGTI) S 26595 26597 11066 0 -1 4194304 382 7388 0 0 0 0 169 5 18 0 1 0 1017178710 2473984 276 4294967295 134512640 135169312 3219476896 3219473112 3085569774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26597/statm: 604 276 235 161 0 43 0
[pid=26603] ppid=26597 vsize=91788 CPUtime=1198.35
/proc/26603/stat : 26603 (minisat_static) R 26597 26597 11066 0 -1 4202496 22597 0 0 0 119799 36 0 0 25 0 1 0 1017178884 93990912 22532 4294967295 134512640 135215339 3220337344 3220335632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26603/statm: 22947 22532 73 172 0 22774 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 94204

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

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

Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.11
CPU user time (s): 1199.68
CPU system time (s): 0.43
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 94204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.68
system time used= 0.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30644
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= 21
involuntary context switches= 953

runsolver used 0.03 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi23 at 2009-05-17 04:20:04
IDJOB=1821430
IDBENCH=70956
IDSOLVER=657
FILE ID=tipi23/1821430-1242526804
PBS_JOBID=
Free space on /tmp= 8812 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-ss-8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821430-1242526804/watcher-1821430-1242526804 -o /tmp/evaluation-result-1821430-1242526804/solver-1821430-1242526804 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821430-1242526804.cnf

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

MD5SUM BENCH= 9d3d3bb9b296880c7463693ae665aafd
RANDOM SEED= 2105380339

Linux tipi23 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.377
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.38

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

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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:       1988680 kB
Buffers:         14148 kB
Cached:          18720 kB
SwapCached:       3576 kB
Active:          31960 kB
Inactive:        12832 kB
HighTotal:     1178688 kB
HighFree:      1148976 kB
LowTotal:       895776 kB
LowFree:        839704 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            3900 kB
Writeback:           0 kB
AnonPages:       10992 kB
Mapped:           4240 kB
Slab:            32276 kB
PageTables:        628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8812 MiB
End job on tipi23 at 2009-05-17 04:40:04