Trace number 3421897

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.03 4999.82

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
MD5SUMd2ef996f95bbf68a3c980c797dfdc364
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 variables2071
Number of clauses159039
Sum of the clauses size479052
Maximum clause length6
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3158394
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5645

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-3421897-1306610652.cnf'
0.00/0.00	c -- header says num vars:           2071
0.00/0.00	c -- header says num clauses:      159039
0.00/0.04	c -- clauses added:            0 learnts,       159039 normals,            0 xors
0.00/0.04	c -- vars added       2071
0.00/0.04	c Parsing time:  0.03 s
0.00/0.04	c  N st     0         0      2071    159039         0         0    479052         0   no data   no data
0.49/0.59	c asymm  cl-useful: 0/158323/159039 lits-rem:0 time: 0.55
0.59/0.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
0.59/0.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.59/0.63	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.59/0.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.59/0.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2071 time:  0.00 s
0.59/0.64	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.00 s
1.29/1.30	c lits-rem:         0  cl-subs:        0  v-elim:    690  v-fix:    0  time:  0.65 s
1.29/1.30	c Finding binary XORs  T:     0.00 s  found:       0
1.29/1.35	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.29/1.35	c calculated reachability. Time: 0.00
1.29/1.35	c Calc default polars -  time:   0.00 s pos:    1381 undec:     690 neg:       0
1.29/1.35	c =========================================================================================
1.29/1.35	c types(t): F = full restart, N = normal restart
1.29/1.35	c types(t): S = simplification begin/end, E = solution found
1.29/1.35	c restart types(rt): st = static, dy = dynamic
1.29/1.35	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.29/1.35	c  B st     0         0      1381     99170         0         0    515450         0   no data   no data
1.79/1.80	c  N dy    10      4889      1381     99170         0      4846    515450    187551     25.65     27.11
2.20/2.24	c  N dy    11      9533      1381     99170         0      9373    515450    333094     23.03     24.27
2.88/2.95	c  N dy    23     16883      1381     99170         0     16629    515450    611674     21.79     23.54
3.31/3.35	c  N dy    44     20902      1381     99170         0     10765    515450    297316     22.00     26.50
3.69/3.71	c  N dy    76     24953      1381     99170         0     14785    515450    441388     22.41     24.29
3.69/3.71	c  F st    77     25003      1381     99170         0     14834    515450    443486     22.44   no data
3.69/3.73	c Found part        4 vars:        670 clauses:     47205 lits size:    251895
3.69/3.73	c Found part        7 vars:        711 clauses:     51965 lits size:    263555
3.69/3.73	c Found parts:          2 time: 0.01 s
3.69/3.73	c Solving part 4
3.69/3.77	c  N st     0         0       670     47205         0      1030    251895     39051   no data   no data
3.99/4.08	c asymm  cl-useful: 17/47205/47205 lits-rem:19 time: 0.31
3.99/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
3.99/4.08	c Finding binary XORs  T:     0.00 s  found:       0
4.09/4.10	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
4.09/4.10	c calculated reachability. Time: 0.00
4.09/4.10	c Calc default polars -  time:   0.00 s pos:     670 undec:    1401 neg:       0
4.09/4.10	c =========================================================================================
4.09/4.10	c types(t): F = full restart, N = normal restart
4.09/4.10	c types(t): S = simplification begin/end, E = solution found
4.09/4.10	c restart types(rt): st = static, dy = dynamic
4.09/4.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.09/4.10	c  B st     0         0       670     47205         0      1030    251876     39051   no data   no data
4.59/4.67	c  N dy    10      6652       670     47205         0      7623    251876    305460     22.58     23.94
4.99/5.01	c  N dy    33     10728       670     47205         0      7253    251876    226118     23.35     29.48
5.29/5.38	c  N dy    67     14773       670     47205         0     11273    251876    378055     24.44     28.67
5.79/5.88	c  N dy    78     20369       670     47205         0     10203    251876    265450     24.12     25.45
6.19/6.28	c  F st    85     25002       670     47205         0     14806    251875    440392     23.82     21.17
6.19/6.28	c  N st    85     25002       670     47205         0     14806    251875    440392     23.82     21.17
6.69/6.75	c  N dy    91     30195       670     47205         0     11752    251875    293871     23.82   no data
7.09/7.14	c  N dy   116     34292       670     47205         0     15807    251875    441908     24.00     25.28
7.49/7.52	c  N dy   128     38306       670     47205         0     10323    251875    195025     24.00     27.97
8.29/8.30	c  N dy   141     46556       670     47205         0     18501    251875    506780     23.50     24.74
8.70/8.79	c  N dy   149     51653       670     47205         0     12930    251875    254668     23.20     24.51
9.09/9.16	c  N dy   175     55728       670     47205         0     16983    251875    408132     23.32     35.18
9.49/9.55	c  N dy   196     59831       670     47205         0     21034    251875    551089     23.39     24.89
9.90/9.95	c  N dy   213     63840       670     47205         0     13306    251875    231088     23.44     28.97
10.29/10.33	c  N dy   238     67936       670     47205         0     17366    251874    380565     23.53     25.62
10.69/10.73	c  N dy   253     72292       670     47205         0     21692    251874    534568     23.49     24.83
11.19/11.26	c  N dy   288     77491       670     47205         0     14116    251874    225273     23.70     25.12
12.00/12.06	c  N dy   289     85230       670     47205         0     21785    251874    528595     23.34     24.63
12.19/12.29	c  F st   308     87502       670     47205         0     24044    251874    612660     23.43   no data
12.59/12.61	c  N st   313     90802       670     47205         0     27311    251874    738798     23.43   no data
13.20/13.21	c  N dy   329     96848       670     47205         0     19570    251874    403893     23.41     24.65
13.79/13.87	c  N dy   338    103095       670     47205         0     25709    251874    609973     23.35     24.65
14.49/14.57	c  N dy   383    109678       670     47205         0     17537    251874    286525     23.45     26.72
15.19/15.27	c  N dy   438    116760       670     47205         0     24561    251874    545824     23.60     24.87
15.99/16.08	c  N dy   476    124665       670     47205         0     16708    251874    232333     23.60     24.88
16.89/16.92	c  N dy   496    133311       670     47205         0     25254    251874    530069     23.51     24.79
17.79/17.88	c  N dy   537    141873       670     47205         0     17038    251874    210298     23.56     28.47
18.71/18.77	c  N dy   578    150957       670     47205         0     26029    251874    537588     23.61     24.94
19.80/19.81	c  N dy   609    160686       670     47205         0     17983    251874    213596     23.59     25.03
20.80/20.88	c  N dy   655    171515       670     47205         0     28717    251874    607850     23.58     24.82
22.00/22.06	c  N dy   688    182804       670     47205         0     21194    251874    298618     23.51     24.78
23.20/23.23	c  N dy   742    194531       670     47205         0     32839    251874    725218     23.53     27.40
25.79/25.83	c  N dy   747    216230       670     47205         0     34675    251874    832115     23.22     24.47
27.29/27.38	c  N dy   797    230726       670     47205         0     28358    251874    525840     23.22     24.51
28.99/29.08	c  N dy   844    246159       670     47205         0     21964    251874    242477     23.16     24.71
30.81/30.83	c  N dy   908    262150       670     47205         0     37853    251874    867465     23.16     24.67
33.79/33.83	c  N dy   968    285985       670     47205         0     38920    251874    968865     23.06     24.36
35.89/35.96	c  N dy  1040    304959       670     47205         0     34049    251873    654386     23.07     24.59
35.99/36.10	c  F st  1047    306250       670     47205         0     35329    251873    700243     23.07     22.51
38.19/38.24	c  N dy  1121    324514       670     47205         0     28711    251873    395526     23.11     24.92
40.39/40.48	c  N dy  1234    344522       670     47205         0     48577    251873   1141375     23.19     27.14
42.70/42.79	c  N dy  1306    364748       670     47205         0     42893    251873    926065     23.18     24.41
45.01/45.03	c  N dy  1367    384751       670     47205         0     36100    251873    626904     23.15     28.37
47.39/47.44	c  N dy  1460    405157       670     47205         0     28697    251873    308279     23.17     24.48
49.69/49.71	c  N dy  1529    425380       670     47205         0     48749    251873   1032236     23.16     24.92
52.00/52.09	c  N dy  1643    445462       670     47205         0     40063    251873    712814     23.23     24.53
54.39/54.49	c  N dy  1710    465699       670     47205         0     30524    251873    322524     23.21     24.61
56.99/57.02	c  N dy  1799    487907       670     47205         0     52563    251873   1197648     23.22     24.45
59.99/60.05	c  N dy  1913    513440       670     47205         0     47191    251873    908719     23.25     24.51
63.09/63.17	c  N dy  2040    538369       670     47205         0     40303    251873    638301     23.29     24.67
65.59/65.63	c  N dy  2141    558373       670     47205         0     60120    251873   1386508     23.33     24.83
67.99/68.03	c  N dy  2208    578688       670     47205         0     47757    251873    895945     23.31     24.55
70.70/70.75	c  N dy  2328    599196       670     47205         0     34510    251873    340285     23.36     24.95
73.09/73.14	c  N dy  2420    619481       670     47205         0     54628    251873   1081438     23.37     24.81
75.69/75.71	c  N dy  2508    639639       670     47205         0     40014    251873    522935     23.39     24.83
78.19/78.24	c  N dy  2639    659707       670     47205         0     59925    251873   1271911     23.44     30.24
80.80/80.88	c  N dy  2721    680312       670     47205         0     44805    251873    686885     23.42     24.74
83.29/83.38	c  N dy  2741    700397       670     47205         0     64602    251873   1446317     23.35     27.07
89.30/89.36	c  N dy  2769    739614       670     47205         0     67060    251873   1684754     23.20     24.43
94.19/94.23	c  N dy  2810    774628       670     47205         0     64119    251873   1437437     23.09     24.36
96.99/97.01	c  N dy  2890    795354       670     47205         0     46158    251873    637796     23.09     24.71
99.59/99.61	c  N dy  3004    815442       670     47205         0     66096    251873   1389865     23.12     26.71
102.90/102.93	c  N dy  3113    840391       670     47205         0     51335    251873    809677     23.13     24.49
105.70/105.72	c  N dy  3247    860985       670     47205         0     71763    251873   1557147     23.17     24.56
108.29/108.34	c  N dy  3336    881152       670     47205         0     51237    251873    762531     23.19     24.41
111.00/111.06	c  N dy  3383    901459       670     47205         0     71245    251873   1522907     23.16     24.40
114.20/114.27	c  N dy  3402    925638       670     47205         0     53772    251873    881561     23.09     24.34
117.19/117.21	c  N dy  3526    947488       670     47205         0     75456    251873   1719819     23.13     24.41
119.99/120.04	c  N dy  3663    967552       670     47205         0     52869    251873    750373     23.17     27.55
122.89/122.90	c  N dy  3765    988560       670     47205         0     73691    251873   1535929     23.18     24.59
125.69/125.73	c  N dy  3867   1008598       670     47205         0     50057    251873    628728     23.20     25.16
134.60/134.65	c  F st  3920   1071875       670     47205         0     68403    251873   1403504     23.05     21.07
134.60/134.65	c  N st  3920   1071875       670     47205         0     68403    251873   1403504     23.05     21.07
138.30/138.36	c  N dy  3996   1097415       670     47205         0     48217    251873    506201     23.04     24.36
140.90/140.98	c  N dy  4106   1117508       670     47205         0     68154    251873   1255630     23.06     24.89
144.01/144.04	c  N dy  4170   1139009       670     47205         0     89510    251873   2079400     23.05     24.28
146.79/146.87	c  N dy  4308   1159321       670     47205         0     63167    251873   1019682     23.09     24.34
149.61/149.62	c  N dy  4361   1179405       670     47205         0     83048    251873   1766549     23.09     30.04
152.40/152.49	c  N dy  4451   1199579       670     47205         0     55577    251873    706769     23.09     24.32
155.30/155.34	c  N dy  4552   1220378       670     47205         0     76193    251873   1513536     23.12     24.57
158.49/158.50	c  N dy  4688   1240388       670     47205         0     96030    251873   2245987     23.15     30.16
161.19/161.26	c  N dy  4801   1260706       670     47205         0     67712    251873   1120039     23.17     24.44
164.19/164.22	c  N dy  4847   1281235       670     47205         0     88004    251873   1929571     23.14     24.39
167.00/167.09	c  N dy  4919   1301322       670     47205         0     58443    251873    750888     23.14     25.16
170.10/170.17	c  N dy  5023   1323680       670     47205         0     80634    251873   1600295     23.15     24.38
173.49/173.55	c  N dy  5148   1345123       670     47205         0     51526    251873    476178     23.17     24.59
177.59/177.67	c  N dy  5242   1376206       670     47205         0     82372    251873   1678177     23.15     24.47
180.80/180.85	c  N dy  5331   1396642       670     47205         0    102646    251872   2445617     23.16     24.38
184.29/184.36	c  N dy  5424   1422393       670     47205         0     76780    251872   1409395     23.15     24.41
187.40/187.46	c  N dy  5533   1442467       670     47205         0     96689    251872   2153025     23.17     25.05
190.49/190.51	c  N dy  5646   1462540       670     47205         0     64155    251872    865908     23.18     24.98
193.39/193.43	c  N dy  5762   1482543       670     47205         0     83982    251872   1616718     23.20     24.65
196.60/196.67	c  N dy  5875   1502627       670     47205         0    103867    251872   2351276     23.22     24.69
199.60/199.63	c  N dy  5923   1522723       670     47205         0     70426    251872   1131719     23.21     28.92
202.60/202.60	c  N dy  6040   1542754       670     47205         0     90269    251872   1863066     23.23     35.16
206.00/206.02	c  N dy  6172   1563042       670     47205         0     55991    251872    518003     23.26     24.93
208.70/208.73	c  N dy  6298   1583099       670     47205         0     75883    251872   1271380     23.28     24.93
211.59/211.67	c  N dy  6376   1603105       670     47205         0     95614    251872   2013042     23.28     25.36
215.00/215.00	c  N dy  6484   1623180       670     47205         0     60148    251872    648810     23.29     29.39
218.10/218.14	c  N dy  6539   1645464       670     47205         0     82264    251872   1511250     23.28     24.51
221.50/221.50	c  N dy  6556   1665560       670     47205         0    102031    251872   2323218     23.23     28.11
226.40/226.40	c  N dy  6601   1696304       670     47205         0     76243    251872   1304087     23.19     24.56
229.81/229.87	c  N dy  6671   1720228       670     47205         0     99968    251872   2182068     23.19     24.55
233.11/233.12	c  N dy  6789   1740254       670     47205         0     62486    251872    680510     23.21     32.04
236.00/236.08	c  N dy  6878   1760938       670     47205         0     82884    251872   1430249     23.21     24.53
239.10/239.13	c  N dy  6957   1780961       670     47205         0    102700    251872   2182002     23.22     27.21
242.50/242.51	c  N dy  7091   1800999       670     47205         0     64302    251872    718105     23.24     27.60
246.20/246.23	c  N dy  7203   1827095       670     47205         0     90095    251872   1668383     23.24     24.53
250.50/250.51	c  N dy  7283   1851816       670     47205         0    114404    251872   2613232     23.23     24.50
253.60/253.64	c  N dy  7409   1872252       670     47205         0     75479    251872   1108038     23.25     24.48
257.90/257.93	c  N dy  7496   1900445       670     47205         0    103335    251872   2190120     23.24     24.48
261.30/261.37	c  N dy  7591   1920484       670     47205         0     62992    251872    610001     23.25     28.85
264.30/264.36	c  N dy  7693   1941275       670     47205         0     83546    251872   1364975     23.26     24.52
267.50/267.56	c  N dy  7793   1961317       670     47205         0    103424    251872   2131217     23.27     24.56
271.10/271.15	c  N dy  7898   1981351       670     47205         0     62036    251872    540604     23.28     24.67
274.01/274.08	c  N dy  7996   2002398       670     47205         0     82926    251872   1345909     23.29     24.56
277.22/277.27	c  N dy  8069   2022477       670     47205         0    102785    251872   2069114     23.28     24.65
280.80/280.85	c  N dy  8140   2044149       670     47205         0    124203    251872   2880051     23.28     24.68
283.72/283.80	c  N dy  8218   2064194       670     47205         0     81833    251872   1272976     23.28     26.58
287.02/287.11	c  N dy  8294   2085905       670     47205         0    103387    251872   2113175     23.27     24.52
290.60/290.67	c  N dy  8408   2106048       670     47205         0    123364    251872   2853427     23.29     24.67
293.72/293.78	c  N dy  8522   2126065       670     47205         0     79947    251872   1140737     23.30     29.83
297.02/297.04	c  N dy  8617   2146920       670     47205         0    100671    251872   1941855     23.30     24.79
300.50/300.50	c  N dy  8724   2166999       670     47205         0    120592    251872   2693530     23.31     32.04
303.70/303.76	c  N dy  8820   2187007       670     47205         0     76083    251872    976745     23.32     24.79
306.71/306.73	c  N dy  8897   2207089       670     47205         0     95995    251872   1741454     23.32     24.62
310.00/310.06	c  N dy  8994   2227131       670     47205         0    115822    251872   2461657     23.33     25.08
314.10/314.13	c  N dy  9111   2251186       670     47205         0     74392    251872    892227     23.33     24.62
317.41/317.41	c  N dy  9208   2272382       670     47205         0     95309    251872   1683750     23.33     24.68
320.70/320.71	c  N dy  9266   2292429       670     47205         0    115174    251872   2467575     23.32     26.48
324.31/324.32	c  N dy  9371   2312581       670     47205         0     68909    251872    644684     23.33     24.69
327.31/327.35	c  N dy  9503   2332659       670     47205         0     88804    251872   1371386     23.35     30.77
331.90/331.99	c  N dy  9616   2361090       670     47205         0    117039    251872   2473345     23.35     24.76
336.30/336.31	c  N dy  9728   2384253       670     47205         0     72739    251872    768941     23.36     24.68
339.31/339.39	c  N dy  9861   2404425       670     47205         0     92729    251872   1524813     23.38     24.62
342.81/342.82	c  N dy  9948   2424630       670     47205         0    112744    251872   2282785     23.38     24.77
346.31/346.40	c  N dy 10045   2444636       670     47205         0    132589    251872   3045519     23.39     25.56
349.60/349.69	c  N dy 10115   2465108       670     47205         0     84602    251872   1183050     23.38     24.69
352.90/352.94	c  N dy 10258   2485130       670     47205         0    104438    251872   1916408     23.40     30.08
356.32/356.37	c  N dy 10331   2505195       670     47205         0    124315    251872   2705022     23.40     28.65
359.90/359.92	c  N dy 10395   2526346       670     47205         0     75944    251872    778633     23.39     24.81
363.02/363.03	c  N dy 10508   2546472       670     47205         0     95868    251871   1515893     23.40     24.68
367.10/367.11	c  N dy 10547   2570453       670     47205         0    119565    251871   2473539     23.38     24.87
371.20/371.23	c  N dy 10620   2594157       670     47205         0     72901    251871    685061     23.38     25.07
375.21/375.21	c  N dy 10672   2621356       670     47205         0     99819    251871   1701279     23.36     24.63
378.61/378.62	c  N dy 10784   2641431       670     47205         0    119675    251871   2423756     23.37     28.93
383.41/383.47	c  N dy 10890   2668677       670     47205         0     75579    251871    744483     23.36     24.93
386.61/386.60	c  N dy 11010   2688748       670     47205         0     95469    251871   1477951     23.38     30.80
389.90/389.96	c  N dy 11105   2708993       670     47205         0    115494    251871   2229730     23.38     24.70
396.81/396.84	c  N dy 11181   2748436       670     47205         0     82525    251871   1045376     23.35     24.58
400.81/400.82	c  N dy 11242   2774048       670     47205         0    107837    251871   2000199     23.34     24.67
404.31/404.33	c  N dy 11326   2794071       670     47205         0    127671    251871   2745031     23.34     26.35
408.02/408.02	c  N dy 11392   2814133       670     47205         0     74380    251871    644502     23.34     27.37
417.31/417.36	c  N dy 11494   2866941       670     47205         0    126455    251871   2750796     23.30     24.54
421.33/421.38	c  N dy 11623   2887274       670     47205         0    146600    251871   3487979     23.31     24.69
438.01/438.03	c  N dy 11731   2971528       670     47205         0     80848    251871    846954     23.24     24.89
441.12/441.12	c  N dy 11840   2991547       670     47205         0    100704    251871   1607167     23.25     27.01
444.61/444.63	c  N dy 11947   3011561       670     47205         0    120524    251871   2364511     23.26     24.65
448.41/448.46	c  N dy 12048   3031631       670     47205         0    140401    251871   3094455     23.26     24.73
452.12/452.14	c  N dy 12147   3052361       670     47205         0     84858    251871    950539     23.27     24.76
455.32/455.35	c  N dy 12253   3072446       670     47205         0    104717    251871   1676053     23.28     24.90
459.01/459.07	c  N dy 12406   3092535       670     47205         0    124634    251871   2418258     23.29     24.81
462.90/462.97	c  N dy 12523   3112566       670     47205         0    144450    251871   3138342     23.30     24.64
469.81/469.80	c  N dy 12560   3149850       670     47205         0    104313    251871   1759315     23.26     24.55
473.11/473.18	c  N dy 12642   3170005       670     47205         0    124261    251871   2523876     23.26     24.88
477.21/477.23	c  N dy 12738   3191634       670     47205         0    145661    251871   3312212     23.26     24.60
481.72/481.75	c  N dy 12796   3216605       670     47205         0     92276    251871   1241706     23.25     24.50
485.02/485.07	c  N dy 12917   3236675       670     47205         0    112161    251871   1992647     23.26     25.84
488.51/488.59	c  N dy 13002   3256706       670     47205         0    132049    251871   2759709     23.27     28.57
492.51/492.54	c  N dy 13112   3276723       670     47205         0    151913    251871   3502502     23.28     24.54
496.21/496.26	c  N dy 13216   3297210       670     47205         0     93062    251871   1164493     23.28     24.52
502.41/502.40	c  N dy 13242   3333341       670     47205         0    128865    251871   2556559     23.25     24.55
506.11/506.15	c  N dy 13321   3353418       670     47205         0    148695    251871   3299393     23.25     29.62
510.11/510.17	c  N dy 13423   3375337       670     47205         0     90287    251871   1033396     23.26     24.51
514.41/514.40	c  N dy 13532   3400782       670     47205         0    115528    251871   2011921     23.26     24.53
517.92/517.91	c  N dy 13592   3420787       670     47205         0    135382    251871   2773584     23.26     30.54
522.11/522.10	c  N dy 13735   3440884       670     47205         0    155318    251871   3517226     23.27     24.67
525.83/525.87	c  N dy 13866   3461037       670     47205         0     94162    251871   1130078     23.28     24.61
529.13/529.15	c  N dy 13916   3482303       670     47205         0    115181    251871   1930926     23.27     24.70
535.11/535.16	c  N dy 14004   3514714       670     47205         0    147329    251871   3171481     23.27     24.60
539.42/539.42	c  N dy 14124   3535078       670     47205         0     85395    251871    782087     23.27     24.72
542.62/542.65	c  N dy 14230   3555232       670     47205         0    105379    251871   1553303     23.28     24.81
546.11/546.16	c  N dy 14326   3575702       670     47205         0    125638    251871   2292459     23.28     24.54
549.81/549.86	c  N dy 14403   3595782       670     47205         0    145555    251871   3083424     23.28     24.58
554.11/554.16	c  N dy 14538   3615825       670     47205         0    165418    251871   3821403     23.29     28.19
557.62/557.62	c  N dy 14659   3635910       670     47205         0    102184    251871   1358484     23.30     24.62
561.52/561.55	c  N dy 14804   3657629       670     47205         0    123717    251871   2157610     23.31     24.64
565.21/565.23	c  N dy 14861   3677995       670     47205         0    143847    251871   2938163     23.31     24.61
569.32/569.37	c  N dy 14961   3698042       670     47205         0    163717    251871   3685451     23.31     25.82
572.91/573.00	c  N dy 15069   3718126       670     47205         0     99569    251871   1260094     23.32     24.67
576.43/576.49	c  N dy 15179   3738262       670     47205         0    119507    251871   2014487     23.32     24.64
578.91/578.99	c  F st 15258   3751562       670     47205         0    132661    251871   2487925     23.33     22.55
580.31/580.31	c  N dy 15267   3758693       670     47205         0    139691    251871   2760622     23.33     24.73
584.31/584.39	c  N dy 15372   3778728       670     47205         0    159563    251871   3489912     23.33     24.57
588.01/588.02	c  N dy 15421   3798891       670     47205         0     94495    251871   1043023     23.33     24.59
591.31/591.35	c  N dy 15454   3819083       670     47205         0    114561    251871   1872466     23.32     24.69
594.92/594.93	c  N dy 15531   3839555       670     47205         0    134846    251871   2637101     23.32     24.60
598.92/598.90	c  N dy 15644   3859714       670     47205         0    154810    251871   3358053     23.33     24.67
607.01/607.09	c  N dy 15652   3902271       670     47205         0    110636    251871   1697815     23.27     24.53
610.71/610.71	c  N dy 15757   3922287       670     47205         0    130447    251871   2439365     23.28     24.68
614.31/614.35	c  N dy 15825   3942327       670     47205         0    150218    251871   3203326     23.28     24.51
618.91/618.95	c  N dy 15840   3965162       670     47205         0    172810    251871   4071199     23.26     24.72
622.53/622.52	c  N dy 15945   3985262       670     47205         0    105879    251871   1421795     23.26     27.59
627.42/627.41	c  N dy 16059   4012999       670     47205         0    133388    251871   2477146     23.26     24.56
631.52/631.56	c  N dy 16157   4034351       670     47205         0    154574    251871   3305274     23.26     24.59
636.21/636.27	c  N dy 16292   4055222       670     47205         0    175255    251871   4067099     23.27     24.53
640.02/640.01	c  N dy 16414   4076559       670     47205         0    108417    251871   1473481     23.28     24.53
643.62/643.64	c  N dy 16538   4096641       670     47205         0    128312    251871   2197945     23.28     24.78
647.93/647.93	c  N dy 16627   4119419       670     47205         0    150946    251871   3104634     23.29     24.53
652.12/652.12	c  N dy 16712   4140524       670     47205         0    171823    251871   3886764     23.29     24.54
655.91/655.94	c  N dy 16794   4160552       670     47205         0    102620    251871   1223697     23.29     24.73
659.51/659.54	c  N dy 16932   4180745       670     47205         0    122635    251871   1969049     23.30     24.55
663.34/663.32	c  N dy 17032   4200945       670     47205         0    142625    251871   2705204     23.30     24.78
668.92/668.92	c  N dy 17123   4229439       670     47205         0    170825    251871   3722543     23.30     24.55
672.72/672.73	c  N dy 17186   4249450       670     47205         0    100602    251871   1114676     23.29     24.66
676.43/676.42	c  N dy 17276   4271603       670     47205         0    122461    251871   1920479     23.29     24.59
680.12/680.11	c  N dy 17332   4291622       670     47205         0    142299    251871   2699189     23.28     24.59
684.23/684.26	c  N dy 17447   4311646       670     47205         0    162154    251871   3453285     23.29     27.36
689.02/689.00	c  N dy 17567   4331968       670     47205         0     91362    251871    749990     23.29     24.54
694.42/694.45	c  N dy 17665   4364545       670     47205         0    123540    251871   1973763     23.29     24.60
698.12/698.16	c  N dy 17756   4384668       670     47205         0    143498    251871   2715076     23.29     24.52
702.02/702.07	c  N dy 17827   4404737       670     47205         0    163304    251871   3451331     23.29     25.01
706.92/706.90	c  N dy 17935   4425756       670     47205         0     92262    251871    752966     23.29     24.55
710.72/710.78	c  N dy 18022   4449733       670     47205         0    115990    251871   1668307     23.30     24.59
714.52/714.55	c  N dy 18149   4469827       670     47205         0    135931    251871   2427839     23.30     25.23
719.22/719.30	c  N dy 18167   4494948       670     47205         0    160721    251871   3417267     23.29     24.65
723.83/723.83	c  N dy 18293   4514980       670     47205         0    180531    251871   4154598     23.30     27.61
727.72/727.74	c  N dy 18419   4535034       670     47205         0    107513    251871   1286538     23.31     26.94
731.32/731.33	c  N dy 18538   4555128       670     47205         0    127432    251871   2046451     23.31     28.69
735.12/735.18	c  N dy 18640   4575501       670     47205         0    147602    251871   2792583     23.32     24.57
739.32/739.39	c  N dy 18740   4596361       670     47205         0    168300    251871   3583188     23.32     24.69
751.13/751.18	c  N dy 18743   4655743       670     47205         0    132830    251871   2384771     23.27     24.54
755.12/755.18	c  N dy 18829   4676766       670     47205         0    153680    251871   3185847     23.27     24.52
759.62/759.61	c  N dy 18932   4697876       670     47205         0    174548    251871   3961693     23.28     24.66
764.22/764.28	c  N dy 19044   4717961       670     47205         0     99662    251871    937135     23.28     28.24
767.62/767.62	c  N dy 19137   4738044       670     47205         0    119491    251871   1654451     23.29     31.39
772.02/772.03	c  N dy 19250   4761955       670     47205         0    143172    251871   2553562     23.29     24.54
776.32/776.37	c  N dy 19384   4782731       670     47205         0    163747    251871   3307933     23.29     24.57
780.82/780.84	c  N dy 19504   4802808       670     47205         0    183652    251871   4042163     23.30     26.75
784.93/784.98	c  N dy 19621   4822897       670     47205         0    107725    251871   1216984     23.31     24.63
788.52/788.52	c  N dy 19680   4843258       670     47205         0    127949    251871   2012352     23.30     24.62
792.22/792.28	c  N dy 19780   4863274       670     47205         0    147790    251871   2773355     23.31     26.11
796.44/796.47	c  N dy 19893   4883331       670     47205         0    167663    251871   3528784     23.31     25.15
800.84/800.84	c  N dy 19978   4903410       670     47205         0    187541    251871   4263765     23.31     24.81
805.03/805.00	c  N dy 20066   4925428       670     47205         0    112425    251871   1377045     23.31     24.79
808.63/808.68	c  N dy 20171   4945789       670     47205         0    132622    251871   2137758     23.32     24.68
812.72/812.79	c  N dy 20276   4966608       670     47205         0    153190    251871   2874908     23.32     24.55
817.52/817.57	c  N dy 20371   4990208       670     47205         0    176538    251871   3767840     23.32     24.61
822.63/822.60	c  N dy 20508   5010284       670     47205         0     98530    251871    811291     23.33     27.41
826.04/826.07	c  N dy 20651   5030315       670     47205         0    118399    251871   1548459     23.34     30.12
830.63/830.69	c  N dy 20711   5055764       670     47205         0    143649    251871   2529120     23.33     24.60
834.94/834.98	c  N dy 20814   5076528       670     47205         0    164230    251871   3298002     23.33     24.59
839.52/839.59	c  N dy 20958   5096615       670     47205         0    184137    251871   4036357     23.34     25.67
843.83/843.86	c  N dy 21015   5116792       670     47205         0    105236    251871   1062992     23.34     24.59
847.32/847.38	c  N dy 21116   5136794       670     47205         0    125039    251871   1784513     23.34     24.61
851.12/851.10	c  N dy 21183   5157233       670     47205         0    145278    251871   2552814     23.34     24.59
855.12/855.17	c  N dy 21272   5177807       670     47205         0    165621    251871   3331829     23.34     24.57
859.43/859.45	c  N dy 21343   5197903       670     47205         0    185504    251871   4056734     23.34     28.84
864.33/864.39	c  N dy 21481   5218146       670     47205         0    105622    251871   1001678     23.35     24.75
867.94/867.96	c  N dy 21574   5238700       670     47205         0    125952    251871   1759879     23.35     24.62
871.73/871.76	c  N dy 21671   5258953       670     47205         0    146036    251871   2502286     23.35     25.21
876.02/876.00	c  N dy 21789   5278994       670     47205         0    165917    251871   3230204     23.35     29.95
880.32/880.33	c  N dy 21873   5299057       670     47205         0    185807    251871   3997326     23.35     25.33
885.23/885.28	c  N dy 22027   5319128       670     47205         0    104799    251871    956274     23.36     28.26
888.74/888.81	c  N dy 22087   5339157       670     47205         0    124546    251871   1726420     23.36     25.74
892.73/892.72	c  N dy 22224   5359342       670     47205         0    144553    251871   2466203     23.37     24.77
896.73/896.72	c  N dy 22296   5379677       670     47205         0    164712    251871   3232751     23.37     24.77
902.23/902.26	c  N dy 22395   5405488       670     47205         0    190347    251871   4235805     23.37     24.74
907.03/907.07	c  N dy 22531   5425504       670     47205         0    108265    251871   1055145     23.37     29.37
910.63/910.66	c  N dy 22641   5445601       670     47205         0    128192    251871   1800488     23.38     26.39
914.53/914.56	c  N dy 22744   5465605       670     47205         0    147981    251871   2515154     23.38     24.95
918.73/918.77	c  N dy 22851   5485685       670     47205         0    167902    251871   3267209     23.39     31.47
922.73/922.75	c  N dy 22894   5506178       670     47205         0    188160    251871   4033250     23.38     24.63
927.73/927.71	c  N dy 22986   5526195       670     47205         0    105073    251871    900334     23.38     26.02
931.13/931.15	c  N dy 23065   5546231       670     47205         0    124812    251871   1595598     23.39     24.70
936.33/936.32	c  N dy 23125   5574968       670     47205         0    153267    251871   2666288     23.38     24.61
940.63/940.63	c  N dy 23236   5595045       670     47205         0    173134    251871   3404159     23.38     25.32
945.23/945.20	c  N dy 23346   5615161       670     47205         0    193090    251871   4152132     23.38     24.74
952.14/952.15	c  N dy 23429   5647459       670     47205         0    121260    251871   1576392     23.38     24.62
957.23/957.20	c  N dy 23542   5673948       670     47205         0    147505    251871   2625594     23.38     24.75
964.53/964.51	c  N dy 23655   5709022       670     47205         0    182199    251871   3993146     23.38     24.68
969.34/969.37	c  N dy 23761   5729544       670     47205         0    202528    251871   4750216     23.38     24.90
973.63/973.64	c  N dy 23880   5749623       670     47205         0    117639    251871   1322607     23.38     31.65
1035.05/1035.03	c  N dy 23925   5981587       670     47205         0    134506    251871   2004430     23.21     24.55
1039.03/1039.03	c  N dy 24035   6001654       670     47205         0    154394    251871   2744662     23.21     26.73
1043.23/1043.23	c  N dy 24136   6021731       670     47205         0    174258    251871   3471640     23.21     27.24
1048.13/1048.11	c  N dy 24288   6041757       670     47205         0    194120    251871   4216786     23.22     29.63
1053.85/1053.85	c  N dy 24365   6066612       670     47205         0    111013    251871   1007112     23.22     24.64
1057.54/1057.56	c  N dy 24507   6086744       670     47205         0    130933    251871   1735964     23.23     24.46
1061.55/1061.54	c  N dy 24628   6106761       670     47205         0    150732    251871   2457861     23.23     24.47
1066.13/1066.18	c  N dy 24761   6127889       670     47205         0    171666    251871   3234110     23.24     24.47
1070.73/1070.72	c  N dy 24830   6149446       670     47205         0    193008    251871   4049447     23.23     24.61
1075.63/1075.66	c  N dy 24897   6171032       670     47205         0    214416    251871   4888385     23.23     24.69
1079.74/1079.74	c  N dy 25003   6191042       670     47205         0    125467    251871   1482368     23.23     28.23
1083.94/1083.94	c  N dy 25124   6212653       670     47205         0    146848    251871   2263544     23.24     24.50
1088.74/1088.77	c  N dy 25205   6236504       670     47205         0    170480    251871   3173854     23.24     24.57
1093.23/1093.20	c  N dy 25279   6256580       670     47205         0    190327    251871   3923086     23.24     27.12
1098.34/1098.34	c  N dy 25409   6277110       670     47205         0    210627    251871   4664293     23.25     24.53
1103.04/1103.00	c  N dy 25530   6297171       670     47205         0    120813    251871   1312793     23.25     25.99
1106.83/1106.80	c  N dy 25656   6317208       670     47205         0    140665    251871   2058580     23.26     25.85
1110.94/1110.93	c  N dy 25682   6338709       670     47205         0    161884    251871   2936708     23.25     24.55
1115.46/1115.47	c  N dy 25809   6358909       670     47205         0    181885    251871   3674720     23.25     24.51
1120.14/1120.10	c  N dy 25889   6379723       670     47205         0    202526    251871   4481068     23.25     24.54
1125.14/1125.17	c  N dy 25967   6399793       670     47205         0    111651    251871    925683     23.25     24.48
1128.55/1128.61	c  N dy 26055   6419819       670     47205         0    131503    251871   1670036     23.25     25.62
1132.74/1132.75	c  N dy 26179   6440679       670     47205         0    152200    251871   2461738     23.26     24.81
1137.24/1137.30	c  N dy 26322   6460813       670     47205         0    172161    251871   3212033     23.27     24.67
1141.93/1141.91	c  N dy 26430   6480821       670     47205         0    191953    251871   3935655     23.27     27.91
1147.64/1147.61	c  N dy 26461   6505991       670     47205         0    216717    251871   4920784     23.26     24.49
1151.93/1151.91	c  N dy 26521   6526038       670     47205         0    124917    251871   1424701     23.26     27.87
1155.83/1155.89	c  N dy 26650   6546127       670     47205         0    144821    251871   2161479     23.26     24.82
1160.24/1160.26	c  N dy 26757   6567173       670     47205         0    165650    251871   2940467     23.27     24.56
1164.44/1164.45	c  N dy 26811   6587383       670     47205         0    185761    251871   3748249     23.27     24.50
1169.25/1169.29	c  N dy 26934   6607407       670     47205         0    205586    251871   4482058     23.27     25.85
1174.24/1174.20	c  N dy 27018   6627420       670     47205         0    225350    251871   5182564     23.27     32.86
1178.16/1178.12	c  N dy 27099   6647793       670     47205         0    132739    251871   1660502     23.27     24.65
1183.44/1183.47	c  N dy 27146   6674598       670     47205         0    159315    251871   2736474     23.26     24.70
1188.74/1188.73	c  N dy 27253   6699393       670     47205         0    183871    251871   3683576     23.26     24.88
1193.46/1193.43	c  N dy 27327   6720811       670     47205         0    205085    251871   4487171     23.26     24.62
1198.84/1198.80	c  N dy 27469   6740871       670     47205         0    224932    251871   5228609     23.27     25.52
1203.14/1203.11	c  N dy 27610   6760874       670     47205         0    130996    251871   1565719     23.28     25.26
1207.64/1207.71	c  N dy 27706   6785870       670     47205         0    155693    251871   2483364     23.28     24.51
1213.95/1213.97	c  N dy 27825   6815489       670     47205         0    184939    251871   3594042     23.28     24.57
1220.54/1220.50	c  N dy 27929   6843597       670     47205         0    212689    251871   4651023     23.28     24.64
1240.04/1240.00	c  N dy 27998   6925932       670     47205         0    179403    251871   3759179     23.24     24.53
1245.55/1245.54	c  N dy 28087   6950234       670     47205         0    203481    251871   4705473     23.24     24.50
1250.44/1250.49	c  N dy 28147   6970273       670     47205         0    223199    251871   5443534     23.24     24.75
1255.06/1255.02	c  N dy 28222   6990282       670     47205         0    127533    251871   1418041     23.24     24.63
1258.84/1258.88	c  N dy 28282   7010366       670     47205         0    147282    251871   2183262     23.24     31.19
1263.44/1263.42	c  N dy 28309   7033994       670     47205         0    170653    251871   3134734     23.23     24.46
1268.55/1268.53	c  N dy 28404   7056878       670     47205         0    193313    251871   3976200     23.23     24.56
1273.45/1273.46	c  N dy 28525   7076943       670     47205         0    213178    251871   4730577     23.24     24.50
1278.94/1278.94	c  N dy 28657   7097000       670     47205         0    232980    251871   5444693     23.24     27.35
1283.25/1283.21	c  N dy 28740   7118718       670     47205         0    137957    251871   1790934     23.24     24.55
1287.35/1287.35	c  N dy 28865   7138771       670     47205         0    157862    251871   2548929     23.25     27.91
1291.94/1291.99	c  N dy 29012   7158849       670     47205         0    177782    251871   3280519     23.25     27.26
1296.96/1296.91	c  N dy 29087   7180829       670     47205         0    199550    251871   4123707     23.25     24.52
1302.05/1302.06	c  N dy 29209   7200912       670     47205         0    219448    251871   4860682     23.26     29.89
1307.44/1307.41	c  N dy 29316   7221041       670     47205         0    121698    251871   1103293     23.26     24.49
1311.35/1311.35	c  N dy 29462   7241086       670     47205         0    141538    251871   1842987     23.27     28.00
1315.56/1315.60	c  N dy 29559   7261976       670     47205         0    162199    251871   2601104     23.27     24.69
1320.25/1320.21	c  N dy 29671   7282789       670     47205         0    182826    251871   3364185     23.27     24.63
1325.04/1325.09	c  N dy 29780   7302867       670     47205         0    202702    251871   4098444     23.27     35.22
1330.35/1330.36	c  N dy 29899   7323115       670     47205         0    222720    251871   4829740     23.28     24.51
1335.65/1335.63	c  N dy 29986   7344373       670     47205         0    125133    251871   1193042     23.28     24.58
1339.44/1339.48	c  N dy 30093   7364442       670     47205         0    145020    251871   1929319     23.28     26.85
1343.55/1343.53	c  N dy 30180   7384448       670     47205         0    164820    251871   2687409     23.28     24.72
1347.85/1347.88	c  N dy 30263   7404522       670     47205         0    184699    251871   3429478     23.29     25.69
1352.75/1352.72	c  N dy 30373   7424568       670     47205         0    204556    251871   4173952     23.29     24.87
1357.85/1357.85	c  N dy 30482   7444661       670     47205         0    224481    251871   4921681     23.29     24.63
1363.05/1363.01	c  N dy 30574   7465584       670     47205         0    125511    251871   1186045     23.29     24.86
1370.25/1370.26	c  N dy 30645   7501609       670     47205         0    160887    251871   2497215     23.28     24.65
1377.65/1377.67	c  N dy 30758   7535537       670     47205         0    194505    251871   3743696     23.28     24.55
1383.15/1383.18	c  N dy 30851   7559553       670     47205         0    218319    251871   4663654     23.28     24.56
1388.16/1388.15	c  N dy 30919   7579645       670     47205         0    238241    251871   5443230     23.28     26.33
1392.45/1392.43	c  N dy 30991   7599733       670     47205         0    137583    251871   1654117     23.28     24.52
1396.55/1396.53	c  N dy 31111   7619813       670     47205         0    157471    251871   2399860     23.28     26.05
1401.05/1401.08	c  N dy 31231   7640565       670     47205         0    178029    251871   3165691     23.28     24.53
1405.77/1405.79	c  N dy 31293   7662191       670     47205         0    199512    251871   4049281     23.28     24.59
1410.85/1410.88	c  N dy 31395   7682256       670     47205         0    219387    251871   4783788     23.28     25.79
1415.77/1415.74	c  N dy 31438   7702352       670     47205         0    239349    251871   5601776     23.28     25.14
1420.46/1420.47	c  N dy 31586   7722839       670     47205         0    137981    251871   1599861     23.29     24.60
1424.46/1424.45	c  N dy 31682   7743065       670     47205         0    157969    251871   2324369     23.29     24.70
1428.97/1428.95	c  N dy 31754   7764938       670     47205         0    179605    251871   3164251     23.29     24.55
1433.37/1433.34	c  N dy 31821   7785023       670     47205         0    199467    251871   3931116     23.29     27.64
1438.15/1438.18	c  N dy 31909   7805324       670     47205         0    219506    251871   4695294     23.29     24.53
1443.46/1443.41	c  N dy 32012   7825410       670     47205         0    239389    251871   5431077     23.29     26.16
1448.15/1448.11	c  N dy 32127   7845560       670     47205         0    136742    251871   1527484     23.29     25.07
1452.07/1452.06	c  N dy 32214   7866238       670     47205         0    157197    251871   2260129     23.30     24.76
1456.36/1456.41	c  N dy 32314   7886289       670     47205         0    177077    251871   3026235     23.30     27.48
1464.75/1464.78	c  N dy 32397   7924009       670     47205         0    214335    251871   4471314     23.29     24.56
1469.95/1469.92	c  N dy 32492   7944038       670     47205         0    234138    251871   5204178     23.29     26.33
1478.36/1478.35	c  N dy 32554   7979851       670     47205         0    146196    251871   1953777     23.29     24.55
1482.56/1482.58	c  N dy 32667   7999891       670     47205         0    166010    251871   2674901     23.29     28.40
1487.17/1487.15	c  N dy 32773   8020333       670     47205         0    186240    251871   3440799     23.29     24.65
1492.95/1492.94	c  N dy 32875   8044905       670     47205         0    210416    251871   4283064     23.29     24.52
1497.95/1497.98	c  N dy 32961   8065105       670     47205         0    230401    251871   5034015     23.29     24.73
1503.96/1503.96	c  N dy 33091   8085346       670     47205         0    125890    251871   1055602     23.30     24.61
1509.66/1509.65	c  N dy 33235   8114444       670     47205         0    154686    251871   2157105     23.30     24.61
1513.95/1513.98	c  N dy 33355   8134477       670     47205         0    174560    251871   2898987     23.30     25.74
1518.45/1518.46	c  N dy 33449   8154543       670     47205         0    194391    251871   3609825     23.30     26.32
1524.15/1524.12	c  N dy 33510   8179741       670     47205         0    219145    251871   4567426     23.30     24.59
1529.07/1529.06	c  N dy 33539   8201585       670     47205         0    240661    251871   5442104     23.30     24.54
1533.86/1533.83	c  N dy 33594   8221644       670     47205         0    135015    251871   1376352     23.30     29.22
1537.95/1537.90	c  N dy 33720   8241654       670     47205         0    154836    251871   2114916     23.30     28.83
1542.16/1542.20	c  N dy 33840   8261696       670     47205         0    174699    251871   2869560     23.30     26.06
1547.15/1547.14	c  N dy 33941   8283648       670     47205         0    196448    251871   3683688     23.31     24.84
1552.26/1552.23	c  N dy 34055   8303668       670     47205         0    216278    251871   4414601     23.31     25.54
1559.76/1559.75	c  N dy 34174   8333396       670     47205         0    245728    251871   5555415     23.31     24.58
1564.46/1564.47	c  N dy 34274   8353490       670     47205         0    139075    251871   1478441     23.31     29.41
1568.46/1568.51	c  N dy 34375   8373526       670     47205         0    158940    251871   2221031     23.32     26.72
1575.06/1575.07	c  N dy 34442   8404527       670     47205         0    189634    251871   3441859     23.31     24.59
1579.96/1579.98	c  N dy 34546   8424666       670     47205         0    209532    251871   4171384     23.31     24.86
1585.46/1585.49	c  N dy 34689   8444758       670     47205         0    229445    251871   4910111     23.32     24.99
1591.56/1591.57	c  N dy 34796   8467752       670     47205         0    252253    251871   5779003     23.32     24.75
1596.07/1596.02	c  N dy 34865   8488023       670     47205         0    144763    251871   1713334     23.32     24.55
1601.06/1601.06	c  N dy 34879   8512656       670     47205         0    169119    251871   2702754     23.31     24.73
1605.56/1605.52	c  N dy 34973   8532683       670     47205         0    188963    251871   3453714     23.31     24.69
1610.56/1610.51	c  N dy 35084   8553139       670     47205         0    209243    251871   4212383     23.32     24.58
1615.46/1615.47	c  N dy 35182   8573237       670     47205         0    229114    251871   4955018     23.32     29.14
1621.06/1621.04	c  N dy 35242   8594856       670     47205         0    250551    251871   5747846     23.32     24.95
1625.96/1625.93	c  N dy 35354   8615118       670     47205         0    142049    251871   1546963     23.32     24.75
1630.76/1630.72	c  N dy 35462   8638308       670     47205         0    164989    251871   2413636     23.32     24.56
1635.06/1635.06	c  N dy 35549   8658322       670     47205         0    184798    251871   3170733     23.32     27.09
1640.17/1640.18	c  N dy 35667   8679263       670     47205         0    205563    251871   3945513     23.33     24.72
1645.26/1645.27	c  N dy 35772   8699357       670     47205         0    225479    251871   4705731     23.33     27.75
1650.87/1650.84	c  N dy 35888   8719441       670     47205         0    245381    251871   5449666     23.33     25.99
1656.96/1656.90	c  N dy 35999   8742665       670     47205         0    138788    251871   1418996     23.33     24.59
1660.86/1660.80	c  N dy 36062   8763134       670     47205         0    159001    251871   2179037     23.33     24.68
1665.17/1665.16	c  N dy 36154   8783147       670     47205         0    178814    251871   2911994     23.34     24.66
1669.66/1669.70	c  N dy 36241   8803198       670     47205         0    198732    251871   3691230     23.34     24.62
1674.56/1674.54	c  N dy 36322   8823743       670     47205         0    219046    251871   4468007     23.34     24.73
1680.16/1680.11	c  N dy 36446   8843822       670     47205         0    238899    251871   5214247     23.34     27.83
1687.38/1687.34	c  N dy 36552   8870435       670     47205         0    134688    251871   1212006     23.34     24.60
1691.36/1691.35	c  N dy 36680   8890516       670     47205         0    154607    251871   1953982     23.35     27.00
1696.96/1696.91	c  N dy 36753   8917689       670     47205         0    181388    251871   3000671     23.34     24.79
1701.77/1701.75	c  N dy 36859   8937789       670     47205         0    201330    251871   3752212     23.34     26.17
1707.17/1707.15	c  N dy 37006   8957856       670     47205         0    221194    251871   4487732     23.35     27.12
1712.56/1712.50	c  N dy 37099   8979059       670     47205         0    242132    251871   5260234     23.35     24.84
1720.48/1720.46	c  N dy 37135   9013453       670     47205         0    144750    251871   1628666     23.34     24.62
1724.47/1724.43	c  N dy 37219   9033541       670     47205         0    164602    251871   2400600     23.34     29.68
1729.28/1729.24	c  N dy 37290   9056280       670     47205         0    187113    251871   3265061     23.34     24.65
1734.06/1734.03	c  N dy 37399   9076347       670     47205         0    207025    251871   4016726     23.34     27.66
1738.66/1738.63	c  N dy 37426   9096752       670     47205         0    227262    251871   4843511     23.34     24.74
1743.77/1743.74	c  N dy 37474   9118361       670     47205         0    248632    251871   5625041     23.34     24.58
1749.66/1749.61	c  N dy 37568   9140841       670     47205         0    138389    251871   1310294     23.33     24.64
1754.07/1754.05	c  N dy 37642   9163220       670     47205         0    160498    251871   2156927     23.33     24.66
1760.67/1760.67	c  N dy 37739   9193709       670     47205         0    190697    251871   3357860     23.33     24.61
1771.86/1771.88	c  N dy 37817   9241606       670     47205         0    237952    251871   5269083     23.32     25.00
1777.97/1777.92	c  N dy 37873   9265365       670     47205         0    261387    251871   6149380     23.32     24.83
1782.97/1782.95	c  N dy 37991   9285440       670     47205         0    147891    251871   1630930     23.32     31.28
1787.27/1787.25	c  N dy 38114   9305498       670     47205         0    167792    251871   2375848     23.32     25.13
1792.06/1792.03	c  N dy 38250   9325551       670     47205         0    187645    251871   3110039     23.33     24.56
1796.86/1796.81	c  N dy 38298   9347602       670     47205         0    209504    251871   3974857     23.32     24.67
1805.77/1805.75	c  N dy 38402   9383689       670     47205         0    245112    251871   5373072     23.32     24.60
1811.16/1811.10	c  N dy 38452   9404878       670     47205         0    266073    251871   6157484     23.32     24.68
1815.67/1815.60	c  N dy 38556   9424931       670     47205         0    151478    251871   1713651     23.32     25.37
1830.97/1830.95	c  N dy 38595   9488010       670     47205         0    213964    251871   4319344     23.30     24.62
1836.07/1836.01	c  N dy 38685   9508092       670     47205         0    233867    251871   5079403     23.30     24.54
1841.27/1841.24	c  N dy 38745   9528151       670     47205         0    253703    251871   5836430     23.30     24.82
1852.17/1852.15	c  N dy 38767   9574639       670     47205         0    164358    251871   2362029     23.28     24.60
1856.78/1856.78	c  N dy 38877   9594735       670     47205         0    184243    251871   3086883     23.28     34.36
1872.97/1872.94	c  N dy 38988   9662645       670     47205         0    251269    251871   5768582     23.27     24.71
1878.89/1878.83	c  N dy 39087   9683294       670     47205         0    271685    251871   6508096     23.27     24.51
1887.97/1887.93	c  N dy 39143   9723510       670     47205         0    175204    251871   2739946     23.26     24.59
1892.37/1892.39	c  N dy 39203   9743581       670     47205         0    195067    251871   3512915     23.26     24.76
1897.27/1897.28	c  N dy 39267   9765079       670     47205         0    216386    251871   4365760     23.26     24.60
1902.77/1902.76	c  N dy 39407   9785133       670     47205         0    236266    251871   5110829     23.27     26.86
1908.37/1908.34	c  N dy 39500   9805201       670     47205         0    256059    251871   5827069     23.27     29.43
1914.67/1914.67	c  N dy 39628   9825203       670     47205         0    138367    251871   1153324     23.27     26.30
1918.67/1918.68	c  N dy 39723   9845231       670     47205         0    158201    251871   1894741     23.27     27.15
1923.37/1923.31	c  N dy 39805   9866867       670     47205         0    179637    251871   2696385     23.27     24.52
1927.97/1927.92	c  N dy 39808   9888517       670     47205         0    201146    251871   3621445     23.27     24.63
1932.79/1932.77	c  N dy 39891   9908580       670     47205         0    221080    251871   4413234     23.27     24.56
1938.47/1938.48	c  N dy 40002   9929145       670     47205         0    241443    251871   5148072     23.27     24.59
1944.98/1944.93	c  N dy 40059   9955012       670     47205         0    266981    251871   6086225     23.26     24.52
1962.98/1962.97	c  N dy 40074  10024298       670     47205         0    197153    251871   3568876     23.24     24.52
1967.89/1967.84	c  N dy 40162  10044409       670     47205         0    217053    251871   4298427     23.24     24.49
1974.18/1974.15	c  N dy 40279  10068897       670     47205         0    241341    251871   5227481     23.25     24.48
1981.48/1981.43	c  N dy 40374  10096829       670     47205         0    269018    251871   6294809     23.25     24.50
1988.08/1988.08	c  N dy 40450  10122154       670     47205         0    154565    251871   1746420     23.24     24.59
1992.38/1992.33	c  N dy 40537  10142187       670     47205         0    174351    251871   2488468     23.24     27.77
1996.87/1996.82	c  N dy 40610  10162224       670     47205         0    194150    251871   3266756     23.24     25.45
2001.57/2001.58	c  N dy 40658  10182569       670     47205         0    214348    251871   4051152     23.24     24.51
2006.68/2006.68	c  N dy 40754  10202591       670     47205         0    234204    251871   4810450     23.24     24.47
2012.28/2012.25	c  N dy 40856  10222634       670     47205         0    254099    251871   5571479     23.25     24.68
2018.67/2018.67	c  N dy 40938  10245317       670     47205         0    276599    251871   6461720     23.24     24.80
2023.88/2023.80	c  N dy 41064  10265539       670     47205         0    156075    251871   1734749     23.25     24.67
2028.07/2028.06	c  N dy 41111  10286051       670     47205         0    176399    251871   2523235     23.25     24.52
2033.27/2033.27	c  N dy 41241  10307841       670     47205         0    198012    251871   3325331     23.25     24.57
2038.40/2038.33	c  N dy 41362  10327850       670     47205         0    217883    251871   4073927     23.25     27.44
2043.79/2043.76	c  N dy 41481  10347937       670     47205         0    237808    251871   4817763     23.25     28.80
2050.88/2050.84	c  N dy 41623  10372937       670     47205         0    262607    251871   5765279     23.26     24.67
2056.68/2056.68	c  N dy 41718  10392969       670     47205         0    282364    251871   6476471     23.26     25.81
2062.77/2062.70	c  N dy 41843  10418733       670     47205         0    166244    251871   2074048     23.26     24.51
2067.27/2067.26	c  N dy 41951  10438796       670     47205         0    186025    251871   2780584     23.26     26.51
2072.28/2072.24	c  N dy 42059  10459334       670     47205         0    206341    251871   3520869     23.27     24.63
2077.07/2077.02	c  N dy 42106  10479495       670     47205         0    226315    251871   4268519     23.26     24.58
2084.37/2084.31	c  N dy 42157  10508454       670     47205         0    255164    251871   5517856     23.26     24.54
2091.19/2091.12	c  N dy 42236  10533215       670     47205         0    279730    251871   6490786     23.26     24.63
2096.38/2096.34	c  N dy 42338  10553616       670     47205         0    157380    251871   1726497     23.26     24.50
2100.88/2100.90	c  N dy 42488  10573645       670     47205         0    177237    251871   2461905     23.26     30.97
2106.27/2106.21	c  N dy 42571  10597191       670     47205         0    200472    251871   3348690     23.26     24.49
2111.48/2111.44	c  N dy 42690  10617290       670     47205         0    220360    251871   4110684     23.27     24.77
2116.98/2116.98	c  N dy 42784  10638300       670     47205         0    241140    251871   4868295     23.27     24.68
2122.48/2122.40	c  N dy 42867  10658404       670     47205         0    261055    251871   5623895     23.27     27.03
2133.58/2133.56	c  N dy 42924  10702895       670     47205         0    161629    251871   1904876     23.26     24.50
2148.47/2148.42	c  N dy 43032  10764783       670     47205         0    222667    251871   4341481     23.25     24.53
2154.07/2154.04	c  N dy 43149  10785312       670     47205         0    243021    251871   5088667     23.25     24.63
2159.68/2159.65	c  N dy 43252  10805362       670     47205         0    262871    251871   5813726     23.25     24.67
2165.18/2165.18	c  N dy 43327  10825369       670     47205         0    282642    251871   6531400     23.25     27.26
2170.58/2170.59	c  N dy 43463  10845421       670     47205         0    158229    251871   1699283     23.26     24.56
2177.08/2177.02	c  N dy 43571  10875323       670     47205         0    187920    251871   2863801     23.25     24.56
2181.98/2181.99	c  N dy 43685  10895553       670     47205         0    207940    251871   3612493     23.26     24.57
2187.28/2187.26	c  N dy 43786  10916452       670     47205         0    228707    251871   4413610     23.26     24.59
2192.29/2192.28	c  N dy 43840  10936523       670     47205         0    248567    251871   5173432     23.26     25.12
2198.28/2198.22	c  N dy 43930  10958620       670     47205         0    270466    251871   6022861     23.26     24.93
2204.79/2204.71	c  N dy 44045  10979107       670     47205         0    290798    251871   6797279     23.26     24.50
2209.48/2209.48	c  N dy 44164  10999109       670     47205         0    165098    251871   1901231     23.26     24.75
2214.08/2214.03	c  N dy 44283  11019122       670     47205         0    184892    251871   2632678     23.27     31.89
2219.48/2219.45	c  N dy 44383  11042386       670     47205         0    207892    251871   3503459     23.27     24.55
2224.69/2224.68	c  N dy 44497  11062391       670     47205         0    227724    251871   4245900     23.27     35.75
2230.58/2230.50	c  N dy 44635  11082483       670     47205         0    247606    251871   4972052     23.27     24.51
2236.48/2236.49	c  N dy 44672  11105988       670     47205         0    270809    251871   5908032     23.27     24.65
2241.59/2241.54	c  N dy 44696  11126010       670     47205         0    290648    251871   6748667     23.27     24.62
2246.48/2246.46	c  N dy 44814  11146104       670     47205         0    164178    251871   1852025     23.27     28.32
2250.98/2250.96	c  N dy 44917  11166237       670     47205         0    184101    251871   2601150     23.27     24.51
2255.69/2255.68	c  N dy 44988  11186266       670     47205         0    203886    251871   3318572     23.27     27.64
2261.08/2261.09	c  N dy 45124  11206349       670     47205         0    223778    251871   4061235     23.28     27.72
2266.28/2266.29	c  N dy 45191  11226352       670     47205         0    243627    251871   4846606     23.27     26.25
2271.88/2271.81	c  N dy 45275  11246379       670     47205         0    263509    251871   5620082     23.28     24.60
2278.09/2278.06	c  N dy 45395  11266385       670     47205         0    283365    251871   6369687     23.28     24.53
2284.38/2284.35	c  N dy 45522  11287272       670     47205         0    156653    251871   1549095     23.28     24.54
2288.68/2288.69	c  N dy 45617  11307279       670     47205         0    176448    251871   2300828     23.28     27.89
2293.68/2293.65	c  N dy 45729  11328465       670     47205         0    197433    251871   3088874     23.28     24.74
2298.68/2298.68	c  N dy 45825  11348503       670     47205         0    217223    251871   3797988     23.28     26.00
2303.49/2303.42	c  N dy 45863  11368703       670     47205         0    237195    251871   4582081     23.28     24.73
2309.00/2308.96	c  N dy 45946  11389208       670     47205         0    257480    251871   5323441     23.28     24.58
2317.80/2317.73	c  N dy 46078  11420572       670     47205         0    288550    251871   6545842     23.28     24.57
2323.68/2323.65	c  N dy 46222  11440671       670     47205         0    160084    251871   1639135     23.29     24.56
2327.79/2327.70	c  N dy 46273  11460683       670     47205         0    179866    251871   2403066     23.29     31.21
2332.48/2332.46	c  N dy 46389  11480721       670     47205         0    199716    251871   3142981     23.29     24.57
2336.88/2336.85	c  N dy 46409  11500818       670     47205         0    219673    251871   3963443     23.29     28.36
2342.38/2342.37	c  N dy 46506  11520897       670     47205         0    239549    251871   4699215     23.29     25.18
2348.08/2348.05	c  N dy 46605  11541289       670     47205         0    259780    251871   5465892     23.29     24.60
2359.59/2359.53	c  N dy 46656  11585084       670     47205         0    153714    251871   1399249     23.28     24.70
2364.09/2364.08	c  N dy 46760  11606341       670     47205         0    174802    251871   2194082     23.28     24.80
2368.68/2368.65	c  N dy 46862  11626398       670     47205         0    194670    251871   2959806     23.29     25.64
2374.08/2374.03	c  N dy 46976  11648345       670     47205         0    216448    251871   3823393     23.29     24.55
2379.08/2379.02	c  N dy 47042  11668611       670     47205         0    236522    251871   4572982     23.29     24.54
2385.09/2385.02	c  N dy 47170  11688653       670     47205         0    256353    251871   5297907     23.29     28.23
2391.50/2391.42	c  N dy 47257  11711699       670     47205         0    279117    251871   6149846     23.29     24.62
2397.69/2397.62	c  N dy 47324  11733248       670     47205         0    300415    251871   6941401     23.29     24.56
2402.58/2402.50	c  N dy 47428  11753683       670     47205         0    170270    251871   1946779     23.29     24.56
2407.09/2407.05	c  N dy 47534  11773714       670     47205         0    190148    251871   2711918     23.29     27.53
2412.18/2412.15	c  N dy 47652  11794299       670     47205         0    210533    251871   3453708     23.30     24.63
2417.79/2417.75	c  N dy 47806  11814384       670     47205         0    230422    251871   4196693     23.30     24.60
2423.48/2423.46	c  N dy 47927  11834454       670     47205         0    250325    251871   4953540     23.30     26.74
2429.09/2429.06	c  N dy 47977  11856313       670     47205         0    271983    251871   5816217     23.30     24.53
2435.69/2435.69	c  N dy 48106  11876828       670     47205         0    292300    251871   6561246     23.31     24.60
2441.38/2441.37	c  N dy 48185  11896887       670     47205         0    160798    251871   1581494     23.31     24.91
2445.78/2445.76	c  N dy 48278  11916958       670     47205         0    180707    251871   2363949     23.31     24.55
2450.69/2450.69	c  N dy 48391  11936977       670     47205         0    200529    251871   3091504     23.31     28.11
2455.79/2455.71	c  N dy 48488  11957125       670     47205         0    220483    251871   3845866     23.31     24.56
2461.09/2461.00	c  N dy 48591  11977166       670     47205         0    240359    251871   4624027     23.31     25.21
2466.20/2466.16	c  N dy 48646  11997211       670     47205         0    260250    251871   5398373     23.31     29.92
2471.69/2471.64	c  N dy 48733  12017301       670     47205         0    280121    251871   6144740     23.31     28.95
2477.99/2477.98	c  N dy 48836  12037367       670     47205         0    299993    251871   6880562     23.31     24.55
2483.69/2483.62	c  N dy 48942  12058586       670     47205         0    168568    251871   1863300     23.31     24.59
2488.58/2488.53	c  N dy 49057  12079892       670     47205         0    189646    251871   2628318     23.31     24.63
2497.00/2497.00	c  N dy 49160  12115851       670     47205         0    225386    251871   4104090     23.31     24.56
2503.39/2503.31	c  N dy 49199  12140998       670     47205         0    250273    251871   5085806     23.31     24.63
2508.99/2508.97	c  N dy 49276  12161084       670     47205         0    270196    251871   5841721     23.31     25.27
2514.98/2514.96	c  N dy 49368  12181107       670     47205         0    290025    251871   6555834     23.31     26.46
2521.69/2521.62	c  N dy 49458  12201116       670     47205         0    156398    251871   1356807     23.31     26.29
2526.29/2526.23	c  N dy 49577  12222243       670     47205         0    177336    251871   2144163     23.31     24.73
2541.99/2542.01	c  N dy 49626  12281737       670     47205         0    236228    251871   4624989     23.30     24.58
2550.19/2550.14	c  N dy 49674  12313206       670     47205         0    267339    251871   5864525     23.29     24.65
2556.29/2556.28	c  N dy 49783  12333321       670     47205         0    287219    251871   6603559     23.29     24.53
2562.29/2562.25	c  N dy 49864  12353324       670     47205         0    306981    251871   7359890     23.29     31.07
2567.69/2567.65	c  N dy 50003  12373422       670     47205         0    172555    251871   1940230     23.30     28.33
2574.59/2574.55	c  N dy 50125  12403682       670     47205         0    202494    251871   3104315     23.30     24.61
2580.61/2580.55	c  N dy 50253  12426607       670     47205         0    225181    251871   3929330     23.30     24.53
2586.10/2586.11	c  N dy 50370  12446655       670     47205         0    245000    251871   4653782     23.30     25.17
2597.60/2597.52	c  N dy 50460  12489163       670     47205         0    287093    251871   6366967     23.29     24.56
2605.70/2605.63	c  N dy 50566  12513190       670     47205         0    155604    251871   1274547     23.29     24.66
2609.89/2609.89	c  N dy 50605  12533885       670     47205         0    176095    251871   2059604     23.29     24.80
2614.99/2614.93	c  N dy 50760  12554412       670     47205         0    196449    251871   2839139     23.30     24.68
2620.09/2620.07	c  N dy 50886  12574413       670     47205         0    216229    251871   3560080     23.30     24.70
2625.70/2625.63	c  N dy 51014  12594513       670     47205         0    236139    251871   4297263     23.30     29.17
2631.10/2631.04	c  N dy 51102  12614514       670     47205         0    255994    251871   5077573     23.30     26.68
2636.81/2636.79	c  N dy 51205  12634538       670     47205         0    275816    251871   5813941     23.30     24.98
2643.50/2643.40	c  N dy 51333  12654617       670     47205         0    295702    251871   6563541     23.31     28.52
2649.80/2649.80	c  N dy 51414  12674767       670     47205         0    159314    251871   1381712     23.31     24.54
2654.10/2654.08	c  N dy 51513  12694822       670     47205         0    179112    251871   2092678     23.31     26.04
2659.09/2659.01	c  N dy 51611  12716543       670     47205         0    200603    251871   2924475     23.31     25.02
2664.31/2664.27	c  N dy 51728  12736589       670     47205         0    220403    251871   3646103     23.31     28.19
2670.09/2670.05	c  N dy 51861  12756780       670     47205         0    240385    251871   4382988     23.32     24.63
2675.69/2675.63	c  N dy 51971  12776797       670     47205         0    260176    251871   5104866     23.32     24.62
2682.10/2682.09	c  N dy 52121  12796811       670     47205         0    279988    251871   5831135     23.32     26.71
2688.70/2688.62	c  N dy 52227  12818014       670     47205         0    301017    251871   6642987     23.32     24.60
2694.80/2694.72	c  N dy 52324  12838104       670     47205         0    163672    251871   1516343     23.32     26.25
2699.29/2699.29	c  N dy 52447  12858194       670     47205         0    183580    251871   2241380     23.33     26.90
2704.30/2704.25	c  N dy 52548  12878979       670     47205         0    204210    251871   3023638     23.33     24.56
2709.41/2709.32	c  N dy 52667  12899080       670     47205         0    224090    251871   3787028     23.33     29.86
2715.00/2714.90	c  N dy 52776  12919170       670     47205         0    244013    251871   4529215     23.33     30.06
2723.61/2723.52	c  N dy 52846  12952235       670     47205         0    276673    251871   5805193     23.33     24.65
2730.21/2730.14	c  N dy 52993  12972322       670     47205         0    296589    251871   6557346     23.33     24.89
2737.59/2737.54	c  N dy 53114  12992604       670     47205         0    158387    251871   1291343     23.34     24.61
2742.20/2742.15	c  N dy 53269  13012650       670     47205         0    178256    251871   2036107     23.34     26.15
2747.10/2747.05	c  N dy 53401  13032732       670     47205         0    198130    251871   2767609     23.34     27.22
2752.40/2752.35	c  N dy 53505  13053606       670     47205         0    218813    251871   3538898     23.34     24.60
2757.71/2757.67	c  N dy 53606  13073637       670     47205         0    238648    251871   4306600     23.35     25.52
2763.60/2763.54	c  N dy 53729  13093733       670     47205         0    258587    251871   5054754     23.35     25.56
2769.40/2769.36	c  N dy 53757  13117703       670     47205         0    282224    251871   5902485     23.34     24.73
2773.50/2773.45	c  F st 53824  13130468       670     47205         0    294877    251871   6375224     23.35     19.59
2779.10/2779.03	c  N dy 53831  13151597       670     47205         0    315907    251871   7280195     23.34     24.60
2784.40/2784.36	c  N dy 53935  13171814       670     47205         0    176622    251871   1956940     23.34     24.80
2789.30/2789.21	c  N dy 54065  13191819       670     47205         0    196413    251871   2680764     23.35     24.84
2794.20/2794.12	c  N dy 54154  13212087       670     47205         0    216532    251871   3460050     23.35     24.70
2799.70/2799.66	c  N dy 54289  13232153       670     47205         0    236414    251871   4200046     23.35     25.67
2805.30/2805.29	c  N dy 54341  13253309       670     47205         0    257389    251871   5045065     23.35     24.74
2811.50/2811.50	c  N dy 54479  13273313       670     47205         0    277215    251871   5800694     23.35     24.84
2817.80/2817.70	c  N dy 54583  13293321       670     47205         0    297059    251871   6559617     23.35     25.81
2824.30/2824.29	c  N dy 54602  13316794       670     47205         0    320263    251871   7478880     23.35     24.69
2829.70/2829.65	c  N dy 54734  13337995       670     47205         0    180920    251871   2067336     23.35     24.60
2834.40/2834.32	c  N dy 54828  13358077       670     47205         0    200861    251871   2841819     23.35     25.37
2856.10/2856.09	c  N dy 54906  13434303       670     47205         0    276580    251871   6228709     23.34     24.63
2861.22/2861.18	c  N dy 54922  13454322       670     47205         0    296500    251871   7041322     23.34     24.79
2867.10/2867.05	c  N dy 54966  13474388       670     47205         0    316271    251871   7810749     23.34     28.31
2873.00/2872.93	c  N dy 55072  13494475       670     47205         0    174691    251871   1799472     23.34     27.60
2877.40/2877.34	c  N dy 55144  13514533       670     47205         0    194461    251871   2504288     23.34     27.24
2882.70/2882.61	c  N dy 55282  13534597       670     47205         0    214335    251871   3235268     23.34     24.61
2888.10/2888.07	c  N dy 55413  13554601       670     47205         0    234163    251871   3968540     23.34     24.58
2893.31/2893.27	c  N dy 55490  13574656       670     47205         0    254082    251871   4757429     23.34     25.56
2899.21/2899.17	c  N dy 55586  13594755       670     47205         0    273929    251871   5487449     23.34     26.66
2905.91/2905.88	c  N dy 55653  13617382       670     47205         0    296239    251871   6291632     23.34     24.67
2912.60/2912.59	c  N dy 55753  13637475       670     47205         0    316136    251871   7032889     23.34     24.68
2918.43/2918.39	c  N dy 55853  13657558       670     47205         0    173754    251871   1756947     23.35     26.06
2923.21/2923.18	c  N dy 55976  13677865       670     47205         0    193894    251871   2525261     23.35     24.60
2928.32/2928.24	c  N dy 55993  13701324       670     47205         0    217114    251871   3488068     23.35     24.86
2935.30/2935.22	c  N dy 56086  13729135       670     47205         0    244672    251871   4569688     23.35     24.75
2942.91/2942.86	c  N dy 56183  13756786       670     47205         0    272123    251871   5643571     23.34     24.59
2949.81/2949.79	c  N dy 56310  13778580       670     47205         0    293756    251871   6481651     23.35     24.66
2956.01/2955.97	c  N dy 56338  13801023       670     47205         0    315924    251871   7378915     23.34     24.78
2962.01/2961.94	c  N dy 56410  13821061       670     47205         0    172435    251871   1667484     23.34     27.36
2966.51/2966.49	c  N dy 56503  13841121       670     47205         0    192352    251871   2472665     23.34     31.50
2976.62/2976.52	c  N dy 56517  13882504       670     47205         0    233314    251871   4163370     23.33     24.61
2984.11/2984.09	c  N dy 56608  13911104       670     47205         0    261687    251871   5290672     23.33     24.63
2989.60/2989.55	c  N dy 56656  13931148       670     47205         0    281491    251871   6034124     23.33     25.20
2996.01/2995.98	c  N dy 56783  13951195       670     47205         0    301374    251871   6779359     23.34     24.94
3002.41/3002.37	c  N dy 56873  13971575       670     47205         0    321572    251871   7545642     23.34     24.81
3008.71/3008.63	c  N dy 57014  13991718       670     47205         0    177213    251871   1810176     23.34     24.80
3013.51/3013.40	c  N dy 57124  14011776       670     47205         0    197093    251871   2563109     23.34     24.73
3018.52/3018.44	c  N dy 57222  14031826       670     47205         0    216957    251871   3305794     23.34     25.30
3023.71/3023.64	c  N dy 57313  14051860       670     47205         0    236797    251871   4061959     23.34     26.44
3029.21/3029.14	c  N dy 57393  14071897       670     47205         0    256681    251871   4849974     23.34     29.85
3035.11/3035.02	c  N dy 57478  14091954       670     47205         0    276516    251871   5581616     23.34     27.88
3040.81/3040.76	c  N dy 57528  14111979       670     47205         0    296392    251871   6381549     23.34     25.22
3046.91/3046.85	c  N dy 57591  14132020       670     47205         0    316233    251871   7158256     23.34     31.13
3055.11/3055.09	c  N dy 57722  14158305       670     47205         0    176960    251871   1817030     23.34     24.61
3060.61/3060.54	c  N dy 57791  14183262       670     47205         0    201682    251871   2795703     23.34     24.68
3066.21/3066.10	c  N dy 57940  14204065       670     47205         0    222304    251871   3569309     23.34     24.68
3072.72/3072.64	c  N dy 58051  14229151       670     47205         0    247133    251871   4523072     23.34     24.85
3078.61/3078.53	c  N dy 58174  14249240       670     47205         0    267044    251871   5293618     23.35     24.59
3084.01/3083.94	c  N dy 58231  14269854       670     47205         0    287449    251871   6105215     23.35     24.96
3090.41/3090.33	c  N dy 58314  14290128       670     47205         0    307540    251871   6872089     23.35     24.64
3097.51/3097.40	c  N dy 58452  14310167       670     47205         0    327378    251871   7607430     23.35     26.39
3103.62/3103.57	c  N dy 58590  14331340       670     47205         0    182038    251871   1935629     23.35     24.59
3108.42/3108.37	c  N dy 58594  14353080       670     47205         0    203559    251871   2878071     23.35     24.59
3113.71/3113.67	c  N dy 58704  14373185       670     47205         0    223465    251871   3603408     23.35     24.81
3119.31/3119.22	c  N dy 58826  14393308       670     47205         0    243420    251871   4356061     23.35     24.60
3130.31/3130.26	c  N dy 58849  14433133       670     47205         0    282866    251871   5988391     23.34     24.59
3138.12/3138.02	c  N dy 58943  14458926       670     47205         0    308343    251871   6903766     23.34     24.79
3145.03/3144.96	c  N dy 58983  14483179       670     47205         0    332292    251871   7822516     23.34     24.61
3150.61/3150.53	c  N dy 59098  14503186       670     47205         0    184895    251871   2001650     23.34     24.79
3155.62/3155.50	c  N dy 59204  14523736       670     47205         0    205220    251871   2754397     23.34     24.65
3161.12/3161.01	c  N dy 59352  14543810       670     47205         0    225093    251871   3495076     23.35     25.61
3166.21/3166.17	c  N dy 59428  14563879       670     47205         0    244913    251871   4222206     23.35     30.62
3177.72/3177.63	c  N dy 59441  14606000       670     47205         0    286623    251871   5991659     23.34     24.66
3183.53/3183.47	c  N dy 59499  14626428       670     47205         0    306901    251871   6805947     23.34     24.69
3190.41/3190.38	c  N dy 59612  14646529       670     47205         0    326785    251871   7547728     23.34     25.18
3197.31/3197.26	c  N dy 59762  14667202       670     47205         0    179095    251871   1775570     23.34     24.78
3202.31/3202.27	c  N dy 59880  14688334       670     47205         0    200030    251871   2566230     23.34     24.68
3213.02/3212.98	c  N dy 59948  14732784       670     47205         0    243877    251871   4309230     23.34     24.58
3218.73/3218.64	c  N dy 60050  14752872       670     47205         0    263795    251871   5083192     23.34     32.63
3224.72/3224.68	c  N dy 60168  14772882       670     47205         0    283627    251871   5831113     23.34     24.64
3231.12/3231.00	c  N dy 60269  14792974       670     47205         0    303549    251871   6594609     23.34     26.71
3239.12/3239.04	c  N dy 60375  14819488       670     47205         0    329769    251871   7616611     23.34     24.94
3248.72/3248.60	c  N dy 60478  14854671       670     47205         0    195541    251871   2426145     23.34     24.76
3253.32/3253.28	c  N dy 60552  14874726       670     47205         0    215405    251871   3185686     23.34     30.06
3258.72/3258.66	c  N dy 60671  14894734       670     47205         0    235241    251871   3922344     23.34     27.94
3264.42/3264.35	c  N dy 60795  14914790       670     47205         0    255114    251871   4670162     23.34     25.23
3269.82/3269.74	c  N dy 60849  14935064       670     47205         0    275228    251871   5442436     23.34     25.28
3275.72/3275.69	c  N dy 60940  14955065       670     47205         0    295009    251871   6188202     23.34     24.87
3282.92/3282.88	c  N dy 61069  14976271       670     47205         0    316014    251871   6969644     23.34     24.57
3293.72/3293.62	c  N dy 61156  15012084       670     47205         0    181328    251871   1868821     23.34     24.59
3298.52/3298.46	c  N dy 61275  15032163       670     47205         0    201217    251871   2621832     23.34     30.24
3304.22/3304.11	c  N dy 61372  15054532       670     47205         0    223393    251871   3467218     23.34     24.66
3309.43/3309.39	c  N dy 61458  15074581       670     47205         0    243211    251871   4223010     23.34     27.92
3314.92/3314.88	c  N dy 61530  15094602       670     47205         0    262932    251871   4951735     23.34     27.65
3320.62/3320.53	c  N dy 61565  15115333       670     47205         0    283512    251871   5782645     23.34     24.96
3329.53/3329.45	c  N dy 61660  15145717       670     47205         0    313619    251871   6944409     23.34     24.67
3336.72/3336.68	c  N dy 61795  15165783       670     47205         0    333494    251871   7674637     23.34     24.76
3342.33/3342.29	c  N dy 61858  15185835       670     47205         0    182202    251871   1814098     23.34     26.88
3347.34/3347.29	c  N dy 61972  15206044       670     47205         0    202211    251871   2553074     23.34     24.72
3352.42/3352.39	c  N dy 62099  15226065       670     47205         0    222025    251871   3303084     23.34     32.56
3357.72/3357.68	c  N dy 62185  15246169       670     47205         0    241970    251871   4056307     23.34     25.01
3364.12/3364.00	c  N dy 62211  15271017       670     47205         0    266596    251871   5064143     23.34     24.60
3370.73/3370.67	c  N dy 62310  15292719       670     47205         0    288101    251871   5876155     23.34     24.73
3376.82/3376.71	c  N dy 62384  15312789       670     47205         0    307958    251871   6603488     23.34     28.90
3384.22/3384.18	c  N dy 62530  15333424       670     47205         0    328384    251871   7378841     23.34     24.60
3392.12/3392.00	c  N dy 62682  15353495       670     47205         0    176049    251871   1547248     23.35     33.80
3396.94/3396.87	c  N dy 62786  15374593       670     47205         0    196968    251871   2354780     23.35     24.72
3401.83/3401.79	c  N dy 62874  15394599       670     47205         0    216765    251871   3080516     23.35     26.68
3407.22/3407.14	c  N dy 62984  15414685       670     47205         0    236693    251871   3856861     23.35     32.01
3413.12/3413.02	c  N dy 63119  15434709       670     47205         0    256502    251871   4589638     23.35     24.64
3419.33/3419.23	c  N dy 63237  15454904       670     47205         0    276541    251871   5339170     23.36     24.90
3425.63/3425.53	c  N dy 63334  15474952       670     47205         0    296396    251871   6096848     23.36     24.83
3432.23/3432.19	c  N dy 63452  15495016       670     47205         0    316255    251871   6836304     23.36     24.76
3439.42/3439.37	c  N dy 63563  15515108       670     47205         0    336179    251871   7575717     23.36     25.09
3446.93/3446.81	c  N dy 63664  15538936       670     47205         0    186495    251871   1886586     23.36     24.62
3451.84/3451.77	c  N dy 63789  15559117       670     47205         0    206514    251871   2653287     23.36     24.83
3456.93/3456.80	c  N dy 63878  15579158       670     47205         0    226349    251871   3401011     23.36     29.16
3462.52/3462.43	c  N dy 64003  15599162       670     47205         0    246135    251871   4145460     23.37     24.71
3468.62/3468.58	c  N dy 64100  15620598       670     47205         0    267371    251871   4956495     23.37     24.62
3475.43/3475.35	c  N dy 64197  15642432       670     47205         0    288929    251871   5739601     23.37     24.67
3481.83/3481.76	c  N dy 64296  15662456       670     47205         0    308768    251871   6495994     23.37     25.66
3489.24/3489.15	c  N dy 64445  15682501       670     47205         0    328632    251871   7235046     23.37     26.97
3496.83/3496.75	c  N dy 64529  15702562       670     47205         0    174287    251871   1420570     23.37     24.83
3501.03/3500.96	c  N dy 64565  15722828       670     47205         0    194227    251871   2138408     23.37     24.73
3505.84/3505.76	c  N dy 64656  15742910       670     47205         0    214135    251871   2895455     23.37     24.92
3519.93/3519.82	c  N dy 64710  15798649       670     47205         0    269373    251871   5069340     23.36     25.09
3526.53/3526.42	c  N dy 64853  15818752       670     47205         0    289316    251871   5812701     23.37     24.80
3534.03/3533.93	c  N dy 64954  15842324       670     47205         0    312583    251871   6653522     23.37     24.87
3539.85/3539.72	c  N dy 64997  15862394       670     47205         0    332527    251871   7455833     23.36     26.66
3548.53/3548.48	c  N dy 65037  15893508       670     47205         0    188325    251871   1999518     23.36     24.63
3553.33/3553.20	c  N dy 65120  15913713       670     47205         0    208352    251871   2774559     23.36     25.21
3564.54/3564.49	c  N dy 65185  15959423       670     47205         0    253524    251871   4601312     23.35     24.94
3570.65/3570.55	c  N dy 65289  15979858       670     47205         0    273774    251871   5355123     23.36     24.75
3576.73/3576.69	c  N dy 65376  16001222       670     47205         0    294906    251871   6171791     23.36     24.61
3583.63/3583.52	c  N dy 65502  16021301       670     47205         0    314790    251871   6917447     23.36     29.27
3590.93/3590.84	c  N dy 65639  16041469       670     47205         0    334762    251871   7661912     23.36     24.96
3599.25/3599.13	c  N dy 65772  16062538       670     47205         0    179525    251871   1557481     23.36     24.68
3603.93/3603.81	c  N dy 65879  16082539       670     47205         0    199327    251871   2304808     23.36     24.68
3608.74/3608.63	c  N dy 65943  16102639       670     47205         0    219078    251871   3077448     23.36     26.45
3614.33/3614.21	c  N dy 66069  16122679       670     47205         0    238940    251871   3809920     23.37     24.75
3620.33/3620.22	c  N dy 66208  16142880       670     47205         0    258952    251871   4562507     23.37     24.60
3626.33/3626.22	c  N dy 66279  16164885       670     47205         0    280775    251871   5422364     23.37     24.60
3633.14/3633.07	c  N dy 66390  16187092       670     47205         0    302774    251871   6266935     23.37     24.63
3639.84/3639.80	c  N dy 66460  16208225       670     47205         0    323638    251871   7041576     23.37     24.62
3647.03/3646.91	c  N dy 66568  16228233       670     47205         0    343492    251871   7806359     23.37     27.28
3653.15/3653.01	c  N dy 66624  16248309       670     47205         0    186293    251871   1815506     23.37     26.44
3657.94/3657.82	c  N dy 66729  16268393       670     47205         0    206113    251871   2559249     23.37     28.24
3663.43/3663.33	c  N dy 66879  16288432       670     47205         0    225979    251871   3298289     23.37     28.58
3687.25/3687.14	c  N dy 66981  16372544       670     47205         0    309277    251871   6753926     23.36     24.69
3694.24/3694.12	c  N dy 67096  16392601       670     47205         0    329183    251871   7521455     23.36     27.52
3702.44/3702.31	c  N dy 67212  16415743       670     47205         0    352126    251871   8391446     23.36     24.86
3708.54/3708.40	c  N dy 67356  16435802       670     47205         0    193892    251871   2048181     23.37     25.09
3713.84/3713.71	c  N dy 67507  16455848       670     47205         0    213749    251871   2772915     23.37     25.04
3718.94/3718.86	c  N dy 67596  16476133       670     47205         0    233808    251871   3514305     23.37     24.99
3724.04/3723.95	c  N dy 67641  16496232       670     47205         0    253672    251871   4277451     23.37     24.75
3729.54/3729.46	c  N dy 67702  16517242       670     47205         0    274466    251871   5057649     23.37     24.65
3736.14/3736.08	c  N dy 67833  16537268       670     47205         0    294279    251871   5790723     23.37     26.75
3742.65/3742.58	c  N dy 67925  16557595       670     47205         0    314408    251871   6554538     23.37     24.69
3749.34/3749.22	c  N dy 68008  16577932       670     47205         0    334613    251871   7357954     23.37     24.95
3757.04/3756.93	c  N dy 68122  16598844       670     47205         0    355334    251871   8147076     23.37     24.66
3764.04/3763.97	c  N dy 68219  16625125       670     47205         0    202298    251871   2375182     23.37     24.62
3791.24/3791.11	c  N dy 68290  16714376       670     47205         0    290804    251871   6041156     23.36     24.84
3798.15/3798.05	c  N dy 68412  16734395       670     47205         0    310644    251871   6787419     23.36     25.17
3805.64/3805.53	c  N dy 68566  16754400       670     47205         0    330448    251871   7527328     23.36     30.85
3812.94/3812.83	c  N dy 68690  16774420       670     47205         0    350306    251871   8267331     23.36     31.23
3819.65/3819.55	c  N dy 68775  16794628       670     47205         0    190089    251871   1819895     23.36     24.61
3824.35/3824.24	c  N dy 68829  16815370       670     47205         0    210625    251871   2634243     23.36     24.65
3829.64/3829.57	c  N dy 68943  16835615       670     47205         0    230657    251871   3378337     23.37     24.72
3834.94/3834.85	c  N dy 69006  16855678       670     47205         0    250583    251871   4177282     23.37     24.63
3840.75/3840.69	c  N dy 69094  16875756       670     47205         0    270410    251871   4902125     23.37     25.09
3846.24/3846.13	c  N dy 69121  16896792       670     47205         0    291193    251871   5759461     23.36     24.68
3853.24/3853.17	c  N dy 69270  16916863       670     47205         0    311106    251871   6499570     23.36     25.60
3859.65/3859.53	c  N dy 69333  16937190       670     47205         0    331225    251871   7257255     23.36     24.79
3867.05/3866.90	c  N dy 69448  16958034       670     47205         0    351914    251871   8074190     23.37     24.71
3874.45/3874.35	c  N dy 69573  16979947       670     47205         0    192478    251871   1878219     23.37     24.73
3879.35/3879.28	c  N dy 69672  17000045       670     47205         0    212378    251871   2627660     23.37     35.67
3884.95/3884.80	c  N dy 69798  17020811       670     47205         0    232884    251871   3382319     23.37     24.64
3890.55/3890.45	c  N dy 69891  17040872       670     47205         0    252745    251871   4133139     23.37     28.44
3896.45/3896.31	c  N dy 69997  17060940       670     47205         0    272601    251871   4870032     23.37     26.68
3903.25/3903.16	c  N dy 70119  17083298       670     47205         0    294748    251871   5716923     23.38     24.65
3913.35/3913.25	c  N dy 70246  17116024       670     47205         0    327150    251871   7001387     23.38     24.64
3920.35/3920.27	c  N dy 70347  17136199       670     47205         0    347141    251871   7779238     23.38     24.79
3929.45/3929.30	c  N dy 70474  17161809       670     47205         0    190490    251871   1825808     23.38     24.63
3934.05/3933.97	c  N dy 70536  17181842       670     47205         0    210300    251871   2608557     23.38     28.80
3939.65/3939.50	c  N dy 70677  17201896       670     47205         0    230138    251871   3350994     23.38     30.87
3949.55/3949.43	c  N dy 70801  17238810       670     47205         0    266669    251871   4793788     23.38     24.69
3955.67/3955.57	c  N dy 70913  17258873       670     47205         0    286536    251871   5532579     23.38     24.75
3990.26/3990.13	c  N dy 70987  17368433       670     47205         0    211272    251871   2645228     23.36     25.10
3995.37/3995.22	c  N dy 71084  17388550       670     47205         0    231196    251871   3383239     23.36     24.99
4001.05/4000.95	c  N dy 71208  17408647       670     47205         0    251101    251871   4129075     23.36     27.88
4007.05/4006.98	c  N dy 71333  17428802       670     47205         0    271056    251871   4886212     23.36     24.63
4013.36/4013.22	c  N dy 71451  17448897       670     47205         0    290934    251871   5634509     23.36     29.40
4020.16/4020.10	c  N dy 71562  17470109       670     47205         0    311955    251871   6436480     23.37     24.67
4028.75/4028.60	c  N dy 71584  17499850       670     47205         0    341496    251871   7605424     23.36     24.75
4036.55/4036.41	c  N dy 71712  17520097       670     47205         0    361567    251871   8343145     23.36     24.64
4042.85/4042.76	c  N dy 71794  17540951       670     47205         0    198460    251871   2039780     23.36     24.68
4047.65/4047.57	c  N dy 71876  17560970       670     47205         0    218273    251871   2800870     23.36     24.90
4053.05/4052.97	c  N dy 71974  17581028       670     47205         0    238170    251871   3582863     23.36     29.18
4058.75/4058.61	c  N dy 72065  17601570       670     47205         0    258492    251871   4337509     23.36     24.85
4064.26/4064.14	c  N dy 72119  17621894       670     47205         0    278597    251871   5141236     23.36     24.95
4071.76/4071.62	c  N dy 72244  17645963       670     47205         0    302446    251871   6030646     23.36     24.76
4078.35/4078.22	c  N dy 72341  17666299       670     47205         0    322577    251871   6781916     23.37     24.65
4085.26/4085.19	c  N dy 72462  17686321       670     47205         0    342379    251871   7530557     23.37     32.56
4092.76/4092.65	c  N dy 72584  17706396       670     47205         0    362265    251871   8272202     23.37     24.61
4100.06/4099.92	c  N dy 72637  17730428       670     47205         0    201179    251871   2143907     23.37     24.71
4104.86/4104.73	c  N dy 72719  17750442       670     47205         0    221025    251871   2917342     23.37     29.04
4110.36/4110.20	c  N dy 72838  17770481       670     47205         0    240860    251871   3669779     23.37     25.59
4115.66/4115.55	c  N dy 72911  17790557       670     47205         0    260681    251871   4433738     23.37     29.76
4121.06/4120.98	c  N dy 72975  17810656       670     47205         0    280624    251871   5193774     23.37     24.91
4148.96/4148.81	c  N dy 72983  17898344       670     47205         0    367401    251871   8876812     23.35     24.91
4155.36/4155.20	c  N dy 73121  17918356       670     47205         0    201327    251871   2099109     23.35     27.82
4160.46/4160.39	c  N dy 73223  17938544       670     47205         0    221303    251871   2846420     23.35     24.65
4170.17/4170.04	c  N dy 73314  17975640       670     47205         0    257781    251871   4310972     23.35     24.69
4176.56/4176.47	c  N dy 73430  17996922       670     47205         0    278870    251871   5107090     23.35     24.77
4182.46/4182.38	c  N dy 73468  18017047       670     47205         0    298773    251871   5873112     23.35     24.65
4189.27/4189.17	c  N dy 73593  18037132       670     47205         0    318646    251871   6602115     23.35     24.64
4196.06/4195.90	c  N dy 73682  18057527       670     47205         0    338837    251871   7349689     23.35     24.72
4206.36/4206.20	c  N dy 73796  18088104       670     47205         0    369216    251871   8553189     23.35     24.61
4212.76/4212.62	c  N dy 73905  18108190       670     47205         0    202241    251871   2113942     23.36     27.82
4218.07/4217.99	c  N dy 74009  18129427       670     47205         0    223233    251871   2890378     23.36     24.59
4223.76/4223.67	c  N dy 74132  18149779       670     47205         0    243341    251871   3628965     23.36     24.68
4229.96/4229.80	c  N dy 74280  18169877       670     47205         0    263260    251871   4366330     23.36     25.08
4237.06/4236.92	c  N dy 74344  18195720       670     47205         0    288924    251871   5382892     23.36     24.63
4242.88/4242.75	c  N dy 74383  18216406       670     47205         0    309421    251871   6206020     23.36     24.65
4250.16/4250.01	c  N dy 74516  18236496       670     47205         0    329333    251871   6957616     23.36     27.07
4257.66/4257.57	c  N dy 74643  18256590       670     47205         0    349279    251871   7704364     23.36     27.19
4265.56/4265.47	c  N dy 74717  18280386       670     47205         0    372790    251871   8614851     23.36     25.04
4271.48/4271.40	c  N dy 74755  18300439       670     47205         0    204748    251871   2187881     23.36     26.22
4276.46/4276.34	c  N dy 74842  18320479       670     47205         0    224594    251871   2933279     23.36     25.57
4282.07/4281.98	c  N dy 74961  18340550       670     47205         0    244451    251871   3665853     23.36     25.39
4288.16/4288.01	c  N dy 75084  18360594       670     47205         0    264323    251871   4394172     23.36     27.14
4294.66/4294.51	c  N dy 75187  18381739       670     47205         0    285152    251871   5131325     23.36     24.81
4301.26/4301.11	c  N dy 75300  18401778       670     47205         0    305006    251871   5893332     23.37     29.45
4307.97/4307.87	c  N dy 75405  18422222       670     47205         0    325243    251871   6678753     23.37     25.00
4314.76/4314.63	c  N dy 75494  18442228       670     47205         0    345048    251871   7431371     23.37     24.60
4321.37/4321.23	c  N dy 75547  18462698       670     47205         0    365359    251871   8217035     23.37     24.73
4349.36/4349.20	c  N dy 75642  18557438       670     47205         0    269710    251871   4711267     23.35     24.63
4355.67/4355.57	c  N dy 75762  18577859       670     47205         0    289936    251871   5469036     23.35     24.71
4362.37/4362.29	c  N dy 75870  18598471       670     47205         0    310339    251871   6217038     23.35     24.79
4369.17/4369.05	c  N dy 75990  18618572       670     47205         0    330274    251871   6968621     23.36     30.45
4376.47/4376.31	c  N dy 76113  18638587       670     47205         0    350096    251871   7719471     23.36     24.64
4383.87/4383.72	c  N dy 76228  18658656       670     47205         0    369971    251871   8458722     23.36     25.41
4390.56/4390.46	c  N dy 76315  18678658       670     47205         0    200066    251871   1939444     23.36     26.41
4395.57/4395.50	c  N dy 76392  18699502       670     47205         0    220702    251871   2735530     23.36     24.69
4401.18/4401.02	c  N dy 76492  18719599       670     47205         0    240478    251871   3439398     23.36     24.71
4409.87/4409.73	c  N dy 76562  18752366       670     47205         0    272707    251871   4705453     23.36     24.72
4416.07/4415.96	c  N dy 76658  18772430       670     47205         0    292562    251871   5436836     23.36     26.76
4433.19/4433.08	c  N dy 76703  18828858       670     47205         0    348232    251871   7738225     23.35     24.63
4440.97/4440.89	c  N dy 76839  18848916       670     47205         0    368096    251871   8492187     23.35     28.08
4448.67/4448.51	c  N dy 76955  18868967       670     47205         0    197358    251871   1800277     23.35     28.30
4453.87/4453.76	c  N dy 77092  18889054       670     47205         0    217223    251871   2540559     23.36     25.02
4459.37/4459.27	c  N dy 77207  18909395       670     47205         0    237352    251871   3296884     23.36     24.68
4465.27/4465.16	c  N dy 77346  18929435       670     47205         0    257234    251871   4042461     23.36     25.88
4471.58/4471.45	c  N dy 77419  18950951       670     47205         0    278453    251871   4800566     23.36     24.79
4477.47/4477.39	c  N dy 77482  18971074       670     47205         0    298410    251871   5595222     23.36     24.80
4495.98/4495.89	c  N dy 77537  19029757       670     47205         0    356561    251871   7979753     23.35     24.63
4504.07/4503.91	c  N dy 77601  19052809       670     47205         0    379306    251871   8857360     23.35     24.62
4510.67/4510.55	c  N dy 77724  19073208       670     47205         0    207771    251871   2163786     23.35     24.58
4516.18/4516.03	c  N dy 77876  19093262       670     47205         0    227627    251871   2895044     23.35     24.74
4521.87/4521.72	c  N dy 77993  19113352       670     47205         0    247527    251871   3635233     23.35     29.67
4527.68/4527.54	c  N dy 78090  19133429       670     47205         0    267399    251871   4387317     23.35     29.78
4535.77/4535.67	c  N dy 78220  19160309       670     47205         0    294087    251871   5432013     23.36     24.89
4543.19/4543.03	c  N dy 78363  19181834       670     47205         0    315403    251871   6233594     23.36     24.85
4549.88/4549.72	c  N dy 78442  19201965       670     47205         0    335359    251871   7002438     23.36     24.73
4557.28/4557.14	c  N dy 78499  19224953       670     47205         0    358141    251871   7898913     23.36     24.67
4565.19/4565.05	c  N dy 78624  19245504       670     47205         0    378493    251871   8648478     23.36     24.60
4571.79/4571.70	c  N dy 78692  19265839       670     47205         0    205666    251871   2051915     23.36     24.64
4576.67/4576.59	c  N dy 78763  19286059       670     47205         0    225704    251871   2840313     23.36     24.60
4595.28/4595.17	c  N dy 78781  19348323       670     47205         0    286994    251871   5388059     23.35     24.60
4601.67/4601.54	c  N dy 78864  19368417       670     47205         0    306900    251871   6139307     23.35     26.60
4608.58/4608.40	c  N dy 78989  19388644       670     47205         0    326923    251871   6902500     23.35     24.75
4615.28/4615.17	c  N dy 79042  19411007       670     47205         0    349147    251871   7811984     23.35     24.59
4622.88/4622.70	c  N dy 79174  19431103       670     47205         0    369062    251871   8568141     23.35     26.42
4631.48/4631.38	c  N dy 79273  19453514       670     47205         0    197491    251871   1714875     23.35     24.76
4636.70/4636.57	c  N dy 79380  19473614       670     47205         0    217398    251871   2461325     23.35     24.83
4641.98/4641.86	c  N dy 79474  19493626       670     47205         0    237206    251871   3214319     23.35     28.58
4647.78/4647.68	c  N dy 79596  19513927       670     47205         0    257317    251871   3975753     23.35     25.13
4653.78/4653.67	c  N dy 79697  19533944       670     47205         0    277134    251871   4726306     23.36     24.66
4660.18/4660.03	c  N dy 79811  19553985       670     47205         0    296974    251871   5469668     23.36     24.82
4667.18/4667.09	c  N dy 79936  19574744       670     47205         0    317502    251871   6224550     23.36     24.72
4673.78/4673.67	c  N dy 80005  19594864       670     47205         0    337479    251871   7019831     23.36     24.69
4680.70/4680.58	c  N dy 80093  19614996       670     47205         0    357441    251871   7777191     23.36     24.59
4689.99/4689.87	c  N dy 80193  19641002       670     47205         0    383191    251871   8767402     23.36     24.66
4697.09/4696.94	c  N dy 80304  19662339       670     47205         0    209457    251871   2115548     23.36     24.59
4702.09/4701.91	c  N dy 80327  19683895       670     47205         0    230797    251871   2951511     23.36     24.79
4707.99/4707.85	c  N dy 80472  19703912       670     47205         0    250600    251871   3680717     23.36     27.96
4713.70/4713.58	c  N dy 80563  19724193       670     47205         0    270706    251871   4429962     23.36     24.61
4719.98/4719.86	c  N dy 80660  19745319       670     47205         0    291596    251871   5232251     23.36     24.75
4726.68/4726.57	c  N dy 80748  19767114       670     47205         0    313223    251871   6082102     23.36     24.60
4733.79/4733.68	c  N dy 80868  19787591       670     47205         0    333534    251871   6855993     23.36     24.64
4741.29/4741.12	c  N dy 80991  19807727       670     47205         0    353485    251871   7592032     23.36     25.10
4748.80/4748.64	c  N dy 81092  19827817       670     47205         0    373394    251871   8342078     23.36     25.79
4756.88/4756.75	c  N dy 81199  19847991       670     47205         0    197456    251871   1650283     23.37     24.67
4762.58/4762.40	c  N dy 81280  19872254       670     47205         0    221506    251871   2586852     23.36     24.63
4767.69/4767.58	c  N dy 81361  19892337       670     47205         0    241414    251871   3345476     23.37     24.68
4775.30/4775.19	c  N dy 81447  19921262       670     47205         0    270156    251871   4519756     23.36     24.93
4781.68/4781.51	c  N dy 81566  19941355       670     47205         0    290059    251871   5266285     23.37     26.09
4787.59/4787.47	c  N dy 81638  19961424       670     47205         0    309899    251871   6042708     23.37     24.63
4794.79/4794.63	c  N dy 81771  19981433       670     47205         0    329715    251871   6781494     23.37     27.13
4805.00/4804.84	c  N dy 81870  20011943       670     47205         0    359869    251871   7962759     23.37     24.68
4813.08/4812.94	c  N dy 81946  20035052       670     47205         0    382715    251871   8841130     23.37     24.72
4820.41/4820.24	c  N dy 82057  20055099       670     47205         0    205643    251871   1930428     23.37     32.28
4826.19/4826.05	c  N dy 82177  20077573       670     47205         0    227895    251871   2783890     23.37     24.93
4832.59/4832.45	c  N dy 82219  20102092       670     47205         0    252252    251871   3769485     23.37     24.75
4838.59/4838.45	c  N dy 82307  20122120       670     47205         0    272085    251871   4501818     23.37     25.93
4844.89/4844.79	c  N dy 82393  20143360       670     47205         0    293056    251871   5310011     23.37     24.73
4851.48/4851.30	c  N dy 82492  20163419       670     47205         0    312933    251871   6046469     23.37     30.18
4857.29/4857.17	c  N dy 82536  20183509       670     47205         0    332918    251871   6883501     23.37     28.26
4864.19/4864.08	c  N dy 82624  20203588       670     47205         0    352800    251871   7643660     23.37     27.91
4872.39/4872.20	c  N dy 82713  20226882       670     47205         0    375874    251871   8531173     23.37     24.83
4881.29/4881.18	c  N dy 82817  20247587       670     47205         0    198385    251871   1623890     23.37     24.79
4886.19/4886.02	c  N dy 82872  20268503       670     47205         0    219106    251871   2422681     23.37     24.71
4893.01/4892.84	c  N dy 82975  20295159       670     47205         0    245505    251871   3447184     23.37     24.76
4901.29/4901.13	c  N dy 83057  20326715       670     47205         0    276754    251871   4699792     23.37     24.66
4908.09/4907.93	c  N dy 83180  20347450       670     47205         0    297306    251871   5489239     23.37     24.73
4914.59/4914.44	c  N dy 83255  20367844       670     47205         0    317449    251871   6224735     23.37     24.71
4927.70/4927.53	c  N dy 83304  20408809       670     47205         0    358030    251871   7961706     23.36     24.68
4935.49/4935.36	c  N dy 83429  20428870       670     47205         0    377888    251871   8711769     23.37     26.84
4944.60/4944.47	c  N dy 83496  20453840       670     47205         0    203691    251871   1820672     23.36     24.63
4949.79/4949.63	c  N dy 83551  20475293       670     47205         0    224977    251871   2700271     23.36     24.63
4955.19/4955.06	c  N dy 83639  20495312       670     47205         0    244821    251871   3435647     23.36     25.64
4960.89/4960.73	c  N dy 83742  20515342       670     47205         0    264649    251871   4168554     23.36     24.91
4967.89/4967.73	c  N dy 83872  20538018       670     47205         0    287108    251871   4989819     23.37     24.68
4974.80/4974.68	c  N dy 84022  20558110       670     47205         0    307037    251871   5739491     23.37     24.98
4981.29/4981.19	c  N dy 84112  20578121       670     47205         0    326859    251871   6498423     23.37     28.49
4988.29/4988.18	c  N dy 84214  20598212       670     47205         0    346755    251871   7236999     23.37     26.62
4996.20/4996.04	c  N dy 84356  20618286       670     47205         0    366652    251871   7986321     23.37     26.72

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-3421897-1306610652/watcher-3421897-1306610652 -o /tmp/evaluation-result-3421897-1306610652/solver-3421897-1306610652 -C 5000 -W 5100 -M 15500 ./strangenight2-st HOME/instance-3421897-1306610652.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.61 1.92 1.97 2/434 24025
/proc/meminfo: memFree=15983352/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=31492 CPUtime=0 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1367 0 0 0 0 0 0 0 20 0 1 0 753480838 32247808 1308 33554432000 4194304 4580011 140733229692928 18446744073709551615 270338044613 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 7873 1309 324 95 0 2855 0

[startup+0.0616621 s]
/proc/loadavg: 1.61 1.92 1.97 2/434 24025
/proc/meminfo: memFree=15983352/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=37580 CPUtime=0.05 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 3476 0 0 0 5 0 0 0 20 0 1 0 753480838 38481920 3384 33554432000 4194304 4580011 140733229692928 18446744073709551615 4292906 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 9395 3384 339 95 0 4377 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 37580

[startup+0.100653 s]
/proc/loadavg: 1.61 1.92 1.97 2/434 24025
/proc/meminfo: memFree=15983352/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=37580 CPUtime=0.09 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 3476 0 0 0 9 0 0 0 20 0 1 0 753480838 38481920 3384 33554432000 4194304 4580011 140733229692928 18446744073709551615 4293106 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 9395 3384 339 95 0 4377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37580

[startup+0.300615 s]
/proc/loadavg: 1.61 1.92 1.97 2/434 24025
/proc/meminfo: memFree=15983352/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=37580 CPUtime=0.29 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 3476 0 0 0 29 0 0 0 21 0 1 0 753480838 38481920 3384 33554432000 4194304 4580011 140733229692928 18446744073709551615 4293051 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 9395 3384 339 95 0 4377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37580

[startup+0.700551 s]
/proc/loadavg: 1.61 1.92 1.97 2/434 24025
/proc/meminfo: memFree=15983352/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=62408 CPUtime=0.69 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 9114 0 0 0 68 1 0 0 22 0 1 0 753480838 63905792 8868 33554432000 4194304 4580011 140733229692928 18446744073709551615 4451588 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 15602 8868 352 95 0 10584 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62408

[startup+1.50038 s]
/proc/loadavg: 1.64 1.92 1.97 3/438 24032
/proc/meminfo: memFree=15918204/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=78432 CPUtime=1.49 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 15971 0 0 0 148 1 0 0 18 0 1 0 753480838 80314368 14009 33554432000 4194304 4580011 140733229692928 18446744073709551615 4489378 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 19608 14009 364 95 0 14590 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78432

[startup+3.10106 s]
/proc/loadavg: 1.64 1.92 1.97 3/438 24032
/proc/meminfo: memFree=15897252/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=111248 CPUtime=3.09 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 16613 0 0 0 308 1 0 0 20 0 1 0 753480838 113917952 14651 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294455 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 27812 14651 364 95 0 22794 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111248

[startup+6.30042 s]
/proc/loadavg: 1.67 1.92 1.97 3/438 24032
/proc/meminfo: memFree=15887268/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=102732 CPUtime=6.29 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 20858 0 0 0 627 2 0 0 25 0 1 0 753480838 105197568 15314 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 25683 15314 366 95 0 20665 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102732

[startup+12.7002 s]
/proc/loadavg: 1.69 1.92 1.97 3/438 24032
/proc/meminfo: memFree=15883600/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=103028 CPUtime=12.69 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 26958 0 0 0 1266 3 0 0 25 0 1 0 753480838 105500672 15080 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294607 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 25757 15080 366 95 0 20739 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103028

[startup+25.5006 s]
/proc/loadavg: 1.74 1.92 1.97 3/438 24032
/proc/meminfo: memFree=15870740/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=103248 CPUtime=25.49 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 35489 0 0 0 2544 5 0 0 25 0 1 0 753480838 105725952 15645 33554432000 4194304 4580011 140733229692928 18446744073709551615 4295647 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 25812 15645 367 95 0 20794 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103248

[startup+51.1005 s]
/proc/loadavg: 1.84 1.93 1.97 3/438 24035
/proc/meminfo: memFree=15855412/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=103684 CPUtime=51.1 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 51200 0 0 0 5102 8 0 0 25 0 1 0 753480838 106172416 15755 33554432000 4194304 4580011 140733229692928 18446744073709551615 4318699 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 25921 15755 367 95 0 20903 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 103684

[startup+102.316 s]
/proc/loadavg: 1.93 1.94 1.97 3/438 24037
/proc/meminfo: memFree=15846704/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=104204 CPUtime=102.31 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 76790 0 0 0 10218 13 0 0 25 0 1 0 753480838 106704896 16778 33554432000 4194304 4580011 140733229692928 18446744073709551615 4293190 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 26051 16778 367 95 0 21033 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 104204

[startup+162.3 s]
/proc/loadavg: 2.06 1.98 1.98 3/438 24039
/proc/meminfo: memFree=15819368/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=106356 CPUtime=162.29 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 102531 0 0 0 16212 17 0 0 25 0 1 0 753480838 108908544 18055 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294390 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 26589 18055 367 95 0 21571 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 106356

[startup+222.301 s]
/proc/loadavg: 2.06 1.99 1.98 3/438 24041
/proc/meminfo: memFree=15796928/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=107248 CPUtime=222.3 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 125540 0 0 0 22208 22 0 0 25 0 1 0 753480838 109821952 19360 33554432000 4194304 4580011 140733229692928 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 26812 19360 367 95 0 21794 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 107248

[startup+282.301 s]
/proc/loadavg: 2.02 1.99 1.98 3/438 24042
/proc/meminfo: memFree=15795600/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=108960 CPUtime=282.31 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 148259 0 0 0 28205 26 0 0 25 0 1 0 753480838 111575040 17936 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294404 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 27240 17936 367 95 0 22222 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 108960

[startup+342.301 s]
/proc/loadavg: 2.05 2.00 1.99 3/438 24044
/proc/meminfo: memFree=15793900/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=109632 CPUtime=342.31 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 168597 0 0 0 34200 31 0 0 25 0 1 0 753480838 112263168 19573 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294426 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 27408 19573 367 95 0 22390 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 109632

[startup+402.301 s]
/proc/loadavg: 2.05 2.02 1.99 3/438 24045
/proc/meminfo: memFree=15788968/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=110944 CPUtime=402.31 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 188877 0 0 0 40197 34 0 0 25 0 1 0 753480838 113606656 19897 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294354 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 27736 19897 367 95 0 22718 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 110944

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.99 3/438 24047
/proc/meminfo: memFree=15770188/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=169400 CPUtime=462.3 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 207299 0 0 0 46193 37 0 0 25 0 1 0 753480838 173465600 21151 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 42350 21151 367 95 0 37332 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 169400

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/438 24049
/proc/meminfo: memFree=15777040/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=171408 CPUtime=522.31 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 225942 0 0 0 52190 41 0 0 25 0 1 0 753480838 175521792 22057 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 42852 22057 367 95 0 37834 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 171408

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/438 24050
/proc/meminfo: memFree=15773100/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=172344 CPUtime=582.31 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 243908 0 0 0 58186 45 0 0 25 0 1 0 753480838 176480256 21633 33554432000 4194304 4580011 140733229692928 18446744073709551615 4318667 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24025/statm: 43086 21633 367 95 0 38068 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 172344

[startup+642.3 s]

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

[startup+4002.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/438 24153
/proc/meminfo: memFree=15504608/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=221552 CPUtime=4002.45 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 979405 0 0 0 400018 227 0 0 25 0 1 0 753480838 226869248 28719 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 55388 28719 367 95 0 50370 0
Current children cumulated CPU time (s) 4002.45
Current children cumulated vsize (KiB) 221552

[startup+4062.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 24155
/proc/meminfo: memFree=15518232/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=221832 CPUtime=4062.48 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 989854 0 0 0 406018 230 0 0 25 0 1 0 753480838 227155968 29333 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 55458 29333 367 95 0 50440 0
Current children cumulated CPU time (s) 4062.48
Current children cumulated vsize (KiB) 221832

[startup+4122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 24157
/proc/meminfo: memFree=15469344/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=222132 CPUtime=4122.46 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1000272 0 0 0 412013 233 0 0 25 0 1 0 753480838 227463168 29933 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294538 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 55533 29933 367 95 0 50515 0
Current children cumulated CPU time (s) 4122.46
Current children cumulated vsize (KiB) 222132

[startup+4182.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/438 24158
/proc/meminfo: memFree=15473052/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=223956 CPUtime=4182.46 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1011249 0 0 0 418010 236 0 0 25 0 1 0 753480838 229330944 30602 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 55989 30602 367 95 0 50971 0
Current children cumulated CPU time (s) 4182.46
Current children cumulated vsize (KiB) 223956

[startup+4242.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/438 24160
/proc/meminfo: memFree=15479936/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=224148 CPUtime=4242.46 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1021542 0 0 0 424008 238 0 0 25 0 1 0 753480838 229527552 30892 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294354 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 56037 30892 367 95 0 51019 0
Current children cumulated CPU time (s) 4242.46
Current children cumulated vsize (KiB) 224148

[startup+4302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/438 24161
/proc/meminfo: memFree=15491772/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=224432 CPUtime=4302.46 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1031460 0 0 0 430004 242 0 0 25 0 1 0 753480838 229818368 30801 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294501 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 56108 30801 367 95 0 51090 0
Current children cumulated CPU time (s) 4302.46
Current children cumulated vsize (KiB) 224432

[startup+4362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 24163
/proc/meminfo: memFree=15504024/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=224676 CPUtime=4362.47 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1041618 0 0 0 436002 245 0 0 25 0 1 0 753480838 230068224 30995 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 56169 30995 367 95 0 51151 0
Current children cumulated CPU time (s) 4362.47
Current children cumulated vsize (KiB) 224676

[startup+4422.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/438 24165
/proc/meminfo: memFree=15453532/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=224908 CPUtime=4422.47 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1051928 0 0 0 442000 247 0 0 25 0 1 0 753480838 230305792 31187 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294326 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 56227 31187 367 95 0 51209 0
Current children cumulated CPU time (s) 4422.47
Current children cumulated vsize (KiB) 224908

[startup+4482.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/438 24166
/proc/meminfo: memFree=15463800/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=226704 CPUtime=4482.48 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1062423 0 0 0 447997 251 0 0 25 0 1 0 753480838 232144896 31390 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294478 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 56676 31390 367 95 0 51658 0
Current children cumulated CPU time (s) 4482.48
Current children cumulated vsize (KiB) 226704

[startup+4542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/438 24168
/proc/meminfo: memFree=15475804/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=226996 CPUtime=4542.48 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1072696 0 0 0 453994 254 0 0 25 0 1 0 753480838 232443904 31350 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294313 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 56749 31350 367 95 0 51731 0
Current children cumulated CPU time (s) 4542.48
Current children cumulated vsize (KiB) 226996

[startup+4602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 24169
/proc/meminfo: memFree=15487780/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=227292 CPUtime=4602.49 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1082980 0 0 0 459993 256 0 0 25 0 1 0 753480838 232747008 31419 33554432000 4194304 4580011 140733229692928 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 56823 31419 367 95 0 51805 0
Current children cumulated CPU time (s) 4602.49
Current children cumulated vsize (KiB) 227292

[startup+4662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 24171
/proc/meminfo: memFree=15445296/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=227928 CPUtime=4662.48 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1093327 0 0 0 465989 259 0 0 25 0 1 0 753480838 233398272 31204 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294346 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 56982 31204 367 95 0 51964 0
Current children cumulated CPU time (s) 4662.48
Current children cumulated vsize (KiB) 227928

[startup+4722.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/438 24173
/proc/meminfo: memFree=15454916/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=228188 CPUtime=4722.5 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1103544 0 0 0 471987 263 0 0 25 0 1 0 753480838 233664512 31084 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294498 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 57047 31084 367 95 0 52029 0
Current children cumulated CPU time (s) 4722.5
Current children cumulated vsize (KiB) 228188

[startup+4782.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/438 24174
/proc/meminfo: memFree=15467524/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=228472 CPUtime=4782.48 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1113675 0 0 0 477982 266 0 0 25 0 1 0 753480838 233955328 30825 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294595 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 57118 30825 367 95 0 52100 0
Current children cumulated CPU time (s) 4782.48
Current children cumulated vsize (KiB) 228472

[startup+4842.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 24176
/proc/meminfo: memFree=15488584/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=228752 CPUtime=4842.49 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1123868 0 0 0 483980 269 0 0 25 0 1 0 753480838 234242048 30432 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 57188 30432 367 95 0 52170 0
Current children cumulated CPU time (s) 4842.49
Current children cumulated vsize (KiB) 228752

[startup+4902.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/438 24177
/proc/meminfo: memFree=15447996/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=229020 CPUtime=4902.49 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1134361 0 0 0 489977 272 0 0 25 0 1 0 753480838 234516480 30313 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294656 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 57255 30313 367 95 0 52237 0
Current children cumulated CPU time (s) 4902.49
Current children cumulated vsize (KiB) 229020

[startup+4962.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 24179
/proc/meminfo: memFree=15461732/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=229280 CPUtime=4962.49 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1144660 0 0 0 495974 275 0 0 25 0 1 0 753480838 234782720 29797 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294335 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 57320 29797 367 95 0 52302 0
Current children cumulated CPU time (s) 4962.49
Current children cumulated vsize (KiB) 229280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.8 s]
/proc/loadavg: 2.01 2.04 2.00 3/438 24180
/proc/meminfo: memFree=15474492/32951124 swapFree=54329440/67111528
[pid=24025] ppid=24023 vsize=229280 CPUtime=5000.01 cores=1,3,5,7
/proc/24025/stat : 24025 (strangenight2-s) R 24023 24025 23993 0 -1 4202496 1148884 0 0 0 499724 277 0 0 25 0 1 0 753480838 234782720 34021 33554432000 4194304 4580011 140733229692928 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24025/statm: 57320 34021 367 95 0 52302 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 229280

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): 4999.82
CPU time (s): 5000.03
CPU user time (s): 4997.25
CPU system time (s): 2.77658
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 249140

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

runsolver used 19.989 second user time and 49.3905 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-28 21:24:12
IDJOB=3421897
IDBENCH=83245
IDSOLVER=1887
FILE ID=node143/3421897-1306610652
RUNJOBID= node143-1306610652-24012
PBS_JOBID= 13471595
Free space on /tmp= 73556 MiB

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

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

MD5SUM BENCH= d2ef996f95bbf68a3c980c797dfdc364
RANDOM SEED=1218114556

node143.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.846
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.69
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.846
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	: 5226.15
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.846
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.74
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.846
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.83
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.846
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.846
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.846
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.74
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.846
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15983632 kB
Buffers:        317444 kB
Cached:        5713120 kB
SwapCached:      29864 kB
Active:        7919576 kB
Inactive:      8749756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15983632 kB
SwapTotal:    67111528 kB
SwapFree:     54329440 kB
Dirty:           11468 kB
Writeback:          32 kB
AnonPages:    10609240 kB
Mapped:          30304 kB
Slab:           149696 kB
PageTables:      79504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115659692 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= 73544 MiB
End job on node143 at 2011-05-28 22:47:34