Trace number 1820878

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 538.4 538.43

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 benchmark276.08
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.11	c ==============================================================================
0.00/0.11	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.11	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.11	c ==============================================================================
0.00/0.11	c |         0 |  119355   278495 |   35806       0        0     nan |  0.000 % |
1.82/1.88	c |         0 |   48581   208867 |      --       0       --      -- |     --   | -70752/-69575
1.82/1.88	c ==============================================================================
1.82/1.88	c Result  :   #vars: 4857   #clauses: 48581   #literals: 208867
1.82/1.88	c CPU time:   1.8 s
1.82/1.88	c ==============================================================================
1.92/1.95	c This is MiniSat 2.0 beta
1.92/1.95	c WARNING: for repeatability, setting FPU to use double precision
1.92/1.95	c ============================[ Problem Statistics ]=============================
1.92/1.95	c |                                                                             |
1.92/1.95	c |  Number of variables:  4857                                                 |
1.92/1.95	c |  Number of clauses:    48581                                                |
1.92/1.99	c |  Parsing time:         0.02         s                                       |
1.92/1.99	c ============================[ Search Statistics ]==============================
1.92/1.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.92/1.99	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.92/1.99	c ===============================================================================
1.92/1.99	c |         0 |    4857    48581   208867 |    16193        0    nan |  0.000 % |
1.96/2.01	c |       100 |    4857    48581   208867 |    16193      100     10 |  0.000 % |
1.96/2.05	c |       201 |    4857    48581   208867 |    16193      201     14 |  0.000 % |
1.96/2.07	c |       301 |    4857    48581   208867 |    16193      301     26 |  0.000 % |
1.96/2.09	c |       411 |    4857    48581   208867 |    16193      411     24 |  0.000 % |
1.96/2.10	c |       511 |    4857    48581   208867 |    16193      511     26 |  0.000 % |
1.96/2.12	c |       621 |    4857    48581   208867 |    16193      621     26 |  0.000 % |
1.96/2.14	c |       743 |    4857    48581   208867 |    16193      743     24 |  0.000 % |
1.96/2.16	c |       844 |    4857    48581   208867 |    16193      844     29 |  0.000 % |
1.96/2.17	c |       954 |    4857    48581   208867 |    16193      954     30 |  0.000 % |
1.96/2.19	c |      1075 |    4856    48517   208739 |    16193     1073     29 |  0.021 % |
1.96/2.20	c |      1208 |    4856    48517   208739 |    16193     1206     29 |  0.021 % |
2.22/2.22	c |      1309 |    4856    48517   208739 |    16193     1307     32 |  0.021 % |
2.22/2.24	c |      1420 |    4856    48517   208739 |    16193     1418     31 |  0.021 % |
2.22/2.26	c |      1541 |    4856    48517   208739 |    16193     1539     31 |  0.021 % |
2.22/2.29	c |      1674 |    4856    48517   208739 |    16193     1672     32 |  0.021 % |
2.33/2.33	c |      1821 |    4856    48517   208739 |    16193     1819     36 |  0.021 % |
2.33/2.35	c |      1928 |    4856    48517   208739 |    16193     1926     38 |  0.021 % |
2.33/2.37	c |      2038 |    4856    48517   208739 |    16193     2036     38 |  0.021 % |
2.33/2.39	c |      2159 |    4856    48517   208739 |    16193     2157     39 |  0.021 % |
2.42/2.42	c |      2292 |    4856    48517   208739 |    16193     2290     40 |  0.021 % |
2.42/2.46	c |      2438 |    4856    48517   208739 |    16193     2436     40 |  0.021 % |
2.42/2.50	c |      2598 |    4856    48517   208739 |    16193     2596     41 |  0.021 % |
2.52/2.51	c |      2698 |    4856    48517   208739 |    16193     2696     40 |  0.021 % |
2.52/2.55	c |      2809 |    4856    48517   208739 |    16193     2807     40 |  0.021 % |
2.52/2.57	c |      2934 |    4856    48517   208739 |    16193     2932     41 |  0.021 % |
2.52/2.59	c |      3067 |    4856    48517   208739 |    16193     3065     41 |  0.021 % |
2.60/2.62	c |      3213 |    4856    48517   208739 |    16193     3211     42 |  0.021 % |
2.60/2.66	c |      3373 |    4856    48517   208739 |    16193     3371     42 |  0.021 % |
2.60/2.68	c |      3552 |    4856    48517   208739 |    16193     3550     44 |  0.021 % |
2.60/2.69	c |      3652 |    4856    48517   208739 |    16193     3650     45 |  0.021 % |
2.60/2.70	c |      3762 |    4856    48517   208739 |    16193     3760     45 |  0.021 % |
2.70/2.72	c |      3886 |    4856    48517   208739 |    16193     3884     45 |  0.021 % |
2.70/2.74	c |      4019 |    4856    48517   208739 |    16193     4017     44 |  0.021 % |
2.70/2.76	c |      4165 |    4856    48517   208739 |    16193     4163     45 |  0.021 % |
2.80/2.81	c |      4325 |    4856    48517   208739 |    16193     4323     47 |  0.021 % |
2.80/2.84	c |      4503 |    4856    48517   208739 |    16193     4501     47 |  0.021 % |
2.80/2.87	c |      4696 |    4856    48517   208739 |    16193     4694     47 |  0.021 % |
2.80/2.89	c |      4798 |    4856    48517   208739 |    16193     4796     48 |  0.021 % |
2.90/2.91	c |      4908 |    4856    48517   208739 |    16193     4906     49 |  0.021 % |
2.90/2.94	c |      5030 |    4856    48517   208739 |    16193     5028     50 |  0.021 % |
2.90/2.97	c |      5163 |    4856    48517   208739 |    16193     5161     52 |  0.021 % |
2.90/2.99	c |      5310 |    4856    48517   208739 |    16193     5308     54 |  0.021 % |
3.00/3.02	c |      5470 |    4856    48517   208739 |    16193     5468     54 |  0.021 % |
3.00/3.05	c |      5651 |    4856    48517   208739 |    16193     5649     56 |  0.021 % |
3.00/3.08	c |      5844 |    4856    48517   208739 |    16193     5842     57 |  0.021 % |
3.10/3.17	c |      6056 |    4856    48517   208739 |    16193     6054     57 |  0.021 % |
3.10/3.20	c |      6156 |    4856    48517   208739 |    16193     6154     57 |  0.021 % |
3.20/3.23	c |      6266 |    4856    48517   208739 |    16193     6264     58 |  0.021 % |
3.20/3.25	c |      6393 |    4856    48517   208739 |    16193     6391     57 |  0.021 % |
3.20/3.30	c |      6526 |    4856    48517   208739 |    16193     6524     59 |  0.021 % |
3.30/3.34	c |      6672 |    4856    48517   208739 |    16193     6670     61 |  0.021 % |
3.30/3.38	c |      6834 |    4856    48517   208739 |    16193     6832     63 |  0.021 % |
3.41/3.42	c |      7011 |    4856    48517   208739 |    16193     7009     65 |  0.021 % |
3.41/3.48	c |      7205 |    4856    48517   208739 |    16193     7203     68 |  0.021 % |
3.50/3.52	c |      7419 |    4856    48517   208739 |    16193     7417     72 |  0.021 % |
3.60/3.63	c |      7652 |    4856    48517   208739 |    16193     7650     77 |  0.021 % |
3.60/3.67	c |      7752 |    4856    48517   208739 |    16193     7750     79 |  0.021 % |
3.60/3.70	c |      7864 |    4856    48517   208739 |    16193     7862     81 |  0.021 % |
3.70/3.76	c |      7986 |    4856    48517   208739 |    16193     7984     82 |  0.021 % |
3.70/3.78	c |      8119 |    4856    48517   208739 |    16193     8117     82 |  0.021 % |
3.80/3.84	c |      8265 |    4856    48517   208739 |    16193     8263     83 |  0.021 % |
3.80/3.88	c |      8429 |    4856    48517   208739 |    16193     8427     84 |  0.021 % |
3.90/3.96	c |      8607 |    4856    48517   208739 |    16193     8605     87 |  0.021 % |
4.00/4.02	c |      8800 |    4856    48517   208739 |    16193     8798     90 |  0.021 % |
4.00/4.07	c |      9013 |    4856    48517   208739 |    16193     9011     91 |  0.021 % |
4.10/4.14	c |      9246 |    4856    48517   208739 |    16193     9244     92 |  0.021 % |
4.10/4.19	c |      9502 |    4856    48517   208739 |    16193     9500     92 |  0.021 % |
4.21/4.22	c |      9602 |    4856    48517   208739 |    16193     9600     92 |  0.021 % |
4.21/4.25	c |      9713 |    4856    48517   208739 |    16193     9711     93 |  0.021 % |
4.21/4.31	c |      9834 |    4856    48517   208739 |    16193     9832     96 |  0.021 % |
4.31/4.36	c |      9969 |    4856    48517   208739 |    16193     9967     97 |  0.021 % |
4.41/4.43	c |     10116 |    4856    48517   208739 | 2147483647    10114     99 |  0.021 % |
4.41/4.50	c |     10276 |    4856    48517   208739 | 2147483647    10274    101 |  0.021 % |
4.51/4.61	c |     10453 |    4856    48517   208739 | 2147483647    10451    102 |  0.021 % |
4.69/4.74	c |     10646 |    4856    48517   208739 | 2147483647    10644    107 |  0.021 % |
4.79/4.87	c |     10860 |    4856    48517   208739 | 2147483647    10858    111 |  0.021 % |
4.89/4.93	c |     11095 |    4856    48517   208739 | 2147483647    11093    113 |  0.021 % |
4.99/5.02	c |     11355 |    4856    48517   208739 | 2147483647    11353    117 |  0.021 % |
5.09/5.14	c |     11636 |    4856    48517   208739 | 2147483647    11634    121 |  0.021 % |
5.09/5.17	c |     11739 |    4856    48517   208739 | 2147483647    11737    122 |  0.021 % |
5.19/5.24	c |     11852 |    4856    48517   208739 | 2147483647    11850    124 |  0.021 % |
5.19/5.31	c |     11973 |    4856    48517   208739 | 2147483647    11971    125 |  0.021 % |
5.29/5.41	c |     12107 |    4856    48517   208739 | 2147483647    12105    128 |  0.021 % |
5.58/5.64	c |     12254 |    4856    48517   208739 | 2147483647    12252    132 |  0.021 % |
5.68/5.79	c |     12422 |    4856    48517   208739 | 2147483647    12420    135 |  0.021 % |
5.78/5.87	c |     12598 |    4856    48517   208739 | 2147483647    12596    136 |  0.021 % |
5.88/5.97	c |     12801 |    4856    48517   208739 | 2147483647    12799    136 |  0.021 % |
5.98/6.06	c |     13014 |    4856    48517   208739 | 2147483647    13012    138 |  0.021 % |
6.08/6.19	c |     13247 |    4856    48517   208739 | 2147483647    13245    141 |  0.021 % |
6.18/6.28	c |     13503 |    4856    48517   208739 | 2147483647    13501    142 |  0.021 % |
6.38/6.51	c |     13784 |    4856    48517   208739 | 2147483647    13782    146 |  0.021 % |
6.58/6.65	c |     14093 |    4856    48517   208739 | 2147483647    14091    149 |  0.021 % |
6.67/6.73	c |     14193 |    4856    48517   208739 | 2147483647    14191    151 |  0.021 % |
6.77/6.84	c |     14303 |    4856    48517   208739 | 2147483647    14301    153 |  0.021 % |
6.87/7.00	c |     14427 |    4856    48517   208739 | 2147483647    14425    156 |  0.021 % |
6.97/7.08	c |     14560 |    4856    48517   208739 | 2147483647    14558    156 |  0.021 % |
7.07/7.12	c |     14707 |    4856    48517   208739 | 2147483647    14705    155 |  0.021 % |
7.07/7.16	c |     14869 |    4856    48517   208739 | 2147483647    14867    155 |  0.021 % |
7.17/7.23	c |     15045 |    4856    48517   208739 | 2147483647    15043    155 |  0.021 % |
7.17/7.30	c |     15238 |    4856    48517   208739 | 2147483647    15236    155 |  0.021 % |
7.27/7.33	c |     15450 |    4856    48517   208739 | 2147483647    15448    154 |  0.021 % |
7.27/7.39	c |     15683 |    4856    48517   208739 | 2147483647    15681    156 |  0.021 % |
7.37/7.48	c |     15943 |    4856    48517   208739 | 2147483647    15941    156 |  0.021 % |
7.47/7.57	c |     16228 |    4856    48517   208739 | 2147483647    16226    156 |  0.021 % |
7.57/7.69	c |     16537 |    4856    48517   208739 | 2147483647    16535    157 |  0.021 % |
7.67/7.81	c |     16876 |    4856    48517   208739 | 2147483647    16874    157 |  0.021 % |
7.76/7.84	c |     16976 |    4856    48517   208739 | 2147483647    16974    157 |  0.021 % |
7.76/7.88	c |     17086 |    4856    48517   208739 | 2147483647    17084    157 |  0.021 % |
7.86/7.94	c |     17208 |    4856    48517   208739 | 2147483647    17206    158 |  0.021 % |
7.96/8.04	c |     17341 |    4856    48517   208739 | 2147483647    17339    159 |  0.021 % |
8.06/8.13	c |     17487 |    4856    48517   208739 | 2147483647    17485    160 |  0.021 % |
8.06/8.21	c |     17647 |    4856    48517   208739 | 2147483647    17645    161 |  0.021 % |
8.26/8.35	c |     17824 |    4856    48517   208739 | 2147483647    17822    163 |  0.021 % |
8.36/8.50	c |     18020 |    4855    48452   208608 | 2147483647    18016    165 |  0.041 % |
8.56/8.70	c |     18233 |    4855    48452   208608 | 2147483647    18229    168 |  0.041 % |
8.95/9.10	c |     18469 |    4855    48452   208608 | 2147483647    18465    170 |  0.041 % |
9.45/9.53	c |     18730 |    4855    48452   208608 | 2147483647    18726    174 |  0.041 % |
9.75/9.88	c |     19013 |    4855    48452   208608 | 2147483647    19009    177 |  0.041 % |
9.95/10.08	c |     19324 |    4855    48452   208608 | 2147483647    19320    179 |  0.041 % |
10.25/10.35	c |     19663 |    4855    48452   208608 | 2147483647    19659    181 |  0.041 % |
10.75/10.86	c |     20036 |    4855    48452   208608 | 2147483647    20032    186 |  0.041 % |
10.85/11.01	c |     20140 |    4855    48452   208608 | 2147483647    20136    187 |  0.041 % |
10.95/11.08	c |     20250 |    4855    48452   208608 | 2147483647    20246    188 |  0.041 % |
11.05/11.15	c |     20371 |    4855    48452   208608 | 2147483647    20367    187 |  0.041 % |
11.05/11.20	c |     20504 |    4855    48452   208608 | 2147483647    20500    187 |  0.041 % |
11.25/11.34	c |     20653 |    4855    48452   208608 | 2147483647    20649    189 |  0.041 % |
11.35/11.45	c |     20815 |    4855    48452   208608 | 2147483647    20811    190 |  0.041 % |
11.45/11.60	c |     20991 |    4855    48452   208608 | 2147483647    20987    191 |  0.041 % |
11.75/11.89	c |     21185 |    4855    48452   208608 | 2147483647    21181    193 |  0.041 % |
11.95/12.10	c |     21406 |    4855    48452   208608 | 2147483647    21402    195 |  0.041 % |
12.15/12.32	c |     21642 |    4855    48452   208608 | 2147483647    21638    196 |  0.041 % |
12.45/12.53	c |     21900 |    4855    48452   208608 | 2147483647    21896    197 |  0.041 % |
12.55/12.71	c |     22181 |    4855    48452   208608 | 2147483647    22177    198 |  0.041 % |
12.75/12.83	c |     22491 |    4855    48452   208608 | 2147483647    22487    198 |  0.041 % |
12.85/12.98	c |     22831 |    4855    48452   208608 | 2147483647    22827    197 |  0.041 % |
12.95/13.12	c |     23203 |    4855    48452   208608 | 2147483647    23199    196 |  0.041 % |
13.25/13.33	c |     23612 |    4855    48452   208608 | 2147483647    23608    197 |  0.041 % |
13.25/13.42	c |     23712 |    4855    48452   208608 | 2147483647    23708    198 |  0.041 % |
13.35/13.48	c |     23823 |    4855    48452   208608 | 2147483647    23819    198 |  0.041 % |
13.45/13.58	c |     23945 |    4855    48452   208608 | 2147483647    23941    199 |  0.041 % |
13.55/13.69	c |     24080 |    4855    48452   208608 | 2147483647    24076    199 |  0.041 % |
13.75/13.83	c |     24226 |    4855    48452   208608 | 2147483647    24222    200 |  0.041 % |
13.85/13.92	c |     24389 |    4854    48452   208608 | 2147483647    24384    200 |  0.062 % |
13.95/14.04	c |     24571 |    4854    48452   208608 | 2147483647    24566    200 |  0.062 % |
14.05/14.22	c |     24769 |    4854    48452   208608 | 2147483647    24764    201 |  0.062 % |
14.25/14.41	c |     24981 |    4854    48452   208608 | 2147483647    24976    202 |  0.062 % |
14.45/14.59	c |     25214 |    4854    48452   208608 | 2147483647    25209    202 |  0.062 % |
14.65/14.75	c |     25473 |    4854    48452   208608 | 2147483647    25468    202 |  0.062 % |
14.75/14.83	c |     25759 |    4854    48452   208608 | 2147483647    25754    201 |  0.062 % |
14.85/14.93	c |     26074 |    4854    48452   208608 | 2147483647    26069    200 |  0.062 % |
15.05/15.12	c |     26413 |    4854    48452   208608 | 2147483647    26408    200 |  0.062 % |
15.25/15.33	c |     26785 |    4854    48452   208608 | 2147483647    26780    200 |  0.062 % |
15.45/15.54	c |     27194 |    4854    48452   208608 | 2147483647    27189    200 |  0.062 % |
15.65/15.74	c |     27644 |    4854    48452   208608 | 2147483647    27639    200 |  0.062 % |
15.65/15.79	c |     27746 |    4854    48452   208608 | 2147483647    27741    200 |  0.062 % |
15.65/15.82	c |     27857 |    4854    48452   208608 | 2147483647    27852    200 |  0.062 % |
15.75/15.86	c |     27986 |    4854    48452   208608 | 2147483647    27981    199 |  0.062 % |
15.85/15.93	c |     28119 |    4854    48452   208608 | 2147483647    28114    199 |  0.062 % |
15.85/15.96	c |     28265 |    4854    48452   208608 | 2147483647    28260    198 |  0.062 % |
15.95/16.03	c |     28425 |    4854    48452   208608 | 2147483647    28420    198 |  0.062 % |
16.05/16.19	c |     28611 |    4854    48387   208477 | 2147483647    28605    198 |  0.062 % |
16.25/16.36	c |     28805 |    4854    48387   208477 | 2147483647    28799    198 |  0.062 % |
16.35/16.49	c |     29020 |    4854    48387   208477 | 2147483647    29014    199 |  0.062 % |
16.45/16.57	c |     29253 |    4854    48387   208477 | 2147483647    29247    197 |  0.062 % |
16.55/16.70	c |     29516 |    4854    48387   208477 | 2147483647    29510    197 |  0.062 % |
16.75/16.86	c |     29802 |    4854    48387   208477 | 2147483647    29796    199 |  0.062 % |
16.95/17.03	c |     30116 |    4854    48387   208477 | 2147483647    30110    199 |  0.062 % |
17.15/17.25	c |     30463 |    4854    48387   208477 | 2147483647    30457    200 |  0.062 % |
17.45/17.60	c |     30842 |    4854    48387   208477 | 2147483647    30836    202 |  0.062 % |
17.75/17.92	c |     31251 |    4854    48387   208477 | 2147483647    31245    203 |  0.062 % |
18.15/18.25	c |     31701 |    4854    48387   208477 | 2147483647    31695    203 |  0.062 % |
18.35/18.51	c |     32194 |    4854    48387   208477 | 2147483647    32188    204 |  0.062 % |
18.45/18.55	c |     32296 |    4854    48387   208477 | 2147483647    32290    204 |  0.062 % |
18.45/18.59	c |     32406 |    4854    48387   208477 | 2147483647    32400    204 |  0.062 % |
18.45/18.61	c |     32529 |    4854    48387   208477 | 2147483647    32523    204 |  0.062 % |
18.55/18.68	c |     32663 |    4854    48387   208477 | 2147483647    32657    204 |  0.062 % |
18.65/18.75	c |     32809 |    4854    48387   208477 | 2147483647    32803    204 |  0.062 % |
18.75/18.82	c |     32970 |    4854    48387   208477 | 2147483647    32964    204 |  0.062 % |
18.75/18.87	c |     33147 |    4854    48387   208477 | 2147483647    33141    204 |  0.062 % |
18.75/18.92	c |     33340 |    4854    48387   208477 | 2147483647    33334    204 |  0.062 % |
18.95/19.04	c |     33552 |    4854    48387   208477 | 2147483647    33546    204 |  0.062 % |
19.25/19.33	c |     33785 |    4854    48387   208477 | 2147483647    33779    206 |  0.062 % |
19.55/19.68	c |     34042 |    4854    48387   208477 | 2147483647    34036    207 |  0.062 % |
19.75/19.89	c |     34323 |    4854    48387   208477 | 2147483647    34317    207 |  0.062 % |
19.85/20.00	c |     34632 |    4854    48387   208477 | 2147483647    34626    205 |  0.064 % |
19.95/20.12	c |     34971 |    4854    48387   208477 | 2147483647    34965    205 |  0.064 % |
20.15/20.24	c |     35343 |    4854    48387   208477 | 2147483647    35337    206 |  0.062 % |
20.35/20.49	c |     35752 |    4854    48387   208477 | 2147483647    35746    206 |  0.062 % |
20.55/20.69	c |     36202 |    4854    48387   208477 | 2147483647    36196    206 |  0.062 % |
21.05/21.20	c |     36696 |    4854    48387   208477 | 2147483647    36690    207 |  0.062 % |
21.45/21.57	c |     37241 |    4854    48387   208477 | 2147483647    37235    207 |  0.062 % |
21.45/21.62	c |     37342 |    4854    48387   208477 | 2147483647    37336    207 |  0.062 % |
21.55/21.67	c |     37453 |    4854    48387   208477 | 2147483647    37447    207 |  0.062 % |
21.65/21.72	c |     37574 |    4854    48387   208477 | 2147483647    37568    207 |  0.062 % |
21.75/21.90	c |     37707 |    4854    48387   208477 | 2147483647    37701    208 |  0.062 % |
21.95/22.03	c |     37854 |    4854    48387   208477 | 2147483647    37848    208 |  0.062 % |
22.15/22.25	c |     38014 |    4854    48387   208477 | 2147483647    38008    209 |  0.062 % |
22.35/22.47	c |     38194 |    4854    48387   208477 | 2147483647    38188    210 |  0.062 % |
22.55/22.69	c |     38388 |    4854    48387   208477 | 2147483647    38382    211 |  0.062 % |
22.85/22.98	c |     38604 |    4854    48387   208477 | 2147483647    38598    212 |  0.062 % |
23.25/23.36	c |     38841 |    4854    48387   208477 | 2147483647    38835    213 |  0.062 % |
23.55/23.66	c |     39097 |    4854    48387   208477 | 2147483647    39091    214 |  0.062 % |
23.75/23.84	c |     39379 |    4854    48387   208477 | 2147483647    39373    214 |  0.062 % |
23.95/24.03	c |     39689 |    4854    48387   208477 | 2147483647    39683    214 |  0.062 % |
24.15/24.26	c |     40028 |    4854    48387   208477 | 2147483647    40022    214 |  0.062 % |
24.25/24.38	c |     40405 |    4854    48387   208477 | 2147483647    40399    213 |  0.062 % |
24.75/24.84	c |     40818 |    4854    48387   208477 | 2147483647    40812    214 |  0.062 % |
25.05/25.12	c |     41267 |    4854    48387   208477 | 2147483647    41261    214 |  0.062 % |
25.25/25.35	c |     41760 |    4854    48387   208477 | 2147483647    41754    214 |  0.062 % |
25.55/25.64	c |     42302 |    4854    48387   208477 | 2147483647    42296    214 |  0.062 % |
26.25/26.36	c |     42898 |    4854    48387   208477 | 2147483647    42892    215 |  0.062 % |
26.45/26.53	c |     42998 |    4854    48387   208477 | 2147483647    42992    215 |  0.062 % |
26.55/26.68	c |     43108 |    4854    48387   208477 | 2147483647    43102    215 |  0.062 % |
26.75/26.87	c |     43230 |    4854    48387   208477 | 2147483647    43224    216 |  0.062 % |
26.95/27.05	c |     43365 |    4854    48387   208477 | 2147483647    43359    216 |  0.062 % |
27.25/27.37	c |     43516 |    4854    48387   208477 | 2147483647    43510    217 |  0.062 % |
27.45/27.60	c |     43677 |    4854    48387   208477 | 2147483647    43671    218 |  0.062 % |
27.65/27.75	c |     43853 |    4854    48387   208477 | 2147483647    43847    218 |  0.062 % |
27.85/27.95	c |     44046 |    4854    48387   208477 | 2147483647    44040    219 |  0.062 % |
28.15/28.29	c |     44258 |    4854    48387   208477 | 2147483647    44252    220 |  0.062 % |
28.65/28.79	c |     44491 |    4854    48387   208477 | 2147483647    44485    221 |  0.062 % |
29.05/29.12	c |     44751 |    4854    48387   208477 | 2147483647    44745    222 |  0.062 % |
29.45/29.57	c |     45033 |    4854    48387   208477 | 2147483647    45027    223 |  0.062 % |
29.95/30.09	c |     45349 |    4854    48387   208477 | 2147483647    45343    224 |  0.062 % |
30.55/30.72	c |     45697 |    4854    48387   208477 | 2147483647    45691    226 |  0.062 % |
30.95/31.06	c |     46084 |    4854    48387   208477 | 2147483647    46078    227 |  0.062 % |
31.35/31.45	c |     46495 |    4854    48387   208477 | 2147483647    46489    228 |  0.062 % |
31.65/31.78	c |     46944 |    4854    48387   208477 | 2147483647    46938    227 |  0.062 % |
32.15/32.29	c |     47439 |    4854    48387   208477 | 2147483647    47433    228 |  0.062 % |
32.55/32.66	c |     47981 |    4854    48387   208477 | 2147483647    47975    228 |  0.062 % |
32.85/32.97	c |     48578 |    4854    48387   208477 | 2147483647    48572    227 |  0.062 % |
33.35/33.47	c |     49236 |    4854    48387   208477 | 2147483647    49230    227 |  0.062 % |
33.45/33.52	c |     49337 |    4854    48387   208477 | 2147483647    49331    227 |  0.062 % |
33.55/33.63	c |     49448 |    4854    48387   208477 | 2147483647    49442    227 |  0.062 % |
33.65/33.72	c |     49574 |    4854    48387   208477 | 2147483647    49568    227 |  0.062 % |
33.85/33.97	c |     49707 |    4854    48387   208477 | 2147483647    49701    227 |  0.062 % |
34.05/34.17	c |     49853 |    4854    48387   208477 | 2147483647    49847    228 |  0.062 % |
34.25/34.39	c |     50014 |    4854    48387   208477 | 2147483647    50008    229 |  0.062 % |
34.35/34.48	c |     50192 |    4854    48387   208477 | 2147483647    50186    228 |  0.062 % |
34.45/34.55	c |     50385 |    4854    48387   208477 | 2147483647    50379    228 |  0.062 % |
34.55/34.69	c |     50623 |    4854    48387   208477 | 2147483647    50617    227 |  0.062 % |
34.75/34.89	c |     50856 |    4854    48387   208477 | 2147483647    50850    227 |  0.062 % |
35.05/35.14	c |     51113 |    4854    48387   208477 | 2147483647    51107    227 |  0.062 % |
35.35/35.47	c |     51394 |    4854    48387   208477 | 2147483647    51388    228 |  0.062 % |
35.65/35.80	c |     51705 |    4854    48387   208477 | 2147483647    51699    228 |  0.062 % |
35.95/36.10	c |     52044 |    4854    48387   208477 | 2147483647    52038    229 |  0.062 % |
36.35/36.44	c |     52416 |    4854    48387   208477 | 2147483647    52410    229 |  0.062 % |
36.75/36.87	c |     52829 |    4854    48387   208477 | 2147483647    52823    229 |  0.062 % |
36.95/37.11	c |     53280 |    4854    48387   208477 | 2147483647    53274    228 |  0.062 % |
37.25/37.32	c |     53775 |    4854    48387   208477 | 2147483647    53769    227 |  0.062 % |
37.55/37.64	c |     54317 |    4854    48387   208477 | 2147483647    54311    226 |  0.062 % |
37.85/37.95	c |     54916 |    4854    48387   208477 | 2147483647    54910    225 |  0.062 % |
38.25/38.38	c |     55573 |    4854    48387   208477 | 2147483647    55567    224 |  0.062 % |
38.65/38.77	c |     56295 |    4854    48387   208477 | 2147483647    56289    223 |  0.062 % |
38.75/38.91	c |     56396 |    4854    48387   208477 | 2147483647    56390    223 |  0.062 % |
38.95/39.05	c |     56508 |    4854    48387   208477 | 2147483647    56502    223 |  0.062 % |
39.05/39.19	c |     56631 |    4854    48387   208477 | 2147483647    56625    223 |  0.062 % |
39.35/39.45	c |     56764 |    4854    48387   208477 | 2147483647    56758    223 |  0.062 % |
39.65/39.79	c |     56925 |    4854    48387   208477 | 2147483647    56919    224 |  0.062 % |
39.85/40.00	c |     57091 |    4854    48387   208477 | 2147483647    57085    224 |  0.062 % |
40.15/40.26	c |     57270 |    4854    48387   208477 | 2147483647    57264    224 |  0.062 % |
40.45/40.57	c |     57463 |    4854    48387   208477 | 2147483647    57457    225 |  0.062 % |
40.85/40.93	c |     57678 |    4854    48387   208477 | 2147483647    57672    226 |  0.062 % |
41.25/41.37	c |     57911 |    4854    48387   208477 | 2147483647    57905    227 |  0.062 % |
41.55/41.72	c |     58168 |    4854    48387   208477 | 2147483647    58162    227 |  0.062 % |
41.95/42.08	c |     58455 |    4854    48387   208477 | 2147483647    58449    227 |  0.062 % |
42.35/42.42	c |     58764 |    4854    48387   208477 | 2147483647    58758    228 |  0.062 % |
42.65/42.81	c |     59104 |    4854    48387   208477 | 2147483647    59098    228 |  0.062 % |
42.95/43.05	c |     59480 |    4854    48387   208477 | 2147483647    59474    227 |  0.062 % |
43.35/43.50	c |     59889 |    4854    48387   208477 | 2147483647    59883    227 |  0.062 % |
43.95/44.05	c |     60342 |    4854    48387   208477 | 2147483647    60336    228 |  0.062 % |
44.65/44.72	c |     60841 |    4854    48387   208477 | 2147483647    60835    229 |  0.062 % |
45.65/45.73	c |     61385 |    4854    48387   208477 | 2147483647    61379    230 |  0.062 % |
46.75/46.91	c |     61981 |    4854    48387   208477 | 2147483647    61975    231 |  0.062 % |
47.75/47.91	c |     62637 |    4854    48387   208477 | 2147483647    62631    232 |  0.062 % |
48.55/48.67	c |     63357 |    4854    48387   208477 | 2147483647    63351    234 |  0.062 % |
49.65/49.76	c |     64149 |    4854    48387   208477 | 2147483647    64143    235 |  0.062 % |
49.75/49.87	c |     64249 |    4854    48387   208477 | 2147483647    64243    235 |  0.062 % |
49.85/49.98	c |     64363 |    4854    48387   208477 | 2147483647    64357    235 |  0.062 % |
50.05/50.13	c |     64486 |    4854    48387   208477 | 2147483647    64480    235 |  0.062 % |
50.15/50.26	c |     64619 |    4854    48387   208477 | 2147483647    64613    235 |  0.062 % |
50.25/50.37	c |     64766 |    4854    48387   208477 | 2147483647    64760    235 |  0.062 % |
50.45/50.60	c |     64931 |    4854    48387   208477 | 2147483647    64925    235 |  0.062 % |
50.75/50.87	c |     65108 |    4854    48387   208477 | 2147483647    65102    235 |  0.062 % |
51.05/51.12	c |     65303 |    4854    48387   208477 | 2147483647    65297    236 |  0.062 % |
51.45/51.52	c |     65516 |    4854    48387   208477 | 2147483647    65510    236 |  0.062 % |
51.65/51.79	c |     65751 |    4854    48387   208477 | 2147483647    65745    236 |  0.062 % |
52.15/52.24	c |     66013 |    4854    48387   208477 | 2147483647    66007    237 |  0.062 % |
52.45/52.53	c |     66298 |    4854    48387   208477 | 2147483647    66292    237 |  0.062 % |
52.85/53.01	c |     66609 |    4854    48387   208477 | 2147483647    66603    238 |  0.062 % |
53.55/53.71	c |     66948 |    4854    48387   208477 | 2147483647    66942    238 |  0.062 % |
54.15/54.26	c |     67321 |    4854    48387   208477 | 2147483647    67315    238 |  0.062 % |
54.75/54.85	c |     67737 |    4854    48387   208477 | 2147483647    67731    239 |  0.062 % |
55.35/55.50	c |     68186 |    4854    48387   208477 | 2147483647    68180    240 |  0.062 % |
56.35/56.45	c |     68680 |    4854    48387   208477 | 2147483647    68674    240 |  0.062 % |
57.26/57.39	c |     69227 |    4854    48387   208477 | 2147483647    69221    240 |  0.062 % |
58.05/58.16	c |     69824 |    4854    48387   208477 | 2147483647    69818    241 |  0.062 % |
58.85/59.00	c |     70479 |    4854    48387   208477 | 2147483647    70473    241 |  0.062 % |
59.75/59.87	c |     71203 |    4854    48387   208477 | 2147483647    71197    242 |  0.062 % |
60.56/60.70	c |     72000 |    4854    48387   208477 | 2147483647    71994    242 |  0.062 % |
62.65/62.73	c |     72872 |    4854    48387   208477 | 2147483647    72866    244 |  0.062 % |
62.95/63.02	c |     72979 |    4854    48387   208477 | 2147483647    72973    244 |  0.062 % |
63.05/63.18	c |     73090 |    4854    48387   208477 | 2147483647    73084    244 |  0.062 % |
63.25/63.36	c |     73212 |    4854    48387   208477 | 2147483647    73206    244 |  0.062 % |
63.35/63.42	c |     73350 |    4854    48387   208477 | 2147483647    73344    244 |  0.063 % |
63.35/63.48	c |     73497 |    4854    48387   208477 | 2147483647    73491    243 |  0.062 % |
63.45/63.61	c |     73657 |    4854    48387   208477 | 2147483647    73651    243 |  0.062 % |
63.65/63.76	c |     73834 |    4854    48387   208477 | 2147483647    73828    243 |  0.062 % |
63.75/63.91	c |     74027 |    4854    48387   208477 | 2147483647    74021    243 |  0.062 % |
64.05/64.20	c |     74250 |    4854    48387   208477 | 2147483647    74244    243 |  0.062 % |
64.35/64.46	c |     74485 |    4854    48387   208477 | 2147483647    74479    243 |  0.062 % |
64.65/64.79	c |     74742 |    4854    48387   208477 | 2147483647    74736    244 |  0.062 % |
65.05/65.20	c |     75024 |    4854    48387   208477 | 2147483647    75018    244 |  0.062 % |
65.75/65.83	c |     75335 |    4854    48387   208477 | 2147483647    75329    245 |  0.062 % |
66.45/66.60	c |     75674 |    4854    48387   208477 | 2147483647    75668    245 |  0.062 % |
67.35/67.49	c |     76046 |    4854    48387   208477 | 2147483647    76040    246 |  0.062 % |
67.85/67.94	c |     76459 |    4854    48387   208477 | 2147483647    76453    246 |  0.062 % |
68.45/68.52	c |     76908 |    4854    48387   208477 | 2147483647    76902    247 |  0.062 % |
69.45/69.53	c |     77402 |    4854    48387   208477 | 2147483647    77396    248 |  0.062 % |
70.25/70.39	c |     77944 |    4854    48387   208477 | 2147483647    77938    248 |  0.062 % |
70.85/70.95	c |     78546 |    4854    48387   208477 | 2147483647    78540    248 |  0.062 % |
71.56/71.68	c |     79201 |    4854    48387   208477 | 2147483647    79195    248 |  0.062 % |
72.25/72.36	c |     79921 |    4854    48387   208477 | 2147483647    79915    248 |  0.062 % |
73.35/73.51	c |     80714 |    4854    48387   208477 | 2147483647    80708    248 |  0.062 % |
74.35/74.42	c |     81585 |    4854    48387   208477 | 2147483647    81579    247 |  0.062 % |
75.85/75.96	c |     82544 |    4854    48387   208477 | 2147483647    82538    247 |  0.062 % |
76.05/76.14	c |     82645 |    4854    48387   208477 | 2147483647    82639    247 |  0.062 % |
76.25/76.32	c |     82758 |    4854    48387   208477 | 2147483647    82752    247 |  0.062 % |
76.45/76.59	c |     82881 |    4854    48387   208477 | 2147483647    82875    247 |  0.062 % |
76.65/76.74	c |     83015 |    4854    48387   208477 | 2147483647    83009    247 |  0.062 % |
76.95/77.03	c |     83161 |    4854    48387   208477 | 2147483647    83155    248 |  0.062 % |
77.25/77.40	c |     83329 |    4854    48387   208477 | 2147483647    83323    248 |  0.062 % |
77.65/77.80	c |     83507 |    4854    48387   208477 | 2147483647    83501    248 |  0.062 % |
77.95/78.05	c |     83702 |    4854    48387   208477 | 2147483647    83696    248 |  0.062 % |
78.16/78.31	c |     83916 |    4854    48387   208477 | 2147483647    83910    248 |  0.062 % |
78.55/78.62	c |     84149 |    4854    48387   208477 | 2147483647    84143    248 |  0.062 % |
78.95/79.02	c |     84406 |    4854    48387   208477 | 2147483647    84400    248 |  0.062 % |
79.26/79.33	c |     84688 |    4854    48387   208477 | 2147483647    84682    248 |  0.062 % |
79.45/79.61	c |     84998 |    4854    48387   208477 | 2147483647    84992    247 |  0.062 % |
79.75/79.87	c |     85339 |    4854    48387   208477 | 2147483647    85333    247 |  0.062 % |
80.05/80.14	c |     85713 |    4854    48387   208477 | 2147483647    85707    247 |  0.062 % |
80.25/80.38	c |     86122 |    4854    48387   208477 | 2147483647    86116    247 |  0.063 % |
80.85/80.95	c |     86578 |    4854    48387   208477 | 2147483647    86572    247 |  0.062 % |
82.05/82.13	c |     87071 |    4854    48387   208477 | 2147483647    87065    248 |  0.062 % |
83.55/83.69	c |     87616 |    4854    48387   208477 | 2147483647    87610    248 |  0.062 % |
85.25/85.32	c |     88213 |    4854    48387   208477 | 2147483647    88207    249 |  0.062 % |
86.15/86.24	c |     88877 |    4854    48387   208477 | 2147483647    88871    250 |  0.062 % |
86.96/87.07	c |     89597 |    4854    48387   208477 | 2147483647    89591    250 |  0.062 % |
88.66/88.77	c |     90391 |    4854    48387   208477 | 2147483647    90385    250 |  0.062 % |
90.46/90.59	c |     91263 |    4854    48387   208477 | 2147483647    91257    251 |  0.062 % |
93.16/93.23	c |     92221 |    4854    48387   208477 | 2147483647    92215    252 |  0.062 % |
95.06/95.19	c |     93274 |    4854    48387   208477 | 2147483647    93268    252 |  0.062 % |
95.16/95.32	c |     93376 |    4854    48387   208477 | 2147483647    93370    253 |  0.062 % |
95.26/95.38	c |     93486 |    4854    48387   208477 | 2147483647    93480    253 |  0.062 % |
95.36/95.48	c |     93609 |    4854    48387   208477 | 2147483647    93603    252 |  0.062 % |
95.46/95.61	c |     93742 |    4854    48387   208477 | 2147483647    93736    252 |  0.062 % |
95.66/95.79	c |     93891 |    4854    48387   208477 | 2147483647    93885    252 |  0.062 % |
95.86/95.99	c |     94051 |    4854    48387   208477 | 2147483647    94045    252 |  0.062 % |
96.16/96.27	c |     94233 |    4854    48387   208477 | 2147483647    94227    252 |  0.062 % |
96.46/96.54	c |     94434 |    4854    48387   208477 | 2147483647    94428    252 |  0.062 % |
96.76/96.91	c |     94646 |    4854    48387   208477 | 2147483647    94640    252 |  0.062 % |
97.36/97.44	c |     94882 |    4854    48387   208477 | 2147483647    94876    253 |  0.062 % |
97.96/98.05	c |     95139 |    4854    48387   208477 | 2147483647    95133    253 |  0.062 % |
98.36/98.47	c |     95422 |    4854    48387   208477 | 2147483647    95416    253 |  0.062 % |
98.96/99.02	c |     95734 |    4854    48387   208477 | 2147483647    95728    253 |  0.062 % |
99.65/99.74	c |     96074 |    4854    48387   208477 | 2147483647    96068    253 |  0.062 % |
100.65/100.72	c |     96447 |    4854    48387   208477 | 2147483647    96441    254 |  0.062 % |
101.55/101.69	c |     96857 |    4854    48387   208477 | 2147483647    96851    254 |  0.062 % |
102.35/102.48	c |     97307 |    4854    48387   208477 | 2147483647    97301    255 |  0.062 % |
102.85/102.98	c |     97804 |    4854    48387   208477 | 2147483647    97798    254 |  0.062 % |
103.35/103.50	c |     98350 |    4854    48387   208477 | 2147483647    98344    254 |  0.062 % |
104.15/104.25	c |     98947 |    4854    48387   208477 | 2147483647    98941    254 |  0.062 % |
105.65/105.73	c |     99602 |    4854    48387   208477 | 2147483647    99596    255 |  0.062 % |
107.25/107.33	c |    100325 |    4854    48387   208477 | 2147483647   100319    256 |  0.062 % |
108.65/108.79	c |    101122 |    4854    48387   208477 | 2147483647   101116    256 |  0.062 % |
110.25/110.41	c |    101998 |    4854    48387   208477 | 2147483647   101992    256 |  0.062 % |
111.65/111.80	c |    102957 |    4854    48387   208477 | 2147483647   102951    257 |  0.062 % |
113.95/114.04	c |    104012 |    4854    48387   208477 | 2147483647   104006    258 |  0.062 % |
115.35/115.45	c |    105172 |    4854    48387   208477 | 2147483647   105166    258 |  0.062 % |
115.45/115.57	c |    105272 |    4854    48387   208477 | 2147483647   105266    258 |  0.062 % |
115.65/115.74	c |    105385 |    4854    48387   208477 | 2147483647   105379    258 |  0.062 % |
115.85/115.98	c |    105512 |    4854    48387   208477 | 2147483647   105506    258 |  0.062 % |
116.05/116.14	c |    105645 |    4854    48387   208477 | 2147483647   105639    258 |  0.062 % |
116.15/116.27	c |    105792 |    4854    48387   208477 | 2147483647   105786    258 |  0.062 % |
116.35/116.45	c |    105953 |    4854    48387   208477 | 2147483647   105947    258 |  0.062 % |
116.65/116.73	c |    106129 |    4854    48387   208477 | 2147483647   106123    258 |  0.062 % |
116.95/117.08	c |    106322 |    4854    48387   208477 | 2147483647   106316    258 |  0.062 % |
117.55/117.62	c |    106545 |    4854    48387   208477 | 2147483647   106539    258 |  0.062 % |
118.05/118.14	c |    106779 |    4854    48387   208477 | 2147483647   106773    258 |  0.062 % |
118.65/118.73	c |    107035 |    4854    48387   208477 | 2147483647   107029    258 |  0.062 % |
119.35/119.41	c |    107320 |    4854    48387   208477 | 2147483647   107314    258 |  0.062 % |
119.95/120.11	c |    107641 |    4854    48387   208477 | 2147483647   107635    258 |  0.062 % |
120.45/120.57	c |    107984 |    4854    48387   208477 | 2147483647   107978    258 |  0.062 % |
120.95/121.06	c |    108358 |    4854    48387   208477 | 2147483647   108352    258 |  0.062 % |
121.35/121.49	c |    108769 |    4854    48387   208477 | 2147483647   108763    257 |  0.062 % |
121.85/121.91	c |    109218 |    4854    48387   208477 | 2147483647   109212    257 |  0.062 % |
122.15/122.29	c |    109711 |    4854    48387   208477 | 2147483647   109705    257 |  0.062 % |
123.15/123.22	c |    110253 |    4854    48387   208477 | 2147483647   110247    256 |  0.062 % |
124.05/124.12	c |    110850 |    4854    48387   208477 | 2147483647   110844    256 |  0.062 % |
125.45/125.54	c |    111507 |    4854    48387   208477 | 2147483647   111501    257 |  0.062 % |
127.25/127.34	c |    112230 |    4854    48387   208477 | 2147483647   112224    257 |  0.062 % |
129.95/130.09	c |    113026 |    4854    48387   208477 | 2147483647   113020    257 |  0.062 % |
131.75/131.85	c |    113903 |    4854    48387   208477 | 2147483647   113897    257 |  0.062 % |
134.05/134.12	c |    114861 |    4854    48387   208477 | 2147483647   114855    257 |  0.062 % |
135.85/135.95	c |    115914 |    4854    48387   208477 | 2147483647   115908    257 |  0.062 % |
137.45/137.59	c |    117076 |    4854    48387   208477 | 2147483647   117070    256 |  0.062 % |
139.85/139.98	c |    118353 |    4854    48387   208477 | 2147483647   118347    256 |  0.062 % |
140.15/140.23	c |    118459 |    4854    48387   208477 | 2147483647   118453    256 |  0.062 % |
140.25/140.36	c |    118570 |    4854    48387   208477 | 2147483647   118564    256 |  0.062 % |
140.75/140.89	c |    118691 |    4854    48387   208477 | 2147483647   118685    256 |  0.062 % |
141.25/141.40	c |    118824 |    4854    48387   208477 | 2147483647   118818    256 |  0.062 % |
141.65/141.80	c |    118970 |    4854    48387   208477 | 2147483647   118964    256 |  0.062 % |
142.25/142.35	c |    119131 |    4854    48387   208477 | 2147483647   119125    256 |  0.062 % |
142.75/142.84	c |    119307 |    4854    48387   208477 | 2147483647   119301    256 |  0.062 % |
143.15/143.22	c |    119501 |    4854    48387   208477 | 2147483647   119495    256 |  0.062 % |
143.75/143.85	c |    119713 |    4854    48387   208477 | 2147483647   119707    256 |  0.062 % |
144.25/144.31	c |    119952 |    4854    48387   208477 | 2147483647   119946    256 |  0.062 % |
144.65/144.77	c |    120208 |    4854    48387   208477 | 2147483647   120202    256 |  0.062 % |
145.15/145.25	c |    120489 |    4854    48387   208477 | 2147483647   120483    257 |  0.062 % |
145.75/145.89	c |    120800 |    4854    48387   208477 | 2147483647   120794    256 |  0.062 % |
146.36/146.50	c |    121140 |    4854    48387   208477 | 2147483647   121134    257 |  0.062 % |
146.95/147.07	c |    121513 |    4854    48387   208477 | 2147483647   121507    257 |  0.062 % |
147.95/148.04	c |    121925 |    4854    48387   208477 | 2147483647   121919    256 |  0.062 % |
149.25/149.40	c |    122376 |    4854    48387   208477 | 2147483647   122370    257 |  0.062 % |
150.85/150.98	c |    122869 |    4854    48387   208477 | 2147483647   122863    257 |  0.062 % |
151.95/152.09	c |    123413 |    4854    48387   208477 | 2147483647   123407    257 |  0.062 % |
153.15/153.29	c |    124010 |    4854    48387   208477 | 2147483647   124004    257 |  0.062 % |
155.05/155.20	c |    124668 |    4854    48387   208477 | 2147483647   124662    257 |  0.062 % |
157.95/158.02	c |    125388 |    4854    48387   208477 | 2147483647   125382    257 |  0.062 % |
160.15/160.22	c |    126183 |    4854    48387   208477 | 2147483647   126177    257 |  0.062 % |
162.55/162.63	c |    127054 |    4854    48387   208477 | 2147483647   127048    257 |  0.062 % |
165.45/165.54	c |    128012 |    4854    48387   208477 | 2147483647   128006    257 |  0.062 % |
167.65/167.75	c |    129065 |    4854    48387   208477 | 2147483647   129059    257 |  0.062 % |
170.76/170.90	c |    130223 |    4854    48387   208477 | 2147483647   130217    257 |  0.062 % |
174.26/174.32	c |    131496 |    4854    48387   208477 | 2147483647   131490    257 |  0.062 % |
177.56/177.68	c |    132898 |    4854    48387   208477 | 2147483647   132892    257 |  0.062 % |
178.06/178.12	c |    132998 |    4854    48387   208477 | 2147483647   132992    257 |  0.062 % |
178.26/178.38	c |    133110 |    4854    48387   208477 | 2147483647   133104    257 |  0.062 % |
178.56/178.68	c |    133231 |    4854    48387   208477 | 2147483647   133225    257 |  0.062 % |
178.86/178.95	c |    133366 |    4854    48387   208477 | 2147483647   133360    257 |  0.062 % |
179.06/179.21	c |    133512 |    4854    48387   208477 | 2147483647   133506    257 |  0.062 % |
179.56/179.63	c |    133672 |    4854    48387   208477 | 2147483647   133666    257 |  0.062 % |
180.06/180.19	c |    133850 |    4854    48387   208477 | 2147483647   133844    257 |  0.062 % |
180.56/180.64	c |    134045 |    4854    48387   208477 | 2147483647   134039    257 |  0.062 % |
181.06/181.17	c |    134257 |    4854    48387   208477 | 2147483647   134251    257 |  0.062 % |
181.66/181.78	c |    134490 |    4854    48387   208477 | 2147483647   134484    257 |  0.062 % |
182.36/182.48	c |    134748 |    4854    48387   208477 | 2147483647   134742    257 |  0.062 % |
183.26/183.32	c |    135030 |    4854    48387   208477 | 2147483647   135024    257 |  0.062 % |
184.46/184.56	c |    135341 |    4854    48387   208477 | 2147483647   135335    258 |  0.062 % |
185.16/185.30	c |    135681 |    4854    48387   208477 | 2147483647   135675    258 |  0.062 % |
186.06/186.14	c |    136063 |    4854    48387   208477 | 2147483647   136057    257 |  0.062 % |
187.06/187.14	c |    136473 |    4854    48387   208477 | 2147483647   136467    257 |  0.062 % |
187.86/187.92	c |    136926 |    4854    48387   208477 | 2147483647   136920    257 |  0.062 % |
189.06/189.13	c |    137420 |    4854    48387   208477 | 2147483647   137414    257 |  0.062 % |
190.96/191.09	c |    137967 |    4854    48387   208477 | 2147483647   137961    257 |  0.062 % |
192.66/192.76	c |    138563 |    4854    48387   208477 | 2147483647   138557    257 |  0.062 % |
194.76/194.89	c |    139221 |    4854    48387   208477 | 2147483647   139215    257 |  0.062 % |
196.66/196.75	c |    139941 |    4854    48387   208477 | 2147483647   139935    257 |  0.062 % |
198.86/198.92	c |    140733 |    4854    48387   208477 |   139995   140727    257 |  0.062 % |
200.46/200.55	c |    141609 |    4854    48387   208477 |   139995   125619    255 |  0.062 % |
201.86/201.95	c |    142568 |    4854    48387   208477 |   139995   126578    255 |  0.062 % |
204.06/204.15	c |    143621 |    4854    48387   208477 |   139995   127631    255 |  0.062 % |
206.76/206.81	c |    144781 |    4854    48387   208477 |   139995   128791    255 |  0.062 % |
209.26/209.34	c |    146054 |    4854    48387   208477 |   139995   130064    255 |  0.062 % |
212.06/212.18	c |    147457 |    4854    48387   208477 |   139995   131467    255 |  0.062 % |
215.36/215.42	c |    149008 |    4854    48387   208477 |   139995   133018    254 |  0.062 % |
215.66/215.73	c |    149110 |    4854    48387   208477 |   139995   133120    254 |  0.062 % |
215.96/216.03	c |    149220 |    4854    48387   208477 |   139995   133230    254 |  0.062 % |
216.26/216.32	c |    149345 |    4854    48387   208477 |   139995   133355    254 |  0.062 % |
216.76/216.84	c |    149480 |    4854    48387   208477 |   139995   133490    254 |  0.062 % |
217.26/217.40	c |    149626 |    4854    48387   208477 |   139995   133636    254 |  0.062 % |
217.66/217.79	c |    149788 |    4854    48387   208477 |   139995   133798    254 |  0.062 % |
218.16/218.30	c |    149968 |    4854    48387   208477 |   139995   133978    254 |  0.062 % |
218.76/218.84	c |    150161 |    4854    48387   208477 | 2147483647   134171    254 |  0.062 % |
219.36/219.41	c |    150374 |    4854    48387   208477 | 2147483647   134384    254 |  0.062 % |
220.36/220.48	c |    150608 |    4854    48387   208477 | 2147483647   134618    254 |  0.062 % |
221.06/221.21	c |    150872 |    4854    48387   208477 | 2147483647   134882    254 |  0.062 % |
222.06/222.18	c |    151153 |    4854    48387   208477 | 2147483647   135163    254 |  0.062 % |
223.06/223.13	c |    151463 |    4854    48387   208477 | 2147483647   135473    254 |  0.062 % |
223.66/223.77	c |    151803 |    4854    48387   208477 | 2147483647   135813    254 |  0.062 % |
224.86/224.97	c |    152175 |    4854    48387   208477 | 2147483647   136185    254 |  0.062 % |
226.06/226.13	c |    152584 |    4854    48387   208477 | 2147483647   136594    254 |  0.062 % |
226.86/227.00	c |    153034 |    4854    48387   208477 | 2147483647   137044    254 |  0.062 % |
227.77/227.89	c |    153527 |    4854    48387   208477 | 2147483647   137537    254 |  0.062 % |
228.96/229.01	c |    154079 |    4854    48387   208477 | 2147483647   138089    254 |  0.062 % |
230.16/230.25	c |    154675 |    4854    48387   208477 | 2147483647   138685    254 |  0.062 % |
232.26/232.36	c |    155332 |    4854    48387   208477 | 2147483647   139342    254 |  0.062 % |
234.26/234.35	c |    156053 |    4854    48387   208477 | 2147483647   140063    254 |  0.062 % |
236.46/236.57	c |    156845 |    4854    48387   208477 | 2147483647   140855    253 |  0.062 % |
238.06/238.20	c |    157716 |    4854    48387   208477 | 2147483647   141726    253 |  0.062 % |
240.97/241.06	c |    158674 |    4854    48387   208477 | 2147483647   142684    253 |  0.062 % |
243.17/243.27	c |    159727 |    4854    48387   208477 | 2147483647   143737    253 |  0.062 % |
245.26/245.36	c |    160885 |    4854    48387   208477 |   144010   129984    249 |  0.062 % |
247.76/247.81	c |    162158 |    4854    48387   208477 |   144010   131257    249 |  0.062 % |
251.97/252.07	c |    163559 |    4854    48387   208477 |   144010   132658    248 |  0.062 % |
256.27/256.37	c |    165099 |    4854    48387   208477 |   144010   134198    248 |  0.062 % |
261.47/261.55	c |    166802 |    4854    48387   208477 |   144010   135901    247 |  0.062 % |
261.67/261.72	c |    166902 |    4854    48387   208477 |   144010   136001    247 |  0.062 % |
261.87/261.95	c |    167013 |    4854    48387   208477 |   144010   136112    247 |  0.062 % |
262.17/262.23	c |    167141 |    4854    48387   208477 |   144010   136240    247 |  0.062 % |
262.37/262.48	c |    167276 |    4854    48387   208477 |   144010   136375    247 |  0.062 % |
262.67/262.79	c |    167426 |    4854    48387   208477 |   144010   136525    247 |  0.062 % |
263.17/263.24	c |    167587 |    4854    48387   208477 |   144010   136686    247 |  0.062 % |
263.57/263.64	c |    167765 |    4854    48387   208477 |   144010   136864    246 |  0.062 % |
263.87/263.98	c |    167959 |    4854    48387   208477 |   144010   137058    246 |  0.062 % |
264.17/264.28	c |    168171 |    4854    48387   208477 |   144010   137270    246 |  0.062 % |
264.97/265.05	c |    168406 |    4854    48387   208477 |   144010   137505    246 |  0.062 % |
265.77/265.91	c |    168666 |    4854    48387   208477 |   144010   137765    246 |  0.062 % |
266.57/266.68	c |    168947 |    4854    48387   208477 |   144010   138046    246 |  0.062 % |
267.17/267.27	c |    169257 |    4854    48387   208477 |   144010   138356    246 |  0.062 % |
267.77/267.89	c |    169599 |    4854    48387   208477 |   144010   138698    246 |  0.062 % |
268.67/268.76	c |    169971 |    4854    48387   208477 |   144010   139070    246 |  0.062 % |
269.37/269.50	c |    170385 |    4854    48387   208477 |   139099   139484    246 |  0.062 % |
270.37/270.43	c |    170838 |    4854    48387   208477 |   139099   125989    243 |  0.062 % |
271.07/271.17	c |    171332 |    4854    48387   208477 |   139099   126483    243 |  0.062 % |
272.17/272.29	c |    171874 |    4854    48387   208477 |   139099   127025    243 |  0.062 % |
273.17/273.30	c |    172470 |    4854    48387   208477 |   139099   127621    243 |  0.062 % |
274.37/274.51	c |    173128 |    4854    48387   208477 |   139099   128279    243 |  0.062 % |
275.77/275.83	c |    173858 |    4854    48387   208477 |   139099   129009    242 |  0.062 % |
277.57/277.63	c |    174652 |    4854    48387   208477 |   139099   129803    242 |  0.062 % |
279.47/279.60	c |    175524 |    4854    48387   208477 |   139099   130675    242 |  0.062 % |
281.47/281.58	c |    176483 |    4854    48387   208477 |   139099   131634    241 |  0.062 % |
284.97/285.07	c |    177536 |    4854    48387   208477 |   139099   132687    241 |  0.062 % |
287.57/287.66	c |    178694 |    4854    48387   208477 |   139099   133845    241 |  0.062 % |
291.07/291.13	c |    179974 |    4854    48387   208477 |   139099   135125    240 |  0.062 % |
293.77/293.86	c |    181374 |    4854    48387   208477 | 2147483647   136525    240 |  0.062 % |
297.67/297.81	c |    182915 |    4854    48387   208477 | 2147483647   138066    240 |  0.062 % |
302.58/302.68	c |    184611 |    4854    48387   208477 | 2147483647   139762    240 |  0.062 % |
307.37/307.44	c |    186477 |    4854    48387   208477 | 2147483647   141628    240 |  0.062 % |
307.67/307.73	c |    186579 |    4854    48387   208477 | 2147483647   141730    240 |  0.062 % |
308.08/308.19	c |    186690 |    4854    48387   208477 | 2147483647   141841    240 |  0.062 % |
308.27/308.36	c |    186811 |    4854    48387   208477 | 2147483647   141962    240 |  0.062 % |
308.37/308.51	c |    186944 |    4854    48387   208477 | 2147483647   142095    240 |  0.062 % |
308.67/308.77	c |    187094 |    4854    48387   208477 | 2147483647   142245    240 |  0.062 % |
309.37/309.47	c |    187264 |    4854    48387   208477 | 2147483647   142415    239 |  0.062 % |
309.87/309.96	c |    187440 |    4854    48387   208477 | 2147483647   142591    239 |  0.062 % |
310.47/310.52	c |    187634 |    4854    48387   208477 | 2147483647   142785    239 |  0.062 % |
310.77/310.89	c |    187848 |    4854    48387   208477 | 2147483647   142999    239 |  0.062 % |
311.47/311.58	c |    188084 |    4854    48387   208477 | 2147483647   143235    239 |  0.062 % |
312.48/312.52	c |    188340 |    4854    48387   208477 | 2147483647   143491    239 |  0.062 % |
312.87/312.93	c |    188622 |    4854    48387   208477 | 2147483647   143773    239 |  0.062 % |
313.27/313.36	c |    188931 |    4854    48387   208477 | 2147483647   144082    239 |  0.062 % |
314.27/314.35	c |    189273 |    4854    48387   208477 | 2147483647   144424    239 |  0.062 % |
315.27/315.33	c |    189646 |    4854    48387   208477 | 2147483647   144797    239 |  0.062 % |
316.57/316.62	c |    190057 |    4854    48387   208477 |   145151   145208    238 |  0.062 % |
317.98/318.11	c |    190506 |    4854    48387   208477 |   145151   126357    229 |  0.062 % |
318.97/319.02	c |    191004 |    4854    48387   208477 |   145151   126855    229 |  0.062 % |
320.18/320.23	c |    191547 |    4854    48387   208477 |   145151   127398    229 |  0.062 % |
321.47/321.60	c |    192145 |    4854    48387   208477 |   145151   127996    229 |  0.062 % |
322.47/322.57	c |    192800 |    4854    48387   208477 |   145151   128651    229 |  0.062 % |
323.67/323.81	c |    193522 |    4854    48387   208477 |   145151   129373    228 |  0.062 % |
325.07/325.13	c |    194315 |    4854    48387   208477 |   145151   130166    228 |  0.062 % |
326.78/326.82	c |    195186 |    4854    48387   208477 |   145151   131037    228 |  0.062 % |
328.37/328.41	c |    196145 |    4854    48387   208477 |   145151   131996    227 |  0.062 % |
331.07/331.11	c |    197202 |    4854    48387   208477 |   145151   133053    227 |  0.062 % |
333.78/333.89	c |    198363 |    4854    48387   208477 |   145151   134214    226 |  0.062 % |
336.98/337.06	c |    199641 |    4854    48387   208477 |   145151   135492    225 |  0.062 % |
339.48/339.54	c |    201045 |    4854    48387   208477 | 2147483647   136896    224 |  0.062 % |
343.98/344.07	c |    202592 |    4854    48387   208477 | 2147483647   138443    224 |  0.062 % |
348.78/348.84	c |    204286 |    4854    48387   208477 | 2147483647   140137    223 |  0.062 % |
352.08/352.13	c |    206149 |    4854    48387   208477 | 2147483647   142000    223 |  0.062 % |
356.38/356.50	c |    208200 |    4854    48387   208477 | 2147483647   144051    222 |  0.062 % |
356.58/356.64	c |    208302 |    4854    48387   208477 | 2147483647   144153    222 |  0.062 % |
356.68/356.77	c |    208412 |    4854    48387   208477 | 2147483647   144263    222 |  0.062 % |
356.98/357.07	c |    208536 |    4854    48387   208477 | 2147483647   144387    223 |  0.062 % |
357.28/357.37	c |    208669 |    4854    48387   208477 | 2147483647   144520    222 |  0.062 % |
357.48/357.61	c |    208815 |    4854    48387   208477 | 2147483647   144666    222 |  0.062 % |
357.78/357.85	c |    208975 |    4854    48387   208477 | 2147483647   144826    222 |  0.062 % |
357.98/358.08	c |    209155 |    4854    48387   208477 | 2147483647   145006    222 |  0.062 % |
358.28/358.32	c |    209348 |    4854    48387   208477 | 2147483647   145199    222 |  0.062 % |
358.58/358.69	c |    209560 |    4854    48387   208477 | 2147483647   145411    222 |  0.062 % |
359.38/359.43	c |    209797 |    4854    48387   208477 | 2147483647   145648    222 |  0.062 % |
360.28/360.40	c |    210063 |    4854    48387   208477 |   145853   145914    222 |  0.062 % |
361.18/361.27	c |    210346 |    4854    48387   208477 |   145853   126126    208 |  0.062 % |
361.88/361.99	c |    210656 |    4854    48387   208477 |   145853   126436    208 |  0.062 % |
362.38/362.44	c |    210996 |    4854    48387   208477 |   145853   126776    208 |  0.062 % |
363.48/363.60	c |    211376 |    4854    48387   208477 |   145853   127156    208 |  0.062 % |
364.18/364.29	c |    211786 |    4854    48387   208477 |   145853   127566    207 |  0.062 % |
364.68/364.73	c |    212237 |    4854    48387   208477 |   145853   128017    207 |  0.062 % |
365.28/365.33	c |    212732 |    4854    48387   208477 |   145853   128512    207 |  0.062 % |
366.08/366.16	c |    213275 |    4854    48387   208477 |   145853   129055    206 |  0.062 % |
367.68/367.73	c |    213873 |    4854    48387   208477 |   145853   129653    206 |  0.062 % |
368.78/368.84	c |    214529 |    4854    48387   208477 |   145853   130309    206 |  0.062 % |
370.08/370.18	c |    215251 |    4854    48387   208477 |   145853   131031    206 |  0.062 % |
371.18/371.25	c |    216043 |    4854    48387   208477 |   145853   131823    206 |  0.062 % |
373.48/373.58	c |    216919 |    4854    48387   208477 |   145853   132699    205 |  0.062 % |
375.58/375.71	c |    217877 |    4854    48387   208477 |   145853   133657    205 |  0.062 % |
377.78/377.88	c |    218930 |    4854    48387   208477 |   145853   134710    205 |  0.062 % |
381.28/381.33	c |    220097 |    4854    48387   208477 |   135781   135877    204 |  0.062 % |
383.08/383.20	c |    221374 |    4854    48387   208477 |   135781   123214    197 |  0.062 % |
386.08/386.13	c |    222782 |    4854    48387   208477 |   135781   124622    196 |  0.062 % |
389.18/389.27	c |    224322 |    4854    48387   208477 |   135781   126162    195 |  0.062 % |
393.89/393.94	c |    226017 |    4854    48387   208477 |   135781   127857    194 |  0.062 % |
396.58/396.66	c |    227880 |    4854    48387   208477 |   135781   129720    194 |  0.062 % |
400.88/400.91	c |    229933 |    4854    48387   208477 |   135781   131773    193 |  0.062 % |
403.58/403.63	c |    232187 |    4854    48387   208477 | 2147483647   134027    192 |  0.062 % |
403.58/403.70	c |    232288 |    4854    48387   208477 | 2147483647   134128    192 |  0.062 % |
403.68/403.82	c |    232398 |    4854    48387   208477 | 2147483647   134238    192 |  0.062 % |
403.88/403.93	c |    232519 |    4854    48387   208477 | 2147483647   134359    192 |  0.062 % |
404.38/404.47	c |    232652 |    4854    48387   208477 | 2147483647   134492    192 |  0.062 % |
404.78/404.86	c |    232798 |    4854    48387   208477 | 2147483647   134638    192 |  0.062 % |
405.28/405.37	c |    232959 |    4854    48387   208477 | 2147483647   134799    192 |  0.062 % |
405.78/405.88	c |    233137 |    4854    48387   208477 | 2147483647   134977    192 |  0.062 % |
406.48/406.54	c |    233333 |    4854    48387   208477 | 2147483647   135173    192 |  0.062 % |
406.88/406.99	c |    233547 |    4854    48387   208477 | 2147483647   135387    192 |  0.062 % |
407.58/407.65	c |    233781 |    4854    48387   208477 | 2147483647   135621    192 |  0.062 % |
407.88/407.99	c |    234039 |    4854    48387   208477 | 2147483647   135879    193 |  0.062 % |
408.38/408.44	c |    234322 |    4854    48387   208477 | 2147483647   136162    193 |  0.062 % |
408.98/409.07	c |    234634 |    4854    48387   208477 | 2147483647   136474    193 |  0.062 % |
409.98/410.03	c |    234975 |    4854    48387   208477 | 2147483647   136815    193 |  0.062 % |
410.68/410.79	c |    235347 |    4854    48387   208477 | 2147483647   137187    193 |  0.062 % |
411.88/411.95	c |    235761 |    4854    48387   208477 | 2147483647   137601    193 |  0.062 % |
412.98/413.05	c |    236212 |    4854    48387   208477 | 2147483647   138052    193 |  0.062 % |
413.78/413.87	c |    236710 |    4854    48387   208477 | 2147483647   138550    192 |  0.062 % |
414.38/414.43	c |    237259 |    4854    48387   208477 | 2147483647   139099    192 |  0.062 % |
414.88/414.96	c |    237857 |    4854    48387   208477 | 2147483647   139697    192 |  0.062 % |
416.39/416.42	c |    238515 |    4854    48387   208477 | 2147483647   140355    192 |  0.062 % |
417.29/417.41	c |    239240 |    4854    48387   208477 | 2147483647   141080    191 |  0.062 % |
418.69/418.77	c |    240032 |    4854    48387   208477 |   141841   141872    191 |  0.062 % |
419.99/420.07	c |    240905 |    4854    48387   208477 |   141841   127607    181 |  0.062 % |
421.19/421.24	c |    241864 |    4854    48387   208477 |   141841   128566    181 |  0.062 % |
422.99/423.06	c |    242917 |    4854    48387   208477 |   141841   129619    180 |  0.062 % |
424.59/424.63	c |    244075 |    4854    48387   208477 |   141841   130777    180 |  0.062 % |
427.39/427.44	c |    245348 |    4854    48387   208477 |   141841   132050    181 |  0.062 % |
429.19/429.26	c |    246748 |    4854    48387   208477 |   141841   133450    181 |  0.062 % |
432.99/433.11	c |    248290 |    4854    48387   208477 |   141841   134992    182 |  0.062 % |
436.69/436.82	c |    249985 |    4854    48387   208477 |   141841   136687    183 |  0.062 % |
440.09/440.13	c |    251851 |    4854    48387   208477 | 2147483647   138553    183 |  0.062 % |
444.89/444.94	c |    253904 |    4854    48387   208477 | 2147483647   140606    183 |  0.062 % |
450.99/451.06	c |    256157 |    4854    48387   208477 | 2147483647   142859    183 |  0.062 % |
456.29/456.37	c |    258636 |    4854    48387   208477 | 2147483647   145338    182 |  0.062 % |
456.39/456.51	c |    258736 |    4854    48387   208477 | 2147483647   145438    182 |  0.062 % |
456.69/456.74	c |    258846 |    4854    48387   208477 | 2147483647   145548    182 |  0.062 % |
456.79/456.87	c |    258971 |    4854    48387   208477 | 2147483647   145673    182 |  0.062 % |
456.89/456.97	c |    259106 |    4854    48387   208477 | 2147483647   145808    182 |  0.062 % |
457.18/457.22	c |    259252 |    4854    48387   208477 | 2147483647   145954    182 |  0.062 % |
457.48/457.53	c |    259412 |    4854    48387   208477 | 2147483647   146114    182 |  0.062 % |
457.58/457.69	c |    259594 |    4854    48387   208477 | 2147483647   146296    182 |  0.062 % |
457.98/458.07	c |    259787 |    4854    48387   208477 | 2147483647   146489    182 |  0.062 % |
458.38/458.42	c |    259999 |    4854    48387   208477 | 2147483647   146701    182 |  0.062 % |
458.68/458.73	c |    260233 |    4854    48387   208477 |   146702   146935    182 |  0.062 % |
459.18/459.30	c |    260490 |    4854    48387   208477 |   146702   123628    170 |  0.062 % |
459.78/459.89	c |    260773 |    4854    48387   208477 |   146702   123911    170 |  0.062 % |
460.38/460.42	c |    261086 |    4854    48387   208477 |   146702   124224    170 |  0.062 % |
461.28/461.33	c |    261425 |    4854    48387   208477 |   146702   124563    169 |  0.062 % |
462.18/462.26	c |    261797 |    4854    48387   208477 |   146702   124935    169 |  0.062 % |
463.08/463.18	c |    262208 |    4854    48387   208477 |   146702   125346    169 |  0.062 % |
464.08/464.11	c |    262657 |    4854    48387   208477 |   146702   125795    169 |  0.062 % |
465.28/465.39	c |    263154 |    4854    48387   208477 |   146702   126292    169 |  0.062 % |
466.78/466.86	c |    263696 |    4854    48387   208477 |   146702   126834    169 |  0.062 % |
467.59/467.66	c |    264292 |    4854    48387   208477 |   146702   127430    168 |  0.062 % |
469.08/469.15	c |    264947 |    4854    48387   208477 |   146702   128085    168 |  0.062 % |
470.89/470.95	c |    265667 |    4854    48387   208477 |   146702   128805    169 |  0.062 % |
472.98/473.06	c |    266463 |    4854    48387   208477 |   146702   129601    169 |  0.062 % |
475.08/475.18	c |    267336 |    4854    48387   208477 |   146702   130474    169 |  0.062 % |
477.49/477.54	c |    268295 |    4854    48387   208477 |   146702   131433    168 |  0.062 % |
478.98/479.09	c |    269348 |    4854    48387   208477 |   146702   132486    168 |  0.062 % |
481.78/481.82	c |    270510 |    4854    48387   208477 |   133138   110261    158 |  0.062 % |
484.28/484.38	c |    271783 |    4854    48387   208477 |   133138   111534    157 |  0.062 % |
486.88/486.99	c |    273183 |    4854    48387   208477 |   133138   112934    156 |  0.062 % |
489.08/489.17	c |    274728 |    4854    48387   208477 |   133138   114479    156 |  0.062 % |
490.88/490.94	c |    276426 |    4854    48387   208477 |   133138   116177    155 |  0.062 % |
493.48/493.57	c |    278290 |    4854    48387   208477 |   133138   118041    153 |  0.062 % |
496.68/496.76	c |    280344 |    4854    48387   208477 | 2147483647   120095    153 |  0.062 % |
500.39/500.44	c |    282608 |    4854    48387   208477 | 2147483647   122359    152 |  0.062 % |
504.49/504.59	c |    285087 |    4853    48325   208353 | 2147483647   123249    150 |  0.082 % |
509.29/509.35	c |    287814 |    4853    48325   208353 | 2147483647   125976    150 |  0.082 % |
509.49/509.51	c |    287915 |    4853    48325   208353 | 2147483647   126077    150 |  0.082 % |
509.49/509.58	c |    288026 |    4853    48325   208353 | 2147483647   126188    150 |  0.082 % |
509.79/509.88	c |    288147 |    4853    48325   208353 | 2147483647   126309    150 |  0.082 % |
509.89/509.98	c |    288280 |    4853    48325   208353 | 2147483647   126442    150 |  0.082 % |
510.09/510.17	c |    288426 |    4853    48325   208353 | 2147483647   126588    150 |  0.082 % |
510.29/510.35	c |    288586 |    4853    48325   208353 | 2147483647   126748    150 |  0.082 % |
510.69/510.80	c |    288766 |    4853    48325   208353 | 2147483647   126928    150 |  0.082 % |
511.09/511.19	c |    288962 |    4853    48325   208353 | 2147483647   127124    150 |  0.082 % |
511.69/511.79	c |    289174 |    4853    48325   208353 | 2147483647   127336    150 |  0.082 % |
512.19/512.25	c |    289408 |    4853    48325   208353 | 2147483647   127570    149 |  0.082 % |
512.69/512.81	c |    289666 |    4853    48325   208353 | 2147483647   127828    149 |  0.082 % |
513.19/513.22	c |    289947 |    4853    48325   208353 | 2147483647   128109    149 |  0.082 % |
513.79/513.82	c |    290257 |    4853    48325   208353 | 2147483647   128419    149 |  0.082 % |
514.29/514.32	c |    290599 |    4853    48325   208353 | 2147483647   128761    149 |  0.082 % |
515.09/515.17	c |    290975 |    4853    48325   208353 | 2147483647   129137    149 |  0.082 % |
515.89/515.98	c |    291387 |    4853    48325   208353 | 2147483647   129549    149 |  0.082 % |
517.09/517.12	c |    291837 |    4853    48325   208353 | 2147483647   129999    148 |  0.082 % |
518.09/518.15	c |    292330 |    4853    48325   208353 | 2147483647   130492    148 |  0.082 % |
519.09/519.12	c |    292872 |    4853    48325   208353 | 2147483647   131034    148 |  0.082 % |
520.09/520.13	c |    293471 |    4853    48325   208353 | 2147483647   131633    147 |  0.082 % |
521.09/521.16	c |    294127 |    4853    48325   208353 | 2147483647   132289    147 |  0.082 % |
522.19/522.22	c |    294847 |    4853    48325   208353 | 2147483647   133009    146 |  0.082 % |
523.39/523.42	c |    295641 |    4853    48325   208353 | 2147483647   133803    146 |  0.082 % |
524.79/524.84	c |    296512 |    4853    48325   208353 | 2147483647   134674    146 |  0.082 % |
526.39/526.44	c |    297473 |    4853    48325   208353 | 2147483647   135635    146 |  0.082 % |
528.49/528.55	c |    298529 |    4853    48325   208353 | 2147483647   136691    145 |  0.082 % |
529.99/530.06	c |    299689 |    4853    48325   208353 | 2147483647   137851    145 |  0.082 % |
531.39/531.48	c |    300963 |    4853    48325   208353 | 2147483647   139125    144 |  0.082 % |
533.09/533.16	c |    302363 |    4853    48325   208353 | 2147483647   140525    143 |  0.082 % |
535.19/535.30	c |    303903 |    4853    48325   208353 | 2147483647   142065    142 |  0.082 % |
537.49/537.59	c |    305597 |    4853    48325   208353 | 2147483647   143759    141 |  0.082 % |
538.29/538.41	c ===============================================================================
538.29/538.41	c restarts              : 699
538.29/538.41	c conflicts             : 306026         (571 /sec)
538.29/538.41	c decisions             : 1007592        (1.62 % random) (1879 /sec)
538.29/538.41	c propagations          : 91278143       (170241 /sec)
538.29/538.41	c conflict literals     : 63324032       (34.50 % deleted)
538.29/538.41	c Memory used           : 155.95 MB
538.29/538.41	c CPU time              : 536.17 s
538.29/538.41	c 
538.29/538.41	s UNSATISFIABLE
538.39/538.42	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.78 0.96 0.98 2/93 30323
/proc/meminfo: memFree=1148588/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2416 CPUtime=0
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 366 649 0 0 0 0 0 0 18 0 1 0 1012930255 2473984 277 4294967295 134512640 135169312 3216785168 3216783704 3084893934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30323/statm: 604 277 235 161 0 43 0
[pid=30327] ppid=30323 vsize=948 CPUtime=0
/proc/30327/stat : 30327 (SatELite_releas) R 30323 30323 20977 0 -1 4202496 105 0 0 0 0 0 0 0 20 0 1 0 1012930255 970752 41 4294967295 134512640 135223648 3214791968 3214791036 134525680 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30327/statm: 237 49 40 174 0 62 0

[startup+0.124816 s]
/proc/loadavg: 0.78 0.96 0.98 2/93 30323
/proc/meminfo: memFree=1148588/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2416 CPUtime=0
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 366 649 0 0 0 0 0 0 18 0 1 0 1012930255 2473984 277 4294967295 134512640 135169312 3216785168 3216783704 3084893934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30323/statm: 604 277 235 161 0 43 0
[pid=30327] ppid=30323 vsize=19196 CPUtime=0.13
/proc/30327/stat : 30327 (SatELite_releas) R 30323 30323 20977 0 -1 4202496 4385 0 0 0 11 2 0 0 21 0 1 0 1012930255 19656704 4087 4294967295 134512640 135223648 3214791968 3214789904 134577134 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30327/statm: 4799 4087 71 174 0 4624 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 21612

[startup+0.214859 s]
/proc/loadavg: 0.78 0.96 0.98 2/93 30323
/proc/meminfo: memFree=1148588/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2416 CPUtime=0
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 366 649 0 0 0 0 0 0 18 0 1 0 1012930255 2473984 277 4294967295 134512640 135169312 3216785168 3216783704 3084893934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30323/statm: 604 277 235 161 0 43 0
[pid=30327] ppid=30323 vsize=20300 CPUtime=0.22
/proc/30327/stat : 30327 (SatELite_releas) R 30323 30323 20977 0 -1 4202496 4660 0 0 0 20 2 0 0 21 0 1 0 1012930255 20787200 4283 4294967295 134512640 135223648 3214791968 3214789968 134548494 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30327/statm: 5075 4283 73 174 0 4900 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 22716

[startup+0.314794 s]
/proc/loadavg: 0.78 0.96 0.98 2/93 30323
/proc/meminfo: memFree=1148588/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2416 CPUtime=0
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 366 649 0 0 0 0 0 0 18 0 1 0 1012930255 2473984 277 4294967295 134512640 135169312 3216785168 3216783704 3084893934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30323/statm: 604 277 235 161 0 43 0
[pid=30327] ppid=30323 vsize=20300 CPUtime=0.32
/proc/30327/stat : 30327 (SatELite_releas) R 30323 30323 20977 0 -1 4202496 4674 0 0 0 30 2 0 0 21 0 1 0 1012930255 20787200 4297 4294967295 134512640 135223648 3214791968 3214789968 134548993 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30327/statm: 5075 4297 73 174 0 4900 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 22716

[startup+0.714754 s]
/proc/loadavg: 0.78 0.96 0.98 2/93 30323
/proc/meminfo: memFree=1148588/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2416 CPUtime=0
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 366 649 0 0 0 0 0 0 18 0 1 0 1012930255 2473984 277 4294967295 134512640 135169312 3216785168 3216783704 3084893934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30323/statm: 604 277 235 161 0 43 0
[pid=30327] ppid=30323 vsize=21372 CPUtime=0.72
/proc/30327/stat : 30327 (SatELite_releas) R 30323 30323 20977 0 -1 4202496 4887 0 0 0 67 5 0 0 22 0 1 0 1012930255 21884928 4510 4294967295 134512640 135223648 3214791968 3214789968 134548289 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30327/statm: 5343 4510 73 174 0 5168 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 23788

[startup+1.51468 s]
/proc/loadavg: 0.78 0.96 0.98 3/95 30328
/proc/meminfo: memFree=1124532/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2416 CPUtime=0
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 366 649 0 0 0 0 0 0 18 0 1 0 1012930255 2473984 277 4294967295 134512640 135169312 3216785168 3216783704 3084893934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30323/statm: 604 277 235 161 0 43 0
[pid=30327] ppid=30323 vsize=22496 CPUtime=1.52
/proc/30327/stat : 30327 (SatELite_releas) R 30323 30323 20977 0 -1 4202496 5214 0 0 0 145 7 0 0 25 0 1 0 1012930255 23035904 4837 4294967295 134512640 135223648 3214791968 3214789804 134713978 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30327/statm: 5624 4837 73 174 0 5449 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 24912

[startup+3.11453 s]
/proc/loadavg: 0.78 0.96 0.98 2/95 30329
/proc/meminfo: memFree=1134204/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=6548 CPUtime=1.14
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 1557 0 0 0 113 1 0 0 25 0 1 0 1012930451 6705152 1491 4294967295 134512640 135215339 3213640800 3213638800 134532646 0 0 0 3 0 0 0 17 1 0 0 0
/proc/30329/statm: 1637 1491 73 172 0 1464 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 8968

[startup+6.32421 s]
/proc/loadavg: 0.80 0.96 0.98 2/95 30330
/proc/meminfo: memFree=1127384/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=13244 CPUtime=4.32
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 3225 0 0 0 431 1 0 0 25 0 1 0 1012930451 13561856 3159 4294967295 134512640 135215339 3213640800 3213638800 134532964 0 0 0 3 0 0 0 17 1 0 0 0
/proc/30329/statm: 3311 3159 73 172 0 3138 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15664

[startup+12.7236 s]
/proc/loadavg: 0.81 0.96 0.98 2/95 30331
/proc/meminfo: memFree=1117304/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=23280 CPUtime=10.69
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 5752 0 0 0 1066 3 0 0 25 0 1 0 1012930451 23838720 5686 4294967295 134512640 135215339 3213640800 3213639088 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 5820 5686 73 172 0 5647 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 25700

[startup+25.5223 s]
/proc/loadavg: 0.85 0.96 0.98 2/95 30331
/proc/meminfo: memFree=1097776/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=42532 CPUtime=23.49
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 10545 0 0 0 2340 9 0 0 25 0 1 0 1012930451 43552768 10479 4294967295 134512640 135215339 3213640800 3213639088 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 10633 10479 73 172 0 10460 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 44952

[startup+51.1198 s]
/proc/loadavg: 0.90 0.97 0.98 2/95 30516
/proc/meminfo: memFree=1071156/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=68956 CPUtime=49.09
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 17134 0 0 0 4898 11 0 0 25 0 1 0 1012930451 70610944 17068 4294967295 134512640 135215339 3213640800 3213639088 134529051 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 17239 17068 73 172 0 17066 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 71376

[startup+102.315 s]
/proc/loadavg: 0.96 0.97 0.98 2/95 30520
/proc/meminfo: memFree=1032360/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=107632 CPUtime=100.29
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 26777 0 0 0 10010 19 0 0 25 0 1 0 1012930451 110215168 26711 4294967295 134512640 135215339 3213640800 3213639016 134721382 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 26908 26711 73 172 0 26735 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 110052

[startup+162.309 s]
/proc/loadavg: 0.98 0.97 0.98 2/95 30712
/proc/meminfo: memFree=998848/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=141012 CPUtime=160.29
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 35134 0 0 0 16004 25 0 0 25 0 1 0 1012930451 144396288 35068 4294967295 134512640 135215339 3213640800 3213638800 134532664 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 35253 35068 73 172 0 35080 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 143432

[startup+222.323 s]
/proc/loadavg: 0.99 0.97 0.98 3/95 30899
/proc/meminfo: memFree=983224/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=156576 CPUtime=220.31
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 38956 0 0 0 22006 25 0 0 25 0 1 0 1012930451 160333824 38890 4294967295 134512640 135215339 3213640800 3213639088 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 39144 38890 73 172 0 38971 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 158996

[startup+282.317 s]
/proc/loadavg: 1.03 0.99 0.99 3/95 31086
/proc/meminfo: memFree=981000/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159120 CPUtime=280.31
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39580 0 0 0 28006 25 0 0 25 0 1 0 1012930451 162938880 39514 4294967295 134512640 135215339 3213640800 3213639088 134528849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 39780 39514 73 172 0 39607 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 161540

[startup+342.321 s]
/proc/loadavg: 1.01 0.99 0.99 3/95 31279
/proc/meminfo: memFree=980496/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159284 CPUtime=340.32
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39618 0 0 0 34007 25 0 0 25 0 1 0 1012930451 163106816 39552 4294967295 134512640 135215339 3213640800 3213639088 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 39821 39552 73 172 0 39648 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 161704

[startup+402.315 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 31466
/proc/meminfo: memFree=980100/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159448 CPUtime=400.32
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39658 0 0 0 40007 25 0 0 25 0 1 0 1012930451 163274752 39592 4294967295 134512640 135215339 3213640800 3213639088 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 39862 39592 73 172 0 39689 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 161868

[startup+462.309 s]
/proc/loadavg: 1.10 1.02 1.00 2/95 31655
/proc/meminfo: memFree=980108/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159692 CPUtime=460.32
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39715 0 0 0 46007 25 0 0 25 0 1 0 1012930451 163524608 39649 4294967295 134512640 135215339 3213640800 3213639088 134528863 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 39923 39649 73 172 0 39750 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 162112

[startup+522.314 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 31842
/proc/meminfo: memFree=979876/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159692 CPUtime=520.33
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39725 0 0 0 52008 25 0 0 25 0 1 0 1012930451 163524608 39659 4294967295 134512640 135215339 3213640800 3213639088 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 39923 39659 73 172 0 39750 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 162112

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

[startup+524.813 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 31842
/proc/meminfo: memFree=979876/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159692 CPUtime=522.83
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39725 0 0 0 52258 25 0 0 25 0 1 0 1012930451 163524608 39659 4294967295 134512640 135215339 3213640800 3213639088 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30329/statm: 39923 39659 73 172 0 39750 0
Current children cumulated CPU time (s) 524.79
Current children cumulated vsize (KiB) 162112

[startup+531.213 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 32026
/proc/meminfo: memFree=979504/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159692 CPUtime=529.23
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39725 0 0 0 52898 25 0 0 25 0 1 0 1012930451 163524608 39659 4294967295 134512640 135215339 3213640800 3213639088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30329/statm: 39923 39659 73 172 0 39750 0
Current children cumulated CPU time (s) 531.19
Current children cumulated vsize (KiB) 162112

[startup+534.412 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 32026
/proc/meminfo: memFree=979520/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159692 CPUtime=532.43
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39728 0 0 0 53218 25 0 0 25 0 1 0 1012930451 163524608 39662 4294967295 134512640 135215339 3213640800 3213639088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30329/statm: 39923 39662 73 172 0 39750 0
Current children cumulated CPU time (s) 534.39
Current children cumulated vsize (KiB) 162112

[startup+536.012 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 32027
/proc/meminfo: memFree=979552/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159692 CPUtime=534.03
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39730 0 0 0 53378 25 0 0 25 0 1 0 1012930451 163524608 39664 4294967295 134512640 135215339 3213640800 3213639088 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30329/statm: 39923 39664 73 172 0 39750 0
Current children cumulated CPU time (s) 535.99
Current children cumulated vsize (KiB) 162112

[startup+537.612 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 32027
/proc/meminfo: memFree=979552/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159692 CPUtime=535.63
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39735 0 0 0 53538 25 0 0 25 0 1 0 1012930451 163524608 39669 4294967295 134512640 135215339 3213640800 3213639088 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30329/statm: 39923 39669 73 172 0 39750 0
Current children cumulated CPU time (s) 537.59
Current children cumulated vsize (KiB) 162112

[startup+538.012 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 32027
/proc/meminfo: memFree=979616/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=159692 CPUtime=536.03
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202496 39735 0 0 0 53578 25 0 0 25 0 1 0 1012930451 163524608 39669 4294967295 134512640 135215339 3213640800 3213639088 134528884 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30329/statm: 39923 39669 73 172 0 39750 0
Current children cumulated CPU time (s) 537.99
Current children cumulated vsize (KiB) 162112

[startup+538.412 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 32027
/proc/meminfo: memFree=979616/2074464 swapFree=1951864/1959888
[pid=30323] ppid=30321 vsize=2420 CPUtime=1.96
/proc/30323/stat : 30323 (SatELiteGTI) S 30321 30323 20977 0 -1 4194304 386 6626 0 0 0 0 187 9 20 0 1 0 1012930255 2478080 279 4294967295 134512640 135169312 3216785168 3216781384 3084893934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30323/statm: 605 279 235 161 0 44 0
[pid=30329] ppid=30323 vsize=0 CPUtime=536.43
/proc/30329/stat : 30329 (minisat_static) R 30323 30323 20977 0 -1 4202500 39742 0 0 0 53617 26 0 0 25 0 1 0 1012930451 0 0 4294967295 0 0 0 0 0 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30329/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 538.39
Current children cumulated vsize (KiB) 2420

Child status: 20
Real time (s): 538.43
CPU time (s): 538.4
CPU user time (s): 538.04
CPU system time (s): 0.36
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 162112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 538.04
system time used= 0.36
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47027
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= 20
involuntary context switches= 2485

runsolver used 0 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-16 16:31:32
IDJOB=1820878
IDBENCH=70758
IDSOLVER=657
FILE ID=tipi10/1820878-1242484292
PBS_JOBID=
Free space on /tmp= 4318 MiB

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

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

MD5SUM BENCH= 1394bf507e3ed448c81b5502d6550d78
RANDOM SEED= 1989140891

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1148588 kB
Buffers:         19640 kB
Cached:         800116 kB
SwapCached:       2724 kB
Active:         432948 kB
Inactive:       396536 kB
HighTotal:     1178688 kB
HighFree:       523628 kB
LowTotal:       895776 kB
LowFree:        624960 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:            3708 kB
Writeback:           0 kB
AnonPages:        9260 kB
Mapped:           3188 kB
Slab:            87416 kB
PageTables:        532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4318 MiB
End job on tipi10 at 2009-05-16 16:40:31