Trace number 1822001

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr r-2009-03-18? (TO) 1200.03 1199.93

General information on the benchmark

Namevelev-pipe-uns-1.0-8.cnf
MD5SUM0767e5dbf6844720495e9eb5423112e1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark739.97
Satisfiable
(Un)Satisfiability was proved
Number of variables35065
Number of clauses1332773
Sum of the clauses size3936683
Maximum clause length178
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21290115
Number of clauses of size 314508
Number of clauses of size 4256
Number of clauses of size 5216
Number of clauses of size over 527677

Solver Data 

0.00/0.00	c Parsing...
1.02/1.03	c ==============================================================================
1.02/1.03	c |           |     ORIGINAL     |              LEARNT              |          |
1.02/1.03	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.02/1.03	c ==============================================================================
1.02/1.03	c |         0 | 1332772  3936682 |  399831       0        0     nan |  0.000 % |
9.42/9.43	c |         0 | 1317234  4010071 |      --       0       --      -- |     --   | -15195/74092
9.42/9.43	c ==============================================================================
9.42/9.43	c Result  :   #vars: 30665   #clauses: 1317234   #literals: 4010071
9.42/9.43	c CPU time:   9.24 s
9.42/9.43	c ==============================================================================
10.72/10.72	c This is MiniSat 2.0 beta
10.72/10.72	c WARNING: for repeatability, setting FPU to use double precision
10.72/10.72	c ============================[ Problem Statistics ]=============================
10.72/10.72	c |                                                                             |
10.72/10.72	c |  Number of variables:  30665                                                |
10.72/10.72	c |  Number of clauses:    1317234                                              |
11.52/11.51	c |  Parsing time:         0.73         s                                       |
11.52/11.57	c ============================[ Search Statistics ]==============================
11.52/11.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.52/11.57	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.52/11.57	c ===============================================================================
11.52/11.57	c |         0 |   30665  1317234  4010071 |   439078        0    nan |  0.000 % |
12.42/12.42	c |       512 |   30665  1317234  4010071 |   439078      512    121 |  0.000 % |
12.62/12.69	c |      1026 |   30665  1317234  4010071 |   439078     1026    106 |  0.000 % |
12.92/12.99	c |      1538 |   30665  1317234  4010071 |   439078     1538    125 |  0.000 % |
13.12/13.17	c |      2562 |   30665  1317234  4010071 |   439078     2562    104 |  0.000 % |
13.32/13.38	c |      3076 |   30665  1317234  4010071 |   439078     3076    110 |  0.000 % |
13.52/13.61	c |      3590 |   30665  1317234  4010071 |   439078     3590    107 |  0.000 % |
14.22/14.30	c |      4614 |   30665  1317234  4010071 |   439078     4614    119 |  0.000 % |
14.92/14.98	c |      6663 |   30665  1317234  4010071 |   439078     6663    102 |  0.000 % |
15.22/15.29	c |      7176 |   30665  1317234  4010071 |   439078     7176    104 |  0.000 % |
15.62/15.68	c |      7689 |   30665  1317234  4010071 |   439078     7689    106 |  0.000 % |
16.32/16.32	c |      8713 |   30665  1317234  4010071 |   439078     8713    110 |  0.000 % |
16.72/16.73	c |      9226 |   30665  1317234  4010071 |   439078     9226    111 |  0.000 % |
17.12/17.15	c |      9739 |   30665  1317234  4010071 |   439078     9739    113 |  0.000 % |
17.92/18.01	c |     10764 |   30665  1317234  4010071 | 2147483647    10764    115 |  0.000 % |
19.12/19.14	c |     12812 |   30665  1317234  4010071 | 2147483647    12812    120 |  0.000 % |
21.22/21.31	c |     16908 |   30665  1317234  4010071 | 2147483647    16908    125 |  0.000 % |
21.72/21.80	c |     17421 |   30665  1317234  4010071 | 2147483647    17421    125 |  0.000 % |
22.03/22.10	c |     17933 |   30665  1317234  4010071 | 2147483647    17933    126 |  0.000 % |
22.72/22.73	c |     18958 |   30665  1317234  4010071 | 2147483647    18958    127 |  0.000 % |
22.92/22.97	c |     19470 |   30665  1317234  4010071 | 2147483647    19470    127 |  0.000 % |
23.22/23.22	c |     19983 |   30665  1317234  4010071 | 2147483647    19983    127 |  0.000 % |
23.72/23.74	c |     21009 |   30665  1317234  4010071 | 2147483647    21009    128 |  0.000 % |
24.62/24.68	c |     23057 |   30665  1317234  4010071 | 2147483647    23057    129 |  0.000 % |
24.82/24.91	c |     23570 |   30665  1317234  4010071 | 2147483647    23570    128 |  0.000 % |
25.22/25.22	c |     24082 |   30665  1317234  4010071 | 2147483647    24082    128 |  0.000 % |
25.62/25.70	c |     25106 |   30665  1317234  4010071 | 2147483647    25106    129 |  0.000 % |
25.92/25.96	c |     25621 |   30665  1317234  4010071 | 2147483647    25621    129 |  0.000 % |
26.22/26.22	c |     26133 |   30665  1317234  4010071 | 2147483647    26133    128 |  0.000 % |
26.92/26.92	c |     27159 |   30665  1317234  4010071 | 2147483647    27159    129 |  0.000 % |
28.12/28.15	c |     29208 |   30665  1317234  4010071 | 2147483647    29208    128 |  0.000 % |
30.12/30.13	c |     33305 |   30665  1317234  4010071 | 2147483647    33305    126 |  0.000 % |
34.52/34.57	c |     41498 |   30665  1317234  4010071 | 2147483647    41498    123 |  0.000 % |
34.82/34.90	c |     42010 |   30665  1317234  4010071 | 2147483647    42010    123 |  0.000 % |
35.12/35.11	c |     42522 |   30665  1317234  4010071 | 2147483647    42522    123 |  0.000 % |
35.62/35.66	c |     43546 |   30665  1317234  4010071 | 2147483647    43546    122 |  0.000 % |
36.02/36.01	c |     44059 |   30665  1317234  4010071 | 2147483647    44059    122 |  0.000 % |
36.22/36.27	c |     44571 |   30665  1317234  4010071 | 2147483647    44571    122 |  0.000 % |
36.82/36.83	c |     45595 |   30665  1317234  4010071 | 2147483647    45595    122 |  0.000 % |
37.72/37.78	c |     47644 |   30665  1317234  4010071 | 2147483647    47644    122 |  0.000 % |
38.02/38.09	c |     48156 |   30665  1317234  4010071 | 2147483647    48156    122 |  0.000 % |
38.32/38.41	c |     48668 |   30665  1317234  4010071 | 2147483647    48668    122 |  0.000 % |
38.92/39.00	c |     49693 |   30665  1317234  4010071 | 2147483647    49693    121 |  0.000 % |
39.22/39.24	c |     50205 |   30665  1317234  4010071 | 2147483647    50205    120 |  0.000 % |
39.52/39.55	c |     50718 |   30665  1317234  4010071 | 2147483647    50718    120 |  0.000 % |
40.22/40.22	c |     51745 |   30665  1317234  4010071 | 2147483647    51745    120 |  0.000 % |
41.92/41.93	c |     53794 |   30665  1317234  4010071 | 2147483647    53794    121 |  0.000 % |
44.92/44.97	c |     57890 |   30665  1317234  4010071 | 2147483647    57890    124 |  0.000 % |
45.13/45.18	c |     58406 |   30665  1317234  4010071 | 2147483647    58406    124 |  0.000 % |
45.52/45.53	c |     58918 |   30665  1317234  4010071 | 2147483647    58918    124 |  0.000 % |
46.02/46.02	c |     59944 |   30665  1317234  4010071 | 2147483647    59944    123 |  0.000 % |
46.72/46.74	c |     60456 |   30665  1317234  4010071 | 2147483647    60456    123 |  0.000 % |
47.52/47.52	c |     60973 |   30665  1317234  4010071 | 2147483647    60973    123 |  0.000 % |
48.12/48.15	c |     61997 |   30665  1317234  4010071 | 2147483647    61997    123 |  0.000 % |
49.42/49.45	c |     64045 |   30665  1317234  4010071 | 2147483647    64045    122 |  0.000 % |
49.92/49.92	c |     64557 |   30665  1317234  4010071 | 2147483647    64557    123 |  0.000 % |
50.32/50.39	c |     65069 |   30665  1317234  4010071 | 2147483647    65069    123 |  0.000 % |
51.22/51.26	c |     66094 |   30665  1317234  4010071 | 2147483647    66094    123 |  0.000 % |
51.52/51.60	c |     66606 |   30665  1317234  4010071 | 2147483647    66606    124 |  0.000 % |
51.82/51.86	c |     67119 |   30665  1317234  4010071 | 2147483647    67119    123 |  0.000 % |
52.22/52.29	c |     68145 |   30665  1317234  4010071 | 2147483647    68145    123 |  0.000 % |
53.62/53.62	c |     70193 |   30665  1317234  4010071 | 2147483647    70193    123 |  0.000 % |
57.13/57.19	c |     74289 |   30665  1317234  4010071 | 2147483647    74289    123 |  0.000 % |
62.83/62.91	c |     82481 |   30665  1317234  4010071 | 2147483647    82481    122 |  0.000 % |
75.73/75.72	c |     98865 |   30665  1317234  4010071 | 2147483647    98865    120 |  0.000 % |
76.13/76.15	c |     99378 |   30665  1317234  4010071 | 2147483647    99378    120 |  0.000 % |
76.83/76.89	c |     99890 |   30665  1317234  4010071 | 2147483647    99890    120 |  0.000 % |
77.93/77.94	c |    100915 |   30665  1317234  4010071 | 2147483647   100915    119 |  0.000 % |
78.53/78.55	c |    101428 |   30665  1317234  4010071 | 2147483647   101428    119 |  0.000 % |
79.23/79.22	c |    101942 |   30665  1317234  4010071 | 2147483647   101942    119 |  0.000 % |
80.03/80.02	c |    102968 |   30665  1317234  4010071 | 2147483647   102968    119 |  0.000 % |
81.73/81.81	c |    105016 |   30665  1317234  4010071 | 2147483647   105016    118 |  0.000 % |
82.43/82.42	c |    105528 |   30665  1317234  4010071 | 2147483647   105528    118 |  0.000 % |
82.93/83.00	c |    106043 |   30665  1317234  4010071 | 2147483647   106043    118 |  0.000 % |
84.03/84.06	c |    107068 |   30665  1317234  4010071 | 2147483647   107068    118 |  0.000 % |
84.83/84.85	c |    107580 |   30665  1317234  4010071 | 2147483647   107580    118 |  0.000 % |
85.43/85.42	c |    108093 |   30665  1317234  4010071 | 2147483647   108093    118 |  0.000 % |
86.23/86.26	c |    109124 |   30665  1317234  4010071 | 2147483647   109124    118 |  0.000 % |
88.23/88.31	c |    111172 |   30665  1317234  4010071 | 2147483647   111172    118 |  0.000 % |
91.53/91.54	c |    115268 |   30665  1317234  4010071 | 2147483647   115268    116 |  0.000 % |
92.13/92.13	c |    115784 |   30665  1317234  4010071 | 2147483647   115784    116 |  0.000 % |
92.63/92.62	c |    116297 |   30665  1317234  4010071 | 2147483647   116297    116 |  0.000 % |
93.63/93.65	c |    117321 |   30665  1317234  4010071 | 2147483647   117321    116 |  0.000 % |
94.23/94.29	c |    117834 |   30665  1317234  4010071 | 2147483647   117834    116 |  0.000 % |
94.83/94.89	c |    118346 |   30665  1317234  4010071 | 2147483647   118346    116 |  0.000 % |
95.83/95.82	c |    119371 |   30665  1317234  4010071 | 2147483647   119371    115 |  0.000 % |
97.63/97.64	c |    121420 |   30665  1317234  4010071 | 2147483647   121420    115 |  0.000 % |
98.33/98.35	c |    121932 |   30665  1317234  4010071 | 2147483647   121932    115 |  0.000 % |
99.03/99.06	c |    122445 |   30665  1317234  4010071 | 2147483647   122445    115 |  0.000 % |
100.03/100.06	c |    123469 |   30665  1317234  4010071 | 2147483647   123469    114 |  0.000 % |
100.43/100.49	c |    123981 |   30665  1317234  4010071 | 2147483647   123981    114 |  0.000 % |
100.83/100.85	c |    124495 |   30665  1317234  4010071 | 2147483647   124495    114 |  0.000 % |
101.83/101.87	c |    125519 |   30665  1317234  4010071 | 2147483647   125519    114 |  0.000 % |
103.73/103.72	c |    127568 |   30665  1317234  4010071 | 2147483647   127568    114 |  0.000 % |
106.83/106.87	c |    131665 |   30665  1317234  4010071 | 2147483647   131665    113 |  0.000 % |
113.43/113.51	c |    139857 |   30665  1317234  4010071 | 2147483647   139857    111 |  0.000 % |
113.83/113.88	c |    140371 |   30665  1317234  4010071 | 2147483647   140371    110 |  0.000 % |
114.23/114.29	c |    140884 |   30665  1317234  4010071 | 2147483647   140884    110 |  0.000 % |
115.13/115.12	c |    141908 |   30665  1317234  4010071 | 2147483647   141908    110 |  0.000 % |
115.63/115.68	c |    142420 |   30665  1317234  4010071 | 2147483647   142420    110 |  0.000 % |
116.03/116.09	c |    142932 |   30665  1317234  4010071 | 2147483647   142932    110 |  0.000 % |
116.93/116.96	c |    143956 |   30665  1317234  4010071 | 2147483647   143956    109 |  0.000 % |
118.93/118.98	c |    146004 |   30665  1317234  4010071 | 2147483647   146004    109 |  0.000 % |
119.63/119.63	c |    146516 |   30665  1317234  4010071 | 2147483647   146516    110 |  0.000 % |
120.53/120.57	c |    147030 |   30665  1317234  4010071 | 2147483647   147030    109 |  0.000 % |
122.03/122.05	c |    148055 |   30665  1317234  4010071 | 2147483647   148055    110 |  0.000 % |
123.33/123.36	c |    148568 |   30665  1317234  4010071 | 2147483647   148568    110 |  0.000 % |
123.83/123.88	c |    149083 |   30665  1317234  4010071 | 2147483647   149083    110 |  0.000 % |
125.33/125.37	c |    150107 |   30665  1317234  4010071 | 2147483647   150107    110 |  0.000 % |
127.23/127.24	c |    152155 |   30665  1317234  4010071 | 2147483647   152155    110 |  0.000 % |
131.43/131.45	c |    156252 |   30665  1317234  4010071 | 2147483647   156252    110 |  0.000 % |
132.33/132.35	c |    156764 |   30665  1317234  4010071 | 2147483647   156764    110 |  0.000 % |
132.63/132.68	c |    157276 |   30665  1317234  4010071 | 2147483647   157276    110 |  0.000 % |
134.43/134.47	c |    158300 |   30665  1317234  4010071 | 2147483647   158300    110 |  0.000 % |
135.23/135.29	c |    158812 |   30665  1317234  4010071 | 2147483647   158812    110 |  0.000 % |
135.53/135.56	c |    159326 |   30665  1317234  4010071 | 2147483647   159326    110 |  0.000 % |
136.93/136.97	c |    160350 |   30665  1317234  4010071 | 2147483647   160350    110 |  0.000 % |
139.24/139.22	c |    162398 |   30665  1317234  4010071 | 2147483647   162398    110 |  0.000 % |
139.84/139.84	c |    162914 |   30665  1317234  4010071 | 2147483647   162914    110 |  0.000 % |
140.34/140.33	c |    163427 |   30665  1317234  4010071 | 2147483647   163427    110 |  0.000 % |
141.04/141.11	c |    164451 |   30665  1317234  4010071 | 2147483647   164451    110 |  0.000 % |
141.34/141.40	c |    164964 |   30665  1317234  4010071 | 2147483647   164964    110 |  0.000 % |
141.74/141.75	c |    165476 |   30665  1317234  4010071 | 2147483647   165476    110 |  0.000 % |
143.34/143.38	c |    166500 |   30665  1317234  4010071 | 2147483647   166500    110 |  0.000 % |
145.24/145.29	c |    168551 |   30665  1317234  4010071 | 2147483647   168551    111 |  0.000 % |
148.94/148.95	c |    172647 |   30665  1317234  4010071 | 2147483647   172647    114 |  0.000 % |
155.94/155.96	c |    180839 |   30665  1317234  4010071 | 2147483647   180839    115 |  0.000 % |
172.84/172.90	c |    197224 |   30665  1317234  4010071 | 2147483647   197224    121 |  0.000 % |
216.13/216.11	c |    229995 |   30665  1317234  4010071 | 2147483647   229995    115 |  0.000 % |
216.74/216.72	c |    230507 |   30665  1317234  4010071 | 2147483647   230507    115 |  0.000 % |
217.84/217.86	c |    231019 |   30665  1317234  4010071 | 2147483647   231019    115 |  0.000 % |
220.14/220.18	c |    232043 |   30665  1317234  4010071 | 2147483647   232043    115 |  0.000 % |
221.84/221.85	c |    232555 |   30665  1317234  4010071 | 2147483647   232555    115 |  0.000 % |
222.54/222.54	c |    233068 |   30665  1317234  4010071 | 2147483647   233068    115 |  0.000 % |
224.14/224.20	c |    234092 |   30665  1317234  4010071 | 2147483647   234092    115 |  0.000 % |
226.24/226.30	c |    236140 |   30665  1317234  4010071 | 2147483647   236140    115 |  0.000 % |
226.94/226.97	c |    236652 |   30665  1317234  4010071 | 2147483647   236652    115 |  0.000 % |
227.44/227.51	c |    237165 |   30665  1317234  4010071 | 2147483647   237165    115 |  0.000 % |
228.94/228.96	c |    238189 |   30665  1317234  4010071 | 2147483647   238189    114 |  0.000 % |
229.84/229.83	c |    238703 |   30665  1317234  4010071 | 2147483647   238703    114 |  0.000 % |
230.34/230.33	c |    239217 |   30665  1317234  4010071 | 2147483647   239217    114 |  0.000 % |
233.24/233.22	c |    240242 |   30665  1317234  4010071 | 2147483647   240242    114 |  0.000 % |
238.24/238.29	c |    242290 |   30665  1317234  4010071 | 2147483647   242290    114 |  0.000 % |
244.24/244.26	c |    246389 |   30665  1317234  4010071 | 2147483647   246389    113 |  0.000 % |
244.94/245.00	c |    246902 |   30665  1317234  4010071 | 2147483647   246902    113 |  0.000 % |
245.94/245.95	c |    247414 |   30665  1317234  4010071 | 2147483647   247414    113 |  0.000 % |
247.54/247.60	c |    248440 |   30665  1317234  4010071 | 2147483647   248440    113 |  0.000 % |
248.44/248.49	c |    248953 |   30665  1317234  4010071 | 2147483647   248953    112 |  0.000 % |
249.44/249.41	c |    249465 |   30665  1317234  4010071 | 2147483647   249465    112 |  0.000 % |
251.04/251.08	c |    250490 |   30665  1317234  4010071 | 2147483647   250490    112 |  0.000 % |
253.84/253.85	c |    252539 |   30665  1317234  4010071 | 2147483647   252539    112 |  0.000 % |
254.44/254.42	c |    253053 |   30665  1317234  4010071 | 2147483647   253053    112 |  0.000 % |
255.44/255.47	c |    253565 |   30665  1317234  4010071 | 2147483647   253565    112 |  0.000 % |
256.54/256.60	c |    254589 |   30665  1317234  4010071 | 2147483647   254589    112 |  0.000 % |
257.54/257.54	c |    255101 |   30665  1317234  4010071 | 2147483647   255101    112 |  0.000 % |
258.24/258.21	c |    255614 |   30665  1317234  4010071 | 2147483647   255614    112 |  0.000 % |
259.44/259.47	c |    256639 |   30665  1317234  4010071 | 2147483647   256639    111 |  0.000 % |
263.34/263.31	c |    258688 |   30665  1317234  4010071 | 2147483647   258688    111 |  0.000 % |
268.14/268.16	c |    262784 |   30665  1317234  4010071 | 2147483647   262784    110 |  0.000 % |
277.74/277.78	c |    270977 |   30665  1317234  4010071 | 2147483647   270977    109 |  0.000 % |
278.24/278.28	c |    271491 |   30665  1317234  4010071 | 2147483647   271491    109 |  0.000 % |
278.84/278.85	c |    272003 |   30665  1317234  4010071 | 2147483647   272003    109 |  0.000 % |
280.44/280.47	c |    273028 |   30665  1317234  4010071 | 2147483647   273028    109 |  0.000 % |
281.24/281.27	c |    273541 |   30665  1317234  4010071 | 2147483647   273541    109 |  0.000 % |
282.04/282.06	c |    274053 |   30665  1317234  4010071 | 2147483647   274053    109 |  0.000 % |
283.54/283.55	c |    275078 |   30665  1317234  4010071 | 2147483647   275078    108 |  0.000 % |
285.84/285.84	c |    277126 |   30665  1317234  4010071 | 2147483647   277126    108 |  0.000 % |
286.34/286.38	c |    277638 |   30665  1317234  4010071 | 2147483647   277638    108 |  0.000 % |
286.94/286.95	c |    278152 |   30665  1317234  4010071 | 2147483647   278152    108 |  0.000 % |
287.94/287.99	c |    279181 |   30665  1317234  4010071 | 2147483647   279181    108 |  0.000 % |
288.64/288.62	c |    279694 |   30665  1317234  4010071 | 2147483647   279694    108 |  0.000 % |
289.14/289.18	c |    280207 |   30665  1317234  4010071 | 2147483647   280207    108 |  0.000 % |
290.34/290.40	c |    281232 |   30665  1317234  4010071 | 2147483647   281232    108 |  0.000 % |
292.14/292.12	c |    283280 |   30665  1317234  4010071 | 2147483647   283280    107 |  0.000 % |
296.44/296.50	c |    287377 |   30665  1317234  4010071 | 2147483647   287377    107 |  0.000 % |
297.14/297.12	c |    287889 |   30665  1317234  4010071 | 2147483647   287889    107 |  0.000 % |
297.54/297.55	c |    288402 |   30665  1317234  4010071 | 2147483647   288402    107 |  0.000 % |
298.74/298.75	c |    289428 |   30665  1317234  4010071 | 2147483647   289428    106 |  0.000 % |
299.25/299.28	c |    289940 |   30665  1317234  4010071 | 2147483647   289940    106 |  0.000 % |
299.74/299.77	c |    290452 |   30665  1317234  4010071 | 2147483647   290452    106 |  0.000 % |
300.74/300.78	c |    291476 |   30665  1317234  4010071 | 2147483647   291476    106 |  0.000 % |
303.35/303.41	c |    293524 |   30665  1317234  4010071 | 2147483647   293524    106 |  0.000 % |
303.95/303.95	c |    294037 |   30665  1317234  4010071 | 2147483647   294037    106 |  0.000 % |
304.55/304.56	c |    294549 |   30665  1317234  4010071 | 2147483647   294549    106 |  0.000 % |
305.75/305.80	c |    295573 |   30665  1317234  4010071 | 2147483647   295573    105 |  0.000 % |
306.45/306.44	c |    296085 |   30665  1317234  4010071 | 2147483647   296085    105 |  0.000 % |
306.85/306.83	c |    296598 |   30665  1317234  4010071 | 2147483647   296598    105 |  0.000 % |
308.25/308.23	c |    297622 |   30665  1317234  4010071 | 2147483647   297622    105 |  0.000 % |
310.55/310.55	c |    299670 |   30665  1317234  4010071 | 2147483647   299670    106 |  0.000 % |
314.85/314.88	c |    303767 |   30665  1317234  4010071 | 2147483647   303767    107 |  0.000 % |
324.15/324.13	c |    311960 |   30665  1317234  4010071 | 2147483647   311960    107 |  0.001 % |
340.55/340.60	c |    328344 |   30665  1317234  4010071 | 2147483647   328344    109 |  0.000 % |
341.25/341.21	c |    328858 |   30665  1317234  4010071 | 2147483647   328858    109 |  0.000 % |
342.25/342.25	c |    329370 |   30665  1317234  4010071 | 2147483647   329370    109 |  0.001 % |
343.55/343.52	c |    330394 |   30665  1317234  4010071 | 2147483647   330394    109 |  0.000 % |
344.35/344.38	c |    330907 |   30665  1317234  4010071 | 2147483647   330907    109 |  0.000 % |
345.15/345.13	c |    331420 |   30665  1317234  4010071 | 2147483647   331420    109 |  0.000 % |
346.45/346.45	c |    332444 |   30665  1317234  4010071 | 2147483647   332444    109 |  0.000 % |
349.05/349.07	c |    334493 |   30665  1317234  4010071 | 2147483647   334493    109 |  0.000 % |
349.55/349.57	c |    335006 |   30665  1317234  4010071 | 2147483647   335006    109 |  0.000 % |
350.35/350.39	c |    335519 |   30665  1317234  4010071 | 2147483647   335519    109 |  0.000 % |
351.65/351.64	c |    336545 |   30665  1317234  4010071 | 2147483647   336545    109 |  0.000 % |
352.35/352.41	c |    337057 |   30665  1317234  4010071 | 2147483647   337057    109 |  0.000 % |
353.05/353.03	c |    337569 |   30665  1317234  4010071 | 2147483647   337569    109 |  0.000 % |
354.15/354.20	c |    338596 |   30665  1317234  4010071 | 2147483647   338596    109 |  0.000 % |
356.25/356.25	c |    340645 |   30665  1317234  4010071 | 2147483647   340645    109 |  0.000 % |
360.25/360.27	c |    344741 |   30665  1317234  4010071 | 2147483647   344741    110 |  0.000 % |
360.75/360.80	c |    345254 |   30665  1317234  4010071 | 2147483647   345254    110 |  0.000 % |
361.55/361.51	c |    345766 |   30665  1317234  4010071 | 2147483647   345766    110 |  0.000 % |
362.65/362.64	c |    346790 |   30665  1317234  4010071 | 2147483647   346790    110 |  0.000 % |
363.15/363.16	c |    347302 |   30665  1317234  4010071 | 2147483647   347302    109 |  0.000 % |
363.95/363.93	c |    347814 |   30665  1317234  4010071 | 2147483647   347814    109 |  0.000 % |
365.35/365.36	c |    348839 |   30665  1317234  4010071 | 2147483647   348839    109 |  0.000 % |
367.75/367.78	c |    350887 |   30665  1317234  4010071 | 2147483647   350887    109 |  0.000 % |
368.56/368.54	c |    351400 |   30665  1317234  4010071 | 2147483647   351400    109 |  0.000 % |
369.05/369.03	c |    351914 |   30665  1317234  4010071 | 2147483647   351914    109 |  0.000 % |
370.35/370.35	c |    352939 |   30665  1317234  4010071 | 2147483647   352939    109 |  0.000 % |
371.05/371.04	c |    353451 |   30665  1317234  4010071 | 2147483647   353451    109 |  0.000 % |
371.75/371.75	c |    353965 |   30665  1317234  4010071 | 2147483647   353965    109 |  0.000 % |
372.85/372.82	c |    354991 |   30665  1317234  4010071 | 2147483647   354991    109 |  0.000 % |
375.45/375.42	c |    357041 |   30665  1317234  4010071 | 2147483647   357041    109 |  0.000 % |
380.75/380.79	c |    361140 |   30665  1317234  4010071 | 2147483647   361140    111 |  0.000 % |
397.16/397.16	c |    369333 |   30665  1317234  4010071 | 2147483647   369333    110 |  0.000 % |
398.26/398.29	c |    369845 |   30665  1317234  4010071 | 2147483647   369845    110 |  0.000 % |
399.36/399.33	c |    370361 |   30665  1317234  4010071 | 2147483647   370361    110 |  0.000 % |
400.96/401.01	c |    371385 |   30665  1317234  4010071 | 2147483647   371385    110 |  0.000 % |
402.16/402.16	c |    371897 |   30665  1317234  4010071 | 2147483647   371897    110 |  0.000 % |
405.06/405.06	c |    372417 |   30665  1317234  4010071 | 2147483647   372417    110 |  0.000 % |
406.36/406.40	c |    373443 |   30665  1317234  4010071 | 2147483647   373443    110 |  0.000 % |
411.66/411.71	c |    375492 |   30665  1317234  4010071 | 2147483647   375492    110 |  0.000 % |
412.96/412.96	c |    376005 |   30665  1317234  4010071 | 2147483647   376005    110 |  0.000 % |
416.76/416.77	c |    376523 |   30665  1317234  4010071 | 2147483647   376523    110 |  0.000 % |
418.46/418.49	c |    377549 |   30665  1317234  4010071 | 2147483647   377549    110 |  0.000 % |
422.26/422.26	c |    378061 |   30665  1317234  4010071 | 2147483647   378061    110 |  0.000 % |
423.56/423.61	c |    378573 |   30665  1317234  4010071 | 2147483647   378573    110 |  0.000 % |
425.66/425.71	c |    379597 |   30665  1317234  4010071 | 2147483647   379597    110 |  0.000 % |
431.96/431.96	c |    381645 |   30665  1317234  4010071 |   380001   381645    110 |  0.000 % |
443.96/443.98	c |    385741 |   30665  1317234  4010071 |   380001   315887    106 |  0.000 % |
445.06/445.10	c |    386256 |   30665  1317234  4010071 |   380001   316402    106 |  0.000 % |
445.96/445.92	c |    386768 |   30665  1317234  4010071 |   380001   316914    106 |  0.000 % |
448.46/448.42	c |    387796 |   30665  1317234  4010071 |   380001   317942    106 |  0.000 % |
449.06/449.07	c |    388308 |   30665  1317234  4010071 |   380001   318454    106 |  0.000 % |
450.16/450.15	c |    388821 |   30665  1317234  4010071 |   380001   318967    105 |  0.000 % |
453.27/453.27	c |    389846 |   30665  1317234  4010071 |   380001   319992    105 |  0.000 % |
456.96/456.98	c |    391894 |   30665  1317234  4010071 |   320146   322040    105 |  0.000 % |
465.86/465.87	c |    392406 |   30665  1317234  4010071 |   320146   275103    103 |  0.000 % |
466.77/466.77	c |    392918 |   30665  1317234  4010071 |   320146   275615    103 |  0.000 % |
468.47/468.49	c |    393943 |   30665  1317234  4010071 |   320146   276640    103 |  0.000 % |
469.77/469.76	c |    394456 |   30665  1317234  4010071 |   320146   277153    103 |  0.000 % |
470.47/470.45	c |    394969 |   30665  1317234  4010071 |   320146   277666    103 |  0.000 % |
471.97/471.97	c |    395993 |   30665  1317234  4010071 |   320146   278690    103 |  0.000 % |
474.37/474.37	c |    398041 |   30665  1317234  4010071 |   320146   280738    103 |  0.000 % |
479.87/479.87	c |    402137 |   30665  1317234  4010071 | 2147483647   284834    103 |  0.000 % |
493.47/493.46	c |    410331 |   30665  1317234  4010071 | 2147483647   293028    102 |  0.000 % |
512.27/512.23	c |    426715 |   30665  1317234  4010071 | 2147483647   309412    100 |  0.000 % |
550.87/550.84	c |    459484 |   30665  1317234  4010071 | 2147483647   342181     97 |  0.000 % |
624.27/624.27	c |    525021 |   30665  1317234  4010071 | 2147483647   407718     90 |  0.000 % |
624.77/624.75	c |    525533 |   30665  1317234  4010071 | 2147483647   408230     90 |  0.000 % |
625.27/625.28	c |    526046 |   30665  1317234  4010071 | 2147483647   408743     90 |  0.000 % |
626.27/626.30	c |    527070 |   30665  1317234  4010071 | 2147483647   409767     90 |  0.000 % |
627.17/627.17	c |    527583 |   30665  1317234  4010071 | 2147483647   410280     90 |  0.000 % |
627.87/627.88	c |    528095 |   30665  1317234  4010071 | 2147483647   410792     90 |  0.000 % |
628.67/628.65	c |    529121 |   30665  1317234  4010071 | 2147483647   411818     90 |  0.000 % |
631.08/631.04	c |    531170 |   30665  1317234  4010071 | 2147483647   413867     90 |  0.000 % |
631.58/631.57	c |    531687 |   30665  1317234  4010071 | 2147483647   414384     90 |  0.000 % |
632.28/632.25	c |    532199 |   30665  1317234  4010071 | 2147483647   414896     90 |  0.000 % |
633.68/633.65	c |    533223 |   30665  1317234  4010071 | 2147483647   415920     90 |  0.000 % |
634.28/634.26	c |    533735 |   30665  1317234  4010071 | 2147483647   416432     90 |  0.001 % |
634.88/634.83	c |    534252 |   30665  1317234  4010071 | 2147483647   416949     90 |  0.001 % |
635.68/635.63	c |    535277 |   30665  1317234  4010071 | 2147483647   417974     90 |  0.001 % |
637.38/637.40	c |    537326 |   30665  1317234  4010071 | 2147483647   420023     90 |  0.001 % |
641.38/641.32	c |    541424 |   30665  1317234  4010071 | 2147483647   424121     90 |  0.001 % |
641.98/641.91	c |    541937 |   30665  1317234  4010071 | 2147483647   424634     90 |  0.001 % |
642.48/642.42	c |    542450 |   30665  1317234  4010071 | 2147483647   425147     90 |  0.000 % |
643.58/643.55	c |    543476 |   30665  1317234  4010071 | 2147483647   426173     90 |  0.001 % |
644.08/644.11	c |    543988 |   30665  1317234  4010071 | 2147483647   426685     89 |  0.000 % |
644.78/644.72	c |    544501 |   30665  1317234  4010071 | 2147483647   427198     89 |  0.001 % |
646.08/646.04	c |    545525 |   30665  1317234  4010071 | 2147483647   428222     90 |  0.000 % |
649.78/649.73	c |    547573 |   30665  1317234  4010071 | 2147483647   430270     90 |  0.000 % |
652.58/652.52	c |    548086 |   30665  1317234  4010071 | 2147483647   430783     90 |  0.000 % |
653.28/653.23	c |    548598 |   30665  1317234  4010071 | 2147483647   431295     90 |  0.000 % |
654.88/654.90	c |    549624 |   30665  1317234  4010071 | 2147483647   432321     90 |  0.000 % |
655.38/655.31	c |    550136 |   30665  1317234  4010071 | 2147483647   432833     91 |  0.000 % |
655.78/655.72	c |    550648 |   30665  1317234  4010071 | 2147483647   433345     91 |  0.000 % |
656.98/656.97	c |    551673 |   30665  1317234  4010071 | 2147483647   434370     91 |  0.000 % |
659.18/659.14	c |    553723 |   30665  1317234  4010071 | 2147483647   436420     91 |  0.000 % |
665.48/665.46	c |    557820 |   30665  1317234  4010071 | 2147483647   440517     91 |  0.000 % |
684.18/684.11	c |    566012 |   30665  1317234  4010071 |   442697   404154     88 |  0.000 % |
684.78/684.77	c |    566524 |   30665  1317234  4010071 |   442697   404666     88 |  0.000 % |
686.18/686.14	c |    567036 |   30665  1317234  4010071 |   442697   405178     88 |  0.000 % |
687.28/687.29	c |    568061 |   30665  1317234  4010071 |   442697   406203     89 |  0.000 % |
688.18/688.19	c |    568573 |   30665  1317234  4010071 |   442697   406715     88 |  0.000 % |
689.48/689.44	c |    569088 |   30665  1317234  4010071 |   442697   407230     88 |  0.000 % |
691.28/691.22	c |    570112 |   30665  1317234  4010071 |   408142   408254     89 |  0.000 % |
696.48/696.41	c |    572163 |   30665  1317234  4010071 |   408142   363251     87 |  0.000 % |
696.98/696.97	c |    572676 |   30665  1317234  4010071 |   408142   363764     87 |  0.000 % |
697.68/697.62	c |    573190 |   30665  1317234  4010071 |   408142   364278     87 |  0.000 % |
698.98/698.96	c |    574219 |   30665  1317234  4010071 |   408142   365307     87 |  0.000 % |
699.69/699.63	c |    574731 |   30665  1317234  4010071 |   408142   365819     87 |  0.000 % |
700.48/700.42	c |    575244 |   30665  1317234  4010071 |   408142   366332     87 |  0.000 % |
701.68/701.65	c |    576268 |   30665  1317234  4010071 |   408142   367356     87 |  0.000 % |
704.18/704.15	c |    578317 |   30665  1317234  4010071 |   408142   369405     87 |  0.000 % |
710.28/710.23	c |    582414 |   30665  1317234  4010071 | 2147483647   373502     87 |  0.000 % |
710.98/710.94	c |    582926 |   30665  1317234  4010071 | 2147483647   374014     87 |  0.000 % |
711.79/711.77	c |    583438 |   30665  1317234  4010071 | 2147483647   374526     87 |  0.000 % |
713.09/713.09	c |    584465 |   30665  1317234  4010071 | 2147483647   375553     87 |  0.000 % |
713.89/713.82	c |    584978 |   30665  1317234  4010071 | 2147483647   376066     87 |  0.000 % |
714.69/714.65	c |    585490 |   30665  1317234  4010071 | 2147483647   376578     87 |  0.000 % |
716.19/716.16	c |    586514 |   30665  1317234  4010071 | 2147483647   377602     87 |  0.000 % |
719.39/719.39	c |    588563 |   30665  1317234  4010071 | 2147483647   379651     88 |  0.000 % |
720.59/720.59	c |    589075 |   30665  1317234  4010071 | 2147483647   380163     88 |  0.000 % |
721.59/721.59	c |    589588 |   30665  1317234  4010071 | 2147483647   380676     88 |  0.000 % |
722.99/722.91	c |    590614 |   30665  1317234  4010071 | 2147483647   381702     89 |  0.000 % |
724.09/724.06	c |    591127 |   30665  1317234  4010071 | 2147483647   382215     89 |  0.000 % |
724.79/724.79	c |    591639 |   30665  1317234  4010071 | 2147483647   382727     89 |  0.000 % |
725.89/725.89	c |    592663 |   30665  1317234  4010071 | 2147483647   383751     89 |  0.000 % |
727.79/727.73	c |    594712 |   30665  1317234  4010071 | 2147483647   385800     89 |  0.000 % |
733.89/733.88	c |    598808 |   30665  1317234  4010071 | 2147483647   389896     88 |  0.000 % |
744.79/744.74	c |    607000 |   30665  1317234  4010071 | 2147483647   398088     88 |  0.000 % |
769.69/769.62	c |    623384 |   30665  1317234  4010071 |   411088   414472     89 |  0.000 % |
780.79/780.73	c |    623896 |   30665  1317234  4010071 |   411088   345493     85 |  0.000 % |
781.59/781.59	c |    624409 |   30665  1317234  4010071 |   411088   346006     85 |  0.000 % |
783.19/783.19	c |    625433 |   30665  1317234  4010071 |   411088   347030     85 |  0.000 % |
784.09/784.06	c |    625945 |   30665  1317234  4010071 |   411088   347542     85 |  0.000 % |
784.79/784.79	c |    626457 |   30665  1317234  4010071 |   411088   348054     85 |  0.000 % |
786.29/786.25	c |    627481 |   30665  1317234  4010071 |   411088   349078     85 |  0.000 % |
789.39/789.40	c |    629530 |   30665  1317234  4010071 |   411088   351127     85 |  0.000 % |
790.19/790.18	c |    630044 |   30665  1317234  4010071 |   351597   351641     85 |  0.000 % |
796.30/796.26	c |    630556 |   30665  1317234  4010071 |   351597   311914     85 |  0.000 % |
797.30/797.31	c |    631580 |   30665  1317234  4010071 |   351597   312938     85 |  0.000 % |
798.10/798.09	c |    632093 |   30665  1317234  4010071 |   351597   313451     85 |  0.000 % |
798.80/798.79	c |    632606 |   30665  1317234  4010071 |   351597   313964     85 |  0.000 % |
799.80/799.73	c |    633631 |   30665  1317234  4010071 |   351597   314989     85 |  0.000 % |
802.70/802.71	c |    635679 |   30665  1317234  4010071 |   351597   317037     85 |  0.000 % |
808.20/808.18	c |    639776 |   30665  1317234  4010071 |   351597   321134     85 |  0.000 % |
809.00/808.97	c |    640289 |   30665  1317234  4010071 | 2147483647   321647     85 |  0.000 % |
809.80/809.72	c |    640802 |   30665  1317234  4010071 | 2147483647   322160     85 |  0.000 % |
811.30/811.24	c |    641827 |   30665  1317234  4010071 | 2147483647   323185     85 |  0.000 % |
812.00/811.96	c |    642339 |   30665  1317234  4010071 | 2147483647   323697     85 |  0.000 % |
812.80/812.74	c |    642851 |   30665  1317234  4010071 | 2147483647   324209     85 |  0.000 % |
814.30/814.24	c |    643875 |   30665  1317234  4010071 | 2147483647   325233     85 |  0.000 % |
816.90/816.90	c |    645924 |   30665  1317234  4010071 | 2147483647   327282     85 |  0.000 % |
817.80/817.75	c |    646436 |   30665  1317234  4010071 | 2147483647   327794     85 |  0.000 % |
818.60/818.56	c |    646948 |   30665  1317234  4010071 | 2147483647   328306     85 |  0.000 % |
820.30/820.23	c |    647973 |   30665  1317234  4010071 | 2147483647   329331     85 |  0.000 % |
821.10/821.08	c |    648486 |   30665  1317234  4010071 | 2147483647   329844     85 |  0.000 % |
821.90/821.89	c |    649002 |   30665  1317234  4010071 | 2147483647   330360     85 |  0.000 % |
823.50/823.41	c |    650026 |   30665  1317234  4010071 | 2147483647   331384     85 |  0.000 % |
826.20/826.13	c |    652074 |   30665  1317234  4010071 | 2147483647   333432     86 |  0.000 % |
830.90/830.81	c |    656171 |   30665  1317234  4010071 | 2147483647   337529     87 |  0.000 % |
840.30/840.26	c |    664363 |   30665  1317234  4010071 | 2147483647   345721     87 |  0.000 % |
840.90/840.86	c |    664877 |   30665  1317234  4010071 | 2147483647   346235     87 |  0.000 % |
841.40/841.38	c |    665389 |   30665  1317234  4010071 | 2147483647   346747     87 |  0.000 % |
842.60/842.52	c |    666413 |   30665  1317234  4010071 | 2147483647   347771     87 |  0.000 % |
843.10/843.06	c |    666925 |   30665  1317234  4010071 | 2147483647   348283     87 |  0.000 % |
843.81/843.76	c |    667437 |   30665  1317234  4010071 | 2147483647   348795     87 |  0.000 % |
845.10/845.04	c |    668462 |   30665  1317234  4010071 | 2147483647   349820     87 |  0.000 % |
847.40/847.38	c |    670512 |   30665  1317234  4010071 | 2147483647   351870     87 |  0.000 % |
848.80/848.77	c |    671025 |   30665  1317234  4010071 | 2147483647   352383     87 |  0.000 % |
850.60/850.52	c |    671537 |   30665  1317234  4010071 | 2147483647   352895     87 |  0.000 % |
851.80/851.78	c |    672561 |   30665  1317234  4010071 | 2147483647   353919     87 |  0.000 % |
852.50/852.51	c |    673074 |   30665  1317234  4010071 | 2147483647   354432     87 |  0.000 % |
853.30/853.24	c |    673586 |   30665  1317234  4010071 | 2147483647   354944     87 |  0.000 % |
854.50/854.48	c |    674610 |   30665  1317234  4010071 | 2147483647   355968     87 |  0.000 % |
857.40/857.39	c |    676660 |   30665  1317234  4010071 | 2147483647   358018     88 |  0.000 % |
863.00/862.98	c |    680758 |   30665  1317234  4010071 | 2147483647   362116     88 |  0.000 % |
864.10/864.03	c |    681271 |   30665  1317234  4010071 | 2147483647   362629     88 |  0.000 % |
864.60/864.59	c |    681783 |   30665  1317234  4010071 | 2147483647   363141     88 |  0.000 % |
866.00/866.00	c |    682809 |   30665  1317234  4010071 | 2147483647   364167     88 |  0.000 % |
866.91/866.87	c |    683321 |   30665  1317234  4010071 | 2147483647   364679     88 |  0.000 % |
867.80/867.75	c |    683834 |   30665  1317234  4010071 | 2147483647   365192     88 |  0.000 % |
869.11/869.08	c |    684858 |   30665  1317234  4010071 | 2147483647   366216     88 |  0.000 % |
871.70/871.65	c |    686906 |   30665  1317234  4010071 | 2147483647   368264     88 |  0.000 % |
872.41/872.33	c |    687418 |   30665  1317234  4010071 | 2147483647   368776     88 |  0.000 % |
873.20/873.15	c |    687930 |   30665  1317234  4010071 | 2147483647   369288     88 |  0.000 % |
874.70/874.63	c |    688957 |   30665  1317234  4010071 | 2147483647   370315     88 |  0.000 % |
875.40/875.35	c |    689469 |   30665  1317234  4010071 | 2147483647   370827     88 |  0.000 % |
876.20/876.14	c |    689981 |   30665  1317234  4010071 | 2147483647   371339     88 |  0.000 % |
877.41/877.34	c |    691007 |   30665  1317234  4010071 | 2147483647   372365     88 |  0.000 % |
879.71/879.63	c |    693055 |   30665  1317234  4010071 | 2147483647   374413     88 |  0.000 % |
884.11/884.06	c |    697151 |   30665  1317234  4010071 | 2147483647   378509     88 |  0.000 % |
894.81/894.77	c |    705343 |   30665  1317234  4010071 | 2147483647   386701     88 |  0.000 % |
914.40/914.34	c |    721728 |   30665  1317234  4010071 | 2147483647   403086     87 |  0.000 % |
958.10/958.01	c |    754499 |   30665  1317234  4010071 | 2147483647   435857     85 |  0.000 % |
958.90/958.89	c |    755012 |   30665  1317234  4010071 | 2147483647   436370     85 |  0.000 % |
959.81/959.77	c |    755524 |   30665  1317234  4010071 | 2147483647   436882     85 |  0.000 % |
962.41/962.33	c |    756549 |   30665  1317234  4010071 | 2147483647   437907     85 |  0.000 % |
963.51/963.49	c |    757062 |   30665  1317234  4010071 | 2147483647   438420     85 |  0.000 % |
964.81/964.74	c |    757574 |   30665  1317234  4010071 | 2147483647   438932     85 |  0.000 % |
966.51/966.49	c |    758598 |   30665  1317234  4010071 | 2147483647   439956     85 |  0.000 % |
969.61/969.59	c |    760646 |   30665  1317234  4010071 | 2147483647   442004     85 |  0.000 % |
970.51/970.44	c |    761159 |   30665  1317234  4010071 | 2147483647   442517     85 |  0.000 % |
971.31/971.21	c |    761672 |   30665  1317234  4010071 | 2147483647   443030     85 |  0.000 % |
972.51/972.50	c |    762696 |   30665  1317234  4010071 | 2147483647   444054     85 |  0.000 % |
973.51/973.42	c |    763208 |   30665  1317234  4010071 | 2147483647   444566     85 |  0.000 % |
974.21/974.15	c |    763721 |   30665  1317234  4010071 | 2147483647   445079     85 |  0.000 % |
975.51/975.45	c |    764745 |   30665  1317234  4010071 | 2147483647   446103     85 |  0.000 % |
978.31/978.24	c |    766794 |   30665  1317234  4010071 | 2147483647   448152     85 |  0.000 % |
982.91/982.89	c |    770890 |   30665  1317234  4010071 | 2147483647   452248     84 |  0.000 % |
983.71/983.67	c |    771402 |   30665  1317234  4010071 | 2147483647   452760     84 |  0.000 % |
984.41/984.34	c |    771914 |   30665  1317234  4010071 | 2147483647   453272     84 |  0.000 % |
985.81/985.73	c |    772939 |   30665  1317234  4010071 | 2147483647   454297     84 |  0.000 % |
986.51/986.44	c |    773452 |   30665  1317234  4010071 | 2147483647   454810     84 |  0.000 % |
987.21/987.12	c |    773966 |   30665  1317234  4010071 | 2147483647   455324     84 |  0.000 % |
988.71/988.61	c |    774990 |   30665  1317234  4010071 | 2147483647   456348     84 |  0.000 % |
991.81/991.78	c |    777038 |   30665  1317234  4010071 | 2147483647   458396     84 |  0.000 % |
992.61/992.57	c |    777551 |   30665  1317234  4010071 | 2147483647   458909     84 |  0.000 % |
993.51/993.45	c |    778064 |   30665  1317234  4010071 | 2147483647   459422     84 |  0.000 % |
995.01/994.99	c |    779088 |   30665  1317234  4010071 | 2147483647   460446     84 |  0.000 % |
996.81/996.73	c |    779601 |   30665  1317234  4010071 | 2147483647   460959     84 |  0.000 % |
997.61/997.54	c |    780113 |   30665  1317234  4010071 | 2147483647   461471     84 |  0.000 % |
999.01/998.96	c |    781137 |   30665  1317234  4010071 | 2147483647   462495     84 |  0.000 % |
1002.11/1002.01	c |    783185 |   30665  1317234  4010071 | 2147483647   464543     84 |  0.000 % |
1007.81/1007.76	c |    787281 |   30665  1317234  4010071 | 2147483647   468639     84 |  0.000 % |
1019.21/1019.13	c |    795475 |   30665  1317234  4010071 | 2147483647   476833     83 |  0.000 % |
1020.01/1019.91	c |    795991 |   30665  1317234  4010071 | 2147483647   477349     83 |  0.000 % |
1020.81/1020.74	c |    796503 |   30665  1317234  4010071 | 2147483647   477861     83 |  0.000 % |
1022.21/1022.15	c |    797528 |   30665  1317234  4010071 | 2147483647   478886     83 |  0.000 % |
1023.51/1023.48	c |    798041 |   30665  1317234  4010071 | 2147483647   479399     83 |  0.000 % |
1024.31/1024.23	c |    798553 |   30665  1317234  4010071 | 2147483647   479911     83 |  0.000 % |
1026.11/1026.02	c |    799578 |   30665  1317234  4010071 | 2147483647   480936     83 |  0.000 % |
1030.51/1030.44	c |    801627 |   30665  1317234  4010071 | 2147483647   482985     83 |  0.000 % |
1031.31/1031.24	c |    802139 |   30665  1317234  4010071 | 2147483647   483497     83 |  0.000 % |
1032.11/1032.05	c |    802652 |   30665  1317234  4010071 | 2147483647   484010     83 |  0.000 % |
1033.71/1033.64	c |    803676 |   30665  1317234  4010071 | 2147483647   485034     83 |  0.000 % |
1034.51/1034.45	c |    804191 |   30665  1317234  4010071 | 2147483647   485549     83 |  0.000 % |
1035.31/1035.29	c |    804707 |   30665  1317234  4010071 | 2147483647   486065     83 |  0.000 % |
1036.91/1036.87	c |    805731 |   30665  1317234  4010071 | 2147483647   487089     83 |  0.000 % |
1040.21/1040.17	c |    807781 |   30665  1317234  4010071 | 2147483647   489139     83 |  0.000 % |
1046.62/1046.59	c |    811877 |   30665  1317234  4010071 | 2147483647   493235     82 |  0.000 % |
1047.52/1047.42	c |    812390 |   30665  1317234  4010071 | 2147483647   493748     82 |  0.000 % |
1048.32/1048.30	c |    812902 |   30665  1317234  4010071 | 2147483647   494260     82 |  0.000 % |
1050.12/1050.06	c |    813926 |   30665  1317234  4010071 | 2147483647   495284     82 |  0.000 % |
1050.92/1050.86	c |    814438 |   30665  1317234  4010071 | 2147483647   495796     82 |  0.000 % |
1051.72/1051.68	c |    814954 |   30665  1317234  4010071 | 2147483647   496312     82 |  0.000 % |
1053.22/1053.15	c |    815978 |   30665  1317234  4010071 | 2147483647   497336     82 |  0.000 % |
1056.02/1055.92	c |    818026 |   30665  1317234  4010071 | 2147483647   499384     82 |  0.000 % |
1056.62/1056.56	c |    818538 |   30665  1317234  4010071 | 2147483647   499896     82 |  0.000 % |
1057.72/1057.65	c |    819052 |   30665  1317234  4010071 | 2147483647   500410     82 |  0.000 % |
1060.52/1060.50	c |    820077 |   30665  1317234  4010071 | 2147483647   501435     82 |  0.000 % |
1061.52/1061.42	c |    820590 |   30665  1317234  4010071 | 2147483647   501948     82 |  0.000 % |
1063.22/1063.15	c |    821102 |   30665  1317234  4010071 | 2147483647   502460     82 |  0.000 % |
1064.92/1064.85	c |    822126 |   30665  1317234  4010071 | 2147483647   503484     82 |  0.000 % |
1068.62/1068.51	c |    824177 |   30665  1317234  4010071 | 2147483647   505535     82 |  0.000 % |
1074.52/1074.45	c |    828275 |   30665  1317234  4010071 | 2147483647   509633     81 |  0.000 % |
1086.92/1086.90	c |    836470 |   30665  1317234  4010071 | 2147483647   517828     81 |  0.000 % |
1111.92/1111.85	c |    852855 |   30665  1317234  4010071 | 2147483647   534213     79 |  0.000 % |
1112.52/1112.49	c |    853368 |   30665  1317234  4010071 | 2147483647   534726     79 |  0.000 % |
1113.12/1113.09	c |    853883 |   30665  1317234  4010071 | 2147483647   535241     79 |  0.000 % |
1114.62/1114.53	c |    854907 |   30665  1317234  4010071 | 2147483647   536265     79 |  0.000 % |
1115.22/1115.18	c |    855419 |   30665  1317234  4010071 | 2147483647   536777     79 |  0.000 % |
1116.12/1116.02	c |    855931 |   30665  1317234  4010071 | 2147483647   537289     79 |  0.000 % |
1117.82/1117.79	c |    856955 |   30665  1317234  4010071 | 2147483647   538313     79 |  0.000 % |
1121.22/1121.16	c |    859004 |   30665  1317234  4010071 | 2147483647   540362     79 |  0.000 % |
1122.02/1121.96	c |    859517 |   30665  1317234  4010071 | 2147483647   540875     79 |  0.000 % |
1124.23/1124.20	c |    860029 |   30665  1317234  4010071 | 2147483647   541387     79 |  0.000 % |
1126.33/1126.30	c |    861053 |   30665  1317234  4010071 | 2147483647   542411     79 |  0.000 % |
1128.53/1128.44	c |    861565 |   30665  1317234  4010071 | 2147483647   542923     79 |  0.000 % |
1129.53/1129.49	c |    862077 |   30665  1317234  4010071 | 2147483647   543435     79 |  0.000 % |
1134.83/1134.76	c |    863101 |   30665  1317234  4010071 | 2147483647   544459     79 |  0.000 % |
1138.83/1138.72	c |    865149 |   30665  1317234  4010071 | 2147483647   546507     79 |  0.000 % |
1145.33/1145.23	c |    869245 |   30665  1317234  4010071 | 2147483647   550603     79 |  0.000 % |
1146.23/1146.12	c |    869757 |   30665  1317234  4010071 | 2147483647   551115     79 |  0.000 % |
1147.13/1147.02	c |    870269 |   30665  1317234  4010071 | 2147483647   551627     79 |  0.000 % |
1148.73/1148.69	c |    871293 |   30665  1317234  4010071 | 2147483647   552651     79 |  0.000 % |
1149.73/1149.65	c |    871805 |   30665  1317234  4010071 | 2147483647   553163     79 |  0.000 % |
1150.63/1150.55	c |    872318 |   30665  1317234  4010071 | 2147483647   553676     79 |  0.000 % |
1152.23/1152.16	c |    873342 |   30665  1317234  4010071 | 2147483647   554700     79 |  0.000 % |
1155.63/1155.52	c |    875392 |   30665  1317234  4010071 | 2147483647   556750     78 |  0.000 % |
1156.33/1156.25	c |    875904 |   30665  1317234  4010071 | 2147483647   557262     78 |  0.000 % |
1157.03/1156.96	c |    876420 |   30665  1317234  4010071 | 2147483647   557778     78 |  0.000 % |
1158.53/1158.47	c |    877445 |   30665  1317234  4010071 | 2147483647   558803     78 |  0.000 % |
1159.33/1159.24	c |    877957 |   30665  1317234  4010071 | 2147483647   559315     78 |  0.000 % |
1160.03/1159.96	c |    878469 |   30665  1317234  4010071 | 2147483647   559827     78 |  0.000 % |
1163.43/1163.34	c |    879493 |   30665  1317234  4010071 | 2147483647   560851     78 |  0.000 % |
1168.73/1168.71	c |    881543 |   30665  1317234  4010071 | 2147483647   562901     78 |  0.000 % |
1175.53/1175.46	c |    885639 |   30665  1317234  4010071 | 2147483647   566997     78 |  0.000 % |
1188.63/1188.57	c |    893833 |   30665  1317234  4010071 | 2147483647   575191     78 |  0.000 % |
1189.63/1189.57	c |    894347 |   30665  1317234  4010071 | 2147483647   575705     78 |  0.000 % |
1190.53/1190.50	c |    894859 |   30665  1317234  4010071 | 2147483647   576217     78 |  0.000 % |
1192.13/1192.06	c |    895883 |   30665  1317234  4010071 | 2147483647   577241     78 |  0.000 % |
1193.13/1193.05	c |    896397 |   30665  1317234  4010071 | 2147483647   577755     78 |  0.000 % |
1194.03/1193.98	c |    896909 |   30665  1317234  4010071 | 2147483647   578267     78 |  0.000 % |
1195.84/1195.73	c |    897933 |   30665  1317234  4010071 | 2147483647   579291     78 |  0.000 % |
1199.03/1198.98	c |    899982 |   30665  1317234  4010071 | 2147483647   581340     77 |  0.000 % |
1199.93/1199.87	c |    900497 |   30665  1317234  4010071 | 2147483647   581855     77 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.97 1.00 1.00 2/93 858
/proc/meminfo: memFree=949148/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2416 CPUtime=0
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1023121989 2473984 277 4294967295 134512640 135169312 3221146432 3221144968 3085303534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/858/statm: 604 277 235 161 0 43 0
[pid=862] ppid=858 vsize=948 CPUtime=0
/proc/862/stat : 862 (SatELite_releas) R 858 858 20977 0 -1 4202496 108 0 0 0 0 0 0 0 18 0 1 0 1023121989 970752 44 4294967295 134512640 135223648 3213413328 3213412352 134535733 0 0 0 3 0 0 0 17 3 0 0 0
/proc/862/statm: 237 49 40 174 0 62 0

[startup+0.058258 s]
/proc/loadavg: 0.97 1.00 1.00 2/93 858
/proc/meminfo: memFree=949148/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2416 CPUtime=0
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1023121989 2473984 277 4294967295 134512640 135169312 3221146432 3221144968 3085303534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/858/statm: 604 277 235 161 0 43 0
[pid=862] ppid=858 vsize=5220 CPUtime=0.06
/proc/862/stat : 862 (SatELite_releas) R 858 858 20977 0 -1 4202496 1132 0 0 0 4 2 0 0 18 0 1 0 1023121989 5345280 1068 4294967295 134512640 135223648 3213413328 3213412280 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/862/statm: 1305 1068 46 174 0 1130 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7636

[startup+0.118234 s]
/proc/loadavg: 0.97 1.00 1.00 2/93 858
/proc/meminfo: memFree=949148/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2416 CPUtime=0
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1023121989 2473984 277 4294967295 134512640 135169312 3221146432 3221144968 3085303534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/858/statm: 604 277 235 161 0 43 0
[pid=862] ppid=858 vsize=9616 CPUtime=0.12
/proc/862/stat : 862 (SatELite_releas) R 858 858 20977 0 -1 4202496 2167 0 0 0 8 4 0 0 18 0 1 0 1023121989 9846784 2103 4294967295 134512640 135223648 3213413328 3213412280 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/862/statm: 2404 2103 46 174 0 2229 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 12032

[startup+0.318213 s]
/proc/loadavg: 0.97 1.00 1.00 2/93 858
/proc/meminfo: memFree=949148/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2416 CPUtime=0
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1023121989 2473984 277 4294967295 134512640 135169312 3221146432 3221144968 3085303534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/858/statm: 604 277 235 161 0 43 0
[pid=862] ppid=858 vsize=23680 CPUtime=0.32
/proc/862/stat : 862 (SatELite_releas) R 858 858 20977 0 -1 4202496 5588 0 0 0 27 5 0 0 18 0 1 0 1023121989 24248320 5524 4294967295 134512640 135223648 3213413328 3213412280 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/862/statm: 5920 5525 46 174 0 5745 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 26096

[startup+0.718174 s]
/proc/loadavg: 0.97 1.00 1.00 2/93 858
/proc/meminfo: memFree=949148/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2416 CPUtime=0
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1023121989 2473984 277 4294967295 134512640 135169312 3221146432 3221144968 3085303534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/858/statm: 604 277 235 161 0 43 0
[pid=862] ppid=858 vsize=54632 CPUtime=0.72
/proc/862/stat : 862 (SatELite_releas) R 858 858 20977 0 -1 4202496 12278 0 0 0 63 9 0 0 18 0 1 0 1023121989 55943168 12214 4294967295 134512640 135223648 3213413328 3213412280 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/862/statm: 13658 12215 46 174 0 13483 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 57048

[startup+1.5181 s]
/proc/loadavg: 0.97 1.00 1.00 2/95 863
/proc/meminfo: memFree=872260/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2416 CPUtime=0
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1023121989 2473984 277 4294967295 134512640 135169312 3221146432 3221144968 3085303534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/858/statm: 604 277 235 161 0 43 0
[pid=862] ppid=858 vsize=108408 CPUtime=1.52
/proc/862/stat : 862 (SatELite_releas) R 858 858 20977 0 -1 4202496 25852 0 0 0 138 14 0 0 20 0 1 0 1023121989 111009792 23083 4294967295 134512640 135223648 3213413328 3213411328 134549042 0 0 0 3 0 0 0 17 3 0 0 0
/proc/862/statm: 27102 23083 73 174 0 26927 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 110824

[startup+3.11794 s]
/proc/loadavg: 0.97 1.00 1.00 2/95 863
/proc/meminfo: memFree=854776/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2416 CPUtime=0
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1023121989 2473984 277 4294967295 134512640 135169312 3221146432 3221144968 3085303534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/858/statm: 604 277 235 161 0 43 0
[pid=862] ppid=858 vsize=112028 CPUtime=3.12
/proc/862/stat : 862 (SatELite_releas) R 858 858 20977 0 -1 4202496 26791 0 0 0 296 16 0 0 25 0 1 0 1023121989 114716672 23987 4294967295 134512640 135223648 3213413328 3213411344 134586733 0 0 0 3 0 0 0 17 3 0 0 0
/proc/862/statm: 28007 23987 73 174 0 27832 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 114444

[startup+6.31763 s]
/proc/loadavg: 0.97 1.00 1.00 2/95 863
/proc/meminfo: memFree=842284/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2416 CPUtime=0
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1023121989 2473984 277 4294967295 134512640 135169312 3221146432 3221144968 3085303534 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/858/statm: 604 277 235 161 0 43 0
[pid=862] ppid=858 vsize=127360 CPUtime=6.32
/proc/862/stat : 862 (SatELite_releas) R 858 858 20977 0 -1 4202496 29526 0 0 0 613 19 0 0 25 0 1 0 1023121989 130416640 26687 4294967295 134512640 135223648 3213413328 3213411520 134548987 0 0 0 3 0 0 0 17 3 0 0 0
/proc/862/statm: 31840 26687 73 174 0 31665 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 129776

[startup+12.717 s]
/proc/loadavg: 0.97 1.00 1.00 2/95 864
/proc/meminfo: memFree=864512/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=61660 CPUtime=2
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 14973 0 0 0 192 8 0 0 25 0 1 0 1023123061 63139840 14908 4294967295 134512640 135216591 3215300096 3215298288 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/864/statm: 15415 14908 75 172 0 15242 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 64080

[startup+25.5157 s]
/proc/loadavg: 0.98 1.00 1.00 2/95 865
/proc/meminfo: memFree=850928/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=74856 CPUtime=14.8
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 18268 0 0 0 1466 14 0 0 25 0 1 0 1023123061 76652544 18203 4294967295 134512640 135216591 3215300096 3215298288 134528948 0 0 0 3 0 0 0 17 0 0 0 0
/proc/864/statm: 18714 18203 75 172 0 18541 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 77276

[startup+51.1132 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 1063
/proc/meminfo: memFree=828656/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=97072 CPUtime=40.4
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 23761 0 0 0 4021 19 0 0 25 0 1 0 1023123061 99401728 23696 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/864/statm: 24268 23696 75 172 0 24095 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 99492

[startup+102.318 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 1066
/proc/meminfo: memFree=801248/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=124328 CPUtime=91.61
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 30532 0 0 0 9134 27 0 0 25 0 1 0 1023123061 127311872 30467 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/864/statm: 31082 30467 75 172 0 30909 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 126748

[startup+162.322 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 1255
/proc/meminfo: memFree=768304/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=158524 CPUtime=151.62
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 38922 0 0 0 15131 31 0 0 25 0 1 0 1023123061 162328576 38823 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/864/statm: 39631 38823 75 172 0 39458 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 160944

[startup+222.316 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 1446
/proc/meminfo: memFree=745380/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=181044 CPUtime=211.62
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 44445 0 0 0 21126 36 0 0 25 0 1 0 1023123061 185389056 44346 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/864/statm: 45261 44346 75 172 0 45088 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 183464

[startup+282.311 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 1637
/proc/meminfo: memFree=732600/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=194208 CPUtime=271.62
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 47754 0 0 0 27124 38 0 0 25 0 1 0 1023123061 198868992 47655 4294967295 134512640 135216591 3215300096 3215298288 134528929 0 0 0 3 0 0 0 17 0 0 0 0
/proc/864/statm: 48552 47655 75 172 0 48379 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 196628

[startup+342.315 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 1825
/proc/meminfo: memFree=705040/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=222188 CPUtime=331.63
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 54576 0 0 0 33120 43 0 0 25 0 1 0 1023123061 227520512 54463 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/864/statm: 55547 54463 75 172 0 55374 0
Current children cumulated CPU time (s) 342.35

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

/proc/864/statm: 63626 62227 75 172 0 63453 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 256924

[startup+642.315 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 2782
/proc/meminfo: memFree=673460/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=255048 CPUtime=631.66
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 62590 0 0 0 63115 51 0 0 25 0 1 0 1023123061 261169152 62399 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 63762 62399 75 172 0 63589 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 257468

[startup+702.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 2971
/proc/meminfo: memFree=668640/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=260588 CPUtime=691.66
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 63771 0 0 0 69115 51 0 0 25 0 1 0 1023123061 266842112 63580 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 65147 63580 75 172 0 64974 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 263008

[startup+762.323 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 3160
/proc/meminfo: memFree=668144/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=261132 CPUtime=751.68
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 63885 0 0 0 75116 52 0 0 25 0 1 0 1023123061 267399168 63694 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 65283 63694 75 172 0 65110 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 263552

[startup+822.317 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 3351
/proc/meminfo: memFree=668012/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=261132 CPUtime=811.68
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 63887 0 0 0 81116 52 0 0 25 0 1 0 1023123061 267399168 63696 4294967295 134512640 135216591 3215300096 3215298288 134529044 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 65283 63696 75 172 0 65110 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 263552

[startup+882.322 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 3564
/proc/meminfo: memFree=668128/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=261132 CPUtime=871.69
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 63890 0 0 0 87117 52 0 0 25 0 1 0 1023123061 267399168 63699 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 65283 63699 75 172 0 65110 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 263552

[startup+942.306 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 3752
/proc/meminfo: memFree=667904/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=261132 CPUtime=931.68
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 63910 0 0 0 93116 52 0 0 25 0 1 0 1023123061 267399168 63719 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 65283 63719 75 172 0 65110 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 263552

[startup+1002.31 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 3939
/proc/meminfo: memFree=667904/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=261132 CPUtime=991.69
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 63932 0 0 0 99117 52 0 0 25 0 1 0 1023123061 267399168 63741 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 65283 63741 75 172 0 65110 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 263552

[startup+1062.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 4131
/proc/meminfo: memFree=661200/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=268328 CPUtime=1051.7
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 65525 0 0 0 105117 53 0 0 25 0 1 0 1023123061 274767872 65334 4294967295 134512640 135216591 3215300096 3215298288 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 67082 65334 75 172 0 66909 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 270748

[startup+1122.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 4320
/proc/meminfo: memFree=653984/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=275708 CPUtime=1111.7
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 67356 0 0 0 111116 54 0 0 25 0 1 0 1023123061 282324992 67165 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 68927 67165 75 172 0 68754 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 278128

[startup+1182.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 4507
/proc/meminfo: memFree=645700/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=284380 CPUtime=1171.71
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 69513 0 0 0 117116 55 0 0 25 0 1 0 1023123061 291205120 69322 4294967295 134512640 135216591 3215300096 3215298288 134528969 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 71095 69322 75 172 0 70922 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 286800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.91 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 4692
/proc/meminfo: memFree=642968/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=286504 CPUtime=1189.31
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 70063 0 0 0 118875 56 0 0 25 0 1 0 1023123061 293380096 69872 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 71626 69872 75 172 0 71453 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 288924

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

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

[startup+1199.91 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 4692
/proc/meminfo: memFree=642968/2074464 swapFree=1951864/1959888
[pid=858] ppid=856 vsize=2420 CPUtime=10.72
/proc/858/stat : 858 (SatELiteGTI) S 856 858 20977 0 -1 4194304 387 30180 0 0 0 0 1050 22 18 0 1 0 1023121989 2478080 278 4294967295 134512640 135169312 3221146432 3221142648 3085303534 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/858/statm: 605 278 235 161 0 44 0
[pid=864] ppid=858 vsize=286504 CPUtime=1189.31
/proc/864/stat : 864 (minisat_static) R 858 858 20977 0 -1 4202496 70063 0 0 0 118875 56 0 0 25 0 1 0 1023123061 293380096 69872 4294967295 134512640 135216591 3215300096 3215298288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/864/statm: 71626 69872 75 172 0 71453 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 288924

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 858 and gives
#  childrusage.ru_utime.tv_sec=10
#  childrusage.ru_utime.tv_usec=500000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=220000
# CPU time returned by wait4() is 10.72
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1199.93
CPU time (s): 1200.03
CPU user time (s): 1199.25
CPU system time (s): 0.78
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 288924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5
system time used= 0.22
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 223

runsolver used 0.03 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-17 20:50:07
IDJOB=1822001
IDBENCH=71777
IDSOLVER=658
FILE ID=tipi10/1822001-1242586207
PBS_JOBID=
Free space on /tmp= 3615 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE06/velev-pipe-uns-1.0-8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1822001-1242586207/watcher-1822001-1242586207 -o /tmp/evaluation-result-1822001-1242586207/solver-1822001-1242586207 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1822001-1242586207.cnf

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

MD5SUM BENCH= 0767e5dbf6844720495e9eb5423112e1
RANDOM SEED= 1863477387

Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        949156 kB
Buffers:         49732 kB
Cached:         959084 kB
SwapCached:       2732 kB
Active:         225068 kB
Inactive:       793724 kB
HighTotal:     1178688 kB
HighFree:       501656 kB
LowTotal:       895776 kB
LowFree:        447500 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:           26352 kB
Writeback:           0 kB
AnonPages:        9232 kB
Mapped:           3320 kB
Slab:            97632 kB
PageTables:        612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 3589 MiB
End job on tipi10 at 2009-05-17 21:10:11