Trace number 1820620

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-18SAT 219.11 219.1

General information on the benchmark

Nameindustrial/grieu/
vmpc_26.cnf
MD5SUM7e9eba7a609bdbcf7c3a7e0f5c07ab04
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.01
Satisfiable
(Un)Satisfiability was proved
Number of variables676
Number of clauses86424
Sum of the clauses size226590
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 233878
Number of clauses of size 352494
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 552

Solver Data

0.00/0.00	c Parsing...
0.00/0.05	c ==============================================================================
0.00/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |   86424   226590 |   25927       0        0     nan |  0.000 % |
0.00/0.06	c ==============================================================================
0.00/0.06	c Result  :   #vars: 676   #clauses: 86424   #literals: 226590
0.00/0.06	c CPU time:   0.05 s
0.00/0.06	c ==============================================================================
0.11/0.13	c This is MiniSat 2.0 beta
0.11/0.13	c WARNING: for repeatability, setting FPU to use double precision
0.11/0.13	c ============================[ Problem Statistics ]=============================
0.11/0.13	c |                                                                             |
0.11/0.13	c |  Number of variables:  676                                                  |
0.11/0.13	c |  Number of clauses:    86424                                                |
0.11/0.17	c |  Parsing time:         0.04         s                                       |
0.11/0.18	c ============================[ Search Statistics ]==============================
0.11/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.11/0.18	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.11/0.18	c ===============================================================================
0.11/0.18	c |         0 |     676    86424   226590 |    28808        0    nan |  0.000 % |
0.11/0.20	c |       100 |     676    86424   226590 |    28808      100     49 |  0.000 % |
0.11/0.21	c |       201 |     676    86424   226590 |    28808      201     35 |  0.014 % |
0.13/0.22	c |       301 |     676    86424   226590 |    28808      301     32 |  0.014 % |
0.13/0.23	c |       411 |     676    86424   226590 |    28808      411     29 |  0.015 % |
0.13/0.24	c |       511 |     676    86424   226590 |    28808      511     29 |  0.014 % |
0.13/0.26	c |       621 |     676    86424   226590 |    28808      621     42 |  0.000 % |
0.13/0.27	c |       742 |     676    86424   226590 |    28808      742     41 |  0.000 % |
0.13/0.28	c |       846 |     676    86424   226590 |    28808      846     40 |  0.000 % |
0.13/0.29	c |       958 |     676    86424   226590 |    28808      958     38 |  0.014 % |
0.13/0.30	c |      1079 |     676    86424   226590 |    28808     1079     37 |  0.014 % |
0.13/0.32	c |      1212 |     676    86424   226590 |    28808     1212     41 |  0.000 % |
0.13/0.33	c |      1313 |     676    86424   226590 |    28808     1313     41 |  0.000 % |
0.13/0.34	c |      1424 |     676    86424   226590 |    28808     1424     39 |  0.013 % |
0.13/0.35	c |      1546 |     676    86424   226590 |    28808     1546     39 |  0.000 % |
0.13/0.36	c |      1679 |     676    86424   226590 |    28808     1679     41 |  0.000 % |
0.13/0.38	c |      1826 |     676    86424   226590 |    28808     1826     40 |  0.014 % |
0.13/0.39	c |      1928 |     676    86424   226590 |    28808     1928     39 |  0.000 % |
0.13/0.41	c |      2040 |     676    86424   226590 |    28808     2040     38 |  0.013 % |
0.13/0.42	c |      2163 |     676    86424   226590 |    28808     2163     40 |  0.000 % |
0.13/0.44	c |      2296 |     676    86424   226590 |    28808     2296     40 |  0.000 % |
0.13/0.45	c |      2442 |     676    86424   226590 |    28808     2442     39 |  0.013 % |
0.13/0.47	c |      2602 |     676    86424   226590 |    28808     2602     38 |  0.013 % |
0.13/0.48	c |      2703 |     676    86424   226590 |    28808     2703     37 |  0.013 % |
0.13/0.50	c |      2814 |     676    86424   226590 |    28808     2814     37 |  0.013 % |
0.13/0.51	c |      2936 |     676    86424   226590 |    28808     2936     36 |  0.013 % |
0.13/0.53	c |      3070 |     676    86424   226590 |    28808     3070     35 |  0.013 % |
0.13/0.54	c |      3216 |     676    86424   226590 |    28808     3216     37 |  0.000 % |
0.13/0.56	c |      3379 |     676    86424   226590 |    28808     3379     36 |  0.000 % |
0.13/0.58	c |      3556 |     676    86424   226590 |    28808     3556     36 |  0.013 % |
0.13/0.59	c |      3656 |     676    86424   226590 |    28808     3656     37 |  0.000 % |
0.13/0.61	c |      3768 |     676    86424   226590 |    28808     3768     37 |  0.000 % |
0.13/0.62	c |      3889 |     676    86424   226590 |    28808     3889     37 |  0.000 % |
0.13/0.64	c |      4023 |     676    86424   226590 |    28808     4023     36 |  0.014 % |
0.13/0.66	c |      4170 |     676    86424   226590 |    28808     4170     38 |  0.000 % |
0.13/0.68	c |      4330 |     676    86424   226590 |    28808     4330     38 |  0.000 % |
0.13/0.70	c |      4507 |     676    86424   226590 |    28808     4507     37 |  0.014 % |
0.13/0.72	c |      4700 |     676    86424   226590 |    28808     4700     39 |  0.000 % |
0.13/0.73	c |      4803 |     676    86424   226590 |    28808     4803     39 |  0.000 % |
0.13/0.75	c |      4913 |     676    86424   226590 |    28808     4913     39 |  0.014 % |
0.13/0.76	c |      5038 |     676    86424   226590 |    28808     5038     38 |  0.014 % |
0.13/0.78	c |      5173 |     676    86424   226590 |    28808     5173     40 |  0.000 % |
0.13/0.80	c |      5322 |     676    86424   226590 |    28808     5322     41 |  0.014 % |
0.13/0.82	c |      5482 |     676    86424   226590 |    28808     5482     40 |  0.014 % |
0.13/0.84	c |      5658 |     676    86424   226590 |    28808     5658     40 |  0.014 % |
0.13/0.87	c |      5853 |     676    86424   226590 |    28808     5853     39 |  0.014 % |
0.13/0.90	c |      6066 |     676    86424   226590 |    28808     6066     39 |  0.014 % |
0.13/0.91	c |      6166 |     676    86424   226590 |    28808     6166     39 |  0.000 % |
0.13/0.92	c |      6277 |     676    86424   226590 |    28808     6277     40 |  0.014 % |
0.13/0.94	c |      6400 |     676    86424   226590 |    28808     6400     39 |  0.014 % |
0.13/0.96	c |      6534 |     676    86424   226590 |    28808     6534     39 |  0.014 % |
0.13/0.98	c |      6680 |     676    86424   226590 |    28808     6680     40 |  0.000 % |
0.13/1.00	c |      6844 |     676    86424   226590 |    28808     6844     40 |  0.000 % |
0.13/1.03	c |      7020 |     676    86424   226590 |    28808     7020     40 |  0.014 % |
0.13/1.06	c |      7213 |     676    86424   226590 |    28808     7213     41 |  0.000 % |
0.13/1.09	c |      7429 |     675    86174   225942 |    28808     7428     41 |  0.162 % |
1.12/1.13	c |      7665 |     675    86174   225942 |    28808     7664     40 |  0.162 % |
1.12/1.14	c |      7768 |     675    86174   225942 |    28808     7767     40 |  0.162 % |
1.12/1.16	c |      7879 |     675    86174   225942 |    28808     7878     40 |  0.162 % |
1.12/1.18	c |      8003 |     675    86174   225942 |    28808     8002     40 |  0.162 % |
1.12/1.20	c |      8137 |     675    86174   225942 |    28808     8136     41 |  0.148 % |
1.12/1.22	c |      8286 |     675    86174   225942 |    28808     8285     41 |  0.148 % |
1.23/1.24	c |      8450 |     675    86174   225942 |    28808     8449     41 |  0.162 % |
1.23/1.27	c |      8627 |     675    86174   225942 |    28808     8626     40 |  0.162 % |
1.23/1.30	c |      8820 |     675    86174   225942 |    28808     8819     40 |  0.162 % |
1.32/1.34	c |      9033 |     675    86174   225942 |    28808     9032     40 |  0.148 % |
1.32/1.37	c |      9269 |     675    86174   225942 |    28808     9268     40 |  0.148 % |
1.32/1.40	c |      9525 |     675    86174   225942 |    28808     9524     40 |  0.148 % |
1.42/1.42	c |      9625 |     675    86174   225942 |    28808     9624     40 |  0.148 % |
1.42/1.44	c |      9735 |     675    86174   225942 |    28808     9734     40 |  0.162 % |
1.42/1.46	c |      9856 |     675    86174   225942 |    28808     9855     40 |  0.162 % |
1.42/1.48	c |      9990 |     675    86174   225942 |    28808     9989     40 |  0.162 % |
1.52/1.51	c |     10136 |     675    86174   225942 | 2147483647    10135     40 |  0.162 % |
1.52/1.54	c |     10296 |     675    86174   225942 | 2147483647    10295     39 |  0.162 % |
1.52/1.57	c |     10473 |     675    86174   225942 | 2147483647    10472     39 |  0.162 % |
1.52/1.60	c |     10668 |     675    86174   225942 | 2147483647    10667     39 |  0.163 % |
1.62/1.64	c |     10880 |     675    86174   225942 | 2147483647    10879     38 |  0.162 % |
1.62/1.67	c |     11115 |     675    86174   225942 | 2147483647    11114     38 |  0.163 % |
1.72/1.72	c |     11375 |     675    86174   225942 | 2147483647    11374     38 |  0.162 % |
1.72/1.77	c |     11657 |     675    86174   225942 | 2147483647    11656     37 |  0.162 % |
1.72/1.80	c |     11757 |     675    86174   225942 | 2147483647    11756     37 |  0.163 % |
1.72/1.81	c |     11867 |     675    86174   225942 | 2147483647    11866     37 |  0.163 % |
1.82/1.83	c |     11989 |     675    86174   225942 | 2147483647    11988     37 |  0.163 % |
1.82/1.86	c |     12128 |     675    86174   225942 | 2147483647    12127     37 |  0.162 % |
1.82/1.88	c |     12274 |     675    86174   225942 | 2147483647    12273     36 |  0.163 % |
1.82/1.91	c |     12434 |     675    86174   225942 | 2147483647    12433     36 |  0.163 % |
1.92/1.94	c |     12610 |     675    86174   225942 | 2147483647    12609     36 |  0.163 % |
1.92/1.97	c |     12805 |     675    86174   225942 | 2147483647    12804     36 |  0.162 % |
1.92/2.01	c |     13018 |     675    86174   225942 | 2147483647    13017     36 |  0.162 % |
2.02/2.04	c |     13252 |     675    86174   225942 | 2147483647    13251     36 |  0.148 % |
2.02/2.09	c |     13510 |     675    86174   225942 | 2147483647    13509     36 |  0.162 % |
2.12/2.13	c |     13793 |     675    86174   225942 | 2147483647    13792     37 |  0.148 % |
2.12/2.19	c |     14106 |     675    86174   225942 | 2147483647    14105     37 |  0.148 % |
2.12/2.20	c |     14207 |     675    86174   225942 | 2147483647    14206     37 |  0.162 % |
2.22/2.23	c |     14317 |     675    86174   225942 | 2147483647    14316     37 |  0.162 % |
2.22/2.25	c |     14440 |     675    86174   225942 | 2147483647    14439     37 |  0.161 % |
2.22/2.27	c |     14573 |     675    86174   225942 | 2147483647    14572     37 |  0.161 % |
2.22/2.30	c |     14719 |     675    86174   225942 | 2147483647    14718     37 |  0.148 % |
2.33/2.33	c |     14879 |     675    86174   225942 | 2147483647    14878     37 |  0.162 % |
2.33/2.36	c |     15056 |     675    86174   225942 | 2147483647    15055     37 |  0.162 % |
2.33/2.40	c |     15249 |     675    86174   225942 | 2147483647    15248     37 |  0.148 % |
2.42/2.43	c |     15461 |     675    86174   225942 | 2147483647    15460     38 |  0.148 % |
2.42/2.48	c |     15694 |     675    86174   225942 | 2147483647    15693     38 |  0.162 % |
2.52/2.53	c |     15955 |     675    86174   225942 | 2147483647    15954     38 |  0.162 % |
2.52/2.58	c |     16238 |     675    86174   225942 | 2147483647    16237     38 |  0.162 % |
2.62/2.64	c |     16549 |     675    86174   225942 | 2147483647    16548     37 |  0.162 % |
2.62/2.71	c |     16892 |     675    86174   225942 | 2147483647    16891     38 |  0.148 % |
2.72/2.73	c |     16994 |     675    86174   225942 | 2147483647    16993     38 |  0.162 % |
2.72/2.75	c |     17104 |     675    86174   225942 | 2147483647    17103     38 |  0.162 % |
2.72/2.77	c |     17227 |     675    86174   225942 | 2147483647    17226     38 |  0.162 % |
2.72/2.80	c |     17360 |     675    86174   225942 | 2147483647    17359     38 |  0.161 % |
2.82/2.82	c |     17506 |     675    86174   225942 | 2147483647    17505     38 |  0.162 % |
2.82/2.86	c |     17666 |     675    86174   225942 | 2147483647    17665     38 |  0.148 % |
2.82/2.89	c |     17842 |     675    86174   225942 | 2147483647    17841     38 |  0.162 % |
2.92/2.92	c |     18038 |     675    86174   225942 | 2147483647    18037     38 |  0.162 % |
2.92/2.97	c |     18250 |     675    86174   225942 | 2147483647    18249     38 |  0.148 % |
2.92/3.01	c |     18484 |     675    86174   225942 | 2147483647    18483     38 |  0.148 % |
3.02/3.06	c |     18740 |     675    86174   225942 | 2147483647    18739     38 |  0.162 % |
3.12/3.12	c |     19021 |     675    86174   225942 | 2147483647    19020     38 |  0.148 % |
3.12/3.18	c |     19331 |     675    86174   225942 | 2147483647    19330     39 |  0.148 % |
3.22/3.27	c |     19673 |     675    86174   225942 | 2147483647    19672     39 |  0.148 % |
3.32/3.35	c |     20046 |     675    86174   225942 | 2147483647    20045     38 |  0.162 % |
3.32/3.37	c |     20148 |     675    86174   225942 | 2147483647    20147     39 |  0.148 % |
3.32/3.40	c |     20262 |     675    86174   225942 | 2147483647    20261     38 |  0.162 % |
3.43/3.43	c |     20386 |     675    86174   225942 | 2147483647    20385     38 |  0.162 % |
3.43/3.46	c |     20521 |     675    86174   225942 | 2147483647    20520     38 |  0.162 % |
3.43/3.50	c |     20668 |     675    86174   225942 | 2147483647    20667     38 |  0.148 % |
3.52/3.53	c |     20828 |     675    86174   225942 | 2147483647    20827     38 |  0.162 % |
3.52/3.57	c |     21005 |     675    86174   225942 | 2147483647    21004     38 |  0.162 % |
3.62/3.62	c |     21198 |     675    86174   225942 | 2147483647    21197     38 |  0.148 % |
3.62/3.66	c |     21410 |     675    86174   225942 | 2147483647    21409     38 |  0.162 % |
3.62/3.71	c |     21643 |     675    86174   225942 | 2147483647    21642     38 |  0.148 % |
3.72/3.76	c |     21902 |     675    86174   225942 | 2147483647    21901     38 |  0.162 % |
3.82/3.84	c |     22186 |     675    86174   225942 | 2147483647    22185     38 |  0.148 % |
3.82/3.91	c |     22495 |     675    86174   225942 | 2147483647    22494     38 |  0.162 % |
3.92/3.99	c |     22834 |     675    86174   225942 | 2147483647    22833     38 |  0.162 % |
4.02/4.08	c |     23208 |     675    86174   225942 | 2147483647    23207     37 |  0.162 % |
4.12/4.18	c |     23618 |     675    86174   225942 | 2147483647    23617     37 |  0.162 % |
4.12/4.20	c |     23721 |     675    86174   225942 | 2147483647    23720     37 |  0.163 % |
4.22/4.23	c |     23831 |     675    86174   225942 | 2147483647    23830     37 |  0.162 % |
4.22/4.26	c |     23953 |     675    86174   225942 | 2147483647    23952     37 |  0.162 % |
4.22/4.29	c |     24089 |     675    86174   225942 | 2147483647    24088     37 |  0.148 % |
4.32/4.33	c |     24235 |     675    86174   225942 | 2147483647    24234     37 |  0.148 % |
4.32/4.36	c |     24396 |     675    86174   225942 | 2147483647    24395     37 |  0.148 % |
4.32/4.40	c |     24573 |     675    86174   225942 | 2147483647    24572     37 |  0.162 % |
4.42/4.44	c |     24766 |     675    86174   225942 | 2147483647    24765     37 |  0.148 % |
4.42/4.48	c |     24980 |     675    86174   225942 | 2147483647    24979     37 |  0.162 % |
4.53/4.54	c |     25214 |     675    86174   225942 | 2147483647    25213     37 |  0.163 % |
4.53/4.60	c |     25470 |     675    86174   225942 | 2147483647    25469     37 |  0.162 % |
4.62/4.68	c |     25751 |     675    86174   225942 | 2147483647    25750     37 |  0.162 % |
4.72/4.75	c |     26061 |     675    86174   225942 | 2147483647    26060     37 |  0.162 % |
4.82/4.82	c |     26404 |     675    86174   225942 | 2147483647    26403     38 |  0.148 % |
4.92/4.92	c |     26776 |     675    86174   225942 | 2147483647    26775     38 |  0.162 % |
5.02/5.02	c |     27185 |     675    86174   225942 | 2147483647    27184     38 |  0.162 % |
5.12/5.13	c |     27634 |     675    86174   225942 | 2147483647    27633     38 |  0.162 % |
5.12/5.16	c |     27735 |     675    86174   225942 | 2147483647    27734     38 |  0.162 % |
5.12/5.18	c |     27848 |     675    86174   225942 | 2147483647    27847     38 |  0.162 % |
5.22/5.22	c |     27970 |     675    86174   225942 | 2147483647    27969     37 |  0.162 % |
5.22/5.25	c |     28103 |     675    86174   225942 | 2147483647    28102     37 |  0.162 % |
5.22/5.28	c |     28251 |     675    86174   225942 | 2147483647    28250     37 |  0.162 % |
5.32/5.32	c |     28411 |     675    86174   225942 | 2147483647    28410     37 |  0.162 % |
5.32/5.37	c |     28588 |     675    86174   225942 | 2147483647    28587     37 |  0.162 % |
5.42/5.43	c |     28781 |     675    86174   225942 | 2147483647    28780     38 |  0.148 % |
5.42/5.49	c |     28996 |     675    86174   225942 | 2147483647    28995     38 |  0.162 % |
5.52/5.55	c |     29232 |     675    86174   225942 | 2147483647    29231     37 |  0.162 % |
5.52/5.62	c |     29488 |     675    86174   225942 | 2147483647    29487     37 |  0.162 % |
5.63/5.71	c |     29770 |     675    86174   225942 | 2147483647    29769     37 |  0.162 % |
5.72/5.80	c |     30081 |     675    86174   225942 | 2147483647    30080     37 |  0.162 % |
5.82/5.89	c |     30421 |     675    86174   225942 | 2147483647    30420     37 |  0.148 % |
5.92/6.00	c |     30794 |     675    86174   225942 | 2147483647    30793     37 |  0.162 % |
6.12/6.12	c |     31203 |     675    86174   225942 | 2147483647    31202     37 |  0.162 % |
6.22/6.24	c |     31652 |     675    86174   225942 | 2147483647    31651     37 |  0.162 % |
6.32/6.36	c |     32145 |     675    86174   225942 | 2147483647    32144     37 |  0.162 % |
6.32/6.38	c |     32246 |     675    86174   225942 | 2147483647    32245     37 |  0.162 % |
6.42/6.42	c |     32357 |     675    86174   225942 | 2147483647    32356     37 |  0.162 % |
6.42/6.45	c |     32478 |     675    86174   225942 | 2147483647    32477     37 |  0.162 % |
6.42/6.48	c |     32614 |     675    86174   225942 | 2147483647    32613     37 |  0.162 % |
6.52/6.52	c |     32760 |     675    86174   225942 | 2147483647    32759     37 |  0.162 % |
6.52/6.56	c |     32920 |     675    86174   225942 | 2147483647    32919     37 |  0.162 % |
6.62/6.62	c |     33098 |     675    86174   225942 | 2147483647    33097     37 |  0.162 % |
6.62/6.66	c |     33294 |     675    86174   225942 | 2147483647    33293     37 |  0.148 % |
6.73/6.73	c |     33507 |     675    86174   225942 | 2147483647    33506     37 |  0.162 % |
6.73/6.81	c |     33742 |     675    86174   225942 | 2147483647    33741     37 |  0.148 % |
6.82/6.88	c |     33998 |     675    86174   225942 | 2147483647    33997     37 |  0.161 % |
6.92/6.98	c |     34279 |     675    86174   225942 | 2147483647    34278     37 |  0.163 % |
7.02/7.07	c |     34592 |     675    86174   225942 | 2147483647    34591     37 |  0.162 % |
7.12/7.16	c |     34933 |     675    86174   225942 | 2147483647    34932     37 |  0.148 % |
7.22/7.27	c |     35307 |     675    86174   225942 | 2147483647    35306     38 |  0.162 % |
7.32/7.40	c |     35716 |     675    86174   225942 | 2147483647    35715     37 |  0.162 % |
7.52/7.54	c |     36166 |     675    86174   225942 | 2147483647    36165     37 |  0.162 % |
7.62/7.71	c |     36659 |     675    86174   225942 | 2147483647    36658     37 |  0.162 % |
7.83/7.87	c |     37202 |     675    86174   225942 | 2147483647    37201     37 |  0.162 % |
7.83/7.91	c |     37302 |     675    86174   225942 | 2147483647    37301     37 |  0.162 % |
7.92/7.94	c |     37412 |     675    86174   225942 | 2147483647    37411     37 |  0.162 % |
7.92/7.98	c |     37533 |     675    86174   225942 | 2147483647    37532     37 |  0.162 % |
8.02/8.03	c |     37669 |     675    86174   225942 | 2147483647    37668     37 |  0.148 % |
8.02/8.07	c |     37815 |     675    86174   225942 | 2147483647    37814     37 |  0.162 % |
8.02/8.11	c |     37975 |     675    86174   225942 | 2147483647    37974     37 |  0.162 % |
8.12/8.15	c |     38155 |     675    86174   225942 | 2147483647    38154     37 |  0.163 % |
8.12/8.21	c |     38348 |     675    86174   225942 | 2147483647    38347     37 |  0.163 % |
8.22/8.27	c |     38560 |     675    86174   225942 | 2147483647    38559     37 |  0.163 % |
8.32/8.34	c |     38795 |     675    86174   225942 | 2147483647    38794     37 |  0.148 % |
8.42/8.42	c |     39052 |     675    86174   225942 | 2147483647    39051     37 |  0.163 % |
8.42/8.49	c |     39335 |     675    86174   225942 | 2147483647    39334     37 |  0.148 % |
8.52/8.57	c |     39644 |     675    86174   225942 | 2147483647    39643     37 |  0.148 % |
8.62/8.68	c |     39984 |     675    86174   225942 | 2147483647    39983     37 |  0.162 % |
8.72/8.80	c |     40357 |     675    86174   225942 | 2147483647    40356     37 |  0.162 % |
8.93/8.93	c |     40766 |     675    86174   225942 | 2147483647    40765     37 |  0.162 % |
9.02/9.07	c |     41215 |     675    86174   225942 | 2147483647    41214     37 |  0.161 % |
9.22/9.23	c |     41711 |     675    86174   225942 | 2147483647    41710     37 |  0.161 % |
9.42/9.42	c |     42254 |     675    86174   225942 | 2147483647    42253     37 |  0.161 % |
9.62/9.61	c |     42851 |     675    86174   225942 | 2147483647    42850     37 |  0.162 % |
9.62/9.66	c |     42953 |     675    86174   225942 | 2147483647    42952     37 |  0.161 % |
9.62/9.69	c |     43065 |     675    86174   225942 | 2147483647    43064     37 |  0.162 % |
9.72/9.74	c |     43186 |     675    86174   225942 | 2147483647    43185     37 |  0.148 % |
9.72/9.78	c |     43324 |     675    86174   225942 | 2147483647    43323     37 |  0.173 % |
9.82/9.84	c |     43470 |     675    86174   225942 | 2147483647    43469     37 |  0.148 % |
9.82/9.90	c |     43630 |     675    86174   225942 | 2147483647    43629     37 |  0.162 % |
9.92/9.96	c |     43807 |     675    86174   225942 | 2147483647    43806     37 |  0.161 % |
10.03/10.02	c |     44001 |     675    86174   225942 | 2147483647    44000     37 |  0.162 % |
10.03/10.10	c |     44215 |     675    86174   225942 | 2147483647    44214     37 |  0.148 % |
10.12/10.19	c |     44450 |     675    86174   225942 | 2147483647    44449     37 |  0.148 % |
10.22/10.27	c |     44706 |     675    86174   225942 | 2147483647    44705     37 |  0.162 % |
10.32/10.36	c |     44987 |     675    86174   225942 | 2147483647    44986     37 |  0.162 % |
10.42/10.48	c |     45296 |     675    86174   225942 | 2147483647    45295     37 |  0.162 % |
10.52/10.57	c |     45636 |     675    86174   225942 | 2147483647    45635     37 |  0.162 % |
10.62/10.70	c |     46008 |     675    86174   225942 | 2147483647    46007     37 |  0.162 % |
10.82/10.83	c |     46418 |     675    86174   225942 | 2147483647    46417     37 |  0.148 % |
10.92/10.97	c |     46869 |     675    86174   225942 | 2147483647    46868     37 |  0.148 % |
11.13/11.15	c |     47363 |     675    86174   225942 | 2147483647    47362     37 |  0.162 % |
11.32/11.34	c |     47906 |     675    86174   225942 | 2147483647    47905     37 |  0.148 % |
11.52/11.55	c |     48506 |     675    86174   225942 | 2147483647    48505     37 |  0.162 % |
11.72/11.77	c |     49165 |     675    86174   225942 | 2147483647    49164     38 |  0.148 % |
11.82/11.82	c |     49267 |     675    86174   225942 | 2147483647    49266     38 |  0.148 % |
11.82/11.85	c |     49378 |     675    86174   225942 | 2147483647    49377     38 |  0.163 % |
11.82/11.90	c |     49499 |     675    86174   225942 | 2147483647    49498     38 |  0.162 % |
11.92/11.96	c |     49633 |     675    86174   225942 | 2147483647    49632     38 |  0.162 % |
12.02/12.02	c |     49780 |     675    86174   225942 | 2147483647    49779     38 |  0.162 % |
12.02/12.08	c |     49940 |     675    86174   225942 | 2147483647    49939     37 |  0.162 % |
12.12/12.16	c |     50117 |     675    86174   225942 | 2147483647    50116     38 |  0.162 % |
12.23/12.23	c |     50313 |     675    86174   225942 | 2147483647    50312     38 |  0.162 % |
12.23/12.31	c |     50525 |     675    86174   225942 | 2147483647    50524     37 |  0.162 % |
12.32/12.39	c |     50758 |     675    86174   225942 | 2147483647    50757     38 |  0.148 % |
12.42/12.48	c |     51017 |     675    86174   225942 | 2147483647    51016     38 |  0.162 % |
12.52/12.59	c |     51298 |     675    86174   225942 | 2147483647    51297     38 |  0.148 % |
12.62/12.70	c |     51608 |     675    86174   225942 | 2147483647    51607     38 |  0.162 % |
12.82/12.83	c |     51947 |     675    86174   225942 | 2147483647    51946     38 |  0.162 % |
12.92/12.98	c |     52321 |     675    86174   225942 | 2147483647    52320     38 |  0.162 % |
13.12/13.17	c |     52730 |     675    86174   225942 | 2147483647    52729     38 |  0.162 % |
13.33/13.33	c |     53179 |     675    86174   225942 | 2147483647    53178     38 |  0.162 % |
13.42/13.51	c |     53673 |     675    86174   225942 | 2147483647    53672     38 |  0.148 % |
13.72/13.73	c |     54215 |     675    86174   225942 | 2147483647    54214     37 |  0.162 % |
13.92/13.98	c |     54811 |     675    86174   225942 | 2147483647    54810     37 |  0.162 % |
14.22/14.24	c |     55466 |     675    86174   225942 | 2147483647    55465     37 |  0.162 % |
14.52/14.59	c |     56189 |     675    86174   225942 | 2147483647    56188     37 |  0.162 % |
14.62/14.63	c |     56289 |     675    86174   225942 | 2147483647    56288     37 |  0.148 % |
14.62/14.68	c |     56399 |     675    86174   225942 | 2147483647    56398     37 |  0.162 % |
14.72/14.73	c |     56522 |     675    86174   225942 | 2147483647    56521     37 |  0.162 % |
14.72/14.78	c |     56655 |     675    86174   225942 | 2147483647    56654     37 |  0.148 % |
14.82/14.83	c |     56801 |     675    86174   225942 | 2147483647    56800     37 |  0.162 % |
14.82/14.90	c |     56961 |     675    86174   225942 | 2147483647    56960     37 |  0.162 % |
14.92/14.97	c |     57140 |     675    86174   225942 | 2147483647    57139     37 |  0.162 % |
15.02/15.08	c |     57336 |     675    86174   225942 | 2147483647    57335     37 |  0.162 % |
15.12/15.19	c |     57551 |     675    86174   225942 | 2147483647    57550     37 |  0.162 % |
15.22/15.28	c |     57784 |     675    86174   225942 | 2147483647    57783     37 |  0.148 % |
15.32/15.39	c |     58040 |     675    86174   225942 | 2147483647    58039     37 |  0.162 % |
15.42/15.50	c |     58323 |     675    86174   225942 | 2147483647    58322     38 |  0.148 % |
15.62/15.64	c |     58633 |     675    86174   225942 | 2147483647    58632     38 |  0.148 % |
15.72/15.77	c |     58975 |     675    86174   225942 | 2147483647    58974     37 |  0.162 % |
15.92/15.97	c |     59347 |     675    86174   225942 | 2147483647    59346     37 |  0.163 % |
16.12/16.15	c |     59760 |     675    86174   225942 | 2147483647    59759     37 |  0.163 % |
16.32/16.36	c |     60209 |     675    86174   225942 | 2147483647    60208     37 |  0.161 % |
16.52/16.59	c |     60702 |     675    86174   225942 | 2147483647    60701     37 |  0.162 % |
16.82/16.84	c |     61244 |     675    86174   225942 | 2147483647    61243     37 |  0.148 % |
17.12/17.13	c |     61841 |     675    86174   225942 | 2147483647    61840     37 |  0.162 % |
17.42/17.47	c |     62496 |     675    86174   225942 | 2147483647    62495     37 |  0.162 % |
17.82/17.84	c |     63218 |     675    86174   225942 | 2147483647    63217     37 |  0.163 % |
18.22/18.24	c |     64014 |     675    86174   225942 | 2147483647    64013     37 |  0.163 % |
18.22/18.29	c |     64114 |     675    86174   225942 | 2147483647    64113     37 |  0.148 % |
18.32/18.34	c |     64225 |     675    86174   225942 | 2147483647    64224     37 |  0.148 % |
18.32/18.41	c |     64348 |     675    86174   225942 | 2147483647    64347     37 |  0.163 % |
18.42/18.48	c |     64481 |     675    86174   225942 | 2147483647    64480     37 |  0.163 % |
18.52/18.55	c |     64627 |     675    86174   225942 | 2147483647    64626     37 |  0.162 % |
18.62/18.63	c |     64787 |     675    86174   225942 | 2147483647    64786     37 |  0.162 % |
18.72/18.72	c |     64964 |     675    86174   225942 | 2147483647    64963     37 |  0.162 % |
18.72/18.81	c |     65157 |     675    86174   225942 | 2147483647    65156     37 |  0.162 % |
18.92/18.92	c |     65370 |     675    86174   225942 | 2147483647    65369     37 |  0.161 % |
19.02/19.02	c |     65606 |     675    86174   225942 | 2147483647    65605     37 |  0.162 % |
19.12/19.16	c |     65863 |     675    86174   225942 | 2147483647    65862     37 |  0.162 % |
19.22/19.29	c |     66147 |     675    86174   225942 | 2147483647    66146     37 |  0.161 % |
19.42/19.42	c |     66460 |     675    86174   225942 | 2147483647    66459     36 |  0.161 % |
19.52/19.55	c |     66799 |     675    86174   225942 | 2147483647    66798     36 |  0.162 % |
19.72/19.73	c |     67174 |     675    86174   225942 | 2147483647    67173     36 |  0.162 % |
19.82/19.91	c |     67584 |     675    86174   225942 | 2147483647    67583     36 |  0.162 % |
20.02/20.11	c |     68036 |     675    86174   225942 | 2147483647    68035     37 |  0.148 % |
20.32/20.35	c |     68537 |     675    86174   225942 | 2147483647    68536     37 |  0.148 % |
20.62/20.63	c |     69079 |     675    86174   225942 | 2147483647    69078     37 |  0.148 % |
20.82/20.88	c |     69675 |     675    86174   225942 | 2147483647    69674     38 |  0.148 % |
21.12/21.19	c |     70331 |     675    86174   225942 | 2147483647    70330     38 |  0.162 % |
21.52/21.56	c |     71055 |     675    86174   225942 | 2147483647    71054     37 |  0.162 % |
21.92/21.99	c |     71849 |     675    86174   225942 | 2147483647    71848     38 |  0.148 % |
22.42/22.48	c |     72722 |     675    86174   225942 | 2147483647    72721     38 |  0.162 % |
22.52/22.54	c |     72822 |     675    86174   225942 | 2147483647    72821     38 |  0.162 % |
22.52/22.60	c |     72932 |     675    86174   225942 | 2147483647    72931     38 |  0.162 % |
22.62/22.66	c |     73053 |     675    86174   225942 | 2147483647    73052     38 |  0.162 % |
22.72/22.75	c |     73186 |     675    86174   225942 | 2147483647    73185     38 |  0.148 % |
22.82/22.82	c |     73332 |     675    86174   225942 | 2147483647    73331     38 |  0.148 % |
22.92/22.92	c |     73493 |     675    86174   225942 | 2147483647    73492     38 |  0.162 % |
23.02/23.04	c |     73670 |     675    86174   225942 | 2147483647    73669     38 |  0.162 % |
23.12/23.16	c |     73863 |     675    86174   225942 | 2147483647    73862     38 |  0.162 % |
23.23/23.28	c |     74075 |     675    86174   225942 | 2147483647    74074     38 |  0.162 % |
23.32/23.39	c |     74308 |     675    86174   225942 | 2147483647    74307     38 |  0.148 % |
23.52/23.54	c |     74566 |     675    86174   225942 | 2147483647    74565     38 |  0.162 % |
23.62/23.68	c |     74850 |     675    86174   225942 | 2147483647    74849     38 |  0.148 % |
23.82/23.85	c |     75159 |     675    86174   225942 | 2147483647    75158     38 |  0.162 % |
24.02/24.03	c |     75498 |     675    86174   225942 | 2147483647    75497     38 |  0.162 % |
24.22/24.24	c |     75870 |     675    86174   225942 | 2147483647    75869     38 |  0.162 % |
24.42/24.44	c |     76279 |     675    86174   225942 | 2147483647    76278     38 |  0.148 % |
24.62/24.64	c |     76729 |     675    86174   225942 | 2147483647    76728     38 |  0.162 % |
24.82/24.89	c |     77222 |     675    86174   225942 | 2147483647    77221     38 |  0.162 % |
25.12/25.20	c |     77764 |     675    86174   225942 | 2147483647    77763     38 |  0.162 % |
25.52/25.54	c |     78363 |     675    86174   225942 | 2147483647    78362     38 |  0.163 % |
25.82/25.88	c |     79020 |     675    86174   225942 | 2147483647    79019     38 |  0.163 % |
26.32/26.31	c |     79740 |     675    86174   225942 | 2147483647    79739     38 |  0.148 % |
26.72/26.78	c |     80532 |     675    86174   225942 | 2147483647    80531     38 |  0.162 % |
27.22/27.23	c |     81403 |     675    86174   225942 | 2147483647    81402     39 |  0.148 % |
27.72/27.78	c |     82364 |     675    86174   225942 | 2147483647    82363     39 |  0.163 % |
27.82/27.83	c |     82464 |     675    86174   225942 | 2147483647    82463     39 |  0.163 % |
27.82/27.90	c |     82574 |     675    86174   225942 | 2147483647    82573     39 |  0.163 % |
27.92/27.99	c |     82697 |     675    86174   225942 | 2147483647    82696     39 |  0.148 % |
28.02/28.07	c |     82830 |     675    86174   225942 | 2147483647    82829     39 |  0.162 % |
28.12/28.18	c |     82976 |     675    86174   225942 | 2147483647    82975     39 |  0.148 % |
28.32/28.31	c |     83136 |     675    86174   225942 | 2147483647    83135     39 |  0.162 % |
28.42/28.44	c |     83317 |     675    86174   225942 | 2147483647    83316     39 |  0.162 % |
28.52/28.58	c |     83511 |     675    86174   225942 | 2147483647    83510     38 |  0.162 % |
28.62/28.70	c |     83724 |     675    86174   225942 | 2147483647    83723     39 |  0.148 % |
28.82/28.88	c |     83965 |     675    86174   225942 | 2147483647    83964     39 |  0.148 % |
29.02/29.07	c |     84221 |     675    86174   225942 | 2147483647    84220     39 |  0.162 % |
29.22/29.25	c |     84504 |     675    86174   225942 | 2147483647    84503     39 |  0.162 % |
29.42/29.43	c |     84813 |     675    86174   225942 | 2147483647    84812     39 |  0.148 % |
29.62/29.63	c |     85154 |     675    86174   225942 | 2147483647    85153     39 |  0.148 % |
29.83/29.86	c |     85527 |     675    86174   225942 | 2147483647    85526     39 |  0.163 % |
30.12/30.15	c |     85936 |     675    86174   225942 | 2147483647    85935     39 |  0.148 % |
30.42/30.44	c |     86386 |     675    86174   225942 | 2147483647    86385     39 |  0.162 % |
30.72/30.74	c |     86879 |     675    86174   225942 | 2147483647    86878     39 |  0.162 % |
31.02/31.10	c |     87422 |     675    86174   225942 | 2147483647    87421     39 |  0.162 % |
31.42/31.46	c |     88018 |     675    86174   225942 | 2147483647    88017     39 |  0.162 % |
31.82/31.91	c |     88676 |     675    86174   225942 | 2147483647    88675     39 |  0.148 % |
32.32/32.40	c |     89397 |     675    86174   225942 | 2147483647    89396     39 |  0.162 % |
32.92/32.93	c |     90190 |     675    86174   225942 | 2147483647    90189     39 |  0.162 % |
33.52/33.54	c |     91062 |     675    86174   225942 | 2147483647    91061     39 |  0.162 % |
34.12/34.22	c |     92023 |     675    86174   225942 | 2147483647    92022     39 |  0.148 % |
34.92/34.99	c |     93076 |     675    86174   225942 | 2147483647    93075     40 |  0.148 % |
35.02/35.07	c |     93176 |     675    86174   225942 | 2147483647    93175     40 |  0.148 % |
35.12/35.15	c |     93287 |     675    86174   225942 | 2147483647    93286     40 |  0.148 % |
35.22/35.25	c |     93408 |     675    86174   225942 | 2147483647    93407     40 |  0.148 % |
35.33/35.35	c |     93542 |     675    86174   225942 | 2147483647    93541     40 |  0.163 % |
35.42/35.49	c |     93688 |     675    86174   225942 | 2147483647    93687     40 |  0.148 % |
35.52/35.60	c |     93849 |     675    86174   225942 | 2147483647    93848     40 |  0.148 % |
35.72/35.75	c |     94028 |     675    86174   225942 | 2147483647    94027     40 |  0.162 % |
35.82/35.89	c |     94223 |     675    86174   225942 | 2147483647    94222     40 |  0.148 % |
36.02/36.04	c |     94436 |     675    86174   225942 | 2147483647    94435     40 |  0.163 % |
36.22/36.22	c |     94671 |     675    86174   225942 | 2147483647    94670     40 |  0.163 % |
36.32/36.41	c |     94929 |     675    86174   225942 | 2147483647    94928     40 |  0.163 % |
36.62/36.61	c |     95211 |     675    86174   225942 | 2147483647    95210     40 |  0.163 % |
36.82/36.85	c |     95524 |     675    86174   225942 | 2147483647    95523     40 |  0.163 % |
37.02/37.08	c |     95863 |     675    86174   225942 | 2147483647    95862     40 |  0.148 % |
37.32/37.36	c |     96239 |     675    86174   225942 | 2147483647    96238     40 |  0.148 % |
37.62/37.64	c |     96648 |     675    86174   225942 | 2147483647    96647     40 |  0.162 % |
37.92/37.98	c |     97099 |     675    86174   225942 | 2147483647    97098     40 |  0.162 % |
38.32/38.36	c |     97593 |     675    86174   225942 | 2147483647    97592     40 |  0.148 % |
38.63/38.68	c |     98135 |     675    86174   225942 | 2147483647    98134     40 |  0.148 % |
39.12/39.12	c |     98731 |     675    86174   225942 | 2147483647    98730     40 |  0.162 % |
39.62/39.62	c |     99386 |     675    86174   225942 | 2147483647    99385     40 |  0.162 % |
40.12/40.16	c |    100107 |     675    86174   225942 | 2147483647   100106     40 |  0.162 % |
40.83/40.83	c |    100900 |     675    86174   225942 | 2147483647   100899     40 |  0.162 % |
41.42/41.50	c |    101771 |     675    86174   225942 | 2147483647   101770     40 |  0.163 % |
42.22/42.24	c |    102732 |     675    86174   225942 | 2147483647   102731     40 |  0.163 % |
43.03/43.07	c |    103788 |     675    86174   225942 | 2147483647   103787     40 |  0.163 % |
43.83/43.88	c |    104949 |     675    86174   225942 | 2147483647   104948     40 |  0.162 % |
43.93/43.96	c |    105055 |     675    86174   225942 | 2147483647   105054     40 |  0.162 % |
44.03/44.05	c |    105165 |     675    86174   225942 | 2147483647   105164     40 |  0.148 % |
44.13/44.15	c |    105286 |     675    86174   225942 | 2147483647   105285     40 |  0.148 % |
44.23/44.27	c |    105423 |     675    86174   225942 | 2147483647   105422     40 |  0.162 % |
44.33/44.40	c |    105569 |     675    86174   225942 | 2147483647   105568     40 |  0.162 % |
44.43/44.51	c |    105729 |     675    86174   225942 | 2147483647   105728     40 |  0.148 % |
44.63/44.66	c |    105905 |     675    86174   225942 | 2147483647   105904     40 |  0.163 % |
44.73/44.81	c |    106099 |     675    86174   225942 | 2147483647   106098     40 |  0.163 % |
44.93/44.98	c |    106311 |     675    86174   225942 | 2147483647   106310     40 |  0.148 % |
45.13/45.17	c |    106544 |     675    86174   225942 | 2147483647   106543     40 |  0.163 % |
45.33/45.40	c |    106800 |     675    86174   225942 | 2147483647   106799     40 |  0.148 % |
45.63/45.65	c |    107081 |     675    86174   225942 | 2147483647   107080     40 |  0.148 % |
45.83/45.91	c |    107390 |     675    86174   225942 | 2147483647   107389     40 |  0.148 % |
46.23/46.25	c |    107730 |     675    86174   225942 | 2147483647   107729     40 |  0.162 % |
46.53/46.56	c |    108105 |     675    86174   225942 | 2147483647   108104     40 |  0.162 % |
46.93/46.92	c |    108515 |     675    86174   225942 | 2147483647   108514     40 |  0.162 % |
47.13/47.21	c |    108964 |     675    86174   225942 | 2147483647   108963     40 |  0.148 % |
47.63/47.65	c |    109459 |     675    86174   225942 | 2147483647   109458     40 |  0.162 % |
48.03/48.07	c |    110003 |     675    86174   225942 | 2147483647   110002     40 |  0.162 % |
48.63/48.65	c |    110600 |     675    86174   225942 | 2147483647   110599     40 |  0.148 % |
49.33/49.38	c |    111255 |     675    86174   225942 | 2147483647   111254     40 |  0.162 % |
50.03/50.10	c |    111977 |     675    86174   225942 | 2147483647   111976     40 |  0.162 % |
50.73/50.75	c |    112771 |     675    86174   225942 | 2147483647   112770     40 |  0.148 % |
51.53/51.55	c |    113643 |     675    86174   225942 | 2147483647   113642     40 |  0.162 % |
52.33/52.39	c |    114604 |     675    86174   225942 | 2147483647   114603     40 |  0.162 % |
53.33/53.36	c |    115657 |     675    86174   225942 | 2147483647   115656     40 |  0.163 % |
54.33/54.36	c |    116817 |     675    86174   225942 | 2147483647   116816     40 |  0.148 % |
55.53/55.56	c |    118092 |     675    86174   225942 | 2147483647   118091     40 |  0.163 % |
55.63/55.68	c |    118193 |     675    86174   225942 | 2147483647   118192     40 |  0.148 % |
55.73/55.78	c |    118305 |     675    86174   225942 | 2147483647   118304     40 |  0.148 % |
55.83/55.88	c |    118426 |     675    86174   225942 | 2147483647   118425     40 |  0.162 % |
55.93/56.02	c |    118560 |     675    86174   225942 | 2147483647   118559     40 |  0.162 % |
56.13/56.14	c |    118706 |     675    86174   225942 | 2147483647   118705     40 |  0.148 % |
56.23/56.30	c |    118866 |     675    86174   225942 | 2147483647   118865     40 |  0.162 % |
56.43/56.45	c |    119042 |     675    86174   225942 | 2147483647   119041     40 |  0.162 % |
56.53/56.60	c |    119236 |     675    86174   225942 | 2147483647   119235     40 |  0.148 % |
56.73/56.75	c |    119449 |     675    86174   225942 | 2147483647   119448     40 |  0.161 % |
56.93/56.96	c |    119684 |     675    86174   225942 | 2147483647   119683     40 |  0.162 % |
57.13/57.18	c |    119942 |     675    86174   225942 | 2147483647   119941     40 |  0.162 % |
57.43/57.44	c |    120225 |     675    86174   225942 |   119999   120224     40 |  0.162 % |
57.83/57.83	c |    120539 |     675    86174   225942 |   119999   104747     40 |  0.162 % |
58.03/58.11	c |    120880 |     675    86174   225942 |   119999   105088     40 |  0.148 % |
58.43/58.43	c |    121254 |     675    86174   225942 |   119999   105462     40 |  0.148 % |
58.73/58.74	c |    121668 |     675    86174   225942 |   119999   105876     40 |  0.162 % |
59.13/59.15	c |    122117 |     675    86174   225942 |   119999   106325     40 |  0.162 % |
59.63/59.63	c |    122610 |     675    86174   225942 |   119999   106818     40 |  0.162 % |
60.03/60.07	c |    123153 |     675    86174   225942 |   119999   107361     40 |  0.148 % |
60.53/60.56	c |    123749 |     675    86174   225942 |   119999   107957     40 |  0.163 % |
61.13/61.12	c |    124406 |     675    86174   225942 |   119999   108614     40 |  0.163 % |
61.63/61.65	c |    125128 |     675    86174   225942 |   119999   109336     39 |  0.163 % |
62.23/62.28	c |    125920 |     675    86174   225942 |   119999   110128     39 |  0.163 % |
63.03/63.04	c |    126794 |     675    86174   225942 |   119999   111002     39 |  0.163 % |
63.83/63.86	c |    127755 |     675    86174   225942 |   119999   111963     39 |  0.162 % |
64.73/64.75	c |    128809 |     675    86174   225942 |   119999   113017     39 |  0.162 % |
65.73/65.76	c |    129967 |     675    86174   225942 |   119999   114175     39 |  0.163 % |
66.93/67.01	c |    131244 |     675    86174   225942 |   114209   101204     39 |  0.162 % |
68.23/68.31	c |    132647 |     675    86174   225942 |   114209   102607     39 |  0.162 % |
68.33/68.41	c |    132747 |     675    86174   225942 |   114209   102707     39 |  0.162 % |
68.43/68.51	c |    132858 |     675    86174   225942 |   114209   102818     39 |  0.163 % |
68.63/68.62	c |    132982 |     675    86174   225942 |   114209   102942     39 |  0.163 % |
68.73/68.72	c |    133117 |     675    86174   225942 |   114209   103077     39 |  0.162 % |
68.83/68.85	c |    133266 |     675    86174   225942 |   114209   103226     39 |  0.163 % |
68.93/68.99	c |    133427 |     675    86174   225942 |   114209   103387     39 |  0.163 % |
69.13/69.16	c |    133603 |     675    86174   225942 |   114209   103563     39 |  0.163 % |
69.33/69.33	c |    133796 |     675    86174   225942 |   114209   103756     39 |  0.163 % |
69.53/69.54	c |    134016 |     675    86174   225942 |   114209   103976     39 |  0.163 % |
69.73/69.74	c |    134249 |     675    86174   225942 |   114209   104209     39 |  0.148 % |
69.93/69.98	c |    134507 |     675    86174   225942 |   114209   104467     39 |  0.162 % |
70.13/70.20	c |    134789 |     675    86174   225942 |   114209   104749     39 |  0.148 % |
70.43/70.46	c |    135098 |     675    86174   225942 |   114209   105058     39 |  0.162 % |
70.73/70.74	c |    135438 |     675    86174   225942 |   114209   105398     39 |  0.148 % |
71.13/71.12	c |    135811 |     675    86174   225942 |   114209   105771     39 |  0.161 % |
71.43/71.50	c |    136222 |     675    86174   225942 |   114209   106182     39 |  0.161 % |
71.83/71.89	c |    136672 |     675    86174   225942 |   114209   106632     39 |  0.161 % |
72.23/72.30	c |    137166 |     675    86174   225942 |   114209   107126     39 |  0.161 % |
72.73/72.81	c |    137709 |     675    86174   225942 |   114209   107669     39 |  0.162 % |
73.23/73.26	c |    138306 |     675    86174   225942 |   114209   108266     39 |  0.162 % |
73.83/73.87	c |    138963 |     675    86174   225942 |   114209   108923     39 |  0.164 % |
74.43/74.51	c |    139685 |     675    86174   225942 |   114209   109645     39 |  0.163 % |
75.33/75.34	c |    140478 |     675    86174   225942 |   109962    96860     38 |  0.163 % |
76.03/76.06	c |    141349 |     675    86174   225942 |   109962    97731     38 |  0.162 % |
76.83/76.87	c |    142308 |     675    86174   225942 |   109962    98690     38 |  0.164 % |
77.63/77.69	c |    143362 |     675    86174   225942 |   109962    99744     38 |  0.164 % |
78.63/78.66	c |    144521 |     675    86174   225942 |   109962   100903     38 |  0.164 % |
79.63/79.72	c |    145794 |     675    86174   225942 |   109962   102176     39 |  0.148 % |
80.93/80.94	c |    147194 |     675    86174   225942 |   109962   103576     39 |  0.162 % |
82.23/82.28	c |    148736 |     675    86174   225942 |   109962   105118     39 |  0.162 % |
82.33/82.36	c |    148838 |     675    86174   225942 |   109962   105220     39 |  0.162 % |
82.43/82.45	c |    148948 |     675    86174   225942 |   109962   105330     39 |  0.162 % |
82.53/82.57	c |    149070 |     675    86174   225942 |   109962   105452     39 |  0.162 % |
82.63/82.70	c |    149205 |     675    86174   225942 |   109962   105587     39 |  0.148 % |
82.83/82.83	c |    149351 |     675    86174   225942 |   109962   105733     39 |  0.148 % |
82.93/82.98	c |    149511 |     675    86174   225942 |   109962   105893     39 |  0.162 % |
83.03/83.10	c |    149690 |     675    86174   225942 |   109962   106072     39 |  0.148 % |
83.23/83.23	c |    149884 |     675    86174   225942 |   109962   106266     39 |  0.162 % |
83.33/83.40	c |    150096 |     675    86174   225942 |   106384   106478     39 |  0.163 % |
83.63/83.71	c |    150329 |     675    86174   225942 |   106384    93786     39 |  0.148 % |
83.93/83.96	c |    150586 |     675    86174   225942 |   106384    94043     39 |  0.162 % |
84.13/84.19	c |    150867 |     675    86174   225942 |   106384    94324     39 |  0.148 % |
84.43/84.44	c |    151176 |     675    86174   225942 |   106384    94633     39 |  0.148 % |
84.73/84.73	c |    151517 |     675    86174   225942 |   106384    94974     39 |  0.148 % |
85.03/85.05	c |    151891 |     675    86174   225942 |   106384    95348     39 |  0.148 % |
85.33/85.41	c |    152301 |     675    86174   225942 |   106384    95758     39 |  0.148 % |
85.83/85.84	c |    152750 |     675    86174   225942 |   106384    96207     39 |  0.162 % |
86.23/86.27	c |    153244 |     675    86174   225942 |   106384    96701     39 |  0.162 % |
86.73/86.76	c |    153787 |     675    86174   225942 |   106384    97244     39 |  0.148 % |
87.13/87.20	c |    154384 |     675    86174   225942 |   106384    97841     39 |  0.162 % |
87.73/87.72	c |    155039 |     675    86174   225942 |   106384    98496     39 |  0.162 % |
88.23/88.30	c |    155761 |     675    86174   225942 |   106384    99218     39 |  0.148 % |
89.03/89.02	c |    156554 |     675    86174   225942 |   106384   100011     39 |  0.148 % |
89.83/89.83	c |    157425 |     675    86174   225942 |   106384   100882     40 |  0.148 % |
90.73/90.76	c |    158384 |     675    86174   225942 |   106384   101841     40 |  0.162 % |
91.63/91.68	c |    159438 |     675    86174   225942 |   106384   102895     40 |  0.162 % |
92.73/92.73	c |    160597 |     675    86174   225942 |   103459    91001     39 |  0.162 % |
93.73/93.79	c |    161871 |     675    86174   225942 |   103459    92275     39 |  0.148 % |
94.93/94.99	c |    163272 |     675    86174   225942 |   103459    93676     39 |  0.148 % |
96.33/96.38	c |    164813 |     675    86174   225942 |   103459    95217     39 |  0.162 % |
97.93/97.94	c |    166507 |     675    86174   225942 |   103459    96911     39 |  0.148 % |
98.03/98.04	c |    166607 |     675    86174   225942 |   103459    97011     39 |  0.148 % |
98.13/98.15	c |    166718 |     675    86174   225942 |   103459    97122     39 |  0.148 % |
98.23/98.28	c |    166840 |     675    86174   225942 |   103459    97244     39 |  0.162 % |
98.33/98.41	c |    166973 |     675    86174   225942 |   103459    97377     39 |  0.162 % |
98.43/98.50	c |    167121 |     675    86174   225942 |   103459    97525     39 |  0.162 % |
98.63/98.62	c |    167282 |     675    86174   225942 |   103459    97686     39 |  0.162 % |
98.73/98.74	c |    167460 |     675    86174   225942 |   103459    97864     39 |  0.162 % |
98.83/98.91	c |    167653 |     675    86174   225942 |   103459    98057     39 |  0.161 % |
99.03/99.10	c |    167865 |     675    86174   225942 |   103459    98269     39 |  0.162 % |
99.23/99.28	c |    168098 |     675    86174   225942 |   103459    98502     39 |  0.163 % |
99.43/99.47	c |    168355 |     675    86174   225942 |   103459    98759     39 |  0.148 % |
99.63/99.66	c |    168636 |     675    86174   225942 |   103459    99040     39 |  0.148 % |
99.93/99.93	c |    168945 |     675    86174   225942 |   103459    99349     39 |  0.163 % |
100.23/100.26	c |    169285 |     675    86174   225942 |   103459    99689     39 |  0.162 % |
100.53/100.58	c |    169658 |     675    86174   225942 |   103459   100062     39 |  0.162 % |
100.93/100.94	c |    170068 |     675    86174   225942 |   100406   100472     39 |  0.164 % |
101.33/101.37	c |    170519 |     675    86174   225942 |   100406    88190     38 |  0.148 % |
101.73/101.72	c |    171015 |     675    86174   225942 |   100406    88686     38 |  0.148 % |
102.23/102.24	c |    171558 |     675    86174   225942 |   100406    89229     38 |  0.148 % |
102.63/102.68	c |    172154 |     675    86174   225942 |   100406    89825     39 |  0.148 % |
103.13/103.19	c |    172810 |     675    86174   225942 |   100406    90481     39 |  0.162 % |
103.73/103.77	c |    173531 |     675    86174   225942 |   100406    91202     39 |  0.161 % |
104.33/104.39	c |    174323 |     675    86174   225942 |   100406    91994     39 |  0.148 % |
105.03/105.09	c |    175194 |     675    86174   225942 |   100406    92865     39 |  0.148 % |
105.83/105.87	c |    176153 |     675    86174   225942 |   100406    93824     39 |  0.162 % |
106.53/106.61	c |    177207 |     675    86174   225942 |   100406    94878     39 |  0.162 % |
107.73/107.76	c |    178369 |     675    86174   225942 |   100406    96040     39 |  0.148 % |
108.83/108.89	c |    179644 |     675    86174   225942 |   100406    97315     39 |  0.163 % |
110.13/110.17	c |    181044 |     675    86174   225942 |    97673    87056     38 |  0.148 % |
111.23/111.30	c |    182585 |     675    86174   225942 |    97673    88597     39 |  0.148 % |
112.73/112.76	c |    184285 |     675    86174   225942 |    97673    90297     40 |  0.148 % |
114.23/114.32	c |    186148 |     675    86174   225942 |    97673    92160     40 |  0.162 % |
114.43/114.42	c |    186249 |     675    86174   225942 |    97673    92261     40 |  0.162 % |
114.43/114.49	c |    186360 |     675    86174   225942 |    97673    92372     40 |  0.162 % |
114.54/114.56	c |    186481 |     675    86174   225942 |    97673    92493     40 |  0.162 % |
114.63/114.70	c |    186618 |     675    86174   225942 |    97673    92630     40 |  0.162 % |
114.83/114.84	c |    186766 |     675    86174   225942 |    97673    92778     40 |  0.148 % |
114.93/114.99	c |    186931 |     675    86174   225942 |    97673    92943     40 |  0.162 % |
115.13/115.16	c |    187107 |     675    86174   225942 |    97673    93119     40 |  0.163 % |
115.33/115.34	c |    187301 |     675    86174   225942 |    97673    93313     40 |  0.164 % |
115.43/115.49	c |    187513 |     675    86174   225942 |    97673    93525     40 |  0.164 % |
115.73/115.73	c |    187747 |     675    86174   225942 |    97673    93759     40 |  0.148 % |
115.93/115.99	c |    188005 |     675    86174   225942 |    97673    94017     40 |  0.173 % |
116.23/116.22	c |    188287 |     675    86174   225942 |    97673    94299     40 |  0.148 % |
116.43/116.46	c |    188597 |     675    86174   225942 |    97673    94609     40 |  0.148 % |
116.74/116.79	c |    188937 |     675    86174   225942 |    97673    94949     40 |  0.148 % |
117.13/117.14	c |    189311 |     675    86174   225942 |    97673    95323     40 |  0.148 % |
117.53/117.57	c |    189720 |     675    86174   225942 |    97673    95732     40 |  0.163 % |
117.93/118.00	c |    190169 |     675    86174   225942 |    96013    96181     40 |  0.163 % |
118.53/118.57	c |    190667 |     675    86174   225942 |    96013    85251     40 |  0.148 % |
119.03/119.10	c |    191209 |     675    86174   225942 |    96013    85793     40 |  0.162 % |
119.53/119.61	c |    191805 |     675    86174   225942 |    96013    86389     40 |  0.163 % |
120.13/120.14	c |    192460 |     675    86174   225942 |    96013    87044     40 |  0.163 % |
120.63/120.69	c |    193180 |     675    86174   225942 |    96013    87764     40 |  0.163 % |
121.43/121.42	c |    193972 |     675    86174   225942 |    96013    88556     40 |  0.162 % |
122.13/122.14	c |    194843 |     675    86174   225942 |    96013    89427     40 |  0.163 % |
122.93/122.93	c |    195803 |     675    86174   225942 |    96013    90387     40 |  0.148 % |
123.83/123.85	c |    196856 |     675    86174   225942 |    96013    91440     40 |  0.163 % |
124.73/124.82	c |    198018 |     675    86174   225942 |    96013    92602     40 |  0.163 % |
125.73/125.77	c |    199291 |     675    86174   225942 |    96013    93875     40 |  0.148 % |
127.23/127.22	c |    200691 |     675    86174   225942 |    94585    82335     41 |  0.162 % |
128.52/128.52	c |    202232 |     675    86174   225942 |    94585    83876     41 |  0.162 % |
129.93/129.97	c |    203928 |     675    86174   225942 |    94585    85572     41 |  0.162 % |
131.32/131.39	c |    205792 |     675    86174   225942 |    94585    87436     41 |  0.162 % |
133.23/133.30	c |    207843 |     675    86174   225942 |    94585    89487     41 |  0.162 % |
133.32/133.40	c |    207943 |     675    86174   225942 |    94585    89587     41 |  0.162 % |
133.42/133.50	c |    208055 |     675    86174   225942 |    94585    89699     41 |  0.162 % |
133.52/133.59	c |    208177 |     675    86174   225942 |    94585    89821     41 |  0.148 % |
133.62/133.69	c |    208310 |     675    86174   225942 |    94585    89954     41 |  0.148 % |
133.82/133.82	c |    208464 |     675    86174   225942 |    94585    90108     41 |  0.162 % |
133.92/133.94	c |    208625 |     675    86174   225942 |    94585    90269     41 |  0.162 % |
134.02/134.08	c |    208803 |     675    86174   225942 |    94585    90447     41 |  0.162 % |
134.22/134.24	c |    208998 |     675    86174   225942 |    94585    90642     41 |  0.162 % |
134.42/134.43	c |    209210 |     675    86174   225942 |    94585    90854     41 |  0.162 % |
134.62/134.69	c |    209443 |     675    86174   225942 |    94585    91087     41 |  0.162 % |
134.92/135.00	c |    209700 |     675    86174   225942 |    94585    91344     41 |  0.162 % |
135.22/135.29	c |    209981 |     675    86174   225942 |    94585    91625     41 |  0.163 % |
135.52/135.60	c |    210290 |     675    86174   225942 |    91645    91934     40 |  0.163 % |
136.02/136.02	c |    210631 |     675    86174   225942 |    91645    79741     41 |  0.162 % |
136.32/136.36	c |    211003 |     675    86174   225942 |    91645    80113     41 |  0.162 % |
136.62/136.70	c |    211415 |     675    86174   225942 |    91645    80525     42 |  0.148 % |
137.02/137.07	c |    211865 |     675    86174   225942 |    91645    80975     42 |  0.148 % |
137.52/137.53	c |    212360 |     675    86174   225942 |    91645    81470     41 |  0.148 % |
138.02/138.03	c |    212903 |     675    86174   225942 |    91645    82013     41 |  0.163 % |
138.62/138.66	c |    213499 |     675    86174   225942 |    91645    82609     41 |  0.162 % |
139.22/139.21	c |    214155 |     675    86174   225942 |    91645    83265     41 |  0.162 % |
139.72/139.79	c |    214877 |     675    86174   225942 |    91645    83987     41 |  0.162 % |
140.42/140.48	c |    215670 |     675    86174   225942 |    91645    84780     41 |  0.162 % |
141.22/141.22	c |    216541 |     675    86174   225942 |    91645    85651     41 |  0.162 % |
141.92/141.98	c |    217500 |     675    86174   225942 |    91645    86610     41 |  0.148 % |
142.82/142.84	c |    218554 |     675    86174   225942 |    91645    87664     42 |  0.148 % |
143.92/143.95	c |    219712 |     675    86174   225942 |    91645    88822     42 |  0.148 % |
145.12/145.13	c |    220986 |     675    86174   225942 |    89110    77394     42 |  0.148 % |
146.32/146.36	c |    222386 |     675    86174   225942 |    89110    78794     42 |  0.162 % |
147.53/147.58	c |    223928 |     675    86174   225942 |    89110    80336     42 |  0.162 % |
149.02/149.06	c |    225623 |     675    86174   225942 |    89110    82031     42 |  0.163 % |
150.72/150.79	c |    227487 |     675    86174   225942 |    89110    83895     42 |  0.163 % |
152.52/152.60	c |    229540 |     675    86174   225942 |    89110    85948     42 |  0.163 % |
154.72/154.76	c |    231794 |     675    86174   225942 |    86408    76039     42 |  0.148 % |
154.82/154.86	c |    231899 |     675    86174   225942 |    86408    76144     42 |  0.164 % |
154.92/155.00	c |    232009 |     675    86174   225942 |    86408    76254     42 |  0.162 % |
155.12/155.12	c |    232130 |     675    86174   225942 |    86408    76375     42 |  0.148 % |
155.23/155.22	c |    232268 |     675    86174   225942 |    86408    76513     42 |  0.162 % |
155.32/155.36	c |    232414 |     675    86174   225942 |    86408    76659     42 |  0.162 % |
155.52/155.51	c |    232575 |     675    86174   225942 |    86408    76820     42 |  0.162 % |
155.62/155.70	c |    232752 |     675    86174   225942 |    86408    76997     42 |  0.148 % |
155.82/155.88	c |    232945 |     675    86174   225942 |    86408    77190     42 |  0.148 % |
156.02/156.05	c |    233161 |     675    86174   225942 |    86408    77406     42 |  0.162 % |
156.22/156.27	c |    233397 |     675    86174   225942 |    86408    77642     42 |  0.162 % |
156.42/156.49	c |    233655 |     675    86174   225942 |    86408    77900     42 |  0.163 % |
156.72/156.74	c |    233937 |     675    86174   225942 |    86408    78182     42 |  0.163 % |
157.02/157.03	c |    234251 |     675    86174   225942 |    86408    78496     42 |  0.148 % |
157.32/157.37	c |    234592 |     675    86174   225942 |    86408    78837     42 |  0.148 % |
157.62/157.66	c |    234965 |     675    86174   225942 |    86408    79210     42 |  0.148 % |
158.02/158.05	c |    235375 |     675    86174   225942 |    86408    79620     42 |  0.162 % |
158.42/158.46	c |    235824 |     675    86174   225942 |    86408    80069     42 |  0.148 % |
158.92/158.95	c |    236317 |     675    86174   225942 |    86408    80562     42 |  0.162 % |
159.42/159.46	c |    236862 |     675    86174   225942 |    86408    81107     42 |  0.162 % |
159.92/159.93	c |    237458 |     675    86174   225942 |    86408    81703     42 |  0.148 % |
160.62/160.62	c |    238116 |     675    86174   225942 |    86408    82361     42 |  0.162 % |
161.22/161.29	c |    238837 |     675    86174   225942 |    86408    83082     42 |  0.163 % |
161.92/161.94	c |    239631 |     675    86174   225942 |    86408    83876     42 |  0.163 % |
162.72/162.79	c |    240503 |     675    86174   225942 |    84246    72346     40 |  0.163 % |
163.62/163.60	c |    241461 |     675    86174   225942 |    84246    73304     41 |  0.148 % |
164.52/164.53	c |    242516 |     675    86174   225942 |    84246    74359     40 |  0.162 % |
165.32/165.37	c |    243675 |     675    86174   225942 |    84246    75518     41 |  0.148 % |
166.52/166.54	c |    244948 |     675    86174   225942 |    84246    76791     41 |  0.148 % |
167.82/167.87	c |    246352 |     675    86174   225942 |    84246    78195     41 |  0.163 % |
169.43/169.49	c |    247892 |     675    86174   225942 |    84246    79735     41 |  0.163 % |
171.13/171.13	c |    249588 |     675    86174   225942 |    84246    81431     41 |  0.163 % |
172.93/172.98	c |    251451 |     675    86174   225942 |    81845    71222     41 |  0.148 % |
174.93/174.94	c |    253504 |     675    86174   225942 |    81845    73275     41 |  0.148 % |
177.03/177.05	c |    255757 |     675    86174   225942 |    81845    75528     41 |  0.148 % |
179.43/179.49	c |    258241 |     675    86174   225942 |    81845    78012     41 |  0.163 % |
179.63/179.62	c |    258341 |     675    86174   225942 |    81845    78112     41 |  0.163 % |
179.73/179.74	c |    258453 |     675    86174   225942 |    81845    78224     41 |  0.163 % |
179.83/179.87	c |    258574 |     675    86174   225942 |    81845    78345     41 |  0.163 % |
180.03/180.04	c |    258707 |     675    86174   225942 |    81845    78478     41 |  0.148 % |
180.13/180.15	c |    258853 |     675    86174   225942 |    81845    78624     41 |  0.148 % |
180.23/180.28	c |    259014 |     675    86174   225942 |    81845    78785     41 |  0.149 % |
180.43/180.47	c |    259194 |     675    86174   225942 |    81845    78965     41 |  0.148 % |
180.63/180.64	c |    259389 |     675    86174   225942 |    81845    79160     41 |  0.162 % |
180.83/180.88	c |    259604 |     675    86174   225942 |    81845    79375     41 |  0.164 % |
181.03/181.10	c |    259837 |     675    86174   225942 |    81845    79608     41 |  0.148 % |
181.33/181.33	c |    260093 |     675    86174   225942 |    79772    79864     41 |  0.163 % |
181.63/181.70	c |    260375 |     675    86174   225942 |    79772    68152     41 |  0.148 % |
181.93/182.00	c |    260686 |     675    86174   225942 |    79772    68463     41 |  0.148 % |
182.23/182.30	c |    261027 |     675    86174   225942 |    79772    68804     42 |  0.162 % |
182.63/182.62	c |    261403 |     675    86174   225942 |    79772    69180     42 |  0.148 % |
183.03/183.03	c |    261815 |     675    86174   225942 |    79772    69592     42 |  0.148 % |
183.43/183.47	c |    262266 |     675    86174   225942 |    79772    70043     42 |  0.148 % |
183.93/183.92	c |    262763 |     675    86174   225942 |    79772    70540     42 |  0.162 % |
184.33/184.40	c |    263305 |     675    86174   225942 |    79772    71082     42 |  0.162 % |
184.83/184.91	c |    263901 |     675    86174   225942 |    79772    71678     42 |  0.162 % |
185.43/185.47	c |    264557 |     675    86174   225942 |    79772    72334     42 |  0.163 % |
186.13/186.17	c |    265278 |     675    86174   225942 |    79772    73055     42 |  0.148 % |
186.93/186.92	c |    266076 |     675    86174   225942 |    79772    73853     42 |  0.162 % |
187.73/187.75	c |    266950 |     675    86174   225942 |    79772    74727     42 |  0.148 % |
188.63/188.68	c |    267908 |     675    86174   225942 |    79772    75685     42 |  0.148 % |
189.73/189.73	c |    268961 |     675    86174   225942 |    79772    76738     42 |  0.162 % |
190.73/190.81	c |    270119 |     675    86174   225942 |    77777    77896     42 |  0.162 % |
192.03/192.02	c |    271394 |     675    86174   225942 |    77777    68053     42 |  0.148 % |
193.23/193.27	c |    272796 |     675    86174   225942 |    77777    69455     41 |  0.162 % |
194.73/194.79	c |    274339 |     675    86174   225942 |    77777    70998     42 |  0.162 % |
196.23/196.24	c |    276034 |     675    86174   225942 |    77777    72693     41 |  0.163 % |
197.93/197.94	c |    277897 |     675    86174   225942 |    77777    74556     42 |  0.148 % |
199.83/199.87	c |    279946 |     675    86174   225942 |    77777    76605     42 |  0.162 % |
201.93/202.01	c |    282202 |     675    86174   225942 |    76659    67710     41 |  0.162 % |
204.23/204.26	c |    284680 |     675    86174   225942 |    76659    70188     41 |  0.148 % |
206.93/206.94	c |    287406 |     675    86174   225942 |    76659    72914     41 |  0.164 % |
207.03/207.05	c |    287510 |     675    86174   225942 |    76659    73018     41 |  0.163 % |
207.13/207.21	c |    287621 |     675    86174   225942 |    76659    73129     41 |  0.148 % |
207.33/207.36	c |    287745 |     675    86174   225942 |    76659    73253     41 |  0.148 % |
207.43/207.48	c |    287880 |     675    86174   225942 |    76659    73388     41 |  0.162 % |
207.63/207.65	c |    288029 |     675    86174   225942 |    76659    73537     41 |  0.162 % |
207.83/207.82	c |    288190 |     675    86174   225942 |    76659    73698     41 |  0.148 % |
207.93/207.99	c |    288369 |     675    86174   225942 |    76659    73877     41 |  0.148 % |
208.13/208.19	c |    288563 |     675    86174   225942 |    76659    74071     41 |  0.163 % |
208.33/208.39	c |    288775 |     675    86174   225942 |    76659    74283     41 |  0.148 % |
208.63/208.63	c |    289009 |     675    86174   225942 |    76659    74517     41 |  0.148 % |
208.83/208.90	c |    289267 |     675    86174   225942 |    76659    74775     41 |  0.149 % |
209.13/209.16	c |    289549 |     675    86174   225942 |    76659    75057     41 |  0.148 % |
209.43/209.47	c |    289862 |     675    86174   225942 |    76659    75370     41 |  0.148 % |
209.93/209.98	c |    290202 |     675    86174   225942 |    75511    64131     41 |  0.148 % |
210.33/210.33	c |    290578 |     675    86174   225942 |    75511    64507     41 |  0.148 % |
210.63/210.68	c |    290989 |     675    86174   225942 |    75511    64918     41 |  0.148 % |
211.13/211.11	c |    291440 |     675    86174   225942 |    75511    65369     41 |  0.148 % |
211.53/211.60	c |    291934 |     675    86174   225942 |    75511    65863     41 |  0.148 % |
212.03/212.07	c |    292477 |     675    86174   225942 |    75511    66406     41 |  0.148 % |
212.63/212.62	c |    293073 |     675    86174   225942 |    75511    67002     41 |  0.163 % |
213.23/213.22	c |    293733 |     675    86174   225942 |    75511    67662     41 |  0.148 % |
213.83/213.90	c |    294456 |     675    86174   225942 |    75511    68385     41 |  0.148 % |
214.63/214.66	c |    295252 |     675    86174   225942 |    75511    69181     41 |  0.162 % |
215.43/215.50	c |    296123 |     675    86174   225942 |    75511    70052     41 |  0.162 % |
216.23/216.30	c |    297084 |     675    86174   225942 |    75511    71013     41 |  0.148 % |
217.33/217.38	c |    298139 |     675    86174   225942 |    75511    72068     42 |  0.148 % |
218.63/218.62	c |    299299 |     675    86174   225942 |    75511    73228     41 |  0.163 % |
219.03/219.09	c ===============================================================================
219.03/219.09	c restarts              : 695
219.03/219.09	c conflicts             : 299748         (1369 /sec)
219.03/219.09	c decisions             : 581896         (1.11 % random) (2658 /sec)
219.03/219.09	c propagations          : 34213049       (156260 /sec)
219.03/219.09	c conflict literals     : 12733641       (42.51 % deleted)
219.03/219.09	c Memory used           : 28.64 MB
219.03/219.09	c CPU time              : 218.95 s
219.03/219.09	c 
219.03/219.09	s SATISFIABLE
219.03/219.09	s SATISFIABLE
219.03/219.09	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 0

Verifier Data

OK

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2416 CPUtime=0
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 368 647 0 0 0 0 0 0 18 0 1 0 1010464333 2473984 277 4294967295 134512640 135169312 3220896512 3220895048 3085500142 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11081/statm: 604 277 235 161 0 43 0
[pid=11085] ppid=11081 vsize=956 CPUtime=0
/proc/11085/stat : 11085 (SatELite_releas) R 11081 11081 16367 0 -1 4202496 141 0 0 0 0 0 0 0 18 0 1 0 1010464333 978944 77 4294967295 134512640 135223648 3212870464 3212869184 134734703 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11085/statm: 272 83 46 174 0 97 0

[startup+0.107683 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2416 CPUtime=0
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 368 647 0 0 0 0 0 0 18 0 1 0 1010464333 2473984 277 4294967295 134512640 135169312 3220896512 3220895048 3085500142 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11081/statm: 604 277 235 161 0 43 0
[pid=11085] ppid=11081 vsize=5740 CPUtime=0.11
/proc/11085/stat : 11085 (SatELite_releas) R 11081 11081 16367 0 -1 4202496 1326 0 0 0 9 2 0 0 18 0 1 0 1010464333 5877760 1262 4294967295 134512640 135223648 3212870464 3212867084 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11085/statm: 1435 1262 72 174 0 1260 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8156

[startup+0.217675 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2420

[startup+0.317669 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2420

[startup+0.717647 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2420

[startup+1.5176 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11087
/proc/meminfo: memFree=648876/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=7248 CPUtime=1.39
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 1742 0 0 0 139 0 0 0 19 0 1 0 1010464346 7421952 1677 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 1812 1677 73 172 0 1639 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9668

[startup+3.11751 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11088
/proc/meminfo: memFree=647760/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=8816 CPUtime=2.99
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 2135 0 0 0 299 0 0 0 25 0 1 0 1010464346 9027584 2070 4294967295 134512640 135215339 3214466352 3214464640 134528908 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 2204 2070 73 172 0 2031 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 11236

[startup+6.31733 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11088
/proc/meminfo: memFree=644908/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=11092 CPUtime=6.19
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 2718 0 0 0 619 0 0 0 25 0 1 0 1010464346 11358208 2653 4294967295 134512640 135215339 3214466352 3214464640 134528721 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 2773 2653 73 172 0 2600 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13512

[startup+12.717 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11088
/proc/meminfo: memFree=641004/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=15000 CPUtime=12.59
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 3680 0 0 0 1259 0 0 0 25 0 1 0 1010464346 15360000 3615 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 3750 3615 73 172 0 3577 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 17420

[startup+25.5162 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11271
/proc/meminfo: memFree=635324/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=20008 CPUtime=25.39
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 4920 0 0 0 2539 0 0 0 25 0 1 0 1010464346 20488192 4855 4294967295 134512640 135215339 3214466352 3214464624 134525048 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 5002 4855 73 172 0 4829 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 22428

[startup+51.1248 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11273
/proc/meminfo: memFree=627892/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=27720 CPUtime=51
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 6841 0 0 0 5099 1 0 0 25 0 1 0 1010464346 28385280 6776 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 6930 6776 73 172 0 6757 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 30140

[startup+102.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11460
/proc/meminfo: memFree=626124/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29184 CPUtime=102.2
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7198 0 0 0 10218 2 0 0 25 0 1 0 1010464346 29884416 7133 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7296 7133 73 172 0 7123 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 31604

[startup+162.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11649
/proc/meminfo: memFree=626000/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29184 CPUtime=162.19
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7223 0 0 0 16217 2 0 0 25 0 1 0 1010464346 29884416 7158 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7296 7158 73 172 0 7123 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 31604

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

[startup+179.218 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11649
/proc/meminfo: memFree=626072/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=179.1
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7229 0 0 0 17908 2 0 0 25 0 1 0 1010464346 30027776 7164 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7164 73 172 0 7158 0
Current children cumulated CPU time (s) 179.23
Current children cumulated vsize (KiB) 31744

[startup+204.816 s]
/proc/loadavg: 1.00 1.00 1.00 5/100 11743
/proc/meminfo: memFree=625228/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=204.7
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7250 0 0 0 20468 2 0 0 25 0 1 0 1010464346 30027776 7185 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7185 73 172 0 7158 0
Current children cumulated CPU time (s) 204.83
Current children cumulated vsize (KiB) 31744

[startup+211.216 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11840
/proc/meminfo: memFree=625400/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=211.1
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7255 0 0 0 21108 2 0 0 25 0 1 0 1010464346 30027776 7190 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7190 73 172 0 7158 0
Current children cumulated CPU time (s) 211.23
Current children cumulated vsize (KiB) 31744

[startup+214.416 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625408/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=214.3
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7255 0 0 0 21428 2 0 0 25 0 1 0 1010464346 30027776 7190 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7190 73 172 0 7158 0
Current children cumulated CPU time (s) 214.43
Current children cumulated vsize (KiB) 31744

[startup+217.615 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625472/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=217.5
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7260 0 0 0 21748 2 0 0 25 0 1 0 1010464346 30027776 7195 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7195 73 172 0 7158 0
Current children cumulated CPU time (s) 217.63
Current children cumulated vsize (KiB) 31744

[startup+218.415 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625472/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=218.3
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7260 0 0 0 21828 2 0 0 25 0 1 0 1010464346 30027776 7195 4294967295 134512640 135215339 3214466352 3214464640 134528779 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7195 73 172 0 7158 0
Current children cumulated CPU time (s) 218.43
Current children cumulated vsize (KiB) 31744

[startup+218.815 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625472/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=218.7
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7260 0 0 0 21868 2 0 0 25 0 1 0 1010464346 30027776 7195 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7195 73 172 0 7158 0
Current children cumulated CPU time (s) 218.83
Current children cumulated vsize (KiB) 31744

[startup+219.015 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625472/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=218.9
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7260 0 0 0 21888 2 0 0 25 0 1 0 1010464346 30027776 7195 4294967295 134512640 135215339 3214466352 3214464640 134528776 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7195 73 172 0 7158 0
Current children cumulated CPU time (s) 219.03
Current children cumulated vsize (KiB) 31744

Child status: 10
Real time (s): 219.1
CPU time (s): 219.11
CPU user time (s): 219.06
CPU system time (s): 0.05
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 31744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.06
system time used= 0.05
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10090
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= 27
involuntary context switches= 315

runsolver used 0 second user time and 0 second system time

The end

Launcher Data

Begin job on tipi11 at 2009-05-16 09:40:33
IDJOB=1820620
IDBENCH=20494
IDSOLVER=657
FILE ID=tipi11/1820620-1242459633
PBS_JOBID=
Free space on /tmp= 10597 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_26.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820620-1242459633/watcher-1820620-1242459633 -o /tmp/evaluation-result-1820620-1242459633/solver-1820620-1242459633 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820620-1242459633.cnf

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

MD5SUM BENCH= 7e9eba7a609bdbcf7c3a7e0f5c07ab04
RANDOM SEED= 1369309406

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

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

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
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:        655860 kB
Buffers:         37892 kB
Cached:        1278672 kB
SwapCached:       5336 kB
Active:         356520 kB
Inactive:       971996 kB
HighTotal:     1178688 kB
HighFree:       184408 kB
LowTotal:       895776 kB
LowFree:        471452 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:            2656 kB
Writeback:           0 kB
AnonPages:       11092 kB
Mapped:           4952 kB
Slab:            80604 kB
PageTables:        388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97132 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10597 MiB
End job on tipi11 at 2009-05-16 09:44:13