Trace number 1837298

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18UNSAT 3554.03 3555.93

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
MD5SUM0260f441a1d07270edb6a85b2fc90d1d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1761.72
Satisfiable
(Un)Satisfiability was proved
Number of variables69503
Number of clauses226618
Sum of the clauses size587302
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292294
Number of clauses of size 3134195
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.20	c ==============================================================================
0.00/0.20	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.20	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.20	c ==============================================================================
0.00/0.20	c |         0 |  225975   585632 |   67792       0        0     nan |  0.000 % |
1.19/1.25	c |         0 |  163265   552330 |      --       0       --      -- |     --   | -62710/-33302
1.19/1.25	c ==============================================================================
1.19/1.25	c Result  :   #vars: 28506   #clauses: 163265   #literals: 552330
1.19/1.25	c CPU time:   1.16982 s
1.19/1.25	c ==============================================================================
1.38/1.43	c This is MiniSat 2.0 beta
1.38/1.43	c WARNING: for repeatability, setting FPU to use double precision
1.38/1.43	c ============================[ Problem Statistics ]=============================
1.38/1.43	c |                                                                             |
1.38/1.43	c |  Number of variables:  28506                                                |
1.38/1.43	c |  Number of clauses:    163265                                               |
1.41/1.55	c |  Parsing time:         0.10         s                                       |
1.41/1.55	c ============================[ Search Statistics ]==============================
1.41/1.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.41/1.55	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.41/1.55	c ===============================================================================
1.41/1.55	c |         0 |   28506   163265   552330 |    54421        0    nan |  0.000 % |
1.41/1.68	c |       101 |   28492   163265   552330 |    54421       92     16 |  0.056 % |
1.41/1.69	c |       201 |   28492   163265   552330 |    54421      192     18 |  0.056 % |
1.41/1.70	c |       301 |   28492   163265   552330 |    54421      292     16 |  0.056 % |
1.41/1.71	c |       413 |   28492   163265   552330 |    54421      404     14 |  0.056 % |
1.41/1.72	c |       513 |   28492   163265   552330 |    54421      504     12 |  0.056 % |
1.41/1.73	c |       623 |   28492   163265   552330 |    54421      614     13 |  0.056 % |
1.41/1.74	c |       744 |   28492   163265   552330 |    54421      735     12 |  0.056 % |
1.41/1.75	c |       844 |   28492   163265   552330 |    54421      835     11 |  0.056 % |
1.41/1.75	c |       955 |   28492   163265   552330 |    54421      946     11 |  0.056 % |
1.41/1.76	c |      1076 |   28492   163265   552330 |    54421     1067     10 |  0.056 % |
1.41/1.77	c |      1209 |   28492   163265   552330 |    54421     1200     10 |  0.056 % |
1.41/1.78	c |      1309 |   28491   163265   552330 |    54421     1299     10 |  0.070 % |
2.26/2.31	c |      1420 |   28486   163265   552330 |    54421     1409     18 |  0.081 % |
2.86/2.99	c |      1541 |   28483   163107   551879 |    54421     1516     26 |  0.081 % |
3.86/3.91	c |      1674 |   28483   163107   551879 |    54421     1649     30 |  0.081 % |
5.05/5.20	c |      1824 |   28483   163107   551879 |    54421     1799     41 |  0.081 % |
5.75/5.82	c |      1924 |   28479   163102   551867 |    54421     1897     45 |  0.095 % |
6.15/6.26	c |      2037 |   28479   163102   551867 |    54421     2010     47 |  0.095 % |
6.95/7.03	c |      2158 |   28479   163087   551829 |    54421     2131     52 |  0.095 % |
7.75/7.84	c |      2291 |   28479   163087   551829 |    54421     2264     50 |  0.095 % |
8.65/8.71	c |      2437 |   28477   163062   551752 |    54421     2408     54 |  0.102 % |
9.55/9.65	c |      2599 |   28477   163062   551752 |    54421     2569     55 |  0.105 % |
10.15/10.28	c |      2700 |   28476   163057   551740 |    54421     2670     59 |  0.105 % |
10.86/10.96	c |      2810 |   28476   163057   551740 |    54421     2780     61 |  0.105 % |
11.85/11.92	c |      2934 |   28476   163057   551740 |    54421     2904     65 |  0.105 % |
12.95/13.08	c |      3067 |   28470   163020   551631 |    54421     3035     69 |  0.133 % |
14.35/14.48	c |      3214 |   28468   163005   551593 |    54421     3181     74 |  0.133 % |
15.55/15.61	c |      3375 |   28468   163005   551593 |    54421     3342     73 |  0.133 % |
16.85/16.91	c |      3552 |   28468   163005   551593 |    54421     3519     76 |  0.133 % |
17.55/17.69	c |      3652 |   28468   163005   551593 |    54421     3619     78 |  0.133 % |
17.65/17.70	c |      3762 |   28468   163005   551593 |    54421     3729     76 |  0.133 % |
17.65/17.71	c |      3884 |   28468   163005   551593 |    54421     3851     74 |  0.133 % |
17.65/17.72	c |      4017 |   28468   163005   551593 |    54421     3984     72 |  0.133 % |
17.65/17.73	c |      4163 |   28468   163005   551593 |    54421     4130     70 |  0.133 % |
17.75/17.82	c |      4323 |   28468   163005   551593 |    54421     4290     68 |  0.133 % |
19.05/19.12	c |      4499 |   28468   163005   551593 |    54421     4466     71 |  0.133 % |
19.75/19.86	c |      4692 |   28468   163005   551593 |    54421     4659     72 |  0.133 % |
20.15/20.25	c |      4792 |   28468   163005   551593 |    54421     4759     71 |  0.133 % |
20.94/21.06	c |      4903 |   28466   162995   551568 |    54421     4868     72 |  0.140 % |
21.74/21.84	c |      5024 |   28466   162995   551568 |    54421     4989     74 |  0.140 % |
22.54/22.61	c |      5157 |   28466   162995   551568 |    54421     5122     76 |  0.140 % |
23.05/23.14	c |      5304 |   28466   162995   551568 |    54421     5269     74 |  0.140 % |
24.64/24.70	c |      5464 |   28466   162995   551568 |    54421     5429     78 |  0.140 % |
25.94/26.00	c |      5640 |   28466   162995   551568 |    54421     5605     80 |  0.140 % |
27.84/27.91	c |      5834 |   28466   162995   551568 |    54421     5799     83 |  0.140 % |
29.04/29.17	c |      6048 |   28466   162995   551568 |    54421     6013     85 |  0.140 % |
29.34/29.43	c |      6148 |   28466   162995   551568 |    54421     6113     84 |  0.140 % |
29.44/29.57	c |      6258 |   28466   162995   551568 |    54421     6223     83 |  0.140 % |
30.24/30.34	c |      6380 |   28466   162995   551568 |    54421     6345     82 |  0.140 % |
31.14/31.22	c |      6513 |   28466   162995   551568 |    54421     6478     82 |  0.140 % |
31.24/31.38	c |      6660 |   28466   162995   551568 |    54421     6625     81 |  0.140 % |
32.34/32.45	c |      6821 |   28466   162995   551568 |    54421     6786     82 |  0.140 % |
33.64/33.80	c |      6998 |   28466   162995   551568 |    54421     6963     84 |  0.140 % |
34.94/35.10	c |      7191 |   28466   162995   551568 |    54421     7156     85 |  0.140 % |
37.04/37.17	c |      7404 |   28466   162995   551568 |    54421     7369     87 |  0.140 % |
39.14/39.20	c |      7639 |   28466   162995   551568 |    54421     7604     89 |  0.140 % |
39.34/39.48	c |      7740 |   28466   162995   551568 |    54421     7705     90 |  0.140 % |
39.84/39.93	c |      7850 |   28466   162995   551568 |    54421     7815     90 |  0.140 % |
40.54/40.65	c |      7974 |   28466   162995   551568 |    54421     7939     90 |  0.140 % |
41.64/41.77	c |      8107 |   28466   162995   551568 |    54421     8072     91 |  0.140 % |
42.53/42.69	c |      8254 |   28466   162995   551568 |    54421     8219     92 |  0.140 % |
43.53/43.65	c |      8415 |   28466   162995   551568 |    54421     8380     92 |  0.140 % |
44.73/44.83	c |      8592 |   28466   162995   551568 |    54421     8557     92 |  0.140 % |
45.83/45.96	c |      8786 |   28466   162995   551568 |    54421     8751     93 |  0.140 % |
47.52/47.66	c |      8999 |   28466   162995   551568 |    54421     8964     93 |  0.140 % |
49.52/49.69	c |      9232 |   28466   162995   551568 |    54421     9197     95 |  0.140 % |
51.42/51.59	c |      9488 |   28466   162995   551568 |    54421     9453     95 |  0.140 % |
52.22/52.39	c |      9589 |   28466   162995   551568 |    54421     9554     95 |  0.140 % |
52.72/52.88	c |      9700 |   28466   162995   551568 |    54421     9665     95 |  0.140 % |
53.52/53.66	c |      9822 |   28466   162995   551568 |    54421     9787     95 |  0.140 % |
54.32/54.49	c |      9956 |   28465   162990   551553 |    54421     9919     95 |  0.144 % |
55.52/55.65	c |     10102 |   28465   162990   551553 | 2147483647    10065     94 |  0.144 % |
56.52/56.68	c |     10262 |   28465   162990   551553 | 2147483647    10225     95 |  0.144 % |
58.02/58.11	c |     10439 |   28465   162990   551553 | 2147483647    10402     96 |  0.144 % |
59.52/59.66	c |     10632 |   28465   162990   551553 | 2147483647    10595     97 |  0.144 % |
60.82/60.98	c |     10845 |   28465   162990   551553 | 2147483647    10808     97 |  0.144 % |
62.32/62.49	c |     11079 |   28465   162990   551553 | 2147483647    11042     98 |  0.144 % |
64.42/64.52	c |     11336 |   28465   162990   551553 | 2147483647    11299     96 |  0.144 % |
65.82/65.91	c |     11618 |   28465   162990   551553 | 2147483647    11581     96 |  0.144 % |
66.62/66.79	c |     11719 |   28465   162990   551553 | 2147483647    11682     97 |  0.144 % |
67.22/67.33	c |     11829 |   28465   162990   551553 | 2147483647    11792     97 |  0.144 % |
67.82/67.92	c |     11951 |   28465   162990   551553 | 2147483647    11914     97 |  0.144 % |
68.72/68.81	c |     12085 |   28465   162990   551553 | 2147483647    12048     97 |  0.144 % |
69.52/69.68	c |     12232 |   28465   162990   551553 | 2147483647    12195     96 |  0.144 % |
70.92/71.07	c |     12394 |   28465   162990   551553 | 2147483647    12357     97 |  0.144 % |
72.42/72.58	c |     12570 |   28465   162990   551553 | 2147483647    12533     98 |  0.144 % |
74.42/74.56	c |     12764 |   28465   162990   551553 | 2147483647    12727     99 |  0.144 % |
76.21/76.37	c |     12977 |   28465   162990   551553 | 2147483647    12940    100 |  0.144 % |
78.31/78.46	c |     13210 |   28465   162990   551553 | 2147483647    13173    101 |  0.144 % |
80.31/80.49	c |     13466 |   28465   162990   551553 | 2147483647    13429    102 |  0.144 % |
81.91/82.04	c |     13747 |   28465   162990   551553 | 2147483647    13710    103 |  0.144 % |
84.01/84.19	c |     14056 |   28465   162990   551553 | 2147483647    14019    101 |  0.144 % |
84.31/84.41	c |     14156 |   28465   162990   551553 | 2147483647    14119    100 |  0.144 % |
84.71/84.88	c |     14267 |   28465   162990   551553 | 2147483647    14230    100 |  0.144 % |
85.50/85.61	c |     14388 |   28465   162990   551553 | 2147483647    14351    100 |  0.144 % |
86.30/86.42	c |     14521 |   28465   162990   551553 | 2147483647    14484    100 |  0.144 % |
87.00/87.16	c |     14668 |   28465   162990   551553 | 2147483647    14631     99 |  0.144 % |
88.20/88.33	c |     14829 |   28465   162990   551553 | 2147483647    14792     99 |  0.144 % |
89.01/89.13	c |     15005 |   28465   162990   551553 | 2147483647    14968     99 |  0.144 % |
90.20/90.36	c |     15198 |   28465   162990   551553 | 2147483647    15161     98 |  0.144 % |
91.70/91.85	c |     15411 |   28465   162990   551553 | 2147483647    15374     99 |  0.144 % |
93.60/93.74	c |     15646 |   28465   162990   551553 | 2147483647    15609     97 |  0.144 % |
94.71/94.81	c |     15903 |   28465   162990   551553 | 2147483647    15866     98 |  0.144 % |
96.71/96.86	c |     16184 |   28465   162990   551553 | 2147483647    16147     96 |  0.144 % |
99.10/99.20	c |     16493 |   28465   162990   551553 | 2147483647    16456     97 |  0.144 % |
101.10/101.20	c |     16834 |   28465   162990   551553 | 2147483647    16797     95 |  0.144 % |
101.70/101.88	c |     16935 |   28465   162990   551553 | 2147483647    16898     96 |  0.144 % |
102.30/102.46	c |     17046 |   28465   162990   551553 | 2147483647    17009     96 |  0.144 % |
103.40/103.51	c |     17168 |   28465   162990   551553 | 2147483647    17131     96 |  0.144 % |
104.70/104.88	c |     17302 |   28465   162990   551553 | 2147483647    17265     97 |  0.144 % |
105.70/105.83	c |     17448 |   28465   162990   551553 | 2147483647    17411     97 |  0.144 % |
106.50/106.67	c |     17610 |   28465   162990   551553 | 2147483647    17573     96 |  0.144 % |
107.60/107.77	c |     17787 |   28465   162990   551553 | 2147483647    17750     96 |  0.144 % |
108.29/108.47	c |     17982 |   28465   162990   551553 | 2147483647    17945     96 |  0.144 % |
110.09/110.23	c |     18194 |   28465   162990   551553 | 2147483647    18157     95 |  0.144 % |
111.69/111.89	c |     18427 |   28465   162990   551553 | 2147483647    18390     96 |  0.144 % |
113.39/113.55	c |     18684 |   28465   162990   551553 | 2147483647    18647     96 |  0.144 % |
115.49/115.67	c |     18966 |   28465   162990   551553 | 2147483647    18929     95 |  0.144 % |
117.59/117.74	c |     19276 |   28465   162990   551553 | 2147483647    19239     96 |  0.144 % |
119.89/120.05	c |     19616 |   28465   162990   551553 | 2147483647    19579     96 |  0.144 % |
122.28/122.49	c |     19991 |   28465   162990   551553 | 2147483647    19954     96 |  0.144 % |
122.99/123.15	c |     20091 |   28465   162990   551553 | 2147483647    20054     95 |  0.144 % |
123.78/123.91	c |     20203 |   28465   162990   551553 | 2147483647    20166     96 |  0.144 % |
124.78/124.92	c |     20325 |   28465   162990   551553 | 2147483647    20288     95 |  0.144 % |
125.98/126.16	c |     20458 |   28465   162990   551553 | 2147483647    20421     96 |  0.144 % |
127.18/127.33	c |     20605 |   28465   162990   551553 | 2147483647    20568     96 |  0.144 % |
128.09/128.28	c |     20766 |   28465   162990   551553 | 2147483647    20729     96 |  0.144 % |
129.09/129.26	c |     20943 |   28465   162990   551553 | 2147483647    20906     96 |  0.144 % |
130.29/130.48	c |     21137 |   28465   162990   551553 | 2147483647    21100     96 |  0.144 % |
132.09/132.20	c |     21350 |   28465   162990   551553 | 2147483647    21313     97 |  0.144 % |
133.88/134.08	c |     21584 |   28465   162990   551553 | 2147483647    21547     97 |  0.144 % |
136.18/136.32	c |     21840 |   28465   162990   551553 | 2147483647    21803     98 |  0.144 % |
138.28/138.40	c |     22121 |   28465   162990   551553 | 2147483647    22084     98 |  0.144 % |
140.18/140.35	c |     22430 |   28465   162990   551553 | 2147483647    22393     99 |  0.144 % |
142.27/142.47	c |     22770 |   28465   162990   551553 | 2147483647    22733     97 |  0.144 % |
144.77/144.90	c |     23143 |   28464   162985   551540 | 2147483647    23105     98 |  0.147 % |
147.87/148.04	c |     23552 |   28464   162985   551540 | 2147483647    23514     98 |  0.147 % |
148.37/148.58	c |     23653 |   28464   162985   551540 | 2147483647    23615     98 |  0.147 % |
149.17/149.37	c |     23764 |   28464   162985   551540 | 2147483647    23726     98 |  0.147 % |
150.27/150.40	c |     23886 |   28464   162985   551540 | 2147483647    23848     98 |  0.147 % |
150.77/151.00	c |     24019 |   28464   162985   551540 | 2147483647    23981     98 |  0.147 % |
151.47/151.61	c |     24166 |   28464   162985   551540 | 2147483647    24128     98 |  0.147 % |
152.77/152.96	c |     24327 |   28464   162985   551540 | 2147483647    24289     97 |  0.147 % |
153.87/154.02	c |     24503 |   28464   162985   551540 | 2147483647    24465     98 |  0.147 % |
154.97/155.10	c |     24696 |   28458   162955   551464 | 2147483647    24656     97 |  0.168 % |
156.46/156.69	c |     24908 |   28458   162955   551464 | 2147483647    24868     98 |  0.168 % |
158.56/158.77	c |     25141 |   28458   162955   551464 | 2147483647    25101     98 |  0.168 % |
160.56/160.79	c |     25397 |   28458   162955   551464 | 2147483647    25357     99 |  0.168 % |
162.96/163.16	c |     25678 |   28458   162955   551464 | 2147483647    25638     99 |  0.168 % |
164.57/164.70	c |     25987 |   28458   162955   551464 | 2147483647    25947    100 |  0.168 % |
166.07/166.26	c |     26327 |   28458   162955   551464 | 2147483647    26287     99 |  0.168 % |
169.17/169.33	c |     26700 |   28458   162955   551464 | 2147483647    26660    100 |  0.168 % |
172.26/172.45	c |     27111 |   28458   162955   551464 | 2147483647    27071    101 |  0.168 % |
175.46/175.66	c |     27560 |   28458   162955   551464 | 2147483647    27520    101 |  0.168 % |
176.26/176.48	c |     27660 |   28458   162955   551464 | 2147483647    27620    101 |  0.168 % |
177.16/177.30	c |     27771 |   28458   162955   551464 | 2147483647    27731    101 |  0.168 % |
178.26/178.40	c |     27892 |   28458   162955   551464 | 2147483647    27852    101 |  0.168 % |
179.56/179.71	c |     28026 |   28458   162955   551464 | 2147483647    27986    101 |  0.168 % |
180.75/180.91	c |     28174 |   28458   162955   551464 | 2147483647    28134    101 |  0.168 % |
181.95/182.17	c |     28334 |   28458   162955   551464 | 2147483647    28294    102 |  0.168 % |
183.35/183.53	c |     28510 |   28458   162955   551464 | 2147483647    28470    102 |  0.168 % |
184.35/184.58	c |     28705 |   28458   162955   551464 | 2147483647    28665    102 |  0.168 % |
186.05/186.25	c |     28918 |   28458   162955   551464 | 2147483647    28878    102 |  0.168 % |
187.45/187.63	c |     29151 |   28458   162955   551464 | 2147483647    29111    103 |  0.168 % |
189.35/189.53	c |     29408 |   28458   162955   551464 | 2147483647    29368    103 |  0.168 % |
191.34/191.51	c |     29690 |   28458   162955   551464 | 2147483647    29650    103 |  0.168 % |
193.74/193.95	c |     29999 |   28458   162955   551464 | 2147483647    29959    104 |  0.168 % |
194.94/195.10	c |     30338 |   28458   162955   551464 | 2147483647    30298    103 |  0.168 % |
197.75/197.94	c |     30710 |   28458   162955   551464 | 2147483647    30670    104 |  0.168 % |
200.54/200.72	c |     31119 |   28458   162955   551464 | 2147483647    31079    104 |  0.168 % |
203.14/203.31	c |     31568 |   28458   162955   551464 | 2147483647    31528    104 |  0.168 % |
206.54/206.77	c |     32061 |   28458   162955   551464 | 2147483647    32021    105 |  0.168 % |
207.24/207.45	c |     32161 |   28458   162955   551464 | 2147483647    32121    105 |  0.168 % |
208.24/208.45	c |     32271 |   28458   162955   551464 | 2147483647    32231    105 |  0.168 % |
208.94/209.18	c |     32393 |   28458   162955   551464 | 2147483647    32353    105 |  0.168 % |
209.84/210.08	c |     32527 |   28458   162955   551464 | 2147483647    32487    106 |  0.168 % |
211.04/211.26	c |     32673 |   28458   162955   551464 | 2147483647    32633    106 |  0.168 % |
212.54/212.70	c |     32834 |   28458   162955   551464 | 2147483647    32794    106 |  0.168 % |
213.93/214.13	c |     33010 |   28458   162955   551464 | 2147483647    32970    106 |  0.168 % |
215.23/215.46	c |     33203 |   28458   162955   551464 | 2147483647    33163    106 |  0.168 % |
217.03/217.29	c |     33415 |   28458   162955   551464 | 2147483647    33375    107 |  0.168 % |
218.74/218.94	c |     33648 |   28458   162955   551464 | 2147483647    33608    106 |  0.168 % |
220.83/221.00	c |     33905 |   28458   162955   551464 | 2147483647    33865    107 |  0.168 % |
222.14/222.37	c |     34186 |   28458   162955   551464 | 2147483647    34146    107 |  0.168 % |
224.34/224.54	c |     34496 |   28458   162955   551464 | 2147483647    34456    107 |  0.168 % |
226.73/226.93	c |     34836 |   28458   162955   551464 | 2147483647    34796    107 |  0.168 % |
229.93/230.15	c |     35209 |   28458   162955   551464 | 2147483647    35169    107 |  0.168 % |
233.33/233.57	c |     35619 |   28458   162955   551464 | 2147483647    35579    108 |  0.168 % |
237.03/237.25	c |     36070 |   28458   162955   551464 | 2147483647    36030    109 |  0.168 % |
241.22/241.47	c |     36564 |   28458   162955   551464 | 2147483647    36524    109 |  0.168 % |
245.82/246.01	c |     37108 |   28458   162955   551464 | 2147483647    37068    110 |  0.168 % |
246.42/246.60	c |     37209 |   28458   162955   551464 | 2147483647    37169    110 |  0.168 % |
247.22/247.41	c |     37319 |   28458   162955   551464 | 2147483647    37279    110 |  0.168 % |
248.32/248.54	c |     37440 |   28458   162955   551464 | 2147483647    37400    110 |  0.168 % |
249.52/249.70	c |     37574 |   28458   162955   551464 | 2147483647    37534    110 |  0.168 % |
250.52/250.79	c |     37720 |   28458   162955   551464 | 2147483647    37680    110 |  0.168 % |
251.82/252.09	c |     37880 |   28458   162955   551464 | 2147483647    37840    110 |  0.168 % |
253.31/253.53	c |     38057 |   28458   162955   551464 | 2147483647    38017    110 |  0.168 % |
255.21/255.42	c |     38251 |   28458   162955   551464 | 2147483647    38211    110 |  0.168 % |
256.92/257.12	c |     38463 |   28458   162955   551464 | 2147483647    38423    111 |  0.168 % |
258.92/259.14	c |     38696 |   28458   162955   551464 | 2147483647    38656    111 |  0.168 % |
260.92/261.17	c |     38952 |   28458   162955   551464 | 2147483647    38912    110 |  0.168 % |
262.82/263.06	c |     39233 |   28458   162955   551464 | 2147483647    39193    110 |  0.168 % |
265.71/265.90	c |     39543 |   28458   162955   551464 | 2147483647    39503    110 |  0.168 % |
267.31/267.60	c |     39882 |   28458   162955   551464 | 2147483647    39842    110 |  0.168 % |
270.31/270.56	c |     40254 |   28458   162955   551464 | 2147483647    40214    110 |  0.168 % |
272.90/273.18	c |     40663 |   28458   162955   551464 | 2147483647    40623    110 |  0.168 % |
275.60/275.89	c |     41112 |   28458   162955   551464 | 2147483647    41072    110 |  0.168 % |
278.90/279.14	c |     41605 |   28458   162955   551464 | 2147483647    41565    111 |  0.168 % |
283.19/283.48	c |     42147 |   28458   162955   551464 | 2147483647    42107    111 |  0.168 % |
288.50/288.75	c |     42744 |   28458   162955   551464 | 2147483647    42704    112 |  0.168 % |
289.40/289.65	c |     42844 |   28458   162955   551464 | 2147483647    42804    112 |  0.168 % |
290.40/290.65	c |     42955 |   28458   162955   551464 | 2147483647    42915    112 |  0.168 % |
290.80/291.07	c |     43077 |   28458   162955   551464 | 2147483647    43037    112 |  0.168 % |
291.69/291.95	c |     43211 |   28458   162955   551464 | 2147483647    43171    112 |  0.168 % |
292.99/293.23	c |     43358 |   28458   162955   551464 | 2147483647    43318    112 |  0.168 % |
294.29/294.51	c |     43518 |   28458   162955   551464 | 2147483647    43478    113 |  0.168 % |
295.79/296.05	c |     43695 |   28458   162955   551464 | 2147483647    43655    113 |  0.168 % |
297.49/297.79	c |     43888 |   28458   162955   551464 | 2147483647    43848    113 |  0.168 % |
298.99/299.25	c |     44101 |   28458   162955   551464 | 2147483647    44061    113 |  0.168 % |
300.79/301.07	c |     44334 |   28458   162955   551464 | 2147483647    44294    113 |  0.168 % |
302.29/302.53	c |     44590 |   28458   162955   551464 | 2147483647    44550    113 |  0.168 % |
304.68/304.99	c |     44872 |   28458   162955   551464 | 2147483647    44832    112 |  0.168 % |
307.58/307.88	c |     45181 |   28458   162955   551464 | 2147483647    45141    113 |  0.168 % |
308.78/309.08	c |     45520 |   28458   162955   551464 | 2147483647    45480    113 |  0.168 % |
311.68/311.97	c |     45893 |   28458   162955   551464 | 2147483647    45853    113 |  0.168 % |
315.18/315.46	c |     46302 |   28458   162955   551464 | 2147483647    46262    113 |  0.168 % |
318.88/319.18	c |     46752 |   28458   162955   551464 | 2147483647    46712    114 |  0.168 % |
322.88/323.19	c |     47247 |   28458   162955   551464 | 2147483647    47207    114 |  0.168 % |
327.87/328.10	c |     47789 |   28458   162955   551464 | 2147483647    47749    115 |  0.168 % |
330.67/330.93	c |     48386 |   28458   162955   551464 | 2147483647    48346    115 |  0.168 % |
335.87/336.11	c |     49041 |   28458   162955   551464 | 2147483647    49001    115 |  0.168 % |
336.77/337.06	c |     49142 |   28458   162955   551464 | 2147483647    49102    115 |  0.168 % |
337.57/337.81	c |     49252 |   28458   162955   551464 | 2147483647    49212    115 |  0.168 % |
338.17/338.43	c |     49375 |   28458   162955   551464 | 2147483647    49335    115 |  0.168 % |
339.07/339.31	c |     49508 |   28458   162955   551464 | 2147483647    49468    115 |  0.168 % |
340.16/340.48	c |     49656 |   28458   162955   551464 | 2147483647    49616    115 |  0.168 % |
341.46/341.72	c |     49817 |   28458   162955   551464 | 2147483647    49777    115 |  0.168 % |
342.87/343.16	c |     49994 |   28458   162955   551464 | 2147483647    49954    115 |  0.168 % |
344.36/344.68	c |     50189 |   28458   162955   551464 | 2147483647    50149    115 |  0.168 % |
344.96/345.28	c |     50401 |   28458   162955   551464 | 2147483647    50361    115 |  0.168 % |
346.76/347.06	c |     50634 |   28458   162955   551464 | 2147483647    50594    115 |  0.168 % |
348.87/349.10	c |     50891 |   28458   162955   551464 | 2147483647    50851    115 |  0.168 % |
351.26/351.50	c |     51173 |   28458   162955   551464 | 2147483647    51133    115 |  0.168 % |
354.06/354.30	c |     51482 |   28458   162955   551464 | 2147483647    51442    115 |  0.168 % |
356.07/356.39	c |     51823 |   28458   162955   551464 | 2147483647    51783    115 |  0.168 % |
359.26/359.53	c |     52195 |   28458   162955   551464 | 2147483647    52155    116 |  0.168 % |
362.45/362.78	c |     52604 |   28458   162955   551464 | 2147483647    52564    116 |  0.168 % |
366.45/366.70	c |     53053 |   28457   162950   551452 | 2147483647    53012    116 |  0.172 % |
370.15/370.41	c |     53548 |   28457   162950   551452 | 2147483647    53507    117 |  0.172 % |
373.85/374.10	c |     54091 |   28457   162950   551452 | 2147483647    54050    117 |  0.172 % |
378.54/378.81	c |     54688 |   28457   162950   551452 | 2147483647    54647    117 |  0.172 % |
383.34/383.64	c |     55343 |   28457   162950   551452 | 2147483647    55302    117 |  0.172 % |
389.94/390.20	c |     56063 |   28457   162950   551452 | 2147483647    56022    118 |  0.172 % |
390.44/390.78	c |     56163 |   28457   162950   551452 | 2147483647    56122    118 |  0.172 % |
391.04/391.39	c |     56275 |   28457   162950   551452 | 2147483647    56234    118 |  0.172 % |
391.94/392.24	c |     56396 |   28457   162950   551452 | 2147483647    56355    118 |  0.172 % |
392.84/393.13	c |     56530 |   28457   162950   551452 | 2147483647    56489    118 |  0.172 % |
393.84/394.17	c |     56676 |   28457   162950   551452 | 2147483647    56635    118 |  0.172 % |
395.33/395.66	c |     56836 |   28457   162950   551452 | 2147483647    56795    118 |  0.172 % |
396.84/397.12	c |     57012 |   28457   162950   551452 | 2147483647    56971    118 |  0.172 % |
398.33/398.69	c |     57207 |   28457   162950   551452 | 2147483647    57166    118 |  0.172 % |
401.23/401.53	c |     57419 |   28457   162950   551452 | 2147483647    57378    118 |  0.172 % |
403.13/403.46	c |     57652 |   28457   162950   551452 | 2147483647    57611    118 |  0.172 % |
405.12/405.48	c |     57908 |   28457   162950   551452 | 2147483647    57867    118 |  0.172 % |
407.32/407.62	c |     58189 |   28457   162950   551452 | 2147483647    58148    118 |  0.172 % |
408.42/408.79	c |     58500 |   28457   162950   551452 | 2147483647    58459    118 |  0.172 % |
411.22/411.53	c |     58840 |   28457   162950   551452 | 2147483647    58799    118 |  0.172 % |
414.02/414.39	c |     59212 |   28457   162950   551452 | 2147483647    59171    118 |  0.172 % |
416.93/417.23	c |     59621 |   28457   162950   551452 | 2147483647    59580    118 |  0.172 % |
419.93/420.23	c |     60070 |   28457   162950   551452 | 2147483647    60029    118 |  0.172 % |
424.92/425.24	c |     60563 |   28457   162950   551452 | 2147483647    60522    118 |  0.172 % |
431.72/432.02	c |     61105 |   28457   162950   551452 | 2147483647    61064    118 |  0.172 % |
436.22/436.58	c |     61702 |   28457   162950   551452 | 2147483647    61661    118 |  0.172 % |
441.82/442.16	c |     62358 |   28457   162950   551452 | 2147483647    62317    118 |  0.172 % |
448.11/448.47	c |     63079 |   28457   162950   551452 | 2147483647    63038    118 |  0.172 % |
454.50/454.83	c |     63871 |   28457   162950   551452 | 2147483647    63830    118 |  0.172 % |
455.10/455.43	c |     63971 |   28457   162950   551452 | 2147483647    63930    118 |  0.172 % |
455.90/456.27	c |     64082 |   28457   162950   551452 | 2147483647    64041    118 |  0.172 % |
456.99/457.36	c |     64204 |   28457   162950   551452 | 2147483647    64163    118 |  0.172 % |
457.79/458.19	c |     64338 |   28457   162950   551452 | 2147483647    64297    118 |  0.172 % |
459.10/459.40	c |     64484 |   28457   162950   551452 | 2147483647    64443    118 |  0.172 % |
460.40/460.77	c |     64645 |   28457   162950   551452 | 2147483647    64604    118 |  0.172 % |
461.71/462.08	c |     64822 |   28457   162950   551452 | 2147483647    64781    118 |  0.172 % |
463.40/463.76	c |     65016 |   28457   162950   551452 | 2147483647    64975    119 |  0.172 % |
464.91/465.25	c |     65228 |   28457   162950   551452 | 2147483647    65187    119 |  0.172 % |
467.00/467.34	c |     65462 |   28457   162950   551452 | 2147483647    65421    119 |  0.172 % |
469.40/469.79	c |     65718 |   28457   162950   551452 | 2147483647    65677    119 |  0.172 % |
471.50/471.85	c |     65999 |   28457   162950   551452 | 2147483647    65958    119 |  0.172 % |
473.70/474.07	c |     66308 |   28457   162950   551452 | 2147483647    66267    119 |  0.172 % |
476.79/477.15	c |     66647 |   28457   162950   551452 | 2147483647    66606    119 |  0.172 % |
479.79/480.19	c |     67020 |   28457   162950   551452 | 2147483647    66979    119 |  0.172 % |
483.09/483.44	c |     67431 |   28457   162950   551452 | 2147483647    67390    119 |  0.172 % |
486.49/486.88	c |     67880 |   28457   162950   551452 | 2147483647    67839    120 |  0.172 % |
489.38/489.73	c |     68373 |   28457   162950   551452 | 2147483647    68332    120 |  0.172 % |
492.48/492.81	c |     68915 |   28457   162950   551452 | 2147483647    68874    120 |  0.172 % |
497.67/498.04	c |     69511 |   28457   162950   551452 | 2147483647    69470    120 |  0.172 % |
506.28/506.63	c |     70166 |   28453   162933   551408 | 2147483647    70123    120 |  0.186 % |
512.47/512.82	c |     70886 |   28453   162933   551408 | 2147483647    70843    120 |  0.186 % |
519.17/519.57	c |     71679 |   28453   162933   551408 | 2147483647    71636    120 |  0.186 % |
524.86/525.29	c |     72551 |   28453   162933   551408 | 2147483647    72508    121 |  0.186 % |
525.47/525.86	c |     72651 |   28453   162933   551408 | 2147483647    72608    121 |  0.186 % |
526.47/526.82	c |     72762 |   28453   162933   551408 | 2147483647    72719    121 |  0.186 % |
527.16/527.52	c |     72883 |   28453   162933   551408 | 2147483647    72840    121 |  0.186 % |
527.97/528.40	c |     73016 |   28453   162933   551408 | 2147483647    72973    121 |  0.186 % |
528.87/529.23	c |     73162 |   28453   162933   551408 | 2147483647    73119    121 |  0.186 % |
529.67/530.06	c |     73323 |   28453   162933   551408 | 2147483647    73280    121 |  0.186 % |
531.37/531.75	c |     73499 |   28453   162933   551408 | 2147483647    73456    121 |  0.186 % |
533.26/533.64	c |     73693 |   28453   162933   551408 | 2147483647    73650    121 |  0.186 % |
535.27/535.70	c |     73907 |   28453   162933   551408 | 2147483647    73864    121 |  0.186 % |
537.16/537.56	c |     74141 |   28453   162933   551408 | 2147483647    74098    121 |  0.186 % |
539.26/539.65	c |     74399 |   28453   162933   551408 | 2147483647    74356    121 |  0.186 % |
541.65/542.07	c |     74680 |   28453   162933   551408 | 2147483647    74637    121 |  0.186 % |
542.96/543.37	c |     74989 |   28453   162933   551408 | 2147483647    74946    121 |  0.186 % |
545.35/545.74	c |     75328 |   28453   162933   551408 | 2147483647    75285    121 |  0.186 % |
547.75/548.14	c |     75700 |   28453   162933   551408 | 2147483647    75657    121 |  0.186 % |
551.34/551.74	c |     76110 |   28453   162933   551408 | 2147483647    76067    121 |  0.186 % |
555.04/555.48	c |     76559 |   28453   162933   551408 | 2147483647    76516    121 |  0.186 % |
559.14/559.52	c |     77053 |   28453   162933   551408 | 2147483647    77010    121 |  0.186 % |
564.44/564.82	c |     77597 |   28453   162933   551408 | 2147483647    77554    121 |  0.186 % |
567.74/568.17	c |     78194 |   28453   162933   551408 | 2147483647    78151    122 |  0.186 % |
577.64/578.04	c |     78851 |   28453   162933   551408 | 2147483647    78808    121 |  0.186 % |
583.33/583.76	c |     79572 |   28453   162933   551408 | 2147483647    79529    121 |  0.186 % |
591.73/592.15	c |     80364 |   28453   162933   551408 | 2147483647    80321    122 |  0.186 % |
598.22/598.66	c |     81235 |   28453   162933   551408 | 2147483647    81192    122 |  0.186 % |
606.22/606.66	c |     82194 |   28453   162933   551408 | 2147483647    82151    122 |  0.186 % |
606.82/607.24	c |     82295 |   28453   162933   551408 | 2147483647    82252    122 |  0.186 % |
608.01/608.40	c |     82405 |   28453   162933   551408 | 2147483647    82362    122 |  0.186 % |
609.02/609.49	c |     82527 |   28453   162933   551408 | 2147483647    82484    122 |  0.186 % |
610.12/610.53	c |     82660 |   28453   162933   551408 | 2147483647    82617    122 |  0.186 % |
611.12/611.51	c |     82806 |   28453   162933   551408 | 2147483647    82763    122 |  0.186 % |
612.32/612.75	c |     82967 |   28453   162933   551408 | 2147483647    82924    122 |  0.186 % |
613.92/614.37	c |     83144 |   28453   162933   551408 | 2147483647    83101    122 |  0.186 % |
615.72/616.12	c |     83339 |   28453   162933   551408 | 2147483647    83296    122 |  0.186 % |
617.52/617.98	c |     83552 |   28453   162933   551408 | 2147483647    83509    122 |  0.186 % |
619.42/619.84	c |     83785 |   28453   162933   551408 | 2147483647    83742    123 |  0.186 % |
620.71/621.12	c |     84041 |   28453   162933   551408 | 2147483647    83998    122 |  0.186 % |
622.81/623.28	c |     84323 |   28453   162933   551408 | 2147483647    84280    123 |  0.186 % |
625.31/625.79	c |     84633 |   28453   162933   551408 | 2147483647    84590    123 |  0.186 % |
628.31/628.70	c |     84974 |   28453   162933   551408 | 2147483647    84931    123 |  0.186 % |
631.40/631.86	c |     85346 |   28453   162933   551408 | 2147483647    85303    123 |  0.186 % |
635.10/635.51	c |     85755 |   28453   162933   551408 | 2147483647    85712    123 |  0.186 % |
637.50/637.93	c |     86205 |   28453   162933   551408 | 2147483647    86162    123 |  0.186 % |
641.79/642.28	c |     86699 |   28453   162933   551408 | 2147483647    86656    123 |  0.186 % |
645.89/646.35	c |     87242 |   28453   162933   551408 | 2147483647    87199    123 |  0.186 % |
650.80/651.24	c |     87839 |   28453   162933   551408 | 2147483647    87796    124 |  0.186 % |
655.79/656.22	c |     88494 |   28453   162933   551408 | 2147483647    88451    123 |  0.186 % |
661.98/662.46	c |     89214 |   28453   162933   551408 | 2147483647    89171    124 |  0.186 % |
667.48/667.91	c |     90006 |   28453   162933   551408 | 2147483647    89963    124 |  0.186 % |
674.98/675.43	c |     90879 |   28453   162933   551408 | 2147483647    90836    124 |  0.186 % |
682.47/682.95	c |     91837 |   28453   162933   551408 | 2147483647    91794    124 |  0.186 % |
692.86/693.36	c |     92891 |   28453   162933   551408 | 2147483647    92848    124 |  0.186 % |
693.27/693.78	c |     92991 |   28453   162933   551408 | 2147483647    92948    124 |  0.186 % |
694.26/694.72	c |     93102 |   28453   162933   551408 | 2147483647    93059    124 |  0.186 % |
695.37/695.80	c |     93223 |   28453   162933   551408 | 2147483647    93180    124 |  0.186 % |
696.47/696.96	c |     93357 |   28453   162933   551408 | 2147483647    93314    124 |  0.186 % |
697.77/698.25	c |     93503 |   28453   162933   551408 | 2147483647    93460    123 |  0.186 % |
699.27/699.72	c |     93664 |   28453   162933   551408 | 2147483647    93621    124 |  0.186 % |
700.87/701.30	c |     93842 |   28453   162933   551408 | 2147483647    93799    124 |  0.186 % |
702.37/702.84	c |     94035 |   28453   162933   551408 | 2147483647    93992    124 |  0.186 % |
703.97/704.41	c |     94247 |   28453   162933   551408 | 2147483647    94204    123 |  0.186 % |
705.87/706.34	c |     94481 |   28453   162933   551408 | 2147483647    94438    123 |  0.186 % |
707.46/707.91	c |     94737 |   28453   162933   551408 | 2147483647    94694    123 |  0.186 % |
709.36/709.86	c |     95018 |   28453   162933   551408 | 2147483647    94975    124 |  0.186 % |
711.46/711.97	c |     95331 |   28453   162933   551408 | 2147483647    95288    123 |  0.186 % |
714.16/714.61	c |     95671 |   28453   162933   551408 | 2147483647    95628    124 |  0.186 % |
717.16/717.65	c |     96045 |   28453   162933   551408 | 2147483647    96002    124 |  0.186 % |
720.66/721.18	c |     96455 |   28453   162933   551408 | 2147483647    96412    124 |  0.186 % |
724.55/725.02	c |     96905 |   28453   162933   551408 | 2147483647    96862    124 |  0.186 % |
728.45/728.93	c |     97399 |   28453   162933   551408 | 2147483647    97356    124 |  0.186 % |
732.25/732.75	c |     97941 |   28453   162933   551408 | 2147483647    97898    124 |  0.186 % |
736.84/737.35	c |     98537 |   28453   162933   551408 | 2147483647    98494    124 |  0.186 % |
739.54/740.00	c |     99192 |   28453   162933   551408 | 2147483647    99149    123 |  0.186 % |
746.84/747.39	c |     99912 |   28453   162933   551408 | 2147483647    99869    123 |  0.186 % |
759.24/759.71	c |    100704 |   28453   162933   551408 | 2147483647   100661    123 |  0.186 % |
771.53/772.02	c |    101577 |   28453   162933   551408 | 2147483647   101534    122 |  0.186 % |
783.32/783.86	c |    102535 |   28453   162933   551408 | 2147483647   102492    122 |  0.186 % |
794.42/794.91	c |    103589 |   28453   162933   551408 | 2147483647   103546    121 |  0.186 % |
808.72/809.28	c |    104748 |   28453   162933   551408 | 2147483647   104705    121 |  0.186 % |
809.51/810.06	c |    104848 |   28453   162933   551408 | 2147483647   104805    121 |  0.186 % |
810.41/810.95	c |    104959 |   28453   162933   551408 | 2147483647   104916    121 |  0.186 % |
811.41/811.98	c |    105082 |   28453   162933   551408 | 2147483647   105039    121 |  0.186 % |
812.31/812.88	c |    105216 |   28453   162933   551408 | 2147483647   105173    121 |  0.186 % |
813.51/814.05	c |    105363 |   28453   162933   551408 | 2147483647   105320    121 |  0.186 % |
814.20/814.71	c |    105524 |   28453   162933   551408 | 2147483647   105481    121 |  0.186 % |
815.40/815.92	c |    105701 |   28453   162933   551408 | 2147483647   105658    121 |  0.186 % |
817.10/817.63	c |    105895 |   28453   162933   551408 | 2147483647   105852    121 |  0.186 % |
818.70/819.28	c |    106109 |   28453   162933   551408 | 2147483647   106066    121 |  0.186 % |
820.90/821.41	c |    106342 |   28453   162933   551408 | 2147483647   106299    121 |  0.186 % |
823.00/823.57	c |    106598 |   28453   162933   551408 | 2147483647   106555    121 |  0.186 % |
825.20/825.71	c |    106879 |   28453   162933   551408 | 2147483647   106836    121 |  0.186 % |
827.70/828.24	c |    107188 |   28453   162933   551408 | 2147483647   107145    121 |  0.186 % |
829.70/830.24	c |    107528 |   28453   162933   551408 | 2147483647   107485    121 |  0.186 % |
835.70/836.24	c |    107901 |   28453   162933   551408 | 2147483647   107858    121 |  0.186 % |
838.10/838.63	c |    108310 |   28453   162933   551408 | 2147483647   108267    121 |  0.186 % |
841.90/842.44	c |    108760 |   28453   162933   551408 | 2147483647   108717    121 |  0.186 % |
846.40/846.94	c |    109253 |   28453   162933   551408 | 2147483647   109210    121 |  0.186 % |
851.19/851.77	c |    109795 |   28453   162933   551408 | 2147483647   109752    121 |  0.186 % |
855.79/856.34	c |    110391 |   28453   162933   551408 | 2147483647   110348    121 |  0.186 % |
861.08/861.66	c |    111046 |   28453   162933   551408 | 2147483647   111003    121 |  0.186 % |
869.38/869.91	c |    111766 |   28453   162933   551408 | 2147483647   111723    121 |  0.186 % |
879.27/879.86	c |    112558 |   28453   162933   551408 | 2147483647   112515    121 |  0.186 % |
887.08/887.66	c |    113430 |   28453   162933   551408 | 2147483647   113387    121 |  0.186 % |
893.97/894.52	c |    114389 |   28453   162933   551408 | 2147483647   114346    122 |  0.186 % |
905.25/905.85	c |    115442 |   28453   162933   551408 | 2147483647   115399    122 |  0.186 % |
916.85/917.41	c |    116600 |   28453   162933   551408 | 2147483647   116557    122 |  0.186 % |
933.84/934.40	c |    117874 |   28453   162933   551408 | 2147483647   117831    121 |  0.186 % |
934.64/935.29	c |    117974 |   28453   162933   551408 | 2147483647   117931    121 |  0.186 % |
935.64/936.22	c |    118084 |   28453   162933   551408 | 2147483647   118041    121 |  0.186 % |
936.54/937.18	c |    118205 |   28453   162933   551408 | 2147483647   118162    121 |  0.186 % |
937.64/938.29	c |    118339 |   28453   162933   551408 | 2147483647   118296    121 |  0.186 % |
939.14/939.74	c |    118487 |   28453   162933   551408 | 2147483647   118444    121 |  0.186 % |
940.34/940.95	c |    118647 |   28453   162933   551408 | 2147483647   118604    121 |  0.186 % |
941.44/942.07	c |    118824 |   28453   162933   551408 | 2147483647   118781    121 |  0.186 % |
943.03/943.65	c |    119018 |   28453   162933   551408 | 2147483647   118975    121 |  0.186 % |
944.83/945.43	c |    119230 |   28453   162933   551408 | 2147483647   119187    121 |  0.186 % |
946.72/947.38	c |    119464 |   28453   162933   551408 | 2147483647   119421    121 |  0.186 % |
948.63/949.28	c |    119720 |   28453   162933   551408 | 2147483647   119677    121 |  0.186 % |
951.02/951.67	c |    120002 |   28453   162933   551408 | 2147483647   119959    121 |  0.186 % |
953.52/954.20	c |    120311 |   28453   162933   551408 | 2147483647   120268    121 |  0.186 % |
956.42/957.01	c |    120650 |   28453   162933   551408 | 2147483647   120607    122 |  0.186 % |
959.12/959.78	c |    121023 |   28453   162933   551408 | 2147483647   120980    122 |  0.186 % |
962.71/963.33	c |    121432 |   28453   162933   551408 | 2147483647   121389    122 |  0.186 % |
966.11/966.79	c |    121882 |   28453   162933   551408 | 2147483647   121839    122 |  0.186 % |
969.91/970.53	c |    122375 |   28453   162933   551408 | 2147483647   122332    121 |  0.186 % |
973.62/974.25	c |    122918 |   28453   162933   551408 | 2147483647   122875    121 |  0.186 % |
979.61/980.27	c |    123514 |   28453   162933   551408 | 2147483647   123471    122 |  0.186 % |
986.71/987.35	c |    124169 |   28453   162933   551408 | 2147483647   124126    121 |  0.186 % |
995.30/995.95	c |    124889 |   28453   162933   551408 | 2147483647   124846    121 |  0.186 % |
1001.59/1002.22	c |    125681 |   28453   162933   551408 | 2147483647   125638    121 |  0.186 % |
1009.00/1009.70	c |    126554 |   28453   162933   551408 | 2147483647   126511    121 |  0.186 % |
1021.09/1021.74	c |    127513 |   28453   162933   551408 | 2147483647   127470    121 |  0.186 % |
1031.99/1032.61	c |    128567 |   28453   162933   551408 | 2147483647   128524    121 |  0.186 % |
1046.68/1047.33	c |    129727 |   28453   162933   551408 | 2147483647   129684    120 |  0.186 % |
1058.87/1059.51	c |    131000 |   28453   162933   551408 | 2147483647   130957    120 |  0.186 % |
1085.35/1086.02	c |    132400 |   28453   162933   551408 | 2147483647   132357    119 |  0.186 % |
1086.06/1086.75	c |    132500 |   28453   162933   551408 | 2147483647   132457    119 |  0.186 % |
1086.75/1087.42	c |    132610 |   28453   162933   551408 | 2147483647   132567    119 |  0.186 % |
1087.65/1088.32	c |    132732 |   28453   162933   551408 | 2147483647   132689    119 |  0.186 % |
1088.75/1089.44	c |    132866 |   28453   162933   551408 | 2147483647   132823    119 |  0.186 % |
1090.15/1090.89	c |    133013 |   28453   162933   551408 | 2147483647   132970    119 |  0.186 % |
1091.55/1092.21	c |    133175 |   28453   162933   551408 | 2147483647   133132    119 |  0.186 % |
1092.85/1093.57	c |    133351 |   28453   162933   551408 | 2147483647   133308    119 |  0.186 % |
1094.86/1095.53	c |    133545 |   28453   162933   551408 | 2147483647   133502    119 |  0.186 % |
1096.35/1097.07	c |    133757 |   28453   162933   551408 | 2147483647   133714    119 |  0.186 % |
1098.55/1099.26	c |    133992 |   28453   162933   551408 | 2147483647   133949    119 |  0.186 % |
1100.75/1101.43	c |    134248 |   28453   162933   551408 | 2147483647   134205    119 |  0.186 % |
1102.45/1103.15	c |    134529 |   28453   162933   551408 | 2147483647   134486    119 |  0.186 % |
1105.05/1105.78	c |    134839 |   28453   162933   551408 | 2147483647   134796    119 |  0.186 % |
1107.55/1108.25	c |    135179 |   28453   162933   551408 | 2147483647   135136    119 |  0.186 % |
1110.35/1111.04	c |    135552 |   28453   162933   551408 | 2147483647   135509    119 |  0.186 % |
1115.34/1116.02	c |    135963 |   28453   162933   551408 | 2147483647   135920    119 |  0.186 % |
1122.04/1122.76	c |    136412 |   28453   162933   551408 | 2147483647   136369    119 |  0.186 % |
1126.43/1127.13	c |    136905 |   28453   162933   551408 | 2147483647   136862    119 |  0.186 % |
1132.03/1132.72	c |    137447 |   28453   162933   551408 | 2147483647   137404    119 |  0.186 % |
1137.12/1137.87	c |    138043 |   28453   162933   551408 | 2147483647   138000    119 |  0.186 % |
1141.02/1141.71	c |    138700 |   28453   162933   551408 | 2147483647   138657    119 |  0.186 % |
1150.02/1150.77	c |    139421 |   28453   162933   551408 | 2147483647   139378    119 |  0.186 % |
1156.11/1156.89	c |    140214 |   28453   162933   551408 | 2147483647   140171    119 |  0.186 % |
1167.11/1167.84	c |    141086 |   28453   162933   551408 | 2147483647   141043    119 |  0.186 % |
1179.69/1180.48	c |    142044 |   28453   162933   551408 | 2147483647   142001    119 |  0.186 % |
1194.69/1195.41	c |    143097 |   28453   162933   551408 | 2147483647   143054    118 |  0.186 % |
1205.19/1205.92	c |    144256 |   28453   162933   551408 | 2147483647   144213    118 |  0.186 % |
1216.47/1217.29	c |    145529 |   28453   162933   551408 | 2147483647   145486    118 |  0.186 % |
1232.96/1233.74	c |    146930 |   28453   162933   551408 | 2147483647   146887    118 |  0.186 % |
1253.35/1254.11	c |    148471 |   28453   162933   551408 | 2147483647   148428    118 |  0.186 % |
1253.95/1254.73	c |    148571 |   28453   162933   551408 | 2147483647   148528    118 |  0.186 % |
1254.85/1255.68	c |    148681 |   28453   162933   551408 | 2147483647   148638    118 |  0.186 % |
1255.46/1256.23	c |    148804 |   28453   162933   551408 | 2147483647   148761    118 |  0.186 % |
1256.56/1257.33	c |    148937 |   28453   162933   551408 | 2147483647   148894    118 |  0.186 % |
1257.65/1258.47	c |    149085 |   28453   162933   551408 | 2147483647   149042    118 |  0.186 % |
1258.95/1259.76	c |    149246 |   28453   162933   551408 | 2147483647   149203    118 |  0.186 % |
1260.35/1261.16	c |    149423 |   28453   162933   551408 | 2147483647   149380    118 |  0.186 % |
1262.06/1262.90	c |    149617 |   28453   162933   551408 | 2147483647   149574    118 |  0.186 % |
1263.65/1264.49	c |    149831 |   28453   162933   551408 | 2147483647   149788    118 |  0.186 % |
1266.05/1266.87	c |    150064 |   28453   162933   551408 | 2147483647   150021    118 |  0.186 % |
1268.25/1269.04	c |    150322 |   28453   162933   551408 | 2147483647   150279    118 |  0.186 % |
1270.25/1271.03	c |    150605 |   28453   162933   551408 | 2147483647   150562    118 |  0.186 % |
1272.15/1272.93	c |    150915 |   28453   162933   551408 | 2147483647   150872    118 |  0.186 % |
1274.45/1275.29	c |    151254 |   28453   162933   551408 | 2147483647   151211    118 |  0.186 % |
1277.55/1278.32	c |    151627 |   28453   162933   551408 | 2147483647   151584    118 |  0.186 % |
1281.75/1282.59	c |    152036 |   28453   162933   551408 | 2147483647   151993    118 |  0.186 % |
1287.94/1288.73	c |    152485 |   28453   162933   551408 | 2147483647   152442    118 |  0.186 % |
1291.74/1292.59	c |    152978 |   28453   162933   551408 | 2147483647   152935    118 |  0.186 % |
1300.23/1301.01	c |    153521 |   28453   162933   551408 | 2147483647   153478    118 |  0.186 % |
1305.13/1305.96	c |    154117 |   28453   162933   551408 | 2147483647   154074    118 |  0.186 % |
1312.54/1313.33	c |    154773 |   28453   162933   551408 | 2147483647   154730    118 |  0.186 % |
1319.23/1320.05	c |    155493 |   28453   162933   551408 | 2147483647   155450    118 |  0.186 % |
1332.92/1333.73	c |    156286 |   28453   162933   551408 | 2147483647   156243    117 |  0.186 % |
1344.81/1345.68	c |    157158 |   28453   162933   551408 | 2147483647   157115    117 |  0.186 % |
1351.80/1352.68	c |    158116 |   28453   162933   551408 | 2147483647   158073    117 |  0.186 % |
1366.99/1367.87	c |    159169 |   28453   162933   551408 | 2147483647   159126    117 |  0.186 % |
1386.49/1387.36	c |    160328 |   28453   162933   551408 | 2147483647   160285    117 |  0.186 % |
1410.16/1411.05	c |    161601 |   28453   162933   551408 | 2147483647   161558    116 |  0.186 % |
1430.05/1430.97	c |    163001 |   28453   162933   551408 | 2147483647   162958    115 |  0.186 % |
1449.95/1450.83	c |    164541 |   28453   162933   551408 | 2147483647   164498    115 |  0.186 % |
1470.95/1471.84	c |    166236 |   28453   162933   551408 | 2147483647   166193    114 |  0.186 % |
1471.54/1472.49	c |    166337 |   28453   162933   551408 | 2147483647   166294    114 |  0.186 % |
1472.24/1473.14	c |    166447 |   28453   162933   551408 | 2147483647   166404    114 |  0.186 % |
1473.24/1474.15	c |    166568 |   28453   162933   551408 | 2147483647   166525    114 |  0.186 % |
1474.14/1475.05	c |    166701 |   28453   162933   551408 | 2147483647   166658    114 |  0.186 % |
1474.84/1475.80	c |    166848 |   28453   162933   551408 | 2147483647   166805    114 |  0.186 % |
1475.94/1476.84	c |    167008 |   28453   162933   551408 | 2147483647   166965    114 |  0.186 % |
1477.14/1478.00	c |    167185 |   28453   162933   551408 | 2147483647   167142    114 |  0.186 % |
1478.24/1479.18	c |    167378 |   28453   162933   551408 | 2147483647   167335    114 |  0.186 % |
1479.93/1480.86	c |    167591 |   28453   162933   551408 | 2147483647   167548    114 |  0.186 % |
1482.83/1483.75	c |    167825 |   28453   162933   551408 | 2147483647   167782    114 |  0.186 % |
1485.23/1486.12	c |    168081 |   28453   162933   551408 | 2147483647   168038    114 |  0.186 % |
1491.83/1492.72	c |    168363 |   28453   162933   551408 | 2147483647   168320    114 |  0.186 % |
1493.82/1494.79	c |    168672 |   28453   162933   551408 | 2147483647   168629    114 |  0.186 % |
1496.02/1496.98	c |    169012 |   28453   162933   551408 | 2147483647   168969    114 |  0.186 % |
1500.22/1501.17	c |    169384 |   28453   162933   551408 | 2147483647   169341    114 |  0.186 % |
1502.82/1503.71	c |    169794 |   28453   162933   551408 | 2147483647   169751    114 |  0.186 % |
1506.92/1507.85	c |    170244 |   28453   162933   551408 | 2147483647   170201    114 |  0.186 % |
1510.42/1511.31	c |    170738 |   28453   162933   551408 | 2147483647   170695    114 |  0.186 % |
1514.21/1515.18	c |    171280 |   28453   162933   551408 | 2147483647   171237    114 |  0.186 % |
1523.61/1524.59	c |    171877 |   28453   162933   551408 | 2147483647   171834    113 |  0.186 % |
1529.60/1530.52	c |    172534 |   28453   162933   551408 | 2147483647   172491    114 |  0.186 % |
1536.01/1536.98	c |    173254 |   28453   162933   551408 | 2147483647   173211    113 |  0.186 % |
1542.21/1543.16	c |    174046 |   28453   162933   551408 | 2147483647   174003    113 |  0.186 % |
1554.30/1555.20	c |    174918 |   28453   162933   551408 | 2147483647   174875    113 |  0.186 % |
1562.49/1563.41	c |    175878 |   28453   162933   551408 | 2147483647   175835    113 |  0.186 % |
1577.78/1578.77	c |    176931 |   28453   162933   551408 | 2147483647   176888    113 |  0.186 % |
1586.38/1587.38	c |    178089 |   28453   162933   551408 | 2147483647   178046    112 |  0.186 % |
1615.17/1616.11	c |    179363 |   28453   162933   551408 | 2147483647   179320    112 |  0.186 % |
1638.35/1639.36	c |    180763 |   28453   162933   551408 | 2147483647   180720    111 |  0.186 % |
1660.24/1661.25	c |    182304 |   28453   162933   551408 | 2147483647   182261    111 |  0.186 % |
1689.93/1690.91	c |    183998 |   28453   162933   551408 | 2147483647   183955    110 |  0.186 % |
1713.52/1714.55	c |    185862 |   28453   162933   551408 | 2147483647   185819    109 |  0.186 % |
1714.22/1715.23	c |    185964 |   28453   162933   551408 | 2147483647   185921    109 |  0.186 % |
1715.12/1716.13	c |    186075 |   28453   162933   551408 | 2147483647   186032    109 |  0.186 % |
1715.82/1716.80	c |    186196 |   28453   162933   551408 | 2147483647   186153    109 |  0.186 % |
1716.72/1717.74	c |    186330 |   28453   162933   551408 | 2147483647   186287    109 |  0.186 % |
1717.62/1718.65	c |    186477 |   28453   162933   551408 | 2147483647   186434    109 |  0.186 % |
1718.92/1719.96	c |    186637 |   28453   162933   551408 | 2147483647   186594    109 |  0.186 % |
1719.92/1720.95	c |    186813 |   28453   162933   551408 | 2147483647   186770    109 |  0.186 % |
1721.12/1722.10	c |    187007 |   28453   162933   551408 | 2147483647   186964    109 |  0.186 % |
1722.41/1723.46	c |    187221 |   28453   162933   551408 | 2147483647   187178    109 |  0.186 % |
1724.61/1725.61	c |    187454 |   28453   162933   551408 | 2147483647   187411    109 |  0.186 % |
1725.81/1726.83	c |    187711 |   28453   162933   551408 | 2147483647   187668    109 |  0.186 % |
1727.91/1728.99	c |    187992 |   28453   162933   551408 | 2147483647   187949    109 |  0.186 % |
1730.01/1731.01	c |    188302 |   28453   162933   551408 | 2147483647   188259    109 |  0.186 % |
1732.21/1733.20	c |    188642 |   28453   162933   551408 | 2147483647   188599    109 |  0.186 % |
1737.11/1738.13	c |    189014 |   28453   162933   551408 | 2147483647   188971    109 |  0.186 % |
1741.41/1742.46	c |    189425 |   28453   162933   551408 | 2147483647   189382    109 |  0.186 % |
1746.21/1747.29	c |    189874 |   28453   162933   551408 | 2147483647   189831    109 |  0.186 % |
1749.71/1750.80	c |    190369 |   28453   162933   551408 | 2147483647   190326    109 |  0.186 % |
1755.81/1756.84	c |    190911 |   28453   162933   551408 | 2147483647   190868    109 |  0.186 % |
1765.20/1766.29	c |    191509 |   28453   162933   551408 | 2147483647   191466    109 |  0.186 % |
1775.30/1776.39	c |    192165 |   28453   162933   551408 | 2147483647   192122    108 |  0.186 % |
1784.69/1785.70	c |    192885 |   28453   162933   551408 | 2147483647   192842    108 |  0.186 % |
1795.98/1797.08	c |    193677 |   28453   162933   551408 | 2147483647   193634    108 |  0.186 % |
1805.08/1806.19	c |    194549 |   28453   162933   551408 | 2147483647   194506    108 |  0.186 % |
1818.37/1819.47	c |    195507 |   28453   162933   551408 | 2147483647   195464    108 |  0.186 % |
1835.57/1836.60	c |    196560 |   28453   162933   551408 | 2147483647   196517    107 |  0.186 % |
1858.05/1859.15	c |    197718 |   28453   162933   551408 | 2147483647   197675    107 |  0.186 % |
1883.04/1884.14	c |    198991 |   28453   162933   551408 | 2147483647   198948    106 |  0.186 % |
1907.62/1908.79	c |    200392 |   28453   162933   551408 | 2147483647   200349    106 |  0.186 % |
1929.21/1930.33	c |    201932 |   28453   162933   551408 | 2147483647   201889    105 |  0.186 % |
1959.60/1960.75	c |    203627 |   28451   162911   551337 | 2147483647   203579    105 |  0.193 % |
1998.07/1999.30	c |    205491 |   28451   162911   551337 | 2147483647   205443    104 |  0.193 % |
2030.36/2031.54	c |    207540 |   28451   162911   551337 | 2147483647   207492    103 |  0.193 % |
2030.86/2032.05	c |    207641 |   28451   162911   551337 | 2147483647   207593    103 |  0.193 % |
2031.57/2032.72	c |    207751 |   28451   162911   551337 | 2147483647   207703    103 |  0.193 % |
2032.06/2033.24	c |    207874 |   28451   162911   551337 | 2147483647   207826    103 |  0.193 % |
2032.86/2034.06	c |    208007 |   28451   162911   551337 | 2147483647   207959    103 |  0.193 % |
2033.66/2034.84	c |    208153 |   28451   162911   551337 | 2147483647   208105    103 |  0.193 % |
2034.76/2035.97	c |    208314 |   28451   162911   551337 | 2147483647   208266    103 |  0.193 % |
2035.66/2036.80	c |    208492 |   28451   162911   551337 | 2147483647   208444    103 |  0.193 % |
2036.86/2038.02	c |    208686 |   28451   162911   551337 | 2147483647   208638    103 |  0.193 % |
2038.36/2039.56	c |    208899 |   28451   162911   551337 | 2147483647   208851    103 |  0.193 % |
2040.05/2041.22	c |    209133 |   28451   162911   551337 | 2147483647   209085    103 |  0.193 % |
2042.05/2043.26	c |    209389 |   28451   162911   551337 | 2147483647   209341    103 |  0.193 % |
2044.15/2045.35	c |    209672 |   28451   162911   551337 | 2147483647   209624    103 |  0.193 % |
2047.06/2048.27	c |    209981 |   28451   162911   551337 | 2147483647   209933    103 |  0.193 % |
2048.85/2050.01	c |    210320 |   28451   162911   551337 | 2147483647   210272    103 |  0.193 % |
2052.95/2054.14	c |    210692 |   28451   162911   551337 | 2147483647   210644    103 |  0.193 % |
2056.25/2057.47	c |    211101 |   28451   162911   551337 | 2147483647   211053    103 |  0.193 % |
2063.14/2064.39	c |    211550 |   28451   162911   551337 | 2147483647   211502    103 |  0.193 % |
2069.44/2070.62	c |    212045 |   28451   162911   551337 | 2147483647   211997    103 |  0.193 % |
2079.33/2080.54	c |    212587 |   28451   162911   551337 | 2147483647   212539    102 |  0.193 % |
2088.83/2090.10	c |    213183 |   28451   162911   551337 | 2147483647   213135    102 |  0.193 % |
2097.92/2099.15	c |    213839 |   28451   162911   551337 | 2147483647   213791    102 |  0.193 % |
2108.22/2109.48	c |    214560 |   28451   162911   551337 | 2147483647   214512    102 |  0.193 % |
2120.51/2121.70	c |    215353 |   28451   162911   551337 | 2147483647   215305    101 |  0.193 % |
2134.10/2135.35	c |    216224 |   28451   162911   551337 | 2147483647   216176    101 |  0.193 % |
2146.00/2147.29	c |    217182 |   28451   162911   551337 | 2147483647   217134    101 |  0.193 % |
2158.49/2159.73	c |    218235 |   28451   162911   551337 | 2147483647   218187    101 |  0.193 % |
2174.48/2175.75	c |    219394 |   28451   162911   551337 | 2147483647   219346    100 |  0.193 % |
2193.27/2194.52	c |    220668 |   28451   162911   551337 | 2147483647   220620    100 |  0.193 % |
2215.16/2216.42	c |    222068 |   28451   162911   551337 | 2147483647   222020     99 |  0.193 % |
2239.36/2240.65	c |    223608 |   28451   162911   551337 | 2147483647   223560     99 |  0.193 % |
2263.55/2264.81	c |    225304 |   28451   162911   551337 | 2147483647   225256     98 |  0.193 % |
2299.42/2300.76	c |    227168 |   28451   162911   551337 | 2147483647   227120     98 |  0.193 % |
2323.41/2324.76	c |    229219 |   28451   162911   551337 | 2147483647   229171     97 |  0.193 % |
2365.18/2366.50	c |    231473 |   28451   162911   551337 | 2147483647   231425     96 |  0.193 % |
2365.79/2367.11	c |    231574 |   28451   162911   551337 | 2147483647   231526     96 |  0.193 % |
2367.88/2369.20	c |    231684 |   28451   162911   551337 | 2147483647   231636     96 |  0.193 % |
2368.68/2370.03	c |    231805 |   28451   162911   551337 | 2147483647   231757     96 |  0.193 % |
2370.38/2371.73	c |    231938 |   28451   162911   551337 | 2147483647   231890     96 |  0.193 % |
2373.08/2374.41	c |    232085 |   28451   162911   551337 | 2147483647   232037     96 |  0.193 % |
2374.58/2376.00	c |    232247 |   28451   162911   551337 | 2147483647   232199     96 |  0.193 % |
2375.68/2377.08	c |    232423 |   28451   162911   551337 | 2147483647   232375     96 |  0.193 % |
2376.58/2377.99	c |    232617 |   28451   162911   551337 | 2147483647   232569     96 |  0.193 % |
2377.68/2379.06	c |    232829 |   28451   162911   551337 | 2147483647   232781     96 |  0.193 % |
2379.28/2380.64	c |    233062 |   28451   162911   551337 | 2147483647   233014     96 |  0.193 % |
2384.27/2385.68	c |    233320 |   28451   162911   551337 | 2147483647   233272     96 |  0.193 % |
2387.87/2389.28	c |    233601 |   28451   162911   551337 | 2147483647   233553     96 |  0.193 % |
2390.17/2391.50	c |    233910 |   28451   162911   551337 | 2147483647   233862     96 |  0.193 % |
2395.76/2397.10	c |    234249 |   28451   162911   551337 | 2147483647   234201     96 |  0.193 % |
2398.46/2399.85	c |    234623 |   28451   162911   551337 | 2147483647   234575     96 |  0.193 % |
2400.16/2401.54	c |    235033 |   28451   162911   551337 | 2147483647   234985     96 |  0.193 % |
2406.86/2408.29	c |    235483 |   28451   162911   551337 | 2147483647   235435     96 |  0.193 % |
2416.05/2417.48	c |    235976 |   28451   162911   551337 | 2147483647   235928     95 |  0.193 % |
2424.75/2426.13	c |    236518 |   28451   162911   551337 | 2147483647   236470     95 |  0.193 % |
2430.65/2432.04	c |    237114 |   28451   162911   551337 | 2147483647   237066     95 |  0.193 % |
2438.34/2439.73	c |    237770 |   28451   162911   551337 | 2147483647   237722     95 |  0.193 % |
2446.53/2447.90	c |    238490 |   28451   162911   551337 | 2147483647   238442     95 |  0.193 % |
2459.84/2461.25	c |    239282 |   28451   162911   551337 | 2147483647   239234     95 |  0.193 % |
2472.73/2474.18	c |    240155 |   28451   162911   551337 | 2147483647   240107     94 |  0.193 % |
2488.12/2489.52	c |    241115 |   28451   162911   551337 | 2147483647   241067     94 |  0.193 % |
2506.62/2508.03	c |    242168 |   28451   162911   551337 | 2147483647   242120     94 |  0.193 % |
2524.21/2525.64	c |    243327 |   28451   162911   551337 | 2147483647   243279     94 |  0.193 % |
2545.99/2547.43	c |    244601 |   28451   162911   551337 | 2147483647   244553     93 |  0.193 % |
2571.57/2573.02	c |    246002 |   28451   162911   551337 | 2147483647   245954     93 |  0.193 % |
2597.86/2599.34	c |    247542 |   28451   162911   551337 | 2147483647   247494     92 |  0.193 % |
2629.24/2630.75	c |    249236 |   28451   162911   551337 | 2147483647   249188     92 |  0.193 % |
2659.02/2660.58	c |    251100 |   28451   162911   551337 | 2147483647   251052     91 |  0.193 % |
2694.11/2695.62	c |    253150 |   28451   162911   551337 | 2147483647   253102     91 |  0.193 % |
2730.89/2732.42	c |    255405 |   28451   162911   551337 | 2147483647   255357     90 |  0.193 % |
2772.77/2774.35	c |    257883 |   28451   162911   551337 | 2147483647   257835     90 |  0.193 % |
2774.17/2775.74	c |    257983 |   28451   162911   551337 | 2147483647   257935     90 |  0.193 % |
2776.37/2777.92	c |    258094 |   28451   162911   551337 | 2147483647   258046     89 |  0.193 % |
2777.87/2779.46	c |    258215 |   28451   162911   551337 | 2147483647   258167     89 |  0.193 % |
2779.27/2780.84	c |    258349 |   28451   162911   551337 | 2147483647   258301     89 |  0.193 % |
2780.97/2782.57	c |    258496 |   28451   162911   551337 | 2147483647   258448     89 |  0.193 % |
2782.76/2784.30	c |    258657 |   28451   162911   551337 | 2147483647   258609     89 |  0.193 % |
2784.36/2785.92	c |    258833 |   28451   162911   551337 | 2147483647   258785     89 |  0.193 % |
2786.76/2788.31	c |    259026 |   28451   162911   551337 | 2147483647   258978     89 |  0.193 % |
2790.46/2792.08	c |    259239 |   28451   162911   551337 | 2147483647   259191     89 |  0.193 % |
2793.06/2794.62	c |    259473 |   28451   162911   551337 | 2147483647   259425     89 |  0.193 % |
2795.06/2796.68	c |    259730 |   28451   162911   551337 | 2147483647   259682     89 |  0.193 % |
2798.35/2799.93	c |    260012 |   28451   162911   551337 | 2147483647   259964     89 |  0.193 % |
2804.46/2806.04	c |    260322 |   28451   162911   551337 | 2147483647   260274     89 |  0.193 % |
2807.36/2808.98	c |    260661 |   28451   162911   551337 | 2147483647   260613     89 |  0.193 % |
2812.26/2813.83	c |    261033 |   28451   162911   551337 | 2147483647   260985     89 |  0.193 % |
2819.15/2820.72	c |    261443 |   28451   162911   551337 | 2147483647   261395     89 |  0.193 % |
2826.95/2828.56	c |    261894 |   28451   162911   551337 | 2147483647   261846     89 |  0.193 % |
2834.84/2836.49	c |    262387 |   28451   162911   551337 | 2147483647   262339     89 |  0.193 % |
2843.54/2845.17	c |    262931 |   28451   162911   551337 | 2147483647   262883     89 |  0.193 % |
2854.04/2855.68	c |    263527 |   28451   162911   551337 | 2147483647   263479     88 |  0.193 % |
2865.83/2867.45	c |    264182 |   28451   162911   551337 | 2147483647   264134     88 |  0.193 % |
2880.52/2882.10	c |    264903 |   28451   162911   551337 | 2147483647   264855     88 |  0.193 % |
2897.61/2899.27	c |    265696 |   28451   162911   551337 | 2147483647   265648     88 |  0.193 % |
2912.11/2913.79	c |    266568 |   28451   162911   551337 | 2147483647   266520     88 |  0.193 % |
2929.09/2930.72	c |    267527 |   28451   162911   551337 | 2147483647   267479     87 |  0.193 % |
2947.18/2948.87	c |    268582 |   28451   162911   551337 | 2147483647   268534     87 |  0.193 % |
2967.17/2968.88	c |    269740 |   28451   162911   551337 | 2147483647   269692     87 |  0.193 % |
2991.16/2992.86	c |    271014 |   28451   162911   551337 | 2147483647   270966     86 |  0.193 % |
3018.45/3020.12	c |    272416 |   28451   162911   551337 | 2147483647   272368     86 |  0.193 % |
3047.24/3048.91	c |    273959 |   28451   162911   551337 | 2147483647   273911     86 |  0.193 % |
3082.81/3084.55	c |    275654 |   28451   162911   551337 | 2147483647   275606     85 |  0.193 % |
3115.50/3117.30	c |    277517 |   28451   162911   551337 | 2147483647   277469     85 |  0.193 % |
3150.38/3152.16	c |    279567 |   28451   162911   551337 | 2147483647   279519     84 |  0.193 % |
3194.16/3195.96	c |    281822 |   28451   162911   551337 | 2147483647   281774     84 |  0.193 % |
3238.63/3240.42	c |    284301 |   28450   162886   551245 | 2147483647   229344     88 |  0.196 % |
3285.50/3287.30	c |    287026 |   28450   162886   551245 | 2147483647   232069     87 |  0.196 % |
3286.70/3288.56	c |    287126 |   28450   162886   551245 | 2147483647   232169     87 |  0.196 % |
3288.80/3290.68	c |    287237 |   28450   162886   551245 | 2147483647   232280     87 |  0.196 % |
3290.90/3292.76	c |    287359 |   28450   162886   551245 | 2147483647   232402     87 |  0.196 % |
3291.90/3293.73	c |    287492 |   28450   162886   551245 | 2147483647   232535     87 |  0.196 % |
3293.71/3295.60	c |    287638 |   28450   162886   551245 | 2147483647   232681     87 |  0.196 % |
3297.10/3298.91	c |    287799 |   28450   162886   551245 | 2147483647   232842     87 |  0.196 % |
3300.30/3302.10	c |    287978 |   28450   162886   551245 | 2147483647   233021     87 |  0.196 % |
3302.90/3304.74	c |    288172 |   28450   162886   551245 | 2147483647   233215     87 |  0.196 % |
3306.60/3308.47	c |    288385 |   28450   162886   551245 | 2147483647   233428     87 |  0.196 % |
3310.30/3312.15	c |    288620 |   28450   162886   551245 | 2147483647   233663     87 |  0.196 % |
3313.99/3315.87	c |    288876 |   28450   162886   551245 | 2147483647   233919     87 |  0.196 % |
3318.79/3320.61	c |    289157 |   28450   162886   551245 | 2147483647   234200     87 |  0.196 % |
3324.09/3325.96	c |    289466 |   28450   162886   551245 | 2147483647   234509     87 |  0.196 % |
3326.79/3328.63	c |    289806 |   28450   162886   551245 | 2147483647   234849     87 |  0.196 % |
3332.78/3334.66	c |    290178 |   28450   162886   551245 | 2147483647   235221     87 |  0.196 % |
3339.48/3341.31	c |    290587 |   28450   162886   551245 | 2147483647   235630     87 |  0.196 % |
3346.78/3348.63	c |    291038 |   28450   162886   551245 | 2147483647   236081     86 |  0.196 % |
3354.87/3356.78	c |    291531 |   28450   162886   551245 | 2147483647   236574     86 |  0.196 % |
3364.17/3366.06	c |    292073 |   28450   162886   551245 | 2147483647   237116     86 |  0.196 % |
3375.17/3377.04	c |    292669 |   28450   162886   551245 | 2147483647   237712     86 |  0.196 % |
3386.95/3388.87	c |    293325 |   28450   162886   551245 | 2147483647   238368     86 |  0.196 % |
3397.85/3399.75	c |    294047 |   28450   162886   551245 | 2147483647   239090     86 |  0.196 % |
3413.04/3414.91	c |    294839 |   28450   162886   551245 | 2147483647   239882     85 |  0.196 % |
3428.63/3430.54	c |    295711 |   28450   162886   551245 | 2147483647   240754     85 |  0.196 % |
3443.92/3445.81	c |    296669 |   28450   162886   551245 | 2147483647   241712     85 |  0.196 % |
3463.52/3465.50	c |    297722 |   28450   162886   551245 | 2147483647   242765     84 |  0.196 % |
3484.50/3486.42	c |    298880 |   28450   162886   551245 | 2147483647   243923     84 |  0.196 % |
3504.50/3506.41	c |    300153 |   28450   162886   551245 | 2147483647   245196     84 |  0.196 % |
3531.49/3533.48	c |    301554 |   28436   162804   550998 | 2147483647   176893     87 |  0.253 % |
3553.88/3555.89	c ===============================================================================
3553.88/3555.89	c restarts              : 697
3553.88/3555.89	c conflicts             : 302697         (85 /sec)
3553.88/3555.89	c decisions             : 375503         (1.49 % random) (106 /sec)
3553.88/3555.89	c propagations          : 2292215524     (645297 /sec)
3553.88/3555.89	c conflict literals     : 24061790       (52.68 % deleted)
3553.88/3555.89	c Memory used           : 116.78 MB
3553.88/3555.89	c CPU time              : 3552.19 s
3553.88/3555.89	c 
3553.88/3555.89	s UNSATISFIABLE
3553.97/3555.91	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837298-1242867038/watcher-1837298-1242867038 -o /tmp/evaluation-result-1837298-1242867038/solver-1837298-1242867038 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837298-1242867038.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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: 0.77 0.92 0.89 3/64 24820
/proc/meminfo: memFree=1733352/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=0
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314732320 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 266890608722 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/24820/statm: 1339 235 195 169 0 50 0
[pid=24821] ppid=24820 vsize=5356 CPUtime=0
/proc/24821/stat : 24821 (SatELiteGTI) S 24820 24820 24783 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 314732321 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/24821/statm: 1339 238 198 169 0 50 0
[pid=24823] ppid=24821 vsize=2584 CPUtime=0
/proc/24823/stat : 24823 (sed) R 24821 24820 24783 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 314732321 2646016 105 1992294400 4194304 4240196 548682069056 18446744073709551615 4216224 0 0 4096 0 0 0 0 17 0 0 0
/proc/24823/statm: 651 120 96 11 0 55 0

[startup+0.0906991 s]
/proc/loadavg: 0.77 0.92 0.89 3/64 24820
/proc/meminfo: memFree=1733352/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=0
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314732320 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101697 s]
/proc/loadavg: 0.77 0.92 0.89 3/64 24820
/proc/meminfo: memFree=1733352/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=0
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314732320 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301739 s]
/proc/loadavg: 0.77 0.92 0.89 3/64 24820
/proc/meminfo: memFree=1733352/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=0
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314732320 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701816 s]
/proc/loadavg: 0.77 0.92 0.89 3/64 24820
/proc/meminfo: memFree=1733352/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=0
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314732320 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50197 s]
/proc/loadavg: 0.77 0.92 0.89 2/66 24825
/proc/meminfo: memFree=1693848/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 5356

[startup+3.10226 s]
/proc/loadavg: 0.77 0.92 0.89 2/66 24826
/proc/meminfo: memFree=1713816/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=12988 CPUtime=1.65
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 3031 0 0 0 164 1 0 0 25 0 1 0 314732464 13299712 2990 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 3247 2990 77 171 0 3074 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 18344

[startup+6.30188 s]
/proc/loadavg: 0.79 0.92 0.89 2/66 24826
/proc/meminfo: memFree=1713176/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=13384 CPUtime=4.84
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 3129 0 0 0 483 1 0 0 25 0 1 0 314732464 13705216 3088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 3346 3088 77 171 0 3173 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 18740

[startup+12.7011 s]
/proc/loadavg: 0.81 0.92 0.89 2/66 24826
/proc/meminfo: memFree=1712664/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=13912 CPUtime=11.24
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 3263 0 0 0 1122 2 0 0 25 0 1 0 314732464 14245888 3222 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 3478 3222 77 171 0 3305 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 19268

[startup+25.5016 s]
/proc/loadavg: 0.85 0.93 0.90 2/66 24826
/proc/meminfo: memFree=1711768/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=14968 CPUtime=24.03
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 3531 0 0 0 2401 2 0 0 25 0 1 0 314732464 15327232 3490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 3742 3490 77 171 0 3569 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 20324

[startup+51.1015 s]
/proc/loadavg: 0.90 0.93 0.90 2/66 24826
/proc/meminfo: memFree=1709784/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=16948 CPUtime=49.61
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 4030 0 0 0 4959 2 0 0 25 0 1 0 314732464 17354752 3989 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 4237 3989 77 171 0 4064 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 22304

[startup+102.305 s]
/proc/loadavg: 0.95 0.94 0.90 2/66 24826
/proc/meminfo: memFree=1706520/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=20156 CPUtime=100.79
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 4822 0 0 0 10075 4 0 0 25 0 1 0 314732464 20639744 4781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 5039 4781 77 171 0 4866 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 25512

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.91 2/66 24826
/proc/meminfo: memFree=1702488/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=24120 CPUtime=160.75
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 5808 0 0 0 16070 5 0 0 25 0 1 0 314732464 24698880 5767 1992294400 134512640 135215339 4294956240 18446744073709551615 134532752 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 6030 5767 77 171 0 5857 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 29476

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.91 2/66 24826
/proc/meminfo: memFree=1697688/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=28784 CPUtime=220.73
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 6989 0 0 0 22065 8 0 0 25 0 1 0 314732464 29474816 6948 1992294400 134512640 135215339 4294956240 18446744073709551615 134538032 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 7196 6948 77 171 0 7023 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 34140

[startup+282.303 s]
/proc/loadavg: 0.99 0.96 0.91 2/66 24826
/proc/meminfo: memFree=1693464/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=33124 CPUtime=280.68
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 8064 0 0 0 28059 9 0 0 25 0 1 0 314732464 33918976 8023 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 8281 8023 77 171 0 8108 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 38480

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24826
/proc/meminfo: memFree=1688792/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=37780 CPUtime=340.65
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 9203 0 0 0 34054 11 0 0 25 0 1 0 314732464 38686720 9162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 9445 9162 77 171 0 9272 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 43136

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24826
/proc/meminfo: memFree=1684376/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=42212 CPUtime=400.62
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 10311 0 0 0 40050 12 0 0 25 0 1 0 314732464 43225088 10270 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 10553 10270 77 171 0 10380 0
Current children cumulated CPU time (s) 402.03

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


[startup+3162.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24832
/proc/meminfo: memFree=1606104/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119340 CPUtime=3159.16
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29337 0 0 0 315878 38 0 0 25 0 1 0 314732464 122204160 29296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29835 29296 77 171 0 29662 0
Current children cumulated CPU time (s) 3160.57
Current children cumulated vsize (KiB) 124696

[startup+3222.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24834
/proc/meminfo: memFree=1605784/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3219.13
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29394 0 0 0 321875 38 0 0 25 0 1 0 314732464 122445824 29353 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29353 77 171 0 29721 0
Current children cumulated CPU time (s) 3220.54
Current children cumulated vsize (KiB) 124932

[startup+3282.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24834
/proc/meminfo: memFree=1605720/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3279.11
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29394 0 0 0 327873 38 0 0 25 0 1 0 314732464 122445824 29353 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29353 77 171 0 29721 0
Current children cumulated CPU time (s) 3280.52
Current children cumulated vsize (KiB) 124932

[startup+3342.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24834
/proc/meminfo: memFree=1605656/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3339.07
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29395 0 0 0 333869 38 0 0 25 0 1 0 314732464 122445824 29354 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29354 77 171 0 29721 0
Current children cumulated CPU time (s) 3340.48
Current children cumulated vsize (KiB) 124932

[startup+3402.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 24834
/proc/meminfo: memFree=1605592/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3399.04
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29408 0 0 0 339866 38 0 0 25 0 1 0 314732464 122445824 29367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29367 77 171 0 29721 0
Current children cumulated CPU time (s) 3400.45
Current children cumulated vsize (KiB) 124932

[startup+3462.3 s]
/proc/loadavg: 1.07 0.99 0.91 2/66 24834
/proc/meminfo: memFree=1605464/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3459.01
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29408 0 0 0 345863 38 0 0 25 0 1 0 314732464 122445824 29367 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29367 77 171 0 29721 0
Current children cumulated CPU time (s) 3460.42
Current children cumulated vsize (KiB) 124932

[startup+3522.3 s]
/proc/loadavg: 1.13 1.02 0.93 2/66 24834
/proc/meminfo: memFree=1605400/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3518.98
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29413 0 0 0 351860 38 0 0 25 0 1 0 314732464 122445824 29372 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29372 77 171 0 29721 0
Current children cumulated CPU time (s) 3520.39
Current children cumulated vsize (KiB) 124932

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

[startup+3532.7 s]
/proc/loadavg: 1.11 1.02 0.93 2/66 24834
/proc/meminfo: memFree=1605400/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3529.38
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29414 0 0 0 352900 38 0 0 25 0 1 0 314732464 122445824 29373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29373 77 171 0 29721 0
Current children cumulated CPU time (s) 3530.79
Current children cumulated vsize (KiB) 124932

[startup+3545.5 s]
/proc/loadavg: 1.09 1.01 0.93 2/66 24834
/proc/meminfo: memFree=1605400/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3542.17
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29414 0 0 0 354179 38 0 0 25 0 1 0 314732464 122445824 29373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29373 77 171 0 29721 0
Current children cumulated CPU time (s) 3543.58
Current children cumulated vsize (KiB) 124932

[startup+3551.91 s]
/proc/loadavg: 1.08 1.01 0.93 2/66 24834
/proc/meminfo: memFree=1605400/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3548.57
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29414 0 0 0 354819 38 0 0 25 0 1 0 314732464 122445824 29373 1992294400 134512640 135215339 4294956240 18446744073709551615 134538101 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29373 77 171 0 29721 0
Current children cumulated CPU time (s) 3549.98
Current children cumulated vsize (KiB) 124932

[startup+3553.5 s]
/proc/loadavg: 1.07 1.01 0.93 2/66 24834
/proc/meminfo: memFree=1605400/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3550.17
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29414 0 0 0 354979 38 0 0 25 0 1 0 314732464 122445824 29373 1992294400 134512640 135215339 4294956240 18446744073709551615 134526315 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29373 77 171 0 29721 0
Current children cumulated CPU time (s) 3551.58
Current children cumulated vsize (KiB) 124932

[startup+3555.1 s]
/proc/loadavg: 1.07 1.01 0.93 2/66 24834
/proc/meminfo: memFree=1605400/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3551.77
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29414 0 0 0 355139 38 0 0 25 0 1 0 314732464 122445824 29373 1992294400 134512640 135215339 4294956240 18446744073709551615 134526303 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29373 77 171 0 29721 0
Current children cumulated CPU time (s) 3553.18
Current children cumulated vsize (KiB) 124932

[startup+3555.5 s]
/proc/loadavg: 1.07 1.01 0.93 2/66 24834
/proc/meminfo: memFree=1605400/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=119576 CPUtime=3552.17
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194304 29414 0 0 0 355179 38 0 0 25 0 1 0 314732464 122445824 29373 1992294400 134512640 135215339 4294956240 18446744073709551615 134526019 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 29894 29373 77 171 0 29721 0
Current children cumulated CPU time (s) 3553.58
Current children cumulated vsize (KiB) 124932

[startup+3555.9 s]
/proc/loadavg: 1.07 1.01 0.93 2/66 24834
/proc/meminfo: memFree=1605400/2055920 swapFree=4143668/4192956
[pid=24820] ppid=24818 vsize=5356 CPUtime=1.41
/proc/24820/stat : 24820 (SatELiteGTI) S 24818 24820 24783 0 -1 4194304 336 10043 0 0 0 0 133 8 16 0 1 0 314732320 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24820/statm: 1339 239 197 169 0 50 0
[pid=24826] ppid=24820 vsize=0 CPUtime=3552.56
/proc/24826/stat : 24826 (minisat_static) R 24820 24820 24783 0 -1 4194308 29420 0 0 0 355218 38 0 0 25 0 1 0 314732464 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/24826/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3553.97
Current children cumulated vsize (KiB) 5356

Child status: 20
Real time (s): 3555.93
CPU time (s): 3554.03
CPU user time (s): 3553.53
CPU system time (s): 0.504923
CPU usage (%): 99.9467
Max. virtual memory (cumulated for all children) (KiB): 124932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.53
system time used= 0.504923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39954
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= 47
involuntary context switches= 11502

runsolver used 2.89256 second user time and 10.1165 second system time

The end

Launcher Data 

Begin job on node38 at 2009-05-21 02:50:39
IDJOB=1837298
IDBENCH=70821
IDSOLVER=674
FILE ID=node38/1837298-1242867038
PBS_JOBID= 9328567
Free space on /tmp= 66156 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-10.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837298-1242867038/watcher-1837298-1242867038 -o /tmp/evaluation-result-1837298-1242867038/solver-1837298-1242867038 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837298-1242867038.cnf

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

MD5SUM BENCH= 0260f441a1d07270edb6a85b2fc90d1d
RANDOM SEED=296668913

node38.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.265
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.265
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:       1733896 kB
Buffers:         35720 kB
Cached:         206376 kB
SwapCached:      43368 kB
Active:         180320 kB
Inactive:       107512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1733896 kB
SwapTotal:     4192956 kB
SwapFree:      4143668 kB
Dirty:            5948 kB
Writeback:           0 kB
Mapped:          13824 kB
Slab:            20140 kB
Committed_AS:  1114904 kB
PageTables:       1456 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= 66156 MiB
End job on node38 at 2009-05-21 03:49:55