Trace number 1832261

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.06 1200.51

General information on the benchmark

Namecrafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
MD5SUMf935103d71f7bb9e8d8051793d20ec02
Bench CategoryCRAFTED (crafted 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 variables186624
Number of clauses3086912
Sum of the clauses size6851936
Maximum clause length64
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 22506464
Number of clauses of size 3574560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55760

Solver Data 

0.00/0.00	c Parsing...
5.39/5.49	c ==============================================================================
5.39/5.49	c |           |     ORIGINAL     |              LEARNT              |          |
5.39/5.49	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
5.39/5.49	c ==============================================================================
5.39/5.49	c |         0 | 2883316  6430464 |  864994       0        0     nan |  0.000 % |
13.78/13.87	c |         0 | 2283232  5203385 |      --       0       --      -- |     --   | -17248/175257
13.78/13.87	c ==============================================================================
13.78/13.87	c Result  :   #vars: 77899   #clauses: 2283232   #literals: 5203385
13.78/13.87	c CPU time:   13.391 s
13.78/13.87	c ==============================================================================
15.88/15.94	c This is MiniSat 2.0 beta
15.88/15.94	c WARNING: for repeatability, setting FPU to use double precision
15.88/15.94	c ============================[ Problem Statistics ]=============================
15.88/15.94	c |                                                                             |
15.88/15.94	c |  Number of variables:  77899                                                |
15.88/15.94	c |  Number of clauses:    2283232                                              |
17.95/18.04	c |  Parsing time:         1.93         s                                       |
18.16/18.20	c ============================[ Search Statistics ]==============================
18.16/18.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.16/18.20	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.16/18.20	c ===============================================================================
18.16/18.20	c |         0 |   77899  2283232  5203385 |   761077        0    nan |  0.000 % |
18.36/18.41	c |       100 |   77899  2283232  5203385 |   761077      100     57 |  0.000 % |
18.36/18.48	c |       200 |   77899  2283232  5203385 |   761077      200     88 |  0.000 % |
18.46/18.60	c |       300 |   77899  2283232  5203385 |   761077      300    102 |  0.000 % |
18.76/18.88	c |       410 |   77899  2283232  5203385 |   761077      410     92 |  0.000 % |
18.96/19.04	c |       510 |   77899  2283232  5203385 |   761077      510     89 |  0.000 % |
19.06/19.13	c |       622 |   77899  2283232  5203385 |   761077      622     86 |  0.000 % |
19.16/19.21	c |       743 |   77899  2283232  5203385 |   761077      743     93 |  0.000 % |
19.26/19.35	c |       844 |   77899  2283232  5203385 |   761077      844     93 |  0.000 % |
19.36/19.46	c |       954 |   77899  2283232  5203385 |   761077      954     92 |  0.000 % |
19.56/19.62	c |      1075 |   77899  2283232  5203385 |   761077     1075     92 |  0.000 % |
19.76/19.81	c |      1208 |   77899  2283232  5203385 |   761077     1208     90 |  0.000 % |
19.85/19.95	c |      1308 |   77899  2283232  5203385 |   761077     1308     89 |  0.000 % |
20.06/20.19	c |      1418 |   77899  2283232  5203385 |   761077     1418     87 |  0.000 % |
20.26/20.38	c |      1539 |   77899  2283232  5203385 |   761077     1539     87 |  0.000 % |
20.46/20.58	c |      1674 |   77899  2283232  5203385 |   761077     1674     85 |  0.000 % |
20.66/20.76	c |      1820 |   77899  2283232  5203385 |   761077     1820     86 |  0.000 % |
20.87/20.98	c |      1920 |   77899  2283232  5203385 |   761077     1920     86 |  0.000 % |
21.06/21.17	c |      2031 |   77899  2283232  5203385 |   761077     2031     88 |  0.000 % |
21.26/21.31	c |      2153 |   77899  2283232  5203385 |   761077     2153     89 |  0.000 % |
21.46/21.55	c |      2286 |   77899  2283232  5203385 |   761077     2286     88 |  0.000 % |
21.66/21.78	c |      2432 |   77899  2283232  5203385 |   761077     2432     89 |  0.000 % |
22.06/22.15	c |      2592 |   77899  2283232  5203385 |   761077     2592     91 |  0.000 % |
22.16/22.21	c |      2692 |   77899  2283232  5203385 |   761077     2692     91 |  0.000 % |
22.26/22.38	c |      2803 |   77899  2283232  5203385 |   761077     2803     92 |  0.000 % |
22.46/22.59	c |      2924 |   77899  2283232  5203385 |   761077     2924     93 |  0.000 % |
22.86/22.95	c |      3058 |   77899  2283232  5203385 |   761077     3058     96 |  0.000 % |
23.16/23.24	c |      3204 |   77899  2283232  5203385 |   761077     3204     97 |  0.000 % |
23.36/23.48	c |      3364 |   77899  2283232  5203385 |   761077     3364     97 |  0.000 % |
23.86/23.90	c |      3540 |   77899  2283232  5203385 |   761077     3540    100 |  0.000 % |
23.95/24.02	c |      3641 |   77899  2283232  5203385 |   761077     3641     98 |  0.000 % |
23.95/24.09	c |      3752 |   77899  2283232  5203385 |   761077     3752     98 |  0.000 % |
24.25/24.34	c |      3873 |   77899  2283232  5203385 |   761077     3873    100 |  0.000 % |
24.55/24.60	c |      4008 |   77899  2283232  5203385 |   761077     4008    102 |  0.000 % |
24.75/24.89	c |      4154 |   77899  2283232  5203385 |   761077     4154    103 |  0.000 % |
25.35/25.40	c |      4314 |   77899  2283232  5203385 |   761077     4314    108 |  0.000 % |
26.05/26.13	c |      4490 |   77899  2283232  5203385 |   761077     4490    117 |  0.000 % |
26.55/26.60	c |      4683 |   77899  2283232  5203385 |   761077     4683    120 |  0.000 % |
26.65/26.78	c |      4783 |   77899  2283232  5203385 |   761077     4783    120 |  0.000 % |
26.95/27.06	c |      4893 |   77899  2283232  5203385 |   761077     4893    121 |  0.000 % |
27.25/27.31	c |      5015 |   77899  2283232  5203385 |   761077     5015    122 |  0.000 % |
27.36/27.47	c |      5149 |   77899  2283232  5203385 |   761077     5149    121 |  0.000 % |
27.55/27.69	c |      5295 |   77899  2283232  5203385 |   761077     5295    122 |  0.000 % |
27.95/28.05	c |      5456 |   77899  2283232  5203385 |   761077     5456    124 |  0.000 % |
28.56/28.63	c |      5633 |   77899  2283232  5203385 |   761077     5633    127 |  0.000 % |
29.06/29.11	c |      5830 |   77899  2283232  5203385 |   761077     5830    131 |  0.000 % |
29.66/29.74	c |      6043 |   77899  2283232  5203385 |   761077     6043    135 |  0.000 % |
29.86/29.93	c |      6143 |   77899  2283232  5203385 |   761077     6143    134 |  0.000 % |
30.16/30.27	c |      6256 |   77899  2283232  5203385 |   761077     6256    135 |  0.000 % |
30.56/30.61	c |      6378 |   77899  2283232  5203385 |   761077     6378    137 |  0.000 % |
30.86/30.96	c |      6512 |   77899  2283232  5203385 |   761077     6512    138 |  0.000 % |
30.96/31.04	c |      6658 |   77899  2283232  5203385 |   761077     6658    138 |  0.000 % |
31.26/31.33	c |      6819 |   77899  2283232  5203385 |   761077     6819    138 |  0.000 % |
31.76/31.85	c |      6995 |   77899  2283232  5203385 |   761077     6995    140 |  0.000 % |
32.35/32.48	c |      7188 |   77899  2283232  5203385 |   761077     7188    144 |  0.000 % |
32.75/32.84	c |      7400 |   77899  2283232  5203385 |   761077     7400    147 |  0.000 % |
33.45/33.54	c |      7633 |   77899  2283232  5203385 |   761077     7633    149 |  0.000 % |
33.65/33.79	c |      7733 |   77899  2283232  5203385 |   761077     7733    150 |  0.000 % |
33.96/34.02	c |      7843 |   77899  2283232  5203385 |   761077     7843    150 |  0.000 % |
34.25/34.33	c |      7964 |   77899  2283232  5203385 |   761077     7964    150 |  0.000 % |
34.65/34.74	c |      8097 |   77899  2283232  5203385 |   761077     8097    152 |  0.000 % |
34.85/34.92	c |      8245 |   77899  2283232  5203385 |   761077     8245    151 |  0.000 % |
35.35/35.45	c |      8405 |   77899  2283232  5203385 |   761077     8405    154 |  0.000 % |
35.85/35.94	c |      8583 |   77899  2283232  5203385 |   761077     8583    155 |  0.000 % |
36.25/36.38	c |      8778 |   77899  2283232  5203385 |   761077     8778    157 |  0.000 % |
36.95/37.01	c |      8993 |   77899  2283232  5203385 |   761077     8993    157 |  0.000 % |
37.75/37.85	c |      9229 |   77899  2283232  5203385 |   761077     9229    162 |  0.000 % |
38.55/38.68	c |      9485 |   77899  2283232  5203385 |   761077     9485    166 |  0.000 % |
38.85/38.98	c |      9586 |   77899  2283232  5203385 |   761077     9586    166 |  0.000 % |
38.95/39.08	c |      9698 |   77899  2283232  5203385 |   761077     9698    165 |  0.000 % |
39.35/39.48	c |      9819 |   77899  2283232  5203385 |   761077     9819    166 |  0.000 % |
39.75/39.83	c |      9952 |   77899  2283232  5203385 |   761077     9952    167 |  0.000 % |
40.15/40.22	c |     10098 |   77899  2283232  5203385 | 2147483647    10098    167 |  0.000 % |
40.55/40.68	c |     10258 |   77899  2283232  5203385 | 2147483647    10258    168 |  0.000 % |
41.05/41.19	c |     10434 |   77899  2283232  5203385 | 2147483647    10434    169 |  0.000 % |
41.66/41.77	c |     10628 |   77899  2283232  5203385 | 2147483647    10628    171 |  0.000 % |
42.45/42.52	c |     10840 |   77899  2283232  5203385 | 2147483647    10840    174 |  0.000 % |
43.05/43.19	c |     11073 |   77899  2283232  5203385 | 2147483647    11073    176 |  0.000 % |
43.25/43.30	c |     11331 |   77899  2283232  5203385 | 2147483647    11331    174 |  0.000 % |
43.95/44.04	c |     11612 |   77899  2283232  5203385 | 2147483647    11612    175 |  0.000 % |
44.25/44.39	c |     11713 |   77899  2283232  5203385 | 2147483647    11713    176 |  0.000 % |
44.55/44.68	c |     11823 |   77899  2283232  5203385 | 2147483647    11823    176 |  0.000 % |
44.95/45.02	c |     11945 |   77899  2283232  5203385 | 2147483647    11945    177 |  0.000 % |
45.45/45.51	c |     12078 |   77899  2283232  5203385 | 2147483647    12078    178 |  0.000 % |
45.85/45.94	c |     12226 |   77899  2283232  5203385 | 2147483647    12226    179 |  0.000 % |
46.25/46.33	c |     12386 |   77899  2283232  5203385 | 2147483647    12386    180 |  0.000 % |
46.85/46.92	c |     12565 |   77899  2283232  5203385 | 2147483647    12565    182 |  0.000 % |
47.05/47.12	c |     12760 |   77899  2283232  5203385 | 2147483647    12760    181 |  0.000 % |
47.64/47.73	c |     12972 |   77899  2283232  5203385 | 2147483647    12972    183 |  0.000 % |
48.36/48.41	c |     13205 |   77899  2283232  5203385 | 2147483647    13205    183 |  0.000 % |
49.05/49.10	c |     13462 |   77899  2283232  5203385 | 2147483647    13462    184 |  0.000 % |
50.05/50.14	c |     13743 |   77899  2283232  5203385 | 2147483647    13743    186 |  0.000 % |
51.15/51.24	c |     14052 |   77899  2283232  5203385 | 2147483647    14052    190 |  0.000 % |
51.35/51.41	c |     14152 |   77899  2283232  5203385 | 2147483647    14152    189 |  0.000 % |
51.55/51.61	c |     14262 |   77899  2283232  5203385 | 2147483647    14262    189 |  0.000 % |
51.65/51.77	c |     14383 |   77899  2283232  5203385 | 2147483647    14383    188 |  0.000 % |
51.95/52.04	c |     14517 |   77899  2283232  5203385 | 2147483647    14517    189 |  0.000 % |
52.05/52.10	c |     14663 |   77899  2283232  5203385 | 2147483647    14663    188 |  0.000 % |
52.35/52.46	c |     14823 |   77899  2283232  5203385 | 2147483647    14823    189 |  0.000 % |
53.05/53.12	c |     15001 |   77899  2283232  5203385 | 2147483647    15001    190 |  0.000 % |
53.75/53.80	c |     15195 |   77899  2283232  5203385 | 2147483647    15195    192 |  0.000 % |
54.35/54.44	c |     15409 |   77899  2283232  5203385 | 2147483647    15409    193 |  0.000 % |
55.05/55.12	c |     15643 |   77899  2283232  5203385 | 2147483647    15643    194 |  0.000 % |
55.64/55.70	c |     15899 |   77899  2283232  5203385 | 2147483647    15899    195 |  0.000 % |
56.64/56.70	c |     16182 |   77899  2283232  5203385 | 2147483647    16182    197 |  0.000 % |
57.44/57.52	c |     16491 |   77899  2283232  5203385 | 2147483647    16491    198 |  0.000 % |
58.54/58.66	c |     16831 |   77899  2283232  5203385 | 2147483647    16831    200 |  0.000 % |
58.84/58.97	c |     16931 |   77899  2283232  5203385 | 2147483647    16931    200 |  0.000 % |
59.14/59.22	c |     17041 |   77899  2283232  5203385 | 2147483647    17041    200 |  0.000 % |
59.54/59.60	c |     17164 |   77899  2283232  5203385 | 2147483647    17164    200 |  0.000 % |
59.94/60.04	c |     17298 |   77899  2283232  5203385 | 2147483647    17298    200 |  0.000 % |
60.44/60.58	c |     17444 |   77899  2283232  5203385 | 2147483647    17444    201 |  0.000 % |
60.94/61.00	c |     17605 |   77899  2283232  5203385 | 2147483647    17605    202 |  0.000 % |
61.35/61.45	c |     17781 |   77899  2283232  5203385 | 2147483647    17781    202 |  0.000 % |
61.75/61.80	c |     17974 |   77899  2283232  5203385 | 2147483647    17974    202 |  0.000 % |
62.24/62.32	c |     18186 |   77899  2283232  5203385 | 2147483647    18186    201 |  0.000 % |
62.84/62.99	c |     18419 |   77899  2283232  5203385 | 2147483647    18419    201 |  0.000 % |
63.65/63.79	c |     18675 |   77899  2283232  5203385 | 2147483647    18675    202 |  0.000 % |
64.34/64.48	c |     18958 |   77899  2283232  5203385 | 2147483647    18958    203 |  0.000 % |
65.14/65.20	c |     19268 |   77899  2283232  5203385 | 2147483647    19268    203 |  0.000 % |
65.84/65.97	c |     19612 |   77899  2283232  5203385 | 2147483647    19612    203 |  0.000 % |
66.64/66.72	c |     19984 |   77899  2283232  5203385 | 2147483647    19984    204 |  0.000 % |
66.94/67.00	c |     20085 |   77899  2283232  5203385 | 2147483647    20085    204 |  0.000 % |
67.24/67.38	c |     20197 |   77899  2283232  5203385 | 2147483647    20197    204 |  0.000 % |
67.54/67.69	c |     20318 |   77899  2283232  5203385 | 2147483647    20318    204 |  0.000 % |
68.14/68.25	c |     20452 |   77899  2283232  5203385 | 2147483647    20452    205 |  0.000 % |
68.54/68.65	c |     20599 |   77899  2283232  5203385 | 2147483647    20599    206 |  0.000 % |
68.64/68.73	c |     20759 |   77899  2283232  5203385 | 2147483647    20759    205 |  0.000 % |
69.24/69.35	c |     20936 |   77899  2283232  5203385 | 2147483647    20936    205 |  0.000 % |
69.43/69.55	c |     21130 |   77899  2283232  5203385 | 2147483647    21130    205 |  0.000 % |
69.73/69.83	c |     21342 |   77899  2283232  5203385 | 2147483647    21342    204 |  0.000 % |
70.24/70.37	c |     21575 |   77899  2283232  5203385 | 2147483647    21575    203 |  0.000 % |
71.04/71.11	c |     21831 |   77899  2283232  5203385 | 2147483647    21831    204 |  0.000 % |
71.54/71.68	c |     22112 |   77899  2283232  5203385 | 2147483647    22112    204 |  0.000 % |
72.45/72.55	c |     22421 |   77899  2283232  5203385 | 2147483647    22421    205 |  0.000 % |
73.44/73.57	c |     22760 |   77899  2283232  5203385 | 2147483647    22760    206 |  0.000 % |
74.54/74.62	c |     23136 |   77899  2283232  5203385 | 2147483647    23136    206 |  0.000 % |
75.74/75.88	c |     23545 |   77899  2283232  5203385 | 2147483647    23545    207 |  0.000 % |
76.03/76.12	c |     23645 |   77899  2283232  5203385 | 2147483647    23645    207 |  0.000 % |
76.43/76.55	c |     23755 |   77899  2283232  5203385 | 2147483647    23755    207 |  0.000 % |
76.73/76.89	c |     23876 |   77899  2283232  5203385 | 2147483647    23876    208 |  0.000 % |
77.14/77.21	c |     24011 |   77899  2283232  5203385 | 2147483647    24011    208 |  0.000 % |
77.14/77.29	c |     24157 |   77899  2283232  5203385 | 2147483647    24157    207 |  0.000 % |
77.74/77.90	c |     24317 |   77899  2283232  5203385 | 2147483647    24317    208 |  0.000 % |
78.14/78.28	c |     24497 |   77899  2283232  5203385 | 2147483647    24497    208 |  0.000 % |
78.84/78.90	c |     24690 |   77899  2283232  5203385 | 2147483647    24690    208 |  0.000 % |
79.44/79.50	c |     24904 |   77899  2283232  5203385 | 2147483647    24904    209 |  0.000 % |
80.24/80.34	c |     25138 |   77899  2283232  5203385 | 2147483647    25138    210 |  0.000 % |
81.03/81.19	c |     25396 |   77899  2283232  5203385 | 2147483647    25396    211 |  0.000 % |
82.03/82.13	c |     25677 |   77899  2283232  5203385 | 2147483647    25677    211 |  0.000 % |
82.93/83.05	c |     25988 |   77899  2283232  5203385 | 2147483647    25988    212 |  0.000 % |
84.14/84.22	c |     26327 |   77899  2283232  5203385 | 2147483647    26327    214 |  0.000 % |
85.03/85.19	c |     26701 |   77899  2283232  5203385 | 2147483647    26701    214 |  0.000 % |
86.33/86.45	c |     27110 |   77899  2283232  5203385 | 2147483647    27110    215 |  0.000 % |
88.13/88.22	c |     27560 |   77899  2283232  5203385 | 2147483647    27560    216 |  0.000 % |
88.23/88.31	c |     27660 |   77899  2283232  5203385 | 2147483647    27660    216 |  0.000 % |
88.53/88.65	c |     27770 |   77899  2283232  5203385 | 2147483647    27770    216 |  0.000 % |
88.83/88.95	c |     27891 |   77899  2283232  5203385 | 2147483647    27891    216 |  0.000 % |
89.24/89.39	c |     28024 |   77899  2283232  5203385 | 2147483647    28024    216 |  0.000 % |
89.33/89.49	c |     28173 |   77899  2283232  5203385 | 2147483647    28173    215 |  0.000 % |
89.73/89.86	c |     28334 |   77899  2283232  5203385 | 2147483647    28334    215 |  0.000 % |
90.14/90.24	c |     28511 |   77899  2283232  5203385 | 2147483647    28511    215 |  0.000 % |
90.33/90.46	c |     28705 |   77899  2283232  5203385 | 2147483647    28705    214 |  0.000 % |
90.63/90.70	c |     28917 |   77899  2283232  5203385 | 2147483647    28917    214 |  0.000 % |
91.23/91.34	c |     29150 |   77899  2283232  5203385 | 2147483647    29150    214 |  0.000 % |
91.83/91.97	c |     29407 |   77899  2283232  5203385 | 2147483647    29407    214 |  0.000 % |
92.23/92.40	c |     29688 |   77899  2283232  5203385 | 2147483647    29688    213 |  0.000 % |
93.13/93.21	c |     29997 |   77899  2283232  5203385 | 2147483647    29997    213 |  0.000 % |
94.23/94.36	c |     30337 |   77899  2283232  5203385 | 2147483647    30337    214 |  0.000 % |
95.54/95.61	c |     30709 |   77899  2283232  5203385 | 2147483647    30709    215 |  0.000 % |
96.53/96.65	c |     31118 |   77899  2283232  5203385 | 2147483647    31118    215 |  0.000 % |
97.73/97.88	c |     31568 |   77899  2283232  5203385 | 2147483647    31568    216 |  0.000 % |
99.13/99.20	c |     32062 |   77899  2283232  5203385 | 2147483647    32062    216 |  0.000 % |
99.33/99.47	c |     32163 |   77899  2283232  5203385 | 2147483647    32163    215 |  0.000 % |
99.73/99.82	c |     32273 |   77899  2283232  5203385 | 2147483647    32273    215 |  0.000 % |
100.13/100.23	c |     32394 |   77899  2283232  5203385 | 2147483647    32394    216 |  0.000 % |
100.53/100.69	c |     32532 |   77899  2283232  5203385 | 2147483647    32532    216 |  0.000 % |
101.03/101.20	c |     32679 |   77899  2283232  5203385 | 2147483647    32679    216 |  0.000 % |
101.62/101.71	c |     32840 |   77899  2283232  5203385 | 2147483647    32840    216 |  0.000 % |
101.92/102.05	c |     33017 |   77899  2283232  5203385 | 2147483647    33017    216 |  0.000 % |
102.02/102.11	c |     33210 |   77899  2283232  5203385 | 2147483647    33210    215 |  0.000 % |
102.83/102.92	c |     33425 |   77899  2283232  5203385 | 2147483647    33425    216 |  0.000 % |
103.73/103.85	c |     33659 |   77899  2283232  5203385 | 2147483647    33659    216 |  0.000 % |
104.63/104.74	c |     33915 |   77899  2283232  5203385 | 2147483647    33915    216 |  0.000 % |
105.53/105.62	c |     34196 |   77899  2283232  5203385 | 2147483647    34196    216 |  0.000 % |
106.03/106.16	c |     34505 |   77899  2283232  5203385 | 2147483647    34505    216 |  0.000 % |
106.23/106.40	c |     34844 |   77899  2283232  5203385 | 2147483647    34844    215 |  0.000 % |
107.23/107.39	c |     35217 |   77899  2283232  5203385 | 2147483647    35217    215 |  0.000 % |
108.73/108.90	c |     35626 |   77899  2283232  5203385 | 2147483647    35626    216 |  0.000 % |
110.22/110.37	c |     36076 |   77899  2283232  5203385 | 2147483647    36076    217 |  0.000 % |
110.52/110.63	c |     36569 |   77899  2283232  5203385 | 2147483647    36569    215 |  0.000 % |
111.82/111.97	c |     37112 |   77899  2283232  5203385 | 2147483647    37112    217 |  0.000 % |
112.42/112.56	c |     37212 |   77899  2283232  5203385 | 2147483647    37212    217 |  0.000 % |
112.93/113.00	c |     37322 |   77899  2283232  5203385 | 2147483647    37322    217 |  0.000 % |
113.33/113.43	c |     37444 |   77899  2283232  5203385 | 2147483647    37444    218 |  0.000 % |
113.83/113.93	c |     37579 |   77899  2283232  5203385 | 2147483647    37579    218 |  0.000 % |
114.23/114.30	c |     37725 |   77899  2283232  5203385 | 2147483647    37725    218 |  0.000 % |
114.83/114.95	c |     37885 |   77899  2283232  5203385 | 2147483647    37885    218 |  0.000 % |
115.52/115.64	c |     38061 |   77899  2283232  5203385 | 2147483647    38061    218 |  0.000 % |
115.62/115.74	c |     38256 |   77899  2283232  5203385 | 2147483647    38256    218 |  0.000 % |
115.82/115.90	c |     38468 |   77899  2283232  5203385 | 2147483647    38468    217 |  0.000 % |
116.22/116.38	c |     38703 |   77899  2283232  5203385 | 2147483647    38703    217 |  0.000 % |
116.92/117.04	c |     38959 |   77899  2283232  5203385 | 2147483647    38959    218 |  0.000 % |
117.73/117.88	c |     39240 |   77899  2283232  5203385 | 2147483647    39240    218 |  0.000 % |
118.73/118.85	c |     39550 |   77899  2283232  5203385 | 2147483647    39550    218 |  0.000 % |
119.42/119.52	c |     39889 |   77899  2283232  5203385 | 2147483647    39889    218 |  0.000 % |
120.42/120.59	c |     40262 |   77899  2283232  5203385 | 2147483647    40262    218 |  0.000 % |
121.92/122.06	c |     40672 |   77899  2283232  5203385 | 2147483647    40672    218 |  0.000 % |
123.52/123.62	c |     41121 |   77899  2283232  5203385 | 2147483647    41121    219 |  0.000 % |
125.22/125.34	c |     41616 |   77899  2283232  5203385 | 2147483647    41616    221 |  0.000 % |
127.02/127.13	c |     42158 |   77899  2283232  5203385 | 2147483647    42158    222 |  0.000 % |
127.92/128.01	c |     42754 |   77899  2283232  5203385 | 2147483647    42754    221 |  0.000 % |
127.92/128.08	c |     42854 |   77899  2283232  5203385 | 2147483647    42854    221 |  0.000 % |
128.12/128.28	c |     42965 |   77899  2283232  5203385 | 2147483647    42965    221 |  0.000 % |
128.62/128.75	c |     43086 |   77899  2283232  5203385 | 2147483647    43086    221 |  0.000 % |
128.82/128.95	c |     43222 |   77899  2283232  5203385 | 2147483647    43222    220 |  0.000 % |
129.22/129.36	c |     43368 |   77899  2283232  5203385 | 2147483647    43368    220 |  0.000 % |
129.82/129.96	c |     43528 |   77899  2283232  5203385 | 2147483647    43528    220 |  0.000 % |
130.61/130.71	c |     43706 |   77899  2283232  5203385 | 2147483647    43706    221 |  0.000 % |
131.11/131.27	c |     43901 |   77899  2283232  5203385 | 2147483647    43901    221 |  0.000 % |
131.91/132.08	c |     44113 |   77899  2283232  5203385 | 2147483647    44113    221 |  0.000 % |
132.61/132.76	c |     44347 |   77899  2283232  5203385 | 2147483647    44347    221 |  0.000 % |
133.32/133.42	c |     44604 |   77899  2283232  5203385 | 2147483647    44604    221 |  0.000 % |
134.22/134.38	c |     44885 |   77899  2283232  5203385 | 2147483647    44885    222 |  0.000 % |
135.31/135.44	c |     45194 |   77899  2283232  5203385 | 2147483647    45194    222 |  0.000 % |
136.22/136.33	c |     45533 |   77899  2283232  5203385 | 2147483647    45533    223 |  0.000 % |
136.32/136.49	c |     45909 |   77899  2283232  5203385 | 2147483647    45909    222 |  0.000 % |
137.61/137.77	c |     46318 |   77899  2283232  5203385 | 2147483647    46318    222 |  0.000 % |
139.31/139.42	c |     46768 |   77899  2283232  5203385 | 2147483647    46768    223 |  0.000 % |
141.11/141.24	c |     47264 |   77899  2283232  5203385 | 2147483647    47264    224 |  0.000 % |
142.81/142.98	c |     47806 |   77899  2283232  5203385 | 2147483647    47806    225 |  0.000 % |
144.31/144.41	c |     48402 |   77899  2283232  5203385 | 2147483647    48402    225 |  0.000 % |
146.21/146.36	c |     49057 |   77899  2283232  5203385 | 2147483647    49057    226 |  0.000 % |
146.60/146.77	c |     49157 |   77899  2283232  5203385 | 2147483647    49157    226 |  0.000 % |
147.00/147.19	c |     49269 |   77899  2283232  5203385 | 2147483647    49269    226 |  0.000 % |
147.40/147.58	c |     49391 |   77899  2283232  5203385 | 2147483647    49391    226 |  0.000 % |
148.10/148.21	c |     49524 |   77899  2283232  5203385 | 2147483647    49524    226 |  0.000 % |
148.50/148.68	c |     49671 |   77899  2283232  5203385 | 2147483647    49671    226 |  0.000 % |
149.10/149.22	c |     49831 |   77899  2283232  5203385 | 2147483647    49831    226 |  0.000 % |
149.70/149.87	c |     50007 |   77899  2283232  5203385 | 2147483647    50007    226 |  0.000 % |
150.21/150.32	c |     50201 |   77899  2283232  5203385 | 2147483647    50201    226 |  0.000 % |
150.81/150.91	c |     50414 |   77899  2283232  5203385 | 2147483647    50414    226 |  0.000 % |
151.61/151.78	c |     50647 |   77899  2283232  5203385 | 2147483647    50647    226 |  0.000 % |
152.41/152.59	c |     50903 |   77899  2283232  5203385 | 2147483647    50903    226 |  0.000 % |
153.21/153.34	c |     51184 |   77899  2283232  5203385 | 2147483647    51184    227 |  0.000 % |
153.50/153.65	c |     51495 |   77899  2283232  5203385 | 2147483647    51495    226 |  0.000 % |
153.70/153.85	c |     51837 |   77899  2283232  5203385 | 2147483647    51837    225 |  0.000 % |
154.91/155.00	c |     52212 |   77899  2283232  5203385 | 2147483647    52212    225 |  0.000 % |
156.01/156.18	c |     52623 |   77899  2283232  5203385 | 2147483647    52623    225 |  0.000 % |
157.10/157.22	c |     53072 |   77899  2283232  5203385 | 2147483647    53072    225 |  0.000 % |
159.30/159.41	c |     53565 |   77899  2283232  5203385 | 2147483647    53565    226 |  0.000 % |
161.00/161.16	c |     54108 |   77899  2283232  5203385 | 2147483647    54108    227 |  0.000 % |
163.40/163.59	c |     54707 |   77899  2283232  5203385 | 2147483647    54707    228 |  0.000 % |
165.60/165.72	c |     55362 |   77899  2283232  5203385 | 2147483647    55362    228 |  0.000 % |
168.20/168.37	c |     56082 |   77899  2283232  5203385 | 2147483647    56082    229 |  0.000 % |
168.60/168.76	c |     56183 |   77899  2283232  5203385 | 2147483647    56183    229 |  0.000 % |
169.00/169.13	c |     56293 |   77899  2283232  5203385 | 2147483647    56293    229 |  0.000 % |
169.50/169.61	c |     56414 |   77899  2283232  5203385 | 2147483647    56414    229 |  0.000 % |
169.90/170.07	c |     56547 |   77899  2283232  5203385 | 2147483647    56547    229 |  0.000 % |
170.00/170.18	c |     56693 |   77899  2283232  5203385 | 2147483647    56693    229 |  0.000 % |
170.60/170.73	c |     56856 |   77899  2283232  5203385 | 2147483647    56856    229 |  0.000 % |
171.10/171.24	c |     57032 |   77899  2283232  5203385 | 2147483647    57032    229 |  0.000 % |
171.80/171.95	c |     57226 |   77899  2283232  5203385 | 2147483647    57226    229 |  0.000 % |
172.39/172.57	c |     57442 |   77899  2283232  5203385 | 2147483647    57442    229 |  0.000 % |
173.09/173.27	c |     57678 |   77899  2283232  5203385 | 2147483647    57678    229 |  0.000 % |
173.80/173.92	c |     57934 |   77899  2283232  5203385 | 2147483647    57934    229 |  0.000 % |
174.60/174.74	c |     58215 |   77899  2283232  5203385 | 2147483647    58215    229 |  0.000 % |
175.90/176.03	c |     58524 |   77899  2283232  5203385 | 2147483647    58524    229 |  0.000 % |
176.50/176.69	c |     58865 |   77899  2283232  5203385 | 2147483647    58865    229 |  0.000 % |
177.59/177.71	c |     59237 |   77899  2283232  5203385 | 2147483647    59237    229 |  0.000 % |
179.10/179.25	c |     59646 |   77899  2283232  5203385 | 2147483647    59646    229 |  0.000 % |
180.10/180.29	c |     60095 |   77899  2283232  5203385 | 2147483647    60095    229 |  0.000 % |
180.60/180.70	c |     60588 |   77899  2283232  5203385 | 2147483647    60588    228 |  0.000 % |
182.30/182.42	c |     61130 |   77899  2283232  5203385 | 2147483647    61130    229 |  0.000 % |
184.60/184.75	c |     61728 |   77899  2283232  5203385 | 2147483647    61728    230 |  0.000 % |
187.29/187.45	c |     62384 |   77899  2283232  5203385 | 2147483647    62384    231 |  0.000 % |
190.19/190.33	c |     63108 |   77899  2283232  5203385 | 2147483647    63108    232 |  0.000 % |
192.69/192.84	c |     63902 |   77899  2283232  5203385 | 2147483647    63902    233 |  0.000 % |
193.19/193.32	c |     64003 |   77899  2283232  5203385 | 2147483647    64003    233 |  0.000 % |
193.50/193.64	c |     64113 |   77899  2283232  5203385 | 2147483647    64113    233 |  0.000 % |
193.79/193.93	c |     64236 |   77899  2283232  5203385 | 2147483647    64236    233 |  0.000 % |
194.19/194.30	c |     64369 |   77899  2283232  5203385 | 2147483647    64369    233 |  0.000 % |
194.69/194.88	c |     64515 |   77899  2283232  5203385 | 2147483647    64515    233 |  0.000 % |
195.19/195.39	c |     64676 |   77899  2283232  5203385 | 2147483647    64676    233 |  0.000 % |
195.99/196.19	c |     64852 |   77899  2283232  5203385 | 2147483647    64852    233 |  0.000 % |
196.79/196.93	c |     65045 |   77899  2283232  5203385 | 2147483647    65045    234 |  0.000 % |
196.99/197.14	c |     65257 |   77899  2283232  5203385 | 2147483647    65257    233 |  0.000 % |
197.28/197.44	c |     65490 |   77899  2283232  5203385 | 2147483647    65490    233 |  0.000 % |
198.19/198.40	c |     65746 |   77899  2283232  5203385 | 2147483647    65746    233 |  0.000 % |
199.29/199.40	c |     66027 |   77899  2283232  5203385 | 2147483647    66027    233 |  0.000 % |
200.19/200.38	c |     66336 |   77899  2283232  5203385 | 2147483647    66336    234 |  0.000 % |
201.68/201.80	c |     66676 |   77899  2283232  5203385 | 2147483647    66676    234 |  0.000 % |
202.58/202.70	c |     67048 |   77899  2283232  5203385 | 2147483647    67048    234 |  0.000 % |
202.78/202.96	c |     67458 |   77899  2283232  5203385 | 2147483647    67458    233 |  0.000 % |
204.68/204.84	c |     67907 |   77899  2283232  5203385 | 2147483647    67907    234 |  0.000 % |
206.59/206.78	c |     68402 |   77899  2283232  5203385 | 2147483647    68402    234 |  0.000 % |
208.38/208.58	c |     68944 |   77899  2283232  5203385 | 2147483647    68944    236 |  0.000 % |
210.78/210.91	c |     69544 |   77899  2283232  5203385 | 2147483647    69544    236 |  0.000 % |
211.18/211.39	c |     70200 |   77899  2283232  5203385 | 2147483647    70200    235 |  0.000 % |
213.28/213.46	c |     70920 |   77899  2283232  5203385 | 2147483647    70920    236 |  0.000 % |
217.08/217.29	c |     71712 |   77899  2283232  5203385 | 2147483647    71712    238 |  0.000 % |
219.69/219.84	c |     72584 |   77899  2283232  5203385 | 2147483647    72584    239 |  0.000 % |
220.08/220.24	c |     72685 |   77899  2283232  5203385 | 2147483647    72685    239 |  0.000 % |
220.48/220.63	c |     72795 |   77899  2283232  5203385 | 2147483647    72795    239 |  0.000 % |
220.78/220.97	c |     72918 |   77899  2283232  5203385 | 2147483647    72918    238 |  0.000 % |
221.28/221.49	c |     73051 |   77899  2283232  5203385 | 2147483647    73051    239 |  0.000 % |
221.38/221.56	c |     73197 |   77899  2283232  5203385 | 2147483647    73197    238 |  0.000 % |
221.68/221.88	c |     73357 |   77899  2283232  5203385 | 2147483647    73357    238 |  0.000 % |
221.98/222.11	c |     73533 |   77899  2283232  5203385 | 2147483647    73533    238 |  0.000 % |
222.08/222.27	c |     73729 |   77899  2283232  5203385 | 2147483647    73729    238 |  0.000 % |
222.18/222.39	c |     73942 |   77899  2283232  5203385 | 2147483647    73942    237 |  0.000 % |
222.98/223.14	c |     74180 |   77899  2283232  5203385 | 2147483647    74180    237 |  0.000 % |
223.38/223.59	c |     74436 |   77899  2283232  5203385 | 2147483647    74436    237 |  0.000 % |
223.67/223.80	c |     74720 |   77899  2283232  5203385 | 2147483647    74720    236 |  0.000 % |
223.87/224.06	c |     75029 |   77899  2283232  5203385 | 2147483647    75029    236 |  0.000 % |
224.97/225.12	c |     75372 |   77899  2283232  5203385 | 2147483647    75372    236 |  0.000 % |
225.38/225.54	c |     75744 |   77899  2283232  5203385 | 2147483647    75744    235 |  0.000 % |
226.27/226.44	c |     76154 |   77899  2283232  5203385 | 2147483647    76154    235 |  0.000 % |
227.88/228.07	c |     76603 |   77899  2283232  5203385 | 2147483647    76603    235 |  0.000 % |
228.98/229.11	c |     77099 |   77899  2283232  5203385 | 2147483647    77099    235 |  0.000 % |
229.58/229.77	c |     77641 |   77899  2283232  5203385 | 2147483647    77641    234 |  0.000 % |
230.68/230.88	c |     78238 |   77899  2283232  5203385 | 2147483647    78238    233 |  0.000 % |
232.87/233.01	c |     78894 |   77899  2283232  5203385 | 2147483647    78894    233 |  0.000 % |
235.27/235.45	c |     79614 |   77899  2283232  5203385 | 2147483647    79614    235 |  0.000 % |
238.58/238.79	c |     80406 |   77899  2283232  5203385 | 2147483647    80406    236 |  0.000 % |
242.27/242.41	c |     81278 |   77899  2283232  5203385 | 2147483647    81278    237 |  0.000 % |
245.77/245.92	c |     82237 |   77899  2283232  5203385 | 2147483647    82237    238 |  0.000 % |
246.37/246.51	c |     82337 |   77899  2283232  5203385 | 2147483647    82337    238 |  0.000 % |
246.87/247.03	c |     82447 |   77899  2283232  5203385 | 2147483647    82447    238 |  0.000 % |
247.27/247.50	c |     82569 |   77899  2283232  5203385 | 2147483647    82569    238 |  0.000 % |
247.47/247.64	c |     82703 |   77899  2283232  5203385 | 2147483647    82703    238 |  0.000 % |
248.27/248.42	c |     82850 |   77899  2283232  5203385 | 2147483647    82850    238 |  0.000 % |
248.87/249.04	c |     83011 |   77899  2283232  5203385 | 2147483647    83011    238 |  0.000 % |
249.47/249.62	c |     83187 |   77899  2283232  5203385 | 2147483647    83187    238 |  0.000 % |
250.17/250.34	c |     83382 |   77899  2283232  5203385 | 2147483647    83382    238 |  0.000 % |
250.87/251.08	c |     83594 |   77899  2283232  5203385 | 2147483647    83594    238 |  0.000 % |
251.87/252.03	c |     83827 |   77899  2283232  5203385 | 2147483647    83827    238 |  0.000 % |
252.97/253.18	c |     84083 |   77899  2283232  5203385 | 2147483647    84083    239 |  0.000 % |
253.17/253.35	c |     84364 |   77899  2283232  5203385 | 2147483647    84364    238 |  0.000 % |
254.57/254.70	c |     84673 |   77899  2283232  5203385 | 2147483647    84673    239 |  0.000 % |
255.27/255.42	c |     85012 |   77899  2283232  5203385 | 2147483647    85012    239 |  0.000 % |
255.77/255.99	c |     85384 |   77899  2283232  5203385 | 2147483647    85384    238 |  0.000 % |
257.27/257.47	c |     85793 |   77899  2283232  5203385 | 2147483647    85793    239 |  0.000 % |
259.67/259.86	c |     86242 |   77899  2283232  5203385 | 2147483647    86242    239 |  0.000 % |
261.57/261.77	c |     86738 |   77899  2283232  5203385 | 2147483647    86738    239 |  0.000 % |
263.36/263.55	c |     87281 |   77899  2283232  5203385 | 2147483647    87281    240 |  0.000 % |
265.26/265.48	c |     87877 |   77899  2283232  5203385 | 2147483647    87877    240 |  0.000 % |
267.27/267.41	c |     88533 |   77899  2283232  5203385 | 2147483647    88533    240 |  0.000 % |
269.77/269.96	c |     89253 |   77899  2283232  5203385 | 2147483647    89253    242 |  0.000 % |
274.26/274.48	c |     90046 |   77899  2283232  5203385 | 2147483647    90046    244 |  0.000 % |
277.17/277.40	c |     90918 |   77899  2283232  5203385 | 2147483647    90918    245 |  0.000 % |
280.66/280.81	c |     91878 |   77899  2283232  5203385 | 2147483647    91878    246 |  0.000 % |
285.06/285.24	c |     92932 |   77899  2283232  5203385 | 2147483647    92932    247 |  0.000 % |
285.56/285.74	c |     93032 |   77899  2283232  5203385 | 2147483647    93032    247 |  0.000 % |
285.66/285.85	c |     93142 |   77899  2283232  5203385 | 2147483647    93142    247 |  0.000 % |
286.16/286.36	c |     93263 |   77899  2283232  5203385 | 2147483647    93263    247 |  0.000 % |
286.56/286.72	c |     93396 |   77899  2283232  5203385 | 2147483647    93396    247 |  0.000 % |
287.16/287.30	c |     93543 |   77899  2283232  5203385 | 2147483647    93543    247 |  0.000 % |
287.16/287.39	c |     93705 |   77899  2283232  5203385 | 2147483647    93705    247 |  0.000 % |
287.36/287.59	c |     93881 |   77899  2283232  5203385 | 2147483647    93881    247 |  0.000 % |
287.76/287.93	c |     94074 |   77899  2283232  5203385 | 2147483647    94074    246 |  0.000 % |
287.86/288.03	c |     94286 |   77899  2283232  5203385 | 2147483647    94286    246 |  0.000 % |
288.75/288.94	c |     94519 |   77899  2283232  5203385 | 2147483647    94519    246 |  0.000 % |
289.85/290.02	c |     94777 |   77899  2283232  5203385 | 2147483647    94777    246 |  0.000 % |
290.85/291.08	c |     95058 |   77899  2283232  5203385 | 2147483647    95058    246 |  0.000 % |
291.26/291.47	c |     95367 |   77899  2283232  5203385 | 2147483647    95367    246 |  0.000 % |
292.35/292.55	c |     95708 |   77899  2283232  5203385 | 2147483647    95708    246 |  0.000 % |
294.05/294.21	c |     96081 |   77899  2283232  5203385 | 2147483647    96081    247 |  0.000 % |
295.55/295.73	c |     96490 |   77899  2283232  5203385 | 2147483647    96490    247 |  0.000 % |
297.16/297.35	c |     96939 |   77899  2283232  5203385 | 2147483647    96939    247 |  0.000 % |
297.56/297.70	c |     97433 |   77899  2283232  5203385 | 2147483647    97433    246 |  0.000 % |
299.75/299.93	c |     97975 |   77899  2283232  5203385 | 2147483647    97975    247 |  0.000 % |
302.95/303.17	c |     98572 |   77899  2283232  5203385 | 2147483647    98572    248 |  0.000 % |
305.45/305.65	c |     99227 |   77899  2283232  5203385 | 2147483647    99227    248 |  0.000 % |
308.15/308.36	c |     99947 |   77899  2283232  5203385 | 2147483647    99947    248 |  0.000 % |
310.65/310.83	c |    100739 |   77899  2283232  5203385 | 2147483647   100739    249 |  0.000 % |
314.35/314.54	c |    101610 |   77899  2283232  5203385 | 2147483647   101610    249 |  0.000 % |
318.15/318.32	c |    102568 |   77899  2283232  5203385 | 2147483647   102568    250 |  0.000 % |
322.94/323.15	c |    103621 |   77899  2283232  5203385 | 2147483647   103621    252 |  0.000 % |
326.45/326.62	c |    104779 |   77899  2283232  5203385 | 2147483647   104779    253 |  0.000 % |
326.75/326.91	c |    104879 |   77899  2283232  5203385 | 2147483647   104879    253 |  0.000 % |
326.85/327.03	c |    104990 |   77899  2283232  5203385 | 2147483647   104990    253 |  0.000 % |
327.25/327.43	c |    105111 |   77899  2283232  5203385 | 2147483647   105111    253 |  0.000 % |
327.55/327.73	c |    105244 |   77899  2283232  5203385 | 2147483647   105244    252 |  0.000 % |
327.84/328.01	c |    105391 |   77899  2283232  5203385 | 2147483647   105391    252 |  0.000 % |
328.24/328.43	c |    105551 |   77899  2283232  5203385 | 2147483647   105551    252 |  0.000 % |
328.84/329.02	c |    105727 |   77899  2283232  5203385 | 2147483647   105727    252 |  0.000 % |
329.44/329.64	c |    105920 |   77899  2283232  5203385 | 2147483647   105920    252 |  0.000 % |
329.64/329.84	c |    106133 |   77899  2283232  5203385 | 2147483647   106133    252 |  0.000 % |
330.14/330.32	c |    106366 |   77899  2283232  5203385 | 2147483647   106366    251 |  0.000 % |
330.74/330.97	c |    106623 |   77899  2283232  5203385 | 2147483647   106623    251 |  0.000 % |
331.94/332.13	c |    106904 |   77899  2283232  5203385 | 2147483647   106904    251 |  0.000 % |
332.74/332.97	c |    107213 |   77899  2283232  5203385 | 2147483647   107213    251 |  0.000 % |
334.14/334.36	c |    107553 |   77899  2283232  5203385 | 2147483647   107553    251 |  0.000 % |
335.74/335.93	c |    107925 |   77899  2283232  5203385 | 2147483647   107925    252 |  0.000 % |
337.64/337.87	c |    108334 |   77899  2283232  5203385 | 2147483647   108334    252 |  0.000 % |
339.94/340.11	c |    108784 |   77899  2283232  5203385 | 2147483647   108784    253 |  0.000 % |
341.74/341.97	c |    109278 |   77899  2283232  5203385 | 2147483647   109278    253 |  0.000 % |
343.74/343.96	c |    109821 |   77899  2283232  5203385 | 2147483647   109821    253 |  0.000 % |
345.94/346.16	c |    110417 |   77899  2283232  5203385 | 2147483647   110417    253 |  0.000 % |
348.83/349.01	c |    111072 |   77899  2283232  5203385 | 2147483647   111072    253 |  0.000 % |
352.33/352.50	c |    111794 |   77899  2283232  5203385 | 2147483647   111794    254 |  0.000 % |
356.03/356.20	c |    112586 |   77899  2283232  5203385 | 2147483647   112586    255 |  0.000 % |
357.03/357.20	c |    113457 |   77899  2283232  5203385 | 2147483647   113457    253 |  0.000 % |
359.23/359.45	c |    114415 |   77899  2283232  5203385 | 2147483647   114415    253 |  0.000 % |
363.23/363.49	c |    115469 |   77899  2283232  5203385 | 2147483647   115469    253 |  0.000 % |
368.34/368.50	c |    116627 |   77899  2283232  5203385 | 2147483647   116627    254 |  0.000 % |
375.22/375.49	c |    117900 |   77899  2283232  5203385 | 2147483647   117900    257 |  0.000 % |
375.92/376.12	c |    118000 |   77899  2283232  5203385 | 2147483647   118000    257 |  0.000 % |
376.32/376.57	c |    118113 |   77899  2283232  5203385 | 2147483647   118113    257 |  0.000 % |
377.03/377.26	c |    118236 |   77899  2283232  5203385 | 2147483647   118236    257 |  0.000 % |
377.63/377.86	c |    118370 |   77899  2283232  5203385 | 2147483647   118370    257 |  0.000 % |
378.33/378.57	c |    118516 |   77899  2283232  5203385 | 2147483647   118516    257 |  0.000 % |
379.03/379.22	c |    118676 |   77899  2283232  5203385 | 2147483647   118676    257 |  0.000 % |
379.63/379.82	c |    118852 |   77899  2283232  5203385 | 2147483647   118852    257 |  0.000 % |
380.43/380.68	c |    119047 |   77899  2283232  5203385 | 2147483647   119047    257 |  0.000 % |
380.53/380.78	c |    119261 |   77899  2283232  5203385 | 2147483647   119261    257 |  0.000 % |
381.83/382.03	c |    119494 |   77899  2283232  5203385 | 2147483647   119494    257 |  0.000 % |
383.22/383.46	c |    119751 |   77899  2283232  5203385 | 2147483647   119751    257 |  0.000 % |
384.42/384.66	c |    120032 |   77899  2283232  5203385 | 2147483647   120032    257 |  0.000 % |
385.32/385.56	c |    120341 |   77899  2283232  5203385 | 2147483647   120341    257 |  0.000 % |
386.12/386.34	c |    120681 |   77899  2283232  5203385 | 2147483647   120681    257 |  0.000 % |
387.92/388.12	c |    121054 |   77899  2283232  5203385 | 2147483647   121054    257 |  0.000 % |
388.52/388.78	c |    121464 |   77899  2283232  5203385 | 2147483647   121464    257 |  0.000 % |
390.02/390.22	c |    121913 |   77899  2283232  5203385 | 2147483647   121913    257 |  0.000 % |
392.62/392.83	c |    122407 |   77899  2283232  5203385 | 2147483647   122407    257 |  0.000 % |
395.12/395.34	c |    122949 |   77899  2283232  5203385 | 2147483647   122949    257 |  0.000 % |
398.32/398.51	c |    123546 |   77899  2283232  5203385 | 2147483647   123546    258 |  0.000 % |
401.22/401.40	c |    124202 |   77899  2283232  5203385 | 2147483647   124202    259 |  0.000 % |
404.31/404.55	c |    124922 |   77899  2283232  5203385 | 2147483647   124922    259 |  0.000 % |
408.21/408.40	c |    125719 |   77899  2283232  5203385 | 2147483647   125719    260 |  0.000 % |
412.02/412.27	c |    126591 |   77899  2283232  5203385 | 2147483647   126591    260 |  0.000 % |
415.31/415.56	c |    127551 |   77899  2283232  5203385 | 2147483647   127551    260 |  0.000 % |
419.61/419.80	c |    128605 |   77899  2283232  5203385 | 2147483647   128605    261 |  0.000 % |
424.41/424.63	c |    129764 |   77899  2283232  5203385 | 2147483647   129764    262 |  0.000 % |
429.60/429.80	c |    131038 |   77899  2283232  5203385 | 2147483647   131038    262 |  0.000 % |
433.91/434.16	c |    132438 |   77899  2283232  5203385 | 2147483647   132438    263 |  0.000 % |
434.21/434.45	c |    132538 |   77899  2283232  5203385 | 2147483647   132538    263 |  0.000 % |
434.41/434.62	c |    132648 |   77899  2283232  5203385 | 2147483647   132648    263 |  0.000 % |
434.91/435.11	c |    132770 |   77899  2283232  5203385 | 2147483647   132770    263 |  0.000 % |
435.41/435.63	c |    132904 |   77899  2283232  5203385 | 2147483647   132904    263 |  0.000 % |
436.21/436.42	c |    133051 |   77899  2283232  5203385 | 2147483647   133051    263 |  0.000 % |
436.51/436.73	c |    133211 |   77899  2283232  5203385 | 2147483647   133211    263 |  0.000 % |
436.51/436.79	c |    133387 |   77899  2283232  5203385 | 2147483647   133387    262 |  0.000 % |
437.30/437.52	c |    133581 |   77899  2283232  5203385 | 2147483647   133581    263 |  0.000 % |
438.30/438.55	c |    133793 |   77899  2283232  5203385 | 2147483647   133793    263 |  0.000 % |
439.40/439.63	c |    134026 |   77899  2283232  5203385 | 2147483647   134026    263 |  0.000 % |
440.60/440.86	c |    134282 |   77899  2283232  5203385 | 2147483647   134282    263 |  0.000 % |
442.20/442.40	c |    134564 |   77899  2283232  5203385 | 2147483647   134564    263 |  0.000 % |
442.30/442.56	c |    134873 |   77899  2283232  5203385 | 2147483647   134873    263 |  0.000 % |
442.50/442.71	c |    135212 |   77899  2283232  5203385 | 2147483647   135212    262 |  0.000 % |
443.20/443.45	c |    135588 |   77899  2283232  5203385 | 2147483647   135588    262 |  0.000 % |
444.50/444.73	c |    135998 |   77899  2283232  5203385 | 2147483647   135998    262 |  0.000 % |
446.20/446.49	c |    136450 |   77899  2283232  5203385 | 2147483647   136450    262 |  0.000 % |
447.70/447.91	c |    136944 |   77899  2283232  5203385 | 2147483647   136944    262 |  0.000 % |
451.30/451.51	c |    137487 |   77899  2283232  5203385 | 2147483647   137487    262 |  0.000 % |
454.60/454.81	c |    138083 |   77899  2283232  5203385 | 2147483647   138083    263 |  0.000 % |
457.30/457.59	c |    138738 |   77899  2283232  5203385 | 2147483647   138738    264 |  0.000 % |
461.29/461.58	c |    139459 |   77899  2283232  5203385 | 2147483647   139459    264 |  0.000 % |
464.80/465.06	c |    140251 |   77899  2283232  5203385 | 2147483647   140251    264 |  0.000 % |
469.19/469.47	c |    141124 |   77899  2283232  5203385 | 2147483647   141124    264 |  0.000 % |
472.80/473.02	c |    142082 |   77899  2283232  5203385 | 2147483647   142082    264 |  0.000 % |
477.49/477.70	c |    143135 |   77899  2283232  5203385 | 2147483647   143135    265 |  0.000 % |
482.60/482.87	c |    144294 |   77899  2283232  5203385 | 2147483647   144294    265 |  0.000 % |
488.39/488.61	c |    145568 |   77899  2283232  5203385 | 2147483647   145568    265 |  0.000 % |
492.98/493.21	c |    146969 |   77899  2283232  5203385 | 2147483647   146969    266 |  0.000 % |
501.08/501.35	c |    148509 |   77899  2283232  5203385 | 2147483647   148509    267 |  0.000 % |
501.58/501.83	c |    148609 |   77899  2283232  5203385 | 2147483647   148609    267 |  0.000 % |
502.08/502.32	c |    148719 |   77899  2283232  5203385 | 2147483647   148719    267 |  0.000 % |
502.59/502.87	c |    148841 |   77899  2283232  5203385 | 2147483647   148841    267 |  0.000 % |
503.09/503.39	c |    148974 |   77899  2283232  5203385 | 2147483647   148974    267 |  0.000 % |
503.68/504.00	c |    149121 |   77899  2283232  5203385 | 2147483647   149121    267 |  0.000 % |
504.38/504.66	c |    149282 |   77899  2283232  5203385 | 2147483647   149282    267 |  0.000 % |
505.28/505.53	c |    149458 |   77899  2283232  5203385 | 2147483647   149458    267 |  0.000 % |
506.08/506.39	c |    149651 |   77899  2283232  5203385 | 2147483647   149651    267 |  0.000 % |
507.08/507.36	c |    149863 |   77899  2283232  5203385 | 2147483647   149863    267 |  0.000 % |
508.18/508.42	c |    150096 |   77899  2283232  5203385 | 2147483647   150096    267 |  0.000 % |
508.78/509.07	c |    150352 |   77899  2283232  5203385 | 2147483647   150352    267 |  0.000 % |
510.18/510.41	c |    150633 |   77899  2283232  5203385 | 2147483647   150633    267 |  0.000 % |
511.47/511.71	c |    150945 |   77899  2283232  5203385 | 2147483647   150945    267 |  0.000 % |
512.87/513.12	c |    151285 |   77899  2283232  5203385 | 2147483647   151285    267 |  0.000 % |
514.78/515.07	c |    151658 |   77899  2283232  5203385 | 2147483647   151658    267 |  0.000 % |
516.78/517.09	c |    152067 |   77899  2283232  5203385 | 2147483647   152067    267 |  0.000 % |
518.88/519.19	c |    152516 |   77899  2283232  5203385 | 2147483647   152516    267 |  0.000 % |
519.17/519.44	c |    153009 |   77899  2283232  5203385 | 2147483647   153009    267 |  0.000 % |
522.07/522.36	c |    153551 |   77899  2283232  5203385 | 2147483647   153551    267 |  0.000 % |
524.77/525.00	c |    154148 |   77899  2283232  5203385 | 2147483647   154148    267 |  0.000 % |
527.37/527.65	c |    154804 |   77899  2283232  5203385 | 2147483647   154804    268 |  0.000 % |
530.57/530.87	c |    155524 |   77899  2283232  5203385 | 2147483647   155524    267 |  0.000 % |
534.27/534.54	c |    156316 |   77899  2283232  5203385 | 2147483647   156316    268 |  0.000 % |
538.37/538.64	c |    157188 |   77899  2283232  5203385 | 2147483647   157188    269 |  0.000 % |
542.97/543.29	c |    158146 |   77899  2283232  5203385 | 2147483647   158146    269 |  0.000 % |
547.77/548.01	c |    159199 |   77899  2283232  5203385 | 2147483647   159199    269 |  0.000 % |
553.27/553.60	c |    160359 |   77899  2283232  5203385 | 2147483647   160359    270 |  0.000 % |
559.87/560.16	c |    161632 |   77899  2283232  5203385 | 2147483647   161632    270 |  0.000 % |
566.06/566.38	c |    163032 |   77899  2283232  5203385 | 2147483647   163032    270 |  0.000 % |
574.06/574.33	c |    164572 |   77899  2283232  5203385 | 2147483647   164572    272 |  0.000 % |
580.16/580.40	c |    166266 |   77899  2283232  5203385 | 2147483647   166266    273 |  0.000 % |
580.66/580.97	c |    166367 |   77899  2283232  5203385 | 2147483647   166367    273 |  0.000 % |
581.36/581.60	c |    166477 |   77899  2283232  5203385 | 2147483647   166477    273 |  0.000 % |
581.86/582.18	c |    166599 |   77899  2283232  5203385 | 2147483647   166599    273 |  0.000 % |
582.36/582.63	c |    166732 |   77899  2283232  5203385 | 2147483647   166732    273 |  0.000 % |
583.06/583.35	c |    166878 |   77899  2283232  5203385 | 2147483647   166878    273 |  0.000 % |
583.95/584.28	c |    167038 |   77899  2283232  5203385 | 2147483647   167038    273 |  0.000 % |
584.96/585.22	c |    167214 |   77899  2283232  5203385 | 2147483647   167214    273 |  0.000 % |
586.06/586.36	c |    167410 |   77899  2283232  5203385 | 2147483647   167410    274 |  0.000 % |
587.16/587.40	c |    167622 |   77899  2283232  5203385 | 2147483647   167622    274 |  0.000 % |
588.05/588.36	c |    167857 |   77899  2283232  5203385 | 2147483647   167857    274 |  0.000 % |
589.45/589.77	c |    168113 |   77899  2283232  5203385 | 2147483647   168113    274 |  0.000 % |
590.85/591.10	c |    168394 |   77899  2283232  5203385 | 2147483647   168394    274 |  0.000 % |
592.16/592.50	c |    168704 |   77899  2283232  5203385 | 2147483647   168704    274 |  0.000 % |
594.45/594.72	c |    169043 |   77899  2283232  5203385 | 2147483647   169043    274 |  0.000 % |
596.35/596.62	c |    169417 |   77899  2283232  5203385 | 2147483647   169417    274 |  0.000 % |
598.35/598.68	c |    169826 |   77899  2283232  5203385 | 2147483647   169826    274 |  0.000 % |
600.75/601.03	c |    170276 |   77899  2283232  5203385 | 2147483647   170276    274 |  0.000 % |
603.44/603.78	c |    170769 |   77899  2283232  5203385 | 2147483647   170769    274 |  0.000 % |
605.25/605.50	c |    171312 |   77899  2283232  5203385 | 2147483647   171312    274 |  0.000 % |
607.35/607.67	c |    171908 |   77899  2283232  5203385 | 2147483647   171908    274 |  0.000 % |
609.95/610.26	c |    172566 |   77899  2283232  5203385 | 2147483647   172566    274 |  0.000 % |
610.25/610.58	c |    173290 |   77899  2283232  5203385 | 2147483647   173290    273 |  0.000 % |
614.85/615.19	c |    174082 |   77899  2283232  5203385 | 2147483647   174082    274 |  0.000 % |
617.05/617.39	c |    174953 |   77899  2283232  5203385 | 2147483647   174953    273 |  0.000 % |
620.35/620.69	c |    175911 |   77899  2283232  5203385 | 2147483647   175911    273 |  0.000 % |
621.94/622.26	c |    176965 |   77899  2283232  5203385 | 2147483647   176965    272 |  0.000 % |
625.84/626.16	c |    178123 |   77899  2283232  5203385 | 2147483647   178123    272 |  0.000 % |
631.44/631.78	c |    179396 |   77899  2283232  5203385 | 2147483647   179396    273 |  0.000 % |
637.23/637.54	c |    180796 |   77899  2283232  5203385 | 2147483647   180796    273 |  0.000 % |
644.74/645.02	c |    182336 |   77899  2283232  5203385 | 2147483647   182336    273 |  0.000 % |
652.13/652.47	c |    184031 |   77899  2283232  5203385 | 2147483647   184031    273 |  0.000 % |
659.93/660.24	c |    185894 |   77899  2283232  5203385 | 2147483647   185894    275 |  0.000 % |
660.43/660.70	c |    185995 |   77899  2283232  5203385 | 2147483647   185995    275 |  0.000 % |
660.93/661.22	c |    186105 |   77899  2283232  5203385 | 2147483647   186105    275 |  0.000 % |
661.43/661.75	c |    186226 |   77899  2283232  5203385 | 2147483647   186226    275 |  0.000 % |
662.12/662.43	c |    186360 |   77899  2283232  5203385 | 2147483647   186360    275 |  0.000 % |
662.94/663.28	c |    186506 |   77899  2283232  5203385 | 2147483647   186506    275 |  0.000 % |
663.63/663.99	c |    186667 |   77899  2283232  5203385 | 2147483647   186667    275 |  0.000 % |
664.23/664.55	c |    186843 |   77899  2283232  5203385 | 2147483647   186843    275 |  0.000 % |
665.13/665.41	c |    187036 |   77899  2283232  5203385 | 2147483647   187036    275 |  0.000 % |
666.03/666.37	c |    187249 |   77899  2283232  5203385 | 2147483647   187249    275 |  0.000 % |
667.33/667.66	c |    187482 |   77899  2283232  5203385 | 2147483647   187482    275 |  0.000 % |
668.83/669.13	c |    187739 |   77899  2283232  5203385 | 2147483647   187739    275 |  0.000 % |
670.23/670.55	c |    188020 |   77899  2283232  5203385 | 2147483647   188020    275 |  0.000 % |
670.43/670.75	c |    188329 |   77899  2283232  5203385 | 2147483647   188329    275 |  0.000 % |
671.93/672.27	c |    188668 |   77899  2283232  5203385 | 2147483647   188668    275 |  0.000 % |
673.72/674.01	c |    189040 |   77899  2283232  5203385 | 2147483647   189040    275 |  0.000 % |
675.52/675.84	c |    189451 |   77899  2283232  5203385 | 2147483647   189451    275 |  0.000 % |
677.83/678.16	c |    189900 |   77899  2283232  5203385 | 2147483647   189900    275 |  0.000 % |
680.72/681.07	c |    190393 |   77899  2283232  5203385 | 2147483647   190393    275 |  0.000 % |
682.92/683.23	c |    190936 |   77899  2283232  5203385 | 2147483647   190936    275 |  0.000 % |
684.92/685.27	c |    191532 |   77899  2283232  5203385 | 2147483647   191532    275 |  0.000 % |
688.02/688.35	c |    192188 |   77899  2283232  5203385 | 2147483647   192188    275 |  0.000 % |
690.92/691.20	c |    192910 |   77899  2283232  5203385 | 2147483647   192910    275 |  0.000 % |
695.22/695.57	c |    193702 |   77899  2283232  5203385 | 2147483647   193702    275 |  0.000 % |
699.32/699.64	c |    194573 |   77899  2283232  5203385 | 2147483647   194573    275 |  0.000 % |
703.72/704.02	c |    195531 |   77899  2283232  5203385 | 2147483647   195531    276 |  0.000 % |
709.22/709.58	c |    196584 |   77899  2283232  5203385 | 2147483647   196584    276 |  0.000 % |
714.72/715.07	c |    197742 |   77899  2283232  5203385 | 2147483647   197742    277 |  0.000 % |
720.41/720.76	c |    199016 |   77899  2283232  5203385 | 2147483647   199016    277 |  0.000 % |
724.41/724.73	c |    200420 |   77899  2283232  5203385 | 2147483647   200420    277 |  0.000 % |
731.11/731.44	c |    201961 |   77899  2283232  5203385 | 2147483647   201961    277 |  0.000 % |
738.21/738.55	c |    203656 |   77899  2283232  5203385 | 2147483647   203656    277 |  0.000 % |
746.21/746.55	c |    205519 |   77899  2283232  5203385 | 2147483647   205519    277 |  0.000 % |
749.30/749.63	c |    207569 |   77899  2283232  5203385 | 2147483647   207569    276 |  0.000 % |
750.00/750.36	c |    207670 |   77899  2283232  5203385 | 2147483647   207670    276 |  0.000 % |
750.80/751.12	c |    207781 |   77899  2283232  5203385 | 2147483647   207781    276 |  0.000 % |
751.50/751.85	c |    207904 |   77899  2283232  5203385 | 2147483647   207904    276 |  0.000 % |
752.40/752.74	c |    208039 |   77899  2283232  5203385 | 2147483647   208039    276 |  0.000 % |
752.60/752.97	c |    208185 |   77899  2283232  5203385 | 2147483647   208185    276 |  0.000 % |
753.50/753.84	c |    208345 |   77899  2283232  5203385 | 2147483647   208345    276 |  0.000 % |
754.40/754.76	c |    208521 |   77899  2283232  5203385 | 2147483647   208521    276 |  0.000 % |
755.40/755.74	c |    208714 |   77899  2283232  5203385 | 2147483647   208714    276 |  0.000 % |
756.70/757.05	c |    208928 |   77899  2283232  5203385 | 2147483647   208928    276 |  0.000 % |
757.69/758.00	c |    209162 |   77899  2283232  5203385 | 2147483647   209162    276 |  0.000 % |
758.99/759.34	c |    209418 |   77899  2283232  5203385 | 2147483647   209418    276 |  0.000 % |
760.39/760.76	c |    209699 |   77899  2283232  5203385 | 2147483647   209699    276 |  0.000 % |
762.19/762.55	c |    210008 |   77899  2283232  5203385 | 2147483647   210008    276 |  0.000 % |
763.90/764.29	c |    210349 |   77899  2283232  5203385 | 2147483647   210349    276 |  0.000 % |
766.10/766.46	c |    210722 |   77899  2283232  5203385 | 2147483647   210722    276 |  0.000 % |
768.39/768.79	c |    211131 |   77899  2283232  5203385 | 2147483647   211131    276 |  0.000 % |
770.40/770.71	c |    211580 |   77899  2283232  5203385 | 2147483647   211580    276 |  0.000 % |
772.80/773.15	c |    212074 |   77899  2283232  5203385 | 2147483647   212074    276 |  0.000 % |
775.49/775.80	c |    212619 |   77899  2283232  5203385 | 2147483647   212619    276 |  0.000 % |
778.50/778.89	c |    213218 |   77899  2283232  5203385 | 2147483647   213218    276 |  0.000 % |
782.69/783.06	c |    213873 |   77899  2283232  5203385 | 2147483647   213873    277 |  0.000 % |
786.89/787.22	c |    214593 |   77899  2283232  5203385 | 2147483647   214593    277 |  0.000 % |
790.29/790.67	c |    215388 |   77899  2283232  5203385 | 2147483647   215388    277 |  0.000 % |
793.80/794.18	c |    216259 |   77899  2283232  5203385 | 2147483647   216259    277 |  0.000 % |
799.19/799.54	c |    217217 |   77899  2283232  5203385 | 2147483647   217217    277 |  0.000 % |
805.78/806.13	c |    218272 |   77899  2283232  5203385 | 2147483647   218272    278 |  0.000 % |
812.88/813.20	c |    219431 |   77899  2283232  5203385 | 2147483647   219431    278 |  0.000 % |
820.68/821.07	c |    220708 |   77899  2283232  5203385 | 2147483647   220708    279 |  0.000 % |
830.08/830.46	c |    222108 |   77899  2283232  5203385 | 2147483647   222108    279 |  0.000 % |
838.38/838.74	c |    223649 |   77899  2283232  5203385 | 2147483647   223649    280 |  0.000 % |
847.27/847.68	c |    225344 |   77899  2283232  5203385 | 2147483647   225344    280 |  0.000 % |
857.07/857.45	c |    227207 |   77899  2283232  5203385 | 2147483647   227207    282 |  0.000 % |
868.76/869.19	c |    229258 |   77899  2283232  5203385 | 2147483647   229258    283 |  0.000 % |
880.16/880.57	c |    231511 |   77899  2283232  5203385 | 2147483647   231511    283 |  0.000 % |
880.86/881.26	c |    231614 |   77899  2283232  5203385 | 2147483647   231614    283 |  0.000 % |
881.46/881.81	c |    231724 |   77899  2283232  5203385 | 2147483647   231724    283 |  0.000 % |
882.06/882.48	c |    231846 |   77899  2283232  5203385 | 2147483647   231846    283 |  0.000 % |
882.86/883.22	c |    231979 |   77899  2283232  5203385 | 2147483647   231979    283 |  0.000 % |
883.66/884.05	c |    232125 |   77899  2283232  5203385 | 2147483647   232125    283 |  0.000 % |
884.66/885.08	c |    232285 |   77899  2283232  5203385 | 2147483647   232285    283 |  0.000 % |
885.76/886.11	c |    232461 |   77899  2283232  5203385 | 2147483647   232461    283 |  0.000 % |
886.76/887.18	c |    232656 |   77899  2283232  5203385 | 2147483647   232656    283 |  0.000 % |
887.76/888.18	c |    232868 |   77899  2283232  5203385 | 2147483647   232868    283 |  0.000 % |
888.86/889.20	c |    233101 |   77899  2283232  5203385 | 2147483647   233101    283 |  0.000 % |
890.35/890.71	c |    233357 |   77899  2283232  5203385 | 2147483647   233357    283 |  0.000 % |
891.35/891.70	c |    233639 |   77899  2283232  5203385 | 2147483647   233639    283 |  0.000 % |
893.25/893.66	c |    233949 |   77899  2283232  5203385 | 2147483647   233949    283 |  0.000 % |
895.05/895.46	c |    234288 |   77899  2283232  5203385 | 2147483647   234288    283 |  0.000 % |
897.16/897.55	c |    234660 |   77899  2283232  5203385 | 2147483647   234660    283 |  0.000 % |
899.55/899.91	c |    235069 |   77899  2283232  5203385 | 2147483647   235069    284 |  0.000 % |
899.75/900.16	c |    235519 |   77899  2283232  5203385 | 2147483647   235519    283 |  0.000 % |
902.15/902.55	c |    236012 |   77899  2283232  5203385 | 2147483647   236012    283 |  0.000 % |
904.75/905.15	c |    236554 |   77899  2283232  5203385 | 2147483647   236554    283 |  0.000 % |
905.25/905.64	c |    237151 |   77899  2283232  5203385 | 2147483647   237151    283 |  0.000 % |
905.75/906.11	c |    237807 |   77899  2283232  5203385 | 2147483647   237807    282 |  0.000 % |
909.85/910.22	c |    238528 |   77899  2283232  5203385 | 2147483647   238528    283 |  0.000 % |
914.55/914.96	c |    239320 |   77899  2283232  5203385 | 2147483647   239320    283 |  0.000 % |
920.35/920.77	c |    240196 |   77899  2283232  5203385 | 2147483647   240196    284 |  0.000 % |
926.44/926.87	c |    241155 |   77899  2283232  5203385 | 2147483647   241155    284 |  0.000 % |
930.65/931.01	c |    242209 |   77899  2283232  5203385 | 2147483647   242209    284 |  0.000 % |
936.84/937.27	c |    243369 |   77899  2283232  5203385 | 2147483647   243369    284 |  0.000 % |
943.84/944.20	c |    244642 |   77899  2283232  5203385 | 2147483647   244642    285 |  0.000 % |
947.53/947.95	c |    246043 |   77899  2283232  5203385 | 2147483647   246043    284 |  0.000 % |
954.23/954.62	c |    247583 |   77899  2283232  5203385 | 2147483647   247583    285 |  0.000 % |
963.14/963.52	c |    249277 |   77899  2283232  5203385 | 2147483647   249277    286 |  0.000 % |
974.53/974.91	c |    251141 |   77899  2283232  5203385 | 2147483647   251141    287 |  0.000 % |
986.23/986.68	c |    253191 |   77899  2283232  5203385 | 2147483647   253191    288 |  0.000 % |
998.82/999.23	c |    255444 |   77899  2283232  5203385 | 2147483647   255444    289 |  0.000 % |
1011.52/1011.92	c |    257924 |   77899  2283232  5203385 | 2147483647   257924    290 |  0.000 % |
1012.02/1012.44	c |    258024 |   77899  2283232  5203385 | 2147483647   258024    290 |  0.000 % |
1012.22/1012.61	c |    258140 |   77899  2283232  5203385 | 2147483647   258140    290 |  0.000 % |
1012.82/1013.27	c |    258261 |   77899  2283232  5203385 | 2147483647   258261    290 |  0.000 % |
1013.42/1013.87	c |    258396 |   77899  2283232  5203385 | 2147483647   258396    290 |  0.000 % |
1014.42/1014.84	c |    258542 |   77899  2283232  5203385 | 2147483647   258542    290 |  0.000 % |
1015.52/1015.90	c |    258703 |   77899  2283232  5203385 | 2147483647   258703    290 |  0.000 % |
1016.52/1016.97	c |    258879 |   77899  2283232  5203385 | 2147483647   258879    290 |  0.000 % |
1017.71/1018.16	c |    259072 |   77899  2283232  5203385 | 2147483647   259072    290 |  0.000 % |
1019.11/1019.52	c |    259285 |   77899  2283232  5203385 | 2147483647   259285    290 |  0.000 % |
1020.32/1020.80	c |    259518 |   77899  2283232  5203385 | 2147483647   259518    290 |  0.000 % |
1021.32/1021.72	c |    259775 |   77899  2283232  5203385 | 2147483647   259775    290 |  0.000 % |
1022.62/1023.09	c |    260056 |   77899  2283232  5203385 | 2147483647   260056    290 |  0.000 % |
1022.91/1023.34	c |    260366 |   77899  2283232  5203385 | 2147483647   260366    290 |  0.000 % |
1023.51/1023.94	c |    260705 |   77899  2283232  5203385 | 2147483647   260705    289 |  0.000 % |
1024.01/1024.48	c |    261077 |   77899  2283232  5203385 | 2147483647   261077    289 |  0.000 % |
1025.41/1025.83	c |    261486 |   77899  2283232  5203385 | 2147483647   261486    289 |  0.000 % |
1028.51/1028.90	c |    261937 |   77899  2283232  5203385 | 2147483647   261937    289 |  0.000 % |
1030.70/1031.15	c |    262433 |   77899  2283232  5203385 | 2147483647   262433    289 |  0.000 % |
1033.71/1034.17	c |    262977 |   77899  2283232  5203385 | 2147483647   262977    289 |  0.000 % |
1037.70/1038.11	c |    263574 |   77899  2283232  5203385 | 2147483647   263574    289 |  0.000 % |
1038.30/1038.71	c |    264231 |   77899  2283232  5203385 | 2147483647   264231    289 |  0.000 % |
1041.90/1042.32	c |    264952 |   77899  2283232  5203385 | 2147483647   264952    289 |  0.000 % |
1045.30/1045.77	c |    265744 |   77899  2283232  5203385 | 2147483647   265744    289 |  0.000 % |
1049.60/1050.09	c |    266615 |   77899  2283232  5203385 | 2147483647   266615    289 |  0.000 % |
1054.51/1054.99	c |    267573 |   77899  2283232  5203385 | 2147483647   267573    289 |  0.000 % |
1058.20/1058.63	c |    268627 |   77899  2283232  5203385 | 2147483647   268627    289 |  0.000 % |
1066.30/1066.71	c |    269785 |   77899  2283232  5203385 | 2147483647   269785    290 |  0.000 % |
1072.69/1073.18	c |    271058 |   77899  2283232  5203385 | 2147483647   271058    290 |  0.000 % |
1074.80/1075.24	c |    272458 |   77899  2283232  5203385 | 2147483647   272458    289 |  0.000 % |
1081.59/1082.03	c |    273999 |   77899  2283232  5203385 | 2147483647   273999    289 |  0.000 % |
1090.89/1091.39	c |    275694 |   77899  2283232  5203385 | 2147483647   275694    289 |  0.000 % |
1100.98/1101.46	c |    277558 |   77899  2283232  5203385 | 2147483647   277558    289 |  0.000 % |
1114.18/1114.61	c |    279607 |   77899  2283232  5203385 | 2147483647   279607    291 |  0.000 % |
1127.68/1128.13	c |    281863 |   77899  2283232  5203385 | 2147483647   281863    291 |  0.000 % |
1140.18/1140.63	c |    284342 |   77899  2283232  5203385 | 2147483647   284342    291 |  0.000 % |
1157.17/1157.69	c |    287067 |   77899  2283232  5203385 | 2147483647   287067    292 |  0.000 % |
1157.37/1157.84	c |    287167 |   77899  2283232  5203385 | 2147483647   287167    292 |  0.000 % |
1157.87/1158.39	c |    287277 |   77899  2283232  5203385 | 2147483647   287277    292 |  0.000 % |
1158.67/1159.14	c |    287402 |   77899  2283232  5203385 | 2147483647   287402    292 |  0.000 % |
1159.37/1159.89	c |    287536 |   77899  2283232  5203385 | 2147483647   287536    292 |  0.000 % |
1160.37/1160.84	c |    287683 |   77899  2283232  5203385 | 2147483647   287683    292 |  0.000 % |
1161.37/1161.85	c |    287845 |   77899  2283232  5203385 | 2147483647   287845    292 |  0.000 % |
1161.67/1162.16	c |    288021 |   77899  2283232  5203385 | 2147483647   288021    292 |  0.000 % |
1161.97/1162.42	c |    288214 |   77899  2283232  5203385 | 2147483647   288214    292 |  0.000 % |
1163.07/1163.51	c |    288427 |   77899  2283232  5203385 | 2147483647   288427    292 |  0.000 % |
1164.67/1165.19	c |    288662 |   77899  2283232  5203385 | 2147483647   288662    292 |  0.000 % |
1166.27/1166.78	c |    288918 |   77899  2283232  5203385 | 2147483647   288918    292 |  0.000 % |
1167.46/1167.95	c |    289199 |   77899  2283232  5203385 | 2147483647   289199    292 |  0.000 % |
1168.96/1169.49	c |    289508 |   77899  2283232  5203385 | 2147483647   289508    292 |  0.000 % |
1170.46/1170.94	c |    289848 |   77899  2283232  5203385 | 2147483647   289848    292 |  0.000 % |
1172.46/1172.97	c |    290222 |   77899  2283232  5203385 | 2147483647   290222    292 |  0.000 % |
1174.67/1175.11	c |    290633 |   77899  2283232  5203385 | 2147483647   290633    291 |  0.000 % |
1177.17/1177.63	c |    291082 |   77899  2283232  5203385 | 2147483647   291082    291 |  0.000 % |
1177.47/1177.94	c |    291575 |   77899  2283232  5203385 | 2147483647   291575    291 |  0.000 % |
1180.97/1181.42	c |    292117 |   77899  2283232  5203385 | 2147483647   292117    291 |  0.000 % |
1183.66/1184.18	c |    292713 |   77899  2283232  5203385 | 2147483647   292713    291 |  0.000 % |
1186.65/1187.13	c |    293370 |   77899  2283232  5203385 | 2147483647   293370    291 |  0.000 % |
1191.46/1191.96	c |    294090 |   77899  2283232  5203385 | 2147483647   294090    291 |  0.000 % |
1195.56/1196.06	c |    294883 |   77899  2283232  5203385 | 2147483647   294883    292 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 20502
/proc/meminfo: memFree=1712304/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=0
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305168586 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 217051791442 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/20502/statm: 1339 235 195 169 0 50 0
[pid=20503] ppid=20502 vsize=5356 CPUtime=0
/proc/20503/stat : 20503 (SatELiteGTI) S 20502 20502 20308 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305168586 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/20503/statm: 1339 238 198 169 0 50 0
[pid=20505] ppid=20503 vsize=5356 CPUtime=0
/proc/20505/stat : 20505 (SatELiteGTI) R 20503 20502 20308 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 305168587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051622695 0 0 4096 0 0 0 0 17 1 0 0
/proc/20505/statm: 1339 239 199 169 0 50 0

[startup+0.0635521 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 20502
/proc/meminfo: memFree=1712304/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=0
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305168586 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20502/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101554 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 20502
/proc/meminfo: memFree=1712304/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=0
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305168586 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20502/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301576 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 20502
/proc/meminfo: memFree=1712304/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=0
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305168586 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20502/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70162 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 20502
/proc/meminfo: memFree=1712304/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=0
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305168586 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20502/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50171 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20507
/proc/meminfo: memFree=1654944/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=0
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305168586 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20502/statm: 1339 237 197 169 0 50 0
[pid=20507] ppid=20502 vsize=84480 CPUtime=1.48
/proc/20507/stat : 20507 (SatELite_releas) R 20502 20502 20308 0 -1 4194304 18441 0 0 0 137 11 0 0 25 0 1 0 305168587 86507520 18280 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/20507/statm: 21120 18280 50 173 0 20945 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 89836

[startup+3.10289 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20507
/proc/meminfo: memFree=1614560/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=0
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305168586 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20502/statm: 1339 237 197 169 0 50 0
[pid=20507] ppid=20502 vsize=135572 CPUtime=3.09
/proc/20507/stat : 20507 (SatELite_releas) R 20502 20502 20308 0 -1 4194304 30289 0 0 0 286 23 0 0 25 0 1 0 305168587 138825728 30128 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/20507/statm: 33893 30129 50 173 0 33718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140928

[startup+6.30124 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20507
/proc/meminfo: memFree=1528544/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=0
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305168586 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20502/statm: 1339 237 197 169 0 50 0
[pid=20507] ppid=20502 vsize=219196 CPUtime=6.28
/proc/20507/stat : 20507 (SatELite_releas) R 20502 20502 20308 0 -1 4194304 49258 0 0 0 594 34 0 0 25 0 1 0 305168587 224456704 49065 1992294400 134512640 135223648 4294956128 18446744073709551615 134722303 0 0 4096 3 0 0 0 17 1 0 0
/proc/20507/statm: 54799 49065 71 173 0 54624 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 224552

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20507
/proc/meminfo: memFree=1461024/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=0
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305168586 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20502/statm: 1339 237 197 169 0 50 0
[pid=20507] ppid=20502 vsize=289968 CPUtime=12.68
/proc/20507/stat : 20507 (SatELite_releas) R 20502 20502 20308 0 -1 4194304 68052 0 0 0 1222 46 0 0 25 0 1 0 305168587 296927232 61502 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/20507/statm: 72492 61502 76 173 0 72317 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 295324

[startup+25.5014 s]
/proc/loadavg: 1.07 1.02 0.94 2/66 20508
/proc/meminfo: memFree=1572640/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=98156 CPUtime=9.53
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 24105 0 0 0 936 17 0 0 25 0 1 0 305170181 100511744 24086 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 24539 24086 77 171 0 24366 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 103512

[startup+51.1012 s]
/proc/loadavg: 1.05 1.01 0.94 2/66 20508
/proc/meminfo: memFree=1563808/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=107304 CPUtime=35.13
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 26406 0 0 0 3493 20 0 0 25 0 1 0 305170181 109879296 26387 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 26826 26387 77 171 0 26653 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 112660

[startup+102.306 s]
/proc/loadavg: 1.02 1.01 0.94 2/66 20508
/proc/meminfo: memFree=1544736/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=126156 CPUtime=86.31
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 31090 0 0 0 8605 26 0 0 25 0 1 0 305170181 129183744 31071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 31539 31071 77 171 0 31366 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 131512

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1523168/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=147756 CPUtime=146.28
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 36495 0 0 0 14594 34 0 0 25 0 1 0 305170181 151302144 36476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 36939 36476 77 171 0 36766 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 153112

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1501728/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=169000 CPUtime=206.26
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 41814 0 0 0 20585 41 0 0 25 0 1 0 305170181 173056000 41795 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 42250 41795 77 171 0 42077 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 174356

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1480352/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=190572 CPUtime=266.24
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 47172 0 0 0 26578 46 0 0 25 0 1 0 305170181 195145728 47153 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 47643 47153 77 171 0 47470 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 195928

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1459872/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=210644 CPUtime=326.21
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 52221 0 0 0 32570 51 0 0 25 0 1 0 305170181 215699456 52202 1992294400 134512640 135215339 4294956240 18446744073709551615 134538059 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 52661 52202 77 171 0 52488 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 216000

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1441248/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=229260 CPUtime=386.19

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

/proc/20508/statm: 71048 70569 77 171 0 70875 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 289548

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1369120/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=300828 CPUtime=626.11
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 74746 0 0 0 62537 74 0 0 25 0 1 0 305170181 308047872 74727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 75207 74727 77 171 0 75034 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 306184

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1352224/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=317608 CPUtime=686.1
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 78965 0 0 0 68531 79 0 0 25 0 1 0 305170181 325230592 78946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 79402 78946 77 171 0 79229 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 322964

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1334752/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=335048 CPUtime=746.08
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 83251 0 0 0 74525 83 0 0 25 0 1 0 305170181 343089152 83232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 83762 83232 77 171 0 83589 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 340404

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1319712/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=350232 CPUtime=806.06
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 87034 0 0 0 80517 89 0 0 25 0 1 0 305170181 358637568 87015 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 87558 87015 77 171 0 87385 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 355588

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1303136/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=366600 CPUtime=866.04
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 91138 0 0 0 86510 94 0 0 25 0 1 0 305170181 375398400 91119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 91650 91119 77 171 0 91477 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 371956

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1287200/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=382588 CPUtime=926.02
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 95156 0 0 0 92503 99 0 0 25 0 1 0 305170181 391770112 95137 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 95647 95137 77 171 0 95474 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 387944

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1268832/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=400556 CPUtime=986
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 99667 0 0 0 98496 104 0 0 25 0 1 0 305170181 410169344 99648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 100139 99648 77 171 0 99966 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 405912

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1252960/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=416404 CPUtime=1045.98
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 103630 0 0 0 104488 110 0 0 25 0 1 0 305170181 426397696 103611 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 104101 103611 77 171 0 103928 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 421760

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1237216/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=431852 CPUtime=1105.96
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 107505 0 0 0 110483 113 0 0 25 0 1 0 305170181 442216448 107486 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 107963 107486 77 171 0 107790 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 437208

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1222944/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=446120 CPUtime=1165.94
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 111094 0 0 0 116478 116 0 0 25 0 1 0 305170181 456826880 111075 1992294400 134512640 135215339 4294956240 18446744073709551615 134538923 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 111530 111075 77 171 0 111357 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 451476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1218272/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=450616 CPUtime=1184.14
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 112202 0 0 0 118297 117 0 0 25 0 1 0 305170181 461430784 112183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 112654 112183 77 171 0 112481 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 455972

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 20508
/proc/meminfo: memFree=1218272/2055920 swapFree=4179328/4192956
[pid=20502] ppid=20500 vsize=5356 CPUtime=15.92
/proc/20502/stat : 20502 (SatELiteGTI) S 20500 20502 20308 0 -1 4194304 336 68489 0 0 0 0 1527 65 16 0 1 0 305168586 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20502/statm: 1339 239 197 169 0 50 0
[pid=20508] ppid=20502 vsize=450616 CPUtime=1184.14
/proc/20508/stat : 20508 (minisat_static) R 20502 20502 20308 0 -1 4194304 112202 0 0 0 118297 117 0 0 25 0 1 0 305170181 461430784 112183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20508/statm: 112654 112183 77 171 0 112481 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 455972

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20502 and gives
#  childrusage.ru_utime.tv_sec=15
#  childrusage.ru_utime.tv_usec=278677
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=662899
# CPU time returned by wait4() is 15.9416
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.51
CPU time (s): 1200.06
CPU user time (s): 1198.24
CPU system time (s): 1.82
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 455972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2787
system time used= 0.662899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68825
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= 14
involuntary context switches= 37

runsolver used 1.35779 second user time and 3.08253 second system time

The end

Launcher Data 

Begin job on node59 at 2009-05-20 00:16:54
IDJOB=1832261
IDBENCH=24669
IDSOLVER=671
FILE ID=node59/1832261-1242771405
PBS_JOBID= 9322242
Free space on /tmp= 66108 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest05/others/sgp_9-8-8.sat05-2674.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832261-1242771405/watcher-1832261-1242771405 -o /tmp/evaluation-result-1832261-1242771405/solver-1832261-1242771405 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832261-1242771405.cnf

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

MD5SUM BENCH= f935103d71f7bb9e8d8051793d20ec02
RANDOM SEED=1966134542

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1712720 kB
Buffers:         14148 kB
Cached:         286428 kB
SwapCached:       7736 kB
Active:         146812 kB
Inactive:       163536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1712720 kB
SwapTotal:     4192956 kB
SwapFree:      4179328 kB
Dirty:           53980 kB
Writeback:           0 kB
Mapped:          14992 kB
Slab:            18772 kB
Committed_AS:  1048616 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66064 MiB
End job on node59 at 2009-05-20 00:36:57