Trace number 1837310

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 10000.1 10002.6

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
MD5SUM49867705b76fc90285dd6fc48de2613c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4518.06
Satisfiable
(Un)Satisfiability was proved
Number of variables69561
Number of clauses226787
Sum of the clauses size587727
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292376
Number of clauses of size 3134282
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.19	c ==============================================================================
0.00/0.19	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.19	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.19	c ==============================================================================
0.00/0.19	c |         0 |  226144   586057 |   67843       0        0     nan |  0.000 % |
1.18/1.24	c |         0 |  163375   552718 |      --       0       --      -- |     --   | -62769/-33339
1.18/1.24	c ==============================================================================
1.18/1.24	c Result  :   #vars: 28527   #clauses: 163375   #literals: 552718
1.18/1.24	c CPU time:   1.18582 s
1.18/1.24	c ==============================================================================
1.38/1.44	c This is MiniSat 2.0 beta
1.38/1.44	c WARNING: for repeatability, setting FPU to use double precision
1.38/1.44	c ============================[ Problem Statistics ]=============================
1.38/1.44	c |                                                                             |
1.38/1.44	c |  Number of variables:  28527                                                |
1.38/1.44	c |  Number of clauses:    163375                                               |
1.43/1.55	c |  Parsing time:         0.10         s                                       |
1.43/1.56	c ============================[ Search Statistics ]==============================
1.43/1.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.43/1.56	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.43/1.56	c ===============================================================================
1.43/1.56	c |         0 |   28527   163375   552718 |    54458        0    nan |  0.000 % |
1.43/1.64	c |       101 |   28516   163375   552718 |    54458       95     20 |  0.046 % |
2.08/2.18	c |       201 |   28516   163375   552718 |    54458      195     75 |  0.046 % |
2.97/3.03	c |       301 |   28514   163274   552415 |    54458      282    110 |  0.060 % |
3.47/3.57	c |       411 |   28504   163249   552348 |    54458      390    101 |  0.081 % |
3.97/4.06	c |       511 |   28501   163197   552197 |    54458      486    100 |  0.091 % |
4.57/4.63	c |       621 |   28499   163197   552197 |    54458      594    102 |  0.098 % |
5.18/5.22	c |       743 |   28499   163180   552155 |    54458      716     90 |  0.098 % |
5.98/6.09	c |       843 |   28499   163180   552155 |    54458      816     98 |  0.098 % |
6.68/6.72	c |       955 |   28499   163180   552155 |    54458      928    102 |  0.098 % |
7.28/7.34	c |      1077 |   28497   163172   552129 |    54458     1048    103 |  0.105 % |
8.07/8.10	c |      1211 |   28497   163172   552129 |    54458     1182    104 |  0.105 % |
8.47/8.58	c |      1312 |   28497   163167   552117 |    54458     1283    105 |  0.105 % |
9.37/9.43	c |      1423 |   28497   163167   552117 |    54458     1394    108 |  0.105 % |
10.17/10.28	c |      1544 |   28497   163167   552117 |    54458     1515    109 |  0.105 % |
11.17/11.24	c |      1678 |   28493   163133   552017 |    54458     1642    113 |  0.119 % |
11.77/11.81	c |      1825 |   28493   163133   552017 |    54458     1789    107 |  0.119 % |
12.37/12.40	c |      1926 |   28493   163133   552017 |    54458     1890    108 |  0.119 % |
12.57/12.66	c |      2037 |   28493   163133   552017 |    54458     2001    105 |  0.119 % |
13.27/13.35	c |      2159 |   28492   163128   552005 |    54458     2122    106 |  0.123 % |
13.97/14.04	c |      2293 |   28492   163128   552005 |    54458     2256    107 |  0.123 % |
14.77/14.86	c |      2440 |   28492   163128   552005 |    54458     2403    102 |  0.123 % |
15.37/15.41	c |      2600 |   28492   163128   552005 |    54458     2563    101 |  0.123 % |
15.37/15.49	c |      2701 |   28492   163128   552005 |    54458     2664     97 |  0.123 % |
15.87/15.90	c |      2811 |   28492   163128   552005 |    54458     2774     95 |  0.123 % |
16.07/16.11	c |      2932 |   28492   163128   552005 |    54458     2895     93 |  0.123 % |
17.07/17.18	c |      3066 |   28492   163128   552005 |    54458     3029     89 |  0.123 % |
17.87/18.00	c |      3213 |   28492   163128   552005 |    54458     3176     90 |  0.123 % |
18.67/18.73	c |      3373 |   28492   163128   552005 |    54458     3336     90 |  0.123 % |
19.57/19.65	c |      3549 |   28492   163128   552005 |    54458     3512     92 |  0.123 % |
20.37/20.45	c |      3649 |   28492   163128   552005 |    54458     3612     94 |  0.123 % |
20.77/20.86	c |      3759 |   28492   163128   552005 |    54458     3722     94 |  0.123 % |
21.47/21.52	c |      3881 |   28488   163091   551888 |    54458     3837     94 |  0.137 % |
22.27/22.33	c |      4014 |   28488   163091   551888 |    54458     3970     95 |  0.137 % |
23.16/23.28	c |      4161 |   28488   163091   551888 |    54458     4117     96 |  0.137 % |
24.17/24.21	c |      4323 |   28488   163091   551888 |    54458     4279     97 |  0.137 % |
25.06/25.13	c |      4499 |   28488   163091   551888 |    54458     4455     97 |  0.137 % |
26.27/26.37	c |      4692 |   28486   163066   551811 |    54458     4646     98 |  0.144 % |
27.06/27.14	c |      4793 |   28486   163066   551811 |    54458     4747     96 |  0.144 % |
27.86/27.97	c |      4903 |   28486   163066   551811 |    54458     4857     97 |  0.144 % |
28.87/28.98	c |      5025 |   28486   163066   551811 |    54458     4979     98 |  0.144 % |
29.67/29.71	c |      5158 |   28486   163066   551811 |    54458     5112     99 |  0.144 % |
30.57/30.63	c |      5305 |   28483   163051   551773 |    54458     5257     99 |  0.154 % |
31.07/31.11	c |      5465 |   28483   163051   551773 |    54458     5417     99 |  0.154 % |
32.37/32.49	c |      5642 |   28483   163051   551773 |    54458     5594    101 |  0.154 % |
33.27/33.36	c |      5835 |   28482   163046   551760 |    54458     5786     99 |  0.158 % |
34.07/34.11	c |      6047 |   28482   163046   551760 |    54458     5998     97 |  0.158 % |
34.76/34.81	c |      6148 |   28482   163046   551760 |    54458     6099     97 |  0.158 % |
35.66/35.77	c |      6258 |   28482   163046   551760 |    54458     6209     97 |  0.158 % |
36.27/36.31	c |      6379 |   28479   163031   551722 |    54458     6327     98 |  0.168 % |
37.16/37.20	c |      6512 |   28479   163031   551722 |    54458     6460     97 |  0.168 % |
38.26/38.30	c |      6658 |   28479   163031   551722 |    54458     6606     98 |  0.168 % |
39.06/39.13	c |      6818 |   28479   163031   551722 |    54458     6766     99 |  0.168 % |
40.46/40.56	c |      6995 |   28479   163031   551722 |    54458     6943    100 |  0.168 % |
41.86/41.95	c |      7189 |   28479   163031   551722 |    54458     7137     99 |  0.168 % |
43.26/43.37	c |      7401 |   28479   163031   551722 |    54458     7349     96 |  0.168 % |
43.66/43.79	c |      7634 |   28479   163031   551722 |    54458     7582     94 |  0.168 % |
44.46/44.57	c |      7735 |   28479   163031   551722 |    54458     7683     95 |  0.168 % |
45.16/45.25	c |      7845 |   28479   163031   551722 |    54458     7793     96 |  0.168 % |
46.06/46.17	c |      7966 |   28479   163031   551722 |    54458     7914     97 |  0.168 % |
46.77/46.80	c |      8099 |   28478   163023   551694 |    54458     8041     97 |  0.172 % |
47.66/47.73	c |      8246 |   28478   163023   551694 |    54458     8188     97 |  0.172 % |
48.86/48.98	c |      8406 |   28478   163023   551694 |    54458     8348     98 |  0.172 % |
50.16/50.22	c |      8582 |   28474   163003   551643 |    54458     8522     98 |  0.186 % |
51.16/51.29	c |      8775 |   28474   163003   551643 |    54458     8715     98 |  0.186 % |
52.56/52.69	c |      8987 |   28474   163003   551643 |    54458     8927     99 |  0.186 % |
54.26/54.37	c |      9220 |   28474   163003   551643 |    54458     9160     99 |  0.186 % |
56.06/56.10	c |      9477 |   28474   163003   551643 |    54458     9417    100 |  0.186 % |
56.56/56.62	c |      9577 |   28474   163003   551643 |    54458     9517    100 |  0.186 % |
57.06/57.19	c |      9688 |   28474   163003   551643 |    54458     9628     99 |  0.186 % |
58.16/58.28	c |      9810 |   28474   163003   551643 |    54458     9750    100 |  0.186 % |
59.26/59.37	c |      9944 |   28474   163003   551643 |    54458     9884     98 |  0.186 % |
60.56/60.65	c |     10090 |   28474   163003   551643 | 2147483647    10030     99 |  0.186 % |
61.16/61.26	c |     10251 |   28474   163003   551643 | 2147483647    10191     98 |  0.186 % |
62.16/62.21	c |     10428 |   28474   163003   551643 | 2147483647    10368     98 |  0.186 % |
63.26/63.38	c |     10621 |   28474   163003   551643 | 2147483647    10561     99 |  0.186 % |
64.66/64.78	c |     10833 |   28474   163003   551643 | 2147483647    10773    100 |  0.186 % |
65.86/65.92	c |     11066 |   28474   163003   551643 | 2147483647    11006    100 |  0.186 % |
66.85/66.97	c |     11323 |   28474   163003   551643 | 2147483647    11263     99 |  0.186 % |
69.16/69.27	c |     11604 |   28474   163003   551643 | 2147483647    11544    101 |  0.186 % |
70.06/70.11	c |     11705 |   28474   163003   551643 | 2147483647    11645    100 |  0.186 % |
70.96/71.04	c |     11817 |   28474   163003   551643 | 2147483647    11757    101 |  0.186 % |
71.16/71.24	c |     11940 |   28474   163003   551643 | 2147483647    11880    100 |  0.186 % |
71.96/72.06	c |     12074 |   28474   163003   551643 | 2147483647    12014    100 |  0.186 % |
73.06/73.15	c |     12221 |   28474   163003   551643 | 2147483647    12161    100 |  0.186 % |
74.56/74.69	c |     12382 |   28474   163003   551643 | 2147483647    12322    101 |  0.186 % |
75.86/76.00	c |     12558 |   28474   163003   551643 | 2147483647    12498    100 |  0.186 % |
77.66/77.74	c |     12751 |   28474   163003   551643 | 2147483647    12691    101 |  0.186 % |
78.46/78.59	c |     12963 |   28474   163003   551643 | 2147483647    12903    101 |  0.186 % |
79.95/80.04	c |     13197 |   28474   163003   551643 | 2147483647    13137    101 |  0.186 % |
81.05/81.15	c |     13454 |   28472   162981   551572 | 2147483647    13392    101 |  0.193 % |
82.75/82.80	c |     13736 |   28472   162981   551572 | 2147483647    13674    101 |  0.193 % |
83.95/84.09	c |     14045 |   28472   162981   551572 | 2147483647    13983    101 |  0.193 % |
84.75/84.82	c |     14146 |   28472   162981   551572 | 2147483647    14084    100 |  0.193 % |
85.55/85.61	c |     14257 |   28472   162981   551572 | 2147483647    14195    101 |  0.193 % |
86.55/86.65	c |     14380 |   28472   162981   551572 | 2147483647    14318    100 |  0.193 % |
87.25/87.32	c |     14514 |   28472   162981   551572 | 2147483647    14452    100 |  0.193 % |
88.45/88.58	c |     14661 |   28471   162962   551508 | 2147483647    14596    101 |  0.196 % |
89.85/89.93	c |     14821 |   28471   162962   551508 | 2147483647    14756    101 |  0.196 % |
90.15/90.28	c |     14997 |   28471   162962   551508 | 2147483647    14932    100 |  0.196 % |
90.45/90.53	c |     15191 |   28471   162962   551508 | 2147483647    15126     99 |  0.196 % |
90.55/90.64	c |     15403 |   28471   162962   551508 | 2147483647    15338     98 |  0.196 % |
90.75/90.88	c |     15637 |   28471   162962   551508 | 2147483647    15572     97 |  0.196 % |
92.35/92.46	c |     15894 |   28471   162962   551508 | 2147483647    15829     98 |  0.196 % |
94.05/94.17	c |     16176 |   28471   162962   551508 | 2147483647    16111     98 |  0.196 % |
95.95/96.05	c |     16486 |   28471   162962   551508 | 2147483647    16421     99 |  0.196 % |
99.05/99.16	c |     16825 |   28471   162962   551508 | 2147483647    16760    100 |  0.196 % |
99.45/99.59	c |     16925 |   28471   162962   551508 | 2147483647    16860     99 |  0.196 % |
100.35/100.40	c |     17035 |   28471   162962   551508 | 2147483647    16970    100 |  0.196 % |
101.25/101.37	c |     17156 |   28467   162945   551464 | 2147483647    17090    100 |  0.210 % |
102.16/102.24	c |     17289 |   28467   162945   551464 | 2147483647    17223    100 |  0.210 % |
103.15/103.23	c |     17436 |   28467   162945   551464 | 2147483647    17370    100 |  0.210 % |
104.15/104.28	c |     17597 |   28467   162945   551464 | 2147483647    17531    100 |  0.210 % |
105.95/106.00	c |     17774 |   28467   162945   551464 | 2147483647    17708    101 |  0.210 % |
106.65/106.78	c |     17968 |   28467   162945   551464 | 2147483647    17902    101 |  0.210 % |
107.75/107.86	c |     18180 |   28465   162930   551413 | 2147483647    18107    100 |  0.217 % |
109.25/109.30	c |     18414 |   28465   162930   551413 | 2147483647    18341    101 |  0.217 % |
111.35/111.40	c |     18671 |   28465   162930   551413 | 2147483647    18598    101 |  0.217 % |
113.35/113.47	c |     18953 |   28465   162930   551413 | 2147483647    18880    101 |  0.217 % |
116.04/116.18	c |     19262 |   28465   162930   551413 | 2147483647    19189    102 |  0.217 % |
119.04/119.10	c |     19601 |   28465   162930   551413 | 2147483647    19528    103 |  0.217 % |
120.85/120.98	c |     19974 |   28465   162930   551413 | 2147483647    19901    101 |  0.217 % |
121.54/121.67	c |     20074 |   28465   162930   551413 | 2147483647    20001    101 |  0.217 % |
122.05/122.17	c |     20185 |   28465   162930   551413 | 2147483647    20112    101 |  0.217 % |
122.94/123.02	c |     20306 |   28465   162930   551413 | 2147483647    20233    101 |  0.217 % |
123.74/123.84	c |     20440 |   28465   162930   551413 | 2147483647    20367    101 |  0.217 % |
125.04/125.13	c |     20586 |   28465   162930   551413 | 2147483647    20513    102 |  0.217 % |
125.94/126.09	c |     20746 |   28465   162930   551413 | 2147483647    20673    102 |  0.217 % |
127.14/127.21	c |     20924 |   28465   162930   551413 | 2147483647    20851    101 |  0.217 % |
128.44/128.59	c |     21117 |   28465   162930   551413 | 2147483647    21044    101 |  0.217 % |
129.64/129.76	c |     21330 |   28465   162930   551413 | 2147483647    21257    101 |  0.217 % |
131.54/131.62	c |     21563 |   28465   162930   551413 | 2147483647    21490    100 |  0.217 % |
133.34/133.49	c |     21819 |   28465   162930   551413 | 2147483647    21746    101 |  0.217 % |
135.54/135.62	c |     22101 |   28465   162930   551413 | 2147483647    22028    101 |  0.217 % |
137.45/137.55	c |     22411 |   28465   162930   551413 | 2147483647    22338    101 |  0.217 % |
140.24/140.32	c |     22752 |   28465   162930   551413 | 2147483647    22679    102 |  0.217 % |
143.74/143.84	c |     23124 |   28465   162930   551413 | 2147483647    23051    103 |  0.217 % |
147.14/147.27	c |     23534 |   28465   162930   551413 | 2147483647    23461    102 |  0.217 % |
147.74/147.81	c |     23635 |   28465   162930   551413 | 2147483647    23562    102 |  0.217 % |
148.64/148.71	c |     23745 |   28465   162930   551413 | 2147483647    23672    101 |  0.217 % |
149.34/149.49	c |     23866 |   28465   162930   551413 | 2147483647    23793    101 |  0.217 % |
150.54/150.66	c |     23999 |   28465   162930   551413 | 2147483647    23926    102 |  0.217 % |
151.44/151.53	c |     24146 |   28465   162930   551413 | 2147483647    24073    102 |  0.217 % |
152.94/153.04	c |     24306 |   28465   162930   551413 | 2147483647    24233    102 |  0.217 % |
153.84/153.95	c |     24482 |   28465   162930   551413 | 2147483647    24409    101 |  0.217 % |
154.94/155.07	c |     24675 |   28465   162930   551413 | 2147483647    24602    102 |  0.217 % |
155.53/155.60	c |     24887 |   28465   162930   551413 | 2147483647    24814    101 |  0.217 % |
156.83/156.96	c |     25122 |   28465   162930   551413 | 2147483647    25049    101 |  0.217 % |
158.34/158.49	c |     25382 |   28465   162930   551413 | 2147483647    25309    102 |  0.217 % |
160.33/160.44	c |     25664 |   28465   162930   551413 | 2147483647    25591    101 |  0.217 % |
162.63/162.80	c |     25974 |   28465   162930   551413 | 2147483647    25901    102 |  0.217 % |
165.13/165.24	c |     26313 |   28465   162930   551413 | 2147483647    26240    102 |  0.217 % |
167.74/167.81	c |     26685 |   28465   162930   551413 | 2147483647    26612    103 |  0.217 % |
170.74/170.89	c |     27094 |   28465   162930   551413 | 2147483647    27021    103 |  0.217 % |
173.64/173.73	c |     27543 |   28465   162930   551413 | 2147483647    27470    102 |  0.217 % |
173.74/173.83	c |     27643 |   28465   162930   551413 | 2147483647    27570    102 |  0.217 % |
173.83/173.94	c |     27755 |   28465   162930   551413 | 2147483647    27682    102 |  0.217 % |
174.63/174.77	c |     27877 |   28465   162930   551413 | 2147483647    27804    102 |  0.217 % |
175.73/175.82	c |     28010 |   28465   162930   551413 | 2147483647    27937    102 |  0.217 % |
176.83/176.94	c |     28156 |   28465   162930   551413 | 2147483647    28083    102 |  0.217 % |
177.63/177.77	c |     28316 |   28465   162930   551413 | 2147483647    28243    102 |  0.217 % |
178.83/178.94	c |     28493 |   28465   162930   551413 | 2147483647    28420    101 |  0.217 % |
180.23/180.34	c |     28687 |   28465   162930   551413 | 2147483647    28614    101 |  0.217 % |
181.73/181.86	c |     28899 |   28465   162930   551413 | 2147483647    28826    102 |  0.217 % |
183.43/183.54	c |     29133 |   28465   162930   551413 | 2147483647    29060    102 |  0.217 % |
184.53/184.67	c |     29389 |   28465   162930   551413 | 2147483647    29316    102 |  0.217 % |
186.23/186.34	c |     29670 |   28465   162930   551413 | 2147483647    29597    102 |  0.217 % |
187.83/187.97	c |     29980 |   28465   162930   551413 | 2147483647    29907    102 |  0.217 % |
188.82/188.90	c |     30320 |   28465   162930   551413 | 2147483647    30247    102 |  0.217 % |
190.92/191.05	c |     30693 |   28465   162930   551413 | 2147483647    30620    102 |  0.217 % |
193.13/193.26	c |     31102 |   28465   162930   551413 | 2147483647    31029    101 |  0.217 % |
196.63/196.79	c |     31552 |   28465   162930   551413 | 2147483647    31479    102 |  0.217 % |
199.93/200.05	c |     32046 |   28465   162930   551413 | 2147483647    31973    101 |  0.217 % |
200.43/200.52	c |     32146 |   28465   162930   551413 | 2147483647    32073    101 |  0.217 % |
201.23/201.36	c |     32257 |   28465   162930   551413 | 2147483647    32184    101 |  0.217 % |
202.12/202.26	c |     32378 |   28465   162930   551413 | 2147483647    32305    101 |  0.217 % |
203.52/203.63	c |     32511 |   28465   162930   551413 | 2147483647    32438    101 |  0.217 % |
204.53/204.67	c |     32657 |   28465   162930   551413 | 2147483647    32584    102 |  0.217 % |
206.02/206.15	c |     32818 |   28465   162930   551413 | 2147483647    32745    102 |  0.217 % |
207.23/207.36	c |     32994 |   28465   162930   551413 | 2147483647    32921    102 |  0.217 % |
208.73/208.82	c |     33187 |   28465   162930   551413 | 2147483647    33114    102 |  0.217 % |
210.33/210.45	c |     33399 |   28465   162930   551413 | 2147483647    33326    102 |  0.217 % |
212.23/212.39	c |     33632 |   28465   162930   551413 | 2147483647    33559    102 |  0.217 % |
214.23/214.39	c |     33888 |   28465   162930   551413 | 2147483647    33815    102 |  0.217 % |
216.93/217.08	c |     34170 |   28465   162930   551413 | 2147483647    34097    103 |  0.217 % |
219.02/219.17	c |     34480 |   28464   162910   551341 | 2147483647    34400    103 |  0.221 % |
222.13/222.25	c |     34820 |   28464   162910   551341 | 2147483647    34740    103 |  0.221 % |
224.42/224.59	c |     35194 |   28464   162910   551341 | 2147483647    35114    104 |  0.221 % |
227.62/227.78	c |     35604 |   28464   162910   551341 | 2147483647    35524    103 |  0.221 % |
231.62/231.77	c |     36054 |   28464   162910   551341 | 2147483647    35974    104 |  0.221 % |
234.42/234.57	c |     36548 |   28464   162910   551341 | 2147483647    36468    104 |  0.221 % |
239.01/239.11	c |     37090 |   28464   162910   551341 | 2147483647    37010    105 |  0.221 % |
239.81/239.98	c |     37191 |   28464   162910   551341 | 2147483647    37111    104 |  0.221 % |
240.82/240.95	c |     37301 |   28464   162910   551341 | 2147483647    37221    105 |  0.221 % |
241.92/242.07	c |     37423 |   28464   162910   551341 | 2147483647    37343    105 |  0.221 % |
243.21/243.37	c |     37556 |   28464   162910   551341 | 2147483647    37476    105 |  0.221 % |
244.51/244.67	c |     37704 |   28464   162910   551341 | 2147483647    37624    105 |  0.221 % |
245.82/245.91	c |     37866 |   28464   162910   551341 | 2147483647    37786    105 |  0.221 % |
246.72/246.84	c |     38043 |   28464   162910   551341 | 2147483647    37963    105 |  0.221 % |
247.92/248.09	c |     38236 |   28464   162910   551341 | 2147483647    38156    105 |  0.221 % |
249.52/249.66	c |     38450 |   28464   162910   551341 | 2147483647    38370    105 |  0.221 % |
250.72/250.90	c |     38683 |   28464   162910   551341 | 2147483647    38603    105 |  0.221 % |
252.72/252.82	c |     38939 |   28464   162910   551341 | 2147483647    38859    105 |  0.221 % |
254.21/254.35	c |     39221 |   28464   162910   551341 | 2147483647    39141    105 |  0.221 % |
256.41/256.50	c |     39530 |   28464   162910   551341 | 2147483647    39450    105 |  0.221 % |
259.21/259.34	c |     39869 |   28464   162910   551341 | 2147483647    39789    105 |  0.221 % |
261.71/261.85	c |     40246 |   28464   162910   551341 | 2147483647    40166    105 |  0.221 % |
265.11/265.27	c |     40656 |   28464   162910   551341 | 2147483647    40576    106 |  0.221 % |
268.41/268.56	c |     41106 |   28464   162910   551341 | 2147483647    41026    106 |  0.221 % |
271.90/272.05	c |     41599 |   28464   162910   551341 | 2147483647    41519    107 |  0.221 % |
275.50/275.66	c |     42141 |   28464   162910   551341 | 2147483647    42061    107 |  0.221 % |
279.71/279.87	c |     42737 |   28464   162910   551341 | 2147483647    42657    107 |  0.221 % |
280.31/280.49	c |     42838 |   28464   162910   551341 | 2147483647    42758    107 |  0.221 % |
281.31/281.48	c |     42949 |   28464   162910   551341 | 2147483647    42869    107 |  0.221 % |
282.01/282.17	c |     43070 |   28464   162910   551341 | 2147483647    42990    107 |  0.221 % |
283.21/283.36	c |     43203 |   28464   162910   551341 | 2147483647    43123    107 |  0.221 % |
284.11/284.26	c |     43349 |   28464   162910   551341 | 2147483647    43269    107 |  0.221 % |
285.31/285.41	c |     43510 |   28464   162910   551341 | 2147483647    43430    107 |  0.221 % |
286.51/286.62	c |     43687 |   28464   162910   551341 | 2147483647    43607    107 |  0.221 % |
287.80/287.96	c |     43881 |   28464   162910   551341 | 2147483647    43801    107 |  0.221 % |
289.50/289.63	c |     44094 |   28464   162910   551341 | 2147483647    44014    107 |  0.221 % |
290.70/290.89	c |     44327 |   28464   162910   551341 | 2147483647    44247    107 |  0.221 % |
292.30/292.44	c |     44583 |   28464   162910   551341 | 2147483647    44503    107 |  0.221 % |
293.90/294.01	c |     44864 |   28464   162910   551341 | 2147483647    44784    107 |  0.221 % |
296.70/296.81	c |     45174 |   28464   162910   551341 | 2147483647    45094    107 |  0.221 % |
299.00/299.20	c |     45513 |   28464   162910   551341 | 2147483647    45433    107 |  0.221 % |
301.30/301.48	c |     45885 |   28464   162910   551341 | 2147483647    45805    107 |  0.221 % |
304.00/304.15	c |     46294 |   28464   162910   551341 | 2147483647    46214    107 |  0.221 % |
308.10/308.21	c |     46744 |   28464   162910   551341 | 2147483647    46664    108 |  0.221 % |
311.50/311.63	c |     47238 |   28464   162910   551341 | 2147483647    47158    108 |  0.221 % |
315.60/315.73	c |     47781 |   28464   162910   551341 | 2147483647    47701    107 |  0.221 % |
319.90/320.05	c |     48377 |   28464   162910   551341 | 2147483647    48297    108 |  0.221 % |
323.50/323.65	c |     49032 |   28464   162910   551341 | 2147483647    48952    106 |  0.221 % |
324.30/324.42	c |     49132 |   28464   162910   551341 | 2147483647    49052    107 |  0.221 % |
325.10/325.21	c |     49242 |   28464   162910   551341 | 2147483647    49162    107 |  0.221 % |
326.00/326.15	c |     49363 |   28464   162910   551341 | 2147483647    49283    107 |  0.221 % |
327.00/327.15	c |     49497 |   28464   162910   551341 | 2147483647    49417    106 |  0.221 % |
328.20/328.36	c |     49643 |   28464   162910   551341 | 2147483647    49563    107 |  0.221 % |
329.40/329.50	c |     49803 |   28464   162910   551341 | 2147483647    49723    107 |  0.221 % |
330.10/330.24	c |     49981 |   28464   162910   551341 | 2147483647    49901    106 |  0.221 % |
331.69/331.85	c |     50174 |   28464   162910   551341 | 2147483647    50094    106 |  0.221 % |
332.89/333.07	c |     50387 |   28464   162910   551341 | 2147483647    50307    106 |  0.221 % |
334.99/335.18	c |     50621 |   28464   162910   551341 | 2147483647    50541    107 |  0.221 % |
336.19/336.33	c |     50878 |   28464   162910   551341 | 2147483647    50798    107 |  0.221 % |
338.29/338.40	c |     51159 |   28464   162910   551341 | 2147483647    51079    106 |  0.221 % |
339.99/340.14	c |     51468 |   28464   162910   551341 | 2147483647    51388    106 |  0.221 % |
342.49/342.65	c |     51807 |   28464   162910   551341 | 2147483647    51727    106 |  0.221 % |
345.29/345.42	c |     52180 |   28464   162910   551341 | 2147483647    52100    107 |  0.221 % |
348.79/348.92	c |     52589 |   28464   162910   551341 | 2147483647    52509    107 |  0.221 % |
352.29/352.45	c |     53039 |   28464   162910   551341 | 2147483647    52959    106 |  0.221 % |
355.39/355.59	c |     53533 |   28464   162910   551341 | 2147483647    53453    106 |  0.221 % |
359.99/360.17	c |     54076 |   28462   162900   551307 | 2147483647    53994    107 |  0.228 % |
363.39/363.58	c |     54673 |   28462   162900   551307 | 2147483647    54591    107 |  0.228 % |
367.88/368.00	c |     55328 |   28462   162900   551307 | 2147483647    55246    107 |  0.228 % |
373.18/373.37	c |     56049 |   28462   162900   551307 | 2147483647    55967    107 |  0.228 % |
373.98/374.15	c |     56149 |   28462   162900   551307 | 2147483647    56067    107 |  0.228 % |
374.78/375.00	c |     56260 |   28462   162900   551307 | 2147483647    56178    107 |  0.228 % |
375.88/376.05	c |     56381 |   28462   162900   551307 | 2147483647    56299    107 |  0.228 % |
376.98/377.11	c |     56516 |   28462   162900   551307 | 2147483647    56434    107 |  0.228 % |
378.09/378.26	c |     56663 |   28462   162900   551307 | 2147483647    56581    107 |  0.228 % |
379.59/379.74	c |     56823 |   28462   162900   551307 | 2147483647    56741    108 |  0.228 % |
381.29/381.44	c |     56999 |   28462   162900   551307 | 2147483647    56917    108 |  0.228 % |
382.98/383.13	c |     57192 |   28462   162900   551307 | 2147483647    57110    108 |  0.228 % |
384.68/384.89	c |     57405 |   28462   162900   551307 | 2147483647    57323    108 |  0.228 % |
386.78/386.90	c |     57638 |   28462   162900   551307 | 2147483647    57556    108 |  0.228 % |
388.78/388.96	c |     57894 |   28462   162900   551307 | 2147483647    57812    108 |  0.228 % |
390.28/390.43	c |     58176 |   28462   162900   551307 | 2147483647    58094    108 |  0.228 % |
392.78/392.99	c |     58486 |   28462   162900   551307 | 2147483647    58404    108 |  0.228 % |
394.98/395.11	c |     58825 |   28462   162900   551307 | 2147483647    58743    108 |  0.228 % |
398.18/398.39	c |     59197 |   28462   162900   551307 | 2147483647    59115    109 |  0.228 % |
401.97/402.16	c |     59606 |   28462   162900   551307 | 2147483647    59524    109 |  0.228 % |
405.57/405.74	c |     60056 |   28462   162900   551307 | 2147483647    59974    109 |  0.228 % |
407.07/407.25	c |     60551 |   28462   162900   551307 | 2147483647    60469    109 |  0.228 % |
410.77/410.91	c |     61093 |   28462   162900   551307 | 2147483647    61011    110 |  0.228 % |
415.58/415.76	c |     61689 |   28462   162900   551307 | 2147483647    61607    110 |  0.228 % |
420.97/421.17	c |     62345 |   28462   162900   551307 | 2147483647    62263    110 |  0.228 % |
426.57/426.73	c |     63066 |   28462   162900   551307 | 2147483647    62984    110 |  0.228 % |
432.77/432.98	c |     63858 |   28462   162900   551307 | 2147483647    63776    111 |  0.228 % |
433.77/433.90	c |     63959 |   28462   162900   551307 | 2147483647    63877    111 |  0.228 % |
434.67/434.83	c |     64069 |   28462   162900   551307 | 2147483647    63987    111 |  0.228 % |
435.67/435.81	c |     64190 |   28462   162900   551307 | 2147483647    64108    111 |  0.228 % |
436.96/437.17	c |     64325 |   28462   162900   551307 | 2147483647    64243    111 |  0.228 % |
438.06/438.24	c |     64471 |   28462   162900   551307 | 2147483647    64389    111 |  0.228 % |
439.26/439.47	c |     64631 |   28462   162900   551307 | 2147483647    64549    111 |  0.228 % |
440.46/440.66	c |     64808 |   28462   162900   551307 | 2147483647    64726    111 |  0.228 % |
441.66/441.89	c |     65002 |   28461   162883   551248 | 2147483647    64916    111 |  0.231 % |
442.86/443.05	c |     65214 |   28461   162883   551248 | 2147483647    65128    110 |  0.231 % |
444.96/445.16	c |     65447 |   28461   162883   551248 | 2147483647    65361    111 |  0.231 % |
446.96/447.10	c |     65703 |   28461   162883   551248 | 2147483647    65617    111 |  0.231 % |
448.06/448.27	c |     65985 |   28461   162883   551248 | 2147483647    65899    111 |  0.231 % |
450.17/450.39	c |     66294 |   28461   162883   551248 | 2147483647    66208    111 |  0.231 % |
452.37/452.57	c |     66634 |   28461   162883   551248 | 2147483647    66548    111 |  0.231 % |
455.57/455.79	c |     67006 |   28461   162883   551248 | 2147483647    66920    111 |  0.231 % |
459.17/459.38	c |     67415 |   28460   162863   551176 | 2147483647    67321    111 |  0.235 % |
462.36/462.56	c |     67864 |   28460   162863   551176 | 2147483647    67770    111 |  0.235 % |
466.06/466.27	c |     68357 |   28460   162863   551176 | 2147483647    68263    111 |  0.235 % |
470.46/470.63	c |     68899 |   28460   162863   551176 | 2147483647    68805    110 |  0.235 % |
474.36/474.51	c |     69496 |   28460   162863   551176 | 2147483647    69402    110 |  0.235 % |
479.46/479.65	c |     70151 |   28460   162863   551176 | 2147483647    70057    111 |  0.235 % |
485.96/486.19	c |     70873 |   28460   162863   551176 | 2147483647    70779    111 |  0.235 % |
492.25/492.40	c |     71666 |   28460   162863   551176 | 2147483647    71572    111 |  0.235 % |
499.45/499.60	c |     72537 |   28460   162863   551176 | 2147483647    72443    111 |  0.235 % |
500.15/500.30	c |     72638 |   28460   162863   551176 | 2147483647    72544    112 |  0.235 % |
501.05/501.25	c |     72748 |   28460   162863   551176 | 2147483647    72654    112 |  0.235 % |
501.85/502.05	c |     72870 |   28460   162863   551176 | 2147483647    72776    112 |  0.235 % |
502.95/503.20	c |     73004 |   28460   162863   551176 | 2147483647    72910    112 |  0.235 % |
504.04/504.28	c |     73150 |   28460   162863   551176 | 2147483647    73056    112 |  0.235 % |
505.24/505.46	c |     73310 |   28460   162863   551176 | 2147483647    73216    112 |  0.235 % |
506.14/506.37	c |     73490 |   28460   162863   551176 | 2147483647    73396    112 |  0.235 % |
507.64/507.81	c |     73685 |   28460   162863   551176 | 2147483647    73591    112 |  0.235 % |
509.44/509.67	c |     73898 |   28460   162863   551176 | 2147483647    73804    112 |  0.235 % |
511.54/511.72	c |     74132 |   28460   162863   551176 | 2147483647    74038    112 |  0.235 % |
513.45/513.63	c |     74388 |   28460   162863   551176 | 2147483647    74294    112 |  0.235 % |
515.35/515.53	c |     74670 |   28460   162863   551176 | 2147483647    74576    112 |  0.235 % |
518.35/518.53	c |     74981 |   28460   162863   551176 | 2147483647    74887    112 |  0.235 % |
520.74/520.95	c |     75320 |   28460   162863   551176 | 2147483647    75226    112 |  0.235 % |
523.54/523.74	c |     75692 |   28460   162863   551176 | 2147483647    75598    112 |  0.235 % |
526.44/526.67	c |     76102 |   28460   162863   551176 | 2147483647    76008    112 |  0.235 % |
530.34/530.54	c |     76551 |   28460   162863   551176 | 2147483647    76457    112 |  0.235 % |
533.64/533.87	c |     77045 |   28460   162863   551176 | 2147483647    76951    112 |  0.235 % |
535.84/536.04	c |     77587 |   28460   162863   551176 | 2147483647    77493    112 |  0.235 % |
541.13/541.38	c |     78184 |   28460   162863   551176 | 2147483647    78090    112 |  0.235 % |
546.03/546.27	c |     78839 |   28460   162863   551176 | 2147483647    78745    112 |  0.235 % |
552.23/552.49	c |     79560 |   28460   162863   551176 | 2147483647    79466    113 |  0.235 % |
571.93/572.15	c |     80354 |   28460   162863   551176 | 2147483647    80260    113 |  0.235 % |
578.13/578.31	c |     81226 |   28460   162863   551176 | 2147483647    81132    113 |  0.235 % |
585.62/585.87	c |     82184 |   28460   162863   551176 | 2147483647    82090    113 |  0.235 % |
586.22/586.46	c |     82285 |   28460   162863   551176 | 2147483647    82191    113 |  0.235 % |
587.13/587.37	c |     82395 |   28460   162863   551176 | 2147483647    82301    113 |  0.235 % |
588.13/588.32	c |     82519 |   28460   162863   551176 | 2147483647    82425    113 |  0.235 % |
589.13/589.40	c |     82652 |   28460   162863   551176 | 2147483647    82558    113 |  0.235 % |
590.63/590.89	c |     82798 |   28460   162863   551176 | 2147483647    82704    113 |  0.235 % |
592.13/592.38	c |     82960 |   28460   162863   551176 | 2147483647    82866    113 |  0.235 % |
593.53/593.74	c |     83137 |   28460   162863   551176 | 2147483647    83043    113 |  0.235 % |
594.73/594.91	c |     83331 |   28460   162863   551176 | 2147483647    83237    113 |  0.235 % |
596.53/596.79	c |     83544 |   28460   162863   551176 | 2147483647    83450    113 |  0.235 % |
598.53/598.76	c |     83777 |   28460   162863   551176 | 2147483647    83683    113 |  0.235 % |
600.62/600.82	c |     84034 |   28460   162863   551176 | 2147483647    83940    114 |  0.235 % |
603.12/603.31	c |     84316 |   28460   162863   551176 | 2147483647    84222    114 |  0.235 % |
605.82/606.09	c |     84626 |   28460   162863   551176 | 2147483647    84532    114 |  0.235 % |
609.12/609.35	c |     84966 |   28460   162863   551176 | 2147483647    84872    114 |  0.235 % |
612.21/612.45	c |     85338 |   28460   162863   551176 | 2147483647    85244    114 |  0.235 % |
615.41/615.63	c |     85747 |   28460   162863   551176 | 2147483647    85653    114 |  0.235 % |
618.91/619.15	c |     86197 |   28460   162863   551176 | 2147483647    86103    114 |  0.235 % |
623.10/623.35	c |     86690 |   28460   162863   551176 | 2147483647    86596    114 |  0.235 % |
627.31/627.58	c |     87233 |   28460   162863   551176 | 2147483647    87139    114 |  0.235 % |
632.21/632.42	c |     87829 |   28460   162863   551176 | 2147483647    87735    115 |  0.235 % |
638.11/638.34	c |     88484 |   28460   162863   551176 | 2147483647    88390    115 |  0.235 % |
643.80/644.06	c |     89206 |   28460   162863   551176 | 2147483647    89112    115 |  0.235 % |
649.51/649.74	c |     89999 |   28460   162863   551176 | 2147483647    89905    115 |  0.235 % |
655.41/655.70	c |     90870 |   28460   162863   551176 | 2147483647    90776    115 |  0.235 % |
662.20/662.50	c |     91829 |   28459   162855   551148 | 2147483647    91733    116 |  0.238 % |
669.40/669.68	c |     92883 |   28459   162855   551148 | 2147483647    92787    115 |  0.238 % |
669.90/670.17	c |     92983 |   28459   162855   551148 | 2147483647    92887    115 |  0.238 % |
670.40/670.65	c |     93094 |   28459   162855   551148 | 2147483647    92998    115 |  0.238 % |
671.40/671.63	c |     93216 |   28459   162855   551148 | 2147483647    93120    115 |  0.238 % |
672.79/673.00	c |     93351 |   28459   162855   551148 | 2147483647    93255    115 |  0.238 % |
674.19/674.47	c |     93497 |   28459   162855   551148 | 2147483647    93401    115 |  0.238 % |
675.29/675.56	c |     93658 |   28459   162855   551148 | 2147483647    93562    115 |  0.238 % |
676.69/676.91	c |     93834 |   28459   162855   551148 | 2147483647    93738    115 |  0.238 % |
678.29/678.57	c |     94027 |   28459   162855   551148 | 2147483647    93931    115 |  0.238 % |
679.99/680.27	c |     94240 |   28459   162855   551148 | 2147483647    94144    115 |  0.238 % |
681.39/681.60	c |     94474 |   28459   162855   551148 | 2147483647    94378    115 |  0.238 % |
683.30/683.54	c |     94731 |   28459   162855   551148 | 2147483647    94635    115 |  0.238 % |
685.10/685.34	c |     95012 |   28459   162855   551148 | 2147483647    94916    116 |  0.238 % |
687.70/687.93	c |     95322 |   28459   162855   551148 | 2147483647    95226    116 |  0.238 % |
690.30/690.57	c |     95661 |   28459   162855   551148 | 2147483647    95565    116 |  0.238 % |
693.59/693.82	c |     96034 |   28459   162855   551148 | 2147483647    95938    116 |  0.238 % |
701.79/702.09	c |     96443 |   28459   162855   551148 | 2147483647    96347    116 |  0.238 % |
705.39/705.67	c |     96892 |   28459   162855   551148 | 2147483647    96796    116 |  0.238 % |
708.09/708.34	c |     97385 |   28459   162855   551148 | 2147483647    97289    116 |  0.238 % |
712.09/712.36	c |     97928 |   28459   162855   551148 | 2147483647    97832    116 |  0.238 % |
716.99/717.26	c |     98524 |   28459   162855   551148 | 2147483647    98428    116 |  0.238 % |
724.19/724.47	c |     99179 |   28459   162855   551148 | 2147483647    99083    116 |  0.238 % |
729.29/729.52	c |     99900 |   28459   162855   551148 | 2147483647    99804    115 |  0.238 % |
735.48/735.77	c |    100693 |   28459   162855   551148 | 2147483647   100597    116 |  0.238 % |
742.08/742.30	c |    101564 |   28459   162855   551148 | 2147483647   101468    116 |  0.238 % |
750.07/750.36	c |    102522 |   28459   162855   551148 | 2147483647   102426    116 |  0.238 % |
773.97/774.29	c |    103576 |   28459   162855   551148 | 2147483647   103480    117 |  0.238 % |
782.77/783.06	c |    104736 |   28459   162855   551148 | 2147483647   104640    117 |  0.238 % |
783.47/783.79	c |    104839 |   28459   162855   551148 | 2147483647   104743    117 |  0.238 % |
784.47/784.76	c |    104950 |   28459   162855   551148 | 2147483647   104854    117 |  0.238 % |
785.47/785.77	c |    105071 |   28459   162855   551148 | 2147483647   104975    117 |  0.238 % |
786.47/786.75	c |    105205 |   28459   162855   551148 | 2147483647   105109    117 |  0.238 % |
787.57/787.85	c |    105351 |   28459   162855   551148 | 2147483647   105255    117 |  0.238 % |
788.87/789.12	c |    105511 |   28459   162855   551148 | 2147483647   105415    117 |  0.238 % |
790.47/790.77	c |    105687 |   28459   162855   551148 | 2147483647   105591    117 |  0.238 % |
792.17/792.48	c |    105880 |   28459   162855   551148 | 2147483647   105784    117 |  0.238 % |
794.07/794.34	c |    106094 |   28459   162855   551148 | 2147483647   105998    117 |  0.238 % |
796.17/796.41	c |    106328 |   28459   162855   551148 | 2147483647   106232    117 |  0.238 % |
798.27/798.57	c |    106585 |   28459   162855   551148 | 2147483647   106489    117 |  0.238 % |
800.96/801.29	c |    106866 |   28459   162855   551148 | 2147483647   106770    117 |  0.238 % |
803.46/803.77	c |    107177 |   28459   162855   551148 | 2147483647   107081    117 |  0.238 % |
806.46/806.73	c |    107516 |   28459   162855   551148 | 2147483647   107420    117 |  0.238 % |
809.87/810.17	c |    107888 |   28459   162855   551148 | 2147483647   107792    117 |  0.238 % |
813.77/814.09	c |    108297 |   28459   162855   551148 | 2147483647   108201    118 |  0.238 % |
818.07/818.35	c |    108747 |   28459   162855   551148 | 2147483647   108651    118 |  0.238 % |
822.56/822.81	c |    109241 |   28459   162855   551148 | 2147483647   109145    118 |  0.238 % |
826.06/826.34	c |    109783 |   28459   162855   551148 | 2147483647   109687    118 |  0.238 % |
830.16/830.50	c |    110379 |   28459   162855   551148 | 2147483647   110283    118 |  0.238 % |
836.55/836.82	c |    111034 |   28459   162855   551148 | 2147483647   110938    118 |  0.238 % |
847.76/848.09	c |    111756 |   28459   162855   551148 | 2147483647   111660    118 |  0.238 % |
854.85/855.13	c |    112548 |   28459   162855   551148 | 2147483647   112452    119 |  0.238 % |
861.85/862.11	c |    113421 |   28459   162855   551148 | 2147483647   113325    119 |  0.238 % |
868.75/869.06	c |    114379 |   28459   162855   551148 | 2147483647   114283    119 |  0.238 % |
878.15/878.41	c |    115433 |   28459   162855   551148 | 2147483647   115337    119 |  0.238 % |
886.54/886.84	c |    116591 |   28459   162855   551148 | 2147483647   116495    119 |  0.238 % |
897.14/897.43	c |    117864 |   28459   162855   551148 | 2147483647   117768    120 |  0.238 % |
897.54/897.81	c |    117965 |   28459   162855   551148 | 2147483647   117869    119 |  0.238 % |
898.54/898.87	c |    118076 |   28459   162855   551148 | 2147483647   117980    119 |  0.238 % |
899.44/899.73	c |    118197 |   28459   162855   551148 | 2147483647   118101    119 |  0.238 % |
900.54/900.89	c |    118331 |   28459   162855   551148 | 2147483647   118235    119 |  0.238 % |
902.04/902.37	c |    118477 |   28459   162855   551148 | 2147483647   118381    120 |  0.238 % |
903.53/903.84	c |    118638 |   28459   162855   551148 | 2147483647   118542    120 |  0.238 % |
904.94/905.20	c |    118814 |   28459   162855   551148 | 2147483647   118718    120 |  0.238 % |
906.93/907.22	c |    119007 |   28459   162855   551148 | 2147483647   118911    119 |  0.238 % |
908.64/908.96	c |    119220 |   28459   162855   551148 | 2147483647   119124    119 |  0.238 % |
910.94/911.23	c |    119454 |   28459   162855   551148 | 2147483647   119358    120 |  0.238 % |
912.64/912.96	c |    119711 |   28459   162855   551148 | 2147483647   119615    120 |  0.238 % |
915.04/915.39	c |    119993 |   28459   162855   551148 | 2147483647   119897    120 |  0.238 % |
917.84/918.10	c |    120303 |   28459   162855   551148 | 2147483647   120207    119 |  0.238 % |
920.94/921.21	c |    120642 |   28459   162855   551148 | 2147483647   120546    119 |  0.238 % |
924.03/924.36	c |    121016 |   28459   162855   551148 | 2147483647   120920    119 |  0.238 % |
926.94/927.29	c |    121425 |   28459   162855   551148 | 2147483647   121329    119 |  0.238 % |
931.03/931.39	c |    121875 |   28459   162855   551148 | 2147483647   121779    120 |  0.238 % |
935.13/935.41	c |    122368 |   28459   162855   551148 | 2147483647   122272    120 |  0.238 % |
939.43/939.77	c |    122910 |   28459   162855   551148 | 2147483647   122814    120 |  0.238 % |
942.73/943.06	c |    123506 |   28459   162855   551148 | 2147483647   123410    120 |  0.238 % |
947.73/948.03	c |    124161 |   28459   162855   551148 | 2147483647   124065    120 |  0.238 % |
953.33/953.61	c |    124881 |   28459   162855   551148 | 2147483647   124785    120 |  0.238 % |
959.12/959.42	c |    125673 |   28459   162855   551148 | 2147483647   125577    120 |  0.238 % |
967.12/967.42	c |    126544 |   28459   162855   551148 | 2147483647   126448    120 |  0.238 % |
979.62/979.98	c |    127503 |   28459   162855   551148 | 2147483647   127407    121 |  0.238 % |
1001.12/1001.48	c |    128556 |   28459   162855   551148 | 2147483647   128460    121 |  0.238 % |
1019.11/1019.45	c |    129715 |   28459   162855   551148 | 2147483647   129619    120 |  0.238 % |
1030.90/1031.29	c |    130989 |   28459   162855   551148 | 2147483647   130893    121 |  0.238 % |
1042.31/1042.67	c |    132390 |   28459   162855   551148 | 2147483647   132294    121 |  0.238 % |
1043.21/1043.56	c |    132492 |   28459   162855   551148 | 2147483647   132396    121 |  0.238 % |
1044.01/1044.34	c |    132603 |   28459   162855   551148 | 2147483647   132507    121 |  0.238 % |
1045.31/1045.65	c |    132725 |   28459   162855   551148 | 2147483647   132629    121 |  0.238 % |
1046.51/1046.88	c |    132858 |   28459   162855   551148 | 2147483647   132762    121 |  0.238 % |
1047.81/1048.14	c |    133004 |   28459   162855   551148 | 2147483647   132908    121 |  0.238 % |
1049.30/1049.65	c |    133164 |   28459   162855   551148 | 2147483647   133068    121 |  0.238 % |
1050.50/1050.87	c |    133341 |   28459   162855   551148 | 2147483647   133245    121 |  0.238 % |
1052.31/1052.69	c |    133534 |   28459   162855   551148 | 2147483647   133438    121 |  0.238 % |
1054.00/1054.34	c |    133747 |   28459   162855   551148 | 2147483647   133651    121 |  0.238 % |
1055.50/1055.85	c |    133981 |   28459   162855   551148 | 2147483647   133885    121 |  0.238 % |
1057.60/1057.99	c |    134237 |   28459   162855   551148 | 2147483647   134141    121 |  0.238 % |
1059.60/1059.94	c |    134519 |   28459   162855   551148 | 2147483647   134423    121 |  0.238 % |
1062.20/1062.59	c |    134829 |   28459   162855   551148 | 2147483647   134733    121 |  0.238 % |
1065.39/1065.77	c |    135168 |   28459   162855   551148 | 2147483647   135072    121 |  0.238 % |
1068.29/1068.61	c |    135540 |   28459   162855   551148 | 2147483647   135444    121 |  0.238 % |
1072.09/1072.50	c |    135950 |   28459   162855   551148 | 2147483647   135854    121 |  0.238 % |
1076.49/1076.85	c |    136400 |   28459   162855   551148 | 2147483647   136304    121 |  0.238 % |
1080.39/1080.73	c |    136894 |   28459   162855   551148 | 2147483647   136798    121 |  0.238 % |
1084.99/1085.36	c |    137437 |   28459   162855   551148 | 2147483647   137341    121 |  0.238 % |
1088.69/1089.07	c |    138033 |   28459   162855   551148 | 2147483647   137937    121 |  0.238 % |
1093.59/1093.96	c |    138688 |   28459   162855   551148 | 2147483647   138592    121 |  0.238 % |
1099.89/1100.25	c |    139408 |   28459   162855   551148 | 2147483647   139312    122 |  0.238 % |
1105.98/1106.40	c |    140200 |   28459   162855   551148 | 2147483647   140104    122 |  0.238 % |
1112.58/1112.96	c |    141072 |   28459   162855   551148 | 2147483647   140976    122 |  0.238 % |
1119.79/1120.14	c |    142030 |   28459   162855   551148 | 2147483647   141934    121 |  0.238 % |
1129.18/1129.55	c |    143084 |   28459   162855   551148 | 2147483647   142988    121 |  0.238 % |
1138.77/1139.19	c |    144242 |   28459   162855   551148 | 2147483647   144146    122 |  0.238 % |
1150.98/1151.40	c |    145515 |   28459   162855   551148 | 2147483647   145419    122 |  0.238 % |
1163.87/1164.22	c |    146916 |   28459   162855   551148 | 2147483647   146820    122 |  0.238 % |
1177.77/1178.19	c |    148458 |   28459   162855   551148 | 2147483647   148362    122 |  0.238 % |
1178.57/1178.98	c |    148558 |   28459   162855   551148 | 2147483647   148462    122 |  0.238 % |
1179.47/1179.85	c |    148668 |   28459   162855   551148 | 2147483647   148572    122 |  0.238 % |
1180.67/1181.04	c |    148790 |   28459   162855   551148 | 2147483647   148694    122 |  0.238 % |
1181.47/1181.85	c |    148925 |   28459   162855   551148 | 2147483647   148829    122 |  0.238 % |
1183.07/1183.45	c |    149071 |   28459   162855   551148 | 2147483647   148975    122 |  0.238 % |
1184.67/1185.01	c |    149231 |   28459   162855   551148 | 2147483647   149135    122 |  0.238 % |
1185.97/1186.31	c |    149408 |   28459   162855   551148 | 2147483647   149312    122 |  0.238 % |
1187.97/1188.32	c |    149602 |   28459   162855   551148 | 2147483647   149506    123 |  0.238 % |
1189.77/1190.17	c |    149815 |   28459   162855   551148 | 2147483647   149719    123 |  0.238 % |
1191.97/1192.35	c |    150049 |   28459   162855   551148 | 2147483647   149953    123 |  0.238 % |
1194.06/1194.48	c |    150306 |   28459   162855   551148 | 2147483647   150210    123 |  0.238 % |
1196.96/1197.32	c |    150588 |   28459   162855   551148 | 2147483647   150492    123 |  0.238 % |
1199.56/1199.95	c |    150897 |   28459   162855   551148 | 2147483647   150801    123 |  0.238 % |
1202.66/1203.03	c |    151238 |   28459   162855   551148 | 2147483647   151142    123 |  0.238 % |
1205.76/1206.13	c |    151611 |   28459   162855   551148 | 2147483647   151515    123 |  0.238 % |
1209.57/1209.92	c |    152021 |   28459   162855   551148 | 2147483647   151925    123 |  0.238 % |
1212.96/1213.32	c |    152471 |   28459   162855   551148 | 2147483647   152375    123 |  0.238 % |
1217.66/1218.09	c |    152964 |   28459   162855   551148 | 2147483647   152868    123 |  0.238 % |
1221.56/1221.99	c |    153507 |   28459   162855   551148 | 2147483647   153411    123 |  0.238 % |
1228.55/1228.95	c |    154104 |   28459   162855   551148 | 2147483647   154008    123 |  0.238 % |
1234.55/1234.95	c |    154759 |   28459   162855   551148 | 2147483647   154663    123 |  0.238 % |
1241.25/1241.69	c |    155480 |   28457   162845   551123 | 2147483647   155381    123 |  0.245 % |
1244.95/1245.34	c |    156274 |   28457   162845   551123 | 2147483647   156175    123 |  0.245 % |
1251.36/1251.76	c |    157145 |   28457   162845   551123 | 2147483647   157046    123 |  0.245 % |
1258.95/1259.31	c |    158103 |   28457   162845   551123 | 2147483647   158004    123 |  0.245 % |
1269.05/1269.41	c |    159156 |   28457   162845   551123 | 2147483647   159057    123 |  0.245 % |
1277.04/1277.43	c |    160314 |   28457   162845   551123 | 2147483647   160215    123 |  0.245 % |
1294.14/1294.52	c |    161587 |   28457   162845   551123 | 2147483647   161488    124 |  0.245 % |
1321.63/1322.02	c |    162987 |   28457   162845   551123 | 2147483647   162888    124 |  0.245 % |
1334.93/1335.32	c |    164528 |   28457   162845   551123 | 2147483647   164429    124 |  0.245 % |
1350.22/1350.62	c |    166223 |   28457   162845   551123 | 2147483647   166124    124 |  0.245 % |
1351.42/1351.84	c |    166323 |   28457   162845   551123 | 2147483647   166224    124 |  0.245 % |
1352.22/1352.62	c |    166434 |   28457   162845   551123 | 2147483647   166335    124 |  0.245 % |
1353.32/1353.74	c |    166555 |   28457   162845   551123 | 2147483647   166456    124 |  0.245 % |
1354.42/1354.89	c |    166689 |   28457   162845   551123 | 2147483647   166590    124 |  0.245 % |
1355.92/1356.34	c |    166836 |   28457   162845   551123 | 2147483647   166737    124 |  0.245 % |
1356.82/1357.24	c |    166996 |   28457   162845   551123 | 2147483647   166897    124 |  0.245 % |
1358.22/1358.63	c |    167174 |   28457   162845   551123 | 2147483647   167075    124 |  0.245 % |
1359.72/1360.10	c |    167367 |   28457   162845   551123 | 2147483647   167268    124 |  0.245 % |
1360.92/1361.30	c |    167580 |   28457   162845   551123 | 2147483647   167481    124 |  0.245 % |
1362.82/1363.21	c |    167814 |   28457   162845   551123 | 2147483647   167715    124 |  0.245 % |
1365.22/1365.60	c |    168071 |   28457   162845   551123 | 2147483647   167972    124 |  0.245 % |
1368.02/1368.48	c |    168352 |   28457   162845   551123 | 2147483647   168253    124 |  0.245 % |
1370.62/1371.01	c |    168663 |   28457   162845   551123 | 2147483647   168564    124 |  0.245 % |
1374.32/1374.75	c |    169002 |   28457   162845   551123 | 2147483647   168903    124 |  0.245 % |
1377.42/1377.89	c |    169374 |   28457   162845   551123 | 2147483647   169275    124 |  0.245 % |
1381.12/1381.56	c |    169784 |   28457   162845   551123 | 2147483647   169685    124 |  0.245 % |
1385.21/1385.62	c |    170234 |   28457   162845   551123 | 2147483647   170135    124 |  0.245 % |
1389.61/1390.00	c |    170728 |   28457   162845   551123 | 2147483647   170629    125 |  0.245 % |
1394.52/1394.92	c |    171270 |   28457   162845   551123 | 2147483647   171171    125 |  0.245 % |
1400.51/1400.98	c |    171867 |   28457   162845   551123 | 2147483647   171768    125 |  0.245 % |
1405.51/1405.95	c |    172522 |   28457   162845   551123 | 2147483647   172423    125 |  0.245 % |
1411.11/1411.57	c |    173242 |   28457   162845   551123 | 2147483647   173143    125 |  0.245 % |
1420.01/1420.42	c |    174034 |   28457   162845   551123 | 2147483647   173935    125 |  0.245 % |
1427.51/1427.95	c |    174906 |   28457   162845   551123 | 2147483647   174807    125 |  0.245 % |
1435.01/1435.45	c |    175864 |   28457   162845   551123 | 2147483647   175765    125 |  0.245 % |
1444.00/1444.43	c |    176918 |   28457   162845   551123 | 2147483647   176819    125 |  0.245 % |
1453.90/1454.35	c |    178077 |   28457   162845   551123 | 2147483647   177978    125 |  0.245 % |
1464.39/1464.86	c |    179351 |   28457   162845   551123 | 2147483647   179252    125 |  0.245 % |
1476.99/1477.45	c |    180752 |   28457   162845   551123 | 2147483647   180653    126 |  0.245 % |
1491.69/1492.19	c |    182293 |   28457   162845   551123 | 2147483647   182194    126 |  0.245 % |
1506.98/1507.43	c |    183987 |   28457   162845   551123 | 2147483647   183888    126 |  0.245 % |
1523.28/1523.73	c |    185850 |   28457   162845   551123 | 2147483647   185751    126 |  0.245 % |
1524.08/1524.58	c |    185952 |   28457   162845   551123 | 2147483647   185853    126 |  0.245 % |
1525.08/1525.52	c |    186062 |   28457   162845   551123 | 2147483647   185963    126 |  0.245 % |
1525.58/1526.05	c |    186183 |   28457   162845   551123 | 2147483647   186084    126 |  0.245 % |
1526.08/1526.59	c |    186316 |   28457   162845   551123 | 2147483647   186217    126 |  0.245 % |
1527.17/1527.66	c |    186462 |   28457   162845   551123 | 2147483647   186363    126 |  0.245 % |
1528.77/1529.22	c |    186622 |   28457   162845   551123 | 2147483647   186523    126 |  0.245 % |
1530.47/1530.94	c |    186799 |   28457   162845   551123 | 2147483647   186700    126 |  0.245 % |
1531.78/1532.28	c |    186992 |   28457   162845   551123 | 2147483647   186893    126 |  0.245 % |
1534.08/1534.56	c |    187205 |   28457   162845   551123 | 2147483647   187106    126 |  0.245 % |
1536.37/1536.84	c |    187438 |   28457   162845   551123 | 2147483647   187339    126 |  0.245 % |
1538.67/1539.10	c |    187695 |   28457   162845   551123 | 2147483647   187596    126 |  0.245 % |
1541.68/1542.13	c |    187976 |   28457   162845   551123 | 2147483647   187877    126 |  0.245 % |
1544.28/1544.74	c |    188285 |   28457   162845   551123 | 2147483647   188186    126 |  0.245 % |
1547.28/1547.74	c |    188625 |   28457   162845   551123 | 2147483647   188526    126 |  0.245 % |
1550.47/1550.99	c |    188997 |   28457   162845   551123 | 2147483647   188898    126 |  0.245 % |
1554.27/1554.71	c |    189408 |   28457   162845   551123 | 2147483647   189309    126 |  0.245 % |
1558.57/1559.04	c |    189858 |   28457   162845   551123 | 2147483647   189759    126 |  0.245 % |
1562.17/1562.66	c |    190352 |   28457   162845   551123 | 2147483647   190253    126 |  0.245 % |
1567.56/1568.08	c |    190896 |   28457   162845   551123 | 2147483647   190797    126 |  0.245 % |
1573.77/1574.28	c |    191492 |   28457   162845   551123 | 2147483647   191393    127 |  0.245 % |
1580.57/1581.09	c |    192147 |   28457   162845   551123 | 2147483647   192048    127 |  0.245 % |
1586.57/1587.05	c |    192868 |   28457   162845   551123 | 2147483647   192769    127 |  0.245 % |
1594.86/1595.35	c |    193660 |   28457   162845   551123 | 2147483647   193561    127 |  0.245 % |
1600.16/1600.61	c |    194532 |   28457   162845   551123 | 2147483647   194433    127 |  0.245 % |
1608.86/1609.37	c |    195490 |   28457   162845   551123 | 2147483647   195391    127 |  0.245 % |
1618.46/1618.98	c |    196543 |   28457   162845   551123 | 2147483647   196444    127 |  0.245 % |
1628.05/1628.52	c |    197702 |   28457   162845   551123 | 2147483647   197603    127 |  0.245 % |
1638.05/1638.54	c |    198976 |   28457   162845   551123 | 2147483647   198877    127 |  0.245 % |
1650.85/1651.36	c |    200377 |   28457   162845   551123 | 2147483647   200278    127 |  0.245 % |
1663.65/1664.10	c |    201918 |   28457   162845   551123 | 2147483647   201819    128 |  0.245 % |
1678.14/1678.60	c |    203612 |   28457   162845   551123 | 2147483647   203513    128 |  0.245 % |
1695.34/1695.88	c |    205475 |   28457   162845   551123 | 2147483647   205376    128 |  0.245 % |
1711.73/1712.23	c |    207525 |   28457   162845   551123 | 2147483647   207426    128 |  0.245 % |
1712.83/1713.38	c |    207626 |   28457   162845   551123 | 2147483647   207527    128 |  0.245 % |
1713.93/1714.40	c |    207737 |   28457   162845   551123 | 2147483647   207638    128 |  0.245 % |
1714.93/1715.47	c |    207858 |   28457   162845   551123 | 2147483647   207759    128 |  0.245 % |
1716.53/1717.04	c |    207992 |   28457   162845   551123 | 2147483647   207893    128 |  0.245 % |
1718.23/1718.78	c |    208140 |   28457   162845   551123 | 2147483647   208041    128 |  0.245 % |
1719.83/1720.35	c |    208301 |   28457   162845   551123 | 2147483647   208202    128 |  0.245 % |
1722.43/1722.99	c |    208477 |   28457   162845   551123 | 2147483647   208378    128 |  0.245 % |
1724.63/1725.11	c |    208670 |   28457   162845   551123 | 2147483647   208571    128 |  0.245 % |
1726.13/1726.65	c |    208883 |   28457   162845   551123 | 2147483647   208784    128 |  0.245 % |
1728.03/1728.59	c |    209116 |   28457   162845   551123 | 2147483647   209017    128 |  0.245 % |
1730.23/1730.74	c |    209373 |   28457   162845   551123 | 2147483647   209274    128 |  0.245 % |
1733.23/1733.72	c |    209657 |   28457   162845   551123 | 2147483647   209558    128 |  0.245 % |
1735.93/1736.46	c |    209966 |   28457   162845   551123 | 2147483647   209867    128 |  0.245 % |
1739.03/1739.57	c |    210305 |   28457   162845   551123 | 2147483647   210206    128 |  0.245 % |
1742.13/1742.69	c |    210678 |   28457   162845   551123 | 2147483647   210579    128 |  0.245 % |
1746.33/1746.83	c |    211087 |   28457   162845   551123 | 2147483647   210988    128 |  0.245 % |
1750.42/1750.95	c |    211536 |   28457   162845   551123 | 2147483647   211437    128 |  0.245 % |
1756.02/1756.51	c |    212029 |   28457   162845   551123 | 2147483647   211930    128 |  0.245 % |
1761.22/1761.78	c |    212572 |   28457   162845   551123 | 2147483647   212473    128 |  0.245 % |
1766.22/1766.75	c |    213168 |   28457   162845   551123 | 2147483647   213069    128 |  0.245 % |
1770.81/1771.39	c |    213824 |   28457   162845   551123 | 2147483647   213725    128 |  0.245 % |
1778.41/1778.94	c |    214544 |   28457   162845   551123 | 2147483647   214445    128 |  0.245 % |
1785.91/1786.44	c |    215336 |   28457   162845   551123 | 2147483647   215237    128 |  0.245 % |
1794.31/1794.88	c |    216207 |   28457   162845   551123 | 2147483647   216108    128 |  0.245 % |
1801.71/1802.28	c |    217166 |   28457   162845   551123 | 2147483647   217067    128 |  0.245 % |
1813.01/1813.55	c |    218220 |   28457   162845   551123 | 2147483647   218121    128 |  0.245 % |
1824.00/1824.51	c |    219378 |   28457   162845   551123 | 2147483647   219279    128 |  0.245 % |
1835.80/1836.35	c |    220651 |   28457   162845   551123 | 2147483647   220552    128 |  0.245 % |
1849.10/1849.69	c |    222052 |   28457   162845   551123 | 2147483647   221953    128 |  0.245 % |
1861.89/1862.43	c |    223593 |   28457   162845   551123 | 2147483647   223494    128 |  0.245 % |
1897.48/1898.04	c |    225287 |   28457   162845   551123 | 2147483647   225188    127 |  0.245 % |
1914.17/1914.79	c |    227151 |   28457   162845   551123 | 2147483647   227052    127 |  0.245 % |
1933.48/1934.02	c |    229200 |   28457   162845   551123 | 2147483647   229101    127 |  0.245 % |
1962.77/1963.34	c |    231454 |   28457   162845   551123 | 2147483647   231355    127 |  0.245 % |
1963.87/1964.43	c |    231554 |   28457   162845   551123 | 2147483647   231455    127 |  0.245 % |
1964.97/1965.57	c |    231665 |   28457   162845   551123 | 2147483647   231566    127 |  0.245 % |
1966.06/1966.66	c |    231787 |   28457   162845   551123 | 2147483647   231688    127 |  0.245 % |
1967.06/1967.65	c |    231921 |   28457   162845   551123 | 2147483647   231822    127 |  0.245 % |
1968.26/1968.87	c |    232067 |   28457   162845   551123 | 2147483647   231968    127 |  0.245 % |
1969.76/1970.31	c |    232227 |   28457   162845   551123 | 2147483647   232128    127 |  0.245 % |
1971.77/1972.32	c |    232405 |   28457   162845   551123 | 2147483647   232306    127 |  0.245 % |
1973.97/1974.52	c |    232599 |   28457   162845   551123 | 2147483647   232500    127 |  0.245 % |
1976.36/1976.91	c |    232812 |   28457   162845   551123 | 2147483647   232713    127 |  0.245 % |
1978.06/1978.65	c |    233046 |   28457   162845   551123 | 2147483647   232947    127 |  0.245 % |
1980.36/1980.96	c |    233304 |   28457   162845   551123 | 2147483647   233205    127 |  0.245 % |
1983.26/1983.80	c |    233585 |   28457   162845   551123 | 2147483647   233486    127 |  0.245 % |
1986.77/1987.32	c |    233894 |   28457   162845   551123 | 2147483647   233795    127 |  0.245 % |
1989.16/1989.78	c |    234233 |   28457   162845   551123 | 2147483647   234134    127 |  0.245 % |
1993.36/1993.92	c |    234605 |   28457   162845   551123 | 2147483647   234506    127 |  0.245 % |
1997.56/1998.13	c |    235014 |   28457   162845   551123 | 2147483647   234915    127 |  0.245 % |
2001.76/2002.33	c |    235463 |   28457   162845   551123 | 2147483647   235364    127 |  0.245 % |
2006.06/2006.60	c |    235956 |   28457   162845   551123 | 2147483647   235857    127 |  0.245 % |
2011.95/2012.56	c |    236498 |   28457   162845   551123 | 2147483647   236399    127 |  0.245 % |
2021.45/2022.10	c |    237094 |   28456   162829   551070 | 2147483647   236992    127 |  0.249 % |
2027.55/2028.12	c |    237750 |   28456   162829   551070 | 2147483647   237648    127 |  0.249 % |
2034.85/2035.46	c |    238470 |   28456   162829   551070 | 2147483647   238368    127 |  0.249 % |
2041.94/2042.51	c |    239263 |   28456   162829   551070 | 2147483647   239161    127 |  0.249 % |
2050.54/2051.13	c |    240134 |   28456   162829   551070 | 2147483647   240032    127 |  0.249 % |
2058.94/2059.56	c |    241092 |   28456   162829   551070 | 2147483647   240990    127 |  0.249 % |
2070.04/2070.64	c |    242146 |   28456   162829   551070 | 2147483647   242044    127 |  0.249 % |
2080.03/2080.61	c |    243304 |   28456   162829   551070 | 2147483647   243202    128 |  0.249 % |
2092.83/2093.46	c |    244577 |   28456   162829   551070 | 2147483647   244475    128 |  0.249 % |
2103.83/2104.42	c |    245979 |   28456   162829   551070 | 2147483647   245877    128 |  0.249 % |
2125.22/2125.81	c |    247520 |   28456   162829   551070 | 2147483647   247418    128 |  0.249 % |
2140.12/2140.75	c |    249214 |   28456   162829   551070 | 2147483647   249112    128 |  0.249 % |
2161.51/2162.15	c |    251079 |   28456   162829   551070 | 2147483647   250977    128 |  0.249 % |
2180.01/2180.69	c |    253129 |   28456   162829   551070 | 2147483647   253027    128 |  0.249 % |
2212.80/2213.41	c |    255383 |   28456   162829   551070 | 2147483647   255281    128 |  0.249 % |
2234.61/2235.28	c |    257861 |   28456   162829   551070 | 2147483647   257759    128 |  0.249 % |
2235.71/2236.38	c |    257961 |   28456   162829   551070 | 2147483647   257859    128 |  0.249 % |
2237.00/2237.66	c |    258072 |   28456   162829   551070 | 2147483647   257970    128 |  0.249 % |
2238.40/2239.05	c |    258194 |   28456   162829   551070 | 2147483647   258092    128 |  0.249 % |
2239.50/2240.12	c |    258327 |   28456   162829   551070 | 2147483647   258225    128 |  0.249 % |
2240.80/2241.49	c |    258474 |   28456   162829   551070 | 2147483647   258372    128 |  0.249 % |
2241.99/2242.62	c |    258635 |   28456   162829   551070 | 2147483647   258533    128 |  0.249 % |
2243.49/2244.16	c |    258812 |   28456   162829   551070 | 2147483647   258710    128 |  0.249 % |
2245.39/2246.03	c |    259005 |   28456   162829   551070 | 2147483647   258903    128 |  0.249 % |
2247.19/2247.86	c |    259217 |   28456   162829   551070 | 2147483647   259115    128 |  0.249 % |
2250.59/2251.21	c |    259450 |   28456   162829   551070 | 2147483647   259348    128 |  0.249 % |
2252.89/2253.60	c |    259706 |   28456   162829   551070 | 2147483647   259604    128 |  0.249 % |
2255.79/2256.47	c |    259987 |   28456   162829   551070 | 2147483647   259885    128 |  0.249 % |
2258.69/2259.38	c |    260296 |   28456   162829   551070 | 2147483647   260194    128 |  0.249 % |
2261.58/2262.23	c |    260636 |   28456   162829   551070 | 2147483647   260534    128 |  0.249 % |
2264.98/2265.67	c |    261008 |   28456   162829   551070 | 2147483647   260906    128 |  0.249 % |
2269.08/2269.74	c |    261418 |   28456   162829   551070 | 2147483647   261316    128 |  0.249 % |
2273.48/2274.13	c |    261868 |   28456   162829   551070 | 2147483647   261766    128 |  0.249 % |
2278.29/2278.95	c |    262363 |   28456   162829   551070 | 2147483647   262261    128 |  0.249 % |
2282.79/2283.45	c |    262906 |   28456   162829   551070 | 2147483647   262804    128 |  0.249 % |
2288.88/2289.59	c |    263502 |   28456   162829   551070 | 2147483647   263400    128 |  0.249 % |
2302.88/2303.57	c |    264157 |   28456   162829   551070 | 2147483647   264055    128 |  0.249 % |
2309.18/2309.88	c |    264877 |   28456   162829   551070 | 2147483647   264775    128 |  0.249 % |
2313.98/2314.67	c |    265669 |   28456   162829   551070 | 2147483647   265567    128 |  0.249 % |
2322.07/2322.74	c |    266540 |   28456   162829   551070 | 2147483647   266438    128 |  0.249 % |
2330.97/2331.69	c |    267498 |   28456   162829   551070 | 2147483647   267396    128 |  0.249 % |
2341.17/2341.90	c |    268551 |   28456   162829   551070 | 2147483647   268449    128 |  0.249 % |
2367.26/2367.97	c |    269710 |   28456   162829   551070 | 2147483647   269608    128 |  0.249 % |
2393.65/2394.32	c |    270983 |   28456   162829   551070 | 2147483647   270881    127 |  0.249 % |
2409.36/2410.05	c |    272383 |   28452   162790   550935 | 2147483647   272269    127 |  0.263 % |
2420.35/2421.05	c |    273924 |   28452   162790   550935 | 2147483647   273810    127 |  0.263 % |
2436.64/2437.39	c |    275619 |   28452   162790   550935 | 2147483647   275505    127 |  0.263 % |
2457.14/2457.86	c |    277483 |   28452   162790   550935 | 2147483647   277369    127 |  0.263 % |
2475.34/2476.08	c |    279532 |   28452   162790   550935 | 2147483647   279418    127 |  0.263 % |
2524.52/2525.20	c |    281786 |   28452   162790   550935 | 2147483647   281672    127 |  0.263 % |
2570.52/2571.23	c |    284265 |   28452   162790   550935 | 2147483647   284151    127 |  0.263 % |
2604.01/2604.75	c |    286990 |   28452   162790   550935 | 2147483647   286876    127 |  0.263 % |
2604.90/2605.60	c |    287091 |   28452   162790   550935 | 2147483647   286977    127 |  0.263 % |
2606.21/2606.97	c |    287202 |   28452   162790   550935 | 2147483647   287088    127 |  0.263 % |
2607.41/2608.11	c |    287323 |   28452   162790   550935 | 2147483647   287209    127 |  0.263 % |
2608.90/2609.66	c |    287456 |   28452   162790   550935 | 2147483647   287342    127 |  0.263 % |
2610.60/2611.32	c |    287602 |   28452   162790   550935 | 2147483647   287488    127 |  0.263 % |
2612.40/2613.19	c |    287764 |   28452   162790   550935 | 2147483647   287650    127 |  0.263 % |
2614.40/2615.11	c |    287940 |   28452   162790   550935 | 2147483647   287826    127 |  0.263 % |
2616.40/2617.17	c |    288134 |   28452   162790   550935 | 2147483647   288020    127 |  0.263 % |
2618.50/2619.20	c |    288346 |   28452   162790   550935 | 2147483647   288232    127 |  0.263 % |
2621.01/2621.74	c |    288579 |   28452   162790   550935 | 2147483647   288465    127 |  0.263 % |
2629.90/2630.65	c |    288835 |   28452   162790   550935 | 2147483647   288721    127 |  0.263 % |
2632.80/2633.56	c |    289116 |   28452   162790   550935 | 2147483647   289002    127 |  0.263 % |
2635.60/2636.31	c |    289426 |   28452   162790   550935 | 2147483647   289312    127 |  0.263 % |
2638.90/2639.65	c |    289766 |   28452   162790   550935 | 2147483647   289652    127 |  0.263 % |
2642.20/2642.93	c |    290139 |   28452   162790   550935 | 2147483647   290025    127 |  0.263 % |
2646.40/2647.15	c |    290549 |   28452   162790   550935 | 2147483647   290435    127 |  0.263 % |
2659.89/2660.60	c |    290999 |   28452   162790   550935 | 2147483647   290885    127 |  0.263 % |
2664.29/2665.03	c |    291493 |   28452   162790   550935 | 2147483647   291379    127 |  0.263 % |
2669.39/2670.17	c |    292036 |   28452   162790   550935 | 2147483647   291922    127 |  0.263 % |
2675.49/2676.23	c |    292632 |   28452   162790   550935 | 2147483647   292518    127 |  0.263 % |
2680.88/2681.63	c |    293287 |   28452   162790   550935 | 2147483647   293173    127 |  0.263 % |
2689.48/2690.24	c |    294007 |   28452   162790   550935 | 2147483647   293893    127 |  0.263 % |
2697.28/2698.01	c |    294801 |   28452   162790   550935 | 2147483647   294687    127 |  0.263 % |
2704.38/2705.13	c |    295673 |   28452   162790   550935 | 2147483647   295559    127 |  0.263 % |
2713.48/2714.25	c |    296633 |   28452   162790   550935 | 2147483647   296519    127 |  0.263 % |
2723.77/2724.54	c |    297687 |   28452   162790   550935 | 2147483647   297573    127 |  0.263 % |
2735.27/2736.05	c |    298845 |   28452   162790   550935 | 2147483647   298731    127 |  0.263 % |
2748.87/2749.64	c |    300118 |   28452   162790   550935 | 2147483647   300004    127 |  0.263 % |
2762.17/2762.95	c |    301518 |   28452   162790   550935 | 2147483647   301404    127 |  0.263 % |
2780.26/2781.02	c |    303059 |   28452   162790   550935 | 2147483647   302945    127 |  0.263 % |
2796.36/2797.11	c |    304754 |   28452   162790   550935 | 2147483647   304640    127 |  0.263 % |
2819.85/2820.68	c |    306618 |   28452   162790   550935 | 2147483647   306504    127 |  0.263 % |
2855.74/2856.56	c |    308667 |   28452   162790   550935 | 2147483647   308553    127 |  0.263 % |
2881.74/2882.52	c |    310920 |   28452   162790   550935 | 2147483647   310806    127 |  0.263 % |
2918.23/2919.01	c |    313398 |   28452   162790   550935 | 2147483647   313284    127 |  0.263 % |
2946.42/2947.24	c |    316124 |   28452   162790   550935 | 2147483647   316010    127 |  0.263 % |
2983.61/2984.40	c |    319121 |   28452   162790   550935 | 2147483647   319007    126 |  0.263 % |
2984.81/2985.61	c |    319221 |   28452   162790   550935 | 2147483647   319107    127 |  0.263 % |
2985.61/2986.43	c |    319331 |   28452   162790   550935 | 2147483647   319217    126 |  0.263 % |
2986.91/2987.76	c |    319452 |   28452   162790   550935 | 2147483647   319338    127 |  0.263 % |
2988.41/2989.21	c |    319585 |   28452   162790   550935 | 2147483647   319471    126 |  0.263 % |
2989.71/2990.55	c |    319733 |   28452   162790   550935 | 2147483647   319619    126 |  0.263 % |
2991.41/2992.29	c |    319893 |   28452   162790   550935 | 2147483647   319779    126 |  0.263 % |
2993.61/2994.44	c |    320069 |   28452   162790   550935 | 2147483647   319955    126 |  0.263 % |
2995.51/2996.35	c |    320263 |   28452   162790   550935 | 2147483647   320149    126 |  0.263 % |
2997.71/2998.57	c |    320476 |   28452   162790   550935 | 2147483647   320362    127 |  0.263 % |
2999.60/3000.44	c |    320709 |   28452   162790   550935 | 2147483647   320595    126 |  0.263 % |
3002.50/3003.37	c |    320966 |   28452   162790   550935 | 2147483647   320852    127 |  0.263 % |
3005.01/3005.82	c |    321247 |   28452   162790   550935 | 2147483647   321133    127 |  0.263 % |
3008.61/3009.44	c |    321557 |   28452   162790   550935 | 2147483647   321443    127 |  0.263 % |
3011.51/3012.34	c |    321899 |   28452   162790   550935 | 2147483647   321785    127 |  0.263 % |
3015.51/3016.30	c |    322271 |   28452   162790   550935 | 2147483647   322157    127 |  0.263 % |
3019.60/3020.48	c |    322681 |   28452   162790   550935 | 2147483647   322567    127 |  0.263 % |
3025.10/3025.92	c |    323130 |   28452   162790   550935 | 2147483647   323016    127 |  0.263 % |
3029.20/3030.07	c |    323623 |   28452   162790   550935 | 2147483647   323509    127 |  0.263 % |
3035.00/3035.87	c |    324166 |   28452   162790   550935 | 2147483647   324052    127 |  0.263 % |
3040.99/3041.89	c |    324765 |   28452   162790   550935 | 2147483647   324651    127 |  0.263 % |
3048.50/3049.37	c |    325420 |   28452   162790   550935 | 2147483647   325306    127 |  0.263 % |
3056.30/3057.17	c |    326141 |   28452   162790   550935 | 2147483647   326027    127 |  0.263 % |
3065.49/3066.31	c |    326933 |   28452   162790   550935 | 2147483647   326819    127 |  0.263 % |
3073.29/3074.19	c |    327804 |   28452   162790   550935 | 2147483647   327690    127 |  0.263 % |
3084.59/3085.42	c |    328762 |   28452   162790   550935 | 2147483647   328648    127 |  0.263 % |
3095.38/3096.21	c |    329816 |   28452   162790   550935 | 2147483647   329702    127 |  0.263 % |
3107.48/3108.38	c |    330976 |   28452   162790   550935 | 2147483647   330862    127 |  0.263 % |
3118.88/3119.78	c |    332249 |   28452   162790   550935 | 2147483647   332135    127 |  0.263 % |
3137.97/3138.85	c |    333650 |   28452   162790   550935 | 2147483647   333536    127 |  0.263 % |
3152.97/3153.81	c |    335190 |   28452   162790   550935 | 2147483647   335076    127 |  0.263 % |
3170.76/3171.67	c |    336884 |   28452   162790   550935 | 2147483647   336770    127 |  0.263 % |
3205.85/3206.79	c |    338748 |   28452   162790   550935 | 2147483647   338634    127 |  0.263 % |
3247.24/3248.15	c |    340797 |   28452   162790   550935 | 2147483647   340683    127 |  0.263 % |
3285.04/3285.95	c |    343051 |   28452   162790   550935 | 2147483647   342937    126 |  0.263 % |
3332.42/3333.34	c |    345529 |   28452   162790   550935 | 2147483647   345415    126 |  0.263 % |
3380.62/3381.60	c |    348254 |   28452   162790   550935 | 2147483647   348140    125 |  0.263 % |
3426.61/3427.59	c |    351251 |   28452   162790   550935 | 2147483647   351137    125 |  0.263 % |
3470.69/3471.62	c |    354547 |   28452   162790   550935 | 2147483647   354433    125 |  0.263 % |
3471.59/3472.58	c |    354647 |   28452   162790   550935 | 2147483647   354533    125 |  0.263 % |
3472.89/3473.80	c |    354758 |   28452   162790   550935 | 2147483647   354644    125 |  0.263 % |
3473.79/3474.73	c |    354879 |   28452   162790   550935 | 2147483647   354765    125 |  0.263 % |
3475.09/3476.05	c |    355012 |   28452   162790   550935 | 2147483647   354898    125 |  0.263 % |
3476.69/3477.69	c |    355158 |   28452   162790   550935 | 2147483647   355044    125 |  0.263 % |
3478.39/3479.38	c |    355319 |   28452   162790   550935 | 2147483647   355205    125 |  0.263 % |
3480.49/3481.45	c |    355495 |   28452   162790   550935 | 2147483647   355381    125 |  0.263 % |
3482.38/3483.30	c |    355690 |   28452   162790   550935 | 2147483647   355576    125 |  0.263 % |
3484.90/3485.82	c |    355903 |   28452   162790   550935 | 2147483647   355789    125 |  0.263 % |
3486.99/3487.95	c |    356136 |   28452   162790   550935 | 2147483647   356022    125 |  0.263 % |
3489.49/3490.48	c |    356392 |   28452   162790   550935 | 2147483647   356278    125 |  0.263 % |
3492.39/3493.32	c |    356675 |   28452   162790   550935 | 2147483647   356561    125 |  0.263 % |
3495.59/3496.54	c |    356984 |   28452   162790   550935 | 2147483647   356870    125 |  0.263 % |
3498.78/3499.70	c |    357324 |   28452   162790   550935 | 2147483647   357210    125 |  0.263 % |
3502.59/3503.55	c |    357697 |   28452   162790   550935 | 2147483647   357583    125 |  0.263 % |
3506.68/3507.64	c |    358107 |   28452   162790   550935 | 2147483647   357993    125 |  0.263 % |
3510.99/3511.94	c |    358557 |   28452   162790   550935 | 2147483647   358443    125 |  0.263 % |
3516.08/3517.10	c |    359050 |   28452   162790   550935 | 2147483647   358936    125 |  0.263 % |
3523.48/3524.42	c |    359592 |   28452   162790   550935 | 2147483647   359478    125 |  0.263 % |
3529.28/3530.26	c |    360189 |   28452   162790   550935 | 2147483647   360075    125 |  0.263 % |
3536.07/3537.08	c |    360845 |   28452   162790   550935 | 2147483647   360731    125 |  0.263 % |
3542.37/3543.33	c |    361565 |   28452   162790   550935 | 2147483647   361451    125 |  0.263 % |
3550.57/3551.56	c |    362359 |   28452   162790   550935 | 2147483647   362245    125 |  0.263 % |
3558.87/3559.83	c |    363231 |   28452   162790   550935 | 2147483647   363117    125 |  0.263 % |
3570.07/3571.03	c |    364190 |   28452   162790   550935 | 2147483647   364076    125 |  0.263 % |
3587.36/3588.36	c |    365244 |   28452   162790   550935 | 2147483647   365130    125 |  0.263 % |
3600.65/3601.69	c |    366403 |   28452   162790   550935 | 2147483647   366289    125 |  0.263 % |
3613.46/3614.42	c |    367676 |   28452   162790   550935 | 2147483647   367562    125 |  0.263 % |
3624.26/3625.20	c |    369076 |   28452   162790   550935 | 2147483647   368962    125 |  0.263 % |
3653.74/3654.79	c |    370618 |   28452   162790   550935 | 2147483647   370504    125 |  0.263 % |
3684.24/3685.20	c |    372312 |   28452   162790   550935 | 2147483647   372198    124 |  0.263 % |
3705.44/3706.43	c |    374178 |   28452   162790   550935 | 2147483647   374064    124 |  0.263 % |
3734.93/3735.92	c |    376227 |   28452   162790   550935 | 2147483647   376113    124 |  0.263 % |
3764.62/3765.61	c |    378480 |   28452   162790   550935 | 2147483647   378366    124 |  0.263 % |
3813.20/3814.27	c |    380958 |   28452   162790   550935 | 2147483647   380844    124 |  0.263 % |
3871.90/3872.97	c |    383683 |   28452   162790   550935 | 2147483647   383569    123 |  0.263 % |
3908.79/3909.88	c |    386680 |   28452   162790   550935 | 2147483647   386566    123 |  0.263 % |
3953.87/3954.92	c |    389976 |   28452   162790   550935 | 2147483647   389862    123 |  0.263 % |
3991.77/3992.82	c |    393602 |   28452   162790   550935 | 2147483647   393488    123 |  0.263 % |
3993.07/3994.15	c |    393703 |   28452   162790   550935 | 2147483647   393589    123 |  0.263 % |
3993.97/3995.03	c |    393814 |   28452   162790   550935 | 2147483647   393700    123 |  0.263 % |
3995.27/3996.30	c |    393936 |   28452   162790   550935 | 2147483647   393822    123 |  0.263 % |
3996.47/3997.53	c |    394070 |   28452   162790   550935 | 2147483647   393956    123 |  0.263 % |
3997.86/3998.98	c |    394216 |   28452   162790   550935 | 2147483647   394102    123 |  0.263 % |
3999.67/4000.71	c |    394376 |   28452   162790   550935 | 2147483647   394262    123 |  0.263 % |
4001.36/4002.47	c |    394552 |   28452   162790   550935 | 2147483647   394438    123 |  0.263 % |
4004.06/4005.16	c |    394745 |   28452   162790   550935 | 2147483647   394631    123 |  0.263 % |
4006.46/4007.53	c |    394958 |   28452   162790   550935 | 2147483647   394844    123 |  0.263 % |
4008.86/4009.97	c |    395191 |   28452   162790   550935 | 2147483647   395077    123 |  0.263 % |
4011.86/4012.90	c |    395447 |   28452   162790   550935 | 2147483647   395333    123 |  0.263 % |
4014.66/4015.70	c |    395730 |   28452   162790   550935 | 2147483647   395616    123 |  0.263 % |
4018.16/4019.26	c |    396040 |   28452   162790   550935 | 2147483647   395926    123 |  0.263 % |
4021.75/4022.88	c |    396379 |   28452   162790   550935 | 2147483647   396265    123 |  0.263 % |
4025.85/4027.00	c |    396752 |   28452   162790   550935 | 2147483647   396638    123 |  0.263 % |
4029.85/4030.94	c |    397161 |   28452   162790   550935 | 2147483647   397047    123 |  0.263 % |
4035.26/4036.32	c |    397610 |   28452   162790   550935 | 2147483647   397496    123 |  0.263 % |
4040.16/4041.22	c |    398104 |   28452   162790   550935 | 2147483647   397990    123 |  0.263 % |
4045.76/4046.80	c |    398647 |   28452   162790   550935 | 2147483647   398533    123 |  0.263 % |
4051.45/4052.57	c |    399243 |   28452   162790   550935 | 2147483647   399129    123 |  0.263 % |
4058.65/4059.76	c |    399899 |   28452   162790   550935 | 2147483647   399785    123 |  0.263 % |
4066.35/4067.48	c |    400620 |   28452   162790   550935 | 2147483647   400506    123 |  0.263 % |
4073.84/4074.91	c |    401413 |   28452   162790   550935 | 2147483647   401299    123 |  0.263 % |
4083.44/4084.50	c |    402285 |   28452   162790   550935 | 2147483647   402171    123 |  0.263 % |
4094.24/4095.39	c |    403244 |   28452   162790   550935 | 2147483647   403130    123 |  0.263 % |
4105.33/4106.43	c |    404298 |   28452   162790   550935 | 2147483647   404184    123 |  0.263 % |
4117.94/4119.04	c |    405456 |   28452   162790   550935 | 2147483647   405342    123 |  0.263 % |
4130.93/4132.00	c |    406730 |   28452   162790   550935 | 2147483647   406616    123 |  0.263 % |
4145.63/4146.72	c |    408131 |   28452   162790   550935 | 2147483647   408017    123 |  0.263 % |
4166.72/4167.81	c |    409671 |   28452   162790   550935 | 2147483647   409557    123 |  0.263 % |
4186.82/4187.95	c |    411365 |   28452   162790   550935 | 2147483647   411251    123 |  0.263 % |
4231.70/4232.86	c |    413228 |   28452   162790   550935 | 2147483647   413114    123 |  0.263 % |
4254.59/4255.79	c |    415277 |   28452   162790   550935 | 2147483647   415163    123 |  0.263 % |
4283.66/4284.87	c |    417530 |   28443   162731   550762 | 2147483647   417402    123 |  0.294 % |
4330.15/4331.31	c |    420008 |   28443   162731   550762 | 2147483647   419880    122 |  0.294 % |
4386.13/4387.32	c |    422733 |   28443   162731   550762 | 2147483647   422605    122 |  0.294 % |
4423.82/4425.00	c |    425731 |   28443   162731   550762 | 2147483647   425603    122 |  0.294 % |
4498.71/4499.99	c |    429027 |   28443   162731   550762 | 2147483647   428899    121 |  0.294 % |
4570.29/4571.50	c |    432652 |   28443   162731   550762 | 2147483647   432524    121 |  0.294 % |
4666.77/4668.00	c |    436639 |   28443   162731   550762 | 2147483647   436511    120 |  0.294 % |
4667.87/4669.19	c |    436739 |   28443   162731   550762 | 2147483647   436611    120 |  0.294 % |
4668.87/4670.13	c |    436849 |   28443   162731   550762 | 2147483647   436721    120 |  0.294 % |
4670.27/4671.60	c |    436970 |   28443   162731   550762 | 2147483647   436842    120 |  0.294 % |
4671.37/4672.64	c |    437103 |   28443   162731   550762 | 2147483647   436975    120 |  0.294 % |
4673.27/4674.56	c |    437251 |   28443   162731   550762 | 2147483647   437123    120 |  0.294 % |
4674.67/4675.96	c |    437412 |   28443   162731   550762 | 2147483647   437284    120 |  0.294 % |
4677.07/4678.31	c |    437588 |   28443   162731   550762 | 2147483647   437460    120 |  0.294 % |
4678.77/4680.04	c |    437781 |   28443   162731   550762 | 2147483647   437653    120 |  0.294 % |
4681.16/4682.40	c |    437993 |   28443   162731   550762 | 2147483647   437865    120 |  0.294 % |
4683.27/4684.55	c |    438226 |   28443   162731   550762 | 2147483647   438098    120 |  0.294 % |
4686.66/4687.92	c |    438482 |   28443   162731   550762 | 2147483647   438354    120 |  0.294 % |
4688.96/4690.25	c |    438763 |   28443   162731   550762 | 2147483647   438635    120 |  0.294 % |
4692.36/4693.64	c |    439075 |   28443   162731   550762 | 2147483647   438947    120 |  0.294 % |
4697.36/4698.62	c |    439415 |   28443   162731   550762 | 2147483647   439287    120 |  0.294 % |
4700.56/4701.90	c |    439787 |   28443   162731   550762 | 2147483647   439659    120 |  0.294 % |
4705.25/4706.50	c |    440196 |   28443   162731   550762 | 2147483647   440068    120 |  0.294 % |
4709.35/4710.60	c |    440646 |   28443   162731   550762 | 2147483647   440518    120 |  0.294 % |
4714.65/4715.96	c |    441139 |   28443   162731   550762 | 2147483647   441011    120 |  0.294 % |
4719.75/4721.05	c |    441682 |   28443   162731   550762 | 2147483647   441554    120 |  0.294 % |
4727.25/4728.52	c |    442278 |   28443   162731   550762 | 2147483647   442150    120 |  0.294 % |
4732.65/4733.98	c |    442933 |   28443   162731   550762 | 2147483647   442805    120 |  0.294 % |
4739.85/4741.16	c |    443653 |   28443   162731   550762 | 2147483647   443525    120 |  0.294 % |
4749.75/4751.08	c |    444446 |   28443   162731   550762 | 2147483647   444318    120 |  0.294 % |
4766.84/4768.18	c |    445317 |   28443   162731   550762 | 2147483647   445189    120 |  0.294 % |
4777.44/4778.72	c |    446277 |   28443   162731   550762 | 2147483647   446149    120 |  0.294 % |
4787.63/4788.97	c |    447330 |   28443   162731   550762 | 2147483647   447202    120 |  0.294 % |
4807.12/4808.48	c |    448488 |   28443   162731   550762 | 2147483647   448360    120 |  0.294 % |
4830.43/4831.72	c |    449762 |   28443   162731   550762 | 2147483647   449634    120 |  0.294 % |
4845.23/4846.56	c |    451163 |   28443   162731   550762 | 2147483647   451035    120 |  0.294 % |
4874.81/4876.18	c |    452705 |   28443   162731   550762 | 2147483647   452577    120 |  0.294 % |
4912.80/4914.15	c |    454399 |   28443   162731   550762 | 2147483647   454271    119 |  0.294 % |
4941.59/4942.97	c |    456263 |   28443   162731   550762 | 2147483647   456135    119 |  0.294 % |
4962.90/4964.24	c |    458312 |   28443   162731   550762 | 2147483647   458184    119 |  0.294 % |
5012.28/5013.68	c |    460565 |   28443   162731   550762 | 2147483647   460437    119 |  0.294 % |
5064.26/5065.67	c |    463043 |   28443   162731   550762 | 2147483647   462915    119 |  0.294 % |
5143.14/5144.56	c |    465769 |   28443   162731   550762 | 2147483647   465641    118 |  0.294 % |
5182.94/5184.34	c |    468767 |   28443   162731   550762 | 2147483647   468639    118 |  0.294 % |
5250.83/5252.27	c |    472063 |   28443   162731   550762 | 2147483647   471935    118 |  0.294 % |
5343.70/5345.19	c |    475689 |   28443   162731   550762 | 2147483647   475561    117 |  0.294 % |
5441.88/5443.34	c |    479676 |   28443   162731   550762 | 2147483647   479548    117 |  0.294 % |
5558.14/5559.62	c |    484064 |   28443   162731   550762 | 2147483647   483936    116 |  0.294 % |
5559.05/5560.58	c |    484165 |   28443   162731   550762 | 2147483647   484037    116 |  0.294 % |
5560.15/5561.61	c |    484275 |   28443   162731   550762 | 2147483647   484147    116 |  0.294 % |
5561.44/5562.96	c |    484397 |   28443   162731   550762 | 2147483647   484269    116 |  0.294 % |
5562.74/5564.23	c |    484530 |   28443   162731   550762 | 2147483647   484402    116 |  0.294 % |
5564.05/5565.52	c |    484677 |   28443   162731   550762 | 2147483647   484549    116 |  0.294 % |
5565.55/5567.09	c |    484838 |   28443   162731   550762 | 2147483647   484710    116 |  0.294 % |
5567.35/5568.84	c |    485014 |   28443   162731   550762 | 2147483647   484886    116 |  0.294 % |
5569.55/5571.06	c |    485208 |   28443   162731   550762 | 2147483647   485080    116 |  0.294 % |
5571.55/5573.07	c |    485423 |   28443   162731   550762 | 2147483647   485295    116 |  0.294 % |
5573.55/5575.00	c |    485656 |   28443   162731   550762 | 2147483647   485528    116 |  0.294 % |
5576.05/5577.56	c |    485912 |   28443   162731   550762 | 2147483647   485784    116 |  0.294 % |
5578.94/5580.46	c |    486193 |   28443   162731   550762 | 2147483647   486065    116 |  0.294 % |
5581.74/5583.26	c |    486503 |   28443   162731   550762 | 2147483647   486375    116 |  0.294 % |
5585.24/5586.71	c |    486844 |   28443   162731   550762 | 2147483647   486716    116 |  0.294 % |
5589.44/5590.90	c |    487217 |   28443   162731   550762 | 2147483647   487089    116 |  0.294 % |
5594.94/5596.47	c |    487626 |   28443   162731   550762 | 2147483647   487498    116 |  0.294 % |
5600.33/5601.83	c |    488075 |   28443   162731   550762 | 2147483647   487947    116 |  0.294 % |
5604.23/5605.78	c |    488568 |   28443   162731   550762 | 2147483647   488440    116 |  0.294 % |
5610.03/5611.55	c |    489111 |   28443   162731   550762 | 2147483647   488983    116 |  0.294 % |
5615.34/5616.82	c |    489707 |   28443   162731   550762 | 2147483647   489579    116 |  0.294 % |
5622.64/5624.17	c |    490365 |   28443   162731   550762 | 2147483647   490237    116 |  0.294 % |
5636.63/5638.14	c |    491086 |   28443   162731   550762 | 2147483647   490958    116 |  0.294 % |
5655.73/5657.29	c |    491880 |   28443   162731   550762 | 2147483647   491752    116 |  0.294 % |
5665.42/5666.90	c |    492751 |   28443   162731   550762 | 2147483647   492623    116 |  0.294 % |
5683.91/5685.43	c |    493709 |   28443   162731   550762 | 2147483647   493581    116 |  0.294 % |
5696.32/5697.81	c |    494764 |   28443   162731   550762 | 2147483647   494636    116 |  0.294 % |
5719.41/5720.99	c |    495922 |   28443   162731   550762 | 2147483647   495794    116 |  0.294 % |
5756.70/5758.29	c |    497195 |   28443   162731   550762 | 2147483647   497067    115 |  0.294 % |
5787.29/5788.83	c |    498596 |   28443   162731   550762 | 2147483647   498468    115 |  0.294 % |
5803.79/5805.37	c |    500137 |   28443   162731   550762 | 2147483647   500009    115 |  0.294 % |
5833.28/5834.89	c |    501831 |   28443   162731   550762 | 2147483647   501703    115 |  0.294 % |
5868.77/5870.36	c |    503694 |   28443   162731   550762 | 2147483647   503566    115 |  0.294 % |
5902.16/5903.72	c |    505743 |   28443   162731   550762 | 2147483647   505615    115 |  0.294 % |
5942.26/5943.84	c |    507996 |   28443   162731   550762 | 2147483647   507868    114 |  0.294 % |
6006.34/6007.92	c |    510474 |   28443   162731   550762 | 2147483647   510346    114 |  0.294 % |
6041.84/6043.46	c |    513199 |   28443   162731   550762 | 2147483647   513071    114 |  0.294 % |
6115.52/6117.14	c |    516196 |   28443   162731   550762 | 2147483647   516068    114 |  0.294 % |
6220.78/6222.49	c |    519492 |   28443   162731   550762 | 2147483647   519364    113 |  0.294 % |
6311.56/6313.22	c |    523117 |   28443   162731   550762 | 2147483647   522989    113 |  0.294 % |
6412.24/6413.98	c |    527104 |   28443   162731   550762 | 2147483647   526976    112 |  0.294 % |
6523.22/6524.92	c |    531491 |   28443   162731   550762 | 2147483647   531363    112 |  0.294 % |
6632.89/6634.60	c |    536315 |   28443   162731   550762 | 2147483647   536187    111 |  0.294 % |
6633.99/6635.74	c |    536415 |   28443   162731   550762 | 2147483647   536287    111 |  0.294 % |
6634.99/6636.75	c |    536525 |   28443   162731   550762 | 2147483647   536397    111 |  0.294 % |
6636.59/6638.39	c |    536647 |   28443   162731   550762 | 2147483647   536519    111 |  0.294 % |
6637.69/6639.42	c |    536781 |   28443   162731   550762 | 2147483647   536653    111 |  0.294 % |
6639.39/6641.15	c |    536928 |   28443   162731   550762 | 2147483647   536800    111 |  0.294 % |
6641.19/6642.97	c |    537088 |   28443   162731   550762 | 2147483647   536960    111 |  0.294 % |
6642.88/6644.60	c |    537264 |   28443   162731   550762 | 2147483647   537136    111 |  0.294 % |
6644.58/6646.34	c |    537458 |   28443   162731   550762 | 2147483647   537330    111 |  0.294 % |
6646.58/6648.37	c |    537671 |   28443   162731   550762 | 2147483647   537543    111 |  0.294 % |
6649.08/6650.85	c |    537904 |   28443   162731   550762 | 2147483647   537776    111 |  0.294 % |
6652.98/6654.70	c |    538160 |   28443   162731   550762 | 2147483647   538032    111 |  0.294 % |
6661.28/6663.04	c |    538442 |   28443   162731   550762 | 2147483647   538314    111 |  0.294 % |
6664.18/6665.96	c |    538753 |   28443   162731   550762 | 2147483647   538625    111 |  0.294 % |
6668.37/6670.14	c |    539092 |   28443   162731   550762 | 2147483647   538964    111 |  0.294 % |
6672.87/6674.61	c |    539464 |   28443   162731   550762 | 2147483647   539336    111 |  0.294 % |
6676.57/6678.31	c |    539873 |   28443   162731   550762 | 2147483647   539745    111 |  0.294 % |
6680.57/6682.35	c |    540322 |   28443   162731   550762 | 2147483647   540194    111 |  0.294 % |
6685.48/6687.29	c |    540815 |   28443   162731   550762 | 2147483647   540687    111 |  0.294 % |
6690.98/6692.77	c |    541358 |   28443   162731   550762 | 2147483647   541230    111 |  0.294 % |
6700.68/6702.43	c |    541954 |   28443   162731   550762 | 2147483647   541826    111 |  0.294 % |
6720.37/6722.13	c |    542610 |   28443   162731   550762 | 2147483647   542482    111 |  0.294 % |
6728.36/6730.12	c |    543330 |   28443   162731   550762 | 2147483647   543202    111 |  0.294 % |
6737.76/6739.57	c |    544124 |   28443   162731   550762 | 2147483647   543996    111 |  0.294 % |
6752.66/6754.47	c |    544996 |   28443   162731   550762 | 2147483647   544868    111 |  0.294 % |
6770.85/6772.63	c |    545956 |   28443   162731   550762 | 2147483647   545828    111 |  0.294 % |
6790.24/6792.08	c |    547011 |   28443   162731   550762 | 2147483647   546883    111 |  0.294 % |
6821.15/6822.90	c |    548169 |   28443   162731   550762 | 2147483647   548041    110 |  0.294 % |
6846.14/6847.93	c |    549443 |   28443   162731   550762 | 2147483647   549315    110 |  0.294 % |
6866.93/6868.73	c |    550843 |   28442   162726   550750 | 2147483647   550713    110 |  0.298 % |
6912.82/6914.67	c |    552383 |   28442   162726   550750 | 2147483647   552253    110 |  0.298 % |
6965.20/6967.08	c |    554079 |   28442   162726   550750 | 2147483647   553949    110 |  0.298 % |
7021.19/7023.03	c |    555944 |   28442   162726   550750 | 2147483647   555814    109 |  0.298 % |
7084.18/7086.01	c |    557993 |   28442   162726   550750 | 2147483647   557863    109 |  0.298 % |
7134.66/7136.59	c |    560247 |   28442   162726   550750 | 2147483647   560117    109 |  0.298 % |
7183.95/7185.84	c |    562727 |   28442   162726   550750 | 2147483647   562597    109 |  0.298 % |
7245.54/7247.41	c |    565452 |   28442   162726   550750 | 2147483647   565322    108 |  0.298 % |
7341.12/7343.01	c |    568450 |   28442   162726   550750 | 2147483647   568320    108 |  0.298 % |
7407.00/7408.96	c |    571747 |   28442   162726   550750 | 2147483647   571617    107 |  0.298 % |
7488.88/7490.82	c |    575373 |   28442   162726   550750 | 2147483647   575243    107 |  0.298 % |
7606.25/7608.26	c |    579363 |   28442   162726   550750 | 2147483647   579233    107 |  0.298 % |
7745.22/7747.27	c |    583749 |   28442   162726   550750 | 2147483647   583619    106 |  0.298 % |
7898.58/7900.68	c |    588573 |   28442   162726   550750 | 2147483647   588443    105 |  0.298 % |
8064.53/8066.67	c |    593879 |   28442   162726   550750 | 2147483647   593749    105 |  0.298 % |
8065.73/8067.86	c |    593979 |   28442   162726   550750 | 2147483647   593849    105 |  0.298 % |
8066.94/8069.08	c |    594090 |   28442   162726   550750 | 2147483647   593960    105 |  0.298 % |
8068.54/8070.70	c |    594211 |   28442   162726   550750 | 2147483647   594081    105 |  0.298 % |
8069.64/8071.78	c |    594346 |   28442   162726   550750 | 2147483647   594216    105 |  0.298 % |
8072.14/8074.25	c |    594492 |   28442   162726   550750 | 2147483647   594362    105 |  0.298 % |
8073.74/8075.87	c |    594652 |   28442   162726   550750 | 2147483647   594522    105 |  0.298 % |
8077.03/8079.12	c |    594830 |   28442   162726   550750 | 2147483647   594700    105 |  0.298 % |
8079.03/8081.13	c |    595023 |   28442   162726   550750 | 2147483647   594893    105 |  0.298 % |
8083.33/8085.44	c |    595235 |   28442   162726   550750 | 2147483647   595105    105 |  0.298 % |
8085.63/8087.80	c |    595468 |   28442   162726   550750 | 2147483647   595338    105 |  0.298 % |
8088.63/8090.75	c |    595724 |   28442   162726   550750 | 2147483647   595594    105 |  0.298 % |
8091.43/8093.56	c |    596005 |   28442   162726   550750 | 2147483647   595875    104 |  0.298 % |
8099.73/8101.81	c |    596314 |   28442   162726   550750 | 2147483647   596184    104 |  0.298 % |
8105.12/8107.26	c |    596654 |   28442   162726   550750 | 2147483647   596524    104 |  0.298 % |
8112.53/8114.70	c |    597026 |   28442   162726   550750 | 2147483647   596896    104 |  0.298 % |
8116.02/8118.13	c |    597435 |   28442   162726   550750 | 2147483647   597305    104 |  0.298 % |
8126.22/8128.37	c |    597884 |   28442   162726   550750 | 2147483647   597754    104 |  0.298 % |
8136.61/8138.79	c |    598378 |   28442   162726   550750 | 2147483647   598248    104 |  0.298 % |
8151.81/8153.99	c |    598920 |   28442   162726   550750 | 2147483647   598790    104 |  0.298 % |
8171.61/8173.79	c |    599516 |   28442   162726   550750 | 2147483647   599386    104 |  0.298 % |
8183.61/8185.75	c |    600171 |   28442   162726   550750 | 2147483647   600041    104 |  0.298 % |
8203.31/8205.45	c |    600891 |   28442   162726   550750 | 2147483647   600761    104 |  0.298 % |
8218.20/8220.32	c |    601683 |   28442   162726   550750 | 2147483647   601553    104 |  0.298 % |
8225.80/8227.91	c |    602554 |   28442   162726   550750 | 2147483647   602424    104 |  0.298 % |
8252.19/8254.38	c |    603514 |   28442   162726   550750 | 2147483647   603384    104 |  0.298 % |
8277.49/8279.63	c |    604567 |   28442   162726   550750 | 2147483647   604437    104 |  0.298 % |
8306.27/8308.48	c |    605725 |   28442   162726   550750 | 2147483647   605595    104 |  0.298 % |
8333.68/8335.82	c |    607000 |   28442   162726   550750 | 2147483647   606870    103 |  0.298 % |
8374.66/8376.83	c |    608400 |   28442   162726   550750 | 2147483647   608270    103 |  0.298 % |
8412.55/8414.77	c |    609940 |   28442   162726   550750 | 2147483647   609810    103 |  0.298 % |
8464.04/8466.20	c |    611635 |   28442   162726   550750 | 2147483647   611505    103 |  0.298 % |
8508.93/8511.15	c |    613498 |   28442   162726   550750 | 2147483647   613368    103 |  0.298 % |
8559.82/8562.00	c |    615549 |   28442   162726   550750 | 2147483647   615419    103 |  0.298 % |
8623.50/8625.74	c |    617803 |   28442   162726   550750 | 2147483647   617673    102 |  0.298 % |
8689.48/8691.75	c |    620281 |   28442   162726   550750 | 2147483647   620151    102 |  0.298 % |
8772.07/8774.32	c |    623007 |   28442   162726   550750 | 2147483647   622877    102 |  0.298 % |
8851.45/8853.79	c |    626004 |   28442   162726   550750 | 2147483647   625874    101 |  0.298 % |
8948.23/8950.54	c |    629301 |   28442   162726   550750 | 2147483647   629171    101 |  0.298 % |
9028.80/9031.18	c |    632926 |   28442   162726   550750 | 2147483647   632796    100 |  0.298 % |
9121.99/9124.35	c |    636913 |   28442   162726   550750 | 2147483647   636783    100 |  0.298 % |
9244.85/9247.24	c |    641298 |   28442   162726   550750 | 2147483647   641168    100 |  0.298 % |
9390.12/9392.55	c |    646121 |   28442   162726   550750 | 2147483647   645991     99 |  0.298 % |
9549.58/9552.09	c |    651426 |   28442   162726   550750 | 2147483647   651296     98 |  0.298 % |
9736.14/9738.68	c |    657261 |   28442   162726   550750 | 2147483647   657131     98 |  0.298 % |
9739.84/9742.34	c |    657363 |   28442   162726   550750 | 2147483647   657233     98 |  0.298 % |
9741.44/9743.97	c |    657474 |   28442   162726   550750 | 2147483647   657344     98 |  0.298 % |
9743.54/9746.00	c |    657595 |   28442   162726   550750 | 2147483647   657465     98 |  0.298 % |
9745.43/9747.99	c |    657728 |   28442   162726   550750 | 2147483647   657598     98 |  0.298 % |
9747.23/9749.78	c |    657874 |   28442   162726   550750 | 2147483647   657744     98 |  0.298 % |
9749.04/9751.50	c |    658034 |   28442   162726   550750 | 2147483647   657904     98 |  0.298 % |
9755.54/9758.08	c |    658211 |   28442   162726   550750 | 2147483647   658081     98 |  0.298 % |
9760.33/9762.83	c |    658404 |   28442   162726   550750 | 2147483647   658274     98 |  0.298 % |
9768.03/9770.53	c |    658616 |   28442   162726   550750 | 2147483647   658486     98 |  0.298 % |
9776.82/9779.37	c |    658850 |   28442   162726   550750 | 2147483647   658720     98 |  0.298 % |
9784.82/9787.38	c |    659107 |   28442   162726   550750 | 2147483647   658977     98 |  0.298 % |
9790.62/9793.11	c |    659389 |   28442   162726   550750 | 2147483647   659259     98 |  0.298 % |
9797.02/9799.57	c |    659698 |   28442   162726   550750 | 2147483647   659568     98 |  0.298 % |
9807.32/9809.89	c |    660037 |   28442   162726   550750 | 2147483647   659907     97 |  0.298 % |
9818.01/9820.52	c |    660410 |   28442   162726   550750 | 2147483647   660280     97 |  0.298 % |
9822.12/9824.66	c |    660819 |   28442   162726   550750 | 2147483647   660689     97 |  0.298 % |
9829.92/9832.46	c |    661270 |   28442   162726   550750 | 2147483647   661140     97 |  0.298 % |
9841.71/9844.25	c |    661765 |   28442   162726   550750 | 2147483647   661635     97 |  0.298 % |
9859.71/9862.21	c |    662308 |   28442   162726   550750 | 2147483647   662178     97 |  0.298 % |
9867.31/9869.89	c |    662904 |   28442   162726   550750 | 2147483647   662774     97 |  0.298 % |
9883.50/9886.07	c |    663559 |   28442   162726   550750 | 2147483647   663429     97 |  0.298 % |
9906.60/9909.19	c |    664279 |   28442   162726   550750 | 2147483647   664149     97 |  0.298 % |
9931.29/9933.84	c |    665071 |   28442   162726   550750 | 2147483647   664941     97 |  0.298 % |
9962.28/9964.84	c |    665942 |   28442   162726   550750 | 2147483647   665812     97 |  0.298 % |
9994.47/9997.07	c |    666901 |   28442   162726   550750 | 2147483647   666771     97 |  0.298 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0

[startup+0.0952011 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101201 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301217 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701253 s]
/proc/loadavg: 0.95 0.98 0.96 3/64 15816
/proc/meminfo: memFree=1780680/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=0
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314738851 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15816/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50133 s]
/proc/loadavg: 0.95 0.98 0.96 2/66 15821
/proc/meminfo: memFree=1741176/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 5356

[startup+3.10146 s]
/proc/loadavg: 0.95 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1761080/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=12736 CPUtime=1.64
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 2968 0 0 0 163 1 0 0 25 0 1 0 314738996 13041664 2919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 3184 2919 76 171 0 3011 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 18092

[startup+6.30174 s]
/proc/loadavg: 0.95 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1760760/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=13132 CPUtime=4.85
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 3075 0 0 0 483 2 0 0 25 0 1 0 314738996 13447168 3026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 3283 3026 76 171 0 3110 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18488

[startup+12.7023 s]
/proc/loadavg: 0.95 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1760056/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=13924 CPUtime=11.24
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 3256 0 0 0 1122 2 0 0 25 0 1 0 314738996 14258176 3207 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 3481 3207 77 171 0 3308 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19280

[startup+25.5014 s]
/proc/loadavg: 0.96 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1759096/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=14848 CPUtime=24.03
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 3513 0 0 0 2401 2 0 0 25 0 1 0 314738996 15204352 3464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 3712 3464 77 171 0 3539 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 20204

[startup+51.1016 s]
/proc/loadavg: 0.97 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1757432/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=16696 CPUtime=49.63
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 3970 0 0 0 4959 4 0 0 25 0 1 0 314738996 17096704 3921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 4174 3921 77 171 0 4001 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 22052

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1753656/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=20392 CPUtime=100.82
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 4898 0 0 0 10076 6 0 0 25 0 1 0 314738996 20881408 4849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 5098 4849 77 171 0 4925 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 25748

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1749688/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=24380 CPUtime=160.8
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 5878 0 0 0 16073 7 0 0 25 0 1 0 314738996 24965120 5829 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 6095 5829 77 171 0 5922 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 29736

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1745464/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=28508 CPUtime=220.79
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 6912 0 0 0 22069 10 0 0 25 0 1 0 314738996 29192192 6863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 7127 6863 77 171 0 6954 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 33864

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1741240/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=32812 CPUtime=280.78
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 7975 0 0 0 28066 12 0 0 25 0 1 0 314738996 33599488 7926 1992294400 134512640 135215339 4294956240 18446744073709551615 134528911 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 8203 7926 77 171 0 8030 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 38168

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1737208/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=36652 CPUtime=340.76
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 8950 0 0 0 34063 13 0 0 25 0 1 0 314738996 37531648 8901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 9163 8901 77 171 0 8990 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 42008

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1732984/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=40880 CPUtime=400.74
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 10014 0 0 0 40059 15 0 0 25 0 1 0 314738996 41861120 9965 1992294400 134512640 135215339 4294956240 18446744073709551615 134538059 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 10220 9965 77 171 0 10047 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 46236

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/66 15822
/proc/meminfo: memFree=1728696/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43

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

/proc/15822/statm: 74116 73186 77 171 0 73943 0
Current children cumulated CPU time (s) 9339.93
Current children cumulated vsize (KiB) 301820

[startup+9402.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 16320
/proc/meminfo: memFree=1476856/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=296760 CPUtime=9398.49
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73312 0 0 0 939725 124 0 0 25 0 1 0 314738996 303882240 73263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74190 73263 77 171 0 74017 0
Current children cumulated CPU time (s) 9399.92
Current children cumulated vsize (KiB) 302116

[startup+9462.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 16320
/proc/meminfo: memFree=1476728/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=297036 CPUtime=9458.47
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73364 0 0 0 945723 124 0 0 25 0 1 0 314738996 304164864 73315 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74259 73315 77 171 0 74086 0
Current children cumulated CPU time (s) 9459.9
Current children cumulated vsize (KiB) 302392

[startup+9522.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 16320
/proc/meminfo: memFree=1476408/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=297480 CPUtime=9518.45
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73447 0 0 0 951721 124 0 0 25 0 1 0 314738996 304619520 73398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74370 73398 77 171 0 74197 0
Current children cumulated CPU time (s) 9519.88
Current children cumulated vsize (KiB) 302836

[startup+9582.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 16320
/proc/meminfo: memFree=1476152/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=297776 CPUtime=9578.45
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73510 0 0 0 957720 125 0 0 25 0 1 0 314738996 304922624 73461 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74444 73461 77 171 0 74271 0
Current children cumulated CPU time (s) 9579.88
Current children cumulated vsize (KiB) 303132

[startup+9642.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 16320
/proc/meminfo: memFree=1475768/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=298132 CPUtime=9638.43
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73595 0 0 0 963718 125 0 0 25 0 1 0 314738996 305287168 73546 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74533 73546 77 171 0 74360 0
Current children cumulated CPU time (s) 9639.86
Current children cumulated vsize (KiB) 303488

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1475576/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=298132 CPUtime=9698.42
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73637 0 0 0 969717 125 0 0 25 0 1 0 314738996 305287168 73588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74533 73588 77 171 0 74360 0
Current children cumulated CPU time (s) 9699.85
Current children cumulated vsize (KiB) 303488

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1474936/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=299060 CPUtime=9758.4
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73794 0 0 0 975715 125 0 0 25 0 1 0 314738996 306237440 73745 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74765 73745 77 171 0 74592 0
Current children cumulated CPU time (s) 9759.83
Current children cumulated vsize (KiB) 304416

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1474616/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=299192 CPUtime=9818.39
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 73862 0 0 0 981713 126 0 0 25 0 1 0 314738996 306372608 73813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74798 73813 77 171 0 74625 0
Current children cumulated CPU time (s) 9819.82
Current children cumulated vsize (KiB) 304548

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1473976/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=299972 CPUtime=9878.38
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 74038 0 0 0 987712 126 0 0 25 0 1 0 314738996 307171328 73989 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 74993 73989 77 171 0 74820 0
Current children cumulated CPU time (s) 9879.81
Current children cumulated vsize (KiB) 305328

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1473720/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=300104 CPUtime=9938.36
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 74089 0 0 0 993710 126 0 0 25 0 1 0 314738996 307306496 74040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 75026 74040 77 171 0 74853 0
Current children cumulated CPU time (s) 9939.79
Current children cumulated vsize (KiB) 305460

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1473464/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=300236 CPUtime=9998.34
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 74155 0 0 0 999708 126 0 0 25 0 1 0 314738996 307441664 74106 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 75059 74106 77 171 0 74886 0
Current children cumulated CPU time (s) 9999.77
Current children cumulated vsize (KiB) 305592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16320
/proc/meminfo: memFree=1473464/2055920 swapFree=4179344/4192956
[pid=15816] ppid=15814 vsize=5356 CPUtime=1.43
/proc/15816/stat : 15816 (SatELiteGTI) S 15814 15816 15713 0 -1 4194304 336 10082 0 0 0 0 136 7 16 0 1 0 314738851 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15816/statm: 1339 239 197 169 0 50 0
[pid=15822] ppid=15816 vsize=300236 CPUtime=9998.64
/proc/15822/stat : 15822 (minisat_static) R 15816 15816 15713 0 -1 4194304 74155 0 0 0 999738 126 0 0 25 0 1 0 314738996 307441664 74106 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/15822/statm: 75059 74106 77 171 0 74886 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 305592

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15816 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=370791
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=74988
# CPU time returned by wait4() is 1.44578
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 10002.6
CPU time (s): 10000.1
CPU user time (s): 9998.74
CPU system time (s): 1.33
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 305592

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

runsolver used 11.6552 second user time and 24.0943 second system time

The end

Launcher Data 

Begin job on node31 at 2009-05-21 02:50:57
IDJOB=1837310
IDBENCH=70830
IDSOLVER=674
FILE ID=node31/1837310-1242867056
PBS_JOBID= 9328545
Free space on /tmp= 66192 MiB

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

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

MD5SUM BENCH= 49867705b76fc90285dd6fc48de2613c
RANDOM SEED=2138912834

node31.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.213
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.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1781160 kB
Buffers:         61400 kB
Cached:         162148 kB
SwapCached:       7176 kB
Active:         102692 kB
Inactive:       130492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781160 kB
SwapTotal:     4192956 kB
SwapFree:      4179344 kB
Dirty:            5980 kB
Writeback:           0 kB
Mapped:          14216 kB
Slab:            27372 kB
Committed_AS:  1037340 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66184 MiB
End job on node31 at 2009-05-21 05:37:41