Trace number 1820897

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.08 1200.05

General information on the benchmark

NameAPPLICATIONS/
bitverif/minxor/minxor128.cnf
MD5SUM10b48467ea3d951975cb9264f0b654fe
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables54258
Number of clauses160469
Sum of the clauses size374425
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2106978
Number of clauses of size 353489
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.12/0.15	c ==============================================================================
0.12/0.15	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.15	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.15	c ==============================================================================
0.12/0.15	c |         0 |  160467   374423 |   48140       0        0     nan |  0.000 % |
4.92/4.99	c |         0 |   63354   307031 |      --       0       --      -- |     --   | -97071/-67291
4.92/4.99	c ==============================================================================
4.92/4.99	c Result  :   #vars: 5505   #clauses: 63354   #literals: 307031
4.92/4.99	c CPU time:   4.95 s
4.92/4.99	c ==============================================================================
5.02/5.09	c This is MiniSat 2.0 beta
5.02/5.09	c WARNING: for repeatability, setting FPU to use double precision
5.02/5.09	c ============================[ Problem Statistics ]=============================
5.02/5.09	c |                                                                             |
5.02/5.09	c |  Number of variables:  5505                                                 |
5.02/5.09	c |  Number of clauses:    63354                                                |
5.10/5.14	c |  Parsing time:         0.05         s                                       |
5.10/5.15	c ============================[ Search Statistics ]==============================
5.10/5.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.10/5.15	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.10/5.15	c ===============================================================================
5.10/5.15	c |         0 |    5505    63354   307031 |    21118        0    nan |  0.000 % |
5.10/5.37	c |       513 |    5505    63354   307031 |    21118      513     22 |  0.000 % |
5.10/5.41	c |      1026 |    5505    63354   307031 |    21118     1026     20 |  0.000 % |
5.10/5.44	c |      1539 |    5505    63354   307031 |    21118     1539     26 |  0.000 % |
5.10/5.50	c |      2563 |    5505    63354   307031 |    21118     2563     28 |  0.000 % |
5.52/5.53	c |      3076 |    5505    63354   307031 |    21118     3076     31 |  0.000 % |
5.52/5.56	c |      3590 |    5505    63354   307031 |    21118     3590     30 |  0.000 % |
5.62/5.62	c |      4614 |    5505    63354   307031 |    21118     4614     29 |  0.000 % |
5.91/5.97	c |      6664 |    5505    63354   307031 |    21118     6664     33 |  0.000 % |
6.01/6.05	c |      7176 |    5505    63354   307031 |    21118     7176     37 |  0.000 % |
6.11/6.13	c |      7689 |    5505    63354   307031 |    21118     7689     44 |  0.000 % |
6.21/6.30	c |      8713 |    5505    63354   307031 |    21118     8713     51 |  0.000 % |
6.31/6.35	c |      9227 |    5505    63354   307031 |    21118     9227     54 |  0.000 % |
6.31/6.38	c |      9740 |    5505    63354   307031 |    21118     9740     57 |  0.000 % |
6.51/6.55	c |     10765 |    5505    63354   307031 | 2147483647    10765     64 |  0.000 % |
6.81/6.82	c |     12813 |    5505    63354   307031 | 2147483647    12813     69 |  0.000 % |
7.41/7.50	c |     16912 |    5505    63354   307031 | 2147483647    16912     76 |  0.000 % |
7.61/7.63	c |     17425 |    5505    63354   307031 | 2147483647    17425     80 |  0.000 % |
7.71/7.80	c |     17937 |    5505    63354   307031 | 2147483647    17937     86 |  0.000 % |
8.01/8.02	c |     18961 |    5505    63354   307031 | 2147483647    18961     96 |  0.000 % |
8.11/8.14	c |     19475 |    5505    63354   307031 | 2147483647    19475     98 |  0.000 % |
8.21/8.29	c |     19987 |    5505    63354   307031 | 2147483647    19987    101 |  0.000 % |
8.41/8.48	c |     21012 |    5505    63354   307031 | 2147483647    21012    107 |  0.000 % |
8.71/8.72	c |     23063 |    5505    63354   307031 | 2147483647    23063    103 |  0.000 % |
9.01/9.07	c |     23582 |    5505    63354   307031 | 2147483647    23582    102 |  0.000 % |
9.11/9.13	c |     24094 |    5505    63354   307031 | 2147483647    24094    100 |  0.000 % |
9.21/9.30	c |     25118 |    5505    63354   307031 | 2147483647    25118     98 |  0.000 % |
9.31/9.37	c |     25632 |    5505    63354   307031 | 2147483647    25632     98 |  0.000 % |
9.41/9.45	c |     26144 |    5505    63354   307031 | 2147483647    26144     98 |  0.000 % |
9.51/9.58	c |     27169 |    5505    63354   307031 | 2147483647    27169     99 |  0.000 % |
10.11/10.12	c |     29217 |    5505    63354   307031 | 2147483647    29217     99 |  0.000 % |
10.71/10.72	c |     33315 |    5505    63354   307031 | 2147483647    33315    111 |  0.000 % |
13.01/13.06	c |     41508 |    5505    63354   307031 | 2147483647    41508    136 |  0.000 % |
13.11/13.12	c |     42020 |    5505    63354   307031 | 2147483647    42020    135 |  0.000 % |
13.32/13.32	c |     42532 |    5505    63354   307031 | 2147483647    42532    134 |  0.000 % |
13.51/13.60	c |     43560 |    5505    63354   307031 | 2147483647    43560    134 |  0.000 % |
13.71/13.72	c |     44072 |    5505    63354   307031 | 2147483647    44072    135 |  0.000 % |
13.81/13.80	c |     44586 |    5505    63354   307031 | 2147483647    44586    135 |  0.000 % |
14.11/14.11	c |     45610 |    5505    63354   307031 | 2147483647    45610    132 |  0.000 % |
14.61/14.64	c |     47658 |    5505    63354   307031 | 2147483647    47658    133 |  0.000 % |
14.61/14.69	c |     48171 |    5505    63354   307031 | 2147483647    48171    132 |  0.000 % |
14.71/14.78	c |     48683 |    5505    63354   307031 | 2147483647    48683    131 |  0.000 % |
14.91/14.95	c |     49708 |    5505    63354   307031 | 2147483647    49708    131 |  0.000 % |
15.01/15.10	c |     50221 |    5505    63354   307031 | 2147483647    50221    132 |  0.000 % |
15.21/15.23	c |     50736 |    5505    63354   307031 | 2147483647    50736    132 |  0.000 % |
15.52/15.60	c |     51760 |    5505    63354   307031 | 2147483647    51760    132 |  0.000 % |
16.01/16.05	c |     53808 |    5505    63354   307031 | 2147483647    53808    135 |  0.000 % |
17.21/17.27	c |     57907 |    5505    63354   307031 | 2147483647    57907    145 |  0.000 % |
17.41/17.46	c |     58419 |    5505    63354   307031 | 2147483647    58419    147 |  0.000 % |
17.61/17.65	c |     58934 |    5505    63354   307031 | 2147483647    58934    149 |  0.000 % |
18.11/18.17	c |     59960 |    5505    63354   307031 | 2147483647    59960    151 |  0.000 % |
18.41/18.42	c |     60472 |    5505    63354   307031 | 2147483647    60472    151 |  0.000 % |
18.51/18.54	c |     60985 |    5505    63354   307031 | 2147483647    60985    152 |  0.000 % |
19.21/19.21	c |     62011 |    5505    63354   307031 | 2147483647    62011    155 |  0.000 % |
19.61/19.68	c |     64059 |    5505    63354   307031 | 2147483647    64059    156 |  0.000 % |
19.81/19.81	c |     64572 |    5505    63354   307031 | 2147483647    64572    156 |  0.000 % |
19.92/19.98	c |     65084 |    5505    63354   307031 | 2147483647    65084    155 |  0.000 % |
20.31/20.40	c |     66108 |    5505    63354   307031 | 2147483647    66108    154 |  0.000 % |
20.41/20.50	c |     66621 |    5505    63354   307031 | 2147483647    66621    153 |  0.000 % |
20.61/20.64	c |     67136 |    5505    63354   307031 | 2147483647    67136    153 |  0.000 % |
21.02/21.04	c |     68161 |    5505    63354   307031 | 2147483647    68161    152 |  0.000 % |
21.81/21.82	c |     70209 |    5505    63354   307031 | 2147483647    70209    153 |  0.000 % |
23.31/23.31	c |     74306 |    5505    63354   307031 | 2147483647    74306    154 |  0.000 % |
28.41/28.48	c |     82499 |    5505    63354   307031 | 2147483647    82499    162 |  0.000 % |
40.72/40.77	c |     98884 |    5505    63354   307031 | 2147483647    98884    168 |  0.000 % |
41.22/41.30	c |     99396 |    5505    63354   307031 | 2147483647    99396    168 |  0.000 % |
41.92/41.97	c |     99910 |    5505    63354   307031 | 2147483647    99910    168 |  0.000 % |
43.22/43.30	c |    100935 |    5505    63354   307031 |   100000    85591    179 |  0.000 % |
43.72/43.78	c |    101450 |    5505    63354   307031 |   100000    86106    179 |  0.000 % |
44.42/44.42	c |    101964 |    5505    63354   307031 |   100000    86620    180 |  0.000 % |
45.32/45.39	c |    102988 |    5505    63354   307031 |   100000    87644    179 |  0.000 % |
46.22/46.25	c |    105042 |    5505    63354   307031 |   100000    89698    176 |  0.000 % |
46.32/46.36	c |    105554 |    5505    63354   307031 |   100000    90210    175 |  0.000 % |
46.42/46.47	c |    106067 |    5505    63354   307031 |   100000    90723    174 |  0.000 % |
46.72/46.74	c |    107093 |    5505    63354   307031 |   100000    91749    173 |  0.000 % |
46.82/46.91	c |    107605 |    5505    63354   307031 |   100000    92261    172 |  0.000 % |
47.02/47.08	c |    108117 |    5505    63354   307031 |   100000    92773    173 |  0.000 % |
47.42/47.46	c |    109145 |    5505    63354   307031 |   100000    93801    174 |  0.000 % |
48.02/48.11	c |    111193 |    5505    63354   307031 | 2147483647    95849    174 |  0.000 % |
49.42/49.51	c |    115291 |    5505    63354   307031 | 2147483647    99947    176 |  0.000 % |
49.72/49.76	c |    115803 |    5505    63354   307031 | 2147483647   100459    176 |  0.000 % |
50.02/50.03	c |    116315 |    5505    63354   307031 | 2147483647   100971    177 |  0.000 % |
50.62/50.66	c |    117340 |    5505    63354   307031 | 2147483647   101996    177 |  0.000 % |
50.82/50.86	c |    117852 |    5505    63354   307031 | 2147483647   102508    177 |  0.000 % |
51.12/51.16	c |    118365 |    5505    63354   307031 | 2147483647   103021    178 |  0.000 % |
51.72/51.81	c |    119392 |    5505    63354   307031 | 2147483647   104048    179 |  0.000 % |
52.92/52.94	c |    121440 |    5505    63354   307031 | 2147483647   106096    180 |  0.000 % |
53.22/53.26	c |    121953 |    5505    63354   307031 | 2147483647   106609    180 |  0.000 % |
53.62/53.63	c |    122465 |    5505    63354   307031 | 2147483647   107121    180 |  0.000 % |
54.02/54.02	c |    123490 |    5505    63354   307031 | 2147483647   108146    179 |  0.000 % |
54.22/54.24	c |    124003 |    5505    63354   307031 | 2147483647   108659    179 |  0.000 % |
54.32/54.40	c |    124515 |    5505    63354   307031 | 2147483647   109171    178 |  0.000 % |
54.52/54.61	c |    125543 |    5505    63354   307031 | 2147483647   110199    177 |  0.000 % |
55.42/55.41	c |    127593 |    5505    63354   307031 | 2147483647   112249    175 |  0.000 % |
56.72/56.81	c |    131689 |    5505    63354   307031 | 2147483647   116345    173 |  0.000 % |
58.92/58.97	c |    139882 |    5505    63354   307031 | 2147483647   124538    170 |  0.000 % |
59.22/59.29	c |    140397 |    5505    63354   307031 | 2147483647   125053    170 |  0.000 % |
59.62/59.61	c |    140909 |    5505    63354   307031 | 2147483647   125565    170 |  0.000 % |
59.92/59.99	c |    141933 |    5505    63354   307031 | 2147483647   126589    170 |  0.000 % |
60.12/60.15	c |    142445 |    5505    63354   307031 | 2147483647   127101    170 |  0.000 % |
60.52/60.61	c |    142957 |    5505    63354   307031 | 2147483647   127613    170 |  0.000 % |
61.12/61.15	c |    143985 |    5505    63354   307031 | 2147483647   128641    171 |  0.000 % |
61.72/61.78	c |    146034 |    5505    63354   307031 | 2147483647   130690    171 |  0.000 % |
61.92/61.96	c |    146552 |    5505    63354   307031 | 2147483647   131208    171 |  0.000 % |
62.02/62.11	c |    147065 |    5505    63354   307031 | 2147483647   131721    171 |  0.000 % |
62.52/62.53	c |    148093 |    5505    63354   307031 | 2147483647   132749    171 |  0.000 % |
62.72/62.72	c |    148605 |    5505    63354   307031 | 2147483647   133261    171 |  0.000 % |
62.92/62.93	c |    149117 |    5505    63354   307031 | 2147483647   133773    171 |  0.000 % |
63.82/63.82	c |    150142 |    5505    63354   307031 |   134656   134798    171 |  0.000 % |
65.12/65.17	c |    152191 |    5505    63354   307031 |   134656   116965    168 |  0.000 % |
67.12/67.18	c |    156287 |    5505    63354   307031 |   134656   121061    170 |  0.000 % |
67.32/67.41	c |    156800 |    5505    63354   307031 |   134656   121574    170 |  0.000 % |
67.62/67.67	c |    157313 |    5505    63354   307031 |   134656   122087    170 |  0.000 % |
68.62/68.66	c |    158339 |    5505    63354   307031 |   134656   123113    171 |  0.000 % |
68.92/68.96	c |    158852 |    5505    63354   307031 |   134656   123626    171 |  0.000 % |
69.12/69.17	c |    159368 |    5505    63354   307031 |   134656   124142    172 |  0.000 % |
69.52/69.53	c |    160393 |    5505    63354   307031 |   124774   125167    172 |  0.000 % |
71.12/71.13	c |    162443 |    5505    63354   307031 |   124774   114701    169 |  0.000 % |
71.32/71.38	c |    162967 |    5505    63354   307031 |   124774   115225    170 |  0.000 % |
71.72/71.72	c |    163479 |    5505    63354   307031 |   124774   115737    170 |  0.000 % |
72.32/72.35	c |    164503 |    5505    63354   307031 |   124774   116761    171 |  0.000 % |
72.52/72.61	c |    165015 |    5505    63354   307031 |   124774   117273    171 |  0.000 % |
72.72/72.77	c |    165529 |    5505    63354   307031 |   124774   117787    170 |  0.000 % |
73.02/73.07	c |    166554 |    5505    63354   307031 |   124774   118812    170 |  0.000 % |
73.72/73.76	c |    168604 |    5504    63225   306772 |   124774   120860    168 |  0.018 % |
77.32/77.37	c |    172700 |    5504    63225   306772 |   122257   107067    165 |  0.018 % |
80.52/80.53	c |    180894 |    5504    63225   306772 |   114369   115261    169 |  0.018 % |
88.82/88.83	c |    197279 |    5504    63225   306772 | 2147483647   115820    178 |  0.018 % |
119.22/119.21	c |    230048 |    5504    63225   306772 |    92481    92529    266 |  0.018 % |
119.42/119.43	c |    230560 |    5504    63225   306772 |    92481    75165    278 |  0.018 % |
120.03/120.04	c |    231073 |    5504    63225   306772 |    92481    75678    279 |  0.018 % |
120.72/120.74	c |    232097 |    5504    63225   306772 |    92481    76702    280 |  0.018 % |
121.13/121.15	c |    232609 |    5504    63225   306772 |    92481    77214    280 |  0.018 % |
121.42/121.48	c |    233122 |    5504    63225   306772 |    92481    77727    281 |  0.018 % |
122.02/122.02	c |    234148 |    5504    63225   306772 |    92481    78753    281 |  0.018 % |
123.12/123.12	c |    236196 |    5504    63225   306772 |    92481    80801    278 |  0.018 % |
123.62/123.62	c |    236709 |    5504    63225   306772 |    92481    81314    278 |  0.018 % |
124.02/124.07	c |    237225 |    5504    63225   306772 |    92481    81830    278 |  0.018 % |
124.72/124.79	c |    238250 |    5504    63225   306772 |    92481    82855    278 |  0.018 % |
125.32/125.38	c |    238762 |    5504    63225   306772 |    92481    83367    278 |  0.018 % |
125.53/125.58	c |    239275 |    5504    63225   306772 |    92481    83880    277 |  0.018 % |
125.82/125.87	c |    240299 |    5504    63225   306772 |    84605    84904    276 |  0.018 % |
126.63/126.68	c |    242348 |    5504    63225   306772 |    84605    77714    294 |  0.018 % |
128.52/128.60	c |    246444 |    5504    63225   306772 |    84605    81810    288 |  0.018 % |
128.83/128.86	c |    246956 |    5504    63225   306772 |    84605    82322    287 |  0.018 % |
129.02/129.04	c |    247469 |    5504    63225   306772 |    84605    82835    286 |  0.018 % |
129.32/129.38	c |    248496 |    5504    63225   306772 |    84605    83862    286 |  0.018 % |
129.42/129.50	c |    249008 |    5504    63225   306772 |    84605    84374    285 |  0.018 % |
129.72/129.78	c |    249524 |    5504    63225   306772 |    84605    76415    291 |  0.018 % |
130.22/130.29	c |    250551 |    5504    63225   306772 | 2147483647    77442    290 |  0.018 % |
131.62/131.67	c |    252602 |    5504    63225   306772 | 2147483647    79493    290 |  0.018 % |
131.92/131.94	c |    253114 |    5504    63225   306772 | 2147483647    80005    289 |  0.018 % |
132.22/132.29	c |    253633 |    5504    63225   306772 | 2147483647    80524    289 |  0.018 % |
132.92/132.94	c |    254657 |    5504    63225   306772 | 2147483647    81548    290 |  0.018 % |
133.62/133.70	c |    255170 |    5504    63225   306772 | 2147483647    82061    291 |  0.018 % |
134.02/134.02	c |    255683 |    5504    63225   306772 | 2147483647    82574    291 |  0.018 % |
134.42/134.46	c |    256707 |    5504    63225   306772 | 2147483647    83598    292 |  0.018 % |
135.72/135.76	c |    258757 |    5504    63225   306772 | 2147483647    85648    294 |  0.018 % |
138.22/138.27	c |    262858 |    5504    63225   306772 | 2147483647    89749    297 |  0.018 % |
148.23/148.29	c |    271050 |    5504    63225   306772 |    96891    97941    310 |  0.018 % |
149.33/149.33	c |    271562 |    5504    63225   306772 |    96891    81557    317 |  0.018 % |
149.93/149.94	c |    272074 |    5504    63225   306772 |    96891    82069    317 |  0.018 % |
151.23/151.30	c |    273099 |    5504    63225   306772 |    96891    83094    317 |  0.018 % |
152.03/152.08	c |    273612 |    5504    63225   306772 |    96891    83607    317 |  0.018 % |
152.23/152.30	c |    274125 |    5504    63225   306772 |    96891    84120    317 |  0.018 % |
152.93/153.01	c |    275152 |    5504    63225   306772 |    96891    85147    316 |  0.018 % |
154.43/154.42	c |    277200 |    5504    63225   306772 |    96891    87195    314 |  0.018 % |
154.73/154.79	c |    277712 |    5504    63225   306772 |    96891    87707    314 |  0.018 % |
155.23/155.24	c |    278225 |    5504    63225   306772 |    96891    88220    314 |  0.018 % |
156.23/156.29	c |    279249 |    5504    63225   306772 |    96891    89244    315 |  0.018 % |
156.83/156.90	c |    279761 |    5504    63225   306772 |    96891    89756    315 |  0.018 % |
157.23/157.28	c |    280273 |    5504    63225   306772 |    89995    90268    315 |  0.018 % |
158.03/158.10	c |    281300 |    5504    63225   306772 |    89995    81112    307 |  0.018 % |
158.73/158.80	c |    283348 |    5504    63225   306772 |    89995    83160    305 |  0.018 % |
161.23/161.23	c |    287446 |    5504    63225   306772 |    89995    87258    309 |  0.018 % |
161.63/161.71	c |    287959 |    5504    63225   306772 |    89995    87771    310 |  0.018 % |
162.43/162.45	c |    288474 |    5504    63225   306772 |    89995    88286    310 |  0.018 % |
163.23/163.24	c |    289498 |    5504    63225   306772 |    89995    89310    312 |  0.018 % |
163.53/163.58	c |    290011 |    5504    63225   306772 | 2147483647    89823    312 |  0.018 % |
164.13/164.13	c |    290523 |    5504    63225   306772 | 2147483647    90335    311 |  0.018 % |
164.33/164.41	c |    291548 |    5504    63225   306772 | 2147483647    91360    308 |  0.018 % |
165.43/165.52	c |    293598 |    5504    63225   306772 | 2147483647    93410    305 |  0.018 % |
165.73/165.80	c |    294112 |    5504    63225   306772 | 2147483647    93924    304 |  0.018 % |
166.03/166.07	c |    294624 |    5504    63225   306772 | 2147483647    94436    303 |  0.018 % |
166.33/166.32	c |    295648 |    5504    63225   306772 | 2147483647    95460    302 |  0.018 % |
166.53/166.57	c |    296160 |    5504    63225   306772 | 2147483647    95972    301 |  0.018 % |
167.03/167.05	c |    296676 |    5504    63225   306772 | 2147483647    96488    301 |  0.018 % |
167.83/167.86	c |    297700 |    5504    63225   306772 | 2147483647    97512    302 |  0.018 % |
169.33/169.41	c |    299748 |    5504    63225   306772 | 2147483647    99560    302 |  0.018 % |
171.63/171.66	c |    303845 |    5504    63225   306772 | 2147483647   103657    301 |  0.018 % |
176.03/176.07	c |    312042 |    5504    63225   306772 | 2147483647   111854    304 |  0.018 % |
191.93/191.94	c |    328427 |    5504    63225   306772 |   119816   110212    292 |  0.018 % |
192.23/192.25	c |    328940 |    5504    63225   306772 |   119816   110725    292 |  0.018 % |
192.43/192.50	c |    329453 |    5504    63225   306772 |   119816   111238    292 |  0.018 % |
193.13/193.20	c |    330477 |    5504    63225   306772 |   111785    98852    292 |  0.018 % |
193.53/193.52	c |    330989 |    5504    63225   306772 |   111785    99364    292 |  0.018 % |
193.83/193.89	c |    331505 |    5504    63225   306772 |   111785    99880    292 |  0.018 % |
194.53/194.60	c |    332536 |    5504    63225   306772 |   111785   100911    291 |  0.018 % |
195.53/195.53	c |    334584 |    5504    63225   306772 |   111785   102959    288 |  0.018 % |
195.63/195.68	c |    335096 |    5504    63225   306772 |   111785   103471    287 |  0.018 % |
195.93/195.96	c |    335608 |    5504    63225   306772 |   111785   103983    286 |  0.018 % |
196.43/196.49	c |    336633 |    5504    63225   306772 |   111785   105008    286 |  0.018 % |
197.03/197.03	c |    337146 |    5504    63225   306772 |   111785   105521    285 |  0.018 % |
197.43/197.48	c |    337659 |    5504    63225   306772 |   111785   106034    286 |  0.018 % |
198.33/198.34	c |    338683 |    5504    63225   306772 |   111785   107058    287 |  0.018 % |
200.33/200.36	c |    340732 |    5504    63225   306772 | 2147483647   109107    288 |  0.018 % |
202.93/202.94	c |    344828 |    5504    63225   306772 | 2147483647   113203    285 |  0.018 % |
203.23/203.29	c |    345342 |    5504    63225   306772 | 2147483647   113717    286 |  0.018 % |
203.83/203.83	c |    345856 |    5504    63225   306772 | 2147483647   114231    286 |  0.018 % |
205.13/205.14	c |    346881 |    5504    63225   306772 | 2147483647   115256    287 |  0.018 % |
205.63/205.63	c |    347393 |    5504    63225   306772 | 2147483647   115768    287 |  0.018 % |
206.23/206.24	c |    347906 |    5504    63225   306772 | 2147483647   116281    288 |  0.018 % |
207.63/207.63	c |    348938 |    5504    63225   306772 | 2147483647   117313    289 |  0.018 % |
210.13/210.13	c |    350988 |    5504    63225   306772 | 2147483647   119363    292 |  0.018 % |
210.63/210.64	c |    351508 |    5504    63225   306772 | 2147483647   119883    292 |  0.018 % |
211.33/211.38	c |    352020 |    5504    63225   306772 | 2147483647   120395    292 |  0.018 % |
212.13/212.17	c |    353050 |    5504    63225   306772 | 2147483647   121425    293 |  0.018 % |
212.83/212.89	c |    353564 |    5504    63225   306772 | 2147483647   121939    293 |  0.018 % |
213.33/213.37	c |    354076 |    5504    63225   306772 | 2147483647   122451    292 |  0.018 % |
214.13/214.17	c |    355107 |    5504    63225   306772 | 2147483647   123482    292 |  0.018 % |
216.43/216.44	c |    357159 |    5504    63225   306772 | 2147483647   125534    294 |  0.018 % |
219.23/219.29	c |    361256 |    5504    63225   306772 |   128379   129631    299 |  0.018 % |
225.73/225.73	c |    369449 |    5504    63225   306772 |   128379   114077    299 |  0.018 % |
226.43/226.48	c |    369961 |    5504    63225   306772 |   128379   114589    300 |  0.018 % |
227.13/227.12	c |    370474 |    5504    63225   306772 |   114629   115102    301 |  0.018 % |
228.33/228.40	c |    371499 |    5504    63225   306772 |   114629    92885    308 |  0.018 % |
228.94/229.01	c |    372013 |    5504    63225   306772 |   114629    93399    309 |  0.018 % |
229.53/229.59	c |    372525 |    5504    63225   306772 |   114629    93911    308 |  0.018 % |
229.93/229.98	c |    373550 |    5504    63225   306772 |   114629    94936    306 |  0.018 % |
230.73/230.73	c |    375598 |    5504    63225   306772 |   114629    96984    302 |  0.018 % |
230.93/231.01	c |    376110 |    5504    63225   306772 |   114629    97496    301 |  0.018 % |
231.33/231.39	c |    376622 |    5504    63225   306772 |   114629    98008    300 |  0.018 % |
231.73/231.77	c |    377648 |    5504    63225   306772 |   114629    99034    298 |  0.018 % |
231.93/231.97	c |    378162 |    5504    63225   306772 |   114629    99548    296 |  0.018 % |
232.24/232.26	c |    378674 |    5504    63225   306772 |   114629   100060    296 |  0.018 % |
232.53/232.57	c |    379699 |    5504    63225   306772 |   114629   101085    295 |  0.018 % |
233.34/233.37	c |    381747 |    5504    63225   306772 |   101386    92852    293 |  0.018 % |
235.43/235.49	c |    385847 |    5504    63225   306772 |   101386    96952    293 |  0.018 % |
235.83/235.86	c |    386362 |    5504    63225   306772 |   101386    97467    292 |  0.018 % |
236.03/236.05	c |    386875 |    5504    63225   306772 |   101386    97980    292 |  0.018 % |
236.64/236.64	c |    387899 |    5504    63225   306772 |   101386    99004    292 |  0.018 % |
236.83/236.84	c |    388412 |    5504    63225   306772 |   101386    99517    292 |  0.018 % |
237.13/237.17	c |    388925 |    5504    63225   306772 |   101386   100030    292 |  0.018 % |
237.93/237.96	c |    389950 |    5504    63225   306772 |   101386   101055    292 |  0.018 % |
239.73/239.80	c |    391999 |    5504    63225   306772 | 2147483647   103104    290 |  0.018 % |
239.94/239.99	c |    392512 |    5504    63225   306772 | 2147483647   103617    289 |  0.018 % |
240.43/240.42	c |    393024 |    5504    63225   306772 | 2147483647   104129    288 |  0.018 % |
241.23/241.28	c |    394048 |    5504    63225   306772 | 2147483647   105153    288 |  0.018 % |
242.53/242.55	c |    394560 |    5504    63225   306772 | 2147483647   105665    288 |  0.018 % |
243.24/243.30	c |    395072 |    5504    63225   306772 | 2147483647   106177    287 |  0.018 % |
244.13/244.12	c |    396097 |    5504    63225   306772 | 2147483647   107202    286 |  0.018 % |
245.44/245.43	c |    398145 |    5504    63225   306772 | 2147483647   109250    283 |  0.018 % |
248.53/248.54	c |    402243 |    5504    63225   306772 | 2147483647   113348    284 |  0.018 % |
254.03/254.02	c |    410438 |    5504    63225   306772 |   121105   121543    281 |  0.018 % |
268.34/268.43	c |    426823 |    5504    63225   306772 |   112307    97031    267 |  0.018 % |
288.13/288.13	c |    459591 |    5504    63225   306772 | 2147483647    99601    194 |  0.018 % |
364.43/364.47	c |    525130 |    5504    63225   306772 |   106588    97089    299 |  0.018 % |
365.13/365.20	c |    525642 |    5504    63225   306772 |   106588    97601    300 |  0.018 % |
365.93/365.98	c |    526154 |    5504    63225   306772 |   106588    98113    301 |  0.018 % |
366.93/366.91	c |    527180 |    5504    63225   306772 |   106588    99139    302 |  0.018 % |
367.54/367.52	c |    527701 |    5504    63225   306772 |   106588    99660    301 |  0.018 % |
367.73/367.71	c |    528222 |    5504    63225   306772 |   106588   100181    301 |  0.018 % |
368.73/368.71	c |    529247 |    5504    63225   306772 |   106588   101206    300 |  0.018 % |
369.53/369.53	c |    531295 |    5504    63225   306772 |   101960   103254    298 |  0.018 % |
369.83/369.85	c |    531808 |    5504    63225   306772 |   101960    85186    332 |  0.018 % |
369.93/369.96	c |    532320 |    5504    63225   306772 |   101960    85698    331 |  0.018 % |
370.23/370.23	c |    533344 |    5504    63225   306772 |   101960    86722    328 |  0.018 % |
370.43/370.45	c |    533856 |    5504    63225   306772 |   101960    87234    327 |  0.018 % |
370.63/370.64	c |    534368 |    5504    63225   306772 |   101960    87746    326 |  0.018 % |
371.03/371.07	c |    535393 |    5504    63225   306772 |   101960    88771    325 |  0.018 % |
371.73/371.77	c |    537441 |    5504    63225   306772 |   101960    90819    324 |  0.018 % |
373.83/373.89	c |    541540 |    5504    63225   306772 | 2147483647    94918    323 |  0.018 % |
374.14/374.16	c |    542052 |    5504    63225   306772 | 2147483647    95430    322 |  0.018 % |
374.33/374.34	c |    542564 |    5504    63225   306772 | 2147483647    95942    320 |  0.018 % |
374.53/374.54	c |    543588 |    5504    63225   306772 | 2147483647    96966    318 |  0.018 % |
374.73/374.73	c |    544100 |    5504    63225   306772 | 2147483647    97478    317 |  0.018 % |
375.13/375.13	c |    544614 |    5504    63225   306772 | 2147483647    97992    316 |  0.018 % |
375.33/375.39	c |    545639 |    5504    63225   306772 | 2147483647    99017    315 |  0.018 % |
377.34/377.39	c |    547687 |    5504    63225   306772 | 2147483647   101065    313 |  0.018 % |
377.74/377.76	c |    548199 |    5504    63225   306772 | 2147483647   101577    312 |  0.018 % |
378.04/378.07	c |    548712 |    5504    63225   306772 | 2147483647   102090    311 |  0.018 % |
378.64/378.62	c |    549740 |    5504    63225   306772 | 2147483647   103118    309 |  0.018 % |
378.84/378.83	c |    550252 |    5504    63225   306772 | 2147483647   103630    309 |  0.018 % |
379.04/379.05	c |    550770 |    5504    63225   306772 | 2147483647   104148    308 |  0.018 % |
379.54/379.53	c |    551796 |    5504    63225   306772 | 2147483647   105174    308 |  0.018 % |
380.44/380.44	c |    553845 |    5504    63225   306772 | 2147483647   107223    307 |  0.018 % |
383.04/383.06	c |    557943 |    5504    63225   306772 | 2147483647   111321    305 |  0.018 % |
388.14/388.20	c |    566135 |    5504    63225   306772 | 2147483647   119513    298 |  0.018 % |
388.44/388.51	c |    566647 |    5504    63225   306772 | 2147483647   120025    298 |  0.018 % |
388.84/388.90	c |    567160 |    5504    63225   306772 | 2147483647   120538    298 |  0.018 % |
389.54/389.58	c |    568185 |    5504    63225   306772 | 2147483647   121563    298 |  0.018 % |
389.84/389.89	c |    568699 |    5504    63225   306772 | 2147483647   122077    297 |  0.018 % |
389.94/390.01	c |    569212 |    5504    63225   306772 | 2147483647   122590    296 |  0.018 % |
390.54/390.52	c |    570238 |    5504    63225   306772 | 2147483647   123616    295 |  0.018 % |
391.04/391.07	c |    572286 |    5504    63225   306772 | 2147483647   125664    293 |  0.018 % |
391.54/391.53	c |    572798 |    5504    63225   306772 | 2147483647   126176    292 |  0.018 % |
391.74/391.81	c |    573313 |    5504    63225   306772 | 2147483647   126691    292 |  0.018 % |
392.54/392.57	c |    574338 |    5504    63225   306772 | 2147483647   127716    291 |  0.018 % |
392.94/392.95	c |    574851 |    5504    63225   306772 | 2147483647   128229    291 |  0.018 % |
393.34/393.37	c |    575371 |    5504    63225   306772 | 2147483647   128749    291 |  0.018 % |
394.04/394.10	c |    576396 |    5504    63225   306772 | 2147483647   129774    289 |  0.018 % |
394.94/394.95	c |    578444 |    5504    63225   306772 | 2147483647   131822    288 |  0.018 % |
398.04/398.02	c |    582540 |    5504    63225   306772 | 2147483647   135918    286 |  0.018 % |
398.24/398.31	c |    583052 |    5504    63225   306772 | 2147483647   136430    285 |  0.018 % |
398.54/398.53	c |    583567 |    5504    63225   306772 | 2147483647   136945    284 |  0.018 % |
398.84/398.86	c |    584594 |    5504    63225   306772 | 2147483647   137972    282 |  0.018 % |
399.04/399.11	c |    585107 |    5504    63225   306772 | 2147483647   138485    282 |  0.018 % |
399.34/399.39	c |    585619 |    5504    63225   306772 | 2147483647   138997    281 |  0.018 % |
399.84/399.82	c |    586643 |    5504    63225   306772 | 2147483647   140021    280 |  0.018 % |
401.44/401.49	c |    588694 |    5504    63225   306772 | 2147483647   142072    279 |  0.018 % |
402.04/402.06	c |    589210 |    5504    63225   306772 | 2147483647   142588    279 |  0.018 % |
402.54/402.62	c |    589723 |    5504    63225   306772 | 2147483647   143101    279 |  0.018 % |
403.64/403.62	c |    590750 |    5504    63225   306772 |   143378   126045    278 |  0.018 % |
403.94/403.97	c |    591264 |    5504    63225   306772 |   143378   126559    278 |  0.018 % |
404.44/404.48	c |    591776 |    5504    63225   306772 |   143378   127071    278 |  0.018 % |
405.34/405.39	c |    592801 |    5504    63225   306772 |   143378   128096    279 |  0.018 % |
407.64/407.68	c |    594849 |    5504    63225   306772 |   143378   130144    280 |  0.018 % |
410.84/410.90	c |    598946 |    5504    63225   306772 |   143378   134241    280 |  0.018 % |
417.24/417.29	c |    607148 |    5504    63225   306772 |   135295   123418    277 |  0.018 % |
430.84/430.85	c |    623533 |    5504    63225   306772 |   116293   105340    203 |  0.018 % |
431.24/431.31	c |    624047 |    5504    63225   306772 |   116293   105854    203 |  0.018 % |
431.64/431.66	c |    624567 |    5504    63225   306772 |   116293   106374    203 |  0.018 % |
432.44/432.42	c |    625597 |    5504    63225   306772 |   116293   107404    202 |  0.018 % |
432.84/432.85	c |    626111 |    5504    63225   306772 |   116293   107918    202 |  0.018 % |
433.14/433.14	c |    626624 |    5504    63225   306772 |   116293   108431    202 |  0.018 % |
433.54/433.55	c |    627650 |    5504    63225   306772 |   116293   109457    202 |  0.018 % |
434.54/434.57	c |    629709 |    5504    63225   306772 |   116293   111516    204 |  0.018 % |
434.74/434.73	c |    630224 |    5504    63225   306772 |   111813   112031    203 |  0.018 % |
435.24/435.24	c |    630736 |    5504    63225   306772 |   111813   101340    199 |  0.018 % |
435.94/435.98	c |    631762 |    5504    63225   306772 |   111813   102366    199 |  0.018 % |
436.14/436.18	c |    632275 |    5504    63225   306772 |   111813   102879    198 |  0.018 % |
436.54/436.59	c |    632794 |    5504    63225   306772 |   111813   103398    199 |  0.018 % |
437.04/437.02	c |    633819 |    5504    63225   306772 |   111813   104423    200 |  0.018 % |
438.14/438.14	c |    635867 |    5504    63225   306772 |   111813   106471    198 |  0.018 % |
440.44/440.50	c |    639972 |    5504    63225   306772 |   111813   110576    199 |  0.018 % |
440.74/440.78	c |    640485 |    5504    63225   306772 | 2147483647   111089    199 |  0.018 % |
440.94/440.92	c |    640997 |    5504    63225   306772 | 2147483647   111601    199 |  0.018 % |
441.94/441.95	c |    642021 |    5504    63225   306772 | 2147483647   112625    199 |  0.018 % |
442.44/442.51	c |    642534 |    5503    63096   306513 | 2147483647   113136    199 |  0.036 % |
442.64/442.67	c |    643050 |    5503    63096   306513 | 2147483647   113652    198 |  0.036 % |
443.64/443.64	c |    644075 |    5503    63096   306513 | 2147483647   114677    198 |  0.036 % |
444.44/444.51	c |    646126 |    5503    63096   306513 | 2147483647   116728    198 |  0.036 % |
444.64/444.67	c |    646640 |    5503    63096   306513 | 2147483647   117242    198 |  0.036 % |
444.93/444.97	c |    647153 |    5503    63096   306513 | 2147483647   117755    198 |  0.036 % |
445.23/445.28	c |    648179 |    5503    63096   306513 | 2147483647   118781    198 |  0.036 % |
445.43/445.50	c |    648694 |    5503    63096   306513 | 2147483647   119296    198 |  0.036 % |
446.13/446.13	c |    649213 |    5503    63096   306513 | 2147483647   119815    200 |  0.036 % |
447.03/447.07	c |    650239 |    5503    63096   306513 |   120607   120841    202 |  0.036 % |
450.43/450.44	c |    652287 |    5503    63096   306513 |   120607    98994    201 |  0.036 % |
454.33/454.33	c |    656383 |    5503    63096   306513 |   120607   103090    211 |  0.036 % |
466.03/466.09	c |    664575 |    5503    63096   306513 | 2147483647   111282    237 |  0.036 % |
466.54/466.55	c |    665089 |    5503    63096   306513 | 2147483647   111796    237 |  0.036 % |
466.93/466.99	c |    665602 |    5503    63096   306513 | 2147483647   112309    237 |  0.036 % |
467.23/467.22	c |    666626 |    5503    63096   306513 | 2147483647   113333    236 |  0.036 % |
467.43/467.42	c |    667138 |    5503    63096   306513 | 2147483647   113845    235 |  0.036 % |
467.73/467.72	c |    667650 |    5503    63096   306513 | 2147483647   114357    235 |  0.036 % |
468.63/468.69	c |    668675 |    5503    63096   306513 | 2147483647   115382    234 |  0.036 % |
470.03/470.09	c |    670723 |    5503    63096   306513 |   116709   117430    237 |  0.036 % |
471.03/471.01	c |    671236 |    5503    63096   306513 |   116709   101824    247 |  0.036 % |
471.33/471.35	c |    671749 |    5503    63096   306513 |   116709   102337    248 |  0.036 % |
471.93/472.00	c |    672773 |    5503    63096   306513 |   116709   103361    249 |  0.036 % |
472.53/472.54	c |    673285 |    5503    63096   306513 |   116709   103873    249 |  0.036 % |
473.14/473.18	c |    673801 |    5503    63096   306513 |   116709   104389    250 |  0.036 % |
473.73/473.73	c |    674826 |    5503    63096   306513 |   116709   105414    252 |  0.036 % |
475.34/475.34	c |    676874 |    5503    63096   306513 |   116709   107462    255 |  0.036 % |
479.53/479.59	c |    680976 |    5503    63096   306513 |   110588   111564    263 |  0.036 % |
480.13/480.17	c |    681491 |    5503    63096   306513 |   110588    98058    258 |  0.036 % |
480.63/480.61	c |    682003 |    5503    63096   306513 |   110588    98570    259 |  0.036 % |
481.23/481.21	c |    683028 |    5503    63096   306513 |   110588    99595    259 |  0.036 % |
481.43/481.46	c |    683541 |    5503    63096   306513 |   110588   100108    259 |  0.036 % |
481.94/481.94	c |    684054 |    5503    63096   306513 |   110588   100621    259 |  0.036 % |
482.43/482.48	c |    685079 |    5503    63096   306513 |   110588   101646    258 |  0.036 % |
483.63/483.69	c |    687128 |    5503    63096   306513 |   110588   103695    257 |  0.036 % |
484.23/484.28	c |    687641 |    5503    63096   306513 |   110588   104208    258 |  0.036 % |
484.73/484.72	c |    688155 |    5503    63096   306513 |   110588   104722    259 |  0.036 % |
485.43/485.49	c |    689179 |    5503    63096   306513 |   110588   105746    261 |  0.036 % |
485.93/485.99	c |    689691 |    5503    63096   306513 |   110588   106258    261 |  0.036 % |
486.43/486.42	c |    690203 |    5503    63096   306513 |   106567   106770    261 |  0.036 % |
487.44/487.50	c |    691228 |    5503    63096   306513 |   106567    96850    268 |  0.036 % |
489.33/489.37	c |    693284 |    5503    63096   306513 |   106567    98906    268 |  0.036 % |
492.24/492.31	c |    697381 |    5503    63096   306513 |   106567   103003    270 |  0.036 % |
497.94/497.95	c |    705584 |    5503    63096   306513 | 2147483647   111206    281 |  0.036 % |
536.04/536.09	c |    721968 |    5503    63096   306513 |   125623   106213    333 |  0.036 % |
596.94/596.94	c |    754736 |    5503    63096   306513 |    83404    72891    429 |  0.036 % |
598.34/598.32	c |    755252 |    5503    63096   306513 |    83404    73407    430 |  0.036 % |
599.24/599.28	c |    755766 |    5503    63096   306513 |    83404    73921    431 |  0.036 % |
600.54/600.55	c |    756790 |    5503    63096   306513 |    83404    74945    431 |  0.036 % |
601.85/601.85	c |    757302 |    5503    63096   306513 |    83404    75457    432 |  0.036 % |
602.84/602.87	c |    757817 |    5503    63096   306513 |    83404    75972    433 |  0.036 % |
604.24/604.25	c |    758841 |    5503    63096   306513 |    83404    76996    435 |  0.036 % |
608.05/608.02	c |    760892 |    5503    63096   306513 |    78155    79047    440 |  0.036 % |
608.65/608.63	c |    761404 |    5503    63096   306513 |    78155    60669    471 |  0.036 % |
609.05/609.08	c |    761916 |    5503    63096   306513 |    78155    61181    467 |  0.036 % |
609.35/609.35	c |    762940 |    5503    63096   306513 |    78155    62205    460 |  0.036 % |
609.35/609.41	c |    763454 |    5503    63096   306513 |    78155    62719    457 |  0.036 % |
609.55/609.53	c |    763969 |    5503    63096   306513 |    78155    63234    454 |  0.036 % |
609.65/609.68	c |    764994 |    5503    63096   306513 |    78155    64259    448 |  0.036 % |
609.85/609.90	c |    767044 |    5503    63096   306513 |    78155    66309    436 |  0.036 % |
610.85/610.82	c |    771142 |    5503    63096   306513 | 2147483647    70407    416 |  0.036 % |
610.85/610.89	c |    771654 |    5503    63096   306513 | 2147483647    70919    414 |  0.036 % |
611.05/611.09	c |    772168 |    5503    63096   306513 | 2147483647    71433    411 |  0.036 % |
611.45/611.43	c |    773195 |    5503    63096   306513 | 2147483647    72460    408 |  0.036 % |
611.55/611.61	c |    773708 |    5503    63096   306513 | 2147483647    72973    406 |  0.036 % |
611.75/611.79	c |    774220 |    5503    63096   306513 | 2147483647    73485    404 |  0.036 % |
612.15/612.12	c |    775246 |    5503    63096   306513 | 2147483647    74511    401 |  0.036 % |
612.75/612.81	c |    777296 |    5503    63096   306513 | 2147483647    76561    397 |  0.036 % |
613.05/613.06	c |    777812 |    5503    63096   306513 | 2147483647    77077    396 |  0.036 % |
613.25/613.28	c |    778324 |    5503    63096   306513 | 2147483647    77589    395 |  0.036 % |
613.85/613.91	c |    779349 |    5503    63096   306513 | 2147483647    78614    394 |  0.036 % |
614.35/614.37	c |    779861 |    5503    63096   306513 | 2147483647    79126    394 |  0.036 % |
614.55/614.58	c |    780373 |    5503    63096   306513 | 2147483647    79638    392 |  0.036 % |
614.85/614.88	c |    781397 |    5503    63096   306513 | 2147483647    80662    390 |  0.036 % |
615.35/615.41	c |    783446 |    5503    63096   306513 | 2147483647    82711    382 |  0.036 % |
616.95/616.99	c |    787545 |    5503    63096   306513 | 2147483647    86810    372 |  0.036 % |
618.85/618.91	c |    795738 |    5503    63096   306513 | 2147483647    95003    349 |  0.036 % |
619.05/619.08	c |    796251 |    5503    63096   306513 | 2147483647    95516    348 |  0.036 % |
619.25/619.23	c |    796767 |    5503    63096   306513 | 2147483647    96032    347 |  0.036 % |
619.55/619.60	c |    797792 |    5503    63096   306513 | 2147483647    97057    345 |  0.036 % |
619.85/619.84	c |    798306 |    5503    63096   306513 | 2147483647    97571    345 |  0.036 % |
620.05/620.07	c |    798818 |    5503    63096   306513 | 2147483647    98083    343 |  0.036 % |
620.25/620.31	c |    799843 |    5503    63096   306513 | 2147483647    99108    342 |  0.036 % |
621.45/621.44	c |    801893 |    5503    63096   306513 | 2147483647   101158    339 |  0.036 % |
621.85/621.85	c |    802406 |    5503    63096   306513 | 2147483647   101671    339 |  0.036 % |
622.05/622.08	c |    802918 |    5503    63096   306513 | 2147483647   102183    339 |  0.036 % |
622.75/622.76	c |    803943 |    5503    63096   306513 | 2147483647   103208    339 |  0.036 % |
623.45/623.48	c |    804455 |    5503    63096   306513 | 2147483647   103720    340 |  0.036 % |
624.25/624.25	c |    804971 |    5503    63096   306513 | 2147483647   104236    341 |  0.036 % |
625.85/625.84	c |    805998 |    5503    63096   306513 | 2147483647   105263    343 |  0.036 % |
630.04/630.01	c |    808054 |    5503    63096   306513 | 2147483647   107319    348 |  0.036 % |
639.84/639.84	c |    812151 |    5503    63096   306513 |   109268    93879    324 |  0.036 % |
641.14/641.14	c |    812664 |    5503    63096   306513 |   109268    94392    325 |  0.036 % |
642.04/642.01	c |    813178 |    5503    63096   306513 |   109268    94906    326 |  0.036 % |
643.74/643.76	c |    814203 |    5503    63096   306513 |   109268    95931    328 |  0.036 % |
644.94/644.98	c |    814715 |    5503    63096   306513 |   109268    96443    330 |  0.036 % |
646.04/646.05	c |    815227 |    5503    63096   306513 |   109268    96955    331 |  0.036 % |
647.44/647.42	c |    816256 |    5503    63096   306513 |   109268    97984    331 |  0.036 % |
653.54/653.56	c |    818304 |    5503    63096   306513 |   109268   100032    336 |  0.036 % |
655.24/655.22	c |    818817 |    5503    63096   306513 |   109268   100545    337 |  0.036 % |
656.54/656.51	c |    819331 |    5503    63096   306513 |   109268   101059    338 |  0.036 % |
658.84/658.90	c |    820358 |    5503    63096   306513 |   101735   102086    340 |  0.036 % |
660.04/660.04	c |    820875 |    5503    63096   306513 |   101735    79093    290 |  0.036 % |
661.34/661.36	c |    821387 |    5503    63096   306513 |   101735    79605    292 |  0.036 % |
663.94/663.95	c |    822413 |    5503    63096   306513 |   101735    80631    295 |  0.036 % |
668.34/668.34	c |    824466 |    5503    63096   306513 |   101735    82684    302 |  0.036 % |
671.24/671.27	c |    828562 |    5503    63096   306513 |   101735    86780    307 |  0.036 % |
679.95/679.95	c |    836756 |    5503    63096   306513 |    88219    78810    312 |  0.036 % |
691.94/691.98	c |    853143 |    5503    63096   306513 | 2147483647    83349    326 |  0.036 % |
692.24/692.28	c |    853655 |    5503    63096   306513 | 2147483647    83861    326 |  0.036 % |
692.74/692.73	c |    854167 |    5503    63096   306513 | 2147483647    84373    326 |  0.036 % |
693.44/693.49	c |    855202 |    5503    63096   306513 | 2147483647    85408    324 |  0.037 % |
693.94/693.93	c |    855715 |    5503    63096   306513 | 2147483647    85921    324 |  0.036 % |
694.14/694.14	c |    856227 |    5503    63096   306513 | 2147483647    86433    323 |  0.036 % |
694.44/694.43	c |    857252 |    5503    63096   306513 | 2147483647    87458    322 |  0.036 % |
695.84/695.90	c |    859301 |    5503    63096   306513 | 2147483647    89507    320 |  0.036 % |
696.14/696.16	c |    859813 |    5503    63096   306513 | 2147483647    90019    319 |  0.036 % |
696.45/696.46	c |    860325 |    5503    63096   306513 | 2147483647    90531    318 |  0.037 % |
697.04/697.01	c |    861351 |    5503    63096   306513 | 2147483647    91557    316 |  0.036 % |
697.14/697.16	c |    861864 |    5503    63096   306513 | 2147483647    92070    315 |  0.036 % |
697.34/697.40	c |    862378 |    5503    63096   306513 | 2147483647    92584    314 |  0.036 % |
697.94/697.96	c |    863402 |    5503    63096   306513 | 2147483647    93608    311 |  0.036 % |
698.74/698.79	c |    865450 |    5503    63096   306513 | 2147483647    95656    307 |  0.036 % |
701.64/701.67	c |    869548 |    5503    63096   306513 | 2147483647    99754    302 |  0.036 % |
701.84/701.85	c |    870062 |    5503    63096   306513 | 2147483647   100268    301 |  0.036 % |
701.95/702.00	c |    870575 |    5503    63096   306513 | 2147483647   100781    300 |  0.036 % |
702.24/702.29	c |    871601 |    5503    63096   306513 | 2147483647   101807    298 |  0.036 % |
702.43/702.44	c |    872113 |    5503    63096   306513 | 2147483647   102319    297 |  0.036 % |
702.53/702.57	c |    872629 |    5503    63096   306513 | 2147483647   102835    296 |  0.036 % |
703.04/703.08	c |    873653 |    5503    63096   306513 | 2147483647   103859    294 |  0.036 % |
703.93/703.91	c |    875702 |    5503    63096   306513 | 2147483647   105908    291 |  0.036 % |
704.03/704.09	c |    876217 |    5503    63096   306513 | 2147483647   106423    290 |  0.036 % |
704.14/704.19	c |    876731 |    5503    63096   306513 | 2147483647   106937    289 |  0.036 % |
704.63/704.63	c |    877757 |    5503    63096   306513 | 2147483647   107963    288 |  0.036 % |
704.73/704.79	c |    878270 |    5503    63096   306513 | 2147483647   108476    287 |  0.036 % |
704.93/704.95	c |    878783 |    5503    63096   306513 | 2147483647   108989    286 |  0.036 % |
705.53/705.59	c |    879809 |    5503    63096   306513 | 2147483647   110015    286 |  0.036 % |
706.23/706.28	c |    881857 |    5503    63096   306513 | 2147483647   112063    283 |  0.036 % |
707.33/707.39	c |    885959 |    5503    63096   306513 | 2147483647   116165    278 |  0.036 % |
710.43/710.42	c |    894151 |    5503    63096   306513 | 2147483647   124357    266 |  0.036 % |
710.63/710.61	c |    894663 |    5503    63096   306513 | 2147483647   124869    265 |  0.036 % |
711.23/711.21	c |    895175 |    5503    63096   306513 | 2147483647   125381    265 |  0.036 % |
711.93/711.95	c |    896199 |    5503    63096   306513 | 2147483647   126405    264 |  0.036 % |
712.53/712.51	c |    896711 |    5503    63096   306513 | 2147483647   126917    265 |  0.036 % |
713.63/713.66	c |    897226 |    5503    63096   306513 | 2147483647   127432    266 |  0.036 % |
715.73/715.80	c |    898251 |    5503    63096   306513 | 2147483647   128457    269 |  0.036 % |
716.93/716.99	c |    900299 |    5503    63096   306513 |   130206   130505    270 |  0.036 % |
717.63/717.65	c |    900811 |    5503    63096   306513 |   130206   114621    281 |  0.036 % |
718.13/718.13	c |    901323 |    5503    63096   306513 |   130206   115133    282 |  0.036 % |
719.63/719.68	c |    902348 |    5503    63096   306513 |   130206   116158    284 |  0.036 % |
720.03/720.08	c |    902860 |    5503    63096   306513 |   130206   116670    284 |  0.036 % |
721.34/721.32	c |    903375 |    5503    63096   306513 |   130206   117185    284 |  0.036 % |
723.54/723.52	c |    904400 |    5503    63096   306513 |   130206   118210    286 |  0.036 % |
729.84/729.86	c |    906452 |    5503    63096   306513 |   130206   120262    290 |  0.036 % |
738.44/738.50	c |    910550 |    5503    63096   306513 |   123811   124360    297 |  0.036 % |
740.14/740.18	c |    911062 |    5503    63096   306513 |   123811    98675    241 |  0.036 % |
740.74/740.78	c |    911575 |    5503    63096   306513 |   123811    99188    242 |  0.036 % |
743.14/743.14	c |    912601 |    5503    63096   306513 |   123811   100214    243 |  0.036 % |
743.44/743.50	c |    913117 |    5503    63096   306513 |   123811   100730    244 |  0.036 % |
744.04/744.03	c |    913631 |    5503    63096   306513 |   123811   101244    244 |  0.036 % |
746.94/746.97	c |    914658 |    5503    63096   306513 |   123811   102271    248 |  0.036 % |
748.04/748.03	c |    916714 |    5503    63096   306513 |   123811   104327    249 |  0.036 % |
748.24/748.24	c |    917226 |    5503    63096   306513 |   123811   104839    248 |  0.036 % |
748.54/748.56	c |    917738 |    5503    63096   306513 |   123811   105351    248 |  0.036 % |
749.14/749.12	c |    918766 |    5503    63096   306513 |   123811   106379    248 |  0.036 % |
749.54/749.52	c |    919278 |    5503    63096   306513 |   123811   106891    248 |  0.036 % |
749.74/749.81	c |    919790 |    5503    63096   306513 |   123811   107403    248 |  0.036 % |
750.84/750.84	c |    920814 |    5503    63096   306513 |   107614    93514    232 |  0.036 % |
751.74/751.78	c |    922865 |    5503    63096   306513 |   107614    95565    232 |  0.036 % |
753.64/753.64	c |    926965 |    5503    63096   306513 |   107614    99665    231 |  0.036 % |
758.34/758.33	c |    935159 |    5503    63096   306513 | 2147483647   107859    227 |  0.036 % |
768.24/768.27	c |    951543 |    5503    63096   306513 |   108260    88503    230 |  0.036 % |
791.54/791.51	c |    984311 |    5503    63096   306513 | 2147483647    99842    219 |  0.036 % |
830.84/830.81	c |   1049852 |    5502    62967   305917 | 2147483647    69725    162 |  0.055 % |
933.25/933.30	c |   1180925 |    5501    62839   305260 |    83447    65413    234 |  0.073 % |
933.75/933.77	c |   1181439 |    5501    62839   305260 |    83447    65927    235 |  0.073 % |
934.06/934.11	c |   1181952 |    5501    62839   305260 |    83447    66440    236 |  0.073 % |
934.54/934.54	c |   1182977 |    5501    62839   305260 |    83447    67465    237 |  0.073 % |
934.74/934.76	c |   1183490 |    5501    62839   305260 |    83447    67978    238 |  0.073 % |
935.04/935.03	c |   1184004 |    5501    62839   305260 |    83447    68492    239 |  0.073 % |
935.44/935.42	c |   1185029 |    5501    62839   305260 |    83447    69517    236 |  0.073 % |
936.44/936.42	c |   1187082 |    5501    62839   305260 |    83447    71570    232 |  0.073 % |
936.84/936.85	c |   1187594 |    5501    62839   305260 |    83447    72082    232 |  0.073 % |
937.24/937.25	c |   1188108 |    5501    62839   305260 |    83447    72596    233 |  0.073 % |
937.74/937.73	c |   1189133 |    5501    62839   305260 |    83447    73621    233 |  0.073 % |
938.04/938.07	c |   1189646 |    5501    62839   305260 |    83447    74134    233 |  0.073 % |
938.34/938.40	c |   1190159 |    5501    62839   305260 |    74488    74647    233 |  0.073 % |
939.14/939.12	c |   1191183 |    5501    62839   305260 |    74488    63212    221 |  0.073 % |
940.84/940.84	c |   1193236 |    5501    62839   305260 |    74488    65265    224 |  0.073 % |
942.85/942.86	c |   1197334 |    5501    62839   305260 |    74488    69363    222 |  0.073 % |
943.14/943.16	c |   1197847 |    5501    62839   305260 |    74488    69876    222 |  0.073 % |
943.44/943.51	c |   1198359 |    5501    62839   305260 |    74488    70388    222 |  0.073 % |
943.74/943.79	c |   1199383 |    5501    62839   305260 |    74488    71412    222 |  0.073 % |
944.04/944.03	c |   1199895 |    5501    62839   305260 |    74488    71924    222 |  0.073 % |
944.24/944.26	c |   1200407 |    5501    62839   305260 |    72030    72436    223 |  0.073 % |
944.94/945.00	c |   1201433 |    5501    62839   305260 |    72030    66219    220 |  0.073 % |
945.84/945.86	c |   1203482 |    5501    62839   305260 |    72030    68268    218 |  0.073 % |
946.24/946.28	c |   1203994 |    5501    62839   305260 |    72030    68780    219 |  0.073 % |
946.54/946.52	c |   1204510 |    5501    62839   305260 |    72030    69296    220 |  0.073 % |
946.94/947.00	c |   1205536 |    5501    62839   305260 |    72030    70322    220 |  0.073 % |
947.14/947.19	c |   1206048 |    5501    62839   305260 |    72030    70834    220 |  0.073 % |
948.44/948.43	c |   1206560 |    5501    62839   305260 |    72030    71346    221 |  0.073 % |
949.04/949.11	c |   1207585 |    5501    62839   305260 |    72030    72371    222 |  0.073 % |
949.95/950.01	c |   1209633 |    5501    62839   305260 |    72030    67182    216 |  0.073 % |
950.95/951.01	c |   1213730 |    5501    62839   305260 | 2147483647    71279    214 |  0.073 % |
954.35/954.39	c |   1221923 |    5501    62839   305260 | 2147483647    79472    212 |  0.073 % |
954.55/954.61	c |   1222438 |    5501    62839   305260 | 2147483647    79987    212 |  0.073 % |
954.75/954.82	c |   1222952 |    5501    62839   305260 | 2147483647    80501    211 |  0.073 % |
955.15/955.15	c |   1223977 |    5501    62839   305260 | 2147483647    81526    210 |  0.073 % |
955.45/955.44	c |   1224491 |    5501    62839   305260 | 2147483647    82040    210 |  0.073 % |
955.55/955.61	c |   1225003 |    5501    62839   305260 | 2147483647    82552    211 |  0.073 % |
955.95/955.96	c |   1226029 |    5501    62839   305260 | 2147483647    83578    210 |  0.073 % |
956.95/956.95	c |   1228077 |    5501    62839   305260 | 2147483647    85626    208 |  0.073 % |
957.05/957.06	c |   1228592 |    5501    62839   305260 | 2147483647    86141    207 |  0.073 % |
957.15/957.19	c |   1229104 |    5501    62839   305260 | 2147483647    86653    207 |  0.073 % |
957.35/957.39	c |   1230129 |    5501    62839   305260 | 2147483647    87678    205 |  0.073 % |
957.55/957.60	c |   1230641 |    5501    62839   305260 | 2147483647    88190    204 |  0.073 % |
957.85/957.82	c |   1231154 |    5501    62839   305260 | 2147483647    88703    203 |  0.073 % |
958.15/958.21	c |   1232179 |    5501    62839   305260 | 2147483647    89728    203 |  0.073 % |
959.55/959.58	c |   1234227 |    5501    62839   305260 | 2147483647    91776    203 |  0.073 % |
962.15/962.16	c |   1238326 |    5501    62839   305260 | 2147483647    95875    206 |  0.073 % |
962.45/962.42	c |   1238838 |    5501    62839   305260 | 2147483647    96387    206 |  0.073 % |
962.75/962.80	c |   1239355 |    5501    62839   305260 | 2147483647    96904    207 |  0.073 % |
963.75/963.78	c |   1240379 |    5501    62839   305260 | 2147483647    97928    209 |  0.073 % |
964.15/964.22	c |   1240891 |    5501    62839   305260 | 2147483647    98440    210 |  0.073 % |
964.65/964.68	c |   1241404 |    5501    62839   305260 | 2147483647    98953    210 |  0.073 % |
965.45/965.47	c |   1242429 |    5501    62839   305260 | 2147483647    99978    211 |  0.073 % |
967.15/967.13	c |   1244477 |    5501    62839   305260 | 2147483647   102026    211 |  0.073 % |
967.55/967.60	c |   1244989 |    5501    62839   305260 | 2147483647   102538    211 |  0.073 % |
967.95/967.98	c |   1245502 |    5501    62839   305260 | 2147483647   103051    211 |  0.073 % |
968.25/968.30	c |   1246526 |    5501    62839   305260 | 2147483647   104075    211 |  0.073 % |
968.55/968.58	c |   1247042 |    5501    62839   305260 | 2147483647   104591    211 |  0.073 % |
969.35/969.40	c |   1247554 |    5501    62839   305260 | 2147483647   105103    211 |  0.073 % |
970.35/970.34	c |   1248578 |    5501    62839   305260 | 2147483647   106127    213 |  0.073 % |
971.75/971.74	c |   1250628 |    5501    62839   305260 | 2147483647   108177    213 |  0.073 % |
972.85/972.86	c |   1254724 |    5501    62839   305260 | 2147483647   112273    215 |  0.073 % |
977.35/977.32	c |   1262916 |    5501    62839   305260 |   117549   101825    215 |  0.073 % |
986.04/986.10	c |   1279301 |    5501    62839   305260 |   108913   105909    215 |  0.073 % |
986.34/986.36	c |   1279813 |    5501    62839   305260 |   108913   106421    215 |  0.073 % |
986.64/986.64	c |   1280325 |    5501    62839   305260 | 2147483647   106933    215 |  0.073 % |
987.24/987.29	c |   1281351 |    5501    62839   305260 | 2147483647   107959    217 |  0.073 % |
987.84/987.86	c |   1281863 |    5501    62839   305260 | 2147483647   108471    218 |  0.073 % |
988.24/988.28	c |   1282376 |    5501    62839   305260 | 2147483647   108984    218 |  0.073 % |
988.74/988.73	c |   1283400 |    5501    62839   305260 | 2147483647   110008    218 |  0.073 % |
989.94/989.99	c |   1285450 |    5501    62839   305260 | 2147483647   112058    220 |  0.073 % |
990.44/990.50	c |   1285963 |    5501    62839   305260 | 2147483647   112571    220 |  0.073 % |
990.84/990.88	c |   1286476 |    5501    62839   305260 | 2147483647   113084    221 |  0.073 % |
991.44/991.48	c |   1287500 |    5501    62839   305260 | 2147483647   114108    222 |  0.073 % |
991.64/991.63	c |   1288012 |    5501    62839   305260 | 2147483647   114620    221 |  0.073 % |
991.94/991.95	c |   1288527 |    5501    62839   305260 | 2147483647   115135    221 |  0.073 % |
992.54/992.52	c |   1289559 |    5501    62839   305260 | 2147483647   116167    220 |  0.073 % |
993.54/993.57	c |   1291608 |    5501    62839   305260 |   116610   102400    214 |  0.073 % |
995.04/995.02	c |   1295707 |    5501    62839   305260 |   116610   106499    217 |  0.073 % |
995.34/995.32	c |   1296222 |    5501    62839   305260 |   116610   107014    217 |  0.073 % |
995.74/995.76	c |   1296734 |    5501    62839   305260 |   116610   107526    218 |  0.073 % |
996.04/996.04	c |   1297758 |    5501    62839   305260 |   116610   108550    217 |  0.073 % |
996.24/996.26	c |   1298270 |    5501    62839   305260 |   116610   109062    217 |  0.073 % |
996.44/996.44	c |   1298784 |    5501    62839   305260 |   116610   109576    216 |  0.073 % |
996.74/996.72	c |   1299808 |    5501    62839   305260 |   116610   110600    215 |  0.073 % |
997.74/997.80	c |   1301858 |    5501    62839   305260 | 2147483647   112650    215 |  0.073 % |
998.04/998.01	c |   1302371 |    5501    62839   305260 | 2147483647   113163    215 |  0.073 % |
998.24/998.27	c |   1302883 |    5501    62839   305260 | 2147483647   113675    214 |  0.073 % |
998.64/998.63	c |   1303911 |    5501    62839   305260 | 2147483647   114703    214 |  0.073 % |
998.94/998.92	c |   1304423 |    5501    62839   305260 | 2147483647   115215    214 |  0.073 % |
999.14/999.19	c |   1304943 |    5501    62839   305260 | 2147483647   115735    213 |  0.073 % |
999.44/999.41	c |   1305968 |    5501    62839   305260 | 2147483647   116760    212 |  0.073 % |
1000.24/1000.23	c |   1308017 |    5501    62839   305260 | 2147483647   118809    213 |  0.073 % |
1002.44/1002.43	c |   1312113 |    5501    62839   305260 | 2147483647   122905    216 |  0.073 % |
1009.34/1009.38	c |   1320306 |    5501    62839   305260 |   130793   131098    221 |  0.073 % |
1010.14/1010.11	c |   1320823 |    5501    62839   305260 |   130793   112568    220 |  0.073 % |
1010.34/1010.36	c |   1321336 |    5501    62839   305260 |   130793   113081    220 |  0.073 % |
1011.04/1011.07	c |   1322360 |    5501    62839   305260 |   130793   114105    220 |  0.073 % |
1011.24/1011.25	c |   1322873 |    5501    62839   305260 |   130793   114618    220 |  0.073 % |
1011.74/1011.75	c |   1323385 |    5501    62839   305260 |   130793   115130    220 |  0.073 % |
1012.04/1012.04	c |   1324409 |    5501    62839   305260 |   130793   116154    220 |  0.073 % |
1013.54/1013.59	c |   1326457 |    5501    62839   305260 |   130793   118202    223 |  0.073 % |
1013.74/1013.80	c |   1326969 |    5501    62839   305260 |   130793   118714    224 |  0.073 % |
1014.14/1014.11	c |   1327483 |    5501    62839   305260 |   130793   119228    225 |  0.073 % |
1014.84/1014.91	c |   1328508 |    5501    62839   305260 |   130793   120253    226 |  0.073 % |
1015.24/1015.29	c |   1329020 |    5501    62839   305260 |   130793   120765    227 |  0.073 % |
1015.54/1015.60	c |   1329533 |    5501    62839   305260 |   130793   121278    228 |  0.073 % |
1016.64/1016.62	c |   1330557 |    5501    62839   305260 |   121747   108797    233 |  0.073 % |
1017.44/1017.46	c |   1332605 |    5501    62839   305260 |   121747   110845    230 |  0.073 % |
1020.34/1020.32	c |   1336701 |    5501    62839   305260 |   121747   114941    236 |  0.073 % |
1020.74/1020.75	c |   1337213 |    5501    62839   305260 |   121747   115453    237 |  0.073 % |
1021.14/1021.12	c |   1337729 |    5501    62839   305260 |   121747   115969    237 |  0.073 % |
1021.64/1021.68	c |   1338753 |    5501    62839   305260 |   121747   116993    238 |  0.073 % |
1021.94/1021.96	c |   1339267 |    5501    62839   305260 |   121747   117507    238 |  0.073 % |
1022.24/1022.28	c |   1339781 |    5501    62839   305260 |   121747   118021    238 |  0.073 % |
1022.84/1022.85	c |   1340805 |    5501    62839   305260 |   118240   119045    238 |  0.073 % |
1024.84/1024.82	c |   1342855 |    5501    62839   305260 |   118240    99433    232 |  0.073 % |
1025.35/1025.41	c |   1343370 |    5501    62839   305260 |   118240    99948    233 |  0.073 % |
1025.64/1025.69	c |   1343884 |    5501    62839   305260 |   118240   100462    233 |  0.073 % |
1026.54/1026.59	c |   1344910 |    5501    62839   305260 |   118240   101488    234 |  0.073 % |
1026.94/1026.92	c |   1345422 |    5501    62839   305260 |   118240   102000    235 |  0.073 % |
1027.34/1027.39	c |   1345936 |    5501    62839   305260 |   118240   102514    235 |  0.073 % |
1028.34/1028.39	c |   1346961 |    5501    62839   305260 |   118240   103539    236 |  0.073 % |
1029.94/1030.00	c |   1349009 |    5501    62839   305260 |   118240   105587    236 |  0.073 % |
1032.24/1032.27	c |   1353108 |    5501    62839   305260 |   106578    92911    230 |  0.073 % |
1036.94/1036.91	c |   1361300 |    5501    62839   305260 | 2147483647   101103    233 |  0.073 % |
1050.54/1050.52	c |   1377684 |    5501    62839   305260 |   109804    91454    254 |  0.073 % |
1080.85/1080.82	c |   1410456 |    5501    62839   305260 |    76248    76701    275 |  0.073 % |
1081.25/1081.22	c |   1410968 |    5501    62839   305260 |    76248    66898    294 |  0.073 % |
1081.35/1081.38	c |   1411482 |    5501    62839   305260 |    76248    67412    292 |  0.073 % |
1081.75/1081.71	c |   1412507 |    5501    62839   305260 |    76248    68437    289 |  0.073 % |
1081.85/1081.86	c |   1413019 |    5501    62839   305260 |    76248    68949    287 |  0.073 % |
1081.95/1081.97	c |   1413531 |    5501    62839   305260 |    76248    69461    286 |  0.073 % |
1082.15/1082.18	c |   1414555 |    5501    62839   305260 |    76248    70485    283 |  0.073 % |
1083.25/1083.22	c |   1416604 |    5501    62839   305260 |    76248    72534    282 |  0.073 % |
1083.45/1083.46	c |   1417120 |    5501    62839   305260 |    76248    73050    282 |  0.073 % |
1083.75/1083.72	c |   1417635 |    5501    62839   305260 |    76248    73565    283 |  0.073 % |
1084.35/1084.36	c |   1418659 |    5501    62839   305260 |    76248    74589    283 |  0.073 % |
1084.95/1084.95	c |   1419171 |    5501    62839   305260 |    76248    75101    284 |  0.073 % |
1085.25/1085.28	c |   1419683 |    5501    62839   305260 |    76248    75613    284 |  0.073 % |
1085.55/1085.55	c |   1420708 |    5501    62839   305260 | 2147483647    76638    283 |  0.073 % |
1086.05/1086.03	c |   1422756 |    5501    62839   305260 | 2147483647    78686    282 |  0.073 % |
1088.35/1088.36	c |   1426857 |    5501    62839   305260 | 2147483647    82787    282 |  0.073 % |
1088.65/1088.69	c |   1427369 |    5501    62839   305260 | 2147483647    83299    282 |  0.073 % |
1088.85/1088.85	c |   1427881 |    5501    62839   305260 | 2147483647    83811    281 |  0.073 % |
1089.25/1089.30	c |   1428908 |    5501    62839   305260 | 2147483647    84838    279 |  0.073 % |
1089.65/1089.65	c |   1429420 |    5501    62839   305260 | 2147483647    85350    279 |  0.073 % |
1090.15/1090.16	c |   1429932 |    5501    62839   305260 | 2147483647    85862    278 |  0.073 % |
1090.65/1090.68	c |   1430964 |    5501    62839   305260 | 2147483647    86894    278 |  0.073 % |
1091.85/1091.86	c |   1433017 |    5501    62839   305260 | 2147483647    88947    276 |  0.073 % |
1092.35/1092.32	c |   1433529 |    5501    62839   305260 | 2147483647    89459    276 |  0.073 % |
1092.65/1092.64	c |   1434041 |    5501    62839   305260 | 2147483647    89971    275 |  0.073 % |
1093.25/1093.30	c |   1435065 |    5501    62839   305260 | 2147483647    90995    275 |  0.073 % |
1093.45/1093.43	c |   1435580 |    5501    62839   305260 | 2147483647    91510    274 |  0.073 % |
1093.55/1093.56	c |   1436092 |    5501    62839   305260 | 2147483647    92022    273 |  0.073 % |
1093.85/1093.89	c |   1437118 |    5501    62839   305260 | 2147483647    93048    271 |  0.073 % |
1094.35/1094.37	c |   1439169 |    5501    62839   305260 | 2147483647    95099    266 |  0.073 % |
1095.75/1095.72	c |   1443265 |    5501    62839   305260 | 2147483647    99195    258 |  0.073 % |
1098.35/1098.39	c |   1451460 |    5501    62839   305260 | 2147483647   107390    245 |  0.073 % |
1098.55/1098.53	c |   1451974 |    5501    62839   305260 | 2147483647   107904    244 |  0.073 % |
1099.05/1099.10	c |   1452487 |    5501    62839   305260 | 2147483647   108417    244 |  0.073 % |
1099.95/1099.98	c |   1453511 |    5501    62839   305260 | 2147483647   109441    245 |  0.073 % |
1100.65/1100.67	c |   1454024 |    5501    62839   305260 | 2147483647   109954    246 |  0.073 % |
1100.95/1100.96	c |   1454536 |    5501    62839   305260 | 2147483647   110466    246 |  0.073 % |
1103.15/1103.13	c |   1455561 |    5501    62839   305260 | 2147483647   111491    248 |  0.073 % |
1104.25/1104.22	c |   1457610 |    5501    62839   305260 | 2147483647   113540    247 |  0.073 % |
1104.45/1104.48	c |   1458128 |    5501    62839   305260 | 2147483647   114058    246 |  0.073 % |
1104.95/1104.99	c |   1458640 |    5501    62839   305260 | 2147483647   114570    246 |  0.073 % |
1105.65/1105.69	c |   1459664 |    5501    62839   305260 | 2147483647   115594    245 |  0.073 % |
1105.95/1105.93	c |   1460176 |    5501    62839   305260 |   115931   116106    245 |  0.073 % |
1106.25/1106.24	c |   1460688 |    5501    62839   305260 |   115931   105008    231 |  0.073 % |
1106.85/1106.88	c |   1461714 |    5501    62839   305260 |   115931   106034    230 |  0.073 % |
1108.05/1108.11	c |   1463762 |    5501    62839   305260 |   115931   108082    228 |  0.073 % |
1110.95/1110.98	c |   1467858 |    5501    62839   305260 |   115931   112178    223 |  0.073 % |
1111.25/1111.25	c |   1468374 |    5501    62839   305260 |   115931   112694    222 |  0.073 % |
1111.55/1111.54	c |   1468887 |    5501    62839   305260 |   115931   113207    222 |  0.073 % |
1111.95/1112.01	c |   1469911 |    5501    62839   305260 |   115931   114231    220 |  0.073 % |
1112.35/1112.34	c |   1470426 |    5500    62711   304603 | 2147483647    84340    227 |  0.091 % |
1112.45/1112.47	c |   1470939 |    5500    62711   304603 | 2147483647    84853    226 |  0.091 % |
1113.05/1113.04	c |   1471963 |    5500    62711   304603 | 2147483647    85877    227 |  0.091 % |
1113.75/1113.77	c |   1474022 |    5500    62711   304603 | 2147483647    87936    226 |  0.091 % |
1114.15/1114.19	c |   1474534 |    5500    62711   304603 | 2147483647    88448    227 |  0.091 % |
1114.35/1114.38	c |   1475049 |    5500    62711   304603 | 2147483647    88963    227 |  0.091 % |
1115.45/1115.51	c |   1476073 |    5500    62711   304603 | 2147483647    89987    228 |  0.091 % |
1115.65/1115.64	c |   1476585 |    5500    62711   304603 | 2147483647    90499    228 |  0.091 % |
1115.75/1115.76	c |   1477097 |    5500    62711   304603 | 2147483647    91011    227 |  0.091 % |
1116.55/1116.53	c |   1478121 |    5500    62711   304603 | 2147483647    92035    228 |  0.091 % |
1117.65/1117.70	c |   1480169 |    5500    62711   304603 | 2147483647    94083    230 |  0.091 % |
1121.35/1121.36	c |   1484265 |    5500    62711   304603 | 2147483647    98179    237 |  0.091 % |
1127.25/1127.23	c |   1492461 |    5500    62711   304603 |   103915    83676    219 |  0.091 % |
1138.15/1138.18	c |   1508849 |    5500    62711   304603 |    91215    87163    239 |  0.091 % |
1138.85/1138.86	c |   1509362 |    5500    62711   304603 |    91215    87676    240 |  0.091 % |
1139.25/1139.26	c |   1509875 |    5500    62711   304603 |    91215    88189    241 |  0.091 % |
1139.85/1139.84	c |   1510900 |    5500    62711   304603 | 2147483647    89214    241 |  0.091 % |
1140.15/1140.12	c |   1511413 |    5500    62711   304603 | 2147483647    89727    241 |  0.091 % |
1140.45/1140.50	c |   1511925 |    5500    62711   304603 | 2147483647    90239    241 |  0.091 % |
1141.25/1141.26	c |   1512951 |    5500    62711   304603 | 2147483647    91265    242 |  0.091 % |
1142.35/1142.39	c |   1515000 |    5500    62711   304603 | 2147483647    93314    242 |  0.091 % |
1142.85/1142.84	c |   1515513 |    5500    62711   304603 | 2147483647    93827    242 |  0.091 % |
1142.95/1142.97	c |   1516025 |    5500    62711   304603 | 2147483647    94339    242 |  0.091 % |
1143.55/1143.54	c |   1517050 |    5500    62711   304603 | 2147483647    95364    242 |  0.091 % |
1143.75/1143.73	c |   1517565 |    5500    62711   304603 | 2147483647    95879    241 |  0.091 % |
1143.95/1143.98	c |   1518082 |    5500    62711   304603 | 2147483647    96396    241 |  0.091 % |
1144.65/1144.68	c |   1519106 |    5500    62711   304603 | 2147483647    97420    241 |  0.091 % |
1145.65/1145.62	c |   1521155 |    5500    62711   304603 | 2147483647    99469    242 |  0.091 % |
1147.35/1147.32	c |   1525251 |    5500    62711   304603 | 2147483647   103565    242 |  0.091 % |
1148.05/1148.01	c |   1525763 |    5500    62711   304603 | 2147483647   104077    242 |  0.091 % |
1148.75/1148.76	c |   1526280 |    5500    62711   304603 | 2147483647   104594    244 |  0.091 % |
1150.05/1150.06	c |   1527304 |    5500    62711   304603 | 2147483647   105618    245 |  0.091 % |
1150.85/1150.81	c |   1527818 |    5500    62711   304603 | 2147483647   106132    247 |  0.091 % |
1151.25/1151.29	c |   1528331 |    5500    62711   304603 | 2147483647   106645    248 |  0.091 % |
1152.05/1152.05	c |   1529355 |    5500    62711   304603 | 2147483647   107669    249 |  0.091 % |
1154.25/1154.29	c |   1531403 |    5500    62711   304603 |   108321   109717    254 |  0.091 % |
1155.16/1155.13	c |   1531916 |    5500    62711   304603 |   108321    96604    260 |  0.091 % |
1155.85/1155.90	c |   1532428 |    5500    62711   304603 |   108321    97116    261 |  0.091 % |
1156.85/1156.90	c |   1533454 |    5500    62711   304603 |   108321    98142    264 |  0.091 % |
1157.55/1157.52	c |   1533970 |    5500    62711   304603 |   108321    98658    265 |  0.091 % |
1158.55/1158.56	c |   1534482 |    5500    62711   304603 |   108321    99170    267 |  0.091 % |
1159.35/1159.40	c |   1535506 |    5500    62711   304603 |   108321   100194    267 |  0.091 % |
1164.75/1164.79	c |   1537554 |    5500    62711   304603 |   108321   102242    273 |  0.091 % |
1178.96/1179.01	c |   1541650 |    5500    62711   304603 |   104688    87642    309 |  0.091 % |
1188.16/1188.16	c |   1549842 |    5500    62711   304603 |   104688    95834    325 |  0.091 % |
1188.36/1188.41	c |   1550354 |    5500    62711   304603 |    95993    96346    325 |  0.091 % |
1188.66/1188.64	c |   1550867 |    5500    62711   304603 |    95993    84511    334 |  0.091 % |
1188.86/1188.82	c |   1551893 |    5500    62711   304603 |    95993    85537    331 |  0.091 % |
1188.96/1188.92	c |   1552406 |    5500    62711   304603 |    95993    86050    329 |  0.091 % |
1189.16/1189.14	c |   1552918 |    5500    62711   304603 |    95993    86562    327 |  0.091 % |
1189.36/1189.42	c |   1553942 |    5500    62711   304603 |    95993    87586    325 |  0.091 % |
1190.06/1190.03	c |   1555990 |    5500    62711   304603 |    95993    89634    319 |  0.091 % |
1190.26/1190.24	c |   1556502 |    5500    62711   304603 |    95993    90146    318 |  0.091 % |
1190.56/1190.56	c |   1557022 |    5500    62711   304603 |    95993    90666    318 |  0.091 % |
1192.46/1192.47	c |   1558047 |    5500    62711   304603 |    95993    91691    320 |  0.091 % |
1192.96/1192.96	c |   1558559 |    5500    62711   304603 |    95993    92203    320 |  0.091 % |
1193.26/1193.28	c |   1559075 |    5500    62711   304603 |    95993    92719    320 |  0.091 % |
1193.46/1193.48	c |   1560102 |    5500    62711   304603 | 2147483647    93746    318 |  0.091 % |
1194.56/1194.56	c |   1562150 |    5500    62711   304603 | 2147483647    95794    315 |  0.091 % |
1196.86/1196.86	c |   1566249 |    5500    62711   304603 | 2147483647    99893    315 |  0.091 % |
1197.16/1197.21	c |   1566761 |    5500    62711   304603 | 2147483647   100405    315 |  0.091 % |
1197.46/1197.42	c |   1567273 |    5500    62711   304603 | 2147483647   100917    314 |  0.091 % |
1197.86/1197.86	c |   1568299 |    5500    62711   304603 | 2147483647   101943    313 |  0.091 % |
1198.16/1198.14	c |   1568814 |    5500    62711   304603 | 2147483647   102458    313 |  0.091 % |
1198.56/1198.55	c |   1569328 |    5500    62711   304603 | 2147483647   102972    313 |  0.091 % |
1199.36/1199.39	c |   1570352 |    5500    62711   304603 | 2147483647   103996    313 |  0.091 % |
1200.06/1200.04	HOME/SatELiteGTI: line 36: 23092 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-1820897-1242485913/watcher-1820897-1242485913 -o /tmp/evaluation-result-1820897-1242485913/solver-1820897-1242485913 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820897-1242485913.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 23086
/proc/meminfo: memFree=1405248/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2416 CPUtime=0.01
/proc/23086/stat : 23086 (SatELiteGTI) R 23084 23086 9090 0 -1 4194304 366 647 0 0 0 1 0 0 18 0 1 0 1013091632 2473984 277 4294967295 134512640 135169312 3221023520 3221022352 134794349 0 0 4 65536 0 0 0 17 1 0 0 0
/proc/23086/statm: 604 277 235 161 0 43 0
[pid=23090] ppid=23086 vsize=808 CPUtime=0
/proc/23090/stat : 23090 (SatELite_releas) R 23086 23086 9090 0 -1 4194304 65 0 0 0 0 0 0 0 20 0 1 0 1013091632 827392 1 4294967295 0 0 3219086434 3221022148 3084995050 0 0 0 0 0 0 0 17 2 0 0 0
/proc/23090/statm: 203 11 8 174 0 28 0

[startup+0.110357 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 23086
/proc/meminfo: memFree=1405248/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2416 CPUtime=0.01
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1013091632 2473984 277 4294967295 134512640 135169312 3221023520 3221022056 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23086/statm: 604 277 235 161 0 43 0
[pid=23090] ppid=23086 vsize=17276 CPUtime=0.11
/proc/23090/stat : 23090 (SatELite_releas) R 23086 23086 9090 0 -1 4202496 3802 0 0 0 11 0 0 0 21 0 1 0 1013091632 17690624 3738 4294967295 134512640 135223648 3219085616 3219084184 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23090/statm: 4319 3738 46 174 0 4144 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 19692

[startup+0.210352 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 23086
/proc/meminfo: memFree=1405248/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2416 CPUtime=0.01
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1013091632 2473984 277 4294967295 134512640 135169312 3221023520 3221022056 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23086/statm: 604 277 235 161 0 43 0
[pid=23090] ppid=23086 vsize=24712 CPUtime=0.21
/proc/23090/stat : 23090 (SatELite_releas) R 23086 23086 9090 0 -1 4202496 6028 0 0 0 19 2 0 0 21 0 1 0 1013091632 25305088 5544 4294967295 134512640 135223648 3219085616 3219083616 134548280 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23090/statm: 6178 5544 73 174 0 6003 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 27128

[startup+0.310347 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 23086
/proc/meminfo: memFree=1405248/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2416 CPUtime=0.01
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1013091632 2473984 277 4294967295 134512640 135169312 3221023520 3221022056 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23086/statm: 604 277 235 161 0 43 0
[pid=23090] ppid=23086 vsize=24844 CPUtime=0.31
/proc/23090/stat : 23090 (SatELite_releas) R 23086 23086 9090 0 -1 4202496 6081 0 0 0 29 2 0 0 21 0 1 0 1013091632 25440256 5597 4294967295 134512640 135223648 3219085616 3219083384 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23090/statm: 6211 5597 73 174 0 6036 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 27260

[startup+0.710328 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 23086
/proc/meminfo: memFree=1405248/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2416 CPUtime=0.01
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1013091632 2473984 277 4294967295 134512640 135169312 3221023520 3221022056 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23086/statm: 604 277 235 161 0 43 0
[pid=23090] ppid=23086 vsize=25600 CPUtime=0.71
/proc/23090/stat : 23090 (SatELite_releas) R 23086 23086 9090 0 -1 4202496 6258 0 0 0 69 2 0 0 22 0 1 0 1013091632 26214400 5774 4294967295 134512640 135223648 3219085616 3219083632 134586762 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23090/statm: 6400 5774 73 174 0 6225 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 28016

[startup+1.51029 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23091
/proc/meminfo: memFree=1376812/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2416 CPUtime=0.01
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1013091632 2473984 277 4294967295 134512640 135169312 3221023520 3221022056 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23086/statm: 604 277 235 161 0 43 0
[pid=23090] ppid=23086 vsize=26940 CPUtime=1.51
/proc/23090/stat : 23090 (SatELite_releas) R 23086 23086 9090 0 -1 4202496 6560 0 0 0 148 3 0 0 25 0 1 0 1013091632 27586560 6076 4294967295 134512640 135223648 3219085616 3219083384 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23090/statm: 6735 6076 73 174 0 6560 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 29356

[startup+3.11021 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23091
/proc/meminfo: memFree=1371232/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2416 CPUtime=0.01
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1013091632 2473984 277 4294967295 134512640 135169312 3221023520 3221022056 3084992238 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23086/statm: 604 277 235 161 0 43 0
[pid=23090] ppid=23086 vsize=29024 CPUtime=3.11
/proc/23090/stat : 23090 (SatELite_releas) R 23086 23086 9090 0 -1 4202496 7024 0 0 0 308 3 0 0 25 0 1 0 1013091632 29720576 6540 4294967295 134512640 135223648 3219085616 3219083632 134586748 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23090/statm: 7256 6540 73 174 0 7081 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 31440

[startup+6.31006 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 23092
/proc/meminfo: memFree=1379820/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=8132 CPUtime=1.21
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 1949 0 0 0 121 0 0 0 25 0 1 0 1013092142 8327168 1884 4294967295 134512640 135216591 3220753200 3220751104 134532824 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 2033 1884 75 172 0 1860 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 10552

[startup+12.7098 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 23092
/proc/meminfo: memFree=1360400/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=28360 CPUtime=7.61
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 6990 0 0 0 756 5 0 0 25 0 1 0 1013092142 29040640 6925 4294967295 134512640 135216591 3220753200 3220751168 134539640 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 7090 6925 75 172 0 6917 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 30780

[startup+25.5091 s]
/proc/loadavg: 0.95 0.98 0.99 2/93 23094
/proc/meminfo: memFree=1329364/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=57912 CPUtime=20.41
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 14356 0 0 0 2033 8 0 0 25 0 1 0 1013092142 59301888 14291 4294967295 134512640 135216591 3220753200 3220751392 134528966 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 14478 14291 75 172 0 14305 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 60332

[startup+51.1179 s]
/proc/loadavg: 0.96 0.98 0.99 2/93 23277
/proc/meminfo: memFree=1304396/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=83164 CPUtime=46.02
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 20634 0 0 0 4591 11 0 0 25 0 1 0 1013092142 85159936 20569 4294967295 134512640 135216591 3220753200 3220751488 134541132 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 20791 20569 75 172 0 20618 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 85584

[startup+102.315 s]
/proc/loadavg: 0.98 0.98 0.99 3/93 23283
/proc/meminfo: memFree=1279904/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=106376 CPUtime=97.22
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 26483 0 0 0 9707 15 0 0 25 0 1 0 1013092142 108929024 26418 4294967295 134512640 135216591 3220753200 3220751104 134532832 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 26594 26418 75 172 0 26421 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 108796

[startup+162.323 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 23470
/proc/meminfo: memFree=1253508/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=133060 CPUtime=157.23
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 33146 0 0 0 15704 19 0 0 25 0 1 0 1013092142 136253440 33081 4294967295 134512640 135216591 3220753200 3220751104 134533087 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 33265 33081 75 172 0 33092 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 135480

[startup+222.33 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 23670
/proc/meminfo: memFree=1218268/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=168040 CPUtime=217.24
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 41899 0 0 0 21699 25 0 0 25 0 1 0 1013092142 172072960 41834 4294967295 134512640 135216591 3220753200 3220751392 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 42010 41834 75 172 0 41837 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 170460

[startup+282.317 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 23856
/proc/meminfo: memFree=1218036/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=168040 CPUtime=277.23
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 41902 0 0 0 27695 28 0 0 25 0 1 0 1013092142 172072960 41837 4294967295 134512640 135216591 3220753200 3220751392 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 42010 41837 75 172 0 41837 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 170460

[startup+342.314 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 24044
/proc/meminfo: memFree=1218044/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=168040 CPUtime=337.23
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 41902 0 0 0 33695 28 0 0 25 0 1 0 1013092142 172072960 41837 4294967295 134512640 135216591 3220753200 3220751168 134539656 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 42010 41837 75 172 0 41837 0
Current children cumulated CPU time (s) 342.33

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

[pid=23092] ppid=23086 vsize=177360 CPUtime=517.24
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 44135 0 0 0 51695 29 0 0 25 0 1 0 1013092142 181616640 44070 4294967295 134512640 135216591 3220753200 3220751392 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23092/statm: 44340 44070 75 172 0 44167 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 179780

[startup+582.312 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 24801
/proc/meminfo: memFree=1202040/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=577.24
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45883 0 0 0 57690 34 0 0 25 0 1 0 1013092142 188788736 45818 4294967295 134512640 135216591 3220753200 3220751104 134532844 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45818 75 172 0 45918 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 186784

[startup+642.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 24989
/proc/meminfo: memFree=1202048/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=637.24
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 63688 36 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751392 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 186784

[startup+702.307 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 25178
/proc/meminfo: memFree=1202032/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=697.23
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 69687 36 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751392 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 186784

[startup+762.314 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 25369
/proc/meminfo: memFree=1202172/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=757.24
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 75688 36 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751392 134529009 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 186784

[startup+822.311 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 25558
/proc/meminfo: memFree=1202156/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=817.24
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 81687 37 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751392 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 186784

[startup+882.318 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 25744
/proc/meminfo: memFree=1202040/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=877.25
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 87684 41 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751104 134533087 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 186784

[startup+942.315 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 25932
/proc/meminfo: memFree=1202048/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=937.24
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 93680 44 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751200 134527378 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 186784

[startup+1002.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 26121
/proc/meminfo: memFree=1202032/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=997.24
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 99667 57 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751392 134529317 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 186784

[startup+1062.31 s]
/proc/loadavg: 1.12 1.02 1.00 3/93 26312
/proc/meminfo: memFree=1202296/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=1057.24
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 105667 57 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751200 134527381 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 186784

[startup+1122.32 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 26504
/proc/meminfo: memFree=1202156/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=1117.25
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 111668 57 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751104 134532810 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 186784

[startup+1182.32 s]
/proc/loadavg: 1.01 1.00 1.00 3/93 26690
/proc/meminfo: memFree=1202040/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=1177.26
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 117669 57 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751392 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 186784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.01 1.00 1.00 3/93 26876
/proc/meminfo: memFree=1201812/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=1194.96
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 119439 57 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751104 134532832 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 186784

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

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

[startup+1200.02 s]
/proc/loadavg: 1.01 1.00 1.00 3/93 26876
/proc/meminfo: memFree=1201812/2074464 swapFree=1953004/1959888
[pid=23086] ppid=23084 vsize=2420 CPUtime=5.1
/proc/23086/stat : 23086 (SatELiteGTI) S 23084 23086 9090 0 -1 4194304 386 8754 0 0 0 1 505 4 18 0 1 0 1013091632 2478080 278 4294967295 134512640 135169312 3221023520 3221019736 3084992238 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/23086/statm: 605 278 235 161 0 44 0
[pid=23092] ppid=23086 vsize=184364 CPUtime=1194.96
/proc/23092/stat : 23092 (minisat_static) R 23086 23086 9090 0 -1 4202496 45885 0 0 0 119439 57 0 0 25 0 1 0 1013092142 188788736 45820 4294967295 134512640 135216591 3220753200 3220751104 134532832 0 0 0 3 0 0 0 17 3 0 0 0
/proc/23092/statm: 46091 45820 75 172 0 45918 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 186784

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.08
CPU user time (s): 1199.44
CPU system time (s): 0.64
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 186784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.44
system time used= 0.64
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55116
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= 3029

runsolver used 0.01 second user time and 0.05 second system time

The end

Launcher Data 

Begin job on tipi19 at 2009-05-16 16:58:33
IDJOB=1820897
IDBENCH=70762
IDSOLVER=658
FILE ID=tipi19/1820897-1242485913
PBS_JOBID=
Free space on /tmp= 9295 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxor/minxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820897-1242485913/watcher-1820897-1242485913 -o /tmp/evaluation-result-1820897-1242485913/solver-1820897-1242485913 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820897-1242485913.cnf

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

MD5SUM BENCH= 10b48467ea3d951975cb9264f0b654fe
RANDOM SEED= 1072751160

Linux tipi19 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.426
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.39

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1405256 kB
Buffers:         21656 kB
Cached:         567324 kB
SwapCached:       2992 kB
Active:         130024 kB
Inactive:       468536 kB
HighTotal:     1178688 kB
HighFree:       688644 kB
LowTotal:       895776 kB
LowFree:        716612 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:            4324 kB
Writeback:           0 kB
AnonPages:        8756 kB
Mapped:           3276 kB
Slab:            62404 kB
PageTables:        456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87776 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9294 MiB
End job on tipi19 at 2009-05-16 17:18:35