Trace number 3421900

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
CryptoMiniSat Strange-Night2-st (fixed)? (TO) 5000.11 5000.03

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
MD5SUM1ef198d3f2d717e33f4f2ba124eb7eb2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables34306
Number of clauses708168
Sum of the clauses size3540840
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 5708168
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3421900-1306610792.cnf'
0.00/0.00	c -- header says num vars:          34306
0.00/0.00	c -- header says num clauses:      708168
0.19/0.29	c -- clauses added:            0 learnts,       708168 normals,            0 xors
0.19/0.29	c -- vars added      34306
0.19/0.29	c Parsing time:  0.27 s
0.19/0.29	c  N st     0         0     34306    708168         0         0   3540840         0   no data   no data
0.59/0.69	c asymm  cl-useful: 0/41109/708168 lits-rem:0 time: 0.40
0.89/0.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.5M T:  0.29
1.20/1.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.20/1.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.20/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.20/1.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34306 time:  0.00 s
1.20/1.25	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
1.99/2.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.75 s
1.99/2.02	c Finding binary XORs  T:     0.01 s  found:       0
2.39/2.42	c Finding non-binary XORs:     0.38 s (found:       0, avg size: nan)
2.39/2.42	c calculated reachability. Time: 0.00
2.39/2.48	c Calc default polars -  time:   0.05 s pos:       0 undec:   34306 neg:       0
2.39/2.48	c =========================================================================================
2.39/2.48	c types(t): F = full restart, N = normal restart
2.39/2.48	c types(t): S = simplification begin/end, E = solution found
2.39/2.48	c restart types(rt): st = static, dy = dynamic
2.39/2.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.39/2.48	c  B st     0         0     34306    708168         0         0   3540840         0   no data   no data
3.09/3.11	c  N dy    18      4162     34306    708168         0      4160   3540840    962563    155.11    165.33
3.49/3.53	c  N dy    38      8168     34306    708168         0      8165   3540840   1759387    148.23    156.35
3.89/3.99	c  N dy    62     12370     34306    708168         0     12367   3540840   2564319    145.14    153.79
4.41/4.43	c  N dy    89     16417     34306    708168         0     16412   3540840   3355531    144.97    154.03
4.89/4.98	c  N dy   115     20438     34306    708168         0     10436   3540840    708112    144.74    155.30
5.40/5.42	c  N dy   140     24461     34306    708168         0     14457   3540840   1488263    143.92    152.90
5.40/5.49	c  F st   145     25001     34306    708168         0     14997   3540840   1602076    144.34   no data
5.59/5.66	c Found part       41 vars:       4293 clauses:     88534 lits size:    442670
5.59/5.66	c Found part       48 vars:       4265 clauses:     86046 lits size:    430230
5.59/5.66	c Found part       63 vars:       4257 clauses:     85800 lits size:    429000
5.59/5.66	c Found part       66 vars:       4296 clauses:     89914 lits size:    449570
5.59/5.66	c Found part       67 vars:      17195 clauses:    357874 lits size:   1789370
5.59/5.66	c Found parts:          5 time: 0.17 s
5.59/5.66	c Solving part 63
5.70/5.73	c  N st     0         0      4257     85800         0         0    429000         0   no data   no data
5.99/6.06	c asymm  cl-useful: 0/85800/85800 lits-rem:0 time: 0.33
5.99/6.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
5.99/6.08	c Finding binary XORs  T:     0.00 s  found:       0
6.09/6.11	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
6.09/6.11	c calculated reachability. Time: 0.00
6.09/6.11	c Calc default polars -  time:   0.00 s pos:       0 undec:   34306 neg:       0
6.09/6.11	c =========================================================================================
6.09/6.11	c types(t): F = full restart, N = normal restart
6.09/6.11	c types(t): S = simplification begin/end, E = solution found
6.09/6.11	c restart types(rt): st = static, dy = dynamic
6.09/6.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
6.09/6.11	c  B st     0         0      4257     85800         0         0    429000         0   no data   no data
6.50/6.61	c  N dy    15      4021      4257     85800         0      4021    429000    920331    149.66    159.70
6.99/7.02	c  N dy    39      8072      4257     85800         0      8071    429000   1741237    147.30    169.56
7.39/7.44	c  N dy    68     12078      4257     85800         0     12076    429000   2535713    146.98    174.29
7.79/7.87	c  N dy    93     16082      4257     85800         0     16080    429000   3313195    145.46    153.19
8.29/8.36	c  N dy   120     20127      4257     85800         0     10123    429000    660347    145.69    154.22
8.70/8.81	c  N dy   147     24158      4257     85800         0     14154    429000   1470350    145.64    160.00
8.89/8.91	c  F st   154     25002      4257     85800         0     14998    429000   1635716    145.57   no data
9.19/9.28	c  N st   159     28301      4257     85800         0     18295    429000   2374838    145.57   no data
9.69/9.78	c  N dy   176     32531      4257     85800         0     22520    429000   3295535    145.65    153.69
10.19/10.27	c  N dy   204     36596      4257     85800         0     26584    429000   4096604    145.67    154.86
10.69/10.79	c  N dy   233     40616      4257     85800         0     30603    429000   4903203    145.96    184.12
11.19/11.28	c  N dy   259     44672      4257     85800         0     19169    429000   1448494    145.90    153.86
11.69/11.75	c  N dy   282     48681      4257     85800         0     23176    429000   2251694    145.60    158.23
12.19/12.24	c  N dy   309     52746      4257     85800         0     27240    429000   3058115    145.43    156.38
12.69/12.76	c  N dy   335     56867      4257     85800         0     31359    429000   3858898    145.16    155.11
13.29/13.33	c  N dy   363     61098      4257     85800         0     35590    429000   4703062    145.13    161.38
13.79/13.88	c  N dy   392     65131      4257     85800         0     20879    429000   1110510    145.28    176.80
14.31/14.37	c  N dy   420     69320      4257     85800         0     25067    429000   1944524    145.25    172.72
14.89/14.94	c  N dy   455     73787      4257     85800         0     29533    429000   2851147    145.59    159.24
15.49/15.54	c  N dy   485     78499      4257     85800         0     34244    429000   3787760    145.63    157.15
16.19/16.24	c  N dy   518     83607      4257     85800         0     39350    429000   4827560    145.66    160.99
16.69/16.76	c  F st   539     87500      4257     85800         0     22374    429000    923782    145.36   no data
16.99/17.01	c  N st   543     89539      4257     85800         0     24412    429000   1398099    145.36   no data
17.69/17.72	c  N dy   564     95266      4257     85800         0     30135    429000   2706538    145.47    153.29
18.49/18.55	c  N dy   608    101485      4257     85800         0     36351    429000   3956217    145.53    156.52
19.39/19.46	c  N dy   653    107996      4257     85800         0     42860    429000   5283982    145.72    160.22
20.29/20.36	c  N dy   695    114943      4257     85800         0     27377    429000   1575916    145.66    160.10
21.29/21.32	c  N dy   745    122366      4257     85800         0     34797    429000   3062586    145.64    153.80
22.39/22.42	c  N dy   799    130284      4257     85800         0     42715    429000   4646896    145.64    160.22
23.49/23.58	c  N dy   855    138798      4257     85800         0     27513    429000   1315108    145.60    153.53
24.69/24.72	c  N dy   910    147719      4257     85800         0     36430    429000   3069421    145.34    154.08
25.99/26.04	c  N dy   968    157292      4257     85800         0     46002    429000   4944494    145.19    155.14
27.41/27.42	c  N dy  1033    167379      4257     85800         0     31234    429000   1809753    145.24    155.98
28.80/28.87	c  N dy  1107    178113      4257     85800         0     41965    429000   3998722    145.45    153.80
30.49/30.53	c  N dy  1181    189569      4257     85800         0     27495    429000    835464    145.44    155.35
32.09/32.13	c  N dy  1259    201760      4257     85800         0     39684    429000   3287999    145.42    173.27
34.00/34.05	c  N dy  1344    214773      4257     85800         0     52692    429000   5840100    145.22    154.28
35.89/35.91	c  N dy  1439    228680      4257     85800         0     39639    429000   3039529    145.27    155.06
37.99/38.07	c  N dy  1537    243394      4257     85800         0     54342    429000   5988860    145.24    156.40
40.19/40.21	c  N dy  1642    259162      4257     85800         0     42131    429000   3287483    145.12    164.29
42.59/42.69	c  N dy  1751    275786      4257     85800         0     29770    429000    641908    145.09    154.21
45.00/45.11	c  N dy  1873    293464      4257     85800         0     47440    429000   4175958    145.09    169.70
47.09/47.11	c  F st  1963    306250      4257     85800         0     30241    429000    530789    145.17    109.06
47.89/47.90	c  N dy  1975    312366      4257     85800         0     36351    429000   1985914    145.17    156.75
50.69/50.79	c  N dy  2114    332404      4257     85800         0     56377    429000   5986113    145.22    156.06
53.59/53.68	c  N dy  2245    352606      4257     85800         0     45594    429000   3390995    145.19    155.57
56.80/56.82	c  N dy  2385    372625      4257     85800         0     33620    429000    815344    145.22    180.02
59.69/59.71	c  N dy  2526    392783      4257     85800         0     53776    429000   4844299    145.22    153.40
62.61/62.70	c  N dy  2656    412792      4257     85800         0     40786    429000   2059362    145.20    190.20
65.59/65.69	c  N dy  2785    432828      4257     85800         0     60818    429000   6020598    145.11    152.97
68.59/68.68	c  N dy  2913    453019      4257     85800         0     47011    429000   3104701    145.12    155.35
71.79/71.83	c  N dy  3052    473044      4257     85800         0     67023    429000   7150157    145.24    154.42
74.70/74.76	c  N dy  3181    493161      4257     85800         0     52154    429000   3890548    145.21    155.52
77.89/77.97	c  N dy  3302    513176      4257     85800         0     36175    429000    529301    145.11    155.81
80.79/80.80	c  N dy  3429    533271      4257     85800         0     56262    429000   4545135    145.08    152.95
84.10/84.11	c  N dy  3561    553340      4257     85800         0     39333    429000    954268    145.03    154.12
86.99/87.05	c  N dy  3693    573349      4257     85800         0     59336    429000   4891937    145.00    193.72
90.29/90.35	c  N dy  3832    593365      4257     85800         0     41365    429000   1179069    145.06    154.10
93.29/93.36	c  N dy  3971    613374      4257     85800         0     61362    429000   5195654    145.07    155.79
96.70/96.76	c  N dy  4109    633458      4257     85800         0     42453    429000   1206212    145.09    158.28
99.69/99.77	c  N dy  4239    653517      4257     85800         0     62509    429000   5185726    145.04    154.47
103.20/103.24	c  N dy  4379    673641      4257     85800         0     42636    429000   1051524    145.09    152.92
106.19/106.23	c  N dy  4511    693722      4257     85800         0     62706    429000   5058341    145.10    153.32
109.70/109.70	c  N dy  4644    713801      4257     85800         0     41792    429000    683271    145.08    154.98
112.69/112.70	c  N dy  4774    733802      4257     85800         0     61783    429000   4707712    145.08    156.67
116.20/116.24	c  N dy  4917    753907      4257     85800         0     81883    429000   8752309    145.13    153.58
119.29/119.37	c  N dy  5060    773968      4257     85800         0     59954    429000   4154974    145.19    161.14
122.69/122.80	c  N dy  5193    793980      4257     85800         0     79963    429000   8154198    145.17    163.44
125.89/125.99	c  N dy  5320    814223      4257     85800         0     57209    429000   3413031    145.16    159.14
129.29/129.37	c  N dy  5452    834292      4257     85800         0     77269    429000   7460468    145.19    154.37
132.70/132.72	c  N dy  5592    854350      4257     85800         0     53333    429000   2409300    145.21    165.67
135.99/136.03	c  N dy  5729    874612      4257     85800         0     73586    429000   6479170    145.25    156.96
139.61/139.66	c  N dy  5863    894880      4257     85800         0     48868    429000   1326823    145.27    156.47
142.69/142.79	c  N dy  5997    914920      4257     85800         0     68900    429000   5315015    145.28    153.34
146.39/146.44	c  N dy  6136    935071      4257     85800         0     89046    429000   9330157    145.29    153.25
149.61/149.62	c  N dy  6268    955105      4257     85800         0     63096    429000   3921344    145.29    159.55
152.99/153.09	c  N dy  6400    975151      4257     85800         0     83137    429000   7914961    145.31    154.34
156.60/156.63	c  N dy  6536    995270      4257     85800         0     56263    429000   2417493    145.33    155.59
159.79/159.88	c  N dy  6660   1015283      4257     85800         0     76274    429000   6375111    145.29    154.68
163.60/163.68	c  N dy  6795   1035287      4257     85800         0     48287    429000    624367    145.30    159.58
166.69/166.77	c  N dy  6918   1055372      4257     85800         0     68368    429000   4642935    145.28    153.58
169.60/169.67	c  F st  7028   1071875      4257     85800         0     84863    429000   7933794    145.28   no data
170.51/170.53	c  N dy  7034   1077067      4257     85800         0     90047    429000   9122586    145.28   no data
173.99/174.00	c  N dy  7163   1097096      4257     85800         0     61088    429000   2991369    145.27    156.22
177.39/177.40	c  N dy  7294   1117189      4257     85800         0     81172    429000   7004041    145.27    153.53
181.29/181.34	c  N dy  7441   1137252      4257     85800         0     51248    429000    829097    145.32    155.71
184.40/184.48	c  N dy  7570   1157342      4257     85800         0     71330    429000   4883831    145.33    154.18
188.11/188.17	c  N dy  7710   1177408      4257     85800         0     91391    429000   8904560    145.35    154.17
191.69/191.75	c  N dy  7840   1197492      4257     85800         0     60492    429000   2471700    145.35    156.46
195.10/195.15	c  N dy  7976   1217531      4257     85800         0     80523    429000   6478589    145.34    161.99
199.01/199.04	c  N dy  8111   1237535      4257     85800         0    100514    429000  10526573    145.36    153.93
202.41/202.46	c  N dy  8248   1257606      4257     85800         0     68598    429000   3943579    145.38    155.06
205.99/206.05	c  N dy  8383   1277661      4257     85800         0     88645    429000   7943123    145.37    153.63
209.89/210.00	c  N dy  8515   1297762      4257     85800         0     55756    429000   1151661    145.37    156.00
213.19/213.26	c  N dy  8648   1317775      4257     85800         0     75765    429000   5142362    145.37    153.04
216.89/216.99	c  N dy  8782   1337831      4257     85800         0     95815    429000   9182867    145.36    154.17
220.70/220.77	c  N dy  8919   1357882      4257     85800         0     61867    429000   2203867    145.38    153.43
224.19/224.25	c  N dy  9057   1377908      4257     85800         0     81889    429000   6255017    145.40    183.07
228.10/228.18	c  N dy  9195   1397922      4257     85800         0    101899    429000  10254179    145.42    154.26
231.79/231.83	c  N dy  9328   1417987      4257     85800         0     66967    429000   3036624    145.43    168.90
235.30/235.36	c  N dy  9466   1438048      4257     85800         0     87024    429000   7076521    145.45    161.41
239.29/239.37	c  N dy  9601   1458254      4257     85800         0    107221    429000  11116228    145.44    156.28
242.79/242.86	c  N dy  9731   1478267      4257     85800         0     71253    429000   3680786    145.44    153.42
246.42/246.49	c  N dy  9867   1498506      4257     85800         0     91487    429000   7710376    145.44    155.42
250.59/250.68	c  N dy 10007   1518555      4257     85800         0    111530    429000  11747122    145.45    153.56
254.12/254.17	c  N dy 10138   1538982      4257     85800         0     74969    429000   4162443    145.42    154.99
257.89/257.95	c  N dy 10273   1559214      4257     85800         0     95193    429000   8232097    145.43    156.14
262.10/262.18	c  N dy 10409   1579294      4257     85800         0    115267    429000  12265170    145.44    156.77
265.49/265.58	c  N dy 10541   1599316      4257     85800         0     77302    429000   4486417    145.43    155.94
269.30/269.41	c  N dy 10687   1619452      4257     85800         0     97432    429000   8530260    145.45    154.10
273.70/273.71	c  N dy 10829   1639504      4257     85800         0    117480    429000  12577367    145.47    153.88
277.10/277.18	c  N dy 10972   1659544      4257     85800         0     78537    429000   4583382    145.50    154.07
280.90/280.98	c  N dy 11107   1679585      4257     85800         0     98572    429000   8635227    145.52    157.50
285.29/285.32	c  N dy 11256   1699611      4257     85800         0    118591    429000  12737022    145.57    155.28
288.80/288.87	c  N dy 11399   1719826      4257     85800         0     78815    429000   4408957    145.58    153.93
292.61/292.67	c  N dy 11532   1739837      4257     85800         0     98823    429000   8392118    145.58    163.69
296.90/296.96	c  N dy 11672   1759864      4257     85800         0    118844    429000  12450871    145.61    153.70
300.59/300.63	c  N dy 11815   1779983      4257     85800         0     77963    429000   4090132    145.64    153.75
304.30/304.39	c  N dy 11945   1800069      4257     85800         0     98043    429000   8124639    145.64    153.58
308.60/308.68	c  N dy 12082   1820130      4257     85800         0    118100    429000  12159612    145.64    162.22
312.41/312.44	c  N dy 12220   1840182      4257     85800         0     76165    429000   3504908    145.65    156.51
316.10/316.17	c  N dy 12354   1860247      4257     85800         0     96223    429000   7554110    145.66    154.12
320.39/320.40	c  N dy 12492   1880328      4257     85800         0    116297    429000  11624604    145.69    154.36
324.29/324.36	c  N dy 12626   1900439      4257     85800         0     73421    429000   2762579    145.70    153.94
328.00/328.09	c  N dy 12765   1920759      4257     85800         0     93733    429000   6849633    145.71    153.47
332.30/332.33	c  N dy 12908   1940900      4257     85800         0    113869    429000  10943618    145.75    156.22
336.51/336.60	c  N dy 13048   1960981      4257     85800         0     69976    429000   1870150    145.77    153.51
340.09/340.17	c  N dy 13183   1981092      4257     85800         0     90081    429000   5905413    145.78    155.92
344.21/344.26	c  N dy 13322   2001183      4257     85800         0    110168    429000   9967063    145.80    159.16
348.80/348.88	c  N dy 13460   2021326      4257     85800         0     65318    429000    723535    145.82    153.69
352.30/352.31	c  N dy 13588   2041416      4257     85800         0     85401    429000   4728952    145.81    156.13
356.19/356.26	c  N dy 13721   2061500      4257     85800         0    105480    429000   8756110    145.80    157.34
360.60/360.60	c  N dy 13854   2081522      4257     85800         0    125494    429000  12737065    145.79    166.88
364.39/364.49	c  N dy 13989   2101641      4257     85800         0     79628    429000   3392340    145.79    156.00
368.30/368.38	c  N dy 14135   2121858      4257     85800         0     99839    429000   7477673    145.81    159.57
372.70/372.70	c  N dy 14271   2141938      4257     85800         0    119913    429000  11491818    145.81    155.24
377.00/377.04	c  N dy 14412   2161945      4257     85800         0     72945    429000   1885854    145.83    162.75
380.62/380.62	c  N dy 14544   2182027      4257     85800         0     93020    429000   5925933    145.84    154.70
384.70/384.72	c  N dy 14678   2202148      4257     85800         0    113132    429000   9964084    145.84    153.89
389.20/389.30	c  N dy 14814   2222228      4257     85800         0    133205    429000  14002555    145.85    154.75
393.09/393.17	c  N dy 14963   2242329      4257     85800         0     85315    429000   4201868    145.87    162.77
397.01/397.05	c  N dy 15097   2262332      4257     85800         0    105309    429000   8237377    145.88    154.66
401.41/401.45	c  N dy 15232   2282489      4257     85800         0    125459    429000  12221590    145.87    153.81
405.80/405.90	c  N dy 15378   2302495      4257     85800         0     76475    429000   2214575    145.90    153.58
409.60/409.65	c  N dy 15515   2322593      4257     85800         0     96564    429000   6254277    145.91    156.32
413.69/413.77	c  N dy 15638   2342618      4257     85800         0    116586    429000  10257620    145.89    161.94
418.40/418.47	c  N dy 15778   2362741      4257     85800         0    136706    429000  14313710    145.90    157.68
422.19/422.30	c  N dy 15909   2382833      4257     85800         0     86811    429000   4083224    145.90    163.01
426.20/426.29	c  N dy 16048   2402936      4257     85800         0    106905    429000   8115443    145.91    163.91
430.79/430.83	c  N dy 16194   2422979      4257     85800         0    126943    429000  12201950    145.93    166.01
435.30/435.38	c  N dy 16329   2443028      4257     85800         0     76016    429000   1705936    145.93    155.43
438.99/439.09	c  N dy 16461   2463184      4257     85800         0     96169    429000   5710375    145.93    157.39
443.21/443.24	c  N dy 16591   2483286      4257     85800         0    116261    429000   9744627    145.93    158.71
447.89/447.93	c  N dy 16732   2503359      4257     85800         0    136327    429000  13788196    145.94    155.63
452.12/452.13	c  N dy 16871   2523395      4257     85800         0     84377    429000   3211721    145.96    155.82
456.00/456.07	c  N dy 16998   2543508      4257     85800         0    104485    429000   7258733    145.96    163.96
460.40/460.48	c  N dy 17138   2563570      4257     85800         0    124543    429000  11255621    145.96    155.08
465.32/465.33	c  N dy 17268   2583709      4257     85800         0    144673    429000  15344321    145.96    155.62
469.00/469.09	c  N dy 17399   2603710      4257     85800         0     91691    429000   4488854    145.96    154.05
473.10/473.15	c  N dy 17535   2623820      4257     85800         0    111795    429000   8568227    145.97    157.38
477.70/477.73	c  N dy 17675   2643915      4257     85800         0    131887    429000  12642626    145.99    157.99
482.39/482.48	c  N dy 17804   2664101      4257     85800         0     78091    429000   1558711    145.99    154.58
486.22/486.25	c  N dy 17945   2684131      4257     85800         0     98115    429000   5615112    146.00    160.91
490.39/490.40	c  N dy 18075   2704340      4257     85800         0    118318    429000   9645585    146.00    155.95
495.02/495.08	c  N dy 18209   2724517      4257     85800         0    138488    429000  13708312    146.02    154.28
499.60/499.64	c  N dy 18345   2744625      4257     85800         0     83608    429000   2488831    146.02    156.26
503.50/503.57	c  N dy 18487   2764903      4257     85800         0    103881    429000   6567234    146.03    153.72
507.80/507.88	c  N dy 18623   2784949      4257     85800         0    123915    429000  10600583    146.04    153.74
512.70/512.71	c  N dy 18763   2805076      4257     85800         0    144036    429000  14664766    146.05    155.37
517.02/517.03	c  N dy 18904   2825190      4257     85800         0     88170    429000   3233033    146.07    154.21
521.00/521.05	c  N dy 19044   2845203      4257     85800         0    108171    429000   7280282    146.09    157.67
525.40/525.47	c  N dy 19186   2865234      4257     85800         0    128197    429000  11342187    146.10    158.71
530.40/530.47	c  N dy 19325   2885236      4257     85800         0    148195    429000  15362074    146.11    156.67
534.51/534.56	c  N dy 19451   2905327      4257     85800         0     91309    429000   3627635    146.10    157.10
538.60/538.63	c  N dy 19591   2925351      4257     85800         0    111325    429000   7692671    146.10    160.87
543.20/543.20	c  N dy 19734   2945430      4257     85800         0    131394    429000  11781141    146.12    157.13
548.20/548.29	c  N dy 19873   2965512      4257     85800         0    151471    429000  15866064    146.13    155.30
552.21/552.28	c  N dy 19999   2985552      4257     85800         0     93537    429000   3880042    146.13    154.09
556.40/556.41	c  N dy 20138   3005607      4257     85800         0    113586    429000   7935292    146.13    153.89
560.91/560.93	c  N dy 20273   3025647      4257     85800         0    133618    429000  11995634    146.14    160.36
565.90/565.98	c  N dy 20403   3045811      4257     85800         0    153778    429000  15996582    146.13    154.32
570.10/570.12	c  N dy 20534   3065889      4257     85800         0     94884    429000   3989841    146.14    167.50
574.21/574.26	c  N dy 20669   3085895      4257     85800         0    114887    429000   7963736    146.13    158.01
578.80/578.83	c  N dy 20801   3105947      4257     85800         0    134931    429000  12018168    146.14    157.15
583.90/583.93	c  N dy 20937   3125999      4257     85800         0    154974    429000  16050840    146.14    156.41
588.10/588.14	c  N dy 21071   3146079      4257     85800         0     95061    429000   3827054    146.15    158.48
592.30/592.30	c  N dy 21210   3166160      4257     85800         0    115136    429000   7855016    146.15    157.18
596.90/596.90	c  N dy 21341   3186326      4257     85800         0    135296    429000  11903327    146.15    154.20
602.00/602.04	c  N dy 21478   3206328      4257     85800         0    155294    429000  15877306    146.14    154.59
606.40/606.41	c  N dy 21621   3226383      4257     85800         0     94370    429000   3503093    146.15    173.09
610.52/610.55	c  N dy 21755   3246607      4257     85800         0    114588    429000   7594048    146.15    158.05
615.20/615.26	c  N dy 21895   3266870      4257     85800         0    134844    429000  11688592    146.16    153.87
620.31/620.32	c  N dy 22026   3286892      4257     85800         0    154858    429000  15725007    146.16    154.98
624.90/624.94	c  N dy 22162   3307004      4257     85800         0     92994    429000   3002785    146.16    155.36
629.00/629.10	c  N dy 22302   3327147      4257     85800         0    113133    429000   7050732    146.17    157.02
633.62/633.68	c  N dy 22440   3347265      4257     85800         0    133245    429000  11086537    146.18    153.93
638.70/638.71	c  N dy 22574   3367272      4257     85800         0    153243    429000  15135313    146.19    206.02
643.60/643.62	c  N dy 22710   3387486      4257     85800         0     90467    429000   2347690    146.19    154.04
647.60/647.69	c  N dy 22844   3407637      4257     85800         0    110614    429000   6403061    146.19    155.99
652.10/652.16	c  N dy 22974   3427709      4257     85800         0    130676    429000  10382395    146.18    154.07
657.10/657.15	c  N dy 23110   3447826      4257     85800         0    150786    429000  14443676    146.19    155.31
662.40/662.42	c  N dy 23248   3467955      4257     85800         0     86931    429000   1426817    146.19    154.57
666.30/666.35	c  N dy 23383   3488088      4257     85800         0    107058    429000   5467094    146.19    156.00
670.70/670.80	c  N dy 23522   3508112      4257     85800         0    127079    429000   9557048    146.20    153.95
675.70/675.74	c  N dy 23666   3528139      4257     85800         0    147096    429000  13659635    146.23    157.26
681.10/681.17	c  N dy 23797   3548295      4257     85800         0    167250    429000  17716662    146.23    158.40
685.40/685.42	c  N dy 23935   3568377      4257     85800         0    102359    429000   4355275    146.23    155.35
689.72/689.74	c  N dy 24070   3588421      4257     85800         0    122398    429000   8404295    146.24    208.40
694.40/694.42	c  N dy 24195   3608441      4257     85800         0    142412    429000  12452085    146.23    181.70
699.70/699.79	c  N dy 24336   3628499      4257     85800         0    162468    429000  16483763    146.24    159.32
704.60/704.62	c  N dy 24470   3648534      4257     85800         0     96528    429000   2982312    146.23    156.49
708.81/708.81	c  N dy 24612   3668596      4257     85800         0    116582    429000   7027277    146.24    159.22
713.40/713.41	c  N dy 24750   3688599      4257     85800         0    136576    429000  11005521    146.24    154.26
718.50/718.55	c  N dy 24886   3708734      4257     85800         0    156704    429000  15078796    146.26    154.13
724.00/724.07	c  N dy 25027   3728914      4257     85800         0     89906    429000   1463314    146.27    154.14
728.00/728.09	c  N dy 25159   3748929      4257     85800         0    109919    429000   5436848    146.26    154.00
728.60/728.65	c  F st 25178   3751562      4257     85800         0    112551    429000   5955866    146.26   no data
732.30/732.36	c  N dy 25260   3768960      4257     85800         0    129941    429000   9658775    146.26    154.64
737.30/737.38	c  N dy 25396   3789007      4257     85800         0    149981    429000  13723476    146.26    162.40
742.81/742.87	c  N dy 25539   3809038      4257     85800         0    170004    429000  17815740    146.28    155.55
747.41/747.44	c  N dy 25682   3829158      4257     85800         0    102137    429000   3750755    146.29    154.89
751.70/751.79	c  N dy 25820   3849182      4257     85800         0    122156    429000   7784585    146.29    154.94
756.50/756.52	c  N dy 25955   3869208      4257     85800         0    142175    429000  11792201    146.29    186.95
761.71/761.79	c  N dy 26091   3889228      4257     85800         0    162187    429000  15847726    146.30    162.05
767.10/767.18	c  N dy 26223   3909398      4257     85800         0     93382    429000   1782194    146.31    154.26
771.30/771.35	c  N dy 26367   3929440      4257     85800         0    113418    429000   5890973    146.32    195.10
775.90/775.95	c  N dy 26508   3949515      4257     85800         0    133486    429000   9919243    146.33    155.10
781.02/781.05	c  N dy 26643   3969650      4257     85800         0    153611    429000  13973705    146.33    154.18
786.61/786.65	c  N dy 26783   3989777      4257     85800         0    173728    429000  18079749    146.34    154.58
791.21/791.26	c  N dy 26924   4009815      4257     85800         0    103783    429000   3676329    146.34    158.54
795.60/795.62	c  N dy 27063   4029939      4257     85800         0    123898    429000   7721387    146.35    155.73
800.30/800.38	c  N dy 27193   4049996      4257     85800         0    143946    429000  11746737    146.34    155.79
805.60/805.67	c  N dy 27328   4070057      4257     85800         0    163997    429000  15747161    146.34    155.63
811.30/811.36	c  N dy 27456   4090254      4257     85800         0     93225    429000   1344489    146.34    158.83
815.41/815.44	c  N dy 27586   4110323      4257     85800         0    113285    429000   5421639    146.34    155.98
819.90/819.98	c  N dy 27721   4130436      4257     85800         0    133390    429000   9482241    146.34    155.59
824.91/824.99	c  N dy 27850   4150621      4257     85800         0    153564    429000  13555764    146.34    156.67
830.41/830.45	c  N dy 27980   4170623      4257     85800         0    173559    429000  17595241    146.34    154.44
835.41/835.48	c  N dy 28113   4190638      4257     85800         0    101609    429000   2853320    146.34    155.93
839.81/839.81	c  N dy 28252   4210821      4257     85800         0    121784    429000   6935166    146.35    155.40
844.51/844.56	c  N dy 28384   4230920      4257     85800         0    141878    429000  10981724    146.35    157.11
849.80/849.81	c  N dy 28523   4250968      4257     85800         0    161922    429000  14985003    146.35    154.22
855.51/855.57	c  N dy 28664   4270969      4257     85800         0    181913    429000  19027012    146.36    155.26
860.00/860.07	c  N dy 28798   4291041      4257     85800         0    109011    429000   4197237    146.36    158.92
864.51/864.59	c  N dy 28936   4311131      4257     85800         0    129092    429000   8257038    146.37    155.58
869.51/869.56	c  N dy 29072   4331250      4257     85800         0    149199    429000  12316068    146.37    154.83
875.01/875.08	c  N dy 29208   4351340      4257     85800         0    169285    429000  16372997    146.38    179.91
880.80/880.90	c  N dy 29337   4371379      4257     85800         0     95363    429000   1210504    146.38    164.15
885.01/885.04	c  N dy 29475   4391620      4257     85800         0    115600    429000   5343928    146.39    156.61
889.61/889.65	c  N dy 29611   4411678      4257     85800         0    135655    429000   9357306    146.39    154.44
894.71/894.78	c  N dy 29748   4431684      4257     85800         0    155656    429000  13355190    146.38    160.71
900.40/900.44	c  N dy 29896   4451739      4257     85800         0    175704    429000  17457516    146.40    154.37
906.00/906.01	c  N dy 30035   4471762      4257     85800         0    100754    429000   2106859    146.40    158.20
910.11/910.18	c  N dy 30170   4491768      4257     85800         0    120754    429000   6112210    146.40    155.14
914.90/914.96	c  N dy 30305   4511909      4257     85800         0    140886    429000  10112791    146.40    155.56
920.11/920.17	c  N dy 30438   4531960      4257     85800         0    160931    429000  14172736    146.40    154.74
925.81/925.80	c  N dy 30569   4552073      4257     85800         0    181039    429000  18207048    146.39    155.04
931.11/931.14	c  N dy 30714   4572087      4257     85800         0    105069    429000   2830850    146.40    154.67
935.51/935.58	c  N dy 30859   4592171      4257     85800         0    125147    429000   6949637    146.42    193.32
940.42/940.48	c  N dy 30995   4612318      4257     85800         0    145279    429000  10987287    146.42    154.59
945.81/945.82	c  N dy 31131   4632499      4257     85800         0    165452    429000  15025475    146.42    154.43
951.60/951.62	c  N dy 31264   4652579      4257     85800         0    185528    429000  19063904    146.42    154.18
956.61/956.63	c  N dy 31396   4672653      4257     85800         0    108631    429000   3335937    146.42    155.68
961.00/961.09	c  N dy 31530   4692793      4257     85800         0    128763    429000   7395289    146.43    158.08
966.01/966.03	c  N dy 31669   4712821      4257     85800         0    148785    429000  11446209    146.43    155.19
971.41/971.42	c  N dy 31799   4732908      4257     85800         0    168864    429000  15474103    146.43    160.56
977.20/977.28	c  N dy 31932   4752930      4257     85800         0    188883    429000  19486205    146.43    154.44
982.22/982.27	c  N dy 32066   4772941      4257     85800         0    110915    429000   3581071    146.43    154.30
986.72/986.73	c  N dy 32198   4793114      4257     85800         0    131078    429000   7645256    146.43    155.57
991.81/991.80	c  N dy 32345   4813204      4257     85800         0    151162    429000  11647976    146.43    163.07
997.11/997.14	c  N dy 32472   4833225      4257     85800         0    171176    429000  15715175    146.43    160.93
1003.01/1003.09	c  N dy 32605   4853286      4257     85800         0    191231    429000  19736171    146.43    154.88
1008.01/1008.02	c  N dy 32740   4873305      4257     85800         0    112277    429000   3681150    146.43    158.96
1012.60/1012.60	c  N dy 32883   4893460      4257     85800         0    132429    429000   7742830    146.44    156.12
1017.52/1017.54	c  N dy 33014   4913467      4257     85800         0    152429    429000  11822424    146.44    163.03
1022.92/1022.99	c  N dy 33147   4933552      4257     85800         0    172507    429000  15880011    146.45    154.36
1028.81/1028.89	c  N dy 33285   4953585      4257     85800         0    192538    429000  19973086    146.46    156.96
1034.03/1034.02	c  N dy 33421   4973718      4257     85800         0    112704    429000   3566085    146.46    155.02
1038.51/1038.50	c  N dy 33553   4993767      4257     85800         0    132741    429000   7637662    146.46    155.84
1043.61/1043.65	c  N dy 33695   5013928      4257     85800         0    152895    429000  11746008    146.47    158.67
1049.11/1049.13	c  N dy 33832   5034017      4257     85800         0    172975    429000  15822588    146.48    156.00
1055.11/1055.18	c  N dy 33974   5054048      4257     85800         0    193001    429000  19891416    146.49    154.68
1060.42/1060.47	c  N dy 34113   5074080      4257     85800         0    112056    429000   3251793    146.50    155.98
1064.91/1064.97	c  N dy 34254   5094102      4257     85800         0    132074    429000   7326253    146.51    155.22
1069.90/1069.96	c  N dy 34394   5114131      4257     85800         0    152099    429000  11355134    146.51    155.77
1075.31/1075.39	c  N dy 34528   5134166      4257     85800         0    172128    429000  15403936    146.52    159.48
1081.32/1081.37	c  N dy 34668   5154312      4257     85800         0    192267    429000  19466035    146.52    159.00
1086.91/1086.94	c  N dy 34803   5174428      4257     85800         0    110408    429000   2737562    146.52    154.41
1091.41/1091.44	c  N dy 34942   5194470      4257     85800         0    130446    429000   6823741    146.53    157.44
1096.31/1096.35	c  N dy 35075   5214557      4257     85800         0    150520    429000  10859691    146.52    155.23
1101.81/1101.89	c  N dy 35213   5234675      4257     85800         0    170631    429000  14889014    146.53    157.61
1107.81/1107.80	c  N dy 35348   5254779      4257     85800         0    190729    429000  18946405    146.53    155.00
1113.71/1113.72	c  N dy 35480   5274969      4257     85800         0    107943    429000   2020245    146.53    155.03
1118.11/1118.10	c  N dy 35619   5294981      4257     85800         0    127947    429000   6045437    146.53    158.32
1123.02/1123.03	c  N dy 35754   5315061      4257     85800         0    148022    429000  10088301    146.54    176.87
1128.41/1128.42	c  N dy 35895   5335107      4257     85800         0    168062    429000  14171987    146.55    166.56
1134.31/1134.30	c  N dy 36029   5355207      4257     85800         0    188159    429000  18226215    146.55    154.58
1140.72/1140.72	c  N dy 36168   5375228      4257     85800         0    104213    429000   1086467    146.55    155.15
1144.90/1145.01	c  N dy 36305   5395248      4257     85800         0    124229    429000   5178331    146.56    154.55
1149.81/1149.87	c  N dy 36446   5415369      4257     85800         0    144345    429000   9293611    146.57    162.07
1155.21/1155.21	c  N dy 36587   5435395      4257     85800         0    164364    429000  13333163    146.57    155.98
1160.81/1160.82	c  N dy 36717   5455418      4257     85800         0    184379    429000  17359631    146.57    156.04
1167.02/1167.04	c  N dy 36846   5475451      4257     85800         0    204404    429000  21391899    146.57    155.37
1172.11/1172.14	c  N dy 36983   5495483      4257     85800         0    119456    429000   4002434    146.57    157.63
1176.92/1176.91	c  N dy 37116   5516014      4257     85800         0    139984    429000   8140251    146.57    165.65
1182.11/1182.15	c  N dy 37248   5536419      4257     85800         0    160380    429000  12239294    146.57    158.90
1187.81/1187.82	c  N dy 37382   5556510      4257     85800         0    180466    429000  16354468    146.57    188.59
1193.91/1193.94	c  N dy 37512   5576555      4257     85800         0    200506    429000  20412281    146.58    155.08
1199.61/1199.61	c  N dy 37649   5596657      4257     85800         0    114634    429000   2816960    146.58    155.42
1204.11/1204.19	c  N dy 37785   5616836      4257     85800         0    134804    429000   6930817    146.59    155.53
1209.11/1209.18	c  N dy 37916   5636934      4257     85800         0    154895    429000  10964365    146.59    170.58
1214.51/1214.58	c  N dy 38050   5657018      4257     85800         0    174973    429000  14999745    146.59    156.74
1220.71/1220.70	c  N dy 38194   5677064      4257     85800         0    195008    429000  19084339    146.60    177.85
1227.11/1227.14	c  N dy 38329   5697267      4257     85800         0    108247    429000   1334424    146.61    158.02
1231.51/1231.56	c  N dy 38465   5717465      4257     85800         0    128433    429000   5414947    146.61    159.33
1236.42/1236.43	c  N dy 38602   5737536      4257     85800         0    148500    429000   9437801    146.61    157.58
1241.71/1241.81	c  N dy 38741   5757566      4257     85800         0    168523    429000  13535287    146.61    161.08
1247.51/1247.56	c  N dy 38872   5777697      4257     85800         0    188648    429000  17662635    146.62    155.02
1253.81/1253.89	c  N dy 39006   5797789      4257     85800         0    208734    429000  21769953    146.63    158.27
1259.21/1259.22	c  N dy 39144   5817972      4257     85800         0    120952    429000   3680854    146.63    155.17
1263.93/1263.94	c  N dy 39278   5838091      4257     85800         0    141064    429000   7728705    146.63    163.50
1269.12/1269.17	c  N dy 39419   5858108      4257     85800         0    161073    429000  11748169    146.64    154.57
1274.82/1274.89	c  N dy 39554   5878201      4257     85800         0    181157    429000  15813850    146.64    155.53
1281.01/1281.08	c  N dy 39693   5898253      4257     85800         0    201206    429000  19867112    146.64    156.87
1287.41/1287.43	c  N dy 39824   5918285      4257     85800         0    112282    429000   1752441    146.64    176.79
1291.91/1291.90	c  N dy 39958   5938376      4257     85800         0    132370    429000   5813471    146.64    157.68
1296.83/1296.87	c  N dy 40093   5958419      4257     85800         0    152409    429000   9836242    146.64    156.45
1302.43/1302.42	c  N dy 40231   5978663      4257     85800         0    172647    429000  13890181    146.64    154.84
1308.51/1308.51	c  N dy 40371   5998775      4257     85800         0    192753    429000  17942395    146.64    157.31
1314.91/1314.98	c  N dy 40508   6018809      4257     85800         0    212779    429000  22028884    146.65    187.75
1320.51/1320.50	c  N dy 40655   6038943      4257     85800         0    122928    429000   3781421    146.66    154.58
1325.31/1325.33	c  N dy 40791   6059337      4257     85800         0    143318    429000   7887768    146.67    159.53
1330.61/1330.65	c  N dy 40929   6079395      4257     85800         0    163372    429000  11960876    146.67    157.16
1336.32/1336.40	c  N dy 41062   6099599      4257     85800         0    183567    429000  16041707    146.67    154.43
1342.61/1342.66	c  N dy 41207   6119668      4257     85800         0    203629    429000  20158454    146.68    156.53
1349.22/1349.29	c  N dy 41341   6139739      4257     85800         0    112729    429000   1460426    146.68    158.03
1353.72/1353.78	c  N dy 41474   6159897      4257     85800         0    132880    429000   5500571    146.68    156.84
1358.71/1358.71	c  N dy 41606   6179901      4257     85800         0    152878    429000   9467462    146.68    155.41
1364.21/1364.29	c  N dy 41751   6199979      4257     85800         0    172946    429000  13526691    146.69    160.12
1370.31/1370.34	c  N dy 41894   6220078      4257     85800         0    193042    429000  17598211    146.69    156.11
1376.82/1376.82	c  N dy 42031   6240142      4257     85800         0    213099    429000  21652478    146.70    158.07
1382.73/1382.79	c  N dy 42174   6260191      4257     85800         0    121170    429000   3009661    146.71    156.03
1387.52/1387.50	c  N dy 42310   6280226      4257     85800         0    141194    429000   7027841    146.71    163.54
1392.71/1392.72	c  N dy 42450   6300385      4257     85800         0    161344    429000  11085019    146.71    160.29
1398.32/1398.37	c  N dy 42585   6320450      4257     85800         0    181402    429000  15122058    146.71    155.64
1404.51/1404.56	c  N dy 42720   6340631      4257     85800         0    201576    429000  19215645    146.71    155.59
1411.01/1411.09	c  N dy 42849   6360696      4257     85800         0    221634    429000  23247513    146.71    160.51
1416.21/1416.28	c  N dy 42989   6380734      4257     85800         0    128698    429000   4344506    146.72    156.85
1421.02/1421.08	c  N dy 43117   6400759      4257     85800         0    148715    429000   8352778    146.71    157.69
1426.41/1426.41	c  N dy 43248   6420956      4257     85800         0    168904    429000  12428946    146.71    154.91
1432.12/1432.13	c  N dy 43380   6441030      4257     85800         0    188971    429000  16509489    146.72    155.52
1438.41/1438.43	c  N dy 43507   6461039      4257     85800         0    208975    429000  20539964    146.72    158.23
1445.32/1445.33	c  N dy 43644   6481052      4257     85800         0    115036    429000   1357498    146.72    171.12
1449.92/1449.97	c  N dy 43786   6501060      4257     85800         0    135037    429000   5402810    146.73    154.88
1454.92/1454.93	c  N dy 43915   6521138      4257     85800         0    155110    429000   9447356    146.73    159.02
1460.32/1460.39	c  N dy 44046   6541249      4257     85800         0    175211    429000  13521626    146.73    155.77
1466.42/1466.45	c  N dy 44178   6561301      4257     85800         0    195258    429000  17581402    146.73    155.90
1473.11/1473.16	c  N dy 44309   6582517      4257     85800         0    216468    429000  21922989    146.73    155.82
1479.32/1479.37	c  N dy 44447   6602582      4257     85800         0    121558    429000   2489452    146.74    159.08
1484.01/1484.07	c  N dy 44583   6622614      4257     85800         0    141581    429000   6494933    146.74    169.98
1489.21/1489.23	c  N dy 44720   6642639      4257     85800         0    161602    429000  10530502    146.74    156.82
1494.83/1494.84	c  N dy 44850   6662951      4257     85800         0    181910    429000  14623543    146.74    154.79
1500.92/1500.98	c  N dy 44988   6683010      4257     85800         0    201960    429000  18683949    146.74    157.03
1507.62/1507.69	c  N dy 45128   6703058      4257     85800         0    222001    429000  22753871    146.75    154.80
1513.64/1513.62	c  N dy 45270   6723224      4257     85800         0    126194    429000   3259198    146.75    169.86
1518.42/1518.48	c  N dy 45410   6743321      4257     85800         0    146285    429000   7324914    146.76    158.88
1523.71/1523.78	c  N dy 45548   6763369      4257     85800         0    166325    429000  11368589    146.77    160.49
1529.51/1529.55	c  N dy 45680   6783425      4257     85800         0    186370    429000  15431973    146.77    154.81
1535.91/1535.98	c  N dy 45822   6803626      4257     85800         0    206566    429000  19585364    146.78    155.38
1542.71/1542.79	c  N dy 45961   6823677      4257     85800         0    226609    429000  23660548    146.78    156.37
1548.32/1548.38	c  N dy 46089   6843696      4257     85800         0    129671    429000   3736257    146.78    157.52
1553.31/1553.30	c  N dy 46231   6863731      4257     85800         0    149697    429000   7794550    146.79    158.89
1558.62/1558.71	c  N dy 46365   6883743      4257     85800         0    169702    429000  11842254    146.79    154.88
1564.61/1564.60	c  N dy 46498   6903819      4257     85800         0    189770    429000  15921464    146.79    155.68
1571.02/1571.01	c  N dy 46630   6923824      4257     85800         0    209764    429000  19932735    146.79    156.76
1577.91/1577.98	c  N dy 46767   6943862      4257     85800         0    229793    429000  24021927    146.80    158.40
1583.41/1583.47	c  N dy 46901   6963998      4257     85800         0    131967    429000   4075482    146.80    154.85
1588.51/1588.53	c  N dy 47040   6984254      4257     85800         0    152217    429000   8193195    146.80    154.71
1593.93/1593.94	c  N dy 47173   7004314      4257     85800         0    172271    429000  12251038    146.81    183.70
1599.92/1599.93	c  N dy 47309   7024400      4257     85800         0    192350    429000  16334811    146.81    159.87
1606.31/1606.37	c  N dy 47439   7044503      4257     85800         0    212442    429000  20399065    146.81    159.84
1613.32/1613.39	c  N dy 47579   7064699      4257     85800         0    232630    429000  24522166    146.81    155.72
1618.82/1618.80	c  N dy 47716   7084815      4257     85800         0    133775    429000   4197388    146.81    155.82
1623.82/1623.88	c  N dy 47860   7104830      4257     85800         0    153785    429000   8277264    146.82    156.97
1629.31/1629.39	c  N dy 47997   7124908      4257     85800         0    173857    429000  12302225    146.82    154.98
1635.52/1635.53	c  N dy 48142   7144941      4257     85800         0    193879    429000  16339975    146.82    156.15
1642.01/1642.00	c  N dy 48277   7164961      4257     85800         0    213896    429000  20364192    146.82    156.60
1648.94/1648.96	c  N dy 48413   7185019      4257     85800         0    233948    429000  24440739    146.83    157.75
1654.62/1654.61	c  N dy 48556   7205221      4257     85800         0    134184    429000   4114307    146.84    158.05
1659.72/1659.70	c  N dy 48694   7225268      4257     85800         0    154226    429000   8171019    146.84    158.35
1665.22/1665.29	c  N dy 48832   7245383      4257     85800         0    174339    429000  12228504    146.84    156.55
1671.31/1671.38	c  N dy 48965   7265510      4257     85800         0    194462    429000  16240714    146.84    154.96
1677.81/1677.89	c  N dy 49100   7285662      4257     85800         0    214611    429000  20293569    146.84    158.30
1684.81/1684.83	c  N dy 49236   7305742      4257     85800         0    234684    429000  24360079    146.84    155.11
1690.52/1690.61	c  N dy 49377   7325871      4257     85800         0    133841    429000   3830280    146.85    160.95
1695.61/1695.69	c  N dy 49520   7345938      4257     85800         0    153904    429000   7888568    146.86    155.96
1701.22/1701.20	c  N dy 49659   7366036      4257     85800         0    173992    429000  11956004    146.86    155.14
1707.01/1707.04	c  N dy 49795   7386117      4257     85800         0    194066    429000  16054140    146.86    211.78
1713.42/1713.48	c  N dy 49927   7406264      4257     85800         0    214208    429000  20174065    146.87    155.06
1720.52/1720.59	c  N dy 50067   7426336      4257     85800         0    234271    429000  24260201    146.87    164.89
1726.72/1726.75	c  N dy 50208   7446374      4257     85800         0    132343    429000   3309106    146.87    157.16
1731.72/1731.72	c  N dy 50341   7466499      4257     85800         0    152463    429000   7388208    146.88    154.84
1737.12/1737.11	c  N dy 50474   7486532      4257     85800         0    172484    429000  11430488    146.88    157.41
1743.02/1743.00	c  N dy 50603   7506593      4257     85800         0    192541    429000  15489720    146.88    206.50
1749.52/1749.58	c  N dy 50741   7526712      4257     85800         0    212654    429000  19602663    146.88    159.70
1756.63/1756.69	c  N dy 50883   7546867      4257     85800         0    232802    429000  23672014    146.89    154.65
1763.33/1763.32	c  N dy 51019   7566907      4257     85800         0    129875    429000   2627678    146.89    158.02
1768.32/1768.31	c  N dy 51161   7586990      4257     85800         0    149949    429000   6762478    146.90    156.90
1773.72/1773.75	c  N dy 51301   7607155      4257     85800         0    170106    429000  10861464    146.90    157.71
1779.62/1779.61	c  N dy 51437   7627230      4257     85800         0    190178    429000  14908148    146.90    184.98
1786.02/1786.00	c  N dy 51579   7647242      4257     85800         0    210188    429000  18987273    146.90    194.10
1792.93/1792.94	c  N dy 51719   7667327      4257     85800         0    230269    429000  23057043    146.91    155.93
1800.22/1800.21	c  N dy 51863   7687438      4257     85800         0    126419    429000   1740584    146.91    156.89
1805.03/1805.09	c  N dy 52009   7707523      4257     85800         0    146496    429000   5846668    146.92    156.43
1810.32/1810.37	c  N dy 52142   7727658      4257     85800         0    166626    429000   9897909    146.92    156.43
1816.22/1816.21	c  N dy 52277   7747694      4257     85800         0    186653    429000  13988283    146.92    159.14
1822.52/1822.59	c  N dy 52414   7767824      4257     85800         0    206778    429000  18017629    146.92    155.70
1829.24/1829.31	c  N dy 52549   7787911      4257     85800         0    226861    429000  22046309    146.92    155.11
1836.52/1836.50	c  N dy 52682   7807931      4257     85800         0    246880    429000  26102389    146.92    155.86
1841.82/1841.84	c  N dy 52819   7828011      4257     85800         0    141984    429000   4701120    146.93    156.17
1846.94/1846.97	c  N dy 52948   7848029      4257     85800         0    161996    429000   8761969    146.93    155.17
1852.72/1852.71	c  N dy 53090   7868195      4257     85800         0    182159    429000  12805580    146.93    161.84
1858.94/1858.92	c  N dy 53234   7888227      4257     85800         0    202187    429000  16901735    146.93    155.19
1865.63/1865.63	c  N dy 53370   7908290      4257     85800         0    222240    429000  20974707    146.93    157.77
1872.92/1872.90	c  N dy 53515   7928314      4257     85800         0    242257    429000  25038242    146.94    170.69
1879.32/1879.30	c  N dy 53666   7948380      4257     85800         0    136349    429000   3398635    146.95    177.64
1884.34/1884.39	c  N dy 53796   7968448      4257     85800         0    156407    429000   7475073    146.95    186.01
1889.92/1889.94	c  N dy 53936   7988550      4257     85800         0    176504    429000  11559651    146.96    158.38
1895.92/1895.92	c  N dy 54065   8008568      4257     85800         0    196514    429000  15559706    146.95    156.51
1902.42/1902.42	c  N dy 54205   8028597      4257     85800         0    216535    429000  19647015    146.96    155.40
1909.42/1909.48	c  N dy 54347   8048637      4257     85800         0    236572    429000  23756922    146.97    160.56
1916.62/1916.69	c  N dy 54474   8069033      4257     85800         0    129995    429000   1881657    146.97    157.95
1921.52/1921.58	c  N dy 54611   8089053      4257     85800         0    150010    429000   5903781    146.97    162.30
1927.02/1927.00	c  N dy 54757   8109089      4257     85800         0    170036    429000  10006383    146.98    160.33
1932.93/1932.91	c  N dy 54899   8129114      4257     85800         0    190056    429000  14054258    146.98    160.58
1939.23/1939.28	c  N dy 55037   8149180      4257     85800         0    210117    429000  18130560    146.98    157.29
1946.12/1946.13	c  N dy 55174   8169183      4257     85800         0    230114    429000  22208295    146.99    154.84
1953.43/1953.51	c  N dy 55311   8189231      4257     85800         0    250156    429000  26260283    146.99    157.47
1959.33/1959.31	c  N dy 55450   8209274      4257     85800         0    142245    429000   4205989    147.00    155.84
1964.54/1964.59	c  N dy 55591   8229404      4257     85800         0    162368    429000   8280045    147.00    154.77
1970.32/1970.35	c  N dy 55729   8249430      4257     85800         0    182388    429000  12307102    147.00    158.13
1976.52/1976.56	c  N dy 55868   8269523      4257     85800         0    202481    429000  16407273    147.00    155.22
1983.23/1983.26	c  N dy 56000   8289681      4257     85800         0    222634    429000  20535299    147.01    156.95
1990.42/1990.47	c  N dy 56139   8309712      4257     85800         0    242661    429000  24595618    147.01    156.74
1997.53/1997.61	c  N dy 56277   8329781      4257     85800         0    133768    429000   2265664    147.01    160.54
2002.53/2002.53	c  N dy 56413   8349844      4257     85800         0    153827    429000   6326245    147.01    155.83
2007.92/2007.98	c  N dy 56545   8369970      4257     85800         0    173942    429000  10456410    147.02    159.24
2013.92/2013.90	c  N dy 56682   8390086      4257     85800         0    194055    429000  14497456    147.01    158.48
2020.43/2020.40	c  N dy 56823   8410107      4257     85800         0    214074    429000  18584907    147.02    162.14
2027.43/2027.41	c  N dy 56960   8430215      4257     85800         0    234173    429000  22672323    147.02    155.14
2034.82/2034.83	c  N dy 57094   8450305      4257     85800         0    254258    429000  26711973    147.02    156.25
2040.72/2040.74	c  N dy 57233   8470359      4257     85800         0    144340    429000   4183841    147.02    180.26
2045.94/2045.99	c  N dy 57373   8490403      4257     85800         0    164378    429000   8258992    147.03    155.41
2051.83/2051.83	c  N dy 57515   8510479      4257     85800         0    184444    429000  12331300    147.03    161.47
2058.03/2058.06	c  N dy 57652   8530600      4257     85800         0    204558    429000  16399943    147.03    158.86
2064.74/2064.73	c  N dy 57781   8550681      4257     85800         0    224633    429000  20475016    147.03    158.48
2072.13/2072.12	c  N dy 57919   8571176      4257     85800         0    245118    429000  24581438    147.03    155.73
2079.63/2079.61	c  N dy 58060   8591258      4257     85800         0    134230    429000   1964229    147.04    155.22
2084.54/2084.55	c  N dy 58193   8611312      4257     85800         0    154276    429000   6018455    147.04    163.40
2090.04/2090.07	c  N dy 58328   8631538      4257     85800         0    174498    429000  10096293    147.04    158.92
2096.03/2096.09	c  N dy 58465   8651692      4257     85800         0    194642    429000  14179985    147.04    155.34
2102.63/2102.64	c  N dy 58606   8671817      4257     85800         0    214757    429000  18262972    147.05    155.39
2109.62/2109.67	c  N dy 58748   8691837      4257     85800         0    234769    429000  22328039    147.05    155.86
2117.32/2117.30	c  N dy 58896   8711847      4257     85800         0    254777    429000  26474504    147.06    156.07
2123.72/2123.75	c  N dy 59038   8731935      4257     85800         0    142905    429000   3554503    147.07    157.28
2128.83/2128.88	c  N dy 59166   8752047      4257     85800         0    163011    429000   7615453    147.07    156.30
2134.42/2134.47	c  N dy 59298   8772077      4257     85800         0    183034    429000  11692741    147.07    155.96
2140.73/2140.79	c  N dy 59441   8792199      4257     85800         0    203151    429000  15791796    147.07    155.25
2147.73/2147.70	c  N dy 59586   8812272      4257     85800         0    223216    429000  19901857    147.08    176.49
2154.84/2154.91	c  N dy 59725   8832337      4257     85800         0    243274    429000  23969114    147.08    158.94
2162.72/2162.78	c  N dy 59870   8852527      4257     85800         0    263457    429000  28083174    147.09    155.69
2168.23/2168.27	c  N dy 60003   8872595      4257     85800         0    150566    429000   4893643    147.09    160.78
2173.64/2173.67	c  N dy 60143   8892672      4257     85800         0    170636    429000   8936990    147.09    155.10
2179.53/2179.56	c  N dy 60280   8912682      4257     85800         0    190642    429000  12979785    147.09    159.77
2185.83/2185.89	c  N dy 60414   8932749      4257     85800         0    210700    429000  17063709    147.09    155.42
2192.92/2192.92	c  N dy 60557   8952825      4257     85800         0    230769    429000  21130913    147.10    155.72
2200.23/2200.26	c  N dy 60690   8972898      4257     85800         0    250836    429000  25156791    147.10    156.93
2207.92/2207.92	c  N dy 60830   8992984      4257     85800         0    136954    429000   1940196    147.10    160.59
2213.02/2213.00	c  N dy 60967   9012998      4257     85800         0    156960    429000   6005193    147.10    157.25
2218.53/2218.59	c  N dy 61109   9033064      4257     85800         0    177016    429000  10089482    147.10    155.22
2224.62/2224.65	c  N dy 61243   9053128      4257     85800         0    197071    429000  14138017    147.11    158.81
2231.03/2231.09	c  N dy 61376   9073267      4257     85800         0    217202    429000  18245944    147.11    158.53
2238.02/2238.07	c  N dy 61516   9093332      4257     85800         0    237263    429000  22338819    147.11    156.86
2245.43/2245.40	c  N dy 61647   9113343      4257     85800         0    257271    429000  26451453    147.12    167.34
2252.43/2252.42	c  N dy 61786   9133475      4257     85800         0    142445    429000   2898473    147.12    155.48
2257.63/2257.64	c  N dy 61930   9153608      4257     85800         0    162568    429000   7000134    147.13    156.80
2263.23/2263.27	c  N dy 62071   9173616      4257     85800         0    182567    429000  11104258    147.13    188.37
2269.42/2269.46	c  N dy 62213   9193672      4257     85800         0    202615    429000  15228898    147.14    171.26
2276.03/2276.04	c  N dy 62352   9213759      4257     85800         0    222699    429000  19321707    147.15    162.90
2283.23/2283.21	c  N dy 62488   9233763      4257     85800         0    242701    429000  23368515    147.15    156.61
2291.02/2291.02	c  N dy 62630   9253790      4257     85800         0    262722    429000  27462709    147.15    156.78
2297.53/2297.57	c  N dy 62766   9273888      4257     85800         0    146857    429000   3580205    147.16    155.02
2302.92/2302.91	c  N dy 62904   9293920      4257     85800         0    166881    429000   7574705    147.16    176.66
2308.73/2308.80	c  N dy 63043   9313993      4257     85800         0    186950    429000  11651608    147.16    156.73
2315.02/2315.09	c  N dy 63181   9334026      4257     85800         0    206979    429000  15722857    147.16    173.38
2321.82/2321.89	c  N dy 63319   9354041      4257     85800         0    226989    429000  19796384    147.16    158.24
2329.03/2329.07	c  N dy 63454   9374057      4257     85800         0    246995    429000  23848217    147.16    157.15
2336.82/2336.85	c  N dy 63599   9394127      4257     85800         0    267058    429000  27978117    147.17    170.58
2343.23/2343.26	c  N dy 63743   9414203      4257     85800         0    150167    429000   4062783    147.18    159.14
2348.44/2348.48	c  N dy 63872   9434233      4257     85800         0    170192    429000   8128571    147.18    154.98
2354.43/2354.41	c  N dy 64014   9454257      4257     85800         0    190207    429000  12234621    147.18    167.43
2360.83/2360.85	c  N dy 64155   9474338      4257     85800         0    210280    429000  16369608    147.19    159.51
2367.63/2367.60	c  N dy 64285   9494431      4257     85800         0    230367    429000  20453599    147.19    163.99
2375.03/2375.02	c  N dy 64423   9514575      4257     85800         0    250504    429000  24534758    147.19    157.80
2382.83/2382.86	c  N dy 64557   9534733      4257     85800         0    270649    429000  28612023    147.19    155.64
2388.83/2388.88	c  N dy 64693   9554868      4257     85800         0    152842    429000   4380059    147.19    159.17
2394.23/2394.24	c  N dy 64826   9574969      4257     85800         0    172937    429000   8443958    147.19    157.54
2400.14/2400.15	c  N dy 64968   9595007      4257     85800         0    192964    429000  12542057    147.20    155.91
2406.53/2406.53	c  N dy 65101   9615094      4257     85800         0    213042    429000  16636503    147.20    159.80
2413.53/2413.51	c  N dy 65241   9635151      4257     85800         0    233093    429000  20706563    147.20    157.71
2421.04/2421.04	c  N dy 65379   9655262      4257     85800         0    253197    429000  24791966    147.21    156.60
2428.93/2428.91	c  N dy 65520   9675340      4257     85800         0    273268    429000  28935504    147.21    155.99
2434.73/2434.79	c  N dy 65655   9695442      4257     85800         0    154412    429000   4524275    147.22    158.65
2440.33/2440.31	c  N dy 65797   9715596      4257     85800         0    174562    429000   8633186    147.22    158.56
2446.23/2446.25	c  N dy 65931   9735724      4257     85800         0    194685    429000  12705978    147.22    155.21
2452.73/2452.70	c  N dy 66065   9755817      4257     85800         0    214770    429000  16841731    147.22    162.23
2459.73/2459.72	c  N dy 66205   9775837      4257     85800         0    234786    429000  20929197    147.22    158.78
2467.13/2467.17	c  N dy 66341   9796006      4257     85800         0    254947    429000  25061095    147.23    160.20
2475.04/2475.09	c  N dy 66480   9816046      4257     85800         0    274977    429000  29104019    147.23    173.62
2481.13/2481.18	c  N dy 66618   9836200      4257     85800         0    155160    429000   4476229    147.23    156.62
2486.63/2486.65	c  N dy 66749   9856320      4257     85800         0    175272    429000   8567470    147.23    156.92
2492.65/2492.66	c  N dy 66886   9876460      4257     85800         0    195405    429000  12682976    147.24    157.95
2499.14/2499.11	c  N dy 67023   9896543      4257     85800         0    215480    429000  16731974    147.24    165.17
2506.13/2506.17	c  N dy 67165   9916548      4257     85800         0    235476    429000  20882957    147.24    175.47
2513.63/2513.68	c  N dy 67301   9936577      4257     85800         0    255498    429000  24921161    147.24    168.05
2521.63/2521.67	c  N dy 67433   9956704      4257     85800         0    275620    429000  28957970    147.24    165.49
2527.93/2527.93	c  N dy 67571   9976770      4257     85800         0    154730    429000   4219669    147.24    159.71
2533.43/2533.48	c  N dy 67708   9997073      4257     85800         0    175027    429000   8324903    147.24    158.70
2539.63/2539.62	c  N dy 67848  10017432      4257     85800         0    195381    429000  12492668    147.25    155.05
2546.23/2546.20	c  N dy 67983  10037636      4257     85800         0    215584    429000  16570888    147.25    158.00
2553.23/2553.22	c  N dy 68119  10057647      4257     85800         0    235585    429000  20667002    147.25    156.68
2560.63/2560.64	c  N dy 68251  10077773      4257     85800         0    255708    429000  24757180    147.25    156.00
2568.34/2568.35	c  N dy 68380  10097779      4257     85800         0    275708    429000  28792321    147.25    156.48
2574.93/2574.90	c  N dy 68506  10117792      4257     85800         0    153754    429000   3793246    147.25    158.91
2580.33/2580.33	c  N dy 68636  10137874      4257     85800         0    173825    429000   7874657    147.25    159.26
2586.33/2586.33	c  N dy 68777  10157933      4257     85800         0    193877    429000  11993278    147.26    156.67
2592.64/2592.69	c  N dy 68912  10177946      4257     85800         0    213884    429000  16036277    147.26    158.22
2599.63/2599.66	c  N dy 69047  10198063      4257     85800         0    233995    429000  20104236    147.26    158.35
2606.95/2607.01	c  N dy 69179  10218144      4257     85800         0    254069    429000  24174892    147.26    156.82
2615.03/2615.09	c  N dy 69322  10238284      4257     85800         0    274202    429000  28325300    147.26    157.35
2622.34/2622.39	c  N dy 69467  10258384      4257     85800         0    151350    429000   3179895    147.27    155.34
2627.73/2627.77	c  N dy 69600  10278509      4257     85800         0    171472    429000   7257431    147.27    158.04
2633.64/2633.61	c  N dy 69739  10298552      4257     85800         0    191505    429000  11292108    147.27    167.31
2640.05/2640.02	c  N dy 69879  10318645      4257     85800         0    211585    429000  15369516    147.27    158.94
2646.93/2646.95	c  N dy 70015  10338777      4257     85800         0    231712    429000  19530370    147.28    157.80
2654.43/2654.41	c  N dy 70159  10358791      4257     85800         0    251718    429000  23658463    147.28    158.06
2662.33/2662.35	c  N dy 70299  10378937      4257     85800         0    271855    429000  27729398    147.29    155.91
2670.24/2670.27	c  N dy 70437  10399061      4257     85800         0    148018    429000   2284033    147.29    162.37
2675.63/2675.62	c  N dy 70575  10419095      4257     85800         0    168045    429000   6389371    147.30    167.22
2681.44/2681.40	c  N dy 70714  10439096      4257     85800         0    188037    429000  10510341    147.30    157.37
2687.63/2687.69	c  N dy 70851  10459185      4257     85800         0    208118    429000  14553104    147.30    158.65
2694.44/2694.50	c  N dy 70988  10479265      4257     85800         0    228193    429000  18670304    147.31    157.93
2701.83/2701.85	c  N dy 71128  10499331      4257     85800         0    248251    429000  22758177    147.31    166.63
2709.53/2709.58	c  N dy 71265  10519538      4257     85800         0    268454    429000  26848940    147.31    155.31
2717.94/2717.92	c  N dy 71402  10539601      4257     85800         0    288513    429000  30911329    147.32    159.08
2723.55/2723.55	c  N dy 71539  10559648      4257     85800         0    163604    429000   5242921    147.32    159.45
2729.33/2729.34	c  N dy 71680  10579767      4257     85800         0    183714    429000   9417048    147.32    156.35
2735.54/2735.51	c  N dy 71814  10599837      4257     85800         0    203777    429000  13443873    147.32    182.67
2742.13/2742.12	c  N dy 71950  10619847      4257     85800         0    223783    429000  17511370    147.32    156.46
2749.33/2749.30	c  N dy 72085  10639876      4257     85800         0    243809    429000  21585420    147.32    160.91
2756.93/2756.90	c  N dy 72222  10659878      4257     85800         0    263805    429000  25637469    147.33    157.57
2765.13/2765.15	c  N dy 72359  10679970      4257     85800         0    283889    429000  29726950    147.33    157.91
2771.95/2772.01	c  N dy 72503  10699986      4257     85800         0    157946    429000   3880356    147.33    157.61
2777.55/2777.52	c  N dy 72639  10720032      4257     85800         0    177990    429000   7958214    147.34    155.29
2783.63/2783.67	c  N dy 72780  10740121      4257     85800         0    198071    429000  12097779    147.34    157.27
2790.33/2790.30	c  N dy 72918  10760287      4257     85800         0    218229    429000  16206638    147.35    166.14
2797.44/2797.40	c  N dy 73060  10780341      4257     85800         0    238280    429000  20311405    147.35    156.08
2804.84/2804.87	c  N dy 73194  10800491      4257     85800         0    258423    429000  24412255    147.35    160.13
2812.65/2812.65	c  N dy 73323  10820578      4257     85800         0    278500    429000  28488601    147.35    176.41
2820.64/2820.64	c  N dy 73463  10840612      4257     85800         0    151577    429000   2418849    147.36    155.66
2826.04/2826.06	c  N dy 73603  10860678      4257     85800         0    171636    429000   6480631    147.36    160.47
2831.94/2831.96	c  N dy 73733  10880690      4257     85800         0    191642    429000  10569385    147.36    155.31
2838.33/2838.35	c  N dy 73874  10900742      4257     85800         0    211686    429000  14635743    147.36    159.48
2845.14/2845.12	c  N dy 74003  10921082      4257     85800         0    232021    429000  18759578    147.36    159.83
2852.43/2852.46	c  N dy 74146  10941198      4257     85800         0    252126    429000  22843665    147.37    162.63
2860.14/2860.16	c  N dy 74278  10961235      4257     85800         0    272157    429000  26877553    147.37    161.60
2868.44/2868.42	c  N dy 74415  10981299      4257     85800         0    292221    429000  30938396    147.37    156.22
2874.54/2874.56	c  N dy 74549  11001411      4257     85800         0    164379    429000   4827280    147.37    156.69
2880.13/2880.19	c  N dy 74681  11021505      4257     85800         0    184468    429000   8909790    147.37    160.09
2886.45/2886.46	c  N dy 74819  11041569      4257     85800         0    204522    429000  12965253    147.37    162.86
2893.24/2893.22	c  N dy 74961  11061593      4257     85800         0    224541    429000  17013178    147.37    155.48
2900.44/2900.47	c  N dy 75101  11081647      4257     85800         0    244589    429000  21125034    147.37    156.28
2908.03/2908.07	c  N dy 75234  11101699      4257     85800         0    264635    429000  25217810    147.38    180.05
2916.33/2916.38	c  N dy 75375  11121808      4257     85800         0    284739    429000  29335901    147.38    158.62
2924.23/2924.22	c  N dy 75519  11141837      4257     85800         0    155800    429000   2882026    147.38    157.86
2929.54/2929.59	c  N dy 75651  11161847      4257     85800         0    175808    429000   6950024    147.38    156.08
2935.64/2935.65	c  N dy 75791  11181966      4257     85800         0    195920    429000  11081676    147.39    157.03
2942.04/2942.07	c  N dy 75928  11201994      4257     85800         0    215942    429000  15114577    147.39    155.44
2948.94/2949.01	c  N dy 76063  11222038      4257     85800         0    235980    429000  19211343    147.39    155.71
2956.63/2956.60	c  N dy 76201  11242281      4257     85800         0    256217    429000  23298518    147.39    158.24
2964.64/2964.64	c  N dy 76339  11262363      4257     85800         0    276293    429000  27367779    147.39    163.21
2973.14/2973.15	c  N dy 76477  11282692      4257     85800         0    296619    429000  31513014    147.39    158.78
2979.03/2979.07	c  N dy 76607  11302764      4257     85800         0    166726    429000   4953399    147.39    157.79
2984.93/2984.96	c  N dy 76747  11323052      4257     85800         0    187010    429000   9108231    147.40    156.46
2991.24/2991.26	c  N dy 76890  11343102      4257     85800         0    207053    429000  13209157    147.40    155.25
2997.84/2997.86	c  N dy 77016  11363370      4257     85800         0    227317    429000  17353647    147.40    161.48
3005.04/3005.08	c  N dy 77145  11383431      4257     85800         0    247370    429000  21406674    147.40    156.10
3012.64/3012.67	c  N dy 77276  11403463      4257     85800         0    267394    429000  25490095    147.41    182.26
3021.14/3021.10	c  N dy 77418  11423581      4257     85800         0    287509    429000  29589745    147.41    156.67
3029.14/3029.17	c  N dy 77556  11443643      4257     85800         0    156611    429000   2668335    147.41    162.19
3034.63/3034.65	c  N dy 77688  11463742      4257     85800         0    176704    429000   6771187    147.41    156.17
3040.74/3040.72	c  N dy 77827  11483865      4257     85800         0    196823    429000  10834191    147.41    160.41
3047.24/3047.26	c  N dy 77965  11503945      4257     85800         0    216896    429000  14942724    147.41    155.46
3054.34/3054.33	c  N dy 78105  11524045      4257     85800         0    236994    429000  19050131    147.42    158.99
3061.94/3061.97	c  N dy 78246  11544213      4257     85800         0    257156    429000  23137649    147.42    158.27
3069.83/3069.86	c  N dy 78383  11564222      4257     85800         0    277161    429000  27186300    147.42    158.21
3078.24/3078.29	c  N dy 78520  11584265      4257     85800         0    297199    429000  31298701    147.42    157.26
3085.04/3085.06	c  N dy 78661  11604329      4257     85800         0    165294    429000   4235542    147.43    178.57
3090.95/3090.96	c  N dy 78807  11624463      4257     85800         0    185427    429000   8375842    147.44    160.77
3097.14/3097.20	c  N dy 78944  11644511      4257     85800         0    205467    429000  12442709    147.44    155.45
3103.84/3103.80	c  N dy 79078  11664583      4257     85800         0    225531    429000  16547184    147.44    160.61
3111.24/3111.25	c  N dy 79223  11684655      4257     85800         0    245594    429000  20622974    147.44    159.47
3119.04/3119.04	c  N dy 79361  11704745      4257     85800         0    265681    429000  24690864    147.45    209.00
3127.25/3127.28	c  N dy 79495  11724756      4257     85800         0    285690    429000  28734932    147.45    155.93
3136.15/3136.15	c  N dy 79636  11744782      4257     85800         0    305710    429000  32781495    147.45    160.07
3141.75/3141.79	c  N dy 79767  11764878      4257     85800         0    172839    429000   5568658    147.45    157.09
3147.64/3147.67	c  N dy 79901  11784947      4257     85800         0    192906    429000   9644624    147.45    164.04
3154.24/3154.22	c  N dy 80051  11805039      4257     85800         0    212996    429000  13760298    147.46    158.81
3161.14/3161.15	c  N dy 80192  11825144      4257     85800         0    233098    429000  17864106    147.46    159.02
3168.34/3168.38	c  N dy 80322  11845221      4257     85800         0    253172    429000  21955282    147.46    166.43
3176.34/3176.30	c  N dy 80463  11865260      4257     85800         0    273204    429000  26055884    147.46    155.68
3184.74/3184.73	c  N dy 80591  11885434      4257     85800         0    293368    429000  30151861    147.46    163.10
3193.05/3193.03	c  N dy 80737  11905603      4257     85800         0    159574    429000   2686066    147.47    160.50
3198.64/3198.63	c  N dy 80882  11925724      4257     85800         0    179690    429000   6824169    147.47    156.96
3204.74/3204.77	c  N dy 81025  11945756      4257     85800         0    199713    429000  10906359    147.48    155.47
3211.34/3211.33	c  N dy 81160  11965873      4257     85800         0    219826    429000  14997348    147.48    156.30
3218.34/3218.35	c  N dy 81292  11985970      4257     85800         0    239918    429000  19076179    147.48    157.75
3225.84/3225.84	c  N dy 81425  12006034      4257     85800         0    259982    429000  23114483    147.48    157.58
3233.74/3233.71	c  N dy 81551  12026104      4257     85800         0    280043    429000  27205421    147.48    155.47
3242.24/3242.23	c  N dy 81690  12046237      4257     85800         0    300173    429000  31290041    147.48    155.26
3249.54/3249.53	c  N dy 81827  12066296      4257     85800         0    165267    429000   3658191    147.48    157.27
3255.25/3255.28	c  N dy 81970  12086359      4257     85800         0    185329    429000   7791338    147.49    155.64
3261.56/3261.53	c  N dy 82115  12106393      4257     85800         0    205358    429000  11851479    147.49    174.69
3268.16/3268.19	c  N dy 82246  12126406      4257     85800         0    225366    429000  15919091    147.49    155.86
3275.34/3275.36	c  N dy 82386  12146452      4257     85800         0    245405    429000  20012432    147.49    188.62
3283.04/3283.01	c  N dy 82524  12166578      4257     85800         0    265521    429000  24132336    147.49    158.10
3291.15/3291.17	c  N dy 82661  12186625      4257     85800         0    285558    429000  28187741    147.49    155.99
3299.85/3299.81	c  N dy 82794  12206738      4257     85800         0    305669    429000  32319118    147.49    155.57
3306.55/3306.58	c  N dy 82927  12226830      4257     85800         0    169799    429000   4371197    147.50    160.15
3312.44/3312.46	c  N dy 83067  12247065      4257     85800         0    190027    429000   8500932    147.50    155.35
3318.85/3318.90	c  N dy 83209  12267069      4257     85800         0    210022    429000  12560760    147.50    157.06
3325.64/3325.61	c  N dy 83345  12287201      4257     85800         0    230148    429000  16639040    147.50    156.77
3332.84/3332.85	c  N dy 83482  12307370      4257     85800         0    250313    429000  20764794    147.50    155.76
3340.55/3340.54	c  N dy 83614  12327390      4257     85800         0    270327    429000  24847438    147.50    163.05
3349.04/3349.01	c  N dy 83755  12347538      4257     85800         0    290469    429000  28958918    147.51    161.68
3357.65/3357.69	c  N dy 83887  12367595      4257     85800         0    310517    429000  33014064    147.51    155.99
3364.15/3364.10	c  N dy 84029  12387690      4257     85800         0    173652    429000   4969248    147.51    157.03
3370.04/3370.02	c  N dy 84171  12407754      4257     85800         0    193713    429000   9076241    147.51    159.82
3376.54/3376.50	c  N dy 84306  12428117      4257     85800         0    214068    429000  13166010    147.51    160.13
3383.45/3383.43	c  N dy 84446  12448172      4257     85800         0    234117    429000  17230765    147.51    159.47
3391.04/3391.09	c  N dy 84592  12468289      4257     85800         0    254232    429000  21339350    147.51    156.90
3398.84/3398.83	c  N dy 84724  12488384      4257     85800         0    274324    429000  25404156    147.51    155.31
3407.45/3407.48	c  N dy 84874  12508473      4257     85800         0    294406    429000  29538977    147.52    168.64
3416.35/3416.37	c  N dy 85011  12528604      4257     85800         0    314534    429000  33676524    147.52    158.31
3422.35/3422.35	c  N dy 85147  12548648      4257     85800         0    176610    429000   5325065    147.52    157.79
3428.24/3428.28	c  N dy 85282  12568742      4257     85800         0    196698    429000   9379927    147.52    156.41
3434.85/3434.81	c  N dy 85419  12588828      4257     85800         0    216778    429000  13516910    147.53    156.28
3441.86/3441.83	c  N dy 85563  12608918      4257     85800         0    236863    429000  17592204    147.53    161.15
3449.25/3449.26	c  N dy 85694  12629026      4257     85800         0    256966    429000  21673998    147.53    156.37
3457.45/3457.41	c  N dy 85842  12649129      4257     85800         0    277063    429000  25802283    147.53    156.21
3465.94/3465.98	c  N dy 85981  12669207      4257     85800         0    297137    429000  29910038    147.54    158.64
3475.24/3475.21	c  N dy 86124  12689281      4257     85800         0    317203    429000  33978945    147.54    160.65
3481.05/3481.08	c  N dy 86260  12709334      4257     85800         0    178285    429000   5491548    147.54    155.84
3487.07/3487.08	c  N dy 86396  12729491      4257     85800         0    198432    429000   9607648    147.54    156.15
3493.44/3493.44	c  N dy 86515  12749551      4257     85800         0    218486    429000  13624673    147.53    156.03
3500.44/3500.49	c  N dy 86651  12769585      4257     85800         0    238512    429000  17686322    147.53    158.06
3508.15/3508.20	c  N dy 86794  12789759      4257     85800         0    258677    429000  21770433    147.54    159.47
3516.15/3516.19	c  N dy 86929  12809844      4257     85800         0    278757    429000  25868645    147.54    155.97
3524.85/3524.82	c  N dy 87072  12829928      4257     85800         0    298832    429000  29995364    147.54    161.44
3533.95/3533.96	c  N dy 87213  12849975      4257     85800         0    318871    429000  34017731    147.54    155.51
3539.94/3539.92	c  N dy 87349  12870101      4257     85800         0    179044    429000   5492927    147.54    158.56
3545.94/3545.97	c  N dy 87489  12890109      4257     85800         0    199044    429000   9555564    147.54    155.97
3552.55/3552.58	c  N dy 87629  12910262      4257     85800         0    219191    429000  13606026    147.54    157.40
3559.75/3559.74	c  N dy 87768  12930536      4257     85800         0    239457    429000  17716940    147.54    155.96
3567.45/3567.40	c  N dy 87911  12950634      4257     85800         0    259551    429000  21840622    147.55    155.95
3575.65/3575.60	c  N dy 88058  12970699      4257     85800         0    279612    429000  25964876    147.55    167.48
3583.86/3583.84	c  N dy 88185  12990786      4257     85800         0    299690    429000  30035637    147.55    155.62
3592.85/3592.88	c  N dy 88323  13010816      4257     85800         0    319712    429000  34118488    147.56    162.28
3599.04/3599.00	c  N dy 88450  13030840      4257     85800         0    178797    429000   5213133    147.55    155.64
3605.05/3605.04	c  N dy 88588  13050884      4257     85800         0    198835    429000   9260017    147.55    157.48
3611.55/3611.55	c  N dy 88723  13070973      4257     85800         0    218919    429000  13319643    147.56    160.04
3618.65/3618.65	c  N dy 88867  13091126      4257     85800         0    239069    429000  17455944    147.56    160.07
3626.05/3626.03	c  N dy 88997  13111160      4257     85800         0    259095    429000  21516355    147.56    162.41
3633.55/3633.59	c  F st 89126  13130469      4257     85800         0    278400    429000  25466285    147.56    146.69
3634.05/3634.00	c  N st 89129  13131659      4257     85800         0    279590    429000  25719641    147.56   no data
3642.06/3642.07	c  N dy 89242  13151896      4257     85800         0    299809    429000  30074522    147.56    157.50
3651.05/3651.09	c  N dy 89374  13171987      4257     85800         0    319893    429000  34155264    147.56    155.76
3657.75/3657.72	c  N dy 89514  13192028      4257     85800         0    177974    429000   4909065    147.57    158.62
3663.65/3663.67	c  N dy 89652  13212085      4257     85800         0    198030    429000   8972423    147.57    162.27
3670.35/3670.30	c  N dy 89794  13232212      4257     85800         0    218146    429000  13063698    147.57    155.95
3677.37/3677.37	c  N dy 89933  13252232      4257     85800         0    238161    429000  17143916    147.57    156.86
3684.85/3684.89	c  N dy 90070  13272316      4257     85800         0    258238    429000  21226867    147.57    156.13
3692.95/3692.95	c  N dy 90209  13292354      4257     85800         0    278265    429000  25317690    147.57    157.08
3701.57/3701.56	c  N dy 90350  13312395      4257     85800         0    298302    429000  29419862    147.58    161.54
3710.65/3710.63	c  N dy 90493  13332469      4257     85800         0    318373    429000  33552372    147.58    165.84
3717.85/3717.87	c  N dy 90634  13352568      4257     85800         0    175516    429000   4158577    147.58    157.42
3723.85/3723.86	c  N dy 90774  13372616      4257     85800         0    195560    429000   8224201    147.59    157.77
3730.25/3730.21	c  N dy 90908  13392637      4257     85800         0    215579    429000  12337265    147.59    156.85
3737.05/3737.00	c  N dy 91045  13412694      4257     85800         0    235625    429000  16477373    147.59    157.28
3744.55/3744.50	c  N dy 91185  13432791      4257     85800         0    255715    429000  20572591    147.59    157.66
3752.35/3752.31	c  N dy 91315  13452811      4257     85800         0    275728    429000  24607790    147.59    155.77
3760.75/3760.76	c  N dy 91452  13472927      4257     85800         0    295839    429000  28695571    147.59    160.39
3769.67/3769.69	c  N dy 91588  13492945      4257     85800         0    315851    429000  32797019    147.59    158.41
3777.76/3777.79	c  N dy 91722  13513019      4257     85800         0    171978    429000   3300262    147.60    196.80
3783.55/3783.60	c  N dy 91858  13533091      4257     85800         0    192042    429000   7404842    147.60    165.32
3790.15/3790.10	c  N dy 92001  13553143      4257     85800         0    212091    429000  11505974    147.60    158.37
3796.75/3796.74	c  N dy 92129  13573195      4257     85800         0    232136    429000  15616229    147.60    166.10
3803.95/3803.98	c  N dy 92264  13593213      4257     85800         0    252145    429000  19659752    147.60    155.70
3811.85/3811.86	c  N dy 92401  13613553      4257     85800         0    272477    429000  23813517    147.61    157.44
3820.37/3820.33	c  N dy 92546  13633653      4257     85800         0    292573    429000  27923597    147.61    157.44
3829.25/3829.29	c  N dy 92688  13653669      4257     85800         0    312581    429000  32007470    147.61    155.95
3838.25/3838.26	c  N dy 92825  13673690      4257     85800         0    167647    429000   2198402    147.62    160.45
3844.05/3844.00	c  N dy 92963  13693700      4257     85800         0    187654    429000   6295675    147.62    159.34
3850.15/3850.17	c  N dy 93103  13713746      4257     85800         0    207696    429000  10406770    147.62    166.77
3856.85/3856.80	c  N dy 93239  13733821      4257     85800         0    227764    429000  14483405    147.62    167.48
3864.05/3864.09	c  N dy 93380  13753883      4257     85800         0    247824    429000  18603138    147.63    170.23
3872.15/3872.16	c  N dy 93535  13773952      4257     85800         0    267887    429000  22738009    147.63    157.49
3880.46/3880.50	c  N dy 93671  13794028      4257     85800         0    287957    429000  26807464    147.63    155.93
3889.25/3889.22	c  N dy 93809  13814038      4257     85800         0    307962    429000  30919538    147.64    174.51
3898.65/3898.60	c  N dy 93952  13834095      4257     85800         0    328010    429000  35003272    147.64    155.57
3905.25/3905.25	c  N dy 94093  13854177      4257     85800         0    182141    429000   4927350    147.64    158.65
3911.45/3911.45	c  N dy 94236  13874350      4257     85800         0    202307    429000   9062335    147.64    157.48
3918.17/3918.14	c  N dy 94377  13894416      4257     85800         0    222361    429000  13137565    147.65    156.27
3925.26/3925.26	c  N dy 94520  13914513      4257     85800         0    242452    429000  17234352    147.65    157.37
3933.05/3933.02	c  N dy 94664  13934598      4257     85800         0    262530    429000  21356875    147.65    157.27
3941.05/3941.01	c  N dy 94795  13954603      4257     85800         0    282528    429000  25435448    147.65    157.59
3949.85/3949.82	c  N dy 94940  13974787      4257     85800         0    302701    429000  29596471    147.66    155.51
3959.15/3959.11	c  N dy 95079  13994874      4257     85800         0    322783    429000  33667340    147.66    157.02
3967.26/3967.22	c  N dy 95215  14014912      4257     85800         0    175861    429000   3465544    147.66    158.31
3973.05/3973.08	c  N dy 95349  14034923      4257     85800         0    195867    429000   7529145    147.66    159.22
3979.56/3979.57	c  N dy 95491  14054949      4257     85800         0    215884    429000  11615864    147.67    156.15
3986.66/3986.66	c  N dy 95634  14075111      4257     85800         0    236042    429000  15747082    147.67    163.07
3994.26/3994.29	c  N dy 95775  14095117      4257     85800         0    256043    429000  19864280    147.67    156.29
4002.26/4002.23	c  N dy 95916  14115143      4257     85800         0    276065    429000  23920571    147.68    183.00
4010.75/4010.75	c  N dy 96054  14135196      4257     85800         0    296110    429000  27990983    147.68    161.58
4019.65/4019.63	c  N dy 96195  14155385      4257     85800         0    316294    429000  32102602    147.68    164.08
4029.38/4029.32	c  N dy 96329  14175584      4257     85800         0    168541    429000   1801748    147.68    157.56
4035.06/4035.02	c  N dy 96464  14195656      4257     85800         0    188602    429000   5875565    147.68    156.86
4041.25/4041.27	c  N dy 96601  14215690      4257     85800         0    208633    429000   9995709    147.68    188.71
4047.97/4048.01	c  N dy 96745  14235732      4257     85800         0    228666    429000  14110489    147.69    157.24
4055.26/4055.27	c  N dy 96884  14255827      4257     85800         0    248757    429000  18197397    147.69    167.57
4063.06/4063.07	c  N dy 97027  14275835      4257     85800         0    268761    429000  22345362    147.69    158.09
4071.45/4071.40	c  N dy 97171  14295929      4257     85800         0    288851    429000  26446725    147.70    158.68
4080.15/4080.18	c  N dy 97309  14316188      4257     85800         0    309105    429000  30596209    147.70    166.61
4089.25/4089.28	c  N dy 97445  14336279      4257     85800         0    329185    429000  34688611    147.70    156.97
4097.05/4097.02	c  N dy 97582  14356300      4257     85800         0    180261    429000   3963298    147.70    194.07
4103.07/4103.09	c  N dy 97721  14376399      4257     85800         0    200354    429000   8040457    147.70    156.49
4109.57/4109.57	c  N dy 97856  14396483      4257     85800         0    220431    429000  12120919    147.70    164.04
4116.36/4116.35	c  N dy 97976  14416489      4257     85800         0    240430    429000  16129964    147.70    157.84
4123.87/4123.82	c  N dy 98111  14436558      4257     85800         0    260493    429000  20214006    147.70    165.05
4131.95/4131.90	c  N dy 98254  14456631      4257     85800         0    280557    429000  24330145    147.71    157.71
4140.55/4140.58	c  N dy 98393  14476769      4257     85800         0    300688    429000  28419676    147.71    157.50
4149.66/4149.67	c  N dy 98534  14496791      4257     85800         0    320701    429000  32490093    147.71    164.92
4159.55/4159.52	c  N dy 98680  14517008      4257     85800         0    170965    429000   1903724    147.72    157.21
4165.26/4165.28	c  N dy 98814  14537031      4257     85800         0    190982    429000   5998342    147.72    157.27
4171.66/4171.65	c  N dy 98950  14557088      4257     85800         0    211032    429000  10070725    147.72    181.02
4178.65/4178.64	c  N dy 99100  14577164      4257     85800         0    231104    429000  14154898    147.72    155.75
4185.95/4185.95	c  N dy 99234  14597332      4257     85800         0    251261    429000  18308130    147.72    157.18
4193.76/4193.74	c  N dy 99370  14617490      4257     85800         0    271408    429000  22406578    147.73    158.20
4202.08/4202.05	c  N dy 99509  14637524      4257     85800         0    291436    429000  26502704    147.73    157.29
4211.06/4211.02	c  N dy 99650  14657549      4257     85800         0    311457    429000  30577046    147.73    161.80
4220.56/4220.50	c  N dy 99790  14677671      4257     85800         0    331575    429000  34645386    147.73    156.45
4228.76/4228.72	c  N dy 99936  14697757      4257     85800         0    180708    429000   3714910    147.73    159.90
4234.75/4234.77	c  N dy100075  14717798      4257     85800         0    200741    429000   7790814    147.74    167.62
4241.36/4241.36	c  N dy100213  14737904      4257     85800         0    220842    429000  11891394    147.74    155.94
4248.46/4248.41	c  N dy100350  14757935      4257     85800         0    240860    429000  15984558    147.74    157.56
4255.98/4255.93	c  N dy100489  14777985      4257     85800         0    260904    429000  20058939    147.74    158.40
4264.06/4264.08	c  N dy100634  14797987      4257     85800         0    280900    429000  24165970    147.75    156.23
4272.76/4272.78	c  N dy100781  14818026      4257     85800         0    300933    429000  28288554    147.75    160.58
4281.86/4281.88	c  N dy100925  14838069      4257     85800         0    320966    429000  32392301    147.75    182.81
4291.56/4291.56	c  N dy101067  14858215      4257     85800         0    341107    429000  36574032    147.76    156.82
4298.26/4298.22	c  N dy101202  14878298      4257     85800         0    189244    429000   5267775    147.76    159.04
4304.56/4304.53	c  N dy101348  14898369      4257     85800         0    209307    429000   9352435    147.76    158.66
4311.36/4311.34	c  N dy101489  14918421      4257     85800         0    229356    429000  13467653    147.77    158.81
4318.86/4318.86	c  N dy101636  14938555      4257     85800         0    249481    429000  17589887    147.77    160.72
4326.66/4326.63	c  N dy101769  14958625      4257     85800         0    269547    429000  21694389    147.77    161.54
4334.76/4334.78	c  N dy101898  14978795      4257     85800         0    289713    429000  25786897    147.77    155.86
4343.76/4343.73	c  N dy102044  14998891      4257     85800         0    309803    429000  29877003    147.77    158.09
4353.06/4353.04	c  N dy102179  15018922      4257     85800         0    329830    429000  33942812    147.77    156.97
4362.16/4362.19	c  N dy102311  15039117      4257     85800         0    177071    429000   2561472    147.78    157.44
4368.17/4368.16	c  N dy102451  15059194      4257     85800         0    197141    429000   6673982    147.78    155.75
4374.67/4374.68	c  N dy102593  15079473      4257     85800         0    217417    429000  10812405    147.78    157.97
4381.66/4381.66	c  N dy102728  15099660      4257     85800         0    237597    429000  14928977    147.78    156.29
4389.08/4389.09	c  N dy102866  15119673      4257     85800         0    257605    429000  18981428    147.79    158.25
4397.26/4397.22	c  N dy103015  15139684      4257     85800         0    277608    429000  23087720    147.79    156.69
4405.66/4405.61	c  N dy103151  15159833      4257     85800         0    297748    429000  27231404    147.79    160.54
4414.46/4414.49	c  N dy103291  15180013      4257     85800         0    317924    429000  31396170    147.79    161.17
4423.96/4423.97	c  N dy103426  15200288      4257     85800         0    338194    429000  35500722    147.79    156.16
4432.07/4432.08	c  N dy103566  15220465      4257     85800         0    184418    429000   3870724    147.80    158.06
4438.37/4438.30	c  N dy103704  15240565      4257     85800         0    204507    429000   7926989    147.80    156.16
4444.86/4444.82	c  N dy103835  15260570      4257     85800         0    224506    429000  11992148    147.80    162.43
4451.96/4451.98	c  N dy103970  15280670      4257     85800         0    244601    429000  16095016    147.80    157.36
4459.76/4459.72	c  N dy104118  15300924      4257     85800         0    264852    429000  20279097    147.80    157.49
4467.86/4467.81	c  N dy104258  15321019      4257     85800         0    284943    429000  24387418    147.81    156.46
4476.27/4476.24	c  N dy104393  15341033      4257     85800         0    304952    429000  28459071    147.81    156.04
4485.46/4485.44	c  N dy104531  15361052      4257     85800         0    324967    429000  32567495    147.81    163.97
4495.36/4495.32	c  N dy104672  15381199      4257     85800         0    345108    429000  36669232    147.81    155.74
4502.38/4502.38	c  N dy104801  15401268      4257     85800         0    190223    429000   4856858    147.81    159.73
4508.66/4508.69	c  N dy104938  15421301      4257     85800         0    210248    429000   8910978    147.81    157.01
4515.58/4515.54	c  N dy105087  15441488      4257     85800         0    230425    429000  13054762    147.82    156.15
4522.87/4522.83	c  N dy105227  15461739      4257     85800         0    250671    429000  17295895    147.82    155.70
4530.56/4530.53	c  N dy105359  15481774      4257     85800         0    270697    429000  21350055    147.82    156.66
4538.97/4538.90	c  N dy105497  15501797      4257     85800         0    290714    429000  25466134    147.83    158.20
4547.66/4547.66	c  N dy105633  15521841      4257     85800         0    310751    429000  29582889    147.83    158.54
4556.97/4556.91	c  N dy105771  15541925      4257     85800         0    330829    429000  33700506    147.83    180.22
4566.67/4566.62	c  N dy105904  15562077      4257     85800         0    350976    429000  37782193    147.83    157.45
4572.96/4572.96	c  N dy106041  15582080      4257     85800         0    195020    429000   5626488    147.83    157.25
4579.27/4579.29	c  N dy106178  15602108      4257     85800         0    215039    429000   9724378    147.83    156.72
4586.36/4586.34	c  N dy106328  15622240      4257     85800         0    235162    429000  13846022    147.84    156.27
4593.86/4593.83	c  N dy106469  15642346      4257     85800         0    255259    429000  17947300    147.84    158.35
4601.67/4601.68	c  N dy106613  15662370      4257     85800         0    275273    429000  22026807    147.84    157.16
4610.37/4610.30	c  N dy106757  15682406      4257     85800         0    295299    429000  26080065    147.84    157.57
4619.16/4619.16	c  N dy106898  15702570      4257     85800         0    315454    429000  30268158    147.85    156.11
4628.47/4628.43	c  N dy107026  15722693      4257     85800         0    335575    429000  34359138    147.85    159.77
4638.36/4638.37	c  N dy107163  15742720      4257     85800         0    178668    429000   2113960    147.85    155.84
4644.36/4644.36	c  N dy107299  15762792      4257     85800         0    198734    429000   6220310    147.85    155.64
4650.97/4650.98	c  N dy107442  15782878      4257     85800         0    218818    429000  10370325    147.86    156.22
4658.07/4658.02	c  N dy107583  15802994      4257     85800         0    238925    429000  14531924    147.86    156.61
4665.47/4665.48	c  N dy107718  15823071      4257     85800         0    258998    429000  18640416    147.86    170.56
4673.56/4673.55	c  N dy107853  15843099      4257     85800         0    279020    429000  22732628    147.86    157.37
4682.06/4682.06	c  N dy107997  15863145      4257     85800         0    299058    429000  26839876    147.86    160.01
4691.17/4691.19	c  N dy108136  15883253      4257     85800         0    319160    429000  30938117    147.86    159.30
4700.77/4700.76	c  N dy108282  15903255      4257     85800         0    339154    429000  35061577    147.87    157.87
4710.37/4710.35	c  N dy108419  15923366      4257     85800         0    181317    429000   2457266    147.87    158.78
4716.36/4716.36	c  N dy108556  15943479      4257     85800         0    201425    429000   6524981    147.87    156.00
4722.86/4722.84	c  N dy108690  15963505      4257     85800         0    221449    429000  10588594    147.87    155.84
4729.87/4729.87	c  N dy108825  15983597      4257     85800         0    241529    429000  14698076    147.87    158.81
4737.57/4737.50	c  N dy108968  16003693      4257     85800         0    261615    429000  18844945    147.87    159.51
4745.37/4745.40	c  N dy109102  16023774      4257     85800         0    281687    429000  22905754    147.88    156.10
4754.07/4754.03	c  N dy109246  16043807      4257     85800         0    301712    429000  26999606    147.88    177.91
4763.08/4763.07	c  N dy109385  16063888      4257     85800         0    321786    429000  31116833    147.88    158.97
4772.67/4772.69	c  N dy109522  16083969      4257     85800         0    341860    429000  35239033    147.88    155.92
4782.17/4782.13	c  N dy109661  16104034      4257     85800         0    182985    429000   2615934    147.89    156.67
4788.17/4788.18	c  N dy109792  16124098      4257     85800         0    203040    429000   6700031    147.89    156.17
4794.88/4794.83	c  N dy109936  16144144      4257     85800         0    223080    429000  10830990    147.89    155.82
4802.07/4802.07	c  N dy110078  16164201      4257     85800         0    243134    429000  14948018    147.89    158.35
4809.77/4809.74	c  N dy110219  16184315      4257     85800         0    263243    429000  19072740    147.90    156.67
4818.08/4818.04	c  N dy110356  16204443      4257     85800         0    283366    429000  23193920    147.90    157.65
4826.67/4826.68	c  N dy110499  16224593      4257     85800         0    303509    429000  27346464    147.90    156.27
4836.06/4836.00	c  N dy110641  16244603      4257     85800         0    323515    429000  31450507    147.90    155.79
4845.66/4845.65	c  N dy110779  16264828      4257     85800         0    343734    429000  35609436    147.91    156.51
4855.27/4855.20	c  N dy110914  16284902      4257     85800         0    183860    429000   2592857    147.91    157.43
4861.36/4861.36	c  N dy111058  16304939      4257     85800         0    203890    429000   6681704    147.91    174.27
4868.07/4868.01	c  N dy111196  16325087      4257     85800         0    224036    429000  10744709    147.91    161.10
4875.18/4875.16	c  N dy111337  16345144      4257     85800         0    244091    429000  14870080    147.91    155.97
4882.87/4882.81	c  N dy111479  16365386      4257     85800         0    264327    429000  19013033    147.92    159.51
4890.97/4890.97	c  N dy111620  16385472      4257     85800         0    284408    429000  23148008    147.92    160.89
4899.57/4899.56	c  N dy111757  16405562      4257     85800         0    304492    429000  27256266    147.92    156.79
4908.76/4908.74	c  N dy111894  16425604      4257     85800         0    324526    429000  31344064    147.92    162.68
4918.57/4918.57	c  N dy112035  16445691      4257     85800         0    344607    429000  35476502    147.93    187.39
4928.36/4928.33	c  N dy112171  16465788      4257     85800         0    183752    429000   2382994    147.93    155.96
4934.47/4934.41	c  N dy112304  16485874      4257     85800         0    203831    429000   6431597    147.93    156.75
4941.07/4941.03	c  N dy112440  16505930      4257     85800         0    223881    429000  10498193    147.93    157.12
4948.07/4948.04	c  N dy112573  16526032      4257     85800         0    243979    429000  14597903    147.93    183.74
4955.67/4955.62	c  N dy112710  16546111      4257     85800         0    264052    429000  18679290    147.93    163.23
4963.66/4963.62	c  N dy112846  16566194      4257     85800         0    284128    429000  22793353    147.93    156.64
4972.27/4972.23	c  N dy112985  16586259      4257     85800         0    304185    429000  26896349    147.93    157.16
4981.37/4981.37	c  N dy113127  16606366      4257     85800         0    324289    429000  31024282    147.94    157.44
4991.27/4991.28	c  N dy113274  16626745      4257     85800         0    344655    429000  35211541    147.94    159.58

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3421900-1306610792/watcher-3421900-1306610792 -o /tmp/evaluation-result-3421900-1306610792/solver-3421900-1306610792 -C 5000 -W 5100 -M 15500 ./strangenight2-st HOME/instance-3421900-1306610792.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.70 1.96 1.98 2/489 13521
/proc/meminfo: memFree=19465720/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=32616 CPUtime=0.01 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 1612 0 0 0 1 0 0 0 23 0 1 0 772677812 33398784 1454 33554432000 4194304 4580011 140734597179936 18446744073709551615 4354920 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 8154 1455 323 95 0 3136 0

[startup+0.0564371 s]
/proc/loadavg: 1.70 1.96 1.98 2/489 13521
/proc/meminfo: memFree=19465720/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=40784 CPUtime=0.05 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 4498 0 0 0 5 0 0 0 23 0 1 0 772677812 41762816 3944 33554432000 4194304 4580011 140734597179936 18446744073709551615 4489378 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 10196 3945 323 95 0 5178 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 40784

[startup+0.100429 s]
/proc/loadavg: 1.70 1.96 1.98 2/489 13521
/proc/meminfo: memFree=19465720/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=45256 CPUtime=0.09 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 6493 0 0 0 9 0 0 0 23 0 1 0 772677812 46342144 5923 33554432000 4194304 4580011 140734597179936 18446744073709551615 4489378 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 11314 5925 323 95 0 6296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45256

[startup+0.300384 s]
/proc/loadavg: 1.70 1.96 1.98 2/489 13521
/proc/meminfo: memFree=19465720/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=100204 CPUtime=0.29 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 15103 0 0 0 27 2 0 0 25 0 1 0 772677812 102608896 14006 33554432000 4194304 4580011 140734597179936 18446744073709551615 4500934 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 25051 14006 336 95 0 20033 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100204

[startup+0.700325 s]
/proc/loadavg: 1.70 1.96 1.98 2/489 13521
/proc/meminfo: memFree=19465720/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=106776 CPUtime=0.69 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 16739 0 0 0 67 2 0 0 25 0 1 0 772677812 109338624 15642 33554432000 4194304 4580011 140734597179936 18446744073709551615 210204308165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 26694 15643 339 95 0 21676 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106776

[startup+1.5002 s]
/proc/loadavg: 1.70 1.96 1.98 3/490 13522
/proc/meminfo: memFree=19399992/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=233740 CPUtime=1.49 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 45339 0 0 0 143 6 0 0 25 0 1 0 772677812 239349760 44242 33554432000 4194304 4580011 140734597179936 18446744073709551615 4451588 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 58435 44242 350 95 0 53417 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 233740

[startup+3.10092 s]
/proc/loadavg: 1.70 1.96 1.98 3/490 13522
/proc/meminfo: memFree=19278224/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=224152 CPUtime=3.09 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 54087 0 0 0 302 7 0 0 25 0 1 0 772677812 229531648 44193 33554432000 4194304 4580011 140734597179936 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 56038 44193 363 95 0 51020 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 224152

[startup+6.30039 s]
/proc/loadavg: 1.89 2.00 1.99 3/490 13522
/proc/meminfo: memFree=19252696/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=239460 CPUtime=6.29 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 67503 0 0 0 620 9 0 0 18 0 1 0 772677812 245207040 47807 33554432000 4194304 4580011 140734597179936 18446744073709551615 4324342 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 59865 47807 365 95 0 54847 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 239460

[startup+12.7003 s]
/proc/loadavg: 1.90 2.00 1.99 3/490 13522
/proc/meminfo: memFree=19197292/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=329584 CPUtime=12.69 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 81430 0 0 0 1258 11 0 0 25 0 1 0 772677812 337494016 57067 33554432000 4194304 4580011 140734597179936 18446744073709551615 4322512 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 82396 57067 365 95 0 77378 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 329584

[startup+25.5012 s]
/proc/loadavg: 1.92 2.00 1.99 3/490 13523
/proc/meminfo: memFree=19218872/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=327144 CPUtime=25.49 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 91638 0 0 0 2537 12 0 0 25 0 1 0 772677812 334995456 57722 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 81786 57722 365 95 0 76768 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 327144

[startup+51.1009 s]
/proc/loadavg: 1.95 2.00 1.99 3/490 13523
/proc/meminfo: memFree=19174456/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=326124 CPUtime=51.09 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 113892 0 0 0 5094 15 0 0 25 0 1 0 772677812 333950976 59956 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294553 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 81531 59956 366 95 0 76513 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 326124

[startup+102.318 s]
/proc/loadavg: 2.01 2.01 2.00 3/490 13525
/proc/meminfo: memFree=19166860/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=339660 CPUtime=102.31 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 162294 0 0 0 10207 24 0 0 25 0 1 0 772677812 347811840 64855 33554432000 4194304 4580011 140734597179936 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 84915 64855 366 95 0 79897 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 339660

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 13526
/proc/meminfo: memFree=19162520/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=342244 CPUtime=162.29 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 215491 0 0 0 16196 33 0 0 25 0 1 0 772677812 350457856 65881 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 85561 65882 366 95 0 80543 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 342244

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 13528
/proc/meminfo: memFree=19180236/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=345176 CPUtime=222.3 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 267075 0 0 0 22186 44 0 0 25 0 1 0 772677812 353460224 61374 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 86294 61374 366 95 0 81276 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 345176

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 13530
/proc/meminfo: memFree=19136072/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=347164 CPUtime=282.29 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 319125 0 0 0 28174 55 0 0 25 0 1 0 772677812 355495936 67453 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294514 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 86791 67453 366 95 0 81773 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 347164

[startup+342.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/490 13531
/proc/meminfo: memFree=19128864/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=349052 CPUtime=342.3 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 368841 0 0 0 34166 64 0 0 25 0 1 0 772677812 357429248 65893 33554432000 4194304 4580011 140734597179936 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 87263 65893 366 95 0 82245 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 349052

[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/490 13533
/proc/meminfo: memFree=19108764/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=352728 CPUtime=402.3 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 418714 0 0 0 40157 73 0 0 25 0 1 0 772677812 361193472 71384 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294341 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 88182 71384 366 95 0 83164 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 352728

[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/490 13534
/proc/meminfo: memFree=19098708/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=369028 CPUtime=462.3 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 470027 0 0 0 46150 80 0 0 25 0 1 0 772677812 377884672 75110 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 92257 75110 366 95 0 87239 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 369028

[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 13536
/proc/meminfo: memFree=19111596/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=371140 CPUtime=522.3 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 516702 0 0 0 52141 89 0 0 25 0 1 0 772677812 380047360 70989 33554432000 4194304 4580011 140734597179936 18446744073709551615 4293190 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 92785 70989 366 95 0 87767 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 371140

[startup+582.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/490 13538
/proc/meminfo: memFree=19077960/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=372488 CPUtime=582.3 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 563318 0 0 0 58131 99 0 0 25 0 1 0 772677812 381427712 77343 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294324 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 93122 77343 366 95 0 88104 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 372488

[startup+642.301 s]

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

[startup+4002.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/490 13641
/proc/meminfo: memFree=18949640/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=370364 CPUtime=4002.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 2963785 0 0 0 399672 564 0 0 25 0 1 0 772677812 379252736 79178 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 92591 79178 366 95 0 87573 0
Current children cumulated CPU time (s) 4002.36
Current children cumulated vsize (KiB) 370364

[startup+4062.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/490 13642
/proc/meminfo: memFree=18924808/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=370680 CPUtime=4062.38 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 2998692 0 0 0 405666 572 0 0 25 0 1 0 772677812 379576320 77208 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 92670 77208 366 95 0 87652 0
Current children cumulated CPU time (s) 4062.38
Current children cumulated vsize (KiB) 370680

[startup+4122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 13644
/proc/meminfo: memFree=18956888/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=371000 CPUtime=4122.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3033463 0 0 0 411657 579 0 0 25 0 1 0 772677812 379904000 74707 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 92750 74707 366 95 0 87732 0
Current children cumulated CPU time (s) 4122.36
Current children cumulated vsize (KiB) 371000

[startup+4182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 13646
/proc/meminfo: memFree=18940128/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=371284 CPUtime=4182.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3067593 0 0 0 417650 586 0 0 25 0 1 0 772677812 380194816 71553 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 92821 71553 366 95 0 87803 0
Current children cumulated CPU time (s) 4182.36
Current children cumulated vsize (KiB) 371284

[startup+4242.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/490 13647
/proc/meminfo: memFree=18981644/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=371584 CPUtime=4242.35 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3101414 0 0 0 423642 593 0 0 25 0 1 0 772677812 380502016 67829 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 92896 67829 366 95 0 87878 0
Current children cumulated CPU time (s) 4242.35
Current children cumulated vsize (KiB) 371584

[startup+4302.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/490 13649
/proc/meminfo: memFree=18966980/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=373100 CPUtime=4302.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3135149 0 0 0 429636 600 0 0 25 0 1 0 772677812 382054400 63611 33554432000 4194304 4580011 140734597179936 18446744073709551615 4324353 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 93275 63611 366 95 0 88257 0
Current children cumulated CPU time (s) 4302.36
Current children cumulated vsize (KiB) 373100

[startup+4362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/490 13650
/proc/meminfo: memFree=19021020/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=285600 CPUtime=4362.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3167964 0 0 0 435629 607 0 0 25 0 1 0 772677812 292454400 58371 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294553 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 71400 58372 366 95 0 66382 0
Current children cumulated CPU time (s) 4362.36
Current children cumulated vsize (KiB) 285600

[startup+4422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/490 13652
/proc/meminfo: memFree=18857324/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=635552 CPUtime=4422.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3199829 0 0 0 441621 615 0 0 25 0 1 0 772677812 650805248 90236 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 158888 90236 366 95 0 153870 0
Current children cumulated CPU time (s) 4422.36
Current children cumulated vsize (KiB) 635552

[startup+4482.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/490 13653
/proc/meminfo: memFree=18924276/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=635852 CPUtime=4482.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3234553 0 0 0 447614 622 0 0 25 0 1 0 772677812 651112448 86665 33554432000 4194304 4580011 140734597179936 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 158963 86665 366 95 0 153945 0
Current children cumulated CPU time (s) 4482.36
Current children cumulated vsize (KiB) 635852

[startup+4542.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/490 13655
/proc/meminfo: memFree=18852332/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=636184 CPUtime=4542.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3268985 0 0 0 453608 628 0 0 25 0 1 0 772677812 651452416 82632 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294942 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 159046 82632 366 95 0 154028 0
Current children cumulated CPU time (s) 4542.36
Current children cumulated vsize (KiB) 636184

[startup+4602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/490 13657
/proc/meminfo: memFree=18922264/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=374304 CPUtime=4602.38 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3303065 0 0 0 459602 636 0 0 25 0 1 0 772677812 383287296 77924 33554432000 4194304 4580011 140734597179936 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 93576 77924 366 95 0 88558 0
Current children cumulated CPU time (s) 4602.38
Current children cumulated vsize (KiB) 374304

[startup+4662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/490 13658
/proc/meminfo: memFree=18955612/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=374640 CPUtime=4662.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3336644 0 0 0 465594 642 0 0 25 0 1 0 772677812 383631360 72587 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294475 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 93660 72587 366 95 0 88642 0
Current children cumulated CPU time (s) 4662.36
Current children cumulated vsize (KiB) 374640

[startup+4722.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 13660
/proc/meminfo: memFree=18922732/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=374936 CPUtime=4722.38 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3369242 0 0 0 471589 649 0 0 25 0 1 0 772677812 383934464 65943 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 93734 65943 366 95 0 88716 0
Current children cumulated CPU time (s) 4722.38
Current children cumulated vsize (KiB) 374936

[startup+4782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 13662
/proc/meminfo: memFree=19016588/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=285972 CPUtime=4782.37 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3401174 0 0 0 477581 656 0 0 25 0 1 0 772677812 292835328 58522 33554432000 4194304 4580011 140734597179936 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 71493 58522 366 95 0 66475 0
Current children cumulated CPU time (s) 4782.37
Current children cumulated vsize (KiB) 285972

[startup+4842.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/490 13663
/proc/meminfo: memFree=18889236/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=637404 CPUtime=4842.37 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3432352 0 0 0 483574 663 0 0 25 0 1 0 772677812 652701696 89700 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294923 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 159351 89700 366 95 0 154333 0
Current children cumulated CPU time (s) 4842.37
Current children cumulated vsize (KiB) 637404

[startup+4902.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/490 13665
/proc/meminfo: memFree=18854112/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=638764 CPUtime=4902.36 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3466440 0 0 0 489567 669 0 0 25 0 1 0 772677812 654094336 84087 33554432000 4194304 4580011 140734597179936 18446744073709551615 4293032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 159691 84087 366 95 0 154673 0
Current children cumulated CPU time (s) 4902.36
Current children cumulated vsize (KiB) 638764

[startup+4962.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/490 13666
/proc/meminfo: memFree=18911876/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=376932 CPUtime=4962.37 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3500033 0 0 0 495561 676 0 0 25 0 1 0 772677812 385978368 77854 33554432000 4194304 4580011 140734597179936 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 94233 77854 366 95 0 89215 0
Current children cumulated CPU time (s) 4962.37
Current children cumulated vsize (KiB) 376932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.01 2.03 2.00 2/488 13668
/proc/meminfo: memFree=19113500/32951124 swapFree=63649292/67111528
[pid=13521] ppid=13519 vsize=639080 CPUtime=5000.08 cores=1,3,5,7
/proc/13521/stat : 13521 (strangenight2-s) R 13519 13521 13483 0 -1 4202496 3516390 0 0 0 499328 680 0 0 25 0 1 0 772677812 654417920 94211 33554432000 4194304 4580011 140734597179936 18446744073709551615 4295372 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13521/statm: 159770 94211 366 95 0 154752 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 639080

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5000.03
CPU time (s): 5000.11
CPU user time (s): 4993.29
CPU system time (s): 6.81896
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 658652

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

runsolver used 23.0395 second user time and 54.6287 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-28 21:26:33
IDJOB=3421900
IDBENCH=83249
IDSOLVER=1887
FILE ID=node130/3421900-1306610792
RUNJOBID= node130-1306610792-13502
PBS_JOBID= 13471605
Free space on /tmp= 73348 MiB

SOLVER NAME= CryptoMiniSat Strange-Night2-st (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34308.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421900-1306610792/watcher-3421900-1306610792 -o /tmp/evaluation-result-3421900-1306610792/solver-3421900-1306610792 -C 5000 -W 5100 -M 15500  ./strangenight2-st HOME/instance-3421900-1306610792.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1ef198d3f2d717e33f4f2ba124eb7eb2
RANDOM SEED=527428517

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19466000 kB
Buffers:        362260 kB
Cached:        7993360 kB
SwapCached:      10260 kB
Active:        7455640 kB
Inactive:      5708348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19466000 kB
SwapTotal:    67111528 kB
SwapFree:     63649292 kB
Dirty:           36184 kB
Writeback:          16 kB
AnonPages:     4805712 kB
Mapped:          30828 kB
Slab:           196288 kB
PageTables:      53900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145123736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73344 MiB
End job on node130 at 2011-05-28 22:49:55