Trace number 1821401

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 r-2009-03-18? (TO) 1200.07 1200.05

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
MD5SUM4c8b9603e0c90cfb3c82064eae956799
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1069.71
Satisfiable
(Un)Satisfiability was proved
Number of variables266199
Number of clauses1575975
Sum of the clauses size4240496
Maximum clause length33
Minimum clause length1
Number of clauses of size 139783
Number of clauses of size 21138497
Number of clauses of size 3317809
Number of clauses of size 49949
Number of clauses of size 50
Number of clauses of size over 569937

Solver Data 

0.00/0.00	c Parsing...
1.22/1.27	c ==============================================================================
1.22/1.27	c |           |     ORIGINAL     |              LEARNT              |          |
1.22/1.27	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.22/1.27	c ==============================================================================
1.22/1.27	c |         0 | 1328859  3634310 |  398657       0        0     nan |  0.000 % |
46.22/46.30	c |         0 |  253406  1804413 |      --       0       --      -- |     --   | -752995/-922075
46.22/46.30	c ==============================================================================
46.22/46.30	c Result  :   #vars: 4366   #clauses: 253406   #literals: 1804413
46.22/46.30	c CPU time:   45.91 s
46.22/46.30	c ==============================================================================
46.92/46.92	c This is MiniSat 2.0 beta
46.92/46.92	c WARNING: for repeatability, setting FPU to use double precision
46.92/46.92	c ============================[ Problem Statistics ]=============================
46.92/46.92	c |                                                                             |
46.92/46.92	c |  Number of variables:  4366                                                 |
46.92/46.92	c |  Number of clauses:    253406                                               |
46.93/47.17	c |  Parsing time:         0.20         s                                       |
46.93/47.19	c ============================[ Search Statistics ]==============================
46.93/47.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.93/47.19	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
46.93/47.19	c ===============================================================================
46.93/47.19	c |         0 |    4366   253406  1804413 |    84468        0    nan |  0.000 % |
47.22/47.22	c |       512 |    4366   253406  1804413 |    84468      512     12 |  0.000 % |
47.22/47.29	c |      1024 |    4366   253406  1804413 |    84468     1024     13 |  0.000 % |
47.32/47.32	c |      1536 |    4366   253406  1804413 |    84468     1536     11 |  0.000 % |
47.42/47.51	c |      2560 |    4366   253406  1804413 |    84468     2560     10 |  0.000 % |
47.52/47.57	c |      3072 |    4366   253406  1804413 |    84468     3072     10 |  0.000 % |
47.62/47.64	c |      3585 |    4366   253406  1804413 |    84468     3585     11 |  0.000 % |
47.72/47.79	c |      4610 |    4366   253406  1804413 |    84468     4610     11 |  0.000 % |
48.12/48.16	c |      6659 |    4366   253406  1804413 |    84468     6659     12 |  0.000 % |
48.22/48.24	c |      7173 |    4366   253406  1804413 |    84468     7173     13 |  0.000 % |
48.42/48.41	c |      7685 |    4366   253406  1804413 |    84468     7685     13 |  0.000 % |
48.42/48.49	c |      8710 |    4366   253406  1804413 |    84468     8710     14 |  0.000 % |
48.52/48.53	c |      9222 |    4366   253406  1804413 |    84468     9222     15 |  0.000 % |
48.62/48.61	c |      9734 |    4366   253406  1804413 |    84468     9734     15 |  0.000 % |
48.82/48.81	c |     10758 |    4366   253406  1804413 | 2147483647    10758     15 |  0.000 % |
48.92/48.98	c |     12808 |    4366   253406  1804413 | 2147483647    12808     15 |  0.000 % |
49.32/49.38	c |     16904 |    4365   253406  1804413 | 2147483647    16903     15 |  0.023 % |
49.42/49.46	c |     17416 |    4365   253406  1804413 | 2147483647    17415     15 |  0.023 % |
49.42/49.50	c |     17929 |    4365   253406  1804413 | 2147483647    17928     15 |  0.023 % |
49.72/49.76	c |     18953 |    4364   253406  1804413 | 2147483647    18951     15 |  0.046 % |
49.82/49.83	c |     19465 |    4364   253406  1804413 | 2147483647    19463     15 |  0.046 % |
49.92/49.92	c |     19977 |    4364   253406  1804413 | 2147483647    19975     15 |  0.046 % |
50.12/50.11	c |     21002 |    4364   253406  1804413 | 2147483647    21000     15 |  0.046 % |
50.42/50.50	c |     23051 |    4364   253406  1804413 | 2147483647    23049     15 |  0.046 % |
50.62/50.61	c |     23563 |    4364   253406  1804413 | 2147483647    23561     16 |  0.046 % |
50.72/50.72	c |     24077 |    4364   253406  1804413 | 2147483647    24075     16 |  0.046 % |
50.82/50.89	c |     25103 |    4364   253406  1804413 | 2147483647    25101     15 |  0.046 % |
50.92/50.99	c |     25615 |    4364   253406  1804413 | 2147483647    25613     16 |  0.046 % |
51.02/51.07	c |     26128 |    4364   253406  1804413 | 2147483647    26126     16 |  0.046 % |
51.12/51.19	c |     27153 |    4364   253406  1804413 | 2147483647    27151     15 |  0.046 % |
51.62/51.69	c |     29202 |    4363   253406  1804413 | 2147483647    29199     15 |  0.069 % |
52.42/52.43	c |     33298 |    4361   253406  1804413 | 2147483647    33293     15 |  0.115 % |
55.72/55.79	c |     41491 |    4361   253406  1804413 | 2147483647    41486     16 |  0.115 % |
55.82/55.88	c |     42005 |    4361   253346  1804258 | 2147483647    41998     16 |  0.115 % |
55.92/55.95	c |     42517 |    4361   253346  1804258 | 2147483647    42510     16 |  0.115 % |
56.22/56.29	c |     43541 |    4361   253346  1804258 | 2147483647    43534     17 |  0.115 % |
56.32/56.39	c |     44054 |    4361   253346  1804258 | 2147483647    44047     16 |  0.115 % |
56.42/56.48	c |     44567 |    4361   253346  1804258 | 2147483647    44560     16 |  0.115 % |
56.62/56.61	c |     45591 |    4361   253346  1804258 | 2147483647    45584     16 |  0.115 % |
56.82/56.87	c |     47641 |    4360   253346  1804258 | 2147483647    47633     16 |  0.138 % |
57.02/57.08	c |     48153 |    4360   253346  1804258 | 2147483647    48145     16 |  0.137 % |
57.12/57.20	c |     48666 |    4360   253346  1804258 | 2147483647    48658     16 |  0.137 % |
57.62/57.67	c |     49691 |    4360   253346  1804258 | 2147483647    49683     16 |  0.137 % |
57.82/57.86	c |     50204 |    4360   253346  1804258 | 2147483647    50196     16 |  0.137 % |
57.92/57.98	c |     50717 |    4360   253346  1804258 | 2147483647    50709     16 |  0.137 % |
58.12/58.18	c |     51741 |    4360   253346  1804258 | 2147483647    51733     16 |  0.137 % |
58.52/58.56	c |     53790 |    4359   253346  1804258 | 2147483647    53781     16 |  0.160 % |
59.82/59.90	c |     57887 |    4359   253346  1804258 | 2147483647    57878     17 |  0.160 % |
60.02/60.08	c |     58399 |    4359   253346  1804258 | 2147483647    58390     17 |  0.160 % |
60.12/60.17	c |     58911 |    4359   253346  1804258 | 2147483647    58902     17 |  0.160 % |
60.22/60.24	c |     59936 |    4359   253346  1804258 | 2147483647    59927     17 |  0.160 % |
60.32/60.36	c |     60448 |    4359   253346  1804258 | 2147483647    60439     17 |  0.160 % |
60.42/60.48	c |     60960 |    4358   253346  1804258 | 2147483647    60950     17 |  0.183 % |
60.53/60.60	c |     61985 |    4358   253346  1804258 | 2147483647    61975     17 |  0.183 % |
61.02/61.06	c |     64034 |    4358   253346  1804258 | 2147483647    64024     17 |  0.183 % |
61.12/61.11	c |     64547 |    4358   253346  1804258 | 2147483647    64537     17 |  0.183 % |
61.12/61.17	c |     65061 |    4358   253346  1804258 | 2147483647    65051     17 |  0.183 % |
61.32/61.39	c |     66086 |    4358   253346  1804258 | 2147483647    66076     17 |  0.183 % |
61.52/61.58	c |     66600 |    4358   253346  1804258 | 2147483647    66590     17 |  0.183 % |
61.63/61.64	c |     67113 |    4358   253346  1804258 | 2147483647    67103     17 |  0.183 % |
61.72/61.75	c |     68138 |    4358   253346  1804258 | 2147483647    68128     17 |  0.183 % |
62.73/62.78	c |     70187 |    4357   253346  1804258 | 2147483647    70176     17 |  0.206 % |
63.52/63.51	c |     74284 |    4357   253346  1804258 | 2147483647    74273     17 |  0.206 % |
65.82/65.83	c |     82477 |    4357   253346  1804258 | 2147483647    82466     18 |  0.206 % |
72.02/72.04	c |     98862 |    4357   253346  1804258 | 2147483647    98851     19 |  0.206 % |
72.12/72.15	c |     99374 |    4357   253298  1804134 | 2147483647    99359     19 |  0.206 % |
72.22/72.24	c |     99888 |    4357   253298  1804134 | 2147483647    99873     19 |  0.206 % |
72.42/72.43	c |    100912 |    4357   253298  1804134 | 2147483647   100897     19 |  0.206 % |
72.52/72.53	c |    101425 |    4357   253298  1804134 | 2147483647   101410     19 |  0.206 % |
72.63/72.65	c |    101937 |    4357   253298  1804134 | 2147483647   101922     19 |  0.206 % |
72.82/72.88	c |    102962 |    4357   253298  1804134 | 2147483647   102947     19 |  0.206 % |
73.32/73.39	c |    105010 |    4357   253298  1804134 | 2147483647   104995     19 |  0.206 % |
73.52/73.52	c |    105522 |    4357   253298  1804134 | 2147483647   105507     19 |  0.206 % |
73.62/73.67	c |    106034 |    4357   253298  1804134 | 2147483647   106019     19 |  0.206 % |
74.32/74.38	c |    107060 |    4357   253298  1804134 | 2147483647   107045     19 |  0.206 % |
74.42/74.50	c |    107572 |    4357   253298  1804134 | 2147483647   107557     19 |  0.206 % |
74.52/74.59	c |    108086 |    4357   253298  1804134 | 2147483647   108071     19 |  0.206 % |
75.12/75.12	c |    109111 |    4357   253298  1804134 | 2147483647   109096     19 |  0.206 % |
76.12/76.12	c |    111159 |    4354   253298  1804134 | 2147483647   111141     19 |  0.275 % |
77.03/77.05	c |    115257 |    4353   253298  1804134 | 2147483647   115238     19 |  0.298 % |
77.12/77.13	c |    115771 |    4353   253298  1804134 | 2147483647   115752     19 |  0.298 % |
77.12/77.19	c |    116283 |    4353   253298  1804134 | 2147483647   116264     19 |  0.298 % |
77.32/77.35	c |    117308 |    4353   253298  1804134 | 2147483647   117289     19 |  0.298 % |
77.42/77.43	c |    117823 |    4353   253298  1804134 | 2147483647   117804     19 |  0.298 % |
77.62/77.68	c |    118336 |    4352   253298  1804134 | 2147483647   118316     19 |  0.321 % |
77.82/77.88	c |    119361 |    4352   253298  1804134 | 2147483647   119341     19 |  0.321 % |
78.72/78.79	c |    121409 |    4352   253298  1804134 | 2147483647   121389     19 |  0.321 % |
78.82/78.87	c |    121921 |    4352   253298  1804134 | 2147483647   121901     19 |  0.321 % |
79.02/79.07	c |    122434 |    4352   253298  1804134 | 2147483647   122414     19 |  0.321 % |
79.12/79.15	c |    123460 |    4352   253298  1804134 | 2147483647   123440     19 |  0.321 % |
79.42/79.45	c |    123972 |    4352   253298  1804134 | 2147483647   123952     19 |  0.321 % |
79.52/79.56	c |    124484 |    4352   253298  1804134 | 2147483647   124464     19 |  0.321 % |
80.12/80.13	c |    125510 |    4352   253298  1804134 | 2147483647   125490     19 |  0.321 % |
81.12/81.11	c |    127558 |    4352   253298  1804134 | 2147483647   127538     19 |  0.321 % |
83.32/83.40	c |    131655 |    4352   253298  1804134 | 2147483647   131635     19 |  0.321 % |
84.73/84.77	c |    139847 |    4350   253298  1804134 | 2147483647   139825     19 |  0.366 % |
84.82/84.84	c |    140359 |    4350   253298  1804134 | 2147483647   140337     19 |  0.366 % |
85.12/85.12	c |    140872 |    4350   253298  1804134 | 2147483647   140850     19 |  0.366 % |
85.22/85.28	c |    141897 |    4350   253298  1804134 | 2147483647   141875     19 |  0.366 % |
85.32/85.39	c |    142409 |    4350   253298  1804134 | 2147483647   142387     19 |  0.366 % |
85.52/85.59	c |    142921 |    4350   253298  1804134 | 2147483647   142899     19 |  0.366 % |
85.83/85.85	c |    143947 |    4350   253298  1804134 | 2147483647   143925     19 |  0.366 % |
86.62/86.68	c |    145997 |    4350   253298  1804134 | 2147483647   145975     19 |  0.366 % |
86.93/86.92	c |    146509 |    4350   253298  1804134 | 2147483647   146487     19 |  0.366 % |
86.93/86.99	c |    147021 |    4350   253298  1804134 | 2147483647   146999     19 |  0.366 % |
87.12/87.11	c |    148045 |    4350   253298  1804134 | 2147483647   148023     19 |  0.366 % |
87.22/87.27	c |    148558 |    4350   253298  1804134 | 2147483647   148536     19 |  0.366 % |
87.42/87.48	c |    149072 |    4350   253298  1804134 | 2147483647   149050     19 |  0.366 % |
87.82/87.90	c |    150096 |    4350   253298  1804134 | 2147483647   150074     19 |  0.366 % |
88.80/88.88	c |    152145 |    4350   253298  1804134 | 2147483647   152123     19 |  0.366 % |
90.50/90.54	c |    156241 |    4350   253298  1804134 | 2147483647   156219     19 |  0.366 % |
90.80/90.88	c |    156754 |    4350   253298  1804134 | 2147483647   156732     19 |  0.366 % |
90.90/90.97	c |    157266 |    4350   253298  1804134 | 2147483647   157244     19 |  0.366 % |
91.40/91.48	c |    158290 |    4350   253298  1804134 | 2147483647   158268     19 |  0.366 % |
91.60/91.66	c |    158803 |    4350   253217  1803917 | 2147483647   158773     19 |  0.366 % |
91.80/91.87	c |    159316 |    4350   253217  1803917 | 2147483647   159286     19 |  0.366 % |
92.20/92.23	c |    160340 |    4350   253217  1803917 | 2147483647   160310     19 |  0.366 % |
92.80/92.86	c |    162389 |    4350   253217  1803917 | 2147483647   162359     19 |  0.366 % |
92.90/92.99	c |    162901 |    4350   253217  1803917 | 2147483647   162871     19 |  0.366 % |
93.00/93.09	c |    163413 |    4350   253217  1803917 | 2147483647   163383     19 |  0.366 % |
93.10/93.18	c |    164437 |    4350   253217  1803917 | 2147483647   164407     19 |  0.366 % |
93.20/93.29	c |    164949 |    4350   253217  1803917 | 2147483647   164919     19 |  0.366 % |
93.51/93.58	c |    165463 |    4350   253217  1803917 | 2147483647   165433     19 |  0.366 % |
93.80/93.81	c |    166488 |    4350   253217  1803917 | 2147483647   166458     19 |  0.366 % |
94.40/94.49	c |    168537 |    4350   253217  1803917 | 2147483647   168507     19 |  0.366 % |
96.00/96.03	c |    172633 |    4350   253217  1803917 | 2147483647   172603     19 |  0.366 % |
100.40/100.48	c |    180826 |    4349   253217  1803917 | 2147483647   180795     19 |  0.389 % |
111.81/111.82	c |    197213 |    4349   253217  1803917 | 2147483647   197182     21 |  0.389 % |
125.41/125.51	c |    229982 |    4349   253217  1803917 | 2147483647   229951     22 |  0.389 % |
125.71/125.79	c |    230494 |    4349   253205  1803886 | 2147483647   230461     22 |  0.389 % |
125.91/125.95	c |    231006 |    4349   253205  1803886 | 2147483647   230973     22 |  0.389 % |
126.61/126.66	c |    232031 |    4349   253205  1803886 | 2147483647   231998     22 |  0.389 % |
126.71/126.80	c |    232543 |    4349   253205  1803886 | 2147483647   232510     22 |  0.389 % |
127.01/127.05	c |    233055 |    4349   253205  1803886 | 2147483647   233022     22 |  0.389 % |
128.01/128.07	c |    234080 |    4349   253205  1803886 | 2147483647   234047     22 |  0.389 % |
128.81/128.90	c |    236128 |    4349   253205  1803886 | 2147483647   236095     22 |  0.389 % |
129.01/129.06	c |    236641 |    4349   253205  1803886 | 2147483647   236608     22 |  0.389 % |
129.31/129.33	c |    237153 |    4349   253205  1803886 | 2147483647   237120     22 |  0.389 % |
129.81/129.84	c |    238180 |    4349   253205  1803886 | 2147483647   238147     22 |  0.389 % |
129.92/129.98	c |    238693 |    4349   253205  1803886 | 2147483647   238660     21 |  0.389 % |
130.02/130.08	c |    239205 |    4349   253205  1803886 | 2147483647   239172     21 |  0.389 % |
130.92/130.96	c |    240229 |    4349   253205  1803886 | 2147483647   240196     22 |  0.389 % |
131.82/131.91	c |    242278 |    4349   253205  1803886 | 2147483647   242245     21 |  0.389 % |
133.72/133.75	c |    246376 |    4349   253205  1803886 | 2147483647   246343     21 |  0.389 % |
133.82/133.85	c |    246888 |    4349   253205  1803886 | 2147483647   246855     21 |  0.389 % |
134.22/134.25	c |    247401 |    4349   253205  1803886 | 2147483647   247368     21 |  0.389 % |
134.52/134.55	c |    248426 |    4349   253205  1803886 | 2147483647   248393     21 |  0.389 % |
134.62/134.65	c |    248939 |    4349   253205  1803886 | 2147483647   248906     21 |  0.389 % |
134.82/134.86	c |    249452 |    4349   253205  1803886 | 2147483647   249419     21 |  0.389 % |
135.02/135.05	c |    250477 |    4349   253205  1803886 | 2147483647   250444     21 |  0.389 % |
135.82/135.86	c |    252527 |    4349   253205  1803886 | 2147483647   252494     21 |  0.389 % |
135.92/135.96	c |    253039 |    4348   253205  1803886 | 2147483647   253005     21 |  0.412 % |
136.52/136.59	c |    253553 |    4348   253205  1803886 | 2147483647   253519     21 |  0.412 % |
136.82/136.85	c |    254579 |    4347   253205  1803886 | 2147483647   254544     21 |  0.435 % |
137.22/137.25	c |    255093 |    4347   253205  1803886 | 2147483647   255058     21 |  0.435 % |
137.42/137.48	c |    255606 |    4347   253205  1803886 | 2147483647   255571     21 |  0.435 % |
137.62/137.71	c |    256631 |    4347   253205  1803886 | 2147483647   256596     21 |  0.435 % |
138.52/138.59	c |    258679 |    4347   253205  1803886 | 2147483647   258644     21 |  0.435 % |
140.72/140.75	c |    262776 |    4347   253205  1803886 | 2147483647   262741     21 |  0.435 % |
144.12/144.16	c |    270968 |    4347   253205  1803886 | 2147483647   270933     21 |  0.435 % |
144.42/144.50	c |    271480 |    4347   253205  1803886 | 2147483647   271445     21 |  0.435 % |
144.62/144.64	c |    271993 |    4347   253205  1803886 | 2147483647   271958     21 |  0.435 % |
145.52/145.61	c |    273018 |    4347   253205  1803886 | 2147483647   272983     21 |  0.435 % |
145.72/145.72	c |    273531 |    4347   253205  1803886 | 2147483647   273496     21 |  0.435 % |
145.72/145.82	c |    274043 |    4347   253205  1803886 | 2147483647   274008     21 |  0.435 % |
146.62/146.70	c |    275068 |    4347   253205  1803886 | 2147483647   275033     21 |  0.435 % |
148.02/148.10	c |    277118 |    4347   253205  1803886 | 2147483647   277083     21 |  0.435 % |
148.32/148.32	c |    277631 |    4347   253205  1803886 | 2147483647   277596     21 |  0.435 % |
148.42/148.45	c |    278143 |    4347   253205  1803886 | 2147483647   278108     21 |  0.435 % |
148.92/148.95	c |    279169 |    4347   253205  1803886 | 2147483647   279134     21 |  0.435 % |
149.02/149.11	c |    279681 |    4347   253205  1803886 | 2147483647   279646     21 |  0.435 % |
149.32/149.39	c |    280193 |    4347   253205  1803886 | 2147483647   280158     21 |  0.435 % |
149.52/149.56	c |    281218 |    4347   253205  1803886 | 2147483647   281183     21 |  0.435 % |
152.42/152.47	c |    283267 |    4347   253205  1803886 | 2147483647   283232     21 |  0.435 % |
154.42/154.49	c |    287363 |    4347   253205  1803886 | 2147483647   287328     21 |  0.435 % |
154.52/154.59	c |    287875 |    4347   253205  1803886 | 2147483647   287840     21 |  0.435 % |
154.62/154.63	c |    288387 |    4347   253205  1803886 | 2147483647   288352     21 |  0.435 % |
155.02/155.12	c |    289411 |    4347   253205  1803886 | 2147483647   289376     21 |  0.435 % |
155.32/155.36	c |    289924 |    4347   253205  1803886 | 2147483647   289889     21 |  0.435 % |
155.62/155.70	c |    290436 |    4347   253205  1803886 | 2147483647   290401     21 |  0.435 % |
156.32/156.38	c |    291461 |    4347   253205  1803886 | 2147483647   291426     21 |  0.435 % |
156.82/156.84	c |    293509 |    4347   253205  1803886 | 2147483647   293474     21 |  0.435 % |
156.92/156.96	c |    294021 |    4347   253205  1803886 | 2147483647   293986     21 |  0.435 % |
157.52/157.55	c |    294533 |    4347   253205  1803886 | 2147483647   294498     21 |  0.435 % |
158.12/158.20	c |    295558 |    4347   253205  1803886 | 2147483647   295523     21 |  0.435 % |
158.42/158.43	c |    296072 |    4346   253205  1803886 | 2147483647   296036     21 |  0.458 % |
158.82/158.84	c |    296584 |    4346   253205  1803886 | 2147483647   296548     21 |  0.458 % |
159.02/159.03	c |    297609 |    4346   253205  1803886 | 2147483647   297573     21 |  0.458 % |
160.72/160.81	c |    299657 |    4346   253205  1803886 | 2147483647   299621     21 |  0.458 % |
162.91/162.99	c |    303754 |    4346   253205  1803886 |   299965   273493     21 |  0.458 % |
166.50/166.55	c |    311946 |    4346   253205  1803886 | 2147483647   281685     21 |  0.458 % |
190.50/190.59	c |    328331 |    4346   253205  1803886 | 2147483647   298070     21 |  0.458 % |
190.80/190.85	c |    328844 |    4346   253169  1803793 | 2147483647   298578     21 |  0.458 % |
191.41/191.47	c |    329356 |    4346   253169  1803793 | 2147483647   299090     21 |  0.458 % |
191.70/191.78	c |    330381 |    4345   253169  1803793 | 2147483647   300114     21 |  0.481 % |
192.00/192.07	c |    330893 |    4345   253169  1803793 | 2147483647   300626     21 |  0.481 % |
192.20/192.31	c |    331407 |    4345   253169  1803793 | 2147483647   301140     21 |  0.481 % |
192.90/192.92	c |    332431 |    4345   253169  1803793 | 2147483647   302164     21 |  0.481 % |
193.30/193.33	c |    334480 |    4345   253169  1803793 | 2147483647   304213     21 |  0.481 % |
193.40/193.42	c |    334992 |    4345   253169  1803793 | 2147483647   304725     21 |  0.481 % |
193.70/193.76	c |    335504 |    4345   253169  1803793 | 2147483647   305237     21 |  0.481 % |
194.00/194.10	c |    336528 |    4345   253169  1803793 | 2147483647   306261     21 |  0.481 % |
195.00/195.07	c |    337040 |    4345   253169  1803793 | 2147483647   306773     21 |  0.481 % |
195.10/195.18	c |    337553 |    4345   253169  1803793 | 2147483647   307286     21 |  0.481 % |
196.20/196.30	c |    338579 |    4345   253169  1803793 | 2147483647   308312     21 |  0.481 % |
197.70/197.76	c |    340628 |    4344   253169  1803793 | 2147483647   310360     21 |  0.504 % |
202.20/202.31	c |    344724 |    4344   253169  1803793 | 2147483647   314456     21 |  0.504 % |
202.41/202.47	c |    345236 |    4344   253169  1803793 | 2147483647   314968     21 |  0.504 % |
203.10/203.19	c |    345749 |    4344   253169  1803793 | 2147483647   315481     21 |  0.504 % |
203.60/203.69	c |    346774 |    4344   253169  1803793 | 2147483647   316506     21 |  0.504 % |
203.80/203.88	c |    347286 |    4344   253169  1803793 | 2147483647   317018     21 |  0.504 % |
204.00/204.07	c |    347800 |    4344   253169  1803793 | 2147483647   317532     21 |  0.504 % |
204.61/204.66	c |    348824 |    4344   253169  1803793 | 2147483647   318556     21 |  0.504 % |
206.40/206.42	c |    350872 |    4344   253169  1803793 | 2147483647   320604     21 |  0.504 % |
206.70/206.82	c |    351385 |    4344   253169  1803793 | 2147483647   321117     21 |  0.504 % |
207.10/207.13	c |    351897 |    4344   253169  1803793 | 2147483647   321629     21 |  0.504 % |
207.30/207.32	c |    352921 |    4344   253169  1803793 | 2147483647   322653     21 |  0.504 % |
207.91/208.01	c |    353433 |    4344   253169  1803793 | 2147483647   323165     21 |  0.504 % |
208.00/208.10	c |    353946 |    4344   253169  1803793 | 2147483647   323678     21 |  0.504 % |
208.90/208.95	c |    354971 |    4344   253169  1803793 | 2147483647   324703     21 |  0.504 % |
210.00/210.04	c |    357019 |    4344   253169  1803793 | 2147483647   326751     21 |  0.504 % |
215.10/215.13	c |    361115 |    4344   253169  1803793 |   329733   330847     21 |  0.504 % |
226.31/226.35	c |    369307 |    4344   253169  1803793 |   329733   302611     21 |  0.504 % |
226.41/226.43	c |    369819 |    4344   253169  1803793 |   329733   303123     21 |  0.504 % |
226.51/226.55	c |    370331 |    4344   253169  1803793 |   303304   303635     21 |  0.504 % |
227.71/227.81	c |    371358 |    4344   253169  1803793 |   303304   267894     22 |  0.504 % |
227.91/227.92	c |    371870 |    4344   253169  1803793 |   303304   268406     22 |  0.504 % |
228.21/228.26	c |    372383 |    4344   253169  1803793 |   303304   268919     22 |  0.504 % |
228.41/228.48	c |    373407 |    4344   253169  1803793 |   303304   269943     22 |  0.504 % |
230.21/230.31	c |    375457 |    4344   253169  1803793 |   303304   271993     22 |  0.504 % |
230.51/230.53	c |    375969 |    4344   253169  1803793 |   303304   272505     22 |  0.504 % |
230.61/230.64	c |    376482 |    4344   253169  1803793 |   303304   273018     22 |  0.504 % |
231.20/231.29	c |    377506 |    4344   253169  1803793 |   303304   274042     21 |  0.504 % |
231.90/231.98	c |    378020 |    4344   253169  1803793 |   303304   274556     21 |  0.504 % |
232.10/232.18	c |    378533 |    4344   253169  1803793 |   303304   275069     21 |  0.504 % |
232.50/232.55	c |    379557 |    4344   253169  1803793 |   303304   276093     21 |  0.504 % |
233.30/233.37	c |    381605 |    4344   253169  1803793 | 2147483647   278141     21 |  0.504 % |
238.90/238.92	c |    385701 |    4344   253169  1803793 | 2147483647   282237     21 |  0.504 % |
239.00/239.01	c |    386213 |    4344   253169  1803793 | 2147483647   282749     21 |  0.504 % |
239.10/239.17	c |    386726 |    4344   253169  1803793 | 2147483647   283262     21 |  0.504 % |
239.30/239.36	c |    387750 |    4344   253169  1803793 | 2147483647   284286     21 |  0.504 % |
239.60/239.69	c |    388264 |    4344   253169  1803793 | 2147483647   284800     21 |  0.504 % |
239.80/239.84	c |    388776 |    4344   253169  1803793 | 2147483647   285312     21 |  0.504 % |
240.10/240.20	c |    389802 |    4344   253169  1803793 | 2147483647   286338     21 |  0.504 % |
241.20/241.21	c |    391853 |    4343   253169  1803793 | 2147483647   288388     21 |  0.527 % |
241.20/241.31	c |    392365 |    4343   253169  1803793 | 2147483647   288900     21 |  0.527 % |
241.50/241.56	c |    392877 |    4343   253169  1803793 | 2147483647   289412     21 |  0.527 % |
242.20/242.29	c |    393903 |    4343   253169  1803793 | 2147483647   290438     21 |  0.527 % |
242.30/242.38	c |    394416 |    4343   253169  1803793 | 2147483647   290951     21 |  0.527 % |
243.00/243.10	c |    394929 |    4343   253169  1803793 | 2147483647   291464     21 |  0.527 % |
243.70/243.76	c |    395953 |    4343   253169  1803793 | 2147483647   292488     21 |  0.527 % |
244.10/244.21	c |    398003 |    4343   253169  1803793 | 2147483647   294538     21 |  0.527 % |
247.80/247.85	c |    402099 |    4343   253169  1803793 | 2147483647   298634     21 |  0.527 % |
252.30/252.37	c |    410293 |    4343   253169  1803793 | 2147483647   306828     21 |  0.527 % |
258.20/258.30	c |    426677 |    4343   253169  1803793 | 2147483647   323212     21 |  0.527 % |
289.20/289.28	c |    459445 |    4343   253133  1803700 |   268251   208603     21 |  0.527 % |
326.71/326.73	c |    524982 |    4343   253133  1803700 | 2147483647   240108     22 |  0.527 % |
326.80/326.90	c |    525496 |    4343   253133  1803700 | 2147483647   240622     22 |  0.527 % |
327.00/327.05	c |    526008 |    4343   253133  1803700 | 2147483647   241134     22 |  0.527 % |
328.21/328.27	c |    527033 |    4343   253133  1803700 | 2147483647   242159     22 |  0.527 % |
328.30/328.39	c |    527545 |    4343   253133  1803700 | 2147483647   242671     22 |  0.527 % |
328.50/328.61	c |    528059 |    4343   253133  1803700 | 2147483647   243185     22 |  0.527 % |
328.91/328.94	c |    529084 |    4343   253133  1803700 | 2147483647   244210     22 |  0.527 % |
331.61/331.68	c |    531133 |    4343   253133  1803700 |   245127   209630     22 |  0.527 % |
331.71/331.78	c |    531646 |    4343   253133  1803700 |   245127   210143     22 |  0.527 % |
331.81/331.89	c |    532159 |    4343   253133  1803700 |   245127   210656     22 |  0.527 % |
332.01/332.02	c |    533184 |    4343   253133  1803700 |   245127   211681     22 |  0.527 % |
332.01/332.07	c |    533696 |    4343   253133  1803700 |   245127   212193     22 |  0.527 % |
332.41/332.47	c |    534208 |    4343   253133  1803700 |   245127   212705     22 |  0.527 % |
332.81/332.88	c |    535232 |    4343   253133  1803700 |   245127   213729     22 |  0.527 % |
333.71/333.74	c |    537280 |    4343   253133  1803700 |   245127   215777     22 |  0.527 % |
336.61/336.70	c |    541376 |    4343   253133  1803700 | 2147483647   219873     22 |  0.527 % |
336.71/336.77	c |    541889 |    4343   253133  1803700 | 2147483647   220386     22 |  0.527 % |
337.01/337.02	c |    542402 |    4343   253133  1803700 | 2147483647   220899     22 |  0.527 % |
337.41/337.47	c |    543427 |    4343   253133  1803700 | 2147483647   221924     22 |  0.527 % |
337.71/337.73	c |    543940 |    4343   253133  1803700 | 2147483647   222437     22 |  0.527 % |
337.71/337.81	c |    544454 |    4343   253133  1803700 | 2147483647   222951     22 |  0.527 % |
338.41/338.44	c |    545478 |    4343   253133  1803700 | 2147483647   223975     22 |  0.527 % |
339.41/339.47	c |    547526 |    4343   253133  1803700 | 2147483647   226023     22 |  0.527 % |
339.71/339.74	c |    548038 |    4343   253133  1803700 | 2147483647   226535     22 |  0.527 % |
339.81/339.82	c |    548551 |    4343   253133  1803700 | 2147483647   227048     22 |  0.527 % |
341.91/341.97	c |    549575 |    4343   253133  1803700 | 2147483647   228072     22 |  0.527 % |
342.01/342.06	c |    550088 |    4343   253133  1803700 | 2147483647   228585     22 |  0.527 % |
342.91/342.95	c |    550601 |    4343   253133  1803700 | 2147483647   229098     22 |  0.527 % |
343.41/343.49	c |    551627 |    4343   253133  1803700 | 2147483647   230124     22 |  0.527 % |
344.71/344.76	c |    553676 |    4343   253133  1803700 | 2147483647   232173     22 |  0.527 % |
345.41/345.50	c |    557772 |    4343   253133  1803700 | 2147483647   236269     22 |  0.527 % |
350.01/350.04	c |    565964 |    4343   253133  1803700 | 2147483647   244461     22 |  0.527 % |
350.11/350.16	c |    566476 |    4343   253133  1803700 | 2147483647   244973     22 |  0.527 % |
350.21/350.26	c |    566989 |    4343   253133  1803700 | 2147483647   245486     22 |  0.527 % |
351.40/351.44	c |    568013 |    4343   253133  1803700 | 2147483647   246510     22 |  0.527 % |
351.50/351.60	c |    568526 |    4343   253133  1803700 | 2147483647   247023     22 |  0.527 % |
351.90/352.01	c |    569040 |    4343   253133  1803700 | 2147483647   247537     22 |  0.527 % |
352.60/352.70	c |    570064 |    4343   253133  1803700 | 2147483647   248561     22 |  0.527 % |
353.40/353.44	c |    572112 |    4343   253133  1803700 | 2147483647   250609     22 |  0.527 % |
353.50/353.60	c |    572625 |    4343   253133  1803700 | 2147483647   251122     22 |  0.527 % |
353.70/353.75	c |    573137 |    4343   253133  1803700 | 2147483647   251634     22 |  0.527 % |
354.70/354.79	c |    574161 |    4343   253133  1803700 | 2147483647   252658     22 |  0.527 % |
354.90/354.94	c |    574674 |    4343   253133  1803700 | 2147483647   253171     22 |  0.527 % |
355.40/355.44	c |    575186 |    4343   253133  1803700 | 2147483647   253683     21 |  0.527 % |
355.50/355.60	c |    576210 |    4343   253133  1803700 | 2147483647   254707     22 |  0.527 % |
356.80/356.84	c |    578258 |    4343   253133  1803700 | 2147483647   256755     21 |  0.527 % |
359.70/359.71	c |    582354 |    4343   253133  1803700 | 2147483647   260851     21 |  0.527 % |
359.80/359.84	c |    582867 |    4343   253133  1803700 | 2147483647   261364     21 |  0.527 % |
360.10/360.13	c |    583382 |    4343   253133  1803700 | 2147483647   261879     21 |  0.527 % |
360.60/360.62	c |    584406 |    4343   253133  1803700 | 2147483647   262903     21 |  0.527 % |
360.60/360.67	c |    584919 |    4343   253133  1803700 | 2147483647   263416     21 |  0.527 % |
360.80/360.87	c |    585431 |    4343   253133  1803700 | 2147483647   263928     21 |  0.527 % |
361.30/361.35	c |    586456 |    4343   253133  1803700 | 2147483647   264953     21 |  0.527 % |
362.10/362.20	c |    588505 |    4343   253133  1803700 | 2147483647   267002     21 |  0.527 % |
362.50/362.61	c |    589017 |    4343   253133  1803700 | 2147483647   267514     21 |  0.527 % |
362.80/362.86	c |    589530 |    4343   253133  1803700 | 2147483647   268027     21 |  0.527 % |
363.30/363.34	c |    590555 |    4343   253133  1803700 | 2147483647   269052     21 |  0.527 % |
363.60/363.70	c |    591068 |    4343   253133  1803700 | 2147483647   269565     21 |  0.527 % |
363.80/363.81	c |    591580 |    4343   253133  1803700 | 2147483647   270077     21 |  0.527 % |
364.00/364.05	c |    592607 |    4343   253133  1803700 | 2147483647   271104     21 |  0.527 % |
364.50/364.57	c |    594655 |    4343   253133  1803700 | 2147483647   273152     21 |  0.527 % |
366.90/366.93	c |    598751 |    4343   253133  1803700 | 2147483647   277248     21 |  0.527 % |
372.40/372.44	c |    606943 |    4343   253133  1803700 | 2147483647   285440     21 |  0.527 % |
381.90/381.92	c |    623327 |    4343   253133  1803700 | 2147483647   301824     22 |  0.527 % |
382.00/382.08	c |    623839 |    4343   253133  1803700 | 2147483647   302336     22 |  0.527 % |
382.10/382.17	c |    624351 |    4343   253133  1803700 | 2147483647   302848     22 |  0.527 % |
382.80/382.81	c |    625377 |    4343   253133  1803700 | 2147483647   303874     22 |  0.527 % |
382.80/382.90	c |    625889 |    4343   253133  1803700 | 2147483647   304386     22 |  0.527 % |
383.20/383.24	c |    626401 |    4343   253133  1803700 | 2147483647   304898     22 |  0.527 % |
383.50/383.56	c |    627425 |    4343   253133  1803700 | 2147483647   305922     22 |  0.527 % |
384.30/384.37	c |    629473 |    4343   253133  1803700 | 2147483647   307970     22 |  0.527 % |
384.80/384.84	c |    629986 |    4343   253133  1803700 | 2147483647   308483     22 |  0.527 % |
385.00/385.11	c |    630499 |    4343   253133  1803700 | 2147483647   308996     22 |  0.527 % |
385.70/385.73	c |    631523 |    4343   253133  1803700 | 2147483647   310020     21 |  0.527 % |
386.30/386.34	c |    632036 |    4343   253133  1803700 | 2147483647   310533     21 |  0.527 % |
386.59/386.66	c |    632548 |    4343   253133  1803700 | 2147483647   311045     21 |  0.527 % |
387.19/387.24	c |    633573 |    4343   253133  1803700 | 2147483647   312070     21 |  0.527 % |
388.59/388.65	c |    635623 |    4343   253133  1803700 | 2147483647   314120     21 |  0.527 % |
389.29/389.33	c |    639720 |    4343   253133  1803700 | 2147483647   318217     22 |  0.527 % |
389.79/389.91	c |    640232 |    4343   253133  1803700 |   318497   318729     22 |  0.527 % |
390.39/390.42	c |    640746 |    4343   253133  1803700 |   318497   283093     21 |  0.527 % |
390.59/390.64	c |    641771 |    4343   253133  1803700 |   318497   284118     21 |  0.527 % |
390.89/391.00	c |    642283 |    4343   253133  1803700 |   318497   284630     21 |  0.527 % |
390.99/391.09	c |    642795 |    4343   253133  1803700 |   318497   285142     21 |  0.527 % |
391.69/391.71	c |    643819 |    4343   253133  1803700 |   318497   286166     21 |  0.527 % |
394.99/395.03	c |    645868 |    4343   253133  1803700 |   318497   288215     21 |  0.527 % |
395.09/395.13	c |    646382 |    4343   253133  1803700 |   318497   288729     21 |  0.527 % |
395.49/395.58	c |    646895 |    4343   253133  1803700 |   318497   289242     21 |  0.527 % |
395.89/396.00	c |    647919 |    4342   253122  1803678 |   318497   290263     21 |  0.550 % |
396.19/396.30	c |    648431 |    4342   253122  1803678 |   318497   290775     21 |  0.550 % |
396.49/396.52	c |    648946 |    4342   253122  1803678 |   318497   291290     21 |  0.550 % |
397.49/397.56	c |    649970 |    4342   253122  1803678 |   318497   292314     21 |  0.550 % |
398.09/398.18	c |    652020 |    4342   253122  1803678 | 2147483647   294364     21 |  0.550 % |
401.50/401.56	c |    656117 |    4342   253122  1803678 | 2147483647   298461     21 |  0.550 % |
410.59/410.64	c |    664309 |    4342   253122  1803678 | 2147483647   306653     21 |  0.550 % |
411.09/411.11	c |    664822 |    4342   253122  1803678 | 2147483647   307166     21 |  0.550 % |
411.29/411.37	c |    665335 |    4342   253122  1803678 | 2147483647   307679     21 |  0.550 % |
412.50/412.53	c |    666360 |    4342   253122  1803678 | 2147483647   308704     21 |  0.550 % |
412.69/412.71	c |    666873 |    4342   253122  1803678 | 2147483647   309217     21 |  0.550 % |
412.79/412.88	c |    667386 |    4342   253122  1803678 | 2147483647   309730     21 |  0.550 % |
413.79/413.87	c |    668410 |    4342   253122  1803678 | 2147483647   310754     21 |  0.550 % |
414.79/414.83	c |    670459 |    4342   253122  1803678 | 2147483647   312803     21 |  0.550 % |
414.99/415.01	c |    670973 |    4342   253122  1803678 | 2147483647   313317     21 |  0.550 % |
415.29/415.35	c |    671485 |    4342   253122  1803678 | 2147483647   313829     21 |  0.550 % |
416.09/416.14	c |    672509 |    4342   253122  1803678 | 2147483647   314853     21 |  0.550 % |
416.59/416.66	c |    673022 |    4342   253122  1803678 | 2147483647   315366     21 |  0.550 % |
416.69/416.80	c |    673534 |    4342   253122  1803678 | 2147483647   315878     21 |  0.550 % |
417.69/417.80	c |    674558 |    4342   253122  1803678 | 2147483647   316902     21 |  0.550 % |
419.19/419.26	c |    676607 |    4342   253122  1803678 | 2147483647   318951     21 |  0.550 % |
419.89/419.96	c |    680704 |    4342   253122  1803678 | 2147483647   323048     21 |  0.550 % |
419.99/420.05	c |    681216 |    4342   253122  1803678 | 2147483647   323560     21 |  0.550 % |
420.20/420.30	c |    681729 |    4342   253122  1803678 | 2147483647   324073     21 |  0.550 % |
421.59/421.65	c |    682753 |    4341   253122  1803678 | 2147483647   325096     21 |  0.573 % |
421.79/421.88	c |    683266 |    4341   253122  1803678 | 2147483647   325609     21 |  0.573 % |
421.89/422.00	c |    683778 |    4341   253122  1803678 | 2147483647   326121     21 |  0.573 % |
422.49/422.57	c |    684802 |    4341   253122  1803678 | 2147483647   327145     21 |  0.573 % |
424.39/424.50	c |    686853 |    4341   253122  1803678 | 2147483647   329196     21 |  0.573 % |
424.49/424.62	c |    687366 |    4341   253122  1803678 | 2147483647   329709     21 |  0.573 % |
424.79/424.85	c |    687878 |    4341   253122  1803678 | 2147483647   330221     21 |  0.573 % |
425.19/425.23	c |    688903 |    4341   253122  1803678 | 2147483647   331246     21 |  0.573 % |
425.39/425.48	c |    689416 |    4341   253122  1803678 | 2147483647   331759     21 |  0.573 % |
425.49/425.57	c |    689928 |    4341   253122  1803678 | 2147483647   332271     21 |  0.573 % |
426.59/426.70	c |    690953 |    4341   253122  1803678 |   332345   287006     21 |  0.573 % |
427.99/428.01	c |    693001 |    4341   253122  1803678 |   332345   289054     21 |  0.573 % |
430.19/430.24	c |    697098 |    4341   253122  1803678 |   332345   293151     21 |  0.573 % |
436.89/436.95	c |    705290 |    4341   253122  1803678 | 2147483647   301343     21 |  0.573 % |
455.80/455.83	c |    721675 |    4341   253122  1803678 | 2147483647   317728     22 |  0.573 % |
478.30/478.32	c |    754445 |    4340   253122  1803678 |   301281   275247     23 |  0.596 % |
478.60/478.62	c |    754957 |    4340   253098  1803616 |   301281   275754     23 |  0.596 % |
478.70/478.72	c |    755469 |    4340   253098  1803616 |   301281   276266     23 |  0.596 % |
479.10/479.12	c |    756493 |    4340   253098  1803616 |   301281   277290     23 |  0.596 % |
479.30/479.40	c |    757006 |    4340   253098  1803616 |   301281   277803     23 |  0.596 % |
479.60/479.67	c |    757519 |    4340   253098  1803616 |   301281   278316     23 |  0.596 % |
479.80/479.89	c |    758544 |    4340   253098  1803616 |   301281   279341     23 |  0.596 % |
481.30/481.39	c |    760592 |    4340   253098  1803616 | 2147483647   281389     22 |  0.596 % |
481.40/481.49	c |    761105 |    4340   253098  1803616 | 2147483647   281902     22 |  0.596 % |
481.80/481.83	c |    761619 |    4340   253098  1803616 | 2147483647   282416     22 |  0.596 % |
482.20/482.24	c |    762644 |    4340   253098  1803616 | 2147483647   283441     22 |  0.596 % |
482.70/482.71	c |    763156 |    4340   253098  1803616 | 2147483647   283953     22 |  0.596 % |
482.90/482.95	c |    763668 |    4340   253098  1803616 | 2147483647   284465     22 |  0.596 % |
483.10/483.14	c |    764692 |    4340   253098  1803616 | 2147483647   285489     22 |  0.596 % |
484.10/484.14	c |    766741 |    4340   253098  1803616 | 2147483647   287538     22 |  0.596 % |
486.60/486.66	c |    770839 |    4340   253098  1803616 | 2147483647   291636     22 |  0.596 % |
486.70/486.73	c |    771351 |    4340   253098  1803616 | 2147483647   292148     22 |  0.596 % |
486.90/486.99	c |    771863 |    4340   253098  1803616 | 2147483647   292660     22 |  0.596 % |
487.00/487.11	c |    772887 |    4340   253098  1803616 | 2147483647   293684     22 |  0.596 % |
487.30/487.38	c |    773399 |    4340   253098  1803616 | 2147483647   294196     22 |  0.596 % |
487.40/487.46	c |    773912 |    4340   253098  1803616 | 2147483647   294709     22 |  0.596 % |
487.90/487.93	c |    774939 |    4340   253098  1803616 | 2147483647   295736     22 |  0.596 % |
490.70/490.71	c |    776987 |    4340   253098  1803616 | 2147483647   297784     22 |  0.596 % |
490.80/490.82	c |    777499 |    4340   253098  1803616 | 2147483647   298296     22 |  0.596 % |
491.30/491.38	c |    778011 |    4340   253098  1803616 | 2147483647   298808     22 |  0.596 % |
491.50/491.56	c |    779036 |    4340   253098  1803616 | 2147483647   299833     22 |  0.596 % |
491.60/491.71	c |    779549 |    4340   253098  1803616 | 2147483647   300346     22 |  0.596 % |
492.20/492.28	c |    780061 |    4340   253098  1803616 | 2147483647   300858     22 |  0.596 % |
493.10/493.20	c |    781086 |    4340   253098  1803616 | 2147483647   301883     22 |  0.596 % |
494.50/494.60	c |    783134 |    4340   253098  1803616 | 2147483647   303931     22 |  0.596 % |
497.30/497.32	c |    787231 |    4340   253098  1803616 | 2147483647   308028     22 |  0.596 % |
505.40/505.46	c |    795424 |    4340   253098  1803616 | 2147483647   316221     22 |  0.596 % |
505.70/505.75	c |    795936 |    4340   253098  1803616 | 2147483647   316733     22 |  0.596 % |
506.20/506.25	c |    796448 |    4340   253098  1803616 | 2147483647   317245     22 |  0.596 % |
506.60/506.70	c |    797473 |    4340   253098  1803616 | 2147483647   318270     22 |  0.596 % |
506.80/506.89	c |    797986 |    4340   253098  1803616 | 2147483647   318783     22 |  0.596 % |
507.40/507.48	c |    798499 |    4340   253098  1803616 | 2147483647   319296     22 |  0.596 % |
508.10/508.20	c |    799525 |    4340   253098  1803616 | 2147483647   320322     22 |  0.596 % |
509.90/509.95	c |    801573 |    4340   253098  1803616 | 2147483647   322370     22 |  0.596 % |
510.10/510.21	c |    802085 |    4340   253098  1803616 | 2147483647   322882     22 |  0.596 % |
510.50/510.55	c |    802597 |    4340   253098  1803616 | 2147483647   323394     22 |  0.596 % |
511.10/511.14	c |    803621 |    4340   253098  1803616 | 2147483647   324418     22 |  0.596 % |
511.10/511.19	c |    804134 |    4340   253098  1803616 | 2147483647   324931     22 |  0.596 % |
511.40/511.46	c |    804647 |    4340   253098  1803616 | 2147483647   325444     22 |  0.596 % |
511.60/511.67	c |    805671 |    4340   253098  1803616 | 2147483647   326468     22 |  0.596 % |
512.30/512.41	c |    807719 |    4340   253098  1803616 | 2147483647   328516     22 |  0.596 % |
515.00/515.05	c |    811817 |    4340   253098  1803616 | 2147483647   332614     22 |  0.596 % |
515.10/515.12	c |    812329 |    4340   253098  1803616 | 2147483647   333126     22 |  0.596 % |
515.40/515.49	c |    812842 |    4340   253098  1803616 | 2147483647   333639     22 |  0.596 % |
517.01/517.05	c |    813866 |    4340   253098  1803616 | 2147483647   334663     22 |  0.596 % |
517.20/517.27	c |    814379 |    4340   253098  1803616 | 2147483647   335176     22 |  0.596 % |
517.30/517.36	c |    814891 |    4340   253098  1803616 | 2147483647   335688     22 |  0.596 % |
518.00/518.02	c |    815915 |    4340   253098  1803616 | 2147483647   336712     22 |  0.596 % |
518.90/518.99	c |    817963 |    4340   253098  1803616 | 2147483647   338760     22 |  0.596 % |
519.40/519.41	c |    818476 |    4340   253098  1803616 | 2147483647   339273     22 |  0.596 % |
519.60/519.65	c |    818988 |    4340   253098  1803616 | 2147483647   339785     22 |  0.596 % |
520.40/520.47	c |    820012 |    4340   253098  1803616 | 2147483647   340809     22 |  0.596 % |
520.80/520.87	c |    820524 |    4340   253098  1803616 | 2147483647   341321     22 |  0.596 % |
521.20/521.25	c |    821036 |    4340   253098  1803616 | 2147483647   341833     22 |  0.596 % |
522.80/522.84	c |    822060 |    4340   253098  1803616 | 2147483647   342857     22 |  0.596 % |
524.10/524.17	c |    824108 |    4340   253098  1803616 | 2147483647   344905     22 |  0.596 % |
525.60/525.64	c |    828204 |    4340   253098  1803616 | 2147483647   349001     22 |  0.596 % |
533.30/533.35	c |    836397 |    4340   253098  1803616 | 2147483647   357194     22 |  0.596 % |
549.90/549.98	c |    852782 |    4340   253098  1803616 |   281500   255889     22 |  0.596 % |
550.10/550.16	c |    853295 |    4340   253098  1803616 |   281500   256402     22 |  0.596 % |
550.40/550.48	c |    853807 |    4340   253098  1803616 |   281500   256914     22 |  0.596 % |
550.80/550.91	c |    854832 |    4340   253098  1803616 |   281500   257939     22 |  0.596 % |
551.11/551.15	c |    855346 |    4340   253098  1803616 |   281500   258453     22 |  0.596 % |
551.31/551.41	c |    855859 |    4340   253098  1803616 |   281500   258966     22 |  0.596 % |
552.11/552.19	c |    856884 |    4340   253098  1803616 |   281500   259991     22 |  0.596 % |
553.21/553.28	c |    858933 |    4340   253098  1803616 |   281500   262040     22 |  0.596 % |
553.41/553.42	c |    859447 |    4340   253098  1803616 |   281500   262554     22 |  0.596 % |
553.51/553.52	c |    859959 |    4340   253098  1803616 |   281500   263066     22 |  0.596 % |
554.11/554.19	c |    860983 |    4340   253098  1803616 | 2147483647   264090     22 |  0.596 % |
554.31/554.41	c |    861497 |    4340   253098  1803616 | 2147483647   264604     21 |  0.596 % |
554.71/554.77	c |    862009 |    4340   253098  1803616 | 2147483647   265116     21 |  0.596 % |
555.01/555.04	c |    863033 |    4340   253098  1803616 | 2147483647   266140     21 |  0.596 % |
556.01/556.11	c |    865081 |    4340   253098  1803616 | 2147483647   268188     21 |  0.596 % |
563.21/563.25	c |    869178 |    4340   253098  1803616 | 2147483647   272285     21 |  0.596 % |
563.41/563.47	c |    869691 |    4340   253098  1803616 | 2147483647   272798     21 |  0.596 % |
563.61/563.67	c |    870204 |    4340   253098  1803616 | 2147483647   273311     21 |  0.596 % |
564.51/564.59	c |    871229 |    4340   253098  1803616 | 2147483647   274336     21 |  0.596 % |
564.61/564.69	c |    871741 |    4340   253098  1803616 | 2147483647   274848     21 |  0.596 % |
564.91/564.95	c |    872253 |    4340   253098  1803616 | 2147483647   275360     21 |  0.596 % |
565.21/565.22	c |    873279 |    4340   253098  1803616 | 2147483647   276386     21 |  0.596 % |
566.61/566.68	c |    875329 |    4340   253098  1803616 | 2147483647   278436     21 |  0.596 % |
567.01/567.08	c |    875841 |    4339   253086  1803585 | 2147483647   278946     21 |  0.618 % |
567.11/567.19	c |    876354 |    4339   253086  1803585 | 2147483647   279459     21 |  0.618 % |
567.81/567.84	c |    877378 |    4339   253086  1803585 | 2147483647   280483     21 |  0.618 % |
567.91/567.93	c |    877890 |    4339   253086  1803585 | 2147483647   280995     21 |  0.618 % |
568.01/568.10	c |    878402 |    4339   253086  1803585 | 2147483647   281507     21 |  0.618 % |
569.01/569.03	c |    879427 |    4339   253086  1803585 | 2147483647   282532     21 |  0.618 % |
569.71/569.76	c |    881475 |    4339   253086  1803585 | 2147483647   284580     21 |  0.618 % |
572.21/572.28	c |    885574 |    4339   253086  1803585 | 2147483647   288679     21 |  0.618 % |
578.11/578.16	c |    893767 |    4339   253086  1803585 | 2147483647   296872     21 |  0.618 % |
578.21/578.26	c |    894280 |    4339   253086  1803585 | 2147483647   297385     21 |  0.618 % |
578.71/578.77	c |    894793 |    4339   253086  1803585 | 2147483647   297898     21 |  0.618 % |
579.21/579.23	c |    895817 |    4339   253086  1803585 | 2147483647   298922     21 |  0.618 % |
579.51/579.55	c |    896330 |    4339   253086  1803585 | 2147483647   299435     21 |  0.618 % |
579.61/579.66	c |    896842 |    4339   253086  1803585 | 2147483647   299947     21 |  0.618 % |
580.21/580.22	c |    897867 |    4339   253086  1803585 | 2147483647   300972     21 |  0.618 % |
581.11/581.19	c |    899915 |    4339   253086  1803585 | 2147483647   303020     21 |  0.618 % |
581.21/581.31	c |    900427 |    4339   253086  1803585 | 2147483647   303532     21 |  0.618 % |
581.71/581.72	c |    900940 |    4339   253086  1803585 | 2147483647   304045     21 |  0.618 % |
581.81/581.91	c |    901964 |    4339   253086  1803585 | 2147483647   305069     21 |  0.618 % |
582.41/582.50	c |    902476 |    4339   253086  1803585 | 2147483647   305581     21 |  0.618 % |
582.61/582.64	c |    902990 |    4339   253086  1803585 | 2147483647   306095     21 |  0.618 % |
584.01/584.03	c |    904014 |    4339   253086  1803585 | 2147483647   307119     21 |  0.618 % |
585.41/585.42	c |    906062 |    4339   253086  1803585 | 2147483647   309167     21 |  0.618 % |
590.30/590.35	c |    910158 |    4339   253086  1803585 | 2147483647   313263     21 |  0.618 % |
590.50/590.60	c |    910670 |    4339   253086  1803585 | 2147483647   313775     21 |  0.618 % |
590.70/590.73	c |    911183 |    4339   253086  1803585 | 2147483647   314288     21 |  0.618 % |
592.20/592.23	c |    912209 |    4339   253086  1803585 | 2147483647   315314     21 |  0.618 % |
592.40/592.43	c |    912721 |    4339   253086  1803585 | 2147483647   315826     21 |  0.618 % |
592.50/592.57	c |    913233 |    4339   253086  1803585 | 2147483647   316338     21 |  0.618 % |
594.10/594.15	c |    914257 |    4339   253086  1803585 | 2147483647   317362     21 |  0.618 % |
595.40/595.46	c |    916305 |    4339   253086  1803585 | 2147483647   319410     21 |  0.618 % |
595.80/595.81	c |    916817 |    4339   253086  1803585 | 2147483647   319922     21 |  0.618 % |
596.10/596.13	c |    917329 |    4339   253086  1803585 | 2147483647   320434     21 |  0.618 % |
596.70/596.78	c |    918356 |    4339   253086  1803585 | 2147483647   321461     21 |  0.618 % |
596.90/596.92	c |    918868 |    4339   253086  1803585 | 2147483647   321973     21 |  0.618 % |
597.20/597.28	c |    919380 |    4339   253086  1803585 | 2147483647   322485     21 |  0.618 % |
597.70/597.75	c |    920406 |    4339   253086  1803585 | 2147483647   323511     21 |  0.618 % |
598.00/598.06	c |    922454 |    4339   253086  1803585 | 2147483647   325559     21 |  0.618 % |
604.60/604.66	c |    926550 |    4339   253086  1803585 | 2147483647   329655     21 |  0.618 % |
609.70/609.80	c |    934742 |    4339   253086  1803585 | 2147483647   337847     21 |  0.618 % |
633.31/633.33	c |    951127 |    4339   253086  1803585 |   353106   354232     21 |  0.618 % |
660.91/660.92	c |    983895 |    4339   253086  1803585 |   221986   186955     20 |  0.618 % |
789.83/789.89	c |   1049432 |    4339   253086  1803585 |   213142   187145     25 |  0.618 % |
926.64/926.68	c |   1180505 |    4338   253074  1803554 |   190173   190678     30 |  0.641 % |
927.14/927.20	c |   1181017 |    4338   253074  1803554 |   190173   152777     31 |  0.641 % |
927.54/927.53	c |   1181531 |    4338   253074  1803554 |   190173   153291     30 |  0.641 % |
927.64/927.66	c |   1182555 |    4338   253074  1803554 |   190173   154315     30 |  0.641 % |
928.14/928.18	c |   1183069 |    4338   253074  1803554 |   190173   154829     30 |  0.641 % |
928.34/928.41	c |   1183583 |    4338   253074  1803554 |   190173   155343     30 |  0.641 % |
929.64/929.69	c |   1184609 |    4338   253074  1803554 |   190173   156369     30 |  0.641 % |
930.64/930.71	c |   1186658 |    4338   253074  1803554 |   190173   158418     30 |  0.641 % |
930.74/930.78	c |   1187170 |    4338   253074  1803554 |   190173   158930     30 |  0.641 % |
930.94/931.01	c |   1187682 |    4338   253074  1803554 |   190173   159442     30 |  0.641 % |
931.14/931.21	c |   1188709 |    4338   253074  1803554 |   190173   160469     30 |  0.641 % |
931.34/931.32	c |   1189221 |    4338   253074  1803554 |   190173   160981     30 |  0.641 % |
931.44/931.43	c |   1189734 |    4338   253074  1803554 |   190173   161494     30 |  0.641 % |
931.74/931.78	c |   1190759 |    4338   253074  1803554 | 2147483647   162519     30 |  0.641 % |
932.34/932.36	c |   1192808 |    4338   253074  1803554 | 2147483647   164568     30 |  0.641 % |
933.44/933.48	c |   1196906 |    4337   253065  1803523 | 2147483647   168664     29 |  0.664 % |
933.54/933.54	c |   1197418 |    4337   253065  1803523 | 2147483647   169176     29 |  0.664 % |
933.74/933.72	c |   1197930 |    4337   253065  1803523 | 2147483647   169688     29 |  0.664 % |
934.04/934.06	c |   1198957 |    4337   253065  1803523 | 2147483647   170715     29 |  0.664 % |
934.24/934.31	c |   1199469 |    4337   253065  1803523 | 2147483647   171227     29 |  0.664 % |
934.54/934.53	c |   1199982 |    4337   253065  1803523 | 2147483647   171740     29 |  0.664 % |
934.64/934.71	c |   1201006 |    4337   253065  1803523 | 2147483647   172764     29 |  0.664 % |
935.74/935.78	c |   1203054 |    4337   253065  1803523 | 2147483647   174812     29 |  0.664 % |
935.84/935.88	c |   1203567 |    4337   253065  1803523 | 2147483647   175325     29 |  0.664 % |
936.14/936.13	c |   1204079 |    4337   253065  1803523 | 2147483647   175837     29 |  0.664 % |
936.74/936.78	c |   1205104 |    4337   253065  1803523 | 2147483647   176862     29 |  0.664 % |
936.94/937.00	c |   1205618 |    4337   253065  1803523 | 2147483647   177376     29 |  0.664 % |
937.04/937.06	c |   1206130 |    4337   253065  1803523 | 2147483647   177888     29 |  0.664 % |
937.34/937.34	c |   1207155 |    4337   253065  1803523 | 2147483647   178913     29 |  0.664 % |
937.64/937.71	c |   1209204 |    4337   253065  1803523 | 2147483647   180962     28 |  0.664 % |
939.04/939.10	c |   1213301 |    4337   253065  1803523 | 2147483647   185059     28 |  0.664 % |
946.83/946.86	c |   1221493 |    4337   253065  1803523 | 2147483647   193251     28 |  0.664 % |
947.13/947.14	c |   1222005 |    4337   253065  1803523 | 2147483647   193763     28 |  0.664 % |
947.33/947.34	c |   1222518 |    4337   253065  1803523 | 2147483647   194276     28 |  0.664 % |
947.43/947.50	c |   1223542 |    4337   253065  1803523 | 2147483647   195300     28 |  0.664 % |
947.73/947.72	c |   1224054 |    4337   253065  1803523 | 2147483647   195812     28 |  0.664 % |
947.83/947.87	c |   1224566 |    4337   253065  1803523 | 2147483647   196324     28 |  0.664 % |
948.43/948.47	c |   1225590 |    4337   253065  1803523 | 2147483647   197348     28 |  0.664 % |
949.53/949.53	c |   1227638 |    4337   253065  1803523 | 2147483647   199396     28 |  0.664 % |
949.63/949.66	c |   1228151 |    4337   253065  1803523 | 2147483647   199909     28 |  0.664 % |
949.83/949.82	c |   1228664 |    4337   253065  1803523 | 2147483647   200422     28 |  0.664 % |
949.93/949.97	c |   1229689 |    4337   253065  1803523 | 2147483647   201447     28 |  0.664 % |
950.13/950.14	c |   1230202 |    4337   253065  1803523 | 2147483647   201960     28 |  0.664 % |
950.13/950.18	c |   1230714 |    4337   253065  1803523 | 2147483647   202472     28 |  0.664 % |
950.73/950.73	c |   1231738 |    4337   253065  1803523 | 2147483647   203496     28 |  0.664 % |
951.43/951.46	c |   1233786 |    4337   253065  1803523 | 2147483647   205544     27 |  0.664 % |
955.23/955.28	c |   1237882 |    4337   253065  1803523 | 2147483647   209640     27 |  0.664 % |
955.63/955.64	c |   1238394 |    4337   253065  1803523 | 2147483647   210152     27 |  0.664 % |
956.13/956.13	c |   1238906 |    4337   253065  1803523 | 2147483647   210664     27 |  0.664 % |
956.63/956.68	c |   1239930 |    4337   253065  1803523 | 2147483647   211688     27 |  0.664 % |
956.83/956.81	c |   1240442 |    4337   253065  1803523 | 2147483647   212200     27 |  0.664 % |
956.93/956.92	c |   1240954 |    4337   253065  1803523 | 2147483647   212712     27 |  0.664 % |
957.33/957.32	c |   1241978 |    4337   253065  1803523 | 2147483647   213736     27 |  0.664 % |
958.23/958.26	c |   1244026 |    4337   253065  1803523 | 2147483647   215784     27 |  0.664 % |
958.43/958.45	c |   1244538 |    4337   253065  1803523 | 2147483647   216296     27 |  0.664 % |
958.63/958.69	c |   1245051 |    4337   253065  1803523 | 2147483647   216809     27 |  0.664 % |
959.33/959.39	c |   1246075 |    4337   253065  1803523 | 2147483647   217833     27 |  0.664 % |
959.73/959.76	c |   1246587 |    4337   253065  1803523 | 2147483647   218345     27 |  0.664 % |
959.93/959.93	c |   1247099 |    4337   253065  1803523 | 2147483647   218857     27 |  0.664 % |
960.13/960.17	c |   1248123 |    4337   253065  1803523 | 2147483647   219881     27 |  0.664 % |
961.73/961.72	c |   1250171 |    4337   253065  1803523 | 2147483647   221929     27 |  0.664 % |
962.63/962.64	c |   1254267 |    4337   253065  1803523 | 2147483647   226025     27 |  0.664 % |
964.33/964.34	c |   1262459 |    4337   253065  1803523 | 2147483647   234217     26 |  0.664 % |
975.74/975.77	c |   1278843 |    4337   253065  1803523 | 2147483647   250601     26 |  0.664 % |
976.03/976.04	c |   1279357 |    4337   253065  1803523 | 2147483647   251115     26 |  0.664 % |
976.23/976.22	c |   1279870 |    4337   253065  1803523 | 2147483647   251628     26 |  0.664 % |
976.43/976.48	c |   1280896 |    4337   253065  1803523 | 2147483647   252654     26 |  0.664 % |
976.73/976.78	c |   1281408 |    4337   253065  1803523 | 2147483647   253166     25 |  0.664 % |
976.93/976.92	c |   1281921 |    4337   253065  1803523 | 2147483647   253679     25 |  0.664 % |
977.23/977.29	c |   1282945 |    4337   253065  1803523 | 2147483647   254703     25 |  0.664 % |
978.83/978.82	c |   1284994 |    4337   253065  1803523 | 2147483647   256752     25 |  0.664 % |
979.04/979.05	c |   1285508 |    4337   253065  1803523 | 2147483647   257266     25 |  0.664 % |
979.63/979.64	c |   1286022 |    4337   253065  1803523 | 2147483647   257780     25 |  0.664 % |
980.43/980.44	c |   1287046 |    4337   253065  1803523 | 2147483647   258804     25 |  0.664 % |
980.63/980.67	c |   1287558 |    4337   253065  1803523 | 2147483647   259316     25 |  0.664 % |
980.83/980.90	c |   1288070 |    4337   253065  1803523 | 2147483647   259828     25 |  0.664 % |
982.63/982.62	c |   1289094 |    4337   253065  1803523 | 2147483647   260852     25 |  0.664 % |
984.03/984.08	c |   1291142 |    4337   253065  1803523 | 2147483647   262900     25 |  0.664 % |
985.43/985.41	c |   1295238 |    4336   253053  1803492 | 2147483647   266995     25 |  0.687 % |
985.73/985.73	c |   1295752 |    4336   253053  1803492 | 2147483647   267509     25 |  0.687 % |
986.13/986.12	c |   1296265 |    4336   253053  1803492 | 2147483647   268022     25 |  0.687 % |
986.43/986.47	c |   1297290 |    4336   253053  1803492 | 2147483647   269047     25 |  0.687 % |
986.63/986.68	c |   1297802 |    4336   253053  1803492 | 2147483647   269559     25 |  0.687 % |
986.74/986.78	c |   1298315 |    4336   253053  1803492 | 2147483647   270072     25 |  0.687 % |
987.03/987.02	c |   1299340 |    4336   253053  1803492 | 2147483647   271097     25 |  0.687 % |
987.84/987.85	c |   1301388 |    4336   253053  1803492 | 2147483647   273145     25 |  0.687 % |
987.93/987.95	c |   1301903 |    4336   253053  1803492 | 2147483647   273660     25 |  0.687 % |
988.83/988.84	c |   1302415 |    4336   253053  1803492 | 2147483647   274172     25 |  0.687 % |
989.63/989.64	c |   1303440 |    4336   253053  1803492 | 2147483647   275197     25 |  0.687 % |
989.63/989.70	c |   1303952 |    4336   253053  1803492 | 2147483647   275709     25 |  0.687 % |
989.93/989.96	c |   1304464 |    4336   253053  1803492 | 2147483647   276221     25 |  0.687 % |
990.43/990.48	c |   1305488 |    4336   253053  1803492 | 2147483647   277245     25 |  0.687 % |
991.33/991.30	c |   1307537 |    4336   253053  1803492 | 2147483647   279294     25 |  0.687 % |
992.93/992.97	c |   1311635 |    4336   253053  1803492 | 2147483647   283392     25 |  0.687 % |
995.03/995.03	c |   1319827 |    4336   253053  1803492 | 2147483647   291584     25 |  0.687 % |
995.13/995.15	c |   1320339 |    4336   253053  1803492 | 2147483647   292096     25 |  0.687 % |
995.44/995.50	c |   1320852 |    4336   253053  1803492 | 2147483647   292609     25 |  0.687 % |
996.04/996.01	c |   1321876 |    4336   253053  1803492 | 2147483647   293633     25 |  0.687 % |
996.24/996.27	c |   1322390 |    4336   253053  1803492 | 2147483647   294147     25 |  0.687 % |
996.44/996.48	c |   1322903 |    4336   253053  1803492 | 2147483647   294660     25 |  0.687 % |
996.84/996.89	c |   1323929 |    4336   253053  1803492 | 2147483647   295686     25 |  0.687 % |
997.64/997.62	c |   1325977 |    4336   253053  1803492 | 2147483647   297734     24 |  0.687 % |
998.04/998.05	c |   1326490 |    4336   253053  1803492 | 2147483647   298247     24 |  0.687 % |
998.34/998.35	c |   1327002 |    4336   253053  1803492 | 2147483647   298759     24 |  0.687 % |
998.54/998.56	c |   1328026 |    4336   253053  1803492 | 2147483647   299783     24 |  0.687 % |
998.74/998.80	c |   1328538 |    4336   253053  1803492 | 2147483647   300295     24 |  0.687 % |
999.04/999.11	c |   1329050 |    4336   253053  1803492 | 2147483647   300807     24 |  0.687 % |
1000.24/1000.26	c |   1330075 |    4336   253053  1803492 | 2147483647   301832     24 |  0.687 % |
1001.04/1001.09	c |   1332123 |    4336   253053  1803492 | 2147483647   303880     24 |  0.687 % |
1013.54/1013.55	c |   1336220 |    4336   253053  1803492 | 2147483647   307977     24 |  0.687 % |
1013.74/1013.72	c |   1336732 |    4336   253053  1803492 | 2147483647   308489     24 |  0.687 % |
1013.84/1013.85	c |   1337245 |    4336   253053  1803492 | 2147483647   309002     24 |  0.687 % |
1014.24/1014.24	c |   1338269 |    4336   253053  1803492 | 2147483647   310026     24 |  0.687 % |
1014.44/1014.44	c |   1338782 |    4336   253053  1803492 | 2147483647   310539     24 |  0.687 % |
1014.64/1014.61	c |   1339295 |    4336   253053  1803492 | 2147483647   311052     24 |  0.687 % |
1015.04/1015.01	c |   1340321 |    4336   253053  1803492 |   311759   312078     24 |  0.687 % |
1016.24/1016.29	c |   1342369 |    4336   253053  1803492 |   311759   259576     23 |  0.687 % |
1016.54/1016.54	c |   1342883 |    4336   253053  1803492 |   311759   260090     23 |  0.687 % |
1016.74/1016.79	c |   1343396 |    4336   253053  1803492 |   311759   260603     23 |  0.687 % |
1017.04/1017.10	c |   1344420 |    4336   253053  1803492 |   311759   261627     23 |  0.687 % |
1017.24/1017.21	c |   1344932 |    4336   253053  1803492 |   311759   262139     23 |  0.687 % |
1017.44/1017.44	c |   1345445 |    4336   253053  1803492 |   311759   262652     23 |  0.687 % |
1017.84/1017.85	c |   1346470 |    4336   253053  1803492 |   311759   263677     23 |  0.687 % |
1019.34/1019.36	c |   1348519 |    4336   253053  1803492 |   311759   265726     23 |  0.687 % |
1023.44/1023.42	c |   1352617 |    4336   253053  1803492 | 2147483647   269824     23 |  0.687 % |
1026.84/1026.87	c |   1360809 |    4336   253053  1803492 | 2147483647   278016     23 |  0.687 % |
1038.64/1038.66	c |   1377193 |    4336   253053  1803492 | 2147483647   294400     23 |  0.687 % |
1085.94/1085.99	c |   1409964 |    4336   253053  1803492 |   317209   278723     20 |  0.687 % |
1086.04/1086.07	c |   1410477 |    4336   253053  1803492 |   278759   279236     20 |  0.687 % |
1086.74/1086.79	c |   1410989 |    4336   253053  1803492 |   278759   248290     20 |  0.687 % |
1087.14/1087.16	c |   1412013 |    4336   253053  1803492 |   278759   249314     20 |  0.687 % |
1087.24/1087.28	c |   1412525 |    4336   253053  1803492 |   278759   249826     20 |  0.687 % |
1087.54/1087.58	c |   1413038 |    4336   253053  1803492 |   278759   250339     20 |  0.687 % |
1087.74/1087.78	c |   1414062 |    4336   253053  1803492 |   278759   251363     20 |  0.687 % |
1089.64/1089.70	c |   1416111 |    4336   253053  1803492 |   278759   253412     20 |  0.687 % |
1089.74/1089.78	c |   1416625 |    4336   253053  1803492 |   278759   253926     20 |  0.687 % |
1090.74/1090.78	c |   1417137 |    4336   253053  1803492 |   278759   254438     20 |  0.687 % |
1090.94/1090.99	c |   1418161 |    4336   253053  1803492 |   278759   255462     20 |  0.687 % |
1091.14/1091.12	c |   1418674 |    4336   253053  1803492 |   278759   255975     20 |  0.687 % |
1091.74/1091.73	c |   1419186 |    4336   253053  1803492 |   278759   256487     20 |  0.687 % |
1091.94/1091.98	c |   1420211 |    4336   253053  1803492 | 2147483647   257512     20 |  0.687 % |
1093.84/1093.83	c |   1422259 |    4336   253053  1803492 | 2147483647   259560     20 |  0.687 % |
1095.14/1095.16	c |   1426356 |    4336   253053  1803492 | 2147483647   263657     20 |  0.687 % |
1095.34/1095.35	c |   1426869 |    4336   253053  1803492 | 2147483647   264170     20 |  0.687 % |
1095.74/1095.76	c |   1427382 |    4336   253053  1803492 | 2147483647   264683     20 |  0.687 % |
1096.24/1096.28	c |   1428406 |    4336   253053  1803492 | 2147483647   265707     20 |  0.687 % |
1096.44/1096.43	c |   1428919 |    4336   253053  1803492 | 2147483647   266220     20 |  0.687 % |
1096.64/1096.61	c |   1429431 |    4336   253053  1803492 | 2147483647   266732     20 |  0.687 % |
1096.84/1096.85	c |   1430456 |    4336   253053  1803492 | 2147483647   267757     20 |  0.687 % |
1097.24/1097.26	c |   1432506 |    4336   253053  1803492 | 2147483647   269807     19 |  0.687 % |
1097.44/1097.42	c |   1433019 |    4336   253053  1803492 | 2147483647   270320     19 |  0.687 % |
1097.94/1097.95	c |   1433531 |    4336   253053  1803492 | 2147483647   270832     19 |  0.687 % |
1098.44/1098.42	c |   1434555 |    4336   253053  1803492 | 2147483647   271856     19 |  0.687 % |
1098.84/1098.85	c |   1435067 |    4336   253053  1803492 | 2147483647   272368     19 |  0.687 % |
1098.95/1098.98	c |   1435580 |    4336   253053  1803492 | 2147483647   272881     19 |  0.687 % |
1099.74/1099.76	c |   1436605 |    4336   253053  1803492 | 2147483647   273906     20 |  0.687 % |
1100.34/1100.33	c |   1438654 |    4336   253053  1803492 | 2147483647   275955     19 |  0.687 % |
1103.84/1103.89	c |   1442750 |    4336   253053  1803492 | 2147483647   280051     19 |  0.687 % |
1110.45/1110.50	c |   1450942 |    4335   253041  1803461 | 2147483647   288242     19 |  0.710 % |
1110.55/1110.58	c |   1451454 |    4335   253041  1803461 | 2147483647   288754     19 |  0.710 % |
1111.05/1111.07	c |   1451966 |    4335   253041  1803461 | 2147483647   289266     19 |  0.710 % |
1111.65/1111.65	c |   1452990 |    4335   253041  1803461 | 2147483647   290290     19 |  0.710 % |
1111.95/1112.01	c |   1453502 |    4335   253041  1803461 | 2147483647   290802     19 |  0.710 % |
1112.15/1112.18	c |   1454014 |    4335   253041  1803461 | 2147483647   291314     19 |  0.710 % |
1113.66/1113.72	c |   1455039 |    4335   253041  1803461 | 2147483647   292339     19 |  0.710 % |
1114.76/1114.79	c |   1457087 |    4335   253041  1803461 | 2147483647   294387     19 |  0.710 % |
1115.36/1115.40	c |   1457600 |    4335   253041  1803461 | 2147483647   294900     19 |  0.710 % |
1115.66/1115.69	c |   1458113 |    4335   253041  1803461 | 2147483647   295413     19 |  0.710 % |
1116.26/1116.32	c |   1459137 |    4335   253041  1803461 | 2147483647   296437     19 |  0.710 % |
1116.46/1116.42	c |   1459650 |    4335   253041  1803461 | 2147483647   296950     19 |  0.710 % |
1116.96/1116.93	c |   1460162 |    4335   253041  1803461 | 2147483647   297462     19 |  0.710 % |
1117.66/1117.67	c |   1461187 |    4335   253041  1803461 | 2147483647   298487     19 |  0.710 % |
1118.56/1118.57	c |   1463235 |    4335   253041  1803461 | 2147483647   300535     19 |  0.710 % |
1119.86/1119.86	c |   1467331 |    4335   253041  1803461 | 2147483647   304631     19 |  0.710 % |
1120.16/1120.13	c |   1467843 |    4335   253041  1803461 | 2147483647   305143     19 |  0.710 % |
1120.16/1120.21	c |   1468355 |    4335   253041  1803461 | 2147483647   305655     19 |  0.710 % |
1120.96/1121.00	c |   1469380 |    4335   253041  1803461 | 2147483647   306680     19 |  0.710 % |
1121.26/1121.26	c |   1469893 |    4335   253041  1803461 | 2147483647   307193     19 |  0.710 % |
1121.56/1121.57	c |   1470405 |    4335   253041  1803461 | 2147483647   307705     19 |  0.710 % |
1121.66/1121.70	c |   1471430 |    4335   253041  1803461 | 2147483647   308730     19 |  0.710 % |
1123.26/1123.25	c |   1473478 |    4335   253041  1803461 | 2147483647   310778     19 |  0.710 % |
1123.36/1123.37	c |   1473990 |    4335   253041  1803461 | 2147483647   311290     19 |  0.710 % |
1123.76/1123.74	c |   1474502 |    4335   253041  1803461 | 2147483647   311802     19 |  0.710 % |
1124.76/1124.77	c |   1475526 |    4335   253041  1803461 | 2147483647   312826     19 |  0.710 % |
1124.86/1124.88	c |   1476038 |    4335   253041  1803461 | 2147483647   313338     19 |  0.710 % |
1125.16/1125.20	c |   1476550 |    4335   253041  1803461 | 2147483647   313850     19 |  0.710 % |
1125.66/1125.66	c |   1477576 |    4335   253041  1803461 | 2147483647   314876     19 |  0.710 % |
1126.76/1126.82	c |   1479625 |    4335   253041  1803461 | 2147483647   316925     19 |  0.710 % |
1134.26/1134.26	c |   1483721 |    4335   253041  1803461 |   317300   288953     19 |  0.710 % |
1139.66/1139.63	c |   1491914 |    4335   253041  1803461 | 2147483647   297146     20 |  0.710 % |
1159.26/1159.29	c |   1508299 |    4335   253041  1803461 | 2147483647   313531     20 |  0.710 % |
1159.96/1159.95	c |   1508811 |    4335   253041  1803461 | 2147483647   314043     20 |  0.710 % |
1160.36/1160.32	c |   1509324 |    4335   253041  1803461 | 2147483647   314556     20 |  0.710 % |
1161.06/1161.10	c |   1510349 |    4335   253041  1803461 | 2147483647   315581     20 |  0.710 % |
1161.26/1161.27	c |   1510861 |    4335   253041  1803461 | 2147483647   316093     20 |  0.710 % |
1161.46/1161.49	c |   1511373 |    4335   253041  1803461 | 2147483647   316605     20 |  0.710 % |
1161.96/1161.98	c |   1512397 |    4335   253041  1803461 | 2147483647   317629     20 |  0.710 % |
1163.16/1163.21	c |   1514447 |    4335   253041  1803461 | 2147483647   319679     20 |  0.710 % |
1163.36/1163.35	c |   1514959 |    4335   253041  1803461 | 2147483647   320191     20 |  0.710 % |
1164.26/1164.29	c |   1515473 |    4335   253041  1803461 | 2147483647   320705     20 |  0.710 % |
1165.26/1165.25	c |   1516497 |    4335   253041  1803461 | 2147483647   321729     20 |  0.710 % |
1165.56/1165.58	c |   1517009 |    4335   253041  1803461 | 2147483647   322241     20 |  0.710 % |
1165.96/1165.95	c |   1517522 |    4335   253041  1803461 | 2147483647   322754     20 |  0.711 % |
1166.16/1166.21	c |   1518546 |    4335   253041  1803461 | 2147483647   323778     20 |  0.710 % |
1168.46/1168.44	c |   1520594 |    4335   253041  1803461 |   325233   291679     19 |  0.710 % |
1170.66/1170.63	c |   1524690 |    4335   253041  1803461 |   325233   295775     19 |  0.710 % |
1170.76/1170.76	c |   1525205 |    4335   253041  1803461 |   325233   296290     19 |  0.710 % |
1171.26/1171.29	c |   1525717 |    4335   253041  1803461 |   325233   296802     19 |  0.710 % |
1171.46/1171.45	c |   1526741 |    4335   253041  1803461 |   325233   297826     19 |  0.710 % |
1172.06/1172.11	c |   1527254 |    4335   253041  1803461 |   325233   298339     19 |  0.710 % |
1172.26/1172.31	c |   1527767 |    4335   253041  1803461 |   325233   298852     19 |  0.710 % |
1173.36/1173.35	c |   1528791 |    4335   253041  1803461 |   325233   299876     19 |  0.710 % |
1174.56/1174.58	c |   1530839 |    4335   253041  1803461 |   301086   301924     19 |  0.710 % |
1175.26/1175.29	c |   1531351 |    4335   253041  1803461 |   301086   267903     19 |  0.710 % |
1175.66/1175.64	c |   1531863 |    4335   253041  1803461 |   301086   268415     19 |  0.710 % |
1176.06/1176.11	c |   1532887 |    4335   253041  1803461 |   301086   269439     19 |  0.710 % |
1176.26/1176.26	c |   1533400 |    4335   253041  1803461 |   301086   269952     19 |  0.710 % |
1176.56/1176.57	c |   1533913 |    4335   253041  1803461 |   301086   270465     19 |  0.710 % |
1176.76/1176.78	c |   1534938 |    4335   253041  1803461 |   301086   271490     19 |  0.710 % |
1177.96/1177.96	c |   1536987 |    4335   253041  1803461 |   301086   273539     19 |  0.710 % |
1179.27/1179.27	c |   1541084 |    4335   253041  1803461 | 2147483647   277636     19 |  0.710 % |
1187.36/1187.33	c |   1549276 |    4335   253041  1803461 | 2147483647   285828     19 |  0.710 % |
1187.46/1187.46	c |   1549789 |    4335   253041  1803461 | 2147483647   286341     19 |  0.710 % |
1187.86/1187.91	c |   1550301 |    4335   253041  1803461 | 2147483647   286853     19 |  0.710 % |
1188.07/1188.07	c |   1551326 |    4335   253041  1803461 | 2147483647   287878     19 |  0.710 % |
1188.46/1188.51	c |   1551838 |    4335   253041  1803461 | 2147483647   288390     19 |  0.710 % |
1188.66/1188.68	c |   1552351 |    4335   253041  1803461 | 2147483647   288903     19 |  0.710 % |
1189.26/1189.26	c |   1553375 |    4335   253041  1803461 | 2147483647   289927     19 |  0.710 % |
1190.27/1190.28	c |   1555423 |    4335   253041  1803461 | 2147483647   291975     19 |  0.710 % |
1190.46/1190.44	c |   1555935 |    4335   253041  1803461 | 2147483647   292487     19 |  0.710 % |
1190.86/1190.86	c |   1556448 |    4335   253041  1803461 | 2147483647   293000     19 |  0.710 % |
1191.06/1191.03	c |   1557473 |    4335   253041  1803461 | 2147483647   294025     19 |  0.710 % |
1191.16/1191.16	c |   1557985 |    4335   253041  1803461 | 2147483647   294537     19 |  0.710 % |
1191.26/1191.27	c |   1558497 |    4335   253041  1803461 | 2147483647   295049     19 |  0.710 % |
1191.86/1191.85	c |   1559521 |    4335   253041  1803461 | 2147483647   296073     19 |  0.710 % |
1193.96/1193.93	c |   1561570 |    4335   253041  1803461 | 2147483647   298122     19 |  0.710 % |
1198.86/1198.84	c |   1565666 |    4335   253041  1803461 | 2147483647   302218     19 |  0.710 % |
1199.07/1199.03	c |   1566180 |    4335   253041  1803461 | 2147483647   302732     19 |  0.710 % |
1199.16/1199.17	c |   1566692 |    4335   253041  1803461 | 2147483647   303244     19 |  0.710 % |
1199.96/1200.00	c |   1567716 |    4335   253041  1803461 | 2147483647   304268     19 |  0.710 % |
1200.06/1200.03	HOME/SatELiteGTI: line 36: 18363 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821401-1242524222/watcher-1821401-1242524222 -o /tmp/evaluation-result-1821401-1242524222/solver-1821401-1242524222 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821401-1242524222.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.01 1.00 3/93 18170
/proc/meminfo: memFree=1259076/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=948 CPUtime=0
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 112 0 0 0 0 0 0 0 25 0 1 0 1016922934 970752 48 4294967295 134512640 135223648 3219200336 3219199240 134736942 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 237 53 44 174 0 62 0

[startup+0.055884 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 18170
/proc/meminfo: memFree=1259076/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=6488 CPUtime=0.06
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 1359 0 0 0 5 1 0 0 25 0 1 0 1016922934 6643712 1295 4294967295 134512640 135223648 3219200336 3219199288 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 1622 1295 47 174 0 1447 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8900

[startup+0.115866 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 18170
/proc/meminfo: memFree=1259076/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=12392 CPUtime=0.12
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 2588 0 0 0 9 3 0 0 25 0 1 0 1016922934 12689408 2524 4294967295 134512640 135223648 3219200336 3219199288 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 3098 2524 47 174 0 2923 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14804

[startup+0.315858 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 18170
/proc/meminfo: memFree=1259076/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=30108 CPUtime=0.32
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 7110 0 0 0 26 6 0 0 25 0 1 0 1016922934 30830592 7046 4294967295 134512640 135223648 3219200336 3219199288 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 7527 7047 47 174 0 7352 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 32520

[startup+0.715816 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 18170
/proc/meminfo: memFree=1259076/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=75096 CPUtime=0.72
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 16281 0 0 0 54 18 0 0 25 0 1 0 1016922934 76898304 16217 4294967295 134512640 135223648 3219200336 3219199288 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 18774 16218 47 174 0 18599 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 77508

[startup+1.51575 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 18175
/proc/meminfo: memFree=1168524/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=157236 CPUtime=1.52
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 31444 0 0 0 131 21 0 0 25 0 1 0 1016922934 161009664 31358 4294967295 134512640 135223648 3219200336 3219198688 134578278 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 39309 31358 68 174 0 39134 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 159648

[startup+3.11562 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 18175
/proc/meminfo: memFree=1134548/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=157748 CPUtime=3.12
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 31544 0 0 0 291 21 0 0 25 0 1 0 1016922934 161533952 31458 4294967295 134512640 135223648 3219200336 3219198784 134563776 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 39437 31458 68 174 0 39262 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 160160

[startup+6.31536 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 18175
/proc/meminfo: memFree=1121156/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=171960 CPUtime=6.32
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 38244 0 0 0 605 27 0 0 25 0 1 0 1016922934 176087040 34524 4294967295 134512640 135223648 3219200336 3219198352 134586845 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 42990 34524 73 174 0 42815 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 174372

[startup+12.7148 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 18175
/proc/meminfo: memFree=1079216/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=196664 CPUtime=12.72
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 44881 0 0 0 1238 34 0 0 25 0 1 0 1016922934 201383936 40861 4294967295 134512640 135223648 3219200336 3219198352 134549042 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 49166 40861 73 174 0 48991 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 199076

[startup+25.5138 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 18177
/proc/meminfo: memFree=1079156/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2412 CPUtime=0
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1016922934 2469888 277 4294967295 134512640 135169312 3216125552 3216124088 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18170/statm: 603 277 235 161 0 42 0
[pid=18174] ppid=18170 vsize=196920 CPUtime=25.52
/proc/18174/stat : 18174 (SatELite_releas) R 18170 18170 10436 0 -1 4202496 44952 0 0 0 2516 36 0 0 25 0 1 0 1016922934 201646080 40932 4294967295 134512640 135223648 3219200336 3219198352 134549042 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18174/statm: 49230 40932 73 174 0 49055 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 199332

[startup+51.1117 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18363
/proc/meminfo: memFree=1210184/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=22904 CPUtime=4.19
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 5603 0 0 0 415 4 0 0 25 0 1 0 1016927626 23453696 5537 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18363/statm: 5726 5537 75 172 0 5553 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 25320

[startup+102.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18551
/proc/meminfo: memFree=1189868/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=42896 CPUtime=55.38
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 10558 0 0 0 5531 7 0 0 25 0 1 0 1016927626 43925504 10492 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18363/statm: 10724 10492 75 172 0 10551 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 45312

[startup+162.323 s]
/proc/loadavg: 1.11 1.03 1.01 3/95 18737
/proc/meminfo: memFree=1173688/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=58604 CPUtime=115.38
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 14510 0 0 0 11530 8 0 0 25 0 1 0 1016927626 60010496 14444 4294967295 134512640 135216591 3218010256 3218008448 134528851 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18363/statm: 14651 14444 75 172 0 14478 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 61020

[startup+222.328 s]
/proc/loadavg: 1.04 1.02 1.00 2/95 18926
/proc/meminfo: memFree=1169852/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=63512 CPUtime=175.38
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 15596 0 0 0 17529 9 0 0 25 0 1 0 1016927626 65036288 15530 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 15878 15530 75 172 0 15705 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 65928

[startup+282.313 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 19113
/proc/meminfo: memFree=1167224/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=66208 CPUtime=235.37
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 16246 0 0 0 23528 9 0 0 25 0 1 0 1016927626 67796992 16180 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 16552 16180 75 172 0 16379 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 68624

[startup+342.318 s]
/proc/loadavg: 1.16 1.04 1.01 3/95 19308
/proc/meminfo: memFree=1166388/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=66936 CPUtime=295.38
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 16414 0 0 0 29525 13 0 0 25 0 1 0 1016927626 68542464 16348 4294967295 134512640 135216591 3218010256 3218008448 134528939 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 16734 16348 75 172 0 16561 0
Current children cumulated CPU time (s) 342.31

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

[pid=18363] ppid=18170 vsize=68844 CPUtime=415.37
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 16894 0 0 0 41523 14 0 0 25 0 1 0 1016927626 70496256 16828 4294967295 134512640 135216591 3218010256 3218008448 134529245 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 17211 16828 75 172 0 17038 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 71260

[startup+522.313 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 19871
/proc/meminfo: memFree=1162140/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=71376 CPUtime=475.37
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 17544 0 0 0 47523 14 0 0 25 0 1 0 1016927626 73089024 17478 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 17844 17478 75 172 0 17671 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 73792

[startup+582.318 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 20058
/proc/meminfo: memFree=1159336/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=74304 CPUtime=535.38
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 18267 0 0 0 53523 15 0 0 25 0 1 0 1016927626 76087296 18201 4294967295 134512640 135216591 3218010256 3218008448 134528881 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 18576 18201 75 172 0 18403 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 76720

[startup+642.313 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 20247
/proc/meminfo: memFree=1158956/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=74600 CPUtime=595.38
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 18359 0 0 0 59523 15 0 0 25 0 1 0 1016927626 76390400 18293 4294967295 134512640 135216591 3218010256 3218008448 134528851 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 18650 18293 75 172 0 18477 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 77016

[startup+702.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20439
/proc/meminfo: memFree=1158684/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=74744 CPUtime=655.39
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 18387 0 0 0 65524 15 0 0 25 0 1 0 1016927626 76537856 18321 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 18686 18321 75 172 0 18513 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 77160

[startup+762.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 20625
/proc/meminfo: memFree=1158080/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=75352 CPUtime=715.4
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 18509 0 0 0 71525 15 0 0 25 0 1 0 1016927626 77160448 18443 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 18838 18443 75 172 0 18665 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 77768

[startup+822.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 20814
/proc/meminfo: memFree=1157660/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=75696 CPUtime=775.4
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 18586 0 0 0 77525 15 0 0 25 0 1 0 1016927626 77512704 18520 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 18924 18520 75 172 0 18751 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 78112

[startup+882.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21001
/proc/meminfo: memFree=1157088/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=76524 CPUtime=835.4
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 18771 0 0 0 83525 15 0 0 25 0 1 0 1016927626 78360576 18705 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 19131 18705 75 172 0 18958 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 78940

[startup+942.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21190
/proc/meminfo: memFree=1156684/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=77020 CPUtime=895.41
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 18899 0 0 0 89526 15 0 0 25 0 1 0 1016927626 78868480 18833 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 19255 18833 75 172 0 19082 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 79436

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 21378
/proc/meminfo: memFree=1156196/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=77444 CPUtime=955.41
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 18989 0 0 0 95526 15 0 0 25 0 1 0 1016927626 79302656 18923 4294967295 134512640 135216591 3218010256 3218008448 134528987 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 19361 18923 75 172 0 19188 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 79860

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 21564
/proc/meminfo: memFree=1155940/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=77588 CPUtime=1015.41
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 19050 0 0 0 101526 15 0 0 25 0 1 0 1016927626 79450112 18984 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 19397 18984 75 172 0 19224 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 80004

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 21757
/proc/meminfo: memFree=1155600/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=77884 CPUtime=1075.43
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 19107 0 0 0 107527 16 0 0 25 0 1 0 1016927626 79753216 19041 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 19471 19041 75 172 0 19298 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 80300

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21944
/proc/meminfo: memFree=1155444/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=78160 CPUtime=1135.43
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 19177 0 0 0 113526 17 0 0 25 0 1 0 1016927626 80035840 19111 4294967295 134512640 135216591 3218010256 3218008448 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 19540 19111 75 172 0 19367 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 80576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21946
/proc/meminfo: memFree=1155572/2074464 swapFree=1948616/1959888
[pid=18170] ppid=18168 vsize=2416 CPUtime=46.93
/proc/18170/stat : 18170 (SatELiteGTI) S 18168 18170 10436 0 -1 4194304 387 50372 0 0 0 0 4651 42 18 0 1 0 1016922934 2473984 278 4294967295 134512640 135169312 3216125552 3216121768 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18170/statm: 604 278 235 161 0 43 0
[pid=18363] ppid=18170 vsize=78160 CPUtime=1153.13
/proc/18363/stat : 18363 (minisat_static) R 18170 18170 10436 0 -1 4202496 19177 0 0 0 115296 17 0 0 25 0 1 0 1016927626 80035840 19111 4294967295 134512640 135216591 3218010256 3218008448 134528826 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18363/statm: 19540 19111 75 172 0 19367 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 80576

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.07
CPU user time (s): 1199.47
CPU system time (s): 0.6
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 210740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.47
system time used= 0.6
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70026
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= 19
involuntary context switches= 3347

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi16 at 2009-05-17 03:37:02
IDJOB=1821401
IDBENCH=70950
IDSOLVER=658
FILE ID=tipi16/1821401-1242524222
PBS_JOBID=
Free space on /tmp= 4910 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r2-noholes.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821401-1242524222/watcher-1821401-1242524222 -o /tmp/evaluation-result-1821401-1242524222/solver-1821401-1242524222 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821401-1242524222.cnf

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

MD5SUM BENCH= 4c8b9603e0c90cfb3c82064eae956799
RANDOM SEED= 1460923525

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1259108 kB
Buffers:         38860 kB
Cached:         695428 kB
SwapCached:       5940 kB
Active:         122628 kB
Inactive:       621684 kB
HighTotal:     1178688 kB
HighFree:       519648 kB
LowTotal:       895776 kB
LowFree:        739460 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:           34496 kB
Writeback:           0 kB
AnonPages:        9316 kB
Mapped:           3260 kB
Slab:            62020 kB
PageTables:        656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90764 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4910 MiB
End job on tipi16 at 2009-05-17 03:57:06