Trace number 1837452

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18UNSAT 2748.83 2750.74

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-15-10p0.cnf
MD5SUMd8dd0726277891eae9a2807dfd8946db
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1091.03
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.09/1.14	c ==============================================================================
1.09/1.14	c |           |     ORIGINAL     |              LEARNT              |          |
1.09/1.14	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.09/1.14	c ==============================================================================
1.09/1.14	c |         0 | 1120813  2633174 |  336243       0        0     nan |  0.000 % |
7.68/7.75	c |         0 |  777919  2077798 |      --       0       --      -- |     --   | -91956/18047
7.68/7.76	c ==============================================================================
7.68/7.76	c Result  :   #vars: 158000   #clauses: 777919   #literals: 2077798
7.68/7.76	c CPU time:   7.48486 s
7.68/7.76	c ==============================================================================
8.47/8.52	c This is MiniSat 2.0 beta
8.47/8.52	c WARNING: for repeatability, setting FPU to use double precision
8.47/8.52	c ============================[ Problem Statistics ]=============================
8.47/8.52	c |                                                                             |
8.47/8.52	c |  Number of variables:  158000                                               |
8.47/8.52	c |  Number of clauses:    777919                                               |
8.96/9.01	c |  Parsing time:         0.43         s                                       |
8.96/9.03	c ============================[ Search Statistics ]==============================
8.96/9.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.96/9.03	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.96/9.03	c ===============================================================================
8.96/9.03	c |         0 |  158000   777919  2077798 |   259306        0    nan |  0.000 % |
9.17/9.27	c |       100 |  157921   777919  2077798 |   259306       98    159 |  0.118 % |
9.57/9.67	c |       200 |  157909   777919  2077798 |   259306      194     99 |  0.431 % |
9.97/10.08	c |       306 |  157879   777919  2077798 |   259306      300    104 |  0.431 % |
10.57/10.66	c |       416 |  156672   770787  2060296 |   259306      406     87 |  0.878 % |
10.87/10.97	c |       516 |  156671   770787  2060296 |   259306      505     79 |  0.882 % |
11.17/11.21	c |       626 |  156671   770787  2060296 |   259306      615     75 |  0.882 % |
11.27/11.33	c |       750 |  156671   770787  2060296 |   259306      739     74 |  0.882 % |
11.47/11.50	c |       852 |  156671   770787  2060296 |   259306      841     72 |  0.882 % |
11.57/11.62	c |       964 |  156607   770402  2059443 |   259306      952     71 |  0.882 % |
11.67/11.74	c |      1086 |  156595   770402  2059443 |   259306     1073     64 |  1.104 % |
11.87/11.94	c |      1220 |  156595   770402  2059443 |   259306     1207     70 |  1.104 % |
12.76/12.89	c |      1320 |  156595   770402  2059443 |   259306     1307     77 |  1.104 % |
13.16/13.24	c |      1431 |  156246   768365  2054229 |   259306     1416     75 |  1.146 % |
13.76/13.81	c |      1552 |  156221   768365  2054229 |   259306     1534     77 |  1.381 % |
14.16/14.28	c |      1685 |  156221   768365  2054229 |   259306     1667     84 |  1.381 % |
14.56/14.66	c |      1831 |  155817   765909  2048472 |   259306     1808     86 |  1.416 % |
14.76/14.80	c |      1931 |  155817   765909  2048472 |   259306     1908     86 |  1.416 % |
14.85/14.92	c |      2045 |  155817   765909  2048472 |   259306     2022     91 |  1.416 % |
15.05/15.17	c |      2166 |  155817   765909  2048472 |   259306     2143     90 |  1.416 % |
15.85/15.90	c |      2299 |  155754   765589  2047832 |   259306     2275     92 |  1.422 % |
16.15/16.29	c |      2445 |  155656   765589  2047832 |   259306     2418     88 |  1.795 % |
16.55/16.65	c |      2605 |  155544   765589  2047832 |   259306     2571     85 |  2.539 % |
16.75/16.89	c |      2705 |  153725   755077  2022976 |   259306     2654     83 |  2.706 % |
17.05/17.10	c |      2816 |  153725   755077  2022976 |   259306     2765     81 |  2.706 % |
17.35/17.44	c |      2939 |  153721   755077  2022976 |   259306     2887     81 |  2.741 % |
17.46/17.51	c |      3074 |  153721   755077  2022976 |   259306     3022     86 |  2.741 % |
17.75/17.82	c |      3220 |  153721   755077  2022976 |   259306     3168     87 |  2.741 % |
18.25/18.39	c |      3380 |  153636   754636  2022013 |   259306     3325     86 |  2.762 % |
19.05/19.16	c |      3557 |  153634   754636  2022013 |   259306     3501     88 |  2.780 % |
19.25/19.37	c |      3657 |  153598   754400  2021414 |   259306     3600     87 |  2.786 % |
19.45/19.58	c |      3767 |  153598   754400  2021414 |   259306     3710     88 |  2.786 % |
20.25/20.31	c |      3889 |  153598   754400  2021414 |   259306     3832    102 |  2.786 % |
20.45/20.57	c |      4022 |  153598   754400  2021414 |   259306     3965    103 |  2.786 % |
21.05/21.13	c |      4168 |  153571   754299  2021144 |   259306     4109    102 |  3.457 % |
21.55/21.64	c |      4328 |  153571   754299  2021144 |   259306     4269    107 |  3.457 % |
22.15/22.24	c |      4507 |  153526   754299  2021144 |   259306     4446    115 |  3.709 % |
22.55/22.61	c |      4700 |  152139   747225  2003852 |   259306     4634    120 |  3.709 % |
22.75/22.83	c |      4802 |  152139   747225  2003852 |   259306     4736    120 |  3.709 % |
23.05/23.19	c |      4913 |  152139   747225  2003852 |   259306     4847    120 |  3.709 % |
23.35/23.48	c |      5035 |  152139   747225  2003852 |   259306     4969    119 |  3.709 % |
23.75/23.82	c |      5170 |  152129   747135  2003622 |   259306     5100    120 |  3.716 % |
24.15/24.25	c |      5316 |  152128   747135  2003622 |   259306     5245    119 |  3.736 % |
24.75/24.82	c |      5476 |  152092   747135  2003622 |   259306     5404    118 |  3.818 % |
25.05/25.15	c |      5652 |  152085   747135  2003622 |   259306     5579    119 |  3.829 % |
25.55/25.67	c |      5846 |  151948   746212  2001719 |   259306     5770    119 |  3.839 % |
25.75/25.84	c |      6058 |  151948   746212  2001719 |   259306     5982    118 |  3.839 % |
26.05/26.12	c |      6159 |  151939   746212  2001719 |   259306     6082    117 |  3.879 % |
26.35/26.48	c |      6269 |  151937   746212  2001719 |   259306     6191    118 |  3.888 % |
26.55/26.62	c |      6390 |  151937   746212  2001719 |   259306     6312    119 |  3.888 % |
26.85/26.99	c |      6529 |  151856   745709  2000569 |   259306     6450    120 |  3.896 % |
27.04/27.19	c |      6676 |  151846   745709  2000569 |   259306     6596    120 |  4.220 % |
27.45/27.54	c |      6837 |  151840   745709  2000569 |   259306     6757    121 |  4.220 % |
28.74/28.88	c |      7013 |  151839   745709  2000569 |   259306     6933    129 |  4.220 % |
30.04/30.14	c |      7206 |  151332   742750  1993021 |   259306     7124    136 |  4.220 % |
31.24/31.33	c |      7420 |  151221   742336  1992193 |   259306     7334    137 |  4.304 % |
32.14/32.27	c |      7653 |  150642   738988  1984198 |   259306     7552    139 |  4.666 % |
32.24/32.38	c |      7753 |  150561   738988  1984198 |   259306     7651    139 |  5.459 % |
32.64/32.76	c |      7864 |  150561   738988  1984198 |   259306     7762    139 |  5.459 % |
32.94/33.02	c |      7986 |  150561   738988  1984198 |   259306     7884    138 |  5.459 % |
33.13/33.24	c |      8119 |  150561   738988  1984198 |   259306     8017    138 |  5.459 % |
33.33/33.48	c |      8267 |  150560   738988  1984198 |   259306     8164    138 |  5.460 % |
34.63/34.71	c |      8429 |  150560   738988  1984198 |   259306     8326    144 |  5.460 % |
35.44/35.51	c |      8608 |  149373   731726  1965969 |   259306     8502    148 |  5.460 % |
36.24/36.39	c |      8801 |  149373   731726  1965969 |   259306     8695    151 |  5.460 % |
37.24/37.31	c |      9015 |  148348   726202  1951835 |   259306     8906    152 |  6.109 % |
38.44/38.53	c |      9248 |  148347   726202  1951835 |   259306     9137    156 |  6.127 % |
39.03/39.12	c |      9504 |  148347   726202  1951835 |   259306     9393    154 |  6.127 % |
39.33/39.42	c |      9607 |  148319   726046  1951439 |   259306     9496    154 |  6.127 % |
39.54/39.61	c |      9717 |  148307   726046  1951439 |   259306     9605    154 |  6.530 % |
40.23/40.32	c |      9843 |  148307   726046  1951439 |   259306     9731    156 |  6.530 % |
40.93/41.03	c |      9976 |  148307   726046  1951439 |   259306     9864    159 |  6.530 % |
41.63/41.72	c |     10123 |  148307   726046  1951439 | 2147483647    10011    161 |  6.530 % |
41.93/42.08	c |     10287 |  147682   722469  1942208 | 2147483647    10174    162 |  6.530 % |
43.03/43.17	c |     10463 |  147682   722469  1942208 | 2147483647    10350    164 |  6.530 % |
43.93/44.06	c |     10656 |  147681   722469  1942208 | 2147483647    10541    165 |  6.549 % |
44.63/44.72	c |     10868 |  147652   722228  1941587 | 2147483647    10751    165 |  6.549 % |
46.03/46.13	c |     11101 |  147652   722228  1941587 | 2147483647    10984    171 |  6.549 % |
47.33/47.41	c |     11357 |  147652   722228  1941587 | 2147483647    11240    173 |  6.549 % |
48.13/48.26	c |     11638 |  147630   722086  1941224 | 2147483647    11519    173 |  6.563 % |
48.34/48.42	c |     11739 |  147630   722086  1941224 | 2147483647    11620    173 |  6.563 % |
48.53/48.69	c |     11850 |  147630   722086  1941224 | 2147483647    11731    172 |  6.563 % |
49.23/49.31	c |     11974 |  147630   722086  1941224 | 2147483647    11855    174 |  6.563 % |
49.53/49.66	c |     12107 |  147630   722086  1941224 | 2147483647    11988    175 |  6.563 % |
49.93/50.08	c |     12256 |  147538   722086  1941224 | 2147483647    12136    174 |  6.773 % |
50.93/51.02	c |     12416 |  147297   720426  1937904 | 2147483647    12293    174 |  6.784 % |
51.73/51.86	c |     12594 |  147297   720426  1937904 | 2147483647    12470    175 |  6.794 % |
52.73/52.85	c |     12788 |  147295   720426  1937904 | 2147483647    12663    177 |  6.824 % |
54.83/54.96	c |     13000 |  147218   719943  1936686 | 2147483647    12869    180 |  6.828 % |
55.62/55.78	c |     13234 |  147212   719921  1936629 | 2147483647    13103    179 |  6.828 % |
56.03/56.14	c |     13492 |  147211   719921  1936629 | 2147483647    13360    179 |  6.828 % |
57.03/57.16	c |     13774 |  147211   719921  1936629 | 2147483647    13642    180 |  6.828 % |
58.92/59.08	c |     14085 |  147196   719808  1936327 | 2147483647    13947    182 |  6.851 % |
59.52/59.64	c |     14185 |  147196   719808  1936327 | 2147483647    14047    184 |  6.851 % |
60.22/60.36	c |     14295 |  147196   719808  1936327 | 2147483647    14157    185 |  6.851 % |
61.02/61.12	c |     14416 |  147196   719808  1936327 | 2147483647    14278    186 |  6.851 % |
62.02/62.16	c |     14549 |  147175   719686  1936031 | 2147483647    14407    187 |  6.851 % |
62.82/63.00	c |     14696 |  147175   719686  1936031 | 2147483647    14554    191 |  6.851 % |
63.91/64.08	c |     14859 |  147175   719686  1936031 | 2147483647    14717    195 |  6.851 % |
65.21/65.31	c |     15036 |  147154   719591  1935773 | 2147483647    14890    197 |  6.892 % |
65.71/65.82	c |     15229 |  147154   719591  1935773 | 2147483647    15083    197 |  6.892 % |
66.51/66.67	c |     15443 |  147154   719591  1935773 | 2147483647    15297    198 |  6.892 % |
68.12/68.29	c |     15676 |  145579   711107  1914096 | 2147483647    15517    200 |  7.861 % |
69.21/69.36	c |     15937 |  145579   711107  1914096 | 2147483647    15778    198 |  7.861 % |
70.41/70.53	c |     16218 |  145579   711107  1914096 | 2147483647    16059    198 |  7.861 % |
72.01/72.11	c |     16527 |  145567   711004  1913823 | 2147483647    16363    199 |  7.879 % |
73.51/73.62	c |     16866 |  145561   711004  1913823 | 2147483647    16700    201 |  7.915 % |
74.02/74.11	c |     16967 |  145561   711004  1913823 | 2147483647    16801    201 |  7.915 % |
74.32/74.42	c |     17077 |  145494   710565  1912703 | 2147483647    16909    201 |  7.920 % |
74.62/74.73	c |     17198 |  145492   710565  1912703 | 2147483647    17030    200 |  7.920 % |
75.01/75.10	c |     17331 |  145492   710565  1912703 | 2147483647    17163    201 |  7.920 % |
76.11/76.25	c |     17477 |  145477   710565  1912703 | 2147483647    17307    201 |  7.986 % |
76.82/76.99	c |     17638 |  145474   710565  1912703 | 2147483647    17467    202 |  7.999 % |
77.61/77.75	c |     17814 |  145474   710565  1912703 | 2147483647    17643    202 |  7.999 % |
78.41/78.58	c |     18008 |  145361   709919  1911221 | 2147483647    17832    202 |  7.999 % |
79.71/79.87	c |     18220 |  145361   709919  1911221 | 2147483647    18044    205 |  7.999 % |
81.51/81.64	c |     18457 |  145361   709919  1911221 | 2147483647    18281    206 |  7.999 % |
83.21/83.34	c |     18716 |  145350   709822  1910959 | 2147483647    18539    205 |  8.006 % |
84.51/84.67	c |     18997 |  145349   709822  1910959 | 2147483647    18819    206 |  8.007 % |
86.90/87.04	c |     19307 |  145349   709822  1910959 | 2147483647    19129    208 |  8.007 % |
88.40/88.50	c |     19646 |  145348   709819  1910953 | 2147483647    19466    208 |  8.012 % |
89.80/89.94	c |     20018 |  145347   709819  1910953 | 2147483647    19837    210 |  8.012 % |
90.10/90.24	c |     20120 |  145347   709819  1910953 | 2147483647    19939    211 |  8.012 % |
90.90/91.07	c |     20233 |  145331   709689  1910668 | 2147483647    20037    212 |  8.018 % |
91.90/92.07	c |     20354 |  145330   709689  1910668 | 2147483647    20157    213 |  8.019 % |
92.70/92.82	c |     20487 |  145330   709689  1910668 | 2147483647    20290    213 |  8.019 % |
93.50/93.60	c |     20633 |  145330   709689  1910668 | 2147483647    20436    214 |  8.019 % |
94.70/94.84	c |     20793 |  145330   709689  1910668 | 2147483647    20596    215 |  8.019 % |
96.30/96.44	c |     20975 |  145330   709686  1910662 | 2147483647    20778    216 |  8.019 % |
96.80/96.98	c |     21170 |  145329   709686  1910662 | 2147483647    20972    216 |  8.020 % |
98.50/98.69	c |     21383 |  145329   709686  1910662 | 2147483647    21185    220 |  8.020 % |
99.90/100.03	c |     21628 |  145329   709683  1910656 | 2147483647    21429    220 |  8.020 % |
101.70/101.82	c |     21884 |  145329   709683  1910656 | 2147483647    21685    222 |  8.020 % |
103.20/103.37	c |     22165 |  145329   709683  1910656 | 2147483647    21966    224 |  8.020 % |
106.19/106.30	c |     22476 |  145317   709586  1910412 | 2147483647    22276    223 |  8.027 % |
107.69/107.85	c |     22815 |  145317   709586  1910412 | 2147483647    22615    223 |  8.027 % |
109.99/110.11	c |     23187 |  145317   709586  1910412 | 2147483647    22987    225 |  8.027 % |
112.79/113.00	c |     23596 |  145317   709586  1910412 | 2147483647    23396    226 |  8.027 % |
113.20/113.34	c |     23696 |  145317   709586  1910412 | 2147483647    23496    226 |  8.027 % |
113.99/114.14	c |     23807 |  145317   709586  1910412 | 2147483647    23607    227 |  8.027 % |
114.30/114.41	c |     23933 |  145316   709582  1910404 | 2147483647    23731    227 |  8.029 % |
114.39/114.56	c |     24066 |  145316   709582  1910404 | 2147483647    23864    226 |  8.029 % |
114.89/115.00	c |     24212 |  145313   709582  1910404 | 2147483647    24009    226 |  8.167 % |
115.09/115.27	c |     24372 |  145313   709582  1910404 | 2147483647    24169    225 |  8.167 % |
116.09/116.28	c |     24549 |  145271   709582  1910404 | 2147483647    24344    225 |  8.193 % |
117.29/117.47	c |     24744 |  145271   709582  1910404 | 2147483647    24539    226 |  8.193 % |
118.79/118.99	c |     24956 |  145270   709582  1910404 | 2147483647    24750    226 |  8.199 % |
119.69/119.84	c |     25189 |  145046   708441  1907924 | 2147483647    24975    226 |  8.199 % |
120.89/121.01	c |     25445 |  145046   708441  1907924 | 2147483647    25231    226 |  8.199 % |
122.69/122.87	c |     25726 |  145046   708441  1907924 | 2147483647    25512    227 |  8.199 % |
125.19/125.34	c |     26036 |  145046   708441  1907924 | 2147483647    25822    229 |  8.199 % |
125.78/125.94	c |     26380 |  145046   708441  1907924 | 2147483647    26166    229 |  8.199 % |
128.08/128.20	c |     26753 |  145021   708295  1907549 | 2147483647    26538    232 |  8.215 % |
130.98/131.14	c |     27165 |  145021   708295  1907549 | 2147483647    26950    234 |  8.215 % |
134.18/134.38	c |     27614 |  145021   708295  1907549 | 2147483647    27399    235 |  8.215 % |
134.87/135.01	c |     27715 |  145021   708295  1907549 | 2147483647    27500    236 |  8.215 % |
135.18/135.38	c |     27826 |  145013   708216  1907360 | 2147483647    27609    236 |  8.220 % |
135.47/135.68	c |     27949 |  145013   708216  1907360 | 2147483647    27732    236 |  8.220 % |
136.37/136.56	c |     28083 |  145010   708216  1907360 | 2147483647    27864    236 |  8.376 % |
136.67/136.89	c |     28230 |  145010   708216  1907360 | 2147483647    28011    237 |  8.376 % |
136.97/137.15	c |     28390 |  145010   708216  1907360 | 2147483647    28171    236 |  8.376 % |
138.28/138.45	c |     28569 |  145010   708216  1907360 | 2147483647    28350    239 |  8.376 % |
139.38/139.52	c |     28765 |  145010   708216  1907360 | 2147483647    28546    239 |  8.376 % |
140.58/140.76	c |     28977 |  145010   708216  1907360 | 2147483647    28758    241 |  8.376 % |
141.57/141.77	c |     29210 |  144766   706544  1903263 | 2147483647    28529    242 |  8.376 % |
143.37/143.55	c |     29466 |  144766   706544  1903263 | 2147483647    28784    244 |  8.391 % |
145.27/145.41	c |     29747 |  144766   706544  1903263 | 2147483647    29065    245 |  8.391 % |
147.66/147.80	c |     30056 |  144680   706043  1901945 | 2147483647    29362    246 |  8.442 % |
148.56/148.78	c |     30395 |  144680   706043  1901945 | 2147483647    29701    246 |  8.442 % |
151.16/151.38	c |     30767 |  144679   706043  1901945 | 2147483647    30072    247 |  8.443 % |
153.77/153.96	c |     31177 |  144679   706043  1901945 | 2147483647    30482    250 |  8.443 % |
155.47/155.65	c |     31626 |  144660   705919  1901621 | 2147483647    30927    252 |  8.443 % |
156.77/156.95	c |     32120 |  144660   705919  1901621 | 2147483647    31421    251 |  8.443 % |
157.07/157.30	c |     32224 |  144660   705919  1901621 | 2147483647    31525    250 |  8.443 % |
157.37/157.51	c |     32336 |  144660   705919  1901621 | 2147483647    31637    250 |  8.443 % |
158.07/158.27	c |     32459 |  144660   705919  1901621 | 2147483647    31760    251 |  8.443 % |
158.27/158.49	c |     32592 |  144660   705919  1901621 | 2147483647    31893    250 |  8.443 % |
159.57/159.71	c |     32738 |  144656   705919  1901621 | 2147483647    32038    251 |  8.456 % |
160.37/160.56	c |     32898 |  144639   705793  1901290 | 2147483647    32194    252 |  8.456 % |
161.16/161.35	c |     33075 |  144639   705793  1901290 | 2147483647    32370    252 |  8.468 % |
162.36/162.50	c |     33268 |  144618   705793  1901290 | 2147483647    32562    252 |  8.911 % |
163.86/164.02	c |     33480 |  144617   705793  1901290 | 2147483647    32773    253 |  8.928 % |
165.86/166.02	c |     33713 |  144616   705793  1901290 | 2147483647    33005    253 |  8.928 % |
167.96/168.11	c |     33972 |  143893   701485  1890737 | 2147483647    33244    255 |  8.928 % |
169.66/169.88	c |     34255 |  143892   701485  1890737 | 2147483647    33525    255 |  8.940 % |
172.05/172.21	c |     34564 |  143884   701485  1890737 | 2147483647    33828    255 |  9.018 % |
173.86/174.00	c |     34904 |  143751   700639  1888548 | 2147483647    34156    255 |  9.627 % |
175.36/175.52	c |     35277 |  143751   700639  1888548 | 2147483647    34528    255 |  9.635 % |
176.86/177.01	c |     35687 |  143750   700639  1888548 | 2147483647    34936    254 |  9.639 % |
178.26/178.50	c |     36137 |  143749   700639  1888548 | 2147483647    35385    254 |  9.640 % |
181.15/181.33	c |     36632 |  143749   700639  1888548 | 2147483647    35880    254 |  9.640 % |
184.95/185.19	c |     37174 |  142769   695395  1875266 | 2147483647    36416    256 |  9.640 % |
185.55/185.79	c |     37274 |  142769   695395  1875266 | 2147483647    36516    256 |  9.640 % |
186.65/186.83	c |     37384 |  142769   695395  1875266 | 2147483647    36626    256 |  9.640 % |
187.35/187.51	c |     37507 |  142769   695395  1875266 | 2147483647    36749    256 |  9.640 % |
188.35/188.58	c |     37640 |  142769   695395  1875266 | 2147483647    36882    256 |  9.640 % |
189.45/189.66	c |     37788 |  142139   692877  1870230 | 2147483647    37025    256 | 10.039 % |
190.45/190.63	c |     37948 |  142138   692877  1870230 | 2147483647    37184    256 | 10.045 % |
191.34/191.58	c |     38124 |  142138   692877  1870230 | 2147483647    37360    256 | 10.045 % |
192.84/193.02	c |     38317 |  142137   692877  1870230 | 2147483647    37552    256 | 10.046 % |
194.44/194.67	c |     38532 |  142137   692877  1870230 | 2147483647    37767    257 | 10.046 % |
195.94/196.12	c |     38765 |  142137   692877  1870230 | 2147483647    38000    257 | 10.046 % |
197.85/198.09	c |     39026 |  142128   692788  1870029 | 2147483647    38231    257 | 10.046 % |
199.44/199.67	c |     39310 |  142119   692788  1870029 | 2147483647    38513    258 | 10.070 % |
201.64/201.80	c |     39621 |  142119   692788  1870029 | 2147483647    38824    258 | 10.070 % |
203.53/203.75	c |     39966 |  142119   692788  1870029 | 2147483647    39169    258 | 10.070 % |
204.54/204.74	c |     40340 |  142090   692582  1869588 | 2147483647    39541    259 | 10.070 % |
206.84/207.05	c |     40749 |  142090   692582  1869588 | 2147483647    39950    259 | 10.070 % |
210.13/210.33	c |     41198 |  142088   692582  1869588 | 2147483647    40396    260 | 10.094 % |
214.83/215.04	c |     41691 |  142026   692263  1868820 | 2147483647    40857    260 | 10.123 % |
218.53/218.78	c |     42233 |  142025   692263  1868820 | 2147483647    41398    260 | 10.123 % |
222.93/223.16	c |     42829 |  142025   692263  1868820 | 2147483647    41994    259 | 10.123 % |
223.53/223.74	c |     42929 |  142005   692142  1868533 | 2147483647    42083    260 | 10.123 % |
224.33/224.53	c |     43039 |  142005   692142  1868533 | 2147483647    42193    260 | 10.123 % |
224.83/225.07	c |     43160 |  142005   692142  1868533 | 2147483647    42314    260 | 10.123 % |
226.03/226.21	c |     43296 |  142005   692142  1868533 | 2147483647    42449    260 | 10.124 % |
226.62/226.86	c |     43442 |  142004   692142  1868533 | 2147483647    42595    261 | 10.124 % |
228.12/228.35	c |     43602 |  142003   692142  1868533 | 2147483647    42754    261 | 10.125 % |
229.42/229.63	c |     43778 |  142003   692142  1868533 | 2147483647    42930    261 | 10.125 % |
231.12/231.37	c |     43973 |  142003   692142  1868533 | 2147483647    43125    261 | 10.125 % |
232.73/232.98	c |     44188 |  142003   692134  1868517 | 2147483647    43340    261 | 10.125 % |
234.43/234.60	c |     44422 |  142003   692134  1868517 | 2147483647    43574    262 | 10.125 % |
236.23/236.43	c |     44678 |  142003   692134  1868517 | 2147483647    43830    263 | 10.125 % |
238.32/238.60	c |     44960 |  142003   692134  1868517 | 2147483647    44112    264 | 10.125 % |
239.92/240.17	c |     45269 |  141984   692039  1868260 | 2147483647    44417    264 | 10.152 % |
241.91/242.10	c |     45608 |  141984   692039  1868260 | 2147483647    44756    264 | 10.152 % |
244.31/244.58	c |     45980 |  141983   692039  1868260 | 2147483647    45127    265 | 10.153 % |
245.21/245.42	c |     46392 |  141983   692039  1868260 | 2147483647    45539    264 | 10.153 % |
248.41/248.64	c |     46841 |  141983   692039  1868260 | 2147483647    45988    267 | 10.153 % |
252.41/252.63	c |     47334 |  141958   691815  1867661 | 2147483647    46477    266 | 10.159 % |
256.31/256.59	c |     47876 |  141958   691815  1867661 | 2147483647    47019    266 | 10.159 % |
259.71/259.93	c |     48472 |  141921   691543  1866994 | 2147483647    47607    267 | 10.177 % |
264.41/264.61	c |     49127 |  141920   691543  1866994 | 2147483647    48261    269 | 10.188 % |
265.11/265.31	c |     49229 |  141920   691543  1866994 | 2147483647    48363    269 | 10.188 % |
266.11/266.37	c |     49339 |  141919   691543  1866994 | 2147483647    48472    269 | 10.199 % |
267.21/267.47	c |     49463 |  141919   691543  1866994 | 2147483647    48596    269 | 10.199 % |
268.30/268.55	c |     49596 |  141885   691317  1866456 | 2147483647    48702    269 | 10.199 % |
269.80/270.01	c |     49742 |  141884   691317  1866456 | 2147483647    48847    269 | 10.204 % |
271.20/271.49	c |     49902 |  141884   691317  1866456 | 2147483647    49007    269 | 10.204 % |
273.50/273.72	c |     50079 |  141877   691317  1866456 | 2147483647    49176    270 | 10.285 % |
274.71/274.94	c |     50273 |  141877   691317  1866456 | 2147483647    49370    270 | 10.285 % |
275.81/276.03	c |     50491 |  141877   691317  1866456 | 2147483647    49588    269 | 10.285 % |
276.40/276.63	c |     50724 |  141877   691317  1866456 | 2147483647    49821    268 | 10.285 % |
278.50/278.74	c |     50981 |  141877   691317  1866456 | 2147483647    50078    269 | 10.285 % |
280.60/280.82	c |     51262 |  141750   690502  1864451 | 2147483647    50358    269 | 10.285 % |
282.29/282.51	c |     51572 |  141750   690502  1864451 | 2147483647    50668    269 | 10.285 % |
284.29/284.59	c |     51912 |  141749   690502  1864451 | 2147483647    51006    268 | 10.292 % |
286.98/287.22	c |     52284 |  141749   690502  1864451 | 2147483647    51378    267 | 10.292 % |
289.88/290.15	c |     52693 |  141749   690502  1864451 | 2147483647    51787    267 | 10.292 % |
293.38/293.61	c |     53142 |  141738   690412  1864213 | 2147483647    52235    267 | 10.292 % |
297.27/297.57	c |     53635 |  141736   690412  1864213 | 2147483647    52726    266 | 10.294 % |
299.88/300.18	c |     54177 |  141734   690412  1864213 | 2147483647    53266    268 | 10.299 % |
304.28/304.58	c |     54774 |  141734   690412  1864213 | 2147483647    53863    267 | 10.299 % |
309.27/309.54	c |     55430 |  141727   690326  1864024 | 2147483647    54508    266 | 10.299 % |
314.17/314.46	c |     56150 |  141724   690326  1864024 | 2147483647    55225    266 | 10.318 % |
314.87/315.19	c |     56250 |  141724   690326  1864024 | 2147483647    55325    266 | 10.318 % |
315.77/316.06	c |     56360 |  141694   690114  1863476 | 2147483647    55425    265 | 10.347 % |
316.67/316.91	c |     56481 |  141694   690114  1863476 | 2147483647    55546    265 | 10.347 % |
317.57/317.88	c |     56614 |  141694   690114  1863476 | 2147483647    55679    265 | 10.347 % |
318.07/318.33	c |     56761 |  141694   690114  1863476 | 2147483647    55826    265 | 10.347 % |
318.47/318.72	c |     56922 |  141694   690114  1863476 | 2147483647    55987    264 | 10.347 % |
318.87/319.19	c |     57098 |  141694   690114  1863476 | 2147483647    56163    264 | 10.347 % |
319.56/319.81	c |     57291 |  141694   690114  1863476 | 2147483647    56356    264 | 10.347 % |
320.75/321.04	c |     57503 |  141694   690114  1863476 | 2147483647    56568    265 | 10.347 % |
322.65/322.95	c |     57739 |  141694   690114  1863476 | 2147483647    56804    265 | 10.347 % |
324.86/325.19	c |     57995 |  141693   690114  1863476 | 2147483647    57059    265 | 10.348 % |
327.06/327.34	c |     58279 |  141650   689769  1862644 | 2147483647    57307    265 | 10.348 % |
329.65/329.94	c |     58590 |  141650   689769  1862644 | 2147483647    57618    264 | 10.348 % |
332.05/332.34	c |     58932 |  141650   689769  1862644 | 2147483647    57960    265 | 10.348 % |
335.04/335.30	c |     59304 |  141649   689769  1862644 | 2147483647    58331    265 | 10.349 % |
338.34/338.65	c |     59713 |  141590   689406  1861697 | 2147483647    58735    265 | 10.386 % |
342.34/342.66	c |     60163 |  141560   689406  1861697 | 2147483647    59178    265 | 10.556 % |
344.84/345.17	c |     60656 |  141559   689406  1861697 | 2147483647    59670    264 | 10.563 % |
348.74/349.05	c |     61198 |  141557   689406  1861697 | 2147483647    60210    264 | 10.572 % |
354.53/354.83	c |     61795 |  141294   687631  1857181 | 2147483647    60625    265 | 10.573 % |
360.03/360.34	c |     62450 |  141289   687631  1857181 | 2147483647    61278    266 | 10.864 % |
365.24/365.58	c |     63170 |  140834   685012  1850375 | 2147483647    61996    266 | 10.875 % |
369.13/369.42	c |     63964 |  140834   685012  1850375 | 2147483647    62790    268 | 10.875 % |
369.53/369.80	c |     64064 |  140834   685012  1850375 | 2147483647    62890    268 | 10.875 % |
370.44/370.73	c |     64177 |  140834   685012  1850375 | 2147483647    63003    268 | 10.875 % |
371.63/371.94	c |     64298 |  140833   685012  1850375 | 2147483647    63123    268 | 10.879 % |
372.63/372.98	c |     64433 |  140833   685012  1850375 | 2147483647    63258    268 | 10.879 % |
373.73/374.08	c |     64579 |  140810   684832  1849943 | 2147483647    63386    268 | 10.888 % |
375.22/375.50	c |     64740 |  140810   684832  1849943 | 2147483647    63547    268 | 10.888 % |
376.12/376.45	c |     64916 |  140807   684832  1849943 | 2147483647    63720    268 | 10.890 % |
377.52/377.81	c |     65109 |  140806   684832  1849943 | 2147483647    63912    268 | 10.891 % |
379.42/379.73	c |     65321 |  140806   684832  1849943 | 2147483647    64124    268 | 10.891 % |
381.64/382.29	c |     65554 |  140806   684832  1849943 | 2147483647    64356    267 | 10.928 % |
382.62/383.24	c |     65817 |  140806   684832  1849943 | 2147483647    64619    267 | 10.928 % |
383.30/383.95	c |     66098 |  140806   684832  1849943 | 2147483647    64900    267 | 10.928 % |
385.43/386.19	c |     66412 |  140806   684832  1849943 | 2147483647    65214    267 | 10.928 % |
387.73/388.48	c |     66755 |  140734   684437  1849116 | 2147483647    65541    267 | 10.928 % |
388.92/389.65	c |     67130 |  140734   684437  1849116 | 2147483647    65916    266 | 10.928 % |
391.81/392.52	c |     67539 |  140734   684437  1849116 | 2147483647    66325    267 | 10.928 % |
394.50/395.21	c |     67988 |  140733   684437  1849116 | 2147483647    66773    267 | 10.928 % |
398.20/398.93	c |     68483 |  140731   684437  1849116 | 2147483647    67266    269 | 10.930 % |
403.60/404.32	c |     69030 |  140730   684422  1849086 | 2147483647    67809    268 | 10.930 % |
406.80/407.54	c |     69629 |  140730   684422  1849086 | 2147483647    68408    267 | 10.930 % |
411.39/412.16	c |     70286 |  140730   684422  1849086 | 2147483647    69065    267 | 10.930 % |
417.49/418.29	c |     71007 |  140730   684422  1849086 | 2147483647    69786    267 | 10.930 % |
421.89/422.66	c |     71799 |  140730   684422  1849086 | 2147483647    70578    267 | 10.930 % |
428.89/429.69	c |     72670 |  140730   684422  1849086 | 2147483647    71449    267 | 10.930 % |
429.79/430.50	c |     72771 |  140730   684422  1849086 | 2147483647    71550    267 | 10.930 % |
430.68/431.46	c |     72883 |  140730   684422  1849086 | 2147483647    71662    267 | 10.930 % |
431.49/432.24	c |     73005 |  140730   684422  1849086 | 2147483647    71784    267 | 10.930 % |
432.08/432.85	c |     73139 |  140730   684422  1849086 | 2147483647    71918    267 | 10.930 % |
432.88/433.65	c |     73286 |  140729   684418  1849078 | 2147483647    72057    267 | 10.931 % |
434.38/435.10	c |     73446 |  140729   684418  1849078 | 2147483647    72217    267 | 10.931 % |
435.58/436.37	c |     73623 |  140729   684418  1849078 | 2147483647    72394    267 | 10.931 % |
437.28/438.01	c |     73817 |  140729   684418  1849078 | 2147483647    72588    267 | 10.931 % |
438.99/439.79	c |     74033 |  140729   684418  1849078 | 2147483647    72804    266 | 10.931 % |
441.09/441.88	c |     74268 |  140729   684418  1849078 | 2147483647    73039    266 | 10.931 % |
443.19/443.99	c |     74524 |  140728   684418  1849078 | 2147483647    73294    266 | 10.947 % |
444.08/444.85	c |     74806 |  140728   684418  1849078 | 2147483647    73576    266 | 10.947 % |
445.68/446.43	c |     75115 |  140728   684418  1849078 | 2147483647    73885    266 | 10.947 % |
448.68/449.42	c |     75457 |  140727   684418  1849078 | 2147483647    74226    265 | 10.952 % |
451.68/452.47	c |     75829 |  140690   684163  1848475 | 2147483647    74480    265 | 11.035 % |
455.47/456.28	c |     76238 |  140690   684163  1848475 | 2147483647    74889    265 | 11.035 % |
458.37/459.16	c |     76687 |  140689   684163  1848475 | 2147483647    75337    265 | 11.036 % |
461.76/462.52	c |     77180 |  140669   684163  1848475 | 2147483647    75829    266 | 11.390 % |
466.86/467.69	c |     77725 |  140003   681145  1842026 | 2147483647    76361    266 | 11.391 % |
471.87/472.67	c |     78321 |  140003   681145  1842026 | 2147483647    76956    267 | 11.398 % |
476.67/477.47	c |     78977 |  140002   681145  1842026 | 2147483647    77611    267 | 11.404 % |
482.26/483.06	c |     79698 |  139975   680910  1841468 | 2147483647    78278    266 | 11.408 % |
484.46/485.26	c |     80490 |  139975   680910  1841468 | 2147483647    79070    266 | 11.408 % |
491.65/492.44	c |     81362 |  139974   680910  1841468 | 2147483647    79941    266 | 11.418 % |
500.75/501.52	c |     82325 |  139974   680910  1841468 | 2147483647    80904    265 | 11.418 % |
501.05/501.87	c |     82427 |  139960   680815  1841238 | 2147483647    80996    265 | 11.418 % |
501.85/502.66	c |     82537 |  139960   680815  1841238 | 2147483647    81106    265 | 11.418 % |
502.75/503.56	c |     82658 |  139960   680815  1841238 | 2147483647    81227    264 | 11.418 % |
503.85/504.61	c |     82791 |  139960   680815  1841238 | 2147483647    81360    264 | 11.418 % |
505.05/505.86	c |     82937 |  139960   680815  1841238 | 2147483647    81506    264 | 11.418 % |
506.64/507.44	c |     83099 |  139960   680815  1841238 | 2147483647    81668    264 | 11.418 % |
508.44/509.25	c |     83276 |  139960   680815  1841238 | 2147483647    81845    264 | 11.418 % |
509.24/510.01	c |     83470 |  139957   680815  1841238 | 2147483647    82038    264 | 11.432 % |
510.83/511.66	c |     83683 |  139957   680815  1841238 | 2147483647    82251    265 | 11.432 % |
512.53/513.31	c |     83916 |  139957   680815  1841238 | 2147483647    82484    265 | 11.432 % |
513.74/514.57	c |     84172 |  139957   680815  1841238 | 2147483647    82740    264 | 11.432 % |
515.73/516.53	c |     84453 |  139957   680815  1841238 | 2147483647    83021    265 | 11.432 % |
517.93/518.73	c |     84762 |  139957   680815  1841238 | 2147483647    83330    265 | 11.432 % |
521.03/521.87	c |     85101 |  139937   680650  1840848 | 2147483647    83637    265 | 11.503 % |
523.94/524.72	c |     85473 |  139937   680650  1840848 | 2147483647    84009    264 | 11.503 % |
526.83/527.66	c |     85883 |  139937   680650  1840848 | 2147483647    84419    263 | 11.503 % |
530.33/531.11	c |     86332 |  139936   680650  1840848 | 2147483647    84867    263 | 11.503 % |
533.73/534.58	c |     86826 |  139935   680650  1840848 | 2147483647    85360    263 | 11.504 % |
538.72/539.53	c |     87368 |  139821   680021  1839319 | 2147483647    85834    263 | 11.647 % |
544.33/545.10	c |     87965 |  139819   680021  1839319 | 2147483647    86429    262 | 11.677 % |
549.92/550.71	c |     88621 |  139819   680021  1839319 | 2147483647    87085    262 | 11.677 % |
555.02/555.80	c |     89342 |  139548   678582  1835821 | 2147483647    87694    261 | 11.835 % |
560.91/561.78	c |     90134 |  139547   678582  1835821 | 2147483647    88484    261 | 11.846 % |
568.91/569.74	c |     91006 |  139547   678582  1835821 | 2147483647    89355    260 | 11.851 % |
575.00/575.83	c |     91965 |  139275   677291  1832973 | 2147483647    90167    259 | 11.857 % |
581.70/582.51	c |     93021 |  139275   677291  1832973 | 2147483647    91223    261 | 11.857 % |
581.90/582.70	c |     93121 |  139275   677291  1832973 | 2147483647    91323    261 | 11.857 % |
582.90/583.71	c |     93233 |  139275   677291  1832973 | 2147483647    91435    262 | 11.857 % |
584.00/584.88	c |     93356 |  139272   677291  1832973 | 2147483647    91555    262 | 11.859 % |
585.41/586.29	c |     93490 |  139272   677291  1832973 | 2147483647    91689    262 | 11.859 % |
587.10/587.90	c |     93639 |  139271   677291  1832973 | 2147483647    91837    262 | 11.859 % |
588.80/589.62	c |     93799 |  139262   677194  1832744 | 2147483647    91979    262 | 11.859 % |
590.20/591.08	c |     93975 |  139262   677194  1832744 | 2147483647    92155    262 | 11.859 % |
592.00/592.84	c |     94168 |  139262   677194  1832744 | 2147483647    92348    262 | 11.859 % |
593.90/594.71	c |     94380 |  139262   677194  1832744 | 2147483647    92560    261 | 11.859 % |
595.90/596.77	c |     94613 |  139262   677194  1832744 | 2147483647    92793    261 | 11.859 % |
598.60/599.50	c |     94869 |  139261   677194  1832744 | 2147483647    93048    261 | 11.872 % |
600.59/601.48	c |     95151 |  139261   677194  1832744 | 2147483647    93330    261 | 11.872 % |
602.99/603.86	c |     95460 |  139261   677194  1832744 | 2147483647    93639    261 | 11.872 % |
604.99/605.87	c |     95801 |  139261   677194  1832744 | 2147483647    93980    260 | 11.872 % |
607.58/608.45	c |     96173 |  139242   677122  1832600 | 2147483647    94348    260 | 11.872 % |
609.98/610.81	c |     96582 |  139242   677122  1832600 | 2147483647    94756    259 | 11.894 % |
613.99/614.85	c |     97033 |  139242   677122  1832600 | 2147483647    95207    259 | 11.894 % |
618.39/619.25	c |     97526 |  139242   677122  1832600 | 2147483647    95699    259 | 12.023 % |
622.89/623.71	c |     98069 |  139242   677122  1832600 | 2147483647    96242    258 | 12.023 % |
627.78/628.68	c |     98666 |  139002   676145  1830558 | 2147483647    96830    258 | 12.024 % |
633.58/634.44	c |     99321 |  139002   676145  1830558 | 2147483647    97485    257 | 12.024 % |
639.98/640.89	c |    100041 |  138997   676145  1830558 | 2147483647    98200    256 | 12.027 % |
647.47/648.39	c |    100834 |  138995   676117  1830502 | 2147483647    98987    255 | 12.029 % |
655.16/656.05	c |    101705 |  138995   676117  1830502 | 2147483647    99858    254 | 12.029 % |
663.26/664.13	c |    102665 |  138995   676117  1830502 | 2147483647   100818    253 | 12.029 % |
671.96/672.82	c |    103721 |  138995   676117  1830502 | 2147483647   101874    252 | 12.029 % |
680.96/681.85	c |    104880 |  138995   676117  1830502 | 2147483647   103033    250 | 12.029 % |
681.66/682.60	c |    104980 |  138995   676117  1830502 | 2147483647   103133    250 | 12.029 % |
682.56/683.47	c |    105090 |  138995   676117  1830502 | 2147483647   103243    250 | 12.029 % |
683.66/684.53	c |    105212 |  138995   676117  1830502 | 2147483647   103365    250 | 12.029 % |
684.66/685.58	c |    105349 |  138995   676117  1830502 | 2147483647   103502    250 | 12.028 % |
686.26/687.19	c |    105496 |  138990   676100  1830468 | 2147483647   103646    250 | 12.032 % |
687.75/688.65	c |    105656 |  138990   676100  1830468 | 2147483647   103806    250 | 12.032 % |
689.45/690.33	c |    105838 |  138990   676100  1830468 | 2147483647   103988    249 | 12.032 % |
690.95/691.87	c |    106034 |  138990   676100  1830468 | 2147483647   104184    249 | 12.032 % |
692.35/693.27	c |    106246 |  138990   676100  1830468 | 2147483647   104396    249 | 12.032 % |
694.35/695.23	c |    106483 |  138990   676100  1830468 | 2147483647   104632    249 | 12.046 % |
696.04/696.91	c |    106743 |  138990   676100  1830468 | 2147483647   104892    249 | 12.046 % |
698.04/698.95	c |    107026 |  138990   676100  1830468 | 2147483647   105175    248 | 12.046 % |
700.64/701.51	c |    107335 |  138990   676100  1830468 | 2147483647   105484    248 | 12.046 % |
703.74/704.63	c |    107680 |  138990   676100  1830468 | 2147483647   105829    248 | 12.046 % |
707.24/708.19	c |    108052 |  138990   676100  1830468 | 2147483647   106201    248 | 12.046 % |
708.54/709.45	c |    108461 |  138967   675969  1830123 | 2147483647   106609    248 | 12.046 % |
711.73/712.61	c |    108912 |  138967   675969  1830123 | 2147483647   107060    248 | 12.046 % |
714.14/715.02	c |    109405 |  138965   675969  1830123 | 2147483647   107551    248 | 12.047 % |
717.24/718.17	c |    109949 |  138965   675969  1830123 | 2147483647   108095    249 | 12.047 % |
722.43/723.37	c |    110545 |  138965   675969  1830123 | 2147483647   108691    249 | 12.047 % |
727.33/728.28	c |    111200 |  138965   675969  1830123 | 2147483647   109346    248 | 12.047 % |
729.23/730.16	c |    111921 |  138965   675962  1830109 | 2147483647   110067    247 | 12.047 % |
735.92/736.86	c |    112715 |  138965   675962  1830109 | 2147483647   110861    248 | 12.047 % |
744.42/745.39	c |    113586 |  138965   675962  1830109 | 2147483647   111732    247 | 12.047 % |
750.02/750.98	c |    114546 |  137289   665824  1805232 | 2147483647   112678    247 | 13.108 % |
758.71/759.69	c |    115600 |  137289   665824  1805232 | 2147483647   113732    246 | 13.108 % |
767.50/768.48	c |    116761 |  137289   665824  1805232 | 2147483647   114893    246 | 13.108 % |
778.00/778.92	c |    118034 |  137288   665820  1805224 | 2147483647   116165    244 | 13.109 % |
779.01/779.99	c |    118135 |  137288   665820  1805224 | 2147483647   116266    244 | 13.109 % |
779.70/780.61	c |    118245 |  137288   665820  1805224 | 2147483647   116376    244 | 13.109 % |
781.00/781.93	c |    118366 |  137288   665820  1805224 | 2147483647   116497    245 | 13.109 % |
782.30/783.23	c |    118499 |  137288   665820  1805224 | 2147483647   116630    245 | 13.109 % |
783.50/784.47	c |    118645 |  137288   665820  1805224 | 2147483647   116776    245 | 13.109 % |
785.20/786.19	c |    118805 |  137288   665820  1805224 | 2147483647   116936    244 | 13.109 % |
787.50/788.40	c |    118982 |  137288   665820  1805224 | 2147483647   117113    244 | 13.109 % |
789.20/790.14	c |    119177 |  137288   665820  1805224 | 2147483647   117308    244 | 13.109 % |
791.29/792.29	c |    119389 |  137288   665820  1805224 | 2147483647   117520    244 | 13.109 % |
793.69/794.60	c |    119623 |  137288   665820  1805224 | 2147483647   117754    244 | 13.109 % |
796.09/797.00	c |    119879 |  137288   665820  1805224 | 2147483647   118010    244 | 13.109 % |
798.69/799.62	c |    120164 |  137288   665820  1805224 | 2147483647   118295    243 | 13.109 % |
801.58/802.57	c |    120475 |  137288   665820  1805224 | 2147483647   118606    243 | 13.109 % |
804.99/805.90	c |    120814 |  137270   665704  1804914 | 2147483647   118941    243 | 13.120 % |
807.69/808.67	c |    121186 |  137270   665704  1804914 | 2147483647   119313    242 | 13.120 % |
811.38/812.32	c |    121595 |  137270   665704  1804914 | 2147483647   119722    242 | 13.120 % |
814.38/815.35	c |    122044 |  137270   665704  1804914 | 2147483647   120171    241 | 13.120 % |
819.48/820.41	c |    122538 |  137270   665704  1804914 | 2147483647   120665    241 | 13.120 % |
824.77/825.72	c |    123080 |  137270   665704  1804914 | 2147483647   121207    240 | 13.120 % |
829.17/830.16	c |    123676 |  137270   665704  1804914 | 2147483647   121803    240 | 13.120 % |
834.77/835.70	c |    124331 |  137270   665704  1804914 | 2147483647   122458    239 | 13.120 % |
840.16/841.18	c |    125053 |  137270   665704  1804914 | 2147483647   123180    238 | 13.120 % |
846.16/847.15	c |    125845 |  137270   665704  1804914 | 2147483647   123972    238 | 13.120 % |
848.67/849.68	c |    126716 |  137269   665700  1804906 | 2147483647   124842    238 | 13.121 % |
856.46/857.45	c |    127674 |  137269   665700  1804906 | 2147483647   125800    239 | 13.121 % |
866.35/867.30	c |    128727 |  137269   665700  1804906 | 2147483647   126852    239 | 13.122 % |
876.05/877.05	c |    129886 |  137269   665700  1804906 | 2147483647   128011    238 | 13.122 % |
888.04/889.07	c |    131162 |  137267   665689  1804882 | 2147483647   129282    238 | 13.131 % |
899.94/900.97	c |    132562 |  137267   665689  1804882 | 2147483647   130682    238 | 13.131 % |
901.04/902.03	c |    132664 |  137253   665584  1804601 | 2147483647   130784    238 | 13.131 % |
901.84/902.89	c |    132775 |  137253   665584  1804601 | 2147483647   130895    238 | 13.131 % |
903.24/904.28	c |    132896 |  137253   665584  1804601 | 2147483647   131016    238 | 13.131 % |
904.24/905.26	c |    133029 |  137253   665584  1804601 | 2147483647   131149    238 | 13.131 % |
905.63/906.68	c |    133175 |  137253   665584  1804601 | 2147483647   131295    237 | 13.131 % |
907.23/908.22	c |    133337 |  137253   665584  1804601 | 2147483647   131457    237 | 13.131 % |
908.64/909.65	c |    133513 |  137253   665584  1804601 | 2147483647   131633    237 | 13.131 % |
910.43/911.43	c |    133709 |  137253   665584  1804601 | 2147483647   131829    237 | 13.131 % |
912.12/913.12	c |    133923 |  137253   665584  1804601 | 2147483647   132043    237 | 13.131 % |
914.13/915.17	c |    134158 |  137253   665584  1804601 | 2147483647   132278    236 | 13.131 % |
914.82/915.81	c |    134416 |  137253   665584  1804601 | 2147483647   132536    236 | 13.131 % |
915.73/916.76	c |    134699 |  137253   665584  1804601 | 2147483647   132819    237 | 13.131 % |
918.43/919.46	c |    135009 |  137253   665584  1804601 | 2147483647   133129    237 | 13.131 % |
921.52/922.51	c |    135350 |  137253   665584  1804601 | 2147483647   133470    237 | 13.131 % |
924.62/925.65	c |    135722 |  137253   665584  1804601 | 2147483647   133842    236 | 13.131 % |
928.62/929.60	c |    136132 |  137253   665584  1804601 | 2147483647   134252    236 | 13.131 % |
933.22/934.25	c |    136583 |  137253   665584  1804601 | 2147483647   134703    236 | 13.131 % |
937.61/938.69	c |    137076 |  137253   665584  1804601 | 2147483647   135196    235 | 13.131 % |
942.11/943.19	c |    137619 |  137253   665584  1804601 | 2147483647   135739    235 | 13.131 % |
947.51/948.58	c |    138215 |  137253   665584  1804601 | 2147483647   136335    234 | 13.131 % |
953.32/954.37	c |    138870 |  137253   665584  1804601 | 2147483647   136990    234 | 13.131 % |
960.11/961.14	c |    139590 |  136144   658242  1786677 | 2147483647    97423    239 | 13.833 % |
966.01/967.09	c |    140387 |  136144   658242  1786677 | 2147483647    98220    240 | 13.833 % |
973.20/974.27	c |    141259 |  136144   658242  1786677 | 2147483647    99092    239 | 13.833 % |
980.70/981.70	c |    142222 |  136144   658242  1786677 | 2147483647   100055    239 | 13.833 % |
988.20/989.24	c |    143275 |  136144   658242  1786677 | 2147483647   101108    240 | 13.833 % |
998.19/999.20	c |    144433 |  136143   658238  1786669 | 2147483647   102263    240 | 13.834 % |
1007.98/1009.01	c |    145706 |  135883   657022  1784162 | 2147483647   103507    239 | 13.998 % |
1020.38/1021.47	c |    147106 |  135883   657022  1784162 | 2147483647   104907    238 | 13.998 % |
1034.98/1036.01	c |    148646 |  135860   656911  1783885 | 2147483647   106436    238 | 14.185 % |
1035.97/1037.06	c |    148746 |  135860   656911  1783885 | 2147483647   106535    238 | 14.194 % |
1036.87/1037.92	c |    148856 |  135860   656911  1783885 | 2147483647   106645    238 | 14.194 % |
1037.87/1038.91	c |    148978 |  135860   656911  1783885 | 2147483647   106767    237 | 14.194 % |
1038.97/1040.09	c |    149114 |  135860   656911  1783885 | 2147483647   106903    237 | 14.194 % |
1040.17/1041.20	c |    149261 |  135860   656911  1783885 | 2147483647   107050    237 | 14.194 % |
1041.57/1042.69	c |    149421 |  135860   656911  1783885 | 2147483647   107210    237 | 14.194 % |
1043.27/1044.32	c |    149598 |  135860   656911  1783885 | 2147483647   107386    237 | 14.194 % |
1044.67/1045.72	c |    149792 |  135860   656911  1783885 | 2147483647   107580    237 | 14.194 % |
1046.77/1047.81	c |    150004 |  135573   655037  1779254 | 2147483647   107688    237 | 14.194 % |
1048.66/1049.75	c |    150237 |  135573   655037  1779254 | 2147483647   107921    237 | 14.194 % |
1050.86/1051.93	c |    150493 |  135573   655037  1779254 | 2147483647   108177    237 | 14.194 % |
1052.86/1053.90	c |    150777 |  135572   655037  1779254 | 2147483647   108460    237 | 14.210 % |
1055.36/1056.44	c |    151086 |  135572   655037  1779254 | 2147483647   108769    236 | 14.210 % |
1058.06/1059.13	c |    151426 |  135572   655037  1779254 | 2147483647   109109    236 | 14.210 % |
1061.36/1062.44	c |    151799 |  135572   655037  1779254 | 2147483647   109482    236 | 14.210 % |
1065.76/1066.82	c |    152208 |  135572   655037  1779254 | 2147483647   109891    236 | 14.210 % |
1069.85/1070.92	c |    152657 |  135548   654888  1778872 | 2147483647   110339    236 | 14.210 % |
1074.55/1075.63	c |    153150 |  135548   654888  1778872 | 2147483647   110831    235 | 14.213 % |
1079.95/1081.01	c |    153692 |  135548   654888  1778872 | 2147483647   111373    235 | 14.213 % |
1085.75/1086.89	c |    154288 |  135548   654888  1778872 | 2147483647   111969    235 | 14.213 % |
1091.84/1092.94	c |    154943 |  135539   654857  1778796 | 2147483647   112619    235 | 14.216 % |
1097.84/1098.99	c |    155663 |  135538   654857  1778796 | 2147483647   113338    235 | 14.224 % |
1104.94/1106.01	c |    156455 |  135490   654555  1778084 | 2147483647   114083    235 | 14.247 % |
1113.33/1114.45	c |    157327 |  135489   654555  1778084 | 2147483647   114954    234 | 14.261 % |
1121.63/1122.74	c |    158285 |  135489   654555  1778084 | 2147483647   115910    234 | 14.262 % |
1132.03/1133.11	c |    159338 |  135489   654555  1778084 | 2147483647   116963    233 | 14.262 % |
1141.62/1142.79	c |    160497 |  135466   654438  1777804 | 2147483647   118106    233 | 14.262 % |
1153.82/1154.91	c |    161773 |  135466   654438  1777804 | 2147483647   119381    232 | 14.263 % |
1166.51/1167.63	c |    163173 |  135464   654434  1777796 | 2147483647   120780    231 | 14.263 % |
1180.21/1181.36	c |    164714 |  135443   654322  1777528 | 2147483647   122307    231 | 14.277 % |
1195.70/1196.89	c |    166410 |  135443   654322  1777528 | 2147483647   124002    230 | 14.379 % |
1196.59/1197.75	c |    166514 |  135443   654322  1777528 | 2147483647   124106    230 | 14.379 % |
1197.29/1198.43	c |    166624 |  135443   654322  1777528 | 2147483647   124216    230 | 14.379 % |
1198.09/1199.24	c |    166745 |  135443   654322  1777528 | 2147483647   124337    230 | 14.379 % |
1199.49/1200.69	c |    166880 |  135443   654322  1777528 | 2147483647   124472    230 | 14.379 % |
1200.59/1201.77	c |    167026 |  135443   654322  1777528 | 2147483647   124618    230 | 14.379 % |
1202.09/1203.24	c |    167187 |  135281   653581  1775818 | 2147483647   124768    230 | 14.379 % |
1203.69/1204.87	c |    167367 |  135281   653581  1775818 | 2147483647   124948    230 | 14.379 % |
1205.39/1206.52	c |    167561 |  135281   653581  1775818 | 2147483647   125142    230 | 14.379 % |
1207.38/1208.59	c |    167774 |  135281   653581  1775818 | 2147483647   125355    230 | 14.379 % |
1209.58/1210.75	c |    168008 |  135281   653581  1775818 | 2147483647   125589    229 | 14.379 % |
1211.68/1212.81	c |    168264 |  135281   653581  1775818 | 2147483647   125845    229 | 14.379 % |
1213.58/1214.78	c |    168546 |  135281   653581  1775818 | 2147483647   126127    229 | 14.379 % |
1215.49/1216.60	c |    168859 |  135281   653581  1775818 | 2147483647   126440    229 | 14.379 % |
1218.08/1219.23	c |    169199 |  135281   653581  1775818 | 2147483647   126780    229 | 14.379 % |
1218.98/1220.17	c |    169571 |  135281   653581  1775818 | 2147483647   127152    229 | 14.379 % |
1221.98/1223.14	c |    169981 |  135281   653581  1775818 | 2147483647   127562    229 | 14.379 % |
1225.18/1226.38	c |    170431 |  135280   653581  1775818 | 2147483647   128011    229 | 14.390 % |
1229.97/1231.13	c |    170925 |  135264   653426  1775448 | 2147483647   128430    229 | 14.390 % |
1234.07/1235.22	c |    171467 |  135264   653426  1775448 | 2147483647   128972    229 | 14.390 % |
1239.77/1240.98	c |    172063 |  135264   653426  1775448 | 2147483647   129568    229 | 14.390 % |
1245.07/1246.20	c |    172719 |  135264   653426  1775448 | 2147483647   130224    229 | 14.390 % |
1252.56/1253.73	c |    173439 |  135264   653426  1775448 | 2147483647   130943    229 | 14.442 % |
1261.06/1262.28	c |    174234 |  135182   652933  1774215 | 2147483647   131734    228 | 14.442 % |
1269.65/1270.90	c |    175106 |  135182   652933  1774215 | 2147483647   132605    228 | 14.646 % |
1277.65/1278.87	c |    176068 |  135182   652933  1774215 | 2147483647   133567    228 | 14.646 % |
1287.04/1288.27	c |    177121 |  134860   651092  1769451 | 2147483647   134620    227 | 14.646 % |
1298.74/1299.90	c |    178283 |  134860   651092  1769451 | 2147483647   135782    227 | 14.646 % |
1310.83/1312.02	c |    179560 |  134860   651092  1769451 | 2147483647   137059    226 | 14.646 % |
1321.62/1322.82	c |    180960 |  134860   651092  1769451 | 2147483647   138459    227 | 14.646 % |
1336.62/1337.81	c |    182502 |  134847   651007  1769244 | 2147483647   139986    226 | 14.749 % |
1351.11/1352.32	c |    184196 |  134847   651007  1769244 | 2147483647   141680    226 | 14.749 % |
1370.10/1371.34	c |    186060 |  134696   650155  1767221 | 2147483647   143505    225 | 14.749 % |
1371.00/1372.27	c |    186160 |  134696   650155  1767221 | 2147483647   143605    225 | 14.749 % |
1372.10/1373.35	c |    186272 |  134696   650155  1767221 | 2147483647   143717    225 | 14.749 % |
1373.20/1374.43	c |    186393 |  134696   650155  1767221 | 2147483647   143838    225 | 14.749 % |
1374.50/1375.79	c |    186531 |  134696   650155  1767221 | 2147483647   143976    225 | 14.749 % |
1375.70/1376.96	c |    186677 |  134696   650155  1767221 | 2147483647   144122    225 | 14.749 % |
1377.10/1378.31	c |    186839 |  134696   650155  1767221 | 2147483647   144284    225 | 14.749 % |
1378.69/1379.94	c |    187017 |  134696   650155  1767221 | 2147483647   144462    225 | 14.749 % |
1380.40/1381.68	c |    187214 |  134696   650155  1767221 | 2147483647   144659    225 | 14.749 % |
1382.69/1383.96	c |    187427 |  134696   650155  1767221 | 2147483647   144872    224 | 14.749 % |
1384.99/1386.29	c |    187660 |  134696   650155  1767221 | 2147483647   145105    224 | 14.749 % |
1387.79/1389.04	c |    187916 |  134696   650155  1767221 | 2147483647   145361    224 | 14.749 % |
1390.89/1392.19	c |    188198 |  134696   650155  1767221 | 2147483647   145643    224 | 14.749 % |
1393.89/1395.15	c |    188507 |  134696   650155  1767221 | 2147483647   145952    223 | 14.749 % |
1396.58/1397.80	c |    188847 |  134696   650155  1767221 | 2147483647   146292    223 | 14.749 % |
1400.20/1401.49	c |    189221 |  134696   650155  1767221 | 2147483647   146666    223 | 14.749 % |
1403.49/1404.75	c |    189630 |  134696   650155  1767221 | 2147483647   147075    223 | 14.749 % |
1407.68/1408.93	c |    190081 |  134696   650155  1767221 | 2147483647   147526    223 | 14.749 % |
1411.38/1412.62	c |    190575 |  134696   650155  1767221 | 2147483647   148020    222 | 14.749 % |
1416.58/1417.89	c |    191117 |  134696   650155  1767221 | 2147483647   148562    222 | 14.749 % |
1423.07/1424.38	c |    191713 |  134696   650155  1767221 | 2147483647   149158    222 | 14.749 % |
1428.67/1429.91	c |    192368 |  134696   650155  1767221 | 2147483647   149813    222 | 14.749 % |
1434.76/1436.01	c |    193088 |  134696   650155  1767221 | 2147483647   150533    221 | 14.749 % |
1442.07/1443.37	c |    193881 |  134285   648302  1763515 | 2147483647   151318    221 | 15.010 % |
1450.46/1451.77	c |    194753 |  134285   648302  1763515 | 2147483647   152190    221 | 15.010 % |
1459.15/1460.48	c |    195711 |  134285   648302  1763515 | 2147483647   153148    221 | 15.010 % |
1468.85/1470.18	c |    196764 |  134285   648302  1763515 | 2147483647   154201    220 | 15.010 % |
1478.74/1480.01	c |    197922 |  134284   648298  1763507 | 2147483647   155358    220 | 15.010 % |
1488.93/1490.23	c |    199197 |  134284   648298  1763507 | 2147483647   156633    221 | 15.010 % |
1502.53/1503.88	c |    200600 |  134284   648298  1763507 | 2147483647   158036    221 | 15.010 % |
1518.42/1519.71	c |    202140 |  134284   648298  1763507 | 2147483647   159576    221 | 15.010 % |
1535.01/1536.34	c |    203834 |  134284   648298  1763507 | 2147483647   161270    220 | 15.010 % |
1552.91/1554.21	c |    205697 |  134284   648298  1763507 | 2147483647   163133    221 | 15.010 % |
1572.90/1574.27	c |    207746 |  134260   648193  1763251 | 2147483647   165161    220 | 15.073 % |
1573.80/1575.19	c |    207848 |  134260   648193  1763251 | 2147483647   165263    220 | 15.073 % |
1575.10/1576.47	c |    207961 |  134260   648193  1763251 | 2147483647   165376    220 | 15.073 % |
1576.40/1577.73	c |    208082 |  134260   648193  1763251 | 2147483647   165497    220 | 15.073 % |
1577.69/1579.03	c |    208215 |  134260   648193  1763251 | 2147483647   165630    220 | 15.073 % |
1579.09/1580.42	c |    208361 |  134260   648193  1763251 | 2147483647   165776    220 | 15.073 % |
1581.09/1582.44	c |    208523 |  134260   648193  1763251 | 2147483647   165938    220 | 15.073 % |
1582.89/1584.25	c |    208701 |  134260   648193  1763251 | 2147483647   166116    220 | 15.073 % |
1585.00/1586.36	c |    208903 |  134260   648193  1763251 | 2147483647   166318    220 | 15.073 % |
1586.79/1588.17	c |    209116 |  134260   648193  1763251 | 2147483647   166531    220 | 15.073 % |
1589.39/1590.71	c |    209349 |  134260   648193  1763251 | 2147483647   166764    220 | 15.073 % |
1592.39/1593.74	c |    209608 |  134260   648193  1763251 | 2147483647   167023    220 | 15.073 % |
1595.08/1596.47	c |    209893 |  134260   648193  1763251 | 2147483647   167308    219 | 15.073 % |
1597.88/1599.28	c |    210203 |  134184   647787  1762263 | 2147483647   167587    219 | 15.073 % |
1599.08/1600.47	c |    210542 |  134184   647787  1762263 | 2147483647   167926    219 | 15.073 % |
1600.88/1602.28	c |    210915 |  134184   647787  1762263 | 2147483647   168299    219 | 15.073 % |
1604.87/1606.29	c |    211327 |  134184   647787  1762263 | 2147483647   168711    220 | 15.073 % |
1609.47/1610.88	c |    211778 |  134183   647787  1762263 | 2147483647   169161    220 | 15.087 % |
1614.68/1616.02	c |    212272 |  134183   647787  1762263 | 2147483647   169654    219 | 15.091 % |
1620.28/1621.61	c |    212814 |  134183   647787  1762263 | 2147483647   170196    219 | 15.091 % |
1626.37/1627.75	c |    213410 |  134183   647787  1762263 | 2147483647   170792    219 | 15.091 % |
1632.96/1634.35	c |    214065 |  134183   647787  1762263 | 2147483647   171447    219 | 15.091 % |
1639.36/1640.70	c |    214785 |  134157   647602  1761805 | 2147483647   172163    219 | 15.091 % |
1647.05/1648.46	c |    215577 |  134157   647602  1761805 | 2147483647   172955    219 | 15.091 % |
1656.85/1658.22	c |    216449 |  134157   647602  1761805 | 2147483647   173827    218 | 15.091 % |
1665.45/1666.87	c |    217409 |  134157   647602  1761805 | 2147483647   174787    218 | 15.091 % |
1675.54/1676.97	c |    218462 |  134156   647598  1761797 | 2147483647   175839    218 | 15.091 % |
1686.13/1687.52	c |    219621 |  134156   647598  1761797 | 2147483647   176996    217 | 15.093 % |
1698.53/1699.91	c |    220894 |  134156   647598  1761797 | 2147483647   178268    217 | 15.103 % |
1712.42/1713.82	c |    222299 |  134156   647598  1761797 | 2147483647   179673    217 | 15.103 % |
1725.20/1726.61	c |    223840 |  134137   647470  1761456 | 2147483647   181210    217 | 15.103 % |
1740.91/1742.37	c |    225534 |  134136   647470  1761456 | 2147483647   182902    216 | 15.111 % |
1756.50/1757.95	c |    227399 |  134136   647470  1761456 | 2147483647   184765    216 | 15.117 % |
1780.39/1781.89	c |    229450 |  134115   647303  1761025 | 2147483647   186814    216 | 15.117 % |
1803.07/1804.53	c |    231704 |  134114   647299  1761017 | 2147483647   189067    216 | 15.118 % |
1804.17/1805.66	c |    231806 |  134111   647299  1761017 | 2147483647   189166    216 | 15.120 % |
1805.07/1806.59	c |    231916 |  134111   647299  1761017 | 2147483647   189276    216 | 15.120 % |
1806.57/1808.08	c |    232040 |  134111   647299  1761017 | 2147483647   189400    216 | 15.120 % |
1808.08/1809.57	c |    232174 |  134111   647299  1761017 | 2147483647   189534    216 | 15.120 % |
1809.47/1810.92	c |    232321 |  134111   647299  1761017 | 2147483647   189681    216 | 15.120 % |
1811.27/1812.75	c |    232481 |  134111   647299  1761017 | 2147483647   189841    216 | 15.120 % |
1813.36/1814.80	c |    232657 |  134111   647299  1761017 | 2147483647   190017    216 | 15.120 % |
1815.46/1816.92	c |    232853 |  134111   647299  1761017 | 2147483647   190213    215 | 15.120 % |
1817.66/1819.13	c |    233066 |  134111   647299  1761017 | 2147483647   190426    215 | 15.120 % |
1820.96/1822.44	c |    233299 |  134111   647299  1761017 | 2147483647   190659    215 | 15.120 % |
1823.26/1824.79	c |    233557 |  134111   647299  1761017 | 2147483647   190917    215 | 15.120 % |
1827.25/1828.75	c |    233838 |  134111   647299  1761017 | 2147483647   191197    215 | 15.122 % |
1831.16/1832.61	c |    234149 |  134111   647299  1761017 | 2147483647   191508    215 | 15.122 % |
1835.35/1836.81	c |    234488 |  134111   647299  1761017 | 2147483647   191847    215 | 15.122 % |
1840.36/1841.90	c |    234860 |  134108   647270  1760953 | 2147483647   192216    215 | 15.122 % |
1844.26/1845.71	c |    235269 |  134108   647270  1760953 | 2147483647   192625    215 | 15.122 % |
1849.45/1850.98	c |    235721 |  134108   647270  1760953 | 2147483647   193077    214 | 15.122 % |
1853.95/1855.44	c |    236214 |  134108   647270  1760953 | 2147483647   193570    214 | 15.122 % |
1859.94/1861.41	c |    236756 |  134107   647270  1760953 | 2147483647   194111    214 | 15.146 % |
1867.03/1868.53	c |    237352 |  134107   647270  1760953 | 2147483647   194707    214 | 15.146 % |
1873.94/1875.41	c |    238009 |  134107   647270  1760953 | 2147483647   195364    214 | 15.146 % |
1880.23/1881.72	c |    238729 |  134070   647057  1760458 | 2147483647   195918    214 | 15.146 % |
1889.13/1890.67	c |    239521 |  134070   647057  1760458 | 2147483647   196710    214 | 15.146 % |
1897.83/1899.35	c |    240393 |  134070   647057  1760458 | 2147483647   197582    213 | 15.146 % |
1906.32/1907.82	c |    241351 |  134070   647057  1760458 | 2147483647   198540    213 | 15.146 % |
1917.21/1918.77	c |    242404 |  134070   647057  1760458 | 2147483647   199593    212 | 15.146 % |
1927.21/1928.75	c |    243563 |  134069   647052  1760447 | 2147483647   200745    212 | 15.146 % |
1942.01/1943.55	c |    244841 |  134069   647052  1760447 | 2147483647   202023    212 | 15.146 % |
1955.70/1957.23	c |    246241 |  134069   647052  1760447 | 2147483647   203423    211 | 15.146 % |
1969.08/1970.64	c |    247781 |  134069   647052  1760447 | 2147483647   204963    211 | 15.146 % |
1984.98/1986.54	c |    249475 |  134069   647052  1760447 | 2147483647   206657    211 | 15.146 % |
2004.07/2005.64	c |    251338 |  134069   647052  1760447 | 2147483647   208520    211 | 15.146 % |
2025.16/2026.72	c |    253387 |  134069   647052  1760447 | 2147483647   210569    211 | 15.146 % |
2047.65/2049.29	c |    255640 |  134069   647052  1760447 | 2147483647   212822    211 | 15.146 % |
2073.53/2075.18	c |    258119 |  134069   647052  1760447 | 2147483647   215301    211 | 15.146 % |
2074.63/2076.27	c |    258220 |  134069   647052  1760447 | 2147483647   215402    211 | 15.146 % |
2075.53/2077.16	c |    258335 |  134069   647052  1760447 | 2147483647   215517    211 | 15.146 % |
2077.03/2078.61	c |    258460 |  134069   647052  1760447 | 2147483647   215642    210 | 15.146 % |
2078.83/2080.44	c |    258594 |  134069   647052  1760447 | 2147483647   215776    210 | 15.146 % |
2080.43/2082.04	c |    258740 |  134069   647052  1760447 | 2147483647   215922    210 | 15.146 % |
2082.12/2083.79	c |    258900 |  134069   647052  1760447 | 2147483647   216082    210 | 15.146 % |
2084.82/2086.40	c |    259078 |  134051   646941  1760147 | 2147483647   216257    210 | 15.158 % |
2087.23/2088.82	c |    259272 |  134051   646941  1760147 | 2147483647   216451    210 | 15.158 % |
2089.43/2091.04	c |    259485 |  134051   646941  1760147 | 2147483647   216664    210 | 15.158 % |
2091.73/2093.34	c |    259721 |  134051   646941  1760147 | 2147483647   216900    210 | 15.158 % |
2094.52/2096.16	c |    259977 |  134051   646941  1760147 | 2147483647   217156    210 | 15.158 % |
2097.32/2098.98	c |    260259 |  134051   646941  1760147 | 2147483647   217438    210 | 15.158 % |
2101.32/2102.91	c |    260568 |  134051   646941  1760147 | 2147483647   217747    210 | 15.158 % |
2105.12/2106.76	c |    260907 |  134051   646941  1760147 | 2147483647   218086    210 | 15.158 % |
2107.91/2109.56	c |    261279 |  134051   646941  1760147 | 2147483647   218458    210 | 15.158 % |
2112.62/2114.22	c |    261688 |  134051   646941  1760147 | 2147483647   218867    210 | 15.158 % |
2118.42/2120.10	c |    262137 |  134051   646941  1760147 | 2147483647   219315    210 | 15.199 % |
2123.72/2125.38	c |    262631 |  134051   646941  1760147 | 2147483647   219809    210 | 15.199 % |
2128.61/2130.26	c |    263173 |  134051   646941  1760147 | 2147483647   220351    210 | 15.199 % |
2134.41/2136.10	c |    263770 |  133986   646551  1759174 | 2147483647   220940    209 | 15.199 % |
2142.70/2144.30	c |    264425 |  133986   646551  1759174 | 2147483647   221595    209 | 15.199 % |
2151.50/2153.15	c |    265148 |  133986   646551  1759174 | 2147483647   222318    209 | 15.199 % |
2162.80/2164.43	c |    265940 |  133986   646551  1759174 | 2147483647   223110    209 | 15.199 % |
2172.98/2174.63	c |    266813 |  133986   646551  1759174 | 2147483647   223983    209 | 15.199 % |
2180.47/2182.15	c |    267771 |  133986   646551  1759174 | 2147483647   224941    209 | 15.199 % |
2190.17/2191.88	c |    268824 |  133986   646551  1759174 | 2147483647   225994    208 | 15.199 % |
2201.46/2203.19	c |    269983 |  133986   646551  1759174 | 2147483647   227153    209 | 15.199 % |
2213.56/2215.23	c |    271256 |  133986   646551  1759174 | 2147483647   228426    209 | 15.199 % |
2226.65/2228.36	c |    272657 |  133973   646450  1758903 | 2147483647   229824    208 | 15.207 % |
2243.64/2245.35	c |    274198 |  133973   646450  1758903 | 2147483647   231365    208 | 15.207 % |
2259.33/2261.09	c |    275894 |  133973   646450  1758903 | 2147483647   233061    208 | 15.207 % |
2278.41/2280.17	c |    277757 |  133973   646450  1758903 | 2147483647   234924    208 | 15.207 % |
2300.40/2302.10	c |    279806 |  133973   646450  1758903 | 2147483647   236973    208 | 15.207 % |
2324.69/2326.44	c |    282059 |  133973   646450  1758903 | 2147483647   239226    208 | 15.207 % |
2350.58/2352.33	c |    284538 |  133972   646446  1758895 | 2147483647   241704    207 | 15.208 % |
2379.06/2380.83	c |    287263 |  133970   646446  1758895 | 2147483647   244427    207 | 15.220 % |
2380.26/2382.01	c |    287363 |  133970   646446  1758895 | 2147483647   244527    207 | 15.220 % |
2381.97/2383.77	c |    287478 |  133970   646446  1758895 | 2147483647   244642    207 | 15.220 % |
2383.66/2385.43	c |    287599 |  133970   646446  1758895 | 2147483647   244763    207 | 15.220 % |
2385.27/2387.05	c |    287737 |  133970   646446  1758895 | 2147483647   244901    207 | 15.220 % |
2387.06/2388.83	c |    287886 |  133970   646446  1758895 | 2147483647   245050    207 | 15.220 % |
2389.26/2391.09	c |    288047 |  133970   646446  1758895 | 2147483647   245211    207 | 15.220 % |
2391.36/2393.19	c |    288227 |  133952   646345  1758654 | 2147483647   245367    207 | 15.220 % |
2393.36/2395.10	c |    288420 |  133952   646345  1758654 | 2147483647   245560    207 | 15.220 % |
2396.95/2398.71	c |    288636 |  133952   646345  1758654 | 2147483647   245776    207 | 15.220 % |
2399.25/2401.04	c |    288871 |  133952   646345  1758654 | 2147483647   246011    207 | 15.220 % |
2402.05/2403.87	c |    289128 |  133952   646345  1758654 | 2147483647   246268    207 | 15.220 % |
2406.74/2408.57	c |    289413 |  133952   646345  1758654 | 2147483647   246553    207 | 15.220 % |
2411.14/2412.99	c |    289725 |  133952   646345  1758654 | 2147483647   246865    207 | 15.220 % |
2416.05/2417.89	c |    290066 |  133952   646345  1758654 | 2147483647   247206    207 | 15.220 % |
2420.04/2421.87	c |    290440 |  133952   646345  1758654 | 2147483647   247580    207 | 15.220 % |
2423.34/2425.20	c |    290850 |  133952   646345  1758654 | 2147483647   247990    207 | 15.220 % |
2427.74/2429.59	c |    291299 |  133952   646345  1758654 | 2147483647   248439    207 | 15.220 % |
2434.13/2435.98	c |    291792 |  133952   646345  1758654 | 2147483647   248932    206 | 15.220 % |
2442.43/2444.21	c |    292340 |  133952   646345  1758654 | 2147483647   249480    206 | 15.220 % |
2448.53/2450.32	c |    292937 |  133952   646345  1758654 | 2147483647   250077    206 | 15.220 % |
2456.12/2457.92	c |    293592 |  133952   646345  1758654 | 2147483647   250732    206 | 15.220 % |
2466.42/2468.23	c |    294316 |  133952   646345  1758654 | 2147483647   251456    206 | 15.220 % |
2475.21/2477.05	c |    295108 |  133951   646341  1758646 | 2147483647   252247    206 | 15.221 % |
2483.41/2485.27	c |    295987 |  133951   646341  1758646 | 2147483647   253126    206 | 15.221 % |
2494.20/2496.05	c |    296946 |  133951   646341  1758646 | 2147483647   254085    206 | 15.221 % |
2505.20/2507.06	c |    297999 |  133951   646341  1758646 | 2147483647   255138    206 | 15.221 % |
2516.20/2518.10	c |    299158 |  133951   646341  1758646 | 2147483647   256297    206 | 15.221 % |
2528.29/2530.13	c |    300431 |  133950   646337  1758638 | 2147483647   257569    206 | 15.222 % |
2541.78/2543.63	c |    301834 |  133950   646337  1758638 | 2147483647   258972    206 | 15.222 % |
2559.97/2561.82	c |    303375 |  133950   646337  1758638 | 2147483647   260513    206 | 15.222 % |
2577.96/2579.84	c |    305069 |  133950   646337  1758638 | 2147483647   262207    205 | 15.222 % |
2584.65/2586.60	c |    306932 |  133950   646337  1758638 | 2147483647   264070    205 | 15.222 % |
2592.26/2594.15	c |    308982 |  133950   646337  1758638 | 2147483647   266120    204 | 15.222 % |
2610.34/2612.29	c |    311240 |  133950   646337  1758638 | 2147483647   268378    204 | 15.222 % |
2636.74/2638.67	c |    313720 |  133947   646326  1758616 | 2147483647   270854    204 | 15.223 % |
2660.42/2662.33	c |    316448 |  133947   646326  1758616 | 2147483647   273581    204 | 15.235 % |
2695.31/2697.26	c |    319447 |  133910   646130  1758154 | 2147483647   276577    204 | 15.247 % |
2696.71/2698.62	c |    319547 |  133910   646130  1758154 | 2147483647   276677    204 | 15.247 % |
2698.51/2700.42	c |    319657 |  133910   646130  1758154 | 2147483647   276787    204 | 15.247 % |
2700.31/2702.22	c |    319780 |  133910   646130  1758154 | 2147483647   276910    204 | 15.247 % |
2702.10/2704.06	c |    319918 |  133910   646130  1758154 | 2147483647   277048    204 | 15.247 % |
2704.01/2705.94	c |    320065 |  133910   646130  1758154 | 2147483647   277195    204 | 15.247 % |
2706.40/2708.32	c |    320225 |  133910   646130  1758154 | 2147483647   277355    203 | 15.247 % |
2708.30/2710.28	c |    320401 |  133910   646130  1758154 | 2147483647   277531    203 | 15.247 % |
2710.50/2712.43	c |    320594 |  133910   646130  1758154 | 2147483647   277724    203 | 15.247 % |
2712.99/2714.93	c |    320807 |  133910   646130  1758154 | 2147483647   277937    203 | 15.247 % |
2716.39/2718.30	c |    321042 |  133910   646130  1758154 | 2147483647   278172    203 | 15.247 % |
2720.19/2722.15	c |    321299 |  133910   646130  1758154 | 2147483647   278429    203 | 15.247 % |
2723.89/2725.84	c |    321581 |  133910   646130  1758154 | 2147483647   278711    203 | 15.247 % |
2726.98/2728.97	c |    321900 |  133910   646130  1758154 | 2147483647   279030    203 | 15.247 % |
2730.79/2732.70	c |    322244 |  133910   646130  1758154 | 2147483647   279374    203 | 15.247 % |
2736.69/2738.67	c |    322617 |  133910   646130  1758154 | 2147483647   279747    203 | 15.247 % |
2745.58/2747.50	c |    323028 |  126100   606394  1653638 | 2147483647   133014    196 | 20.196 % |
2748.68/2750.68	c ===============================================================================
2748.68/2750.68	c restarts              : 721
2748.68/2750.68	c conflicts             : 323289         (118 /sec)
2748.68/2750.68	c decisions             : 1444590        (1.10 % random) (527 /sec)
2748.68/2750.68	c propagations          : 3720740045     (1358169 /sec)
2748.68/2750.68	c conflict literals     : 65884043       (44.62 % deleted)
2748.68/2750.68	c Memory used           : 282.73 MB
2748.68/2750.68	c CPU time              : 2739.53 s
2748.68/2750.68	c 
2748.68/2750.68	s UNSATISFIABLE
2748.77/2750.72	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16959
/proc/meminfo: memFree=1614456/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=0
/proc/16959/stat : 16959 (SatELiteGTI) R 16957 16959 16889 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 315123430 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 243665698770 0 0 4100 65536 0 0 0 17 0 0 0
/proc/16959/statm: 1339 236 196 169 0 50 0

[startup+0.0485671 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16959
/proc/meminfo: memFree=1614456/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=0
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315123430 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10158 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16959
/proc/meminfo: memFree=1614456/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=0
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315123430 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301613 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16959
/proc/meminfo: memFree=1614456/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=0
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315123430 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701685 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16959
/proc/meminfo: memFree=1614456/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=0
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315123430 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50182 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16964
/proc/meminfo: memFree=1508776/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=0
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315123430 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 237 197 169 0 50 0
[pid=16964] ppid=16959 vsize=153876 CPUtime=1.48
/proc/16964/stat : 16964 (SatELite_releas) R 16959 16959 16889 0 -1 4194304 30368 0 0 0 132 16 0 0 25 0 1 0 315123430 157569024 30186 1992294400 134512640 135223648 4294956128 18446744073709551615 134610128 0 0 4096 3 0 0 0 17 0 0 0
/proc/16964/statm: 38469 30186 74 173 0 38294 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 159232

[startup+3.10111 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16964
/proc/meminfo: memFree=1489000/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=0
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315123430 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 237 197 169 0 50 0
[pid=16964] ppid=16959 vsize=166752 CPUtime=3.08
/proc/16964/stat : 16964 (SatELite_releas) R 16959 16959 16889 0 -1 4194304 36451 0 0 0 287 21 0 0 25 0 1 0 315123430 170754048 33417 1992294400 134512640 135223648 4294956128 18446744073709551615 134586643 0 0 4096 3 0 0 0 17 0 0 0
/proc/16964/statm: 41688 33417 76 173 0 41513 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 172108

[startup+6.30169 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 16964
/proc/meminfo: memFree=1474664/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=0
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315123430 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 237 197 169 0 50 0
[pid=16964] ppid=16959 vsize=166236 CPUtime=6.28
/proc/16964/stat : 16964 (SatELite_releas) R 16959 16959 16889 0 -1 4194304 39887 0 0 0 605 23 0 0 25 0 1 0 315123430 170225664 33290 1992294400 134512640 135223648 4294956128 18446744073709551615 134586745 0 0 4096 3 0 0 0 17 0 0 0
/proc/16964/statm: 41559 33290 76 173 0 41384 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 171592

[startup+12.7019 s]
/proc/loadavg: 1.15 1.03 1.01 2/67 16965
/proc/meminfo: memFree=1546088/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=49276 CPUtime=4.16
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 11140 0 0 0 410 6 0 0 25 0 1 0 315124282 50458624 11053 1992294400 134512640 135215339 4294956240 18446744073709551615 134532758 0 0 4096 3 0 0 0 17 1 0 0
/proc/16965/statm: 12319 11053 77 171 0 12146 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 54632

[startup+25.5012 s]
/proc/loadavg: 1.12 1.03 1.01 2/67 16965
/proc/meminfo: memFree=1544424/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=51652 CPUtime=16.95
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 11736 0 0 0 1688 7 0 0 25 0 1 0 315124282 52891648 11649 1992294400 134512640 135215339 4294956240 18446744073709551615 134532689 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 12913 11649 77 171 0 12740 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 57008

[startup+51.1018 s]
/proc/loadavg: 1.08 1.03 1.01 2/67 16965
/proc/meminfo: memFree=1538728/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=57628 CPUtime=42.53
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 13224 0 0 0 4244 9 0 0 25 0 1 0 315124282 59011072 13137 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 14407 13137 77 171 0 14234 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 62984

[startup+102.305 s]
/proc/loadavg: 1.03 1.02 1.00 3/67 16965
/proc/meminfo: memFree=1527464/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=68772 CPUtime=93.7
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 16011 0 0 0 9358 12 0 0 25 0 1 0 315124282 70422528 15924 1992294400 134512640 135215339 4294956240 18446744073709551615 134532752 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 17193 15924 77 171 0 17020 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 74128

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 16965
/proc/meminfo: memFree=1513768/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=82540 CPUtime=153.66
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 19455 0 0 0 15351 15 0 0 25 0 1 0 315124282 84520960 19368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 20635 19368 77 171 0 20462 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 87896

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 16965
/proc/meminfo: memFree=1502760/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=93456 CPUtime=213.63
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 22175 0 0 0 21344 19 0 0 25 0 1 0 315124282 95698944 22088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 23364 22088 77 171 0 23191 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 98812

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16965
/proc/meminfo: memFree=1491752/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=104676 CPUtime=273.59
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 24965 0 0 0 27338 21 0 0 25 0 1 0 315124282 107188224 24878 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 1 0 0
/proc/16965/statm: 26169 24878 77 171 0 25996 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 110032

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16971
/proc/meminfo: memFree=1482976/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=113132 CPUtime=333.54
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 27096 0 0 0 33330 24 0 0 25 0 1 0 315124282 115847168 27009 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 28283 27009 77 171 0 28110 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 118488

[startup+402.301 s]
/proc/loadavg: 1.19 1.05 1.01 2/67 17447
/proc/meminfo: memFree=1430576/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=123168 CPUtime=393.1
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 29582 0 0 0 39282 28 0 0 25 0 1 0 315124282 126124032 29495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 30792 29495 77 171 0 30619 0
Current children cumulated CPU time (s) 401.6
Current children cumulated vsize (KiB) 128524

[startup+462.301 s]

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


[startup+2262.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17447
/proc/meminfo: memFree=1300840/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=252784 CPUtime=2252.13
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 61812 0 0 0 225148 65 0 0 25 0 1 0 315124282 258850816 61725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/16965/statm: 63196 61725 77 171 0 63023 0
Current children cumulated CPU time (s) 2260.63
Current children cumulated vsize (KiB) 258140

[startup+2322.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 17447
/proc/meminfo: memFree=1295912/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=257792 CPUtime=2312.09
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 63011 0 0 0 231143 66 0 0 25 0 1 0 315124282 263979008 62924 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 64448 62924 77 171 0 64275 0
Current children cumulated CPU time (s) 2320.59
Current children cumulated vsize (KiB) 263148

[startup+2382.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 17447
/proc/meminfo: memFree=1291240/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=262652 CPUtime=2372.06
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 64160 0 0 0 237139 67 0 0 25 0 1 0 315124282 268955648 64073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 65663 64073 77 171 0 65490 0
Current children cumulated CPU time (s) 2380.56
Current children cumulated vsize (KiB) 268008

[startup+2442.3 s]
/proc/loadavg: 1.13 1.04 1.01 2/67 17447
/proc/meminfo: memFree=1286952/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=266876 CPUtime=2432.03
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 65208 0 0 0 243135 68 0 0 25 0 1 0 315124282 273281024 65121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 66719 65121 77 171 0 66546 0
Current children cumulated CPU time (s) 2440.53
Current children cumulated vsize (KiB) 272232

[startup+2502.3 s]
/proc/loadavg: 1.11 1.05 1.01 2/67 17447
/proc/meminfo: memFree=1282856/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=271096 CPUtime=2491.99
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 66229 0 0 0 249130 69 0 0 25 0 1 0 315124282 277602304 66142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 67774 66142 77 171 0 67601 0
Current children cumulated CPU time (s) 2500.49
Current children cumulated vsize (KiB) 276452

[startup+2562.3 s]
/proc/loadavg: 1.10 1.05 1.01 2/67 17447
/proc/meminfo: memFree=1278248/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=275628 CPUtime=2551.97
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 67384 0 0 0 255127 70 0 0 25 0 1 0 315124282 282243072 67297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 68907 67297 77 171 0 68734 0
Current children cumulated CPU time (s) 2560.47
Current children cumulated vsize (KiB) 280984

[startup+2622.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/67 17447
/proc/meminfo: memFree=1271656/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=282204 CPUtime=2611.94
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 69022 0 0 0 261123 71 0 0 25 0 1 0 315124282 288976896 68935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 70551 68935 77 171 0 70378 0
Current children cumulated CPU time (s) 2620.44
Current children cumulated vsize (KiB) 287560

[startup+2682.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/67 17447
/proc/meminfo: memFree=1267368/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=286576 CPUtime=2671.91
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 70109 0 0 0 267119 72 0 0 25 0 1 0 315124282 293453824 70022 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 71644 70022 77 171 0 71471 0
Current children cumulated CPU time (s) 2680.41
Current children cumulated vsize (KiB) 291932

[startup+2742.31 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 17447
/proc/meminfo: memFree=1264232/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=289508 CPUtime=2731.89
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 70856 0 0 0 273115 74 0 0 25 0 1 0 315124282 296456192 70769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 72377 70769 77 171 0 72204 0
Current children cumulated CPU time (s) 2740.39
Current children cumulated vsize (KiB) 294864

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

[startup+2745.5 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 17447
/proc/meminfo: memFree=1264232/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=289508 CPUtime=2735.09
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 70860 0 0 0 273435 74 0 0 25 0 1 0 315124282 296456192 70773 1992294400 134512640 135215339 4294956240 18446744073709551615 134526140 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 72377 70773 77 171 0 72204 0
Current children cumulated CPU time (s) 2743.59
Current children cumulated vsize (KiB) 294864

[startup+2748.7 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 17447
/proc/meminfo: memFree=1264232/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=289508 CPUtime=2738.28
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 70860 0 0 0 273754 74 0 0 25 0 1 0 315124282 296456192 70773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 72377 70773 77 171 0 72204 0
Current children cumulated CPU time (s) 2746.78
Current children cumulated vsize (KiB) 294864

[startup+2749.5 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 17447
/proc/meminfo: memFree=1264232/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=289508 CPUtime=2739.08
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 70860 0 0 0 273834 74 0 0 25 0 1 0 315124282 296456192 70773 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 72377 70773 77 171 0 72204 0
Current children cumulated CPU time (s) 2747.58
Current children cumulated vsize (KiB) 294864

[startup+2750.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 17447
/proc/meminfo: memFree=1264232/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=289508 CPUtime=2739.88
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194304 70860 0 0 0 273914 74 0 0 25 0 1 0 315124282 296456192 70773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 72377 70773 77 171 0 72204 0
Current children cumulated CPU time (s) 2748.38
Current children cumulated vsize (KiB) 294864

[startup+2750.7 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 17447
/proc/meminfo: memFree=1264232/2055920 swapFree=4177744/4192956
[pid=16959] ppid=16957 vsize=5356 CPUtime=8.5
/proc/16959/stat : 16959 (SatELiteGTI) S 16957 16959 16889 0 -1 4194304 336 44445 0 0 0 0 817 33 16 0 1 0 315123430 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16959/statm: 1339 239 197 169 0 50 0
[pid=16965] ppid=16959 vsize=0 CPUtime=2740.27
/proc/16965/stat : 16965 (minisat_static) R 16959 16959 16889 0 -1 4194308 70866 0 0 0 273952 75 0 0 25 0 1 0 315124282 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/16965/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2748.77
Current children cumulated vsize (KiB) 5356

Child status: 20
Real time (s): 2750.74
CPU time (s): 2748.83
CPU user time (s): 2747.7
CPU system time (s): 1.13383
CPU usage (%): 99.9306
Max. virtual memory (cumulated for all children) (KiB): 294864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2747.7
system time used= 1.13383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115802
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= 45
involuntary context switches= 12008

runsolver used 2.57261 second user time and 7.52785 second system time

The end

Launcher Data 

Begin job on node84 at 2009-05-21 03:55:41
IDJOB=1837452
IDBENCH=70988
IDSOLVER=674
FILE ID=node84/1837452-1242870940
PBS_JOBID= 9328602
Free space on /tmp= 66184 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837452-1242870940/watcher-1837452-1242870940 -o /tmp/evaluation-result-1837452-1242870940/solver-1837452-1242870940 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837452-1242870940.cnf

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

MD5SUM BENCH= d8dd0726277891eae9a2807dfd8946db
RANDOM SEED=1837443043

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1614944 kB
Buffers:         44620 kB
Cached:         353716 kB
SwapCached:       9324 kB
Active:         238880 kB
Inactive:       170136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1614944 kB
SwapTotal:     4192956 kB
SwapFree:      4177744 kB
Dirty:           22188 kB
Writeback:           0 kB
Mapped:          15920 kB
Slab:            17948 kB
Committed_AS:  1011456 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66180 MiB
End job on node84 at 2009-05-21 04:41:32