Trace number 1821520

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.02 1200.03

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-15-10p0.cnf
MD5SUMd8dd0726277891eae9a2807dfd8946db
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables262253
Number of clauses1131732
Sum of the clauses size2644763
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2882815
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data

0.00/0.00	c Parsing...
1.20/1.30	c ==============================================================================
1.20/1.30	c |           |     ORIGINAL     |              LEARNT              |          |
1.20/1.30	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.20/1.30	c ==============================================================================
1.20/1.30	c |         0 | 1120813  2633174 |  336243       0        0     nan |  0.000 % |
7.37/7.51	c |         0 |  777919  2077798 |      --       0       --      -- |     --   | -91956/18047
7.47/7.51	c ==============================================================================
7.47/7.51	c Result  :   #vars: 158000   #clauses: 777919   #literals: 2077798
7.47/7.51	c CPU time:   7.2 s
7.47/7.51	c ==============================================================================
8.17/8.30	c This is MiniSat 2.0 beta
8.17/8.30	c WARNING: for repeatability, setting FPU to use double precision
8.17/8.30	c ============================[ Problem Statistics ]=============================
8.17/8.30	c |                                                                             |
8.17/8.30	c |  Number of variables:  158000                                               |
8.17/8.30	c |  Number of clauses:    777919                                               |
8.76/8.84	c |  Parsing time:         0.51         s                                       |
8.76/8.88	c ============================[ Search Statistics ]==============================
8.76/8.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.76/8.88	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.76/8.88	c ===============================================================================
8.76/8.88	c |         0 |  158000   777919  2077798 |   259306        0    nan |  0.000 % |
9.06/9.17	c |       100 |  157921   777919  2077798 |   259306       98    159 |  0.118 % |
9.56/9.65	c |       200 |  157909   777919  2077798 |   259306      194     99 |  0.431 % |
10.06/10.14	c |       306 |  157879   777919  2077798 |   259306      300    104 |  0.431 % |
10.76/10.82	c |       416 |  156672   770787  2060296 |   259306      406     87 |  0.878 % |
11.06/11.18	c |       516 |  156671   770787  2060296 |   259306      505     79 |  0.882 % |
11.36/11.47	c |       626 |  156671   770787  2060296 |   259306      615     75 |  0.882 % |
11.56/11.61	c |       750 |  156671   770787  2060296 |   259306      739     74 |  0.882 % |
11.76/11.82	c |       852 |  156671   770787  2060296 |   259306      841     72 |  0.882 % |
11.86/11.98	c |       964 |  156607   770402  2059443 |   259306      952     71 |  0.882 % |
11.96/12.11	c |      1086 |  156595   770402  2059443 |   259306     1073     64 |  1.104 % |
12.26/12.35	c |      1220 |  156595   770402  2059443 |   259306     1207     70 |  1.104 % |
13.46/13.56	c |      1320 |  156595   770402  2059443 |   259306     1307     77 |  1.104 % |
13.86/14.00	c |      1431 |  156246   768365  2054229 |   259306     1416     75 |  1.146 % |
14.56/14.69	c |      1552 |  156221   768365  2054229 |   259306     1534     77 |  1.381 % |
15.16/15.28	c |      1685 |  156221   768365  2054229 |   259306     1667     84 |  1.381 % |
15.66/15.74	c |      1831 |  155817   765909  2048472 |   259306     1808     86 |  1.416 % |
15.86/15.91	c |      1931 |  155817   765909  2048472 |   259306     1908     86 |  1.416 % |
15.96/16.06	c |      2045 |  155817   765909  2048472 |   259306     2022     91 |  1.416 % |
16.26/16.35	c |      2166 |  155817   765909  2048472 |   259306     2143     90 |  1.416 % |
17.16/17.26	c |      2299 |  155754   765589  2047832 |   259306     2275     92 |  1.422 % |
17.66/17.72	c |      2445 |  155656   765589  2047832 |   259306     2418     88 |  1.795 % |
18.06/18.15	c |      2605 |  155544   765589  2047832 |   259306     2571     85 |  2.539 % |
18.36/18.45	c |      2705 |  153725   755077  2022976 |   259306     2654     83 |  2.706 % |
18.56/18.70	c |      2816 |  153725   755077  2022976 |   259306     2765     81 |  2.706 % |
18.96/19.11	c |      2939 |  153721   755077  2022976 |   259306     2887     81 |  2.741 % |
19.06/19.19	c |      3074 |  153721   755077  2022976 |   259306     3022     86 |  2.741 % |
19.46/19.56	c |      3220 |  153721   755077  2022976 |   259306     3168     87 |  2.741 % |
20.16/20.27	c |      3380 |  153636   754636  2022013 |   259306     3325     86 |  2.762 % |
21.16/21.21	c |      3557 |  153634   754636  2022013 |   259306     3501     88 |  2.780 % |
21.36/21.48	c |      3657 |  153598   754400  2021414 |   259306     3600     87 |  2.786 % |
21.66/21.72	c |      3767 |  153598   754400  2021414 |   259306     3710     88 |  2.786 % |
22.46/22.60	c |      3889 |  153598   754400  2021414 |   259306     3832    102 |  2.786 % |
22.86/22.92	c |      4022 |  153598   754400  2021414 |   259306     3965    103 |  2.786 % |
23.46/23.59	c |      4168 |  153571   754299  2021144 |   259306     4109    102 |  3.457 % |
24.06/24.20	c |      4328 |  153571   754299  2021144 |   259306     4269    107 |  3.457 % |
24.86/24.94	c |      4507 |  153526   754299  2021144 |   259306     4446    115 |  3.709 % |
25.26/25.39	c |      4700 |  152139   747225  2003852 |   259306     4634    120 |  3.709 % |
25.56/25.66	c |      4802 |  152139   747225  2003852 |   259306     4736    120 |  3.709 % |
25.96/26.08	c |      4913 |  152139   747225  2003852 |   259306     4847    120 |  3.709 % |
26.37/26.42	c |      5035 |  152139   747225  2003852 |   259306     4969    119 |  3.709 % |
26.76/26.83	c |      5170 |  152129   747135  2003622 |   259306     5100    120 |  3.716 % |
27.26/27.36	c |      5316 |  152128   747135  2003622 |   259306     5245    119 |  3.736 % |
27.96/28.05	c |      5476 |  152092   747135  2003622 |   259306     5404    118 |  3.818 % |
28.36/28.44	c |      5652 |  152085   747135  2003622 |   259306     5579    119 |  3.829 % |
28.96/29.07	c |      5846 |  151948   746212  2001719 |   259306     5770    119 |  3.839 % |
29.16/29.27	c |      6058 |  151948   746212  2001719 |   259306     5982    118 |  3.839 % |
29.56/29.61	c |      6159 |  151939   746212  2001719 |   259306     6082    117 |  3.879 % |
29.96/30.03	c |      6269 |  151937   746212  2001719 |   259306     6191    118 |  3.888 % |
30.06/30.20	c |      6390 |  151937   746212  2001719 |   259306     6312    119 |  3.888 % |
30.56/30.65	c |      6529 |  151856   745709  2000569 |   259306     6450    120 |  3.896 % |
30.77/30.88	c |      6676 |  151846   745709  2000569 |   259306     6596    120 |  4.220 % |
31.16/31.29	c |      6837 |  151840   745709  2000569 |   259306     6757    121 |  4.220 % |
32.86/32.92	c |      7013 |  151839   745709  2000569 |   259306     6933    129 |  4.220 % |
34.36/34.44	c |      7206 |  151332   742750  1993021 |   259306     7124    136 |  4.220 % |
35.76/35.87	c |      7420 |  151221   742336  1992193 |   259306     7334    137 |  4.304 % |
36.96/37.01	c |      7653 |  150642   738988  1984198 |   259306     7552    139 |  4.666 % |
37.06/37.14	c |      7753 |  150561   738988  1984198 |   259306     7651    139 |  5.459 % |
37.46/37.58	c |      7864 |  150561   738988  1984198 |   259306     7762    139 |  5.459 % |
37.76/37.89	c |      7986 |  150561   738988  1984198 |   259306     7884    138 |  5.459 % |
38.06/38.14	c |      8119 |  150561   738988  1984198 |   259306     8017    138 |  5.459 % |
38.36/38.42	c |      8267 |  150560   738988  1984198 |   259306     8164    138 |  5.460 % |
39.76/39.89	c |      8429 |  150560   738988  1984198 |   259306     8326    144 |  5.460 % |
40.76/40.87	c |      8608 |  149373   731726  1965969 |   259306     8502    148 |  5.460 % |
41.86/41.94	c |      8801 |  149373   731726  1965969 |   259306     8695    151 |  5.460 % |
42.96/43.08	c |      9015 |  148348   726202  1951835 |   259306     8906    152 |  6.109 % |
44.46/44.56	c |      9248 |  148347   726202  1951835 |   259306     9137    156 |  6.127 % |
45.16/45.26	c |      9504 |  148347   726202  1951835 |   259306     9393    154 |  6.127 % |
45.56/45.64	c |      9607 |  148319   726046  1951439 |   259306     9496    154 |  6.127 % |
45.76/45.86	c |      9717 |  148307   726046  1951439 |   259306     9605    154 |  6.530 % |
46.66/46.71	c |      9843 |  148307   726046  1951439 |   259306     9731    156 |  6.530 % |
47.46/47.55	c |      9976 |  148307   726046  1951439 |   259306     9864    159 |  6.530 % |
48.26/48.38	c |     10123 |  148307   726046  1951439 | 2147483647    10011    161 |  6.530 % |
48.76/48.83	c |     10287 |  147682   722469  1942208 | 2147483647    10174    162 |  6.530 % |
50.06/50.13	c |     10463 |  147682   722469  1942208 | 2147483647    10350    164 |  6.530 % |
51.06/51.19	c |     10656 |  147681   722469  1942208 | 2147483647    10541    165 |  6.549 % |
51.96/52.02	c |     10868 |  147652   722228  1941587 | 2147483647    10751    165 |  6.549 % |
53.66/53.73	c |     11101 |  147652   722228  1941587 | 2147483647    10984    171 |  6.549 % |
55.16/55.28	c |     11357 |  147652   722228  1941587 | 2147483647    11240    173 |  6.549 % |
56.26/56.32	c |     11638 |  147630   722086  1941224 | 2147483647    11519    173 |  6.563 % |
56.36/56.50	c |     11739 |  147630   722086  1941224 | 2147483647    11620    173 |  6.563 % |
56.76/56.81	c |     11850 |  147630   722086  1941224 | 2147483647    11731    172 |  6.563 % |
57.46/57.54	c |     11974 |  147630   722086  1941224 | 2147483647    11855    174 |  6.563 % |
57.86/57.97	c |     12107 |  147630   722086  1941224 | 2147483647    11988    175 |  6.563 % |
58.36/58.46	c |     12256 |  147538   722086  1941224 | 2147483647    12136    174 |  6.773 % |
59.56/59.61	c |     12416 |  147297   720426  1937904 | 2147483647    12293    174 |  6.784 % |
60.56/60.61	c |     12594 |  147297   720426  1937904 | 2147483647    12470    175 |  6.794 % |
61.66/61.79	c |     12788 |  147295   720426  1937904 | 2147483647    12663    177 |  6.824 % |
64.26/64.40	c |     13000 |  147218   719943  1936686 | 2147483647    12869    180 |  6.828 % |
65.26/65.39	c |     13234 |  147212   719921  1936629 | 2147483647    13103    179 |  6.828 % |
65.76/65.82	c |     13492 |  147211   719921  1936629 | 2147483647    13360    179 |  6.828 % |
66.96/67.04	c |     13774 |  147211   719921  1936629 | 2147483647    13642    180 |  6.828 % |
69.27/69.39	c |     14085 |  147196   719808  1936327 | 2147483647    13947    182 |  6.851 % |
69.96/70.06	c |     14185 |  147196   719808  1936327 | 2147483647    14047    184 |  6.851 % |
70.86/70.92	c |     14295 |  147196   719808  1936327 | 2147483647    14157    185 |  6.851 % |
71.76/71.84	c |     14416 |  147196   719808  1936327 | 2147483647    14278    186 |  6.851 % |
73.06/73.11	c |     14549 |  147175   719686  1936031 | 2147483647    14407    187 |  6.851 % |
73.97/74.11	c |     14696 |  147175   719686  1936031 | 2147483647    14554    191 |  6.851 % |
75.37/75.42	c |     14859 |  147175   719686  1936031 | 2147483647    14717    195 |  6.851 % |
76.86/76.92	c |     15036 |  147154   719591  1935773 | 2147483647    14890    197 |  6.892 % |
77.46/77.52	c |     15229 |  147154   719591  1935773 | 2147483647    15083    197 |  6.892 % |
78.46/78.51	c |     15443 |  147154   719591  1935773 | 2147483647    15297    198 |  6.892 % |
80.36/80.46	c |     15676 |  145579   711107  1914096 | 2147483647    15517    200 |  7.861 % |
81.66/81.73	c |     15937 |  145579   711107  1914096 | 2147483647    15778    198 |  7.861 % |
82.96/83.09	c |     16218 |  145579   711107  1914096 | 2147483647    16059    198 |  7.861 % |
84.86/85.00	c |     16527 |  145567   711004  1913823 | 2147483647    16363    199 |  7.879 % |
86.66/86.77	c |     16866 |  145561   711004  1913823 | 2147483647    16700    201 |  7.915 % |
87.26/87.35	c |     16967 |  145561   711004  1913823 | 2147483647    16801    201 |  7.915 % |
87.66/87.73	c |     17077 |  145494   710565  1912703 | 2147483647    16909    201 |  7.920 % |
87.96/88.09	c |     17198 |  145492   710565  1912703 | 2147483647    17030    200 |  7.920 % |
88.46/88.53	c |     17331 |  145492   710565  1912703 | 2147483647    17163    201 |  7.920 % |
89.86/89.91	c |     17477 |  145477   710565  1912703 | 2147483647    17307    201 |  7.986 % |
90.66/90.79	c |     17638 |  145474   710565  1912703 | 2147483647    17467    202 |  7.999 % |
91.66/91.71	c |     17814 |  145474   710565  1912703 | 2147483647    17643    202 |  7.999 % |
92.66/92.72	c |     18008 |  145361   709919  1911221 | 2147483647    17832    202 |  7.999 % |
94.16/94.25	c |     18220 |  145361   709919  1911221 | 2147483647    18044    205 |  7.999 % |
96.26/96.36	c |     18457 |  145361   709919  1911221 | 2147483647    18281    206 |  7.999 % |
98.36/98.41	c |     18716 |  145350   709822  1910959 | 2147483647    18539    205 |  8.006 % |
99.86/99.96	c |     18997 |  145349   709822  1910959 | 2147483647    18819    206 |  8.007 % |
102.66/102.80	c |     19307 |  145349   709822  1910959 | 2147483647    19129    208 |  8.007 % |
104.46/104.53	c |     19646 |  145348   709819  1910953 | 2147483647    19466    208 |  8.012 % |
106.16/106.24	c |     20018 |  145347   709819  1910953 | 2147483647    19837    210 |  8.012 % |
106.46/106.58	c |     20120 |  145347   709819  1910953 | 2147483647    19939    211 |  8.012 % |
107.46/107.60	c |     20233 |  145331   709689  1910668 | 2147483647    20037    212 |  8.018 % |
108.66/108.78	c |     20354 |  145330   709689  1910668 | 2147483647    20157    213 |  8.019 % |
109.56/109.66	c |     20487 |  145330   709689  1910668 | 2147483647    20290    213 |  8.019 % |
110.46/110.57	c |     20633 |  145330   709689  1910668 | 2147483647    20436    214 |  8.019 % |
111.96/112.04	c |     20793 |  145330   709689  1910668 | 2147483647    20596    215 |  8.019 % |
113.86/114.00	c |     20975 |  145330   709686  1910662 | 2147483647    20778    216 |  8.019 % |
114.56/114.64	c |     21170 |  145329   709686  1910662 | 2147483647    20972    216 |  8.020 % |
116.56/116.66	c |     21383 |  145329   709686  1910662 | 2147483647    21185    220 |  8.020 % |
118.16/118.27	c |     21628 |  145329   709683  1910656 | 2147483647    21429    220 |  8.020 % |
120.36/120.42	c |     21884 |  145329   709683  1910656 | 2147483647    21685    222 |  8.020 % |
122.16/122.26	c |     22165 |  145329   709683  1910656 | 2147483647    21966    224 |  8.020 % |
125.76/125.83	c |     22476 |  145317   709586  1910412 | 2147483647    22276    223 |  8.027 % |
127.56/127.64	c |     22815 |  145317   709586  1910412 | 2147483647    22615    223 |  8.027 % |
130.16/130.27	c |     23187 |  145317   709586  1910412 | 2147483647    22987    225 |  8.027 % |
133.56/133.66	c |     23596 |  145317   709586  1910412 | 2147483647    23396    226 |  8.027 % |
133.96/134.05	c |     23696 |  145317   709586  1910412 | 2147483647    23496    226 |  8.027 % |
134.86/134.99	c |     23807 |  145317   709586  1910412 | 2147483647    23607    227 |  8.027 % |
135.26/135.33	c |     23933 |  145316   709582  1910404 | 2147483647    23731    227 |  8.029 % |
135.46/135.51	c |     24066 |  145316   709582  1910404 | 2147483647    23864    226 |  8.029 % |
135.96/136.01	c |     24212 |  145313   709582  1910404 | 2147483647    24009    226 |  8.167 % |
136.26/136.32	c |     24372 |  145313   709582  1910404 | 2147483647    24169    225 |  8.167 % |
137.46/137.51	c |     24549 |  145271   709582  1910404 | 2147483647    24344    225 |  8.193 % |
138.86/138.93	c |     24744 |  145271   709582  1910404 | 2147483647    24539    226 |  8.193 % |
140.66/140.73	c |     24956 |  145270   709582  1910404 | 2147483647    24750    226 |  8.199 % |
141.66/141.75	c |     25189 |  145046   708441  1907924 | 2147483647    24975    226 |  8.199 % |
143.06/143.15	c |     25445 |  145046   708441  1907924 | 2147483647    25231    226 |  8.199 % |
145.26/145.35	c |     25726 |  145046   708441  1907924 | 2147483647    25512    227 |  8.199 % |
148.26/148.31	c |     26036 |  145046   708441  1907924 | 2147483647    25822    229 |  8.199 % |
148.96/149.01	c |     26380 |  145046   708441  1907924 | 2147483647    26166    229 |  8.199 % |
151.56/151.70	c |     26753 |  145021   708295  1907549 | 2147483647    26538    232 |  8.215 % |
155.16/155.22	c |     27165 |  145021   708295  1907549 | 2147483647    26950    234 |  8.215 % |
158.96/159.04	c |     27614 |  145021   708295  1907549 | 2147483647    27399    235 |  8.215 % |
159.66/159.78	c |     27715 |  145021   708295  1907549 | 2147483647    27500    236 |  8.215 % |
160.16/160.22	c |     27826 |  145013   708216  1907360 | 2147483647    27609    236 |  8.220 % |
160.46/160.57	c |     27949 |  145013   708216  1907360 | 2147483647    27732    236 |  8.220 % |
161.46/161.59	c |     28083 |  145010   708216  1907360 | 2147483647    27864    236 |  8.376 % |
161.86/161.98	c |     28230 |  145010   708216  1907360 | 2147483647    28011    237 |  8.376 % |
162.16/162.28	c |     28390 |  145010   708216  1907360 | 2147483647    28171    236 |  8.376 % |
163.76/163.82	c |     28569 |  145010   708216  1907360 | 2147483647    28350    239 |  8.376 % |
164.97/165.05	c |     28765 |  145010   708216  1907360 | 2147483647    28546    239 |  8.376 % |
166.46/166.54	c |     28977 |  145010   708216  1907360 | 2147483647    28758    241 |  8.376 % |
167.66/167.75	c |     29210 |  144766   706544  1903263 | 2147483647    28529    242 |  8.376 % |
169.76/169.87	c |     29466 |  144766   706544  1903263 | 2147483647    28784    244 |  8.391 % |
171.96/172.08	c |     29747 |  144766   706544  1903263 | 2147483647    29065    245 |  8.391 % |
174.87/174.91	c |     30056 |  144680   706043  1901945 | 2147483647    29362    246 |  8.442 % |
175.97/176.03	c |     30395 |  144680   706043  1901945 | 2147483647    29701    246 |  8.442 % |
178.96/179.09	c |     30767 |  144679   706043  1901945 | 2147483647    30072    247 |  8.443 % |
182.06/182.17	c |     31177 |  144679   706043  1901945 | 2147483647    30482    250 |  8.443 % |
184.06/184.19	c |     31626 |  144660   705919  1901621 | 2147483647    30927    252 |  8.443 % |
185.56/185.69	c |     32120 |  144660   705919  1901621 | 2147483647    31421    251 |  8.443 % |
185.96/186.09	c |     32224 |  144660   705919  1901621 | 2147483647    31525    250 |  8.443 % |
186.26/186.34	c |     32336 |  144660   705919  1901621 | 2147483647    31637    250 |  8.443 % |
187.17/187.23	c |     32459 |  144660   705919  1901621 | 2147483647    31760    251 |  8.443 % |
187.37/187.48	c |     32592 |  144660   705919  1901621 | 2147483647    31893    250 |  8.443 % |
188.77/188.90	c |     32738 |  144656   705919  1901621 | 2147483647    32038    251 |  8.456 % |
189.87/189.92	c |     32898 |  144639   705793  1901290 | 2147483647    32194    252 |  8.456 % |
190.77/190.85	c |     33075 |  144639   705793  1901290 | 2147483647    32370    252 |  8.468 % |
192.07/192.20	c |     33268 |  144618   705793  1901290 | 2147483647    32562    252 |  8.911 % |
193.97/194.02	c |     33480 |  144617   705793  1901290 | 2147483647    32773    253 |  8.928 % |
196.27/196.37	c |     33713 |  144616   705793  1901290 | 2147483647    33005    253 |  8.928 % |
198.77/198.89	c |     33972 |  143893   701485  1890737 | 2147483647    33244    255 |  8.928 % |
200.87/200.95	c |     34255 |  143892   701485  1890737 | 2147483647    33525    255 |  8.940 % |
203.57/203.69	c |     34564 |  143884   701485  1890737 | 2147483647    33828    255 |  9.018 % |
205.67/205.78	c |     34904 |  143751   700639  1888548 | 2147483647    34156    255 |  9.627 % |
207.47/207.53	c |     35277 |  143751   700639  1888548 | 2147483647    34528    255 |  9.635 % |
209.17/209.27	c |     35687 |  143750   700639  1888548 | 2147483647    34936    254 |  9.639 % |
210.87/211.01	c |     36137 |  143749   700639  1888548 | 2147483647    35385    254 |  9.640 % |
214.27/214.31	c |     36632 |  143749   700639  1888548 | 2147483647    35880    254 |  9.640 % |
218.87/218.95	c |     37174 |  142769   695395  1875266 | 2147483647    36416    256 |  9.640 % |
219.57/219.66	c |     37274 |  142769   695395  1875266 | 2147483647    36516    256 |  9.640 % |
220.77/220.90	c |     37384 |  142769   695395  1875266 | 2147483647    36626    256 |  9.640 % |
221.57/221.69	c |     37507 |  142769   695395  1875266 | 2147483647    36749    256 |  9.640 % |
222.87/222.91	c |     37640 |  142769   695395  1875266 | 2147483647    36882    256 |  9.640 % |
224.07/224.20	c |     37788 |  142139   692877  1870230 | 2147483647    37025    256 | 10.039 % |
225.27/225.33	c |     37948 |  142138   692877  1870230 | 2147483647    37184    256 | 10.045 % |
226.37/226.44	c |     38124 |  142138   692877  1870230 | 2147483647    37360    256 | 10.045 % |
228.07/228.12	c |     38317 |  142137   692877  1870230 | 2147483647    37552    256 | 10.046 % |
229.97/230.08	c |     38532 |  142137   692877  1870230 | 2147483647    37767    257 | 10.046 % |
231.67/231.75	c |     38765 |  142137   692877  1870230 | 2147483647    38000    257 | 10.046 % |
233.97/234.07	c |     39026 |  142128   692788  1870029 | 2147483647    38231    257 | 10.046 % |
235.77/235.91	c |     39310 |  142119   692788  1870029 | 2147483647    38513    258 | 10.070 % |
238.27/238.41	c |     39621 |  142119   692788  1870029 | 2147483647    38824    258 | 10.070 % |
240.57/240.70	c |     39966 |  142119   692788  1870029 | 2147483647    39169    258 | 10.070 % |
241.77/241.86	c |     40340 |  142090   692582  1869588 | 2147483647    39541    259 | 10.070 % |
244.47/244.57	c |     40749 |  142090   692582  1869588 | 2147483647    39950    259 | 10.070 % |
248.27/248.37	c |     41198 |  142088   692582  1869588 | 2147483647    40396    260 | 10.094 % |
253.87/253.92	c |     41691 |  142026   692263  1868820 | 2147483647    40857    260 | 10.123 % |
258.17/258.28	c |     42233 |  142025   692263  1868820 | 2147483647    41398    260 | 10.123 % |
263.37/263.43	c |     42829 |  142025   692263  1868820 | 2147483647    41994    259 | 10.123 % |
264.07/264.13	c |     42929 |  142005   692142  1868533 | 2147483647    42083    260 | 10.123 % |
264.97/265.06	c |     43039 |  142005   692142  1868533 | 2147483647    42193    260 | 10.123 % |
265.57/265.69	c |     43160 |  142005   692142  1868533 | 2147483647    42314    260 | 10.123 % |
266.97/267.03	c |     43296 |  142005   692142  1868533 | 2147483647    42449    260 | 10.124 % |
267.67/267.78	c |     43442 |  142004   692142  1868533 | 2147483647    42595    261 | 10.124 % |
269.48/269.53	c |     43602 |  142003   692142  1868533 | 2147483647    42754    261 | 10.125 % |
270.97/271.01	c |     43778 |  142003   692142  1868533 | 2147483647    42930    261 | 10.125 % |
272.97/273.06	c |     43973 |  142003   692142  1868533 | 2147483647    43125    261 | 10.125 % |
274.87/274.98	c |     44188 |  142003   692134  1868517 | 2147483647    43340    261 | 10.125 % |
276.77/276.86	c |     44422 |  142003   692134  1868517 | 2147483647    43574    262 | 10.125 % |
278.87/279.00	c |     44678 |  142003   692134  1868517 | 2147483647    43830    263 | 10.125 % |
281.47/281.55	c |     44960 |  142003   692134  1868517 | 2147483647    44112    264 | 10.125 % |
283.37/283.43	c |     45269 |  141984   692039  1868260 | 2147483647    44417    264 | 10.152 % |
285.57/285.70	c |     45608 |  141984   692039  1868260 | 2147483647    44756    264 | 10.152 % |
288.57/288.63	c |     45980 |  141983   692039  1868260 | 2147483647    45127    265 | 10.153 % |
289.57/289.61	c |     46392 |  141983   692039  1868260 | 2147483647    45539    264 | 10.153 % |
293.37/293.41	c |     46841 |  141983   692039  1868260 | 2147483647    45988    267 | 10.153 % |
297.97/298.04	c |     47334 |  141958   691815  1867661 | 2147483647    46477    266 | 10.159 % |
302.58/302.62	c |     47876 |  141958   691815  1867661 | 2147483647    47019    266 | 10.159 % |
306.48/306.53	c |     48472 |  141921   691543  1866994 | 2147483647    47607    267 | 10.177 % |
311.98/312.02	c |     49127 |  141920   691543  1866994 | 2147483647    48261    269 | 10.188 % |
312.78/312.84	c |     49229 |  141920   691543  1866994 | 2147483647    48363    269 | 10.188 % |
313.98/314.08	c |     49339 |  141919   691543  1866994 | 2147483647    48472    269 | 10.199 % |
315.28/315.36	c |     49463 |  141919   691543  1866994 | 2147483647    48596    269 | 10.199 % |
316.58/316.64	c |     49596 |  141885   691317  1866456 | 2147483647    48702    269 | 10.199 % |
318.28/318.32	c |     49742 |  141884   691317  1866456 | 2147483647    48847    269 | 10.204 % |
319.98/320.03	c |     49902 |  141884   691317  1866456 | 2147483647    49007    269 | 10.204 % |
322.58/322.63	c |     50079 |  141877   691317  1866456 | 2147483647    49176    270 | 10.285 % |
323.98/324.03	c |     50273 |  141877   691317  1866456 | 2147483647    49370    270 | 10.285 % |
325.18/325.30	c |     50491 |  141877   691317  1866456 | 2147483647    49588    269 | 10.285 % |
325.88/325.98	c |     50724 |  141877   691317  1866456 | 2147483647    49821    268 | 10.285 % |
328.38/328.47	c |     50981 |  141877   691317  1866456 | 2147483647    50078    269 | 10.285 % |
330.88/330.96	c |     51262 |  141750   690502  1864451 | 2147483647    50358    269 | 10.285 % |
332.78/332.91	c |     51572 |  141750   690502  1864451 | 2147483647    50668    269 | 10.285 % |
335.18/335.29	c |     51912 |  141749   690502  1864451 | 2147483647    51006    268 | 10.292 % |
338.28/338.34	c |     52284 |  141749   690502  1864451 | 2147483647    51378    267 | 10.292 % |
341.58/341.71	c |     52693 |  141749   690502  1864451 | 2147483647    51787    267 | 10.292 % |
345.68/345.73	c |     53142 |  141738   690412  1864213 | 2147483647    52235    267 | 10.292 % |
350.18/350.31	c |     53635 |  141736   690412  1864213 | 2147483647    52726    266 | 10.294 % |
353.28/353.36	c |     54177 |  141734   690412  1864213 | 2147483647    53266    268 | 10.299 % |
358.38/358.48	c |     54774 |  141734   690412  1864213 | 2147483647    53863    267 | 10.299 % |
364.28/364.32	c |     55430 |  141727   690326  1864024 | 2147483647    54508    266 | 10.299 % |
369.98/370.05	c |     56150 |  141724   690326  1864024 | 2147483647    55225    266 | 10.318 % |
370.78/370.91	c |     56250 |  141724   690326  1864024 | 2147483647    55325    266 | 10.318 % |
371.88/371.94	c |     56360 |  141694   690114  1863476 | 2147483647    55425    265 | 10.347 % |
372.78/372.92	c |     56481 |  141694   690114  1863476 | 2147483647    55546    265 | 10.347 % |
373.99/374.03	c |     56614 |  141694   690114  1863476 | 2147483647    55679    265 | 10.347 % |
374.48/374.54	c |     56761 |  141694   690114  1863476 | 2147483647    55826    265 | 10.347 % |
374.88/374.99	c |     56922 |  141694   690114  1863476 | 2147483647    55987    264 | 10.347 % |
375.48/375.52	c |     57098 |  141694   690114  1863476 | 2147483647    56163    264 | 10.347 % |
376.08/376.21	c |     57291 |  141694   690114  1863476 | 2147483647    56356    264 | 10.347 % |
377.58/377.66	c |     57503 |  141694   690114  1863476 | 2147483647    56568    265 | 10.347 % |
379.78/379.88	c |     57739 |  141694   690114  1863476 | 2147483647    56804    265 | 10.347 % |
382.38/382.49	c |     57995 |  141693   690114  1863476 | 2147483647    57059    265 | 10.348 % |
384.88/385.02	c |     58279 |  141650   689769  1862644 | 2147483647    57307    265 | 10.348 % |
387.88/388.00	c |     58590 |  141650   689769  1862644 | 2147483647    57618    264 | 10.348 % |
390.78/390.85	c |     58932 |  141650   689769  1862644 | 2147483647    57960    265 | 10.348 % |
394.18/394.22	c |     59304 |  141649   689769  1862644 | 2147483647    58331    265 | 10.349 % |
398.08/398.16	c |     59713 |  141590   689406  1861697 | 2147483647    58735    265 | 10.386 % |
402.78/402.83	c |     60163 |  141560   689406  1861697 | 2147483647    59178    265 | 10.556 % |
405.68/405.76	c |     60656 |  141559   689406  1861697 | 2147483647    59670    264 | 10.563 % |
410.18/410.26	c |     61198 |  141557   689406  1861697 | 2147483647    60210    264 | 10.572 % |
416.99/417.06	c |     61795 |  141294   687631  1857181 | 2147483647    60625    265 | 10.573 % |
423.39/423.50	c |     62450 |  141289   687631  1857181 | 2147483647    61278    266 | 10.864 % |
428.59/428.69	c |     63170 |  140834   685012  1850375 | 2147483647    61996    266 | 10.875 % |
432.29/432.33	c |     63964 |  140834   685012  1850375 | 2147483647    62790    268 | 10.875 % |
432.59/432.69	c |     64064 |  140834   685012  1850375 | 2147483647    62890    268 | 10.875 % |
433.49/433.57	c |     64177 |  140834   685012  1850375 | 2147483647    63003    268 | 10.875 % |
434.68/434.72	c |     64298 |  140833   685012  1850375 | 2147483647    63123    268 | 10.879 % |
435.58/435.71	c |     64433 |  140833   685012  1850375 | 2147483647    63258    268 | 10.879 % |
436.67/436.78	c |     64579 |  140810   684832  1849943 | 2147483647    63386    268 | 10.888 % |
438.07/438.13	c |     64740 |  140810   684832  1849943 | 2147483647    63547    268 | 10.888 % |
438.97/439.04	c |     64916 |  140807   684832  1849943 | 2147483647    63720    268 | 10.890 % |
440.27/440.33	c |     65109 |  140806   684832  1849943 | 2147483647    63912    268 | 10.891 % |
442.07/442.16	c |     65321 |  140806   684832  1849943 | 2147483647    64124    268 | 10.891 % |
444.17/444.29	c |     65554 |  140806   684832  1849943 | 2147483647    64356    267 | 10.928 % |
445.07/445.20	c |     65817 |  140806   684832  1849943 | 2147483647    64619    267 | 10.928 % |
445.77/445.84	c |     66098 |  140806   684832  1849943 | 2147483647    64900    267 | 10.928 % |
447.77/447.89	c |     66412 |  140806   684832  1849943 | 2147483647    65214    267 | 10.928 % |
449.97/450.09	c |     66755 |  140734   684437  1849116 | 2147483647    65541    267 | 10.928 % |
451.07/451.20	c |     67130 |  140734   684437  1849116 | 2147483647    65916    266 | 10.928 % |
453.87/453.92	c |     67539 |  140734   684437  1849116 | 2147483647    66325    267 | 10.928 % |
456.37/456.48	c |     67988 |  140733   684437  1849116 | 2147483647    66773    267 | 10.928 % |
459.97/460.10	c |     68483 |  140731   684437  1849116 | 2147483647    67266    269 | 10.930 % |
465.17/465.29	c |     69030 |  140730   684422  1849086 | 2147483647    67809    268 | 10.930 % |
468.27/468.31	c |     69629 |  140730   684422  1849086 | 2147483647    68408    267 | 10.930 % |
472.67/472.76	c |     70286 |  140730   684422  1849086 | 2147483647    69065    267 | 10.930 % |
478.37/478.50	c |     71007 |  140730   684422  1849086 | 2147483647    69786    267 | 10.930 % |
482.67/482.72	c |     71799 |  140730   684422  1849086 | 2147483647    70578    267 | 10.930 % |
489.37/489.47	c |     72670 |  140730   684422  1849086 | 2147483647    71449    267 | 10.930 % |
490.17/490.22	c |     72771 |  140730   684422  1849086 | 2147483647    71550    267 | 10.930 % |
491.07/491.14	c |     72883 |  140730   684422  1849086 | 2147483647    71662    267 | 10.930 % |
491.77/491.87	c |     73005 |  140730   684422  1849086 | 2147483647    71784    267 | 10.930 % |
492.37/492.45	c |     73139 |  140730   684422  1849086 | 2147483647    71918    267 | 10.930 % |
493.17/493.26	c |     73286 |  140729   684418  1849078 | 2147483647    72057    267 | 10.931 % |
494.57/494.64	c |     73446 |  140729   684418  1849078 | 2147483647    72217    267 | 10.931 % |
495.77/495.83	c |     73623 |  140729   684418  1849078 | 2147483647    72394    267 | 10.931 % |
497.27/497.39	c |     73817 |  140729   684418  1849078 | 2147483647    72588    267 | 10.931 % |
498.97/499.08	c |     74033 |  140729   684418  1849078 | 2147483647    72804    266 | 10.931 % |
500.97/501.06	c |     74268 |  140729   684418  1849078 | 2147483647    73039    266 | 10.931 % |
502.97/503.08	c |     74524 |  140728   684418  1849078 | 2147483647    73294    266 | 10.947 % |
503.87/503.91	c |     74806 |  140728   684418  1849078 | 2147483647    73576    266 | 10.947 % |
505.37/505.41	c |     75115 |  140728   684418  1849078 | 2147483647    73885    266 | 10.947 % |
508.07/508.21	c |     75457 |  140727   684418  1849078 | 2147483647    74226    265 | 10.952 % |
511.07/511.12	c |     75829 |  140690   684163  1848475 | 2147483647    74480    265 | 11.035 % |
514.67/514.73	c |     76238 |  140690   684163  1848475 | 2147483647    74889    265 | 11.035 % |
517.37/517.46	c |     76687 |  140689   684163  1848475 | 2147483647    75337    265 | 11.036 % |
520.67/520.71	c |     77180 |  140669   684163  1848475 | 2147483647    75829    266 | 11.390 % |
525.57/525.69	c |     77725 |  140003   681145  1842026 | 2147483647    76361    266 | 11.391 % |
530.38/530.50	c |     78321 |  140003   681145  1842026 | 2147483647    76956    267 | 11.398 % |
534.98/535.06	c |     78977 |  140002   681145  1842026 | 2147483647    77611    267 | 11.404 % |
540.38/540.42	c |     79698 |  139975   680910  1841468 | 2147483647    78278    266 | 11.408 % |
542.38/542.51	c |     80490 |  139975   680910  1841468 | 2147483647    79070    266 | 11.408 % |
549.18/549.31	c |     81362 |  139974   680910  1841468 | 2147483647    79941    266 | 11.418 % |
557.78/557.86	c |     82325 |  139974   680910  1841468 | 2147483647    80904    265 | 11.418 % |
558.18/558.25	c |     82427 |  139960   680815  1841238 | 2147483647    80996    265 | 11.418 % |
558.88/559.00	c |     82537 |  139960   680815  1841238 | 2147483647    81106    265 | 11.418 % |
559.78/559.84	c |     82658 |  139960   680815  1841238 | 2147483647    81227    264 | 11.418 % |
560.78/560.84	c |     82791 |  139960   680815  1841238 | 2147483647    81360    264 | 11.418 % |
561.98/562.05	c |     82937 |  139960   680815  1841238 | 2147483647    81506    264 | 11.418 % |
563.48/563.54	c |     83099 |  139960   680815  1841238 | 2147483647    81668    264 | 11.418 % |
565.18/565.23	c |     83276 |  139960   680815  1841238 | 2147483647    81845    264 | 11.418 % |
565.88/565.95	c |     83470 |  139957   680815  1841238 | 2147483647    82038    264 | 11.432 % |
567.48/567.55	c |     83683 |  139957   680815  1841238 | 2147483647    82251    265 | 11.432 % |
568.98/569.10	c |     83916 |  139957   680815  1841238 | 2147483647    82484    265 | 11.432 % |
570.18/570.28	c |     84172 |  139957   680815  1841238 | 2147483647    82740    264 | 11.432 % |
572.08/572.16	c |     84453 |  139957   680815  1841238 | 2147483647    83021    265 | 11.432 % |
574.18/574.28	c |     84762 |  139957   680815  1841238 | 2147483647    83330    265 | 11.432 % |
577.28/577.33	c |     85101 |  139937   680650  1840848 | 2147483647    83637    265 | 11.503 % |
579.98/580.03	c |     85473 |  139937   680650  1840848 | 2147483647    84009    264 | 11.503 % |
582.78/582.82	c |     85883 |  139937   680650  1840848 | 2147483647    84419    263 | 11.503 % |
585.98/586.08	c |     86332 |  139936   680650  1840848 | 2147483647    84867    263 | 11.503 % |
589.28/589.39	c |     86826 |  139935   680650  1840848 | 2147483647    85360    263 | 11.504 % |
593.98/594.11	c |     87368 |  139821   680021  1839319 | 2147483647    85834    263 | 11.647 % |
599.38/599.42	c |     87965 |  139819   680021  1839319 | 2147483647    86429    262 | 11.677 % |
604.68/604.74	c |     88621 |  139819   680021  1839319 | 2147483647    87085    262 | 11.677 % |
609.48/609.59	c |     89342 |  139548   678582  1835821 | 2147483647    87694    261 | 11.835 % |
615.18/615.25	c |     90134 |  139547   678582  1835821 | 2147483647    88484    261 | 11.846 % |
622.68/622.78	c |     91006 |  139547   678582  1835821 | 2147483647    89355    260 | 11.851 % |
628.48/628.58	c |     91965 |  139275   677291  1832973 | 2147483647    90167    259 | 11.857 % |
635.08/635.16	c |     93021 |  139275   677291  1832973 | 2147483647    91223    261 | 11.857 % |
635.28/635.34	c |     93121 |  139275   677291  1832973 | 2147483647    91323    261 | 11.857 % |
636.28/636.32	c |     93233 |  139275   677291  1832973 | 2147483647    91435    262 | 11.857 % |
637.38/637.42	c |     93356 |  139272   677291  1832973 | 2147483647    91555    262 | 11.859 % |
638.68/638.76	c |     93490 |  139272   677291  1832973 | 2147483647    91689    262 | 11.859 % |
640.19/640.26	c |     93639 |  139271   677291  1832973 | 2147483647    91837    262 | 11.859 % |
641.88/641.94	c |     93799 |  139262   677194  1832744 | 2147483647    91979    262 | 11.859 % |
643.18/643.29	c |     93975 |  139262   677194  1832744 | 2147483647    92155    262 | 11.859 % |
644.89/644.96	c |     94168 |  139262   677194  1832744 | 2147483647    92348    262 | 11.859 % |
646.69/646.73	c |     94380 |  139262   677194  1832744 | 2147483647    92560    261 | 11.859 % |
648.59/648.69	c |     94613 |  139262   677194  1832744 | 2147483647    92793    261 | 11.859 % |
651.19/651.26	c |     94869 |  139261   677194  1832744 | 2147483647    93048    261 | 11.872 % |
653.09/653.19	c |     95151 |  139261   677194  1832744 | 2147483647    93330    261 | 11.872 % |
655.39/655.47	c |     95460 |  139261   677194  1832744 | 2147483647    93639    261 | 11.872 % |
657.29/657.42	c |     95801 |  139261   677194  1832744 | 2147483647    93980    260 | 11.872 % |
659.79/659.92	c |     96173 |  139242   677122  1832600 | 2147483647    94348    260 | 11.872 % |
661.99/662.12	c |     96582 |  139242   677122  1832600 | 2147483647    94756    259 | 11.894 % |
665.79/665.91	c |     97033 |  139242   677122  1832600 | 2147483647    95207    259 | 11.894 % |
669.99/670.06	c |     97526 |  139242   677122  1832600 | 2147483647    95699    259 | 12.023 % |
674.19/674.31	c |     98069 |  139242   677122  1832600 | 2147483647    96242    258 | 12.023 % |
679.09/679.15	c |     98666 |  139002   676145  1830558 | 2147483647    96830    258 | 12.024 % |
684.59/684.64	c |     99321 |  139002   676145  1830558 | 2147483647    97485    257 | 12.024 % |
690.69/690.78	c |    100041 |  138997   676145  1830558 | 2147483647    98200    256 | 12.027 % |
697.89/697.97	c |    100834 |  138995   676117  1830502 | 2147483647    98987    255 | 12.029 % |
705.09/705.20	c |    101705 |  138995   676117  1830502 | 2147483647    99858    254 | 12.029 % |
712.80/712.84	c |    102665 |  138995   676117  1830502 | 2147483647   100818    253 | 12.029 % |
720.99/721.03	c |    103721 |  138995   676117  1830502 | 2147483647   101874    252 | 12.029 % |
729.49/729.57	c |    104880 |  138995   676117  1830502 | 2147483647   103033    250 | 12.029 % |
730.19/730.28	c |    104980 |  138995   676117  1830502 | 2147483647   103133    250 | 12.029 % |
730.99/731.11	c |    105090 |  138995   676117  1830502 | 2147483647   103243    250 | 12.029 % |
731.99/732.10	c |    105212 |  138995   676117  1830502 | 2147483647   103365    250 | 12.029 % |
732.99/733.10	c |    105349 |  138995   676117  1830502 | 2147483647   103502    250 | 12.028 % |
734.59/734.68	c |    105496 |  138990   676100  1830468 | 2147483647   103646    250 | 12.032 % |
735.99/736.05	c |    105656 |  138990   676100  1830468 | 2147483647   103806    250 | 12.032 % |
737.49/737.61	c |    105838 |  138990   676100  1830468 | 2147483647   103988    249 | 12.032 % |
738.99/739.06	c |    106034 |  138990   676100  1830468 | 2147483647   104184    249 | 12.032 % |
740.30/740.37	c |    106246 |  138990   676100  1830468 | 2147483647   104396    249 | 12.032 % |
742.19/742.22	c |    106483 |  138990   676100  1830468 | 2147483647   104632    249 | 12.046 % |
743.69/743.80	c |    106743 |  138990   676100  1830468 | 2147483647   104892    249 | 12.046 % |
745.69/745.76	c |    107026 |  138990   676100  1830468 | 2147483647   105175    248 | 12.046 % |
748.09/748.19	c |    107335 |  138990   676100  1830468 | 2147483647   105484    248 | 12.046 % |
751.09/751.15	c |    107680 |  138990   676100  1830468 | 2147483647   105829    248 | 12.046 % |
754.49/754.54	c |    108052 |  138990   676100  1830468 | 2147483647   106201    248 | 12.046 % |
755.70/755.79	c |    108461 |  138967   675969  1830123 | 2147483647   106609    248 | 12.046 % |
758.70/758.77	c |    108912 |  138967   675969  1830123 | 2147483647   107060    248 | 12.046 % |
761.00/761.03	c |    109405 |  138965   675969  1830123 | 2147483647   107551    248 | 12.047 % |
764.10/764.14	c |    109949 |  138965   675969  1830123 | 2147483647   108095    249 | 12.047 % |
769.10/769.14	c |    110545 |  138965   675969  1830123 | 2147483647   108691    249 | 12.047 % |
773.70/773.81	c |    111200 |  138965   675969  1830123 | 2147483647   109346    248 | 12.047 % |
775.60/775.66	c |    111921 |  138965   675962  1830109 | 2147483647   110067    247 | 12.047 % |
782.10/782.16	c |    112715 |  138965   675962  1830109 | 2147483647   110861    248 | 12.047 % |
790.20/790.27	c |    113586 |  138965   675962  1830109 | 2147483647   111732    247 | 12.047 % |
795.58/795.64	c |    114546 |  137289   665824  1805232 | 2147483647   112678    247 | 13.108 % |
803.78/803.89	c |    115600 |  137289   665824  1805232 | 2147483647   113732    246 | 13.108 % |
812.18/812.24	c |    116761 |  137289   665824  1805232 | 2147483647   114893    246 | 13.108 % |
822.08/822.12	c |    118034 |  137288   665820  1805224 | 2147483647   116165    244 | 13.109 % |
823.08/823.13	c |    118135 |  137288   665820  1805224 | 2147483647   116266    244 | 13.109 % |
823.68/823.71	c |    118245 |  137288   665820  1805224 | 2147483647   116376    244 | 13.109 % |
824.88/824.99	c |    118366 |  137288   665820  1805224 | 2147483647   116497    245 | 13.109 % |
826.18/826.24	c |    118499 |  137288   665820  1805224 | 2147483647   116630    245 | 13.109 % |
827.38/827.41	c |    118645 |  137288   665820  1805224 | 2147483647   116776    245 | 13.109 % |
828.98/829.04	c |    118805 |  137288   665820  1805224 | 2147483647   116936    244 | 13.109 % |
831.08/831.15	c |    118982 |  137288   665820  1805224 | 2147483647   117113    244 | 13.109 % |
832.69/832.79	c |    119177 |  137288   665820  1805224 | 2147483647   117308    244 | 13.109 % |
834.68/834.80	c |    119389 |  137288   665820  1805224 | 2147483647   117520    244 | 13.109 % |
836.88/836.94	c |    119623 |  137288   665820  1805224 | 2147483647   117754    244 | 13.109 % |
839.18/839.21	c |    119879 |  137288   665820  1805224 | 2147483647   118010    244 | 13.109 % |
841.58/841.68	c |    120164 |  137288   665820  1805224 | 2147483647   118295    243 | 13.109 % |
844.38/844.47	c |    120475 |  137288   665820  1805224 | 2147483647   118606    243 | 13.109 % |
847.68/847.74	c |    120814 |  137270   665704  1804914 | 2147483647   118941    243 | 13.120 % |
850.29/850.35	c |    121186 |  137270   665704  1804914 | 2147483647   119313    242 | 13.120 % |
853.68/853.78	c |    121595 |  137270   665704  1804914 | 2147483647   119722    242 | 13.120 % |
856.48/856.59	c |    122044 |  137270   665704  1804914 | 2147483647   120171    241 | 13.120 % |
861.29/861.37	c |    122538 |  137270   665704  1804914 | 2147483647   120665    241 | 13.120 % |
866.38/866.41	c |    123080 |  137270   665704  1804914 | 2147483647   121207    240 | 13.120 % |
870.48/870.59	c |    123676 |  137270   665704  1804914 | 2147483647   121803    240 | 13.120 % |
875.79/875.82	c |    124331 |  137270   665704  1804914 | 2147483647   122458    239 | 13.120 % |
880.99/881.04	c |    125053 |  137270   665704  1804914 | 2147483647   123180    238 | 13.120 % |
886.69/886.72	c |    125845 |  137270   665704  1804914 | 2147483647   123972    238 | 13.120 % |
889.09/889.20	c |    126716 |  137269   665700  1804906 | 2147483647   124842    238 | 13.121 % |
896.69/896.73	c |    127674 |  137269   665700  1804906 | 2147483647   125800    239 | 13.121 % |
906.19/906.25	c |    128727 |  137269   665700  1804906 | 2147483647   126852    239 | 13.122 % |
915.49/915.59	c |    129886 |  137269   665700  1804906 | 2147483647   128011    238 | 13.122 % |
927.09/927.21	c |    131162 |  137267   665689  1804882 | 2147483647   129282    238 | 13.131 % |
938.49/938.56	c |    132562 |  137267   665689  1804882 | 2147483647   130682    238 | 13.131 % |
939.59/939.65	c |    132664 |  137253   665584  1804601 | 2147483647   130784    238 | 13.131 % |
940.39/940.47	c |    132775 |  137253   665584  1804601 | 2147483647   130895    238 | 13.131 % |
941.79/941.81	c |    132896 |  137253   665584  1804601 | 2147483647   131016    238 | 13.131 % |
942.70/942.75	c |    133029 |  137253   665584  1804601 | 2147483647   131149    238 | 13.131 % |
943.99/944.07	c |    133175 |  137253   665584  1804601 | 2147483647   131295    237 | 13.131 % |
945.49/945.52	c |    133337 |  137253   665584  1804601 | 2147483647   131457    237 | 13.131 % |
946.79/946.86	c |    133513 |  137253   665584  1804601 | 2147483647   131633    237 | 13.131 % |
948.49/948.52	c |    133709 |  137253   665584  1804601 | 2147483647   131829    237 | 13.131 % |
950.09/950.12	c |    133923 |  137253   665584  1804601 | 2147483647   132043    237 | 13.131 % |
951.99/952.04	c |    134158 |  137253   665584  1804601 | 2147483647   132278    236 | 13.131 % |
952.60/952.66	c |    134416 |  137253   665584  1804601 | 2147483647   132536    236 | 13.131 % |
953.49/953.58	c |    134699 |  137253   665584  1804601 | 2147483647   132819    237 | 13.131 % |
956.09/956.18	c |    135009 |  137253   665584  1804601 | 2147483647   133129    237 | 13.131 % |
958.99/959.08	c |    135350 |  137253   665584  1804601 | 2147483647   133470    237 | 13.131 % |
961.99/962.07	c |    135722 |  137253   665584  1804601 | 2147483647   133842    236 | 13.131 % |
965.69/965.80	c |    136132 |  137253   665584  1804601 | 2147483647   134252    236 | 13.131 % |
970.20/970.22	c |    136583 |  137253   665584  1804601 | 2147483647   134703    236 | 13.131 % |
974.39/974.44	c |    137076 |  137253   665584  1804601 | 2147483647   135196    235 | 13.131 % |
978.69/978.73	c |    137619 |  137253   665584  1804601 | 2147483647   135739    235 | 13.131 % |
983.79/983.85	c |    138215 |  137253   665584  1804601 | 2147483647   136335    234 | 13.131 % |
989.30/989.34	c |    138870 |  137253   665584  1804601 | 2147483647   136990    234 | 13.131 % |
995.90/995.94	c |    139590 |  136144   658242  1786677 | 2147483647    97423    239 | 13.833 % |
1001.50/1001.59	c |    140387 |  136144   658242  1786677 | 2147483647    98220    240 | 13.833 % |
1008.30/1008.41	c |    141259 |  136144   658242  1786677 | 2147483647    99092    239 | 13.833 % |
1015.40/1015.51	c |    142222 |  136144   658242  1786677 | 2147483647   100055    239 | 13.833 % |
1022.70/1022.75	c |    143275 |  136144   658242  1786677 | 2147483647   101108    240 | 13.833 % |
1032.30/1032.32	c |    144433 |  136143   658238  1786669 | 2147483647   102263    240 | 13.834 % |
1041.60/1041.65	c |    145706 |  135883   657022  1784162 | 2147483647   103507    239 | 13.998 % |
1053.30/1053.40	c |    147106 |  135883   657022  1784162 | 2147483647   104907    238 | 13.998 % |
1067.20/1067.27	c |    148646 |  135860   656911  1783885 | 2147483647   106436    238 | 14.185 % |
1068.20/1068.27	c |    148746 |  135860   656911  1783885 | 2147483647   106535    238 | 14.194 % |
1069.00/1069.09	c |    148856 |  135860   656911  1783885 | 2147483647   106645    238 | 14.194 % |
1070.00/1070.04	c |    148978 |  135860   656911  1783885 | 2147483647   106767    237 | 14.194 % |
1071.10/1071.15	c |    149114 |  135860   656911  1783885 | 2147483647   106903    237 | 14.194 % |
1072.20/1072.22	c |    149261 |  135860   656911  1783885 | 2147483647   107050    237 | 14.194 % |
1073.61/1073.64	c |    149421 |  135860   656911  1783885 | 2147483647   107210    237 | 14.194 % |
1075.10/1075.19	c |    149598 |  135860   656911  1783885 | 2147483647   107386    237 | 14.194 % |
1076.50/1076.52	c |    149792 |  135860   656911  1783885 | 2147483647   107580    237 | 14.194 % |
1078.50/1078.59	c |    150004 |  135573   655037  1779254 | 2147483647   107688    237 | 14.194 % |
1080.40/1080.43	c |    150237 |  135573   655037  1779254 | 2147483647   107921    237 | 14.194 % |
1082.50/1082.52	c |    150493 |  135573   655037  1779254 | 2147483647   108177    237 | 14.194 % |
1084.30/1084.40	c |    150777 |  135572   655037  1779254 | 2147483647   108460    237 | 14.210 % |
1086.70/1086.79	c |    151086 |  135572   655037  1779254 | 2147483647   108769    236 | 14.210 % |
1089.30/1089.37	c |    151426 |  135572   655037  1779254 | 2147483647   109109    236 | 14.210 % |
1092.50/1092.52	c |    151799 |  135572   655037  1779254 | 2147483647   109482    236 | 14.210 % |
1096.60/1096.67	c |    152208 |  135572   655037  1779254 | 2147483647   109891    236 | 14.210 % |
1100.51/1100.61	c |    152657 |  135548   654888  1778872 | 2147483647   110339    236 | 14.210 % |
1105.01/1105.04	c |    153150 |  135548   654888  1778872 | 2147483647   110831    235 | 14.213 % |
1110.01/1110.11	c |    153692 |  135548   654888  1778872 | 2147483647   111373    235 | 14.213 % |
1115.71/1115.72	c |    154288 |  135548   654888  1778872 | 2147483647   111969    235 | 14.213 % |
1121.51/1121.53	c |    154943 |  135539   654857  1778796 | 2147483647   112619    235 | 14.216 % |
1127.21/1127.22	c |    155663 |  135538   654857  1778796 | 2147483647   113338    235 | 14.224 % |
1133.91/1133.95	c |    156455 |  135490   654555  1778084 | 2147483647   114083    235 | 14.247 % |
1141.91/1141.92	c |    157327 |  135489   654555  1778084 | 2147483647   114954    234 | 14.261 % |
1149.71/1149.78	c |    158285 |  135489   654555  1778084 | 2147483647   115910    234 | 14.262 % |
1159.50/1159.56	c |    159338 |  135489   654555  1778084 | 2147483647   116963    233 | 14.262 % |
1168.80/1168.88	c |    160497 |  135466   654438  1777804 | 2147483647   118106    233 | 14.262 % |
1180.31/1180.40	c |    161773 |  135466   654438  1777804 | 2147483647   119381    232 | 14.263 % |
1192.60/1192.64	c |    163173 |  135464   654434  1777796 | 2147483647   120780    231 | 14.263 % |
1200.00/1200.02	HOME/SatELiteGTI: line 36: 13035 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821520-1242533334/watcher-1821520-1242533334 -o /tmp/evaluation-result-1821520-1242533334/solver-1821520-1242533334 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821520-1242533334.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.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=952 CPUtime=0
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 113 0 0 0 0 0 0 0 25 0 1 0 1017834473 974848 49 4294967295 134512640 135223648 3214490832 3214489736 134736942 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 238 49 40 174 0 63 0

[startup+0.055335 s]
/proc/loadavg: 0.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=25500 CPUtime=0.05
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 3502 0 0 0 4 1 0 0 25 0 1 0 1017834473 26112000 3271 4294967295 134512640 135223648 3214490832 3214489712 134543108 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 6375 3271 46 174 0 6200 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27916

[startup+0.115314 s]
/proc/loadavg: 0.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=30016 CPUtime=0.11
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 5416 0 0 0 9 2 0 0 25 0 1 0 1017834473 30736384 5185 4294967295 134512640 135223648 3214490832 3214489400 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 7504 5185 46 174 0 7329 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 32432

[startup+0.315303 s]
/proc/loadavg: 0.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=47524 CPUtime=0.31
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 9609 0 0 0 26 5 0 0 25 0 1 0 1017834473 48664576 9378 4294967295 134512640 135223648 3214490832 3214489400 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 11881 9378 46 174 0 11706 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 49940

[startup+0.715285 s]
/proc/loadavg: 0.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=68580 CPUtime=0.71
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 14809 0 0 0 64 7 0 0 25 0 1 0 1017834473 70225920 14578 4294967295 134512640 135223648 3214490832 3214489400 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 17145 14578 46 174 0 16970 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 70996

[startup+1.51525 s]
/proc/loadavg: 0.94 0.99 0.99 3/95 12849
/proc/meminfo: memFree=992724/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=141036 CPUtime=1.5
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 27902 0 0 0 136 14 0 0 25 0 1 0 1017834473 144420864 27671 4294967295 134512640 135223648 3214490832 3214489424 134548979 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 35259 27671 67 174 0 35084 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 143452

[startup+3.11517 s]
/proc/loadavg: 0.94 0.99 0.99 2/95 12849
/proc/meminfo: memFree=958128/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=166836 CPUtime=3.09
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 36497 0 0 0 288 21 0 0 25 0 1 0 1017834473 170840064 33414 4294967295 134512640 135223648 3214490832 3214488848 134587310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 41709 33414 73 174 0 41534 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 169252

[startup+6.31501 s]
/proc/loadavg: 0.94 0.99 0.99 2/95 12849
/proc/meminfo: memFree=942552/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=176284 CPUtime=6.28
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 41877 0 0 0 603 25 0 0 25 0 1 0 1017834473 180514816 35144 4294967295 134512640 135223648 3214490832 3214489184 134602396 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 44071 35144 73 174 0 43896 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 178700

[startup+12.7147 s]
/proc/loadavg: 0.95 0.99 0.99 2/95 13036
/proc/meminfo: memFree=1013716/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=49292 CPUtime=4.41
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 11180 0 0 0 439 2 0 0 25 0 1 0 1017835303 50475008 11041 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 12323 11041 73 172 0 12150 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 51712

[startup+25.5141 s]
/proc/loadavg: 0.96 0.99 0.99 2/95 13037
/proc/meminfo: memFree=1011776/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=51272 CPUtime=17.21
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 11672 0 0 0 1718 3 0 0 25 0 1 0 1017835303 52502528 11533 4294967295 134512640 135215339 3216854896 3216853184 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 12818 11533 73 172 0 12645 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 53692

[startup+51.1128 s]
/proc/loadavg: 0.97 0.99 0.99 2/95 13037
/proc/meminfo: memFree=1007268/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=55944 CPUtime=42.81
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 12849 0 0 0 4275 6 0 0 25 0 1 0 1017835303 57286656 12710 4294967295 134512640 135215339 3216854896 3216853184 134528905 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 13986 12710 73 172 0 13813 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 58364

[startup+102.31 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 13226
/proc/meminfo: memFree=997820/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=65088 CPUtime=94.01
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 15142 0 0 0 9393 8 0 0 25 0 1 0 1017835303 66650112 15003 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 16272 15003 73 172 0 16099 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 67508

[startup+162.307 s]
/proc/loadavg: 0.99 0.99 0.99 2/95 13418
/proc/meminfo: memFree=986568/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=76236 CPUtime=154.01
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 17921 0 0 0 15393 8 0 0 25 0 1 0 1017835303 78065664 17782 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 19059 17782 73 172 0 18886 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 78656

[startup+222.315 s]
/proc/loadavg: 0.99 0.99 0.99 2/95 13604
/proc/meminfo: memFree=975316/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=87468 CPUtime=214.02
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 20739 0 0 0 21391 11 0 0 25 0 1 0 1017835303 89567232 20600 4294967295 134512640 135215339 3216854896 3216853184 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 21867 20600 73 172 0 21694 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 89888

[startup+282.312 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 13793
/proc/meminfo: memFree=966132/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=96796 CPUtime=274.02
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 23043 0 0 0 27390 12 0 0 25 0 1 0 1017835303 99119104 22904 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 24199 22904 73 172 0 24026 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 99216

[startup+342.319 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 13982
/proc/meminfo: memFree=957088/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=105644 CPUtime=334.03
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 25258 0 0 0 33389 14 0 0 25 0 1 0 1017835303 108179456 25119 4294967295 134512640 135215339 3216854896 3216853184 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 26411 25119 73 172 0 26238 0
Current children cumulated CPU time (s) 342.28

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

[pid=13035] ppid=12844 vsize=123204 CPUtime=454.02
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 29624 0 0 0 45375 27 0 0 25 0 1 0 1017835303 126160896 29485 4294967295 134512640 135215339 3216854896 3216853184 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 30801 29485 73 172 0 30628 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 125624

[startup+522.31 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 14552
/proc/meminfo: memFree=930800/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=131796 CPUtime=514.02
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 31799 0 0 0 51371 31 0 0 25 0 1 0 1017835303 134959104 31660 4294967295 134512640 135215339 3216854896 3216853184 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 32949 31660 73 172 0 32776 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 134216

[startup+582.317 s]
/proc/loadavg: 0.99 0.99 0.99 2/95 14741
/proc/meminfo: memFree=922484/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=140036 CPUtime=574.03
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 33843 0 0 0 57371 32 0 0 25 0 1 0 1017835303 143396864 33704 4294967295 134512640 135215339 3216854896 3216852896 134532626 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 35009 33704 73 172 0 34836 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 142456

[startup+642.314 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 14928
/proc/meminfo: memFree=914556/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=147724 CPUtime=634.03
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 35795 0 0 0 63371 32 0 0 25 0 1 0 1017835303 151269376 35656 4294967295 134512640 135215339 3216854896 3216853168 134525106 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 36931 35656 73 172 0 36758 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 150144

[startup+702.321 s]
/proc/loadavg: 0.99 0.99 0.99 4/95 15117
/proc/meminfo: memFree=909184/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=153388 CPUtime=694.04
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 37141 0 0 0 69370 34 0 0 25 0 1 0 1017835303 157069312 37002 4294967295 134512640 135215339 3216854896 3216853184 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 38347 37002 73 172 0 38174 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 155808

[startup+762.328 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 15305
/proc/meminfo: memFree=903016/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=159260 CPUtime=754.05
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 38623 0 0 0 75371 34 0 0 25 0 1 0 1017835303 163082240 38484 4294967295 134512640 135215339 3216854896 3216852960 134538089 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 39815 38484 73 172 0 39642 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 161680

[startup+822.306 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 15491
/proc/meminfo: memFree=896452/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=165888 CPUtime=814.03
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 40297 0 0 0 81366 37 0 0 25 0 1 0 1017835303 169869312 40158 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 41472 40158 73 172 0 41299 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 168308

[startup+882.313 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 15684
/proc/meminfo: memFree=892476/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=170000 CPUtime=874.04
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 41336 0 0 0 87362 42 0 0 25 0 1 0 1017835303 174080000 41197 4294967295 134512640 135215339 3216854896 3216853184 134528795 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 42500 41197 73 172 0 42327 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 172420

[startup+942.31 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 15871
/proc/meminfo: memFree=885168/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=177160 CPUtime=934.04
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 43119 0 0 0 93360 44 0 0 25 0 1 0 1017835303 181411840 42980 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 44290 42980 73 172 0 44117 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 179580

[startup+1002.32 s]
/proc/loadavg: 1.14 1.04 1.01 3/95 16175
/proc/meminfo: memFree=838980/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=994.05
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44122 0 0 0 99355 50 0 0 25 0 1 0 1017835303 185487360 43983 4294967295 134512640 135215339 3216854896 3216853184 134529091 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43983 73 172 0 45112 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 183560

[startup+1062.31 s]
/proc/loadavg: 1.05 1.03 1.00 2/95 16363
/proc/meminfo: memFree=837308/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=1054.05
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44122 0 0 0 105347 58 0 0 25 0 1 0 1017835303 185487360 43983 4294967295 134512640 135215339 3216854896 3216853184 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43983 73 172 0 45112 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 183560

[startup+1122.32 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 16549
/proc/meminfo: memFree=837324/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=1114.06
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44126 0 0 0 111348 58 0 0 25 0 1 0 1017835303 185487360 43987 4294967295 134512640 135215339 3216854896 3216853184 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43987 73 172 0 45112 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 183560

[startup+1182.31 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 16738
/proc/meminfo: memFree=837316/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=1174.05
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44129 0 0 0 117347 58 0 0 25 0 1 0 1017835303 185487360 43990 4294967295 134512640 135215339 3216854896 3216853168 134525025 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43990 73 172 0 45112 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 183560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 16738
/proc/meminfo: memFree=837324/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=1191.75
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44129 0 0 0 119117 58 0 0 25 0 1 0 1017835303 185487360 43990 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43990 73 172 0 45112 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 183560

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.02
CPU user time (s): 1199.08
CPU system time (s): 0.94
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 183560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.08
system time used= 0.94
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89649
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= 17
involuntary context switches= 2616

runsolver used 0.02 second user time and 0.02 second system time

The end

Launcher Data

Begin job on tipi13 at 2009-05-17 06:08:54
IDJOB=1821520
IDBENCH=70988
IDSOLVER=657
FILE ID=tipi13/1821520-1242533334
PBS_JOBID=
Free space on /tmp= 7017 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-15-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821520-1242533334/watcher-1821520-1242533334 -o /tmp/evaluation-result-1821520-1242533334/solver-1821520-1242533334 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821520-1242533334.cnf

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

MD5SUM BENCH= d8dd0726277891eae9a2807dfd8946db
RANDOM SEED= 29387341

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1080820 kB
Buffers:         49784 kB
Cached:         849132 kB
SwapCached:       3516 kB
Active:         392580 kB
Inactive:       515992 kB
HighTotal:     1178688 kB
HighFree:       353004 kB
LowTotal:       895776 kB
LowFree:        727816 kB
SwapTotal:     1959888 kB
SwapFree:      1950884 kB
Dirty:           22540 kB
Writeback:           0 kB
AnonPages:        8732 kB
Mapped:           3068 kB
Slab:            75828 kB
PageTables:        512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90600 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 6995 MiB
End job on tipi13 at 2009-05-17 06:28:59