Trace number 1833585

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18UNSAT 469.591 469.769

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
MD5SUM1394bf507e3ed448c81b5502d6550d78
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark87.2857
Satisfiable
(Un)Satisfiability was proved
Number of variables40042
Number of clauses119357
Sum of the clauses size278497
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 279570
Number of clauses of size 339785
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.00/0.10	c ==============================================================================
0.00/0.10	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.10	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         0 |  119355   278495 |   35806       0        0     nan |  0.000 % |
2.18/2.28	c |         0 |   48581   208867 |      --       0       --      -- |     --   | -70752/-69575
2.18/2.28	c ==============================================================================
2.18/2.28	c Result  :   #vars: 4857   #clauses: 48581   #literals: 208867
2.18/2.28	c CPU time:   2.22066 s
2.18/2.28	c ==============================================================================
2.29/2.36	c This is MiniSat 2.0 beta
2.29/2.36	c WARNING: for repeatability, setting FPU to use double precision
2.29/2.36	c ============================[ Problem Statistics ]=============================
2.29/2.36	c |                                                                             |
2.29/2.36	c |  Number of variables:  4857                                                 |
2.29/2.36	c |  Number of clauses:    48581                                                |
2.29/2.39	c |  Parsing time:         0.03         s                                       |
2.29/2.40	c ============================[ Search Statistics ]==============================
2.29/2.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.40	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.29/2.40	c ===============================================================================
2.29/2.40	c |         0 |    4857    48581   208867 |    16193        0    nan |  0.000 % |
2.35/2.41	c |       100 |    4857    48581   208867 |    16193      100     10 |  0.000 % |
2.35/2.44	c |       201 |    4857    48581   208867 |    16193      201     14 |  0.000 % |
2.35/2.46	c |       301 |    4857    48581   208867 |    16193      301     26 |  0.000 % |
2.35/2.48	c |       411 |    4857    48581   208867 |    16193      411     24 |  0.000 % |
2.35/2.48	c |       511 |    4857    48581   208867 |    16193      511     26 |  0.000 % |
2.35/2.50	c |       621 |    4857    48581   208867 |    16193      621     26 |  0.000 % |
2.35/2.52	c |       743 |    4857    48581   208867 |    16193      743     24 |  0.000 % |
2.35/2.53	c |       844 |    4857    48581   208867 |    16193      844     29 |  0.000 % |
2.35/2.54	c |       954 |    4857    48581   208867 |    16193      954     30 |  0.000 % |
2.35/2.56	c |      1075 |    4856    48517   208739 |    16193     1073     29 |  0.021 % |
2.35/2.58	c |      1208 |    4856    48517   208739 |    16193     1206     29 |  0.021 % |
2.35/2.59	c |      1309 |    4856    48517   208739 |    16193     1307     32 |  0.021 % |
2.35/2.60	c |      1420 |    4856    48517   208739 |    16193     1418     31 |  0.021 % |
2.35/2.62	c |      1541 |    4856    48517   208739 |    16193     1539     31 |  0.021 % |
2.35/2.65	c |      1674 |    4856    48517   208739 |    16193     1672     32 |  0.021 % |
2.35/2.67	c |      1821 |    4856    48517   208739 |    16193     1819     36 |  0.021 % |
2.35/2.69	c |      1928 |    4856    48517   208739 |    16193     1926     38 |  0.021 % |
2.35/2.71	c |      2038 |    4856    48517   208739 |    16193     2036     38 |  0.021 % |
2.35/2.73	c |      2159 |    4856    48517   208739 |    16193     2157     39 |  0.021 % |
2.35/2.75	c |      2292 |    4856    48517   208739 |    16193     2290     40 |  0.021 % |
2.35/2.78	c |      2438 |    4856    48517   208739 |    16193     2436     40 |  0.021 % |
2.35/2.81	c |      2598 |    4856    48517   208739 |    16193     2596     41 |  0.021 % |
2.35/2.82	c |      2698 |    4856    48517   208739 |    16193     2696     40 |  0.021 % |
2.35/2.85	c |      2809 |    4856    48517   208739 |    16193     2807     40 |  0.021 % |
2.35/2.87	c |      2934 |    4856    48517   208739 |    16193     2932     41 |  0.021 % |
2.35/2.88	c |      3067 |    4856    48517   208739 |    16193     3065     41 |  0.021 % |
2.35/2.91	c |      3213 |    4856    48517   208739 |    16193     3211     42 |  0.021 % |
2.35/2.94	c |      3373 |    4856    48517   208739 |    16193     3371     42 |  0.021 % |
2.35/2.96	c |      3552 |    4856    48517   208739 |    16193     3550     44 |  0.021 % |
2.35/2.97	c |      3652 |    4856    48517   208739 |    16193     3650     45 |  0.021 % |
2.35/2.98	c |      3762 |    4856    48517   208739 |    16193     3760     45 |  0.021 % |
2.35/2.99	c |      3886 |    4856    48517   208739 |    16193     3884     45 |  0.021 % |
2.35/3.01	c |      4019 |    4856    48517   208739 |    16193     4017     44 |  0.021 % |
2.35/3.03	c |      4165 |    4856    48517   208739 |    16193     4163     45 |  0.021 % |
2.35/3.06	c |      4325 |    4856    48517   208739 |    16193     4323     47 |  0.021 % |
2.35/3.09	c |      4503 |    4856    48517   208739 |    16193     4501     47 |  0.021 % |
2.35/3.12	c |      4696 |    4856    48517   208739 |    16193     4694     47 |  0.021 % |
2.35/3.14	c |      4798 |    4856    48517   208739 |    16193     4796     48 |  0.021 % |
2.35/3.16	c |      4908 |    4856    48517   208739 |    16193     4906     49 |  0.021 % |
2.35/3.18	c |      5030 |    4856    48517   208739 |    16193     5028     50 |  0.021 % |
3.18/3.21	c |      5163 |    4856    48517   208739 |    16193     5161     52 |  0.021 % |
3.18/3.23	c |      5310 |    4856    48517   208739 |    16193     5308     54 |  0.021 % |
3.18/3.25	c |      5470 |    4856    48517   208739 |    16193     5468     54 |  0.021 % |
3.18/3.28	c |      5651 |    4856    48517   208739 |    16193     5649     56 |  0.021 % |
3.27/3.30	c |      5844 |    4856    48517   208739 |    16193     5842     57 |  0.021 % |
3.27/3.38	c |      6056 |    4856    48517   208739 |    16193     6054     57 |  0.021 % |
3.37/3.40	c |      6156 |    4856    48517   208739 |    16193     6154     57 |  0.021 % |
3.37/3.43	c |      6266 |    4856    48517   208739 |    16193     6264     58 |  0.021 % |
3.37/3.45	c |      6393 |    4856    48517   208739 |    16193     6391     57 |  0.021 % |
3.37/3.49	c |      6526 |    4856    48517   208739 |    16193     6524     59 |  0.021 % |
3.47/3.53	c |      6672 |    4856    48517   208739 |    16193     6670     61 |  0.021 % |
3.47/3.56	c |      6834 |    4856    48517   208739 |    16193     6832     63 |  0.021 % |
3.47/3.59	c |      7011 |    4856    48517   208739 |    16193     7009     65 |  0.021 % |
3.57/3.64	c |      7205 |    4856    48517   208739 |    16193     7203     68 |  0.021 % |
3.57/3.68	c |      7419 |    4856    48517   208739 |    16193     7417     72 |  0.021 % |
3.67/3.77	c |      7652 |    4856    48517   208739 |    16193     7650     77 |  0.021 % |
3.77/3.80	c |      7752 |    4856    48517   208739 |    16193     7750     79 |  0.021 % |
3.77/3.83	c |      7864 |    4856    48517   208739 |    16193     7862     81 |  0.021 % |
3.77/3.88	c |      7986 |    4856    48517   208739 |    16193     7984     82 |  0.021 % |
3.87/3.90	c |      8119 |    4856    48517   208739 |    16193     8117     82 |  0.021 % |
3.87/3.94	c |      8265 |    4856    48517   208739 |    16193     8263     83 |  0.021 % |
3.87/3.98	c |      8429 |    4856    48517   208739 |    16193     8427     84 |  0.021 % |
3.97/4.04	c |      8607 |    4856    48517   208739 |    16193     8605     87 |  0.021 % |
4.07/4.10	c |      8800 |    4856    48517   208739 |    16193     8798     90 |  0.021 % |
4.07/4.14	c |      9013 |    4856    48517   208739 |    16193     9011     91 |  0.021 % |
4.17/4.20	c |      9246 |    4856    48517   208739 |    16193     9244     92 |  0.021 % |
4.17/4.24	c |      9502 |    4856    48517   208739 |    16193     9500     92 |  0.021 % |
4.17/4.27	c |      9602 |    4856    48517   208739 |    16193     9600     92 |  0.021 % |
4.28/4.30	c |      9713 |    4856    48517   208739 |    16193     9711     93 |  0.021 % |
4.28/4.35	c |      9834 |    4856    48517   208739 |    16193     9832     96 |  0.021 % |
4.28/4.39	c |      9969 |    4856    48517   208739 |    16193     9967     97 |  0.021 % |
4.38/4.45	c |     10116 |    4856    48517   208739 | 2147483647    10114     99 |  0.021 % |
4.47/4.51	c |     10276 |    4856    48517   208739 | 2147483647    10274    101 |  0.021 % |
4.57/4.60	c |     10453 |    4856    48517   208739 | 2147483647    10451    102 |  0.021 % |
4.67/4.71	c |     10646 |    4856    48517   208739 | 2147483647    10644    107 |  0.021 % |
4.77/4.80	c |     10860 |    4856    48517   208739 | 2147483647    10858    111 |  0.021 % |
4.77/4.86	c |     11095 |    4856    48517   208739 | 2147483647    11093    113 |  0.021 % |
4.87/4.93	c |     11355 |    4856    48517   208739 | 2147483647    11353    117 |  0.021 % |
4.97/5.03	c |     11636 |    4856    48517   208739 | 2147483647    11634    121 |  0.021 % |
4.97/5.06	c |     11739 |    4856    48517   208739 | 2147483647    11737    122 |  0.021 % |
5.07/5.12	c |     11852 |    4856    48517   208739 | 2147483647    11850    124 |  0.021 % |
5.07/5.18	c |     11973 |    4856    48517   208739 | 2147483647    11971    125 |  0.021 % |
5.17/5.25	c |     12107 |    4856    48517   208739 | 2147483647    12105    128 |  0.021 % |
5.37/5.43	c |     12254 |    4856    48517   208739 | 2147483647    12252    132 |  0.021 % |
5.47/5.56	c |     12422 |    4856    48517   208739 | 2147483647    12420    135 |  0.021 % |
5.57/5.62	c |     12598 |    4856    48517   208739 | 2147483647    12596    136 |  0.021 % |
5.67/5.72	c |     12801 |    4856    48517   208739 | 2147483647    12799    136 |  0.021 % |
5.67/5.79	c |     13014 |    4856    48517   208739 | 2147483647    13012    138 |  0.021 % |
5.87/5.90	c |     13247 |    4856    48517   208739 | 2147483647    13245    141 |  0.021 % |
5.87/5.98	c |     13503 |    4856    48517   208739 | 2147483647    13501    142 |  0.021 % |
6.07/6.16	c |     13784 |    4856    48517   208739 | 2147483647    13782    146 |  0.021 % |
6.17/6.27	c |     14093 |    4856    48517   208739 | 2147483647    14091    149 |  0.021 % |
6.27/6.33	c |     14193 |    4856    48517   208739 | 2147483647    14191    151 |  0.021 % |
6.37/6.42	c |     14303 |    4856    48517   208739 | 2147483647    14301    153 |  0.021 % |
6.47/6.54	c |     14427 |    4856    48517   208739 | 2147483647    14425    156 |  0.021 % |
6.57/6.61	c |     14560 |    4856    48517   208739 | 2147483647    14558    156 |  0.021 % |
6.57/6.65	c |     14707 |    4856    48517   208739 | 2147483647    14705    155 |  0.021 % |
6.57/6.68	c |     14869 |    4856    48517   208739 | 2147483647    14867    155 |  0.021 % |
6.67/6.75	c |     15045 |    4856    48517   208739 | 2147483647    15043    155 |  0.021 % |
6.77/6.80	c |     15238 |    4856    48517   208739 | 2147483647    15236    155 |  0.021 % |
6.77/6.83	c |     15450 |    4856    48517   208739 | 2147483647    15448    154 |  0.021 % |
6.77/6.88	c |     15683 |    4856    48517   208739 | 2147483647    15681    156 |  0.021 % |
6.87/6.96	c |     15943 |    4856    48517   208739 | 2147483647    15941    156 |  0.021 % |
6.97/7.04	c |     16228 |    4856    48517   208739 | 2147483647    16226    156 |  0.021 % |
7.07/7.14	c |     16537 |    4856    48517   208739 | 2147483647    16535    157 |  0.021 % |
7.17/7.24	c |     16876 |    4856    48517   208739 | 2147483647    16874    157 |  0.021 % |
7.17/7.27	c |     16976 |    4856    48517   208739 | 2147483647    16974    157 |  0.021 % |
7.27/7.30	c |     17086 |    4856    48517   208739 | 2147483647    17084    157 |  0.021 % |
7.27/7.35	c |     17208 |    4856    48517   208739 | 2147483647    17206    158 |  0.021 % |
7.37/7.43	c |     17341 |    4856    48517   208739 | 2147483647    17339    159 |  0.021 % |
7.47/7.51	c |     17487 |    4856    48517   208739 | 2147483647    17485    160 |  0.021 % |
7.47/7.58	c |     17647 |    4856    48517   208739 | 2147483647    17645    161 |  0.021 % |
7.57/7.69	c |     17824 |    4856    48517   208739 | 2147483647    17822    163 |  0.021 % |
7.77/7.81	c |     18020 |    4855    48452   208608 | 2147483647    18016    165 |  0.041 % |
7.87/7.97	c |     18233 |    4855    48452   208608 | 2147483647    18229    168 |  0.041 % |
8.27/8.34	c |     18469 |    4855    48452   208608 | 2147483647    18465    170 |  0.041 % |
8.57/8.66	c |     18730 |    4855    48452   208608 | 2147483647    18726    174 |  0.041 % |
8.87/8.94	c |     19013 |    4855    48452   208608 | 2147483647    19009    177 |  0.041 % |
9.07/9.12	c |     19324 |    4855    48452   208608 | 2147483647    19320    179 |  0.041 % |
9.27/9.33	c |     19663 |    4855    48452   208608 | 2147483647    19659    181 |  0.041 % |
9.67/9.75	c |     20036 |    4855    48452   208608 | 2147483647    20032    186 |  0.041 % |
9.77/9.86	c |     20140 |    4855    48452   208608 | 2147483647    20136    187 |  0.041 % |
9.87/9.92	c |     20250 |    4855    48452   208608 | 2147483647    20246    188 |  0.041 % |
9.87/9.98	c |     20371 |    4855    48452   208608 | 2147483647    20367    187 |  0.041 % |
9.97/10.02	c |     20504 |    4855    48452   208608 | 2147483647    20500    187 |  0.041 % |
10.06/10.13	c |     20653 |    4855    48452   208608 | 2147483647    20649    189 |  0.041 % |
10.16/10.22	c |     20815 |    4855    48452   208608 | 2147483647    20811    190 |  0.041 % |
10.26/10.34	c |     20991 |    4855    48452   208608 | 2147483647    20987    191 |  0.041 % |
10.57/10.61	c |     21185 |    4855    48452   208608 | 2147483647    21181    193 |  0.041 % |
10.67/10.78	c |     21406 |    4855    48452   208608 | 2147483647    21402    195 |  0.041 % |
10.88/10.95	c |     21642 |    4855    48452   208608 | 2147483647    21638    196 |  0.041 % |
11.07/11.11	c |     21900 |    4855    48452   208608 | 2147483647    21896    197 |  0.041 % |
11.17/11.26	c |     22181 |    4855    48452   208608 | 2147483647    22177    198 |  0.041 % |
11.27/11.37	c |     22491 |    4855    48452   208608 | 2147483647    22487    198 |  0.041 % |
11.37/11.49	c |     22831 |    4855    48452   208608 | 2147483647    22827    197 |  0.041 % |
11.57/11.61	c |     23203 |    4855    48452   208608 | 2147483647    23199    196 |  0.041 % |
11.77/11.82	c |     23612 |    4855    48452   208608 | 2147483647    23608    197 |  0.041 % |
11.77/11.89	c |     23712 |    4855    48452   208608 | 2147483647    23708    198 |  0.041 % |
11.87/11.95	c |     23823 |    4855    48452   208608 | 2147483647    23819    198 |  0.041 % |
11.97/12.03	c |     23945 |    4855    48452   208608 | 2147483647    23941    199 |  0.041 % |
12.07/12.12	c |     24080 |    4855    48452   208608 | 2147483647    24076    199 |  0.041 % |
12.17/12.23	c |     24226 |    4855    48452   208608 | 2147483647    24222    200 |  0.041 % |
12.27/12.30	c |     24389 |    4854    48452   208608 | 2147483647    24384    200 |  0.062 % |
12.37/12.40	c |     24571 |    4854    48452   208608 | 2147483647    24566    200 |  0.062 % |
12.46/12.54	c |     24769 |    4854    48452   208608 | 2147483647    24764    201 |  0.062 % |
12.56/12.70	c |     24981 |    4854    48452   208608 | 2147483647    24976    202 |  0.062 % |
12.77/12.84	c |     25214 |    4854    48452   208608 | 2147483647    25209    202 |  0.062 % |
12.87/12.98	c |     25473 |    4854    48452   208608 | 2147483647    25468    202 |  0.062 % |
12.97/13.05	c |     25759 |    4854    48452   208608 | 2147483647    25754    201 |  0.062 % |
13.08/13.15	c |     26074 |    4854    48452   208608 | 2147483647    26069    200 |  0.062 % |
13.27/13.31	c |     26413 |    4854    48452   208608 | 2147483647    26408    200 |  0.062 % |
13.37/13.49	c |     26785 |    4854    48452   208608 | 2147483647    26780    200 |  0.062 % |
13.57/13.66	c |     27194 |    4854    48452   208608 | 2147483647    27189    200 |  0.062 % |
13.77/13.83	c |     27644 |    4854    48452   208608 | 2147483647    27639    200 |  0.062 % |
13.77/13.87	c |     27746 |    4854    48452   208608 | 2147483647    27741    200 |  0.062 % |
13.87/13.90	c |     27857 |    4854    48452   208608 | 2147483647    27852    200 |  0.062 % |
13.87/13.94	c |     27986 |    4854    48452   208608 | 2147483647    27981    199 |  0.062 % |
13.97/14.00	c |     28119 |    4854    48452   208608 | 2147483647    28114    199 |  0.062 % |
13.97/14.03	c |     28265 |    4854    48452   208608 | 2147483647    28260    198 |  0.062 % |
13.97/14.09	c |     28425 |    4854    48452   208608 | 2147483647    28420    198 |  0.062 % |
14.17/14.22	c |     28611 |    4854    48387   208477 | 2147483647    28605    198 |  0.062 % |
14.27/14.36	c |     28805 |    4854    48387   208477 | 2147483647    28799    198 |  0.062 % |
14.37/14.47	c |     29020 |    4854    48387   208477 | 2147483647    29014    199 |  0.062 % |
14.47/14.54	c |     29253 |    4854    48387   208477 | 2147483647    29247    197 |  0.062 % |
14.57/14.67	c |     29516 |    4854    48387   208477 | 2147483647    29510    197 |  0.062 % |
14.77/14.81	c |     29802 |    4854    48387   208477 | 2147483647    29796    199 |  0.062 % |
14.87/14.95	c |     30116 |    4854    48387   208477 | 2147483647    30110    199 |  0.062 % |
15.07/15.14	c |     30463 |    4854    48387   208477 | 2147483647    30457    200 |  0.062 % |
15.37/15.42	c |     30842 |    4854    48387   208477 | 2147483647    30836    202 |  0.062 % |
15.57/15.67	c |     31251 |    4854    48387   208477 | 2147483647    31245    203 |  0.062 % |
15.87/15.94	c |     31701 |    4854    48387   208477 | 2147483647    31695    203 |  0.062 % |
16.07/16.17	c |     32194 |    4854    48387   208477 | 2147483647    32188    204 |  0.062 % |
16.17/16.21	c |     32296 |    4854    48387   208477 | 2147483647    32290    204 |  0.062 % |
16.17/16.24	c |     32406 |    4854    48387   208477 | 2147483647    32400    204 |  0.062 % |
16.17/16.26	c |     32529 |    4854    48387   208477 | 2147483647    32523    204 |  0.062 % |
16.27/16.32	c |     32663 |    4854    48387   208477 | 2147483647    32657    204 |  0.062 % |
16.27/16.38	c |     32809 |    4854    48387   208477 | 2147483647    32803    204 |  0.062 % |
16.37/16.45	c |     32970 |    4854    48387   208477 | 2147483647    32964    204 |  0.062 % |
16.37/16.49	c |     33147 |    4854    48387   208477 | 2147483647    33141    204 |  0.062 % |
16.47/16.53	c |     33340 |    4854    48387   208477 | 2147483647    33334    204 |  0.062 % |
16.56/16.64	c |     33552 |    4854    48387   208477 | 2147483647    33546    204 |  0.062 % |
16.76/16.86	c |     33785 |    4854    48387   208477 | 2147483647    33779    206 |  0.062 % |
17.06/17.12	c |     34042 |    4854    48387   208477 | 2147483647    34036    207 |  0.062 % |
17.16/17.29	c |     34323 |    4854    48387   208477 | 2147483647    34317    207 |  0.062 % |
17.26/17.40	c |     34632 |    4854    48387   208477 | 2147483647    34626    205 |  0.064 % |
17.47/17.51	c |     34971 |    4854    48387   208477 | 2147483647    34965    205 |  0.064 % |
17.57/17.61	c |     35343 |    4854    48387   208477 | 2147483647    35337    206 |  0.062 % |
17.76/17.83	c |     35752 |    4854    48387   208477 | 2147483647    35746    206 |  0.062 % |
17.97/18.01	c |     36202 |    4854    48387   208477 | 2147483647    36196    206 |  0.062 % |
18.37/18.43	c |     36696 |    4854    48387   208477 | 2147483647    36690    207 |  0.062 % |
18.68/18.75	c |     37241 |    4854    48387   208477 | 2147483647    37235    207 |  0.062 % |
18.68/18.80	c |     37342 |    4854    48387   208477 | 2147483647    37336    207 |  0.062 % |
18.77/18.84	c |     37453 |    4854    48387   208477 | 2147483647    37447    207 |  0.062 % |
18.77/18.89	c |     37574 |    4854    48387   208477 | 2147483647    37568    207 |  0.062 % |
18.97/19.04	c |     37707 |    4854    48387   208477 | 2147483647    37701    208 |  0.062 % |
19.07/19.15	c |     37854 |    4854    48387   208477 | 2147483647    37848    208 |  0.062 % |
19.27/19.31	c |     38014 |    4854    48387   208477 | 2147483647    38008    209 |  0.062 % |
19.37/19.49	c |     38194 |    4854    48387   208477 | 2147483647    38188    210 |  0.062 % |
19.57/19.69	c |     38388 |    4854    48387   208477 | 2147483647    38382    211 |  0.062 % |
19.87/19.91	c |     38604 |    4854    48387   208477 | 2147483647    38598    212 |  0.062 % |
20.17/20.20	c |     38841 |    4854    48387   208477 | 2147483647    38835    213 |  0.062 % |
20.37/20.44	c |     39097 |    4854    48387   208477 | 2147483647    39091    214 |  0.062 % |
20.47/20.59	c |     39379 |    4854    48387   208477 | 2147483647    39373    214 |  0.062 % |
20.67/20.76	c |     39689 |    4854    48387   208477 | 2147483647    39683    214 |  0.062 % |
20.87/20.95	c |     40028 |    4854    48387   208477 | 2147483647    40022    214 |  0.062 % |
20.96/21.06	c |     40405 |    4854    48387   208477 | 2147483647    40399    213 |  0.062 % |
21.36/21.43	c |     40818 |    4854    48387   208477 | 2147483647    40812    214 |  0.062 % |
21.56/21.67	c |     41267 |    4854    48387   208477 | 2147483647    41261    214 |  0.062 % |
21.76/21.86	c |     41760 |    4854    48387   208477 | 2147483647    41754    214 |  0.062 % |
22.06/22.10	c |     42302 |    4854    48387   208477 | 2147483647    42296    214 |  0.062 % |
22.67/22.71	c |     42898 |    4854    48387   208477 | 2147483647    42892    215 |  0.062 % |
22.77/22.84	c |     42998 |    4854    48387   208477 | 2147483647    42992    215 |  0.062 % |
22.87/22.96	c |     43108 |    4854    48387   208477 | 2147483647    43102    215 |  0.062 % |
22.97/23.10	c |     43230 |    4854    48387   208477 | 2147483647    43224    216 |  0.062 % |
23.17/23.24	c |     43365 |    4854    48387   208477 | 2147483647    43359    216 |  0.062 % |
23.37/23.49	c |     43516 |    4854    48387   208477 | 2147483647    43510    217 |  0.062 % |
23.57/23.67	c |     43677 |    4854    48387   208477 | 2147483647    43671    218 |  0.062 % |
23.67/23.79	c |     43853 |    4854    48387   208477 | 2147483647    43847    218 |  0.062 % |
23.87/23.97	c |     44046 |    4854    48387   208477 | 2147483647    44040    219 |  0.062 % |
24.17/24.23	c |     44258 |    4854    48387   208477 | 2147483647    44252    220 |  0.062 % |
24.56/24.69	c |     44491 |    4854    48387   208477 | 2147483647    44485    221 |  0.062 % |
24.86/24.95	c |     44751 |    4854    48387   208477 | 2147483647    44745    222 |  0.062 % |
25.17/25.30	c |     45033 |    4854    48387   208477 | 2147483647    45027    223 |  0.062 % |
25.56/25.69	c |     45349 |    4854    48387   208477 | 2147483647    45343    224 |  0.062 % |
26.07/26.19	c |     45697 |    4854    48387   208477 | 2147483647    45691    226 |  0.062 % |
26.37/26.47	c |     46084 |    4854    48387   208477 | 2147483647    46078    227 |  0.062 % |
26.67/26.78	c |     46495 |    4854    48387   208477 | 2147483647    46489    228 |  0.062 % |
26.97/27.08	c |     46944 |    4854    48387   208477 | 2147483647    46938    227 |  0.062 % |
27.47/27.52	c |     47439 |    4854    48387   208477 | 2147483647    47433    228 |  0.062 % |
27.77/27.84	c |     47981 |    4854    48387   208477 | 2147483647    47975    228 |  0.062 % |
28.06/28.11	c |     48578 |    4854    48387   208477 | 2147483647    48572    227 |  0.062 % |
28.47/28.56	c |     49236 |    4854    48387   208477 | 2147483647    49230    227 |  0.062 % |
28.57/28.60	c |     49337 |    4854    48387   208477 | 2147483647    49331    227 |  0.062 % |
28.57/28.70	c |     49448 |    4854    48387   208477 | 2147483647    49442    227 |  0.062 % |
28.66/28.77	c |     49574 |    4854    48387   208477 | 2147483647    49568    227 |  0.062 % |
28.86/28.98	c |     49707 |    4854    48387   208477 | 2147483647    49701    227 |  0.062 % |
29.06/29.14	c |     49853 |    4854    48387   208477 | 2147483647    49847    228 |  0.062 % |
29.26/29.31	c |     50014 |    4854    48387   208477 | 2147483647    50008    229 |  0.062 % |
29.26/29.39	c |     50192 |    4854    48387   208477 | 2147483647    50186    228 |  0.062 % |
29.36/29.46	c |     50385 |    4854    48387   208477 | 2147483647    50379    228 |  0.062 % |
29.46/29.59	c |     50623 |    4854    48387   208477 | 2147483647    50617    227 |  0.062 % |
29.67/29.77	c |     50856 |    4854    48387   208477 | 2147483647    50850    227 |  0.062 % |
29.86/29.98	c |     51113 |    4854    48387   208477 | 2147483647    51107    227 |  0.062 % |
30.16/30.26	c |     51394 |    4854    48387   208477 | 2147483647    51388    228 |  0.062 % |
30.46/30.55	c |     51705 |    4854    48387   208477 | 2147483647    51699    228 |  0.062 % |
30.77/30.81	c |     52044 |    4854    48387   208477 | 2147483647    52038    229 |  0.062 % |
30.97/31.08	c |     52416 |    4854    48387   208477 | 2147483647    52410    229 |  0.062 % |
31.37/31.46	c |     52829 |    4854    48387   208477 | 2147483647    52823    229 |  0.062 % |
31.57/31.67	c |     53280 |    4854    48387   208477 | 2147483647    53274    228 |  0.062 % |
31.77/31.87	c |     53775 |    4854    48387   208477 | 2147483647    53769    227 |  0.062 % |
32.07/32.15	c |     54317 |    4854    48387   208477 | 2147483647    54311    226 |  0.062 % |
32.36/32.43	c |     54916 |    4854    48387   208477 | 2147483647    54910    225 |  0.062 % |
32.76/32.81	c |     55573 |    4854    48387   208477 | 2147483647    55567    224 |  0.062 % |
33.06/33.17	c |     56295 |    4854    48387   208477 | 2147483647    56289    223 |  0.062 % |
33.16/33.29	c |     56396 |    4854    48387   208477 | 2147483647    56390    223 |  0.062 % |
33.36/33.41	c |     56508 |    4854    48387   208477 | 2147483647    56502    223 |  0.062 % |
33.46/33.53	c |     56631 |    4854    48387   208477 | 2147483647    56625    223 |  0.062 % |
33.66/33.74	c |     56764 |    4854    48387   208477 | 2147483647    56758    223 |  0.062 % |
33.86/34.00	c |     56925 |    4854    48387   208477 | 2147483647    56919    224 |  0.062 % |
34.06/34.18	c |     57091 |    4854    48387   208477 | 2147483647    57085    224 |  0.062 % |
34.26/34.39	c |     57270 |    4854    48387   208477 | 2147483647    57264    224 |  0.062 % |
34.56/34.64	c |     57463 |    4854    48387   208477 | 2147483647    57457    225 |  0.062 % |
34.87/34.92	c |     57678 |    4854    48387   208477 | 2147483647    57672    226 |  0.062 % |
35.17/35.28	c |     57911 |    4854    48387   208477 | 2147483647    57905    227 |  0.062 % |
35.46/35.57	c |     58168 |    4854    48387   208477 | 2147483647    58162    227 |  0.062 % |
35.76/35.88	c |     58455 |    4854    48387   208477 | 2147483647    58449    227 |  0.062 % |
36.06/36.16	c |     58764 |    4854    48387   208477 | 2147483647    58758    228 |  0.062 % |
36.36/36.48	c |     59104 |    4854    48387   208477 | 2147483647    59098    228 |  0.062 % |
36.66/36.70	c |     59480 |    4854    48387   208477 | 2147483647    59474    227 |  0.062 % |
36.96/37.09	c |     59889 |    4854    48387   208477 | 2147483647    59883    227 |  0.062 % |
37.46/37.54	c |     60342 |    4854    48387   208477 | 2147483647    60336    228 |  0.062 % |
37.97/38.06	c |     60841 |    4854    48387   208477 | 2147483647    60835    229 |  0.062 % |
38.77/38.82	c |     61385 |    4854    48387   208477 | 2147483647    61379    230 |  0.062 % |
39.66/39.73	c |     61981 |    4854    48387   208477 | 2147483647    61975    231 |  0.062 % |
40.46/40.52	c |     62637 |    4854    48387   208477 | 2147483647    62631    232 |  0.062 % |
41.06/41.14	c |     63357 |    4854    48387   208477 | 2147483647    63351    234 |  0.062 % |
41.95/42.05	c |     64149 |    4854    48387   208477 | 2147483647    64143    235 |  0.062 % |
42.05/42.13	c |     64249 |    4854    48387   208477 | 2147483647    64243    235 |  0.062 % |
42.15/42.23	c |     64363 |    4854    48387   208477 | 2147483647    64357    235 |  0.062 % |
42.25/42.35	c |     64486 |    4854    48387   208477 | 2147483647    64480    235 |  0.062 % |
42.35/42.47	c |     64619 |    4854    48387   208477 | 2147483647    64613    235 |  0.062 % |
42.45/42.56	c |     64766 |    4854    48387   208477 | 2147483647    64760    235 |  0.062 % |
42.65/42.74	c |     64931 |    4854    48387   208477 | 2147483647    64925    235 |  0.062 % |
42.87/42.97	c |     65108 |    4854    48387   208477 | 2147483647    65102    235 |  0.062 % |
43.06/43.18	c |     65303 |    4854    48387   208477 | 2147483647    65297    236 |  0.062 % |
43.46/43.51	c |     65516 |    4854    48387   208477 | 2147483647    65510    236 |  0.062 % |
43.66/43.75	c |     65751 |    4854    48387   208477 | 2147483647    65745    236 |  0.062 % |
44.06/44.12	c |     66013 |    4854    48387   208477 | 2147483647    66007    237 |  0.062 % |
44.26/44.36	c |     66298 |    4854    48387   208477 | 2147483647    66292    237 |  0.062 % |
44.66/44.77	c |     66609 |    4854    48387   208477 | 2147483647    66603    238 |  0.062 % |
45.26/45.35	c |     66948 |    4854    48387   208477 | 2147483647    66942    238 |  0.062 % |
45.75/45.80	c |     67321 |    4854    48387   208477 | 2147483647    67315    238 |  0.062 % |
46.16/46.27	c |     67737 |    4854    48387   208477 | 2147483647    67731    239 |  0.062 % |
46.65/46.78	c |     68186 |    4854    48387   208477 | 2147483647    68180    240 |  0.062 % |
47.46/47.55	c |     68680 |    4854    48387   208477 | 2147483647    68674    240 |  0.062 % |
48.26/48.32	c |     69227 |    4854    48387   208477 | 2147483647    69221    240 |  0.062 % |
48.86/49.00	c |     69824 |    4854    48387   208477 | 2147483647    69818    241 |  0.062 % |
49.66/49.71	c |     70479 |    4854    48387   208477 | 2147483647    70473    241 |  0.062 % |
50.36/50.42	c |     71203 |    4854    48387   208477 | 2147483647    71197    242 |  0.062 % |
51.05/51.12	c |     72000 |    4854    48387   208477 | 2147483647    71994    242 |  0.062 % |
52.66/52.75	c |     72872 |    4854    48387   208477 | 2147483647    72866    244 |  0.062 % |
52.86/52.98	c |     72979 |    4854    48387   208477 | 2147483647    72973    244 |  0.062 % |
53.05/53.11	c |     73090 |    4854    48387   208477 | 2147483647    73084    244 |  0.062 % |
53.15/53.27	c |     73212 |    4854    48387   208477 | 2147483647    73206    244 |  0.062 % |
53.25/53.33	c |     73350 |    4854    48387   208477 | 2147483647    73344    244 |  0.063 % |
53.25/53.39	c |     73497 |    4854    48387   208477 | 2147483647    73491    243 |  0.062 % |
53.45/53.50	c |     73657 |    4854    48387   208477 | 2147483647    73651    243 |  0.062 % |
53.55/53.64	c |     73834 |    4854    48387   208477 | 2147483647    73828    243 |  0.062 % |
53.65/53.78	c |     74027 |    4854    48387   208477 | 2147483647    74021    243 |  0.062 % |
53.95/54.02	c |     74250 |    4854    48387   208477 | 2147483647    74244    243 |  0.062 % |
54.15/54.25	c |     74485 |    4854    48387   208477 | 2147483647    74479    243 |  0.062 % |
54.45/54.52	c |     74742 |    4854    48387   208477 | 2147483647    74736    244 |  0.062 % |
54.75/54.86	c |     75024 |    4854    48387   208477 | 2147483647    75018    244 |  0.062 % |
55.25/55.37	c |     75335 |    4854    48387   208477 | 2147483647    75329    245 |  0.062 % |
55.96/56.02	c |     75674 |    4854    48387   208477 | 2147483647    75668    245 |  0.062 % |
56.66/56.74	c |     76046 |    4854    48387   208477 | 2147483647    76040    246 |  0.062 % |
57.06/57.13	c |     76459 |    4854    48387   208477 | 2147483647    76453    246 |  0.062 % |
57.56/57.62	c |     76908 |    4854    48387   208477 | 2147483647    76902    247 |  0.062 % |
58.36/58.45	c |     77402 |    4854    48387   208477 | 2147483647    77396    248 |  0.062 % |
59.05/59.15	c |     77944 |    4854    48387   208477 | 2147483647    77938    248 |  0.062 % |
59.55/59.65	c |     78546 |    4854    48387   208477 | 2147483647    78540    248 |  0.062 % |
60.25/60.30	c |     79201 |    4854    48387   208477 | 2147483647    79195    248 |  0.062 % |
60.75/60.89	c |     79921 |    4854    48387   208477 | 2147483647    79915    248 |  0.062 % |
61.75/61.88	c |     80714 |    4854    48387   208477 | 2147483647    80708    248 |  0.062 % |
62.55/62.66	c |     81585 |    4854    48387   208477 | 2147483647    81579    247 |  0.062 % |
63.85/63.96	c |     82544 |    4854    48387   208477 | 2147483647    82538    247 |  0.062 % |
64.05/64.12	c |     82645 |    4854    48387   208477 | 2147483647    82639    247 |  0.062 % |
64.15/64.27	c |     82758 |    4854    48387   208477 | 2147483647    82752    247 |  0.062 % |
64.45/64.50	c |     82881 |    4854    48387   208477 | 2147483647    82875    247 |  0.062 % |
64.55/64.63	c |     83015 |    4854    48387   208477 | 2147483647    83009    247 |  0.062 % |
64.75/64.88	c |     83161 |    4854    48387   208477 | 2147483647    83155    248 |  0.062 % |
65.05/65.17	c |     83329 |    4854    48387   208477 | 2147483647    83323    248 |  0.062 % |
65.45/65.50	c |     83507 |    4854    48387   208477 | 2147483647    83501    248 |  0.062 % |
65.65/65.73	c |     83702 |    4854    48387   208477 | 2147483647    83696    248 |  0.062 % |
65.85/65.95	c |     83916 |    4854    48387   208477 | 2147483647    83910    248 |  0.062 % |
66.15/66.22	c |     84149 |    4854    48387   208477 | 2147483647    84143    248 |  0.062 % |
66.45/66.55	c |     84406 |    4854    48387   208477 | 2147483647    84400    248 |  0.062 % |
66.75/66.83	c |     84688 |    4854    48387   208477 | 2147483647    84682    248 |  0.062 % |
66.96/67.08	c |     84998 |    4854    48387   208477 | 2147483647    84992    247 |  0.062 % |
67.25/67.32	c |     85339 |    4854    48387   208477 | 2147483647    85333    247 |  0.062 % |
67.45/67.55	c |     85713 |    4854    48387   208477 | 2147483647    85707    247 |  0.062 % |
67.65/67.75	c |     86122 |    4854    48387   208477 | 2147483647    86116    247 |  0.063 % |
68.15/68.25	c |     86578 |    4854    48387   208477 | 2147483647    86572    247 |  0.062 % |
69.15/69.24	c |     87071 |    4854    48387   208477 | 2147483647    87065    248 |  0.062 % |
70.45/70.52	c |     87616 |    4854    48387   208477 | 2147483647    87610    248 |  0.062 % |
71.74/71.87	c |     88213 |    4854    48387   208477 | 2147483647    88207    249 |  0.062 % |
72.55/72.66	c |     88877 |    4854    48387   208477 | 2147483647    88871    250 |  0.062 % |
73.25/73.37	c |     89597 |    4854    48387   208477 | 2147483647    89591    250 |  0.062 % |
74.65/74.79	c |     90391 |    4854    48387   208477 | 2147483647    90385    250 |  0.062 % |
76.14/76.26	c |     91263 |    4854    48387   208477 | 2147483647    91257    251 |  0.062 % |
78.34/78.49	c |     92221 |    4854    48387   208477 | 2147483647    92215    252 |  0.062 % |
80.04/80.11	c |     93274 |    4854    48387   208477 | 2147483647    93268    252 |  0.062 % |
80.14/80.22	c |     93376 |    4854    48387   208477 | 2147483647    93370    253 |  0.062 % |
80.14/80.28	c |     93486 |    4854    48387   208477 | 2147483647    93480    253 |  0.062 % |
80.24/80.37	c |     93609 |    4854    48387   208477 | 2147483647    93603    252 |  0.062 % |
80.34/80.48	c |     93742 |    4854    48387   208477 | 2147483647    93736    252 |  0.062 % |
80.54/80.65	c |     93891 |    4854    48387   208477 | 2147483647    93885    252 |  0.062 % |
80.75/80.83	c |     94051 |    4854    48387   208477 | 2147483647    94045    252 |  0.062 % |
80.94/81.07	c |     94233 |    4854    48387   208477 | 2147483647    94227    252 |  0.062 % |
81.24/81.31	c |     94434 |    4854    48387   208477 | 2147483647    94428    252 |  0.062 % |
81.55/81.61	c |     94646 |    4854    48387   208477 | 2147483647    94640    252 |  0.062 % |
81.94/82.06	c |     94882 |    4854    48387   208477 | 2147483647    94876    253 |  0.062 % |
82.45/82.57	c |     95139 |    4854    48387   208477 | 2147483647    95133    253 |  0.062 % |
82.84/82.92	c |     95422 |    4854    48387   208477 | 2147483647    95416    253 |  0.062 % |
83.24/83.38	c |     95734 |    4854    48387   208477 | 2147483647    95728    253 |  0.062 % |
83.84/83.98	c |     96074 |    4854    48387   208477 | 2147483647    96068    253 |  0.062 % |
84.64/84.78	c |     96447 |    4854    48387   208477 | 2147483647    96441    254 |  0.062 % |
85.44/85.59	c |     96857 |    4854    48387   208477 | 2147483647    96851    254 |  0.062 % |
86.14/86.26	c |     97307 |    4854    48387   208477 | 2147483647    97301    255 |  0.062 % |
86.64/86.70	c |     97804 |    4854    48387   208477 | 2147483647    97798    254 |  0.062 % |
87.04/87.16	c |     98350 |    4854    48387   208477 | 2147483647    98344    254 |  0.062 % |
87.64/87.78	c |     98947 |    4854    48387   208477 | 2147483647    98941    254 |  0.062 % |
88.94/89.05	c |     99602 |    4854    48387   208477 | 2147483647    99596    255 |  0.062 % |
90.24/90.39	c |    100325 |    4854    48387   208477 | 2147483647   100319    256 |  0.062 % |
91.53/91.66	c |    101122 |    4854    48387   208477 | 2147483647   101116    256 |  0.062 % |
92.94/93.02	c |    101998 |    4854    48387   208477 | 2147483647   101992    256 |  0.062 % |
94.14/94.25	c |    102957 |    4854    48387   208477 | 2147483647   102951    257 |  0.062 % |
96.04/96.16	c |    104012 |    4854    48387   208477 | 2147483647   104006    258 |  0.062 % |
97.24/97.39	c |    105172 |    4854    48387   208477 | 2147483647   105166    258 |  0.062 % |
97.34/97.49	c |    105272 |    4854    48387   208477 | 2147483647   105266    258 |  0.062 % |
97.54/97.64	c |    105385 |    4854    48387   208477 | 2147483647   105379    258 |  0.062 % |
97.74/97.84	c |    105512 |    4854    48387   208477 | 2147483647   105506    258 |  0.062 % |
97.84/97.99	c |    105645 |    4854    48387   208477 | 2147483647   105639    258 |  0.062 % |
98.04/98.12	c |    105792 |    4854    48387   208477 | 2147483647   105786    258 |  0.062 % |
98.13/98.28	c |    105953 |    4854    48387   208477 | 2147483647   105947    258 |  0.062 % |
98.43/98.52	c |    106129 |    4854    48387   208477 | 2147483647   106123    258 |  0.062 % |
98.74/98.82	c |    106322 |    4854    48387   208477 | 2147483647   106316    258 |  0.062 % |
99.14/99.28	c |    106545 |    4854    48387   208477 | 2147483647   106539    258 |  0.062 % |
99.64/99.73	c |    106779 |    4854    48387   208477 | 2147483647   106773    258 |  0.062 % |
100.14/100.23	c |    107035 |    4854    48387   208477 | 2147483647   107029    258 |  0.062 % |
100.73/100.80	c |    107320 |    4854    48387   208477 | 2147483647   107314    258 |  0.062 % |
101.23/101.38	c |    107641 |    4854    48387   208477 | 2147483647   107635    258 |  0.062 % |
101.63/101.77	c |    107984 |    4854    48387   208477 | 2147483647   107978    258 |  0.062 % |
102.03/102.20	c |    108358 |    4854    48387   208477 | 2147483647   108352    258 |  0.062 % |
102.43/102.58	c |    108769 |    4854    48387   208477 | 2147483647   108763    257 |  0.062 % |
102.83/102.94	c |    109218 |    4854    48387   208477 | 2147483647   109212    257 |  0.062 % |
103.14/103.26	c |    109711 |    4854    48387   208477 | 2147483647   109705    257 |  0.062 % |
103.94/104.04	c |    110253 |    4854    48387   208477 | 2147483647   110247    256 |  0.062 % |
104.74/104.81	c |    110850 |    4854    48387   208477 | 2147483647   110844    256 |  0.062 % |
105.94/106.07	c |    111507 |    4854    48387   208477 | 2147483647   111501    257 |  0.062 % |
107.43/107.58	c |    112230 |    4854    48387   208477 | 2147483647   112224    257 |  0.062 % |
109.83/109.92	c |    113026 |    4854    48387   208477 | 2147483647   113020    257 |  0.062 % |
111.33/111.47	c |    113903 |    4854    48387   208477 | 2147483647   113897    257 |  0.062 % |
113.33/113.45	c |    114861 |    4854    48387   208477 | 2147483647   114855    257 |  0.062 % |
115.03/115.12	c |    115914 |    4854    48387   208477 | 2147483647   115908    257 |  0.062 % |
116.43/116.55	c |    117076 |    4854    48387   208477 | 2147483647   117070    256 |  0.062 % |
118.53/118.60	c |    118353 |    4854    48387   208477 | 2147483647   118347    256 |  0.062 % |
118.73/118.80	c |    118459 |    4854    48387   208477 | 2147483647   118453    256 |  0.062 % |
118.83/118.93	c |    118570 |    4854    48387   208477 | 2147483647   118564    256 |  0.062 % |
119.33/119.40	c |    118691 |    4854    48387   208477 | 2147483647   118685    256 |  0.062 % |
119.73/119.84	c |    118824 |    4854    48387   208477 | 2147483647   118818    256 |  0.062 % |
120.02/120.17	c |    118970 |    4854    48387   208477 | 2147483647   118964    256 |  0.062 % |
120.52/120.63	c |    119131 |    4854    48387   208477 | 2147483647   119125    256 |  0.062 % |
120.93/121.05	c |    119307 |    4854    48387   208477 | 2147483647   119301    256 |  0.062 % |
121.22/121.36	c |    119501 |    4854    48387   208477 | 2147483647   119495    256 |  0.062 % |
121.83/121.92	c |    119713 |    4854    48387   208477 | 2147483647   119707    256 |  0.062 % |
122.23/122.30	c |    119952 |    4854    48387   208477 | 2147483647   119946    256 |  0.062 % |
122.53/122.69	c |    120208 |    4854    48387   208477 | 2147483647   120202    256 |  0.062 % |
122.93/123.07	c |    120489 |    4854    48387   208477 | 2147483647   120483    257 |  0.062 % |
123.53/123.62	c |    120800 |    4854    48387   208477 | 2147483647   120794    256 |  0.062 % |
124.03/124.14	c |    121140 |    4854    48387   208477 | 2147483647   121134    257 |  0.062 % |
124.52/124.63	c |    121513 |    4854    48387   208477 | 2147483647   121507    257 |  0.062 % |
125.33/125.44	c |    121925 |    4854    48387   208477 | 2147483647   121919    256 |  0.062 % |
126.43/126.60	c |    122376 |    4854    48387   208477 | 2147483647   122370    257 |  0.062 % |
127.82/127.96	c |    122869 |    4854    48387   208477 | 2147483647   122863    257 |  0.062 % |
128.72/128.89	c |    123413 |    4854    48387   208477 | 2147483647   123407    257 |  0.062 % |
129.82/129.91	c |    124010 |    4854    48387   208477 | 2147483647   124004    257 |  0.062 % |
131.53/131.60	c |    124668 |    4854    48387   208477 | 2147483647   124662    257 |  0.062 % |
133.92/134.05	c |    125388 |    4854    48387   208477 | 2147483647   125382    257 |  0.062 % |
135.82/135.93	c |    126183 |    4854    48387   208477 | 2147483647   126177    257 |  0.062 % |
137.82/137.98	c |    127054 |    4854    48387   208477 | 2147483647   127048    257 |  0.062 % |
140.42/140.52	c |    128012 |    4854    48387   208477 | 2147483647   128006    257 |  0.062 % |
142.32/142.40	c |    129065 |    4854    48387   208477 | 2147483647   129059    257 |  0.062 % |
144.92/145.10	c |    130223 |    4854    48387   208477 | 2147483647   130217    257 |  0.062 % |
147.82/147.99	c |    131496 |    4854    48387   208477 | 2147483647   131490    257 |  0.062 % |
150.72/150.89	c |    132898 |    4854    48387   208477 | 2147483647   132892    257 |  0.062 % |
151.11/151.29	c |    132998 |    4854    48387   208477 | 2147483647   132992    257 |  0.062 % |
151.41/151.52	c |    133110 |    4854    48387   208477 | 2147483647   133104    257 |  0.062 % |
151.62/151.79	c |    133231 |    4854    48387   208477 | 2147483647   133225    257 |  0.062 % |
151.91/152.02	c |    133366 |    4854    48387   208477 | 2147483647   133360    257 |  0.062 % |
152.12/152.26	c |    133512 |    4854    48387   208477 | 2147483647   133506    257 |  0.062 % |
152.52/152.61	c |    133672 |    4854    48387   208477 | 2147483647   133666    257 |  0.062 % |
153.02/153.10	c |    133850 |    4854    48387   208477 | 2147483647   133844    257 |  0.062 % |
153.42/153.51	c |    134045 |    4854    48387   208477 | 2147483647   134039    257 |  0.062 % |
153.82/154.00	c |    134257 |    4854    48387   208477 | 2147483647   134251    257 |  0.062 % |
154.42/154.54	c |    134490 |    4854    48387   208477 | 2147483647   134484    257 |  0.062 % |
155.02/155.16	c |    134748 |    4854    48387   208477 | 2147483647   134742    257 |  0.062 % |
155.82/155.90	c |    135030 |    4854    48387   208477 | 2147483647   135024    257 |  0.062 % |
156.92/157.00	c |    135341 |    4854    48387   208477 | 2147483647   135335    258 |  0.062 % |
157.51/157.68	c |    135681 |    4854    48387   208477 | 2147483647   135675    258 |  0.062 % |
158.32/158.45	c |    136063 |    4854    48387   208477 | 2147483647   136057    257 |  0.062 % |
159.21/159.35	c |    136473 |    4854    48387   208477 | 2147483647   136467    257 |  0.062 % |
159.91/160.06	c |    136926 |    4854    48387   208477 | 2147483647   136920    257 |  0.062 % |
160.91/161.08	c |    137420 |    4854    48387   208477 | 2147483647   137414    257 |  0.062 % |
162.62/162.76	c |    137967 |    4854    48387   208477 | 2147483647   137961    257 |  0.062 % |
164.01/164.17	c |    138563 |    4854    48387   208477 | 2147483647   138557    257 |  0.062 % |
165.81/165.95	c |    139221 |    4854    48387   208477 | 2147483647   139215    257 |  0.062 % |
167.41/167.57	c |    139941 |    4854    48387   208477 | 2147483647   139935    257 |  0.062 % |
169.31/169.47	c |    140733 |    4854    48387   208477 |   139995   140727    257 |  0.062 % |
170.71/170.88	c |    141609 |    4854    48387   208477 |   139995   125619    255 |  0.062 % |
171.91/172.07	c |    142568 |    4854    48387   208477 |   139995   126578    255 |  0.062 % |
173.91/174.04	c |    143621 |    4854    48387   208477 |   139995   127631    255 |  0.062 % |
176.30/176.40	c |    144781 |    4854    48387   208477 |   139995   128791    255 |  0.062 % |
178.40/178.57	c |    146054 |    4854    48387   208477 |   139995   130064    255 |  0.062 % |
180.90/181.03	c |    147457 |    4854    48387   208477 |   139995   131467    255 |  0.062 % |
183.70/183.82	c |    149008 |    4854    48387   208477 |   139995   133018    254 |  0.062 % |
183.90/184.08	c |    149110 |    4854    48387   208477 |   139995   133120    254 |  0.062 % |
184.20/184.35	c |    149220 |    4854    48387   208477 |   139995   133230    254 |  0.062 % |
184.40/184.59	c |    149345 |    4854    48387   208477 |   139995   133355    254 |  0.062 % |
184.90/185.05	c |    149480 |    4854    48387   208477 |   139995   133490    254 |  0.062 % |
185.40/185.54	c |    149626 |    4854    48387   208477 |   139995   133636    254 |  0.062 % |
185.71/185.88	c |    149788 |    4854    48387   208477 |   139995   133798    254 |  0.062 % |
186.20/186.31	c |    149968 |    4854    48387   208477 |   139995   133978    254 |  0.062 % |
186.60/186.77	c |    150161 |    4854    48387   208477 | 2147483647   134171    254 |  0.062 % |
187.10/187.27	c |    150374 |    4854    48387   208477 | 2147483647   134384    254 |  0.062 % |
188.10/188.23	c |    150608 |    4854    48387   208477 | 2147483647   134618    254 |  0.062 % |
188.70/188.85	c |    150872 |    4854    48387   208477 | 2147483647   134882    254 |  0.062 % |
189.50/189.69	c |    151153 |    4854    48387   208477 | 2147483647   135163    254 |  0.062 % |
190.40/190.53	c |    151463 |    4854    48387   208477 | 2147483647   135473    254 |  0.062 % |
190.90/191.09	c |    151803 |    4854    48387   208477 | 2147483647   135813    254 |  0.062 % |
192.00/192.14	c |    152175 |    4854    48387   208477 | 2147483647   136185    254 |  0.062 % |
193.00/193.14	c |    152584 |    4854    48387   208477 | 2147483647   136594    254 |  0.062 % |
193.80/193.92	c |    153034 |    4854    48387   208477 | 2147483647   137044    254 |  0.062 % |
194.50/194.70	c |    153527 |    4854    48387   208477 | 2147483647   137537    254 |  0.062 % |
195.50/195.65	c |    154079 |    4854    48387   208477 | 2147483647   138089    254 |  0.062 % |
196.60/196.73	c |    154675 |    4854    48387   208477 | 2147483647   138685    254 |  0.062 % |
198.40/198.57	c |    155332 |    4854    48387   208477 | 2147483647   139342    254 |  0.062 % |
200.10/200.29	c |    156053 |    4854    48387   208477 | 2147483647   140063    254 |  0.062 % |
202.09/202.25	c |    156845 |    4854    48387   208477 | 2147483647   140855    253 |  0.062 % |
203.49/203.63	c |    157716 |    4854    48387   208477 | 2147483647   141726    253 |  0.062 % |
205.99/206.17	c |    158674 |    4854    48387   208477 | 2147483647   142684    253 |  0.062 % |
208.00/208.12	c |    159727 |    4854    48387   208477 | 2147483647   143737    253 |  0.062 % |
209.90/210.00	c |    160885 |    4854    48387   208477 |   144010   129984    249 |  0.062 % |
211.89/212.09	c |    162158 |    4854    48387   208477 |   144010   131257    249 |  0.062 % |
215.79/215.91	c |    163559 |    4854    48387   208477 |   144010   132658    248 |  0.062 % |
219.49/219.63	c |    165099 |    4854    48387   208477 |   144010   134198    248 |  0.062 % |
223.99/224.10	c |    166802 |    4854    48387   208477 |   144010   135901    247 |  0.062 % |
224.09/224.24	c |    166902 |    4854    48387   208477 |   144010   136001    247 |  0.062 % |
224.29/224.44	c |    167013 |    4854    48387   208477 |   144010   136112    247 |  0.062 % |
224.49/224.69	c |    167141 |    4854    48387   208477 |   144010   136240    247 |  0.062 % |
224.79/224.90	c |    167276 |    4854    48387   208477 |   144010   136375    247 |  0.062 % |
224.99/225.15	c |    167426 |    4854    48387   208477 |   144010   136525    247 |  0.062 % |
225.39/225.54	c |    167587 |    4854    48387   208477 |   144010   136686    247 |  0.062 % |
225.69/225.89	c |    167765 |    4854    48387   208477 |   144010   136864    246 |  0.062 % |
225.99/226.18	c |    167959 |    4854    48387   208477 |   144010   137058    246 |  0.062 % |
226.29/226.43	c |    168171 |    4854    48387   208477 |   144010   137270    246 |  0.062 % |
226.98/227.11	c |    168406 |    4854    48387   208477 |   144010   137505    246 |  0.062 % |
227.68/227.86	c |    168666 |    4854    48387   208477 |   144010   137765    246 |  0.062 % |
228.38/228.53	c |    168947 |    4854    48387   208477 |   144010   138046    246 |  0.062 % |
228.89/229.04	c |    169257 |    4854    48387   208477 |   144010   138356    246 |  0.062 % |
229.38/229.60	c |    169599 |    4854    48387   208477 |   144010   138698    246 |  0.062 % |
230.18/230.35	c |    169971 |    4854    48387   208477 |   144010   139070    246 |  0.062 % |
230.79/230.99	c |    170385 |    4854    48387   208477 |   139099   139484    246 |  0.062 % |
231.68/231.82	c |    170838 |    4854    48387   208477 |   139099   125989    243 |  0.062 % |
232.28/232.45	c |    171332 |    4854    48387   208477 |   139099   126483    243 |  0.062 % |
233.28/233.44	c |    171874 |    4854    48387   208477 |   139099   127025    243 |  0.062 % |
234.19/234.33	c |    172470 |    4854    48387   208477 |   139099   127621    243 |  0.062 % |
235.19/235.38	c |    173128 |    4854    48387   208477 |   139099   128279    243 |  0.062 % |
236.39/236.53	c |    173858 |    4854    48387   208477 |   139099   129009    242 |  0.062 % |
237.88/238.10	c |    174652 |    4854    48387   208477 |   139099   129803    242 |  0.062 % |
239.68/239.82	c |    175524 |    4854    48387   208477 |   139099   130675    242 |  0.062 % |
241.38/241.52	c |    176483 |    4854    48387   208477 |   139099   131634    241 |  0.062 % |
244.38/244.55	c |    177536 |    4854    48387   208477 |   139099   132687    241 |  0.062 % |
246.58/246.80	c |    178694 |    4854    48387   208477 |   139099   133845    241 |  0.062 % |
249.68/249.80	c |    179974 |    4854    48387   208477 |   139099   135125    240 |  0.062 % |
252.07/252.23	c |    181374 |    4854    48387   208477 | 2147483647   136525    240 |  0.062 % |
255.57/255.73	c |    182915 |    4854    48387   208477 | 2147483647   138066    240 |  0.062 % |
259.77/259.98	c |    184611 |    4854    48387   208477 | 2147483647   139762    240 |  0.062 % |
263.97/264.16	c |    186477 |    4854    48387   208477 | 2147483647   141628    240 |  0.062 % |
264.27/264.41	c |    186579 |    4854    48387   208477 | 2147483647   141730    240 |  0.062 % |
264.67/264.80	c |    186690 |    4854    48387   208477 | 2147483647   141841    240 |  0.062 % |
264.77/264.97	c |    186811 |    4854    48387   208477 | 2147483647   141962    240 |  0.062 % |
264.97/265.10	c |    186944 |    4854    48387   208477 | 2147483647   142095    240 |  0.062 % |
265.17/265.35	c |    187094 |    4854    48387   208477 | 2147483647   142245    240 |  0.062 % |
265.77/265.97	c |    187264 |    4854    48387   208477 | 2147483647   142415    239 |  0.062 % |
266.17/266.40	c |    187440 |    4854    48387   208477 | 2147483647   142591    239 |  0.062 % |
266.67/266.89	c |    187634 |    4854    48387   208477 | 2147483647   142785    239 |  0.062 % |
267.07/267.21	c |    187848 |    4854    48387   208477 | 2147483647   142999    239 |  0.062 % |
267.67/267.80	c |    188084 |    4854    48387   208477 | 2147483647   143235    239 |  0.062 % |
268.47/268.65	c |    188340 |    4854    48387   208477 | 2147483647   143491    239 |  0.062 % |
268.87/269.00	c |    188622 |    4854    48387   208477 | 2147483647   143773    239 |  0.062 % |
269.17/269.40	c |    188931 |    4854    48387   208477 | 2147483647   144082    239 |  0.062 % |
270.07/270.24	c |    189273 |    4854    48387   208477 | 2147483647   144424    239 |  0.062 % |
270.97/271.11	c |    189646 |    4854    48387   208477 | 2147483647   144797    239 |  0.062 % |
272.07/272.25	c |    190057 |    4854    48387   208477 |   145151   145208    238 |  0.062 % |
273.47/273.64	c |    190506 |    4854    48387   208477 |   145151   126357    229 |  0.062 % |
274.27/274.42	c |    191004 |    4854    48387   208477 |   145151   126855    229 |  0.062 % |
275.37/275.50	c |    191547 |    4854    48387   208477 |   145151   127398    229 |  0.062 % |
276.57/276.75	c |    192145 |    4854    48387   208477 |   145151   127996    229 |  0.062 % |
277.37/277.59	c |    192800 |    4854    48387   208477 |   145151   128651    229 |  0.062 % |
278.47/278.68	c |    193522 |    4854    48387   208477 |   145151   129373    228 |  0.062 % |
279.67/279.83	c |    194315 |    4854    48387   208477 |   145151   130166    228 |  0.062 % |
281.17/281.32	c |    195186 |    4854    48387   208477 |   145151   131037    228 |  0.062 % |
282.58/282.70	c |    196145 |    4854    48387   208477 |   145151   131996    227 |  0.062 % |
284.87/285.07	c |    197202 |    4854    48387   208477 |   145151   133053    227 |  0.062 % |
287.47/287.63	c |    198363 |    4854    48387   208477 |   145151   134214    226 |  0.062 % |
290.47/290.65	c |    199641 |    4854    48387   208477 |   145151   135492    225 |  0.062 % |
292.67/292.81	c |    201045 |    4854    48387   208477 | 2147483647   136896    224 |  0.062 % |
296.57/296.78	c |    202592 |    4854    48387   208477 | 2147483647   138443    224 |  0.062 % |
300.77/300.94	c |    204286 |    4854    48387   208477 | 2147483647   140137    223 |  0.062 % |
303.57/303.76	c |    206149 |    4854    48387   208477 | 2147483647   142000    223 |  0.062 % |
307.36/307.54	c |    208200 |    4854    48387   208477 | 2147483647   144051    222 |  0.062 % |
307.46/307.66	c |    208302 |    4854    48387   208477 | 2147483647   144153    222 |  0.062 % |
307.56/307.76	c |    208412 |    4854    48387   208477 | 2147483647   144263    222 |  0.062 % |
307.87/308.03	c |    208536 |    4854    48387   208477 | 2147483647   144387    223 |  0.062 % |
308.06/308.29	c |    208669 |    4854    48387   208477 | 2147483647   144520    222 |  0.062 % |
308.36/308.50	c |    208815 |    4854    48387   208477 | 2147483647   144666    222 |  0.062 % |
308.56/308.71	c |    208975 |    4854    48387   208477 | 2147483647   144826    222 |  0.062 % |
308.76/308.91	c |    209155 |    4854    48387   208477 | 2147483647   145006    222 |  0.062 % |
308.97/309.12	c |    209348 |    4854    48387   208477 | 2147483647   145199    222 |  0.062 % |
309.26/309.46	c |    209560 |    4854    48387   208477 | 2147483647   145411    222 |  0.062 % |
309.97/310.13	c |    209797 |    4854    48387   208477 | 2147483647   145648    222 |  0.062 % |
310.86/311.01	c |    210063 |    4854    48387   208477 |   145853   145914    222 |  0.062 % |
311.66/311.83	c |    210346 |    4854    48387   208477 |   145853   126126    208 |  0.062 % |
312.27/312.46	c |    210656 |    4854    48387   208477 |   145853   126436    208 |  0.062 % |
312.66/312.85	c |    210996 |    4854    48387   208477 |   145853   126776    208 |  0.062 % |
313.66/313.89	c |    211376 |    4854    48387   208477 |   145853   127156    208 |  0.062 % |
314.26/314.50	c |    211786 |    4854    48387   208477 |   145853   127566    207 |  0.062 % |
314.66/314.89	c |    212237 |    4854    48387   208477 |   145853   128017    207 |  0.062 % |
315.26/315.44	c |    212732 |    4854    48387   208477 |   145853   128512    207 |  0.062 % |
315.96/316.17	c |    213275 |    4854    48387   208477 |   145853   129055    206 |  0.062 % |
317.36/317.57	c |    213873 |    4854    48387   208477 |   145853   129653    206 |  0.062 % |
318.36/318.53	c |    214529 |    4854    48387   208477 |   145853   130309    206 |  0.062 % |
319.46/319.70	c |    215251 |    4854    48387   208477 |   145853   131031    206 |  0.062 % |
320.46/320.61	c |    216043 |    4854    48387   208477 |   145853   131823    206 |  0.062 % |
322.46/322.62	c |    216919 |    4854    48387   208477 |   145853   132699    205 |  0.062 % |
324.26/324.47	c |    217877 |    4854    48387   208477 |   145853   133657    205 |  0.062 % |
326.16/326.38	c |    218930 |    4854    48387   208477 |   145853   134710    205 |  0.062 % |
329.26/329.42	c |    220097 |    4854    48387   208477 |   135781   135877    204 |  0.062 % |
330.86/331.09	c |    221374 |    4854    48387   208477 |   135781   123214    197 |  0.062 % |
333.45/333.69	c |    222782 |    4854    48387   208477 |   135781   124622    196 |  0.062 % |
336.25/336.40	c |    224322 |    4854    48387   208477 |   135781   126162    195 |  0.062 % |
340.35/340.55	c |    226017 |    4854    48387   208477 |   135781   127857    194 |  0.062 % |
342.65/342.86	c |    227880 |    4854    48387   208477 |   135781   129720    194 |  0.062 % |
346.25/346.49	c |    229933 |    4854    48387   208477 |   135781   131773    193 |  0.062 % |
348.65/348.88	c |    232187 |    4854    48387   208477 | 2147483647   134027    192 |  0.062 % |
348.75/348.94	c |    232288 |    4854    48387   208477 | 2147483647   134128    192 |  0.062 % |
348.85/349.04	c |    232398 |    4854    48387   208477 | 2147483647   134238    192 |  0.062 % |
348.95/349.14	c |    232519 |    4854    48387   208477 | 2147483647   134359    192 |  0.062 % |
349.45/349.62	c |    232652 |    4854    48387   208477 | 2147483647   134492    192 |  0.062 % |
349.75/349.97	c |    232798 |    4854    48387   208477 | 2147483647   134638    192 |  0.062 % |
350.25/350.43	c |    232959 |    4854    48387   208477 | 2147483647   134799    192 |  0.062 % |
350.65/350.90	c |    233137 |    4854    48387   208477 | 2147483647   134977    192 |  0.062 % |
351.25/351.48	c |    233333 |    4854    48387   208477 | 2147483647   135173    192 |  0.062 % |
351.64/351.89	c |    233547 |    4854    48387   208477 | 2147483647   135387    192 |  0.062 % |
352.24/352.44	c |    233781 |    4854    48387   208477 | 2147483647   135621    192 |  0.062 % |
352.54/352.73	c |    234039 |    4854    48387   208477 | 2147483647   135879    193 |  0.062 % |
352.95/353.13	c |    234322 |    4854    48387   208477 | 2147483647   136162    193 |  0.062 % |
353.54/353.70	c |    234634 |    4854    48387   208477 | 2147483647   136474    193 |  0.062 % |
354.34/354.54	c |    234975 |    4854    48387   208477 | 2147483647   136815    193 |  0.062 % |
354.94/355.20	c |    235347 |    4854    48387   208477 | 2147483647   137187    193 |  0.062 % |
356.04/356.23	c |    235761 |    4854    48387   208477 | 2147483647   137601    193 |  0.062 % |
357.04/357.22	c |    236212 |    4854    48387   208477 | 2147483647   138052    193 |  0.062 % |
357.74/357.97	c |    236710 |    4854    48387   208477 | 2147483647   138550    192 |  0.062 % |
358.24/358.48	c |    237259 |    4854    48387   208477 | 2147483647   139099    192 |  0.062 % |
358.74/358.96	c |    237857 |    4854    48387   208477 | 2147483647   139697    192 |  0.062 % |
360.04/360.22	c |    238515 |    4854    48387   208477 | 2147483647   140355    192 |  0.062 % |
360.94/361.11	c |    239240 |    4854    48387   208477 | 2147483647   141080    191 |  0.062 % |
362.14/362.32	c |    240032 |    4854    48387   208477 |   141841   141872    191 |  0.062 % |
363.34/363.52	c |    240905 |    4854    48387   208477 |   141841   127607    181 |  0.062 % |
364.34/364.59	c |    241864 |    4854    48387   208477 |   141841   128566    181 |  0.062 % |
366.04/366.24	c |    242917 |    4854    48387   208477 |   141841   129619    180 |  0.062 % |
367.34/367.53	c |    244075 |    4854    48387   208477 |   141841   130777    180 |  0.062 % |
369.54/369.73	c |    245348 |    4854    48387   208477 |   141841   132050    181 |  0.062 % |
371.14/371.34	c |    246748 |    4854    48387   208477 |   141841   133450    181 |  0.062 % |
374.64/374.86	c |    248290 |    4854    48387   208477 |   141841   134992    182 |  0.062 % |
377.93/378.16	c |    249985 |    4854    48387   208477 |   141841   136687    183 |  0.062 % |
380.83/381.02	c |    251851 |    4854    48387   208477 | 2147483647   138553    183 |  0.062 % |
385.03/385.28	c |    253904 |    4854    48387   208477 | 2147483647   140606    183 |  0.062 % |
390.53/390.79	c |    256157 |    4854    48387   208477 | 2147483647   142859    183 |  0.062 % |
395.23/395.46	c |    258636 |    4854    48387   208477 | 2147483647   145338    182 |  0.062 % |
395.33/395.58	c |    258736 |    4854    48387   208477 | 2147483647   145438    182 |  0.062 % |
395.53/395.77	c |    258846 |    4854    48387   208477 | 2147483647   145548    182 |  0.062 % |
395.63/395.88	c |    258971 |    4854    48387   208477 | 2147483647   145673    182 |  0.062 % |
395.73/395.97	c |    259106 |    4854    48387   208477 | 2147483647   145808    182 |  0.062 % |
396.03/396.20	c |    259252 |    4854    48387   208477 | 2147483647   145954    182 |  0.062 % |
396.23/396.46	c |    259412 |    4854    48387   208477 | 2147483647   146114    182 |  0.062 % |
396.43/396.60	c |    259594 |    4854    48387   208477 | 2147483647   146296    182 |  0.062 % |
396.73/396.96	c |    259787 |    4854    48387   208477 | 2147483647   146489    182 |  0.062 % |
397.03/397.27	c |    259999 |    4854    48387   208477 | 2147483647   146701    182 |  0.062 % |
397.33/397.54	c |    260233 |    4854    48387   208477 |   146702   146935    182 |  0.062 % |
397.83/398.08	c |    260490 |    4854    48387   208477 |   146702   123628    170 |  0.062 % |
398.33/398.59	c |    260773 |    4854    48387   208477 |   146702   123911    170 |  0.062 % |
398.83/399.05	c |    261086 |    4854    48387   208477 |   146702   124224    170 |  0.062 % |
399.63/399.88	c |    261425 |    4854    48387   208477 |   146702   124563    169 |  0.062 % |
400.52/400.73	c |    261797 |    4854    48387   208477 |   146702   124935    169 |  0.062 % |
401.33/401.56	c |    262208 |    4854    48387   208477 |   146702   125346    169 |  0.062 % |
402.12/402.35	c |    262657 |    4854    48387   208477 |   146702   125795    169 |  0.062 % |
403.22/403.45	c |    263154 |    4854    48387   208477 |   146702   126292    169 |  0.062 % |
404.53/404.73	c |    263696 |    4854    48387   208477 |   146702   126834    169 |  0.062 % |
405.22/405.41	c |    264292 |    4854    48387   208477 |   146702   127430    168 |  0.062 % |
406.42/406.69	c |    264947 |    4854    48387   208477 |   146702   128085    168 |  0.062 % |
408.02/408.25	c |    265667 |    4854    48387   208477 |   146702   128805    169 |  0.062 % |
409.92/410.17	c |    266463 |    4854    48387   208477 |   146702   129601    169 |  0.062 % |
411.82/412.03	c |    267336 |    4854    48387   208477 |   146702   130474    169 |  0.062 % |
413.83/414.09	c |    268295 |    4854    48387   208477 |   146702   131433    168 |  0.062 % |
415.23/415.41	c |    269348 |    4854    48387   208477 |   146702   132486    168 |  0.062 % |
417.63/417.81	c |    270510 |    4854    48387   208477 |   133138   110261    158 |  0.062 % |
419.73/419.99	c |    271783 |    4854    48387   208477 |   133138   111534    157 |  0.062 % |
422.03/422.23	c |    273183 |    4854    48387   208477 |   133138   112934    156 |  0.062 % |
423.93/424.12	c |    274728 |    4854    48387   208477 |   133138   114479    156 |  0.062 % |
425.43/425.69	c |    276426 |    4854    48387   208477 |   133138   116177    155 |  0.062 % |
427.73/427.96	c |    278290 |    4854    48387   208477 |   133138   118041    153 |  0.062 % |
430.62/430.84	c |    280344 |    4854    48387   208477 | 2147483647   120095    153 |  0.062 % |
433.82/434.06	c |    282608 |    4854    48387   208477 | 2147483647   122359    152 |  0.062 % |
437.42/437.69	c |    285087 |    4853    48325   208353 | 2147483647   123249    150 |  0.082 % |
441.62/441.82	c |    287814 |    4853    48325   208353 | 2147483647   125976    150 |  0.082 % |
441.72/441.96	c |    287915 |    4853    48325   208353 | 2147483647   126077    150 |  0.082 % |
441.82/442.02	c |    288026 |    4853    48325   208353 | 2147483647   126188    150 |  0.082 % |
442.02/442.29	c |    288147 |    4853    48325   208353 | 2147483647   126309    150 |  0.082 % |
442.12/442.38	c |    288280 |    4853    48325   208353 | 2147483647   126442    150 |  0.082 % |
442.32/442.56	c |    288426 |    4853    48325   208353 | 2147483647   126588    150 |  0.082 % |
442.52/442.71	c |    288586 |    4853    48325   208353 | 2147483647   126748    150 |  0.082 % |
442.92/443.11	c |    288766 |    4853    48325   208353 | 2147483647   126928    150 |  0.082 % |
443.22/443.45	c |    288962 |    4853    48325   208353 | 2147483647   127124    150 |  0.082 % |
443.72/443.98	c |    289174 |    4853    48325   208353 | 2147483647   127336    150 |  0.082 % |
444.12/444.38	c |    289408 |    4853    48325   208353 | 2147483647   127570    149 |  0.082 % |
444.62/444.86	c |    289666 |    4853    48325   208353 | 2147483647   127828    149 |  0.082 % |
445.02/445.22	c |    289947 |    4853    48325   208353 | 2147483647   128109    149 |  0.082 % |
445.52/445.75	c |    290257 |    4853    48325   208353 | 2147483647   128419    149 |  0.082 % |
445.92/446.19	c |    290599 |    4853    48325   208353 | 2147483647   128761    149 |  0.082 % |
446.72/446.95	c |    290975 |    4853    48325   208353 | 2147483647   129137    149 |  0.082 % |
447.42/447.65	c |    291387 |    4853    48325   208353 | 2147483647   129549    149 |  0.082 % |
448.42/448.65	c |    291837 |    4853    48325   208353 | 2147483647   129999    148 |  0.082 % |
449.32/449.55	c |    292330 |    4853    48325   208353 | 2147483647   130492    148 |  0.082 % |
450.22/450.43	c |    292872 |    4853    48325   208353 | 2147483647   131034    148 |  0.082 % |
451.12/451.33	c |    293471 |    4853    48325   208353 | 2147483647   131633    147 |  0.082 % |
452.02/452.25	c |    294127 |    4853    48325   208353 | 2147483647   132289    147 |  0.082 % |
452.92/453.16	c |    294847 |    4853    48325   208353 | 2147483647   133009    146 |  0.082 % |
454.02/454.24	c |    295641 |    4853    48325   208353 | 2147483647   133803    146 |  0.082 % |
455.22/455.47	c |    296512 |    4853    48325   208353 | 2147483647   134674    146 |  0.082 % |
456.71/456.93	c |    297473 |    4853    48325   208353 | 2147483647   135635    146 |  0.082 % |
458.61/458.88	c |    298529 |    4853    48325   208353 | 2147483647   136691    145 |  0.082 % |
460.31/460.52	c |    299689 |    4853    48325   208353 | 2147483647   137851    145 |  0.082 % |
461.91/462.12	c |    300963 |    4853    48325   208353 | 2147483647   139125    144 |  0.082 % |
463.71/463.91	c |    302363 |    4853    48325   208353 | 2147483647   140525    143 |  0.082 % |
466.01/466.20	c |    303903 |    4853    48325   208353 | 2147483647   142065    142 |  0.082 % |
468.51/468.77	c |    305597 |    4853    48325   208353 | 2147483647   143759    141 |  0.082 % |
469.51/469.73	c ===============================================================================
469.51/469.73	c restarts              : 699
469.51/469.73	c conflicts             : 306026         (656 /sec)
469.51/469.73	c decisions             : 1007592        (1.62 % random) (2158 /sec)
469.51/469.73	c propagations          : 91278143       (195523 /sec)
469.51/469.73	c conflict literals     : 63324032       (34.50 % deleted)
469.51/469.73	c Memory used           : 155.94 MB
469.51/469.73	c CPU time              : 466.841 s
469.51/469.73	c 
469.51/469.73	s UNSATISFIABLE
469.51/469.75	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 25151
/proc/meminfo: memFree=1943096/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=0
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310397952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25151/statm: 1339 237 197 169 0 50 0

[startup+0.0243059 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 25151
/proc/meminfo: memFree=1943096/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=0
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310397952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25151/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101313 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 25151
/proc/meminfo: memFree=1943096/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=0
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310397952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25151/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30133 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 25151
/proc/meminfo: memFree=1943096/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=0
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310397952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25151/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701367 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 25151
/proc/meminfo: memFree=1943096/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=0
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310397952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25151/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50144 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 25156
/proc/meminfo: memFree=1920416/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=0
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310397952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25151/statm: 1339 237 197 169 0 50 0
[pid=25155] ppid=25151 vsize=21820 CPUtime=1.48
/proc/25155/stat : 25155 (SatELite_releas) R 25151 25151 24979 0 -1 4194304 5035 0 0 0 144 4 0 0 25 0 1 0 310397953 22343680 4708 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/25155/statm: 5455 4708 76 173 0 5280 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27176

[startup+3.10159 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 25156
/proc/meminfo: memFree=1914144/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 5356
heavy processes:

[startup+6.30287 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 25157
/proc/meminfo: memFree=1921064/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=13896 CPUtime=3.92
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 3359 0 0 0 390 2 0 0 25 0 1 0 310398189 14229504 3345 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 3474 3345 77 171 0 3301 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19252

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 25157
/proc/meminfo: memFree=1908088/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=26044 CPUtime=10.31
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 6374 0 0 0 1027 4 0 0 25 0 1 0 310398189 26669056 6360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 6511 6360 77 171 0 6338 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31400

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 25157
/proc/meminfo: memFree=1886328/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=47016 CPUtime=23.11
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 11622 0 0 0 2304 7 0 0 25 0 1 0 310398189 48144384 11608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 11754 11608 77 171 0 11581 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 52372

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 25157
/proc/meminfo: memFree=1856440/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=77396 CPUtime=48.7
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 19194 0 0 0 4857 13 0 0 25 0 1 0 310398189 79253504 19180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 19349 19180 77 171 0 19176 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 82752

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 25157
/proc/meminfo: memFree=1812152/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=121060 CPUtime=99.88
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 30094 0 0 0 9964 24 0 0 25 0 1 0 310398189 123965440 30080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 30265 30080 77 171 0 30092 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 126416

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 25157
/proc/meminfo: memFree=1780152/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=153136 CPUtime=159.86
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 38087 0 0 0 15955 31 0 0 25 0 1 0 310398189 156811264 38073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 38284 38073 77 171 0 38111 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 158492

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1774072/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159108 CPUtime=219.84
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39527 0 0 0 21951 33 0 0 25 0 1 0 310398189 162926592 39513 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39777 39513 77 171 0 39604 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 164464

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1773880/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159108 CPUtime=279.82
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39542 0 0 0 27948 34 0 0 25 0 1 0 310398189 162926592 39528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39777 39528 77 171 0 39604 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 164464

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1773560/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159436 CPUtime=339.8
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39608 0 0 0 33946 34 0 0 25 0 1 0 310398189 163262464 39594 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39859 39594 77 171 0 39686 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 164792

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1773240/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159680 CPUtime=399.77
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39663 0 0 0 39943 34 0 0 25 0 1 0 310398189 163512320 39649 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39920 39649 77 171 0 39747 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 165036

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1773048/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159680 CPUtime=459.76
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39674 0 0 0 45941 35 0 0 25 0 1 0 310398189 163512320 39660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39920 39660 77 171 0 39747 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 165036

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

[startup+463.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1773048/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159680 CPUtime=461.36
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39674 0 0 0 46101 35 0 0 25 0 1 0 310398189 163512320 39660 1992294400 134512640 135215339 4294956240 18446744073709551615 134538704 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39920 39660 77 171 0 39747 0
Current children cumulated CPU time (s) 463.71
Current children cumulated vsize (KiB) 165036

[startup+467.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1772984/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159680 CPUtime=464.56
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39676 0 0 0 46421 35 0 0 25 0 1 0 310398189 163512320 39662 1992294400 134512640 135215339 4294956240 18446744073709551615 134532659 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39920 39662 77 171 0 39747 0
Current children cumulated CPU time (s) 466.91
Current children cumulated vsize (KiB) 165036

[startup+468.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1772984/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159680 CPUtime=466.16
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39681 0 0 0 46581 35 0 0 25 0 1 0 310398189 163512320 39667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39920 39667 77 171 0 39747 0
Current children cumulated CPU time (s) 468.51
Current children cumulated vsize (KiB) 165036

[startup+469.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1772984/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159680 CPUtime=466.96
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39681 0 0 0 46661 35 0 0 25 0 1 0 310398189 163512320 39667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39920 39667 77 171 0 39747 0
Current children cumulated CPU time (s) 469.31
Current children cumulated vsize (KiB) 165036

[startup+469.706 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25157
/proc/meminfo: memFree=1772984/2055920 swapFree=4159356/4192956
[pid=25151] ppid=25149 vsize=5356 CPUtime=2.35
/proc/25151/stat : 25151 (SatELiteGTI) S 25149 25151 24979 0 -1 4194304 336 6180 0 0 0 0 228 7 16 0 1 0 310397952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25151/statm: 1339 239 197 169 0 50 0
[pid=25157] ppid=25151 vsize=159680 CPUtime=467.16
/proc/25157/stat : 25157 (minisat_static) R 25151 25151 24979 0 -1 4194304 39681 0 0 0 46681 35 0 0 25 0 1 0 310398189 163512320 39667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25157/statm: 39920 39667 77 171 0 39747 0
Current children cumulated CPU time (s) 469.51
Current children cumulated vsize (KiB) 165036

Child status: 20
Real time (s): 469.769
CPU time (s): 469.591
CPU user time (s): 469.126
CPU system time (s): 0.464929
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 165036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 469.126
system time used= 0.464929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46358
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= 47
involuntary context switches= 2199

runsolver used 0.559914 second user time and 1.21981 second system time

The end

Launcher Data

Begin job on node55 at 2009-05-20 14:48:26
IDJOB=1833585
IDBENCH=70758
IDSOLVER=671
FILE ID=node55/1833585-1242823706
PBS_JOBID= 9322484
Free space on /tmp= 66252 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand064.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833585-1242823706/watcher-1833585-1242823706 -o /tmp/evaluation-result-1833585-1242823706/solver-1833585-1242823706 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833585-1242823706.cnf

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

MD5SUM BENCH= 1394bf507e3ed448c81b5502d6550d78
RANDOM SEED=217475452

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1943640 kB
Buffers:         18156 kB
Cached:          34112 kB
SwapCached:      27768 kB
Active:          34032 kB
Inactive:        47684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1943640 kB
SwapTotal:     4192956 kB
SwapFree:      4159356 kB
Dirty:            3488 kB
Writeback:           0 kB
Mapped:          15488 kB
Slab:            16692 kB
Committed_AS:   937616 kB
PageTables:       1368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66248 MiB
End job on node55 at 2009-05-20 14:56:16