Trace number 2685490

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
PB-wave alpha 2? (TO) 1800.1 1800.72

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6022_1-sat.opb
MD5SUM58a6f6f1a22b15b5d795e2fa09f17734
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.108982
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7930
Total number of constraints25932
Number of constraints which are clauses25676
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints256
Minimum length of a constraint1
Maximum length of a constraint35
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 206
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.07	c PB-wave - v2
0.00/0.07	c command line = ./PB-wave
0.00/0.07	c seed = 87084314
0.00/0.07	c cutoff = 1000000
0.00/0.07	c tries = 1000000
0.00/0.07	c heuristic = c best, noise 50 / 100
0.00/0.07	#var 7930 #con 25932
0.00/0.07	mode is SAT
0.00/0.07	c tail starts after flip = 23790
0.00/0.07	c numatom = 7930, numclause = 25932, numliterals = 62361
0.00/0.07	c wff read in
0.00/0.07	c 
0.00/0.07	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.07	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.07	c       this      this      this      this      this      this   success   success       until         std
0.00/0.07	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.07	c
1.28/1.30	c       180       334    330.36     53.68      6.15   1000000         0
2.48/2.53	c       143       347    333.85     60.26      5.54   1000000         0
3.68/3.76	c       164       372    329.90     55.42      5.95   1000000         0
4.88/4.99	c       180       367    327.59     49.38      6.63   1000000         0
6.18/6.22	c       163       245    323.39     57.48      5.63   1000000         0
7.38/7.44	c       154       469    330.97     58.87      5.62   1000000         0
8.58/8.68	c       180       341    329.97     60.08      5.49   1000000         0
9.89/9.91	c       156       381    329.28     58.36      5.64   1000000         0
11.08/11.14	c       188       271    326.23     55.16      5.91   1000000         0
12.28/12.36	c       170       394    323.56     55.50      5.83   1000000         0
13.48/13.59	c       173       281    325.41     59.88      5.43   1000000         0
14.78/14.82	c       167       334    326.18     54.49      5.99   1000000         0
15.98/16.05	c       150       310    332.27     59.46      5.59   1000000         0
17.18/17.28	c       171       357    331.77     52.87      6.27   1000000         0
18.48/18.50	c       161       326    328.29     54.68      6.00   1000000         0
19.68/19.73	c       154       366    323.05     54.06      5.98   1000000         0
20.88/20.96	c       158       356    319.82     57.22      5.59   1000000         0
22.08/22.18	c       155       300    329.95     61.93      5.33   1000000         0
23.38/23.42	c       160       304    336.63     64.46      5.22   1000000         0
24.58/24.64	c       176       339    323.31     49.33      6.55   1000000         0
25.77/25.87	c       176       305    324.67     55.94      5.80   1000000         0
27.07/27.10	c       160       271    323.66     71.06      4.55   1000000         0
28.27/28.33	c       180       379    333.30     60.24      5.53   1000000         0
29.47/29.56	c       155       353    327.60     54.78      5.98   1000000         0
30.68/30.79	c       176       331    337.75     58.51      5.77   1000000         0
31.97/32.02	c       172       381    339.53     57.71      5.88   1000000         0
33.17/33.24	c       173       270    326.24     53.42      6.11   1000000         0
34.37/34.47	c       139       334    326.50     70.79      4.61   1000000         0
35.67/35.70	c       147       264    327.63     64.01      5.12   1000000         0
36.87/36.93	c       174       269    327.08     55.00      5.95   1000000         0
38.07/38.15	c       148       294    320.87     57.24      5.61   1000000         0
39.27/39.38	c       167       375    325.62     58.67      5.55   1000000         0
40.58/40.61	c       178       242    331.26     55.75      5.94   1000000         0
41.78/41.84	c       158       303    324.16     54.81      5.91   1000000         0
42.97/43.07	c       174       399    325.88     62.71      5.20   1000000         0
44.17/44.30	c       173       356    333.44     56.33      5.92   1000000         0
45.47/45.52	c       165       389    322.84     56.84      5.68   1000000         0
46.67/46.75	c       185       294    329.61     54.49      6.05   1000000         0
47.87/47.98	c       146       379    322.09     60.57      5.32   1000000         0
49.17/49.21	c       188       300    339.87     54.11      6.28   1000000         0
50.37/50.44	c       179       411    322.50     54.20      5.95   1000000         0
51.57/51.67	c       148       394    331.06     59.18      5.59   1000000         0
52.87/52.90	c       172       292    335.61     57.73      5.81   1000000         0
54.07/54.13	c       171       281    329.04     56.32      5.84   1000000         0
55.27/55.36	c       177       480    333.64     55.12      6.05   1000000         0
56.46/56.58	c       179       347    326.33     54.81      5.95   1000000         0
57.76/57.82	c       172       352    330.96     56.92      5.81   1000000         0
58.96/59.04	c       159       258    323.71     59.08      5.48   1000000         0
60.16/60.27	c       168       268    320.64     58.96      5.44   1000000         0
61.47/61.50	c       177       349    321.17     54.21      5.92   1000000         0
62.67/62.73	c       153       433    331.84     59.92      5.54   1000000         0
63.86/63.96	c       187       351    325.74     53.64      6.07   1000000         0
65.06/65.20	c       136       332    335.96     64.42      5.22   1000000         0
66.36/66.43	c       184       232    332.90     55.37      6.01   1000000         0
67.56/67.66	c       173       401    326.39     49.68      6.57   1000000         0
68.76/68.89	c       177       260    324.18     53.24      6.09   1000000         0
70.06/70.11	c       163       312    335.20     59.45      5.64   1000000         0
71.26/71.34	c       175       346    328.88     58.13      5.66   1000000         0
72.47/72.57	c       172       342    324.00     53.68      6.04   1000000         0
73.76/73.80	c       179       325    329.28     55.05      5.98   1000000         0
74.96/75.02	c       178       275    323.17     52.84      6.12   1000000         0
76.16/76.25	c       192       244    328.54     50.54      6.50   1000000         0
77.36/77.48	c       189       344    331.44     52.05      6.37   1000000         0
78.66/78.71	c       165       402    324.57     51.14      6.35   1000000         0
79.86/79.93	c       188       334    332.86     53.35      6.24   1000000         0
81.06/81.16	c       166       347    330.93     56.74      5.83   1000000         0
82.26/82.39	c       192       403    325.65     56.12      5.80   1000000         0
83.56/83.62	c       167       335    330.56     52.39      6.31   1000000         0
84.76/84.85	c       168       291    338.40     62.18      5.44   1000000         0
85.95/86.08	c       169       323    339.29     58.00      5.85   1000000         0
87.25/87.31	c       172       264    324.83     58.37      5.56   1000000         0
88.45/88.54	c       196       346    341.09     56.45      6.04   1000000         0
89.65/89.77	c       139       371    328.04     60.94      5.38   1000000         0
90.95/91.00	c       183       301    336.33     58.19      5.78   1000000         0
92.15/92.22	c       183       263    329.97     55.52      5.94   1000000         0
93.36/93.45	c       182       318    327.36     55.93      5.85   1000000         0
94.56/94.68	c       171       382    322.46     53.13      6.07   1000000         0
95.85/95.91	c       167       403    323.83     59.24      5.47   1000000         0
97.05/97.15	c       168       347    339.78     56.56      6.01   1000000         0
98.25/98.37	c       163       266    321.60     67.93      4.73   1000000         0
99.45/99.60	c       177       327    320.63     54.90      5.84   1000000         0
100.75/100.83	c       171       263    331.00     67.12      4.93   1000000         0
101.95/102.06	c       139       318    328.31     61.50      5.34   1000000         0
103.15/103.28	c       147       319    320.22     57.82      5.54   1000000         0
104.46/104.51	c       147       383    318.77     56.18      5.67   1000000         0
105.65/105.74	c       181       369    342.23     65.89      5.19   1000000         0
106.85/106.97	c       179       316    328.92     54.30      6.06   1000000         0
108.15/108.20	c       153       260    326.92     56.83      5.75   1000000         0
109.35/109.43	c       188       433    339.82     60.62      5.61   1000000         0
110.55/110.66	c       168       469    334.82     55.47      6.04   1000000         0
111.75/111.89	c       192       308    334.54     57.85      5.78   1000000         0
113.04/113.11	c       149       423    324.51     53.11      6.11   1000000         0
114.25/114.34	c       169       344    330.76     60.48      5.47   1000000         0
115.45/115.57	c       167       348    323.66     60.20      5.38   1000000         0
116.74/116.80	c       182       313    331.04     55.55      5.96   1000000         0
117.94/118.03	c       177       390    330.95     56.89      5.82   1000000         0
119.14/119.26	c       185       259    333.11     63.05      5.28   1000000         0
120.34/120.49	c       180       343    332.19     52.45      6.33   1000000         0
121.64/121.72	c       159       358    330.45     58.84      5.62   1000000         0
122.84/122.95	c       181       301    330.11     55.89      5.91   1000000         0
124.04/124.18	c       166       300    330.69     51.14      6.47   1000000         0
125.35/125.41	c       158       298    327.39     52.48      6.24   1000000         0
126.54/126.64	c       158       245    320.11     56.31      5.68   1000000         0
127.74/127.87	c       193       244    335.67     58.25      5.76   1000000         0
128.94/129.10	c       180       270    322.18     57.38      5.62   1000000         0
130.24/130.32	c       141       386    324.32     57.16      5.67   1000000         0
131.44/131.55	c       186       308    330.06     50.88      6.49   1000000         0
132.64/132.78	c       180       346    330.62     59.56      5.55   1000000         0
133.94/134.00	c       190       327    336.39     58.55      5.75   1000000         0
135.14/135.23	c       142       362    330.11     63.34      5.21   1000000         0
136.35/136.46	c       171       298    329.50     55.29      5.96   1000000         0
137.54/137.69	c       182       268    329.76     54.56      6.04   1000000         0
138.84/138.92	c       153       441    332.75     58.26      5.71   1000000         0
140.04/140.15	c       171       354    333.38     59.23      5.63   1000000         0
141.24/141.38	c       171       356    332.80     67.96      4.90   1000000         0
142.53/142.61	c       162       364    332.40     58.71      5.66   1000000         0
143.73/143.84	c       173       315    326.52     54.68      5.97   1000000         0
144.93/145.07	c       155       384    326.97     54.00      6.06   1000000         0
146.14/146.30	c       136       317    330.05     60.59      5.45   1000000         0
147.43/147.52	c       181       318    330.50     61.79      5.35   1000000         0
148.63/148.75	c       176       306    327.22     56.26      5.82   1000000         0
149.83/149.98	c       130       275    330.46     54.62      6.05   1000000         0
151.13/151.21	c       163       358    329.31     59.78      5.51   1000000         0
152.33/152.44	c       178       323    328.46     59.54      5.52   1000000         0
153.53/153.67	c       187       316    333.48     57.66      5.78   1000000         0
154.83/154.91	c       190       337    331.23     57.88      5.72   1000000         0
156.04/156.13	c       164       257    325.46     50.83      6.40   1000000         0
157.24/157.36	c       161       283    321.02     49.75      6.45   1000000         0
158.43/158.58	c       182       343    331.14     58.32      5.68   1000000         0
159.73/159.81	c       180       297    332.66     57.83      5.75   1000000         0
160.93/161.04	c       156       347    329.64     55.73      5.92   1000000         0
162.13/162.27	c       161       335    322.47     60.02      5.37   1000000         0
163.43/163.50	c       161       326    325.40     55.28      5.89   1000000         0
164.63/164.73	c       170       240    332.09     50.30      6.60   1000000         0
165.83/165.96	c       164       291    333.63     62.27      5.36   1000000         0
167.03/167.18	c       165       366    328.79     50.84      6.47   1000000         0
168.33/168.41	c       182       225    326.36     48.53      6.73   1000000         0
169.53/169.64	c       160       279    333.08     62.52      5.33   1000000         0
170.73/170.87	c       164       278    324.27     53.59      6.05   1000000         0
172.03/172.10	c       169       370    340.75     60.63      5.62   1000000         0
173.22/173.33	c       156       379    329.84     54.37      6.07   1000000         0
174.42/174.56	c       167       312    327.74     51.40      6.38   1000000         0
175.62/175.79	c       168       351    333.27     59.41      5.61   1000000         0
176.93/177.02	c       170       310    329.80     58.11      5.68   1000000         0
178.13/178.25	c       178       267    329.84     56.86      5.80   1000000         0
179.32/179.48	c       181       275    333.70     65.68      5.08   1000000         0
180.62/180.71	c       184       332    337.83     58.51      5.77   1000000         0
181.82/181.94	c       164       302    324.77     60.59      5.36   1000000         0
183.02/183.17	c       179       360    335.28     51.31      6.53   1000000         0
184.22/184.40	c       161       437    328.55     56.91      5.77   1000000         0
185.52/185.63	c       174       300    329.02     55.08      5.97   1000000         0
186.72/186.85	c       180       297    326.53     52.63      6.20   1000000         0
187.93/188.08	c       164       281    327.56     56.11      5.84   1000000         0
189.22/189.31	c       175       249    322.00     62.18      5.18   1000000         0
190.42/190.54	c       162       298    322.21     60.20      5.35   1000000         0
191.62/191.77	c       169       322    326.30     57.00      5.72   1000000         0
192.82/193.00	c       166       285    333.14     63.11      5.28   1000000         0
194.12/194.22	c       158       311    320.88     54.20      5.92   1000000         0
195.32/195.45	c       181       265    332.56     57.50      5.78   1000000         0
196.52/196.68	c       173       309    333.46     59.17      5.64   1000000         0
197.82/197.91	c       185       323    334.02     55.28      6.04   1000000         0
199.02/199.15	c       187       307    341.63     60.32      5.66   1000000         0
200.22/200.38	c       165       440    330.11     59.16      5.58   1000000         0
201.52/201.61	c       174       322    327.78     64.35      5.09   1000000         0
202.72/202.84	c       177       355    336.96     55.13      6.11   1000000         0
203.91/204.07	c       182       275    335.46     54.52      6.15   1000000         0
205.21/205.31	c       184       333    339.98     63.96      5.32   1000000         0
206.41/206.54	c       160       342    331.06     60.00      5.52   1000000         0
207.61/207.76	c       178       401    324.18     52.48      6.18   1000000         0
208.82/208.99	c       128       234    330.75     53.94      6.13   1000000         0
210.11/210.22	c       174       349    330.90     58.73      5.63   1000000         0
211.31/211.45	c       147       368    325.90     54.39      5.99   1000000         0
212.51/212.68	c       160       233    326.24     54.95      5.94   1000000         0
213.81/213.91	c       158       285    327.83     59.74      5.49   1000000         0
215.01/215.14	c       155       341    325.77     52.50      6.21   1000000         0
216.21/216.37	c       200       386    336.39     53.48      6.29   1000000         0
217.51/217.60	c       173       321    340.61     56.38      6.04   1000000         0
218.72/218.83	c       138       389    327.33     60.90      5.38   1000000         0
219.92/220.05	c       183       334    326.12     54.38      6.00   1000000         0
221.11/221.28	c       155       301    331.40     57.12      5.80   1000000         0
222.41/222.51	c       145       373    326.50     51.82      6.30   1000000         0
223.61/223.74	c       161       350    331.24     55.83      5.93   1000000         0
224.81/224.97	c       159       373    336.99     58.15      5.79   1000000         0
226.01/226.19	c       153       301    320.31     54.49      5.88   1000000         0
227.31/227.42	c       168       288    324.01     54.28      5.97   1000000         0
228.51/228.65	c       167       280    328.12     56.36      5.82   1000000         0
229.71/229.88	c       176       371    328.63     57.80      5.69   1000000         0
231.01/231.11	c       175       286    336.10     61.56      5.46   1000000         0
232.21/232.34	c       178       328    332.39     56.40      5.89   1000000         0
233.40/233.57	c       181       380    332.73     55.64      5.98   1000000         0
234.70/234.80	c       141       305    324.38     57.53      5.64   1000000         0
235.90/236.03	c       170       369    327.95     54.17      6.05   1000000         0
237.10/237.26	c       166       370    328.51     59.00      5.57   1000000         0
238.30/238.50	c       177       271    341.99     55.17      6.20   1000000         0
239.61/239.73	c       162       248    334.47     58.87      5.68   1000000         0
240.81/240.96	c       175       330    335.76     64.89      5.17   1000000         0
242.00/242.19	c       157       298    325.38     53.24      6.11   1000000         0
243.30/243.41	c       157       371    317.48     52.61      6.03   1000000         0
244.50/244.64	c       163       332    321.49     50.36      6.38   1000000         0
245.70/245.87	c       165       338    338.41     57.58      5.88   1000000         0
247.00/247.10	c       163       415    327.15     52.73      6.20   1000000         0
248.20/248.33	c       157       335    327.25     54.06      6.05   1000000         0
249.40/249.56	c       174       298    329.48     54.17      6.08   1000000         0
250.60/250.79	c       168       323    322.63     60.40      5.34   1000000         0
251.90/252.02	c       173       273    325.34     56.35      5.77   1000000         0
253.10/253.25	c       159       344    330.92     56.99      5.81   1000000         0
254.30/254.48	c       156       345    321.71     54.81      5.87   1000000         0
255.60/255.70	c       163       283    324.51     55.79      5.82   1000000         0
256.79/256.93	c       182       419    326.99     51.06      6.40   1000000         0
257.99/258.16	c       173       372    326.86     52.36      6.24   1000000         0
259.19/259.39	c       125       377    334.28     58.95      5.67   1000000         0
260.50/260.62	c       195       337    338.49     63.61      5.32   1000000         0
261.70/261.85	c       167       343    333.64     52.73      6.33   1000000         0
262.89/263.08	c       195       425    337.15     51.70      6.52   1000000         0
264.19/264.31	c       156       288    337.99     58.57      5.77   1000000         0
265.39/265.54	c       164       219    337.64     58.24      5.80   1000000         0
266.59/266.77	c       176       256    333.19     55.89      5.96   1000000         0
267.89/268.00	c       178       384    323.38     60.59      5.34   1000000         0
269.09/269.23	c       166       257    325.44     51.26      6.35   1000000         0
270.29/270.45	c       178       363    325.76     55.99      5.82   1000000         0
271.50/271.69	c       192       377    326.79     55.90      5.85   1000000         0
272.79/272.91	c       136       323    330.94     51.14      6.47   1000000         0
273.99/274.14	c       159       362    321.10     52.69      6.09   1000000         0
275.19/275.37	c       158       389    328.21     54.06      6.07   1000000         0
276.49/276.60	c       176       277    331.50     55.90      5.93   1000000         0
277.69/277.83	c       161       348    329.31     60.44      5.45   1000000         0
278.89/279.06	c       157       340    323.10     59.90      5.39   1000000         0
280.09/280.29	c       184       278    329.90     57.45      5.74   1000000         0
281.39/281.52	c       177       304    328.69     55.30      5.94   1000000         0
282.59/282.74	c       169       320    327.26     55.20      5.93   1000000         0
283.78/283.98	c       170       352    335.93     56.60      5.94   1000000         0
285.08/285.21	c       186       383    336.89     60.53      5.57   1000000         0
286.28/286.44	c       161       329    336.34     59.01      5.70   1000000         0
287.48/287.67	c       155       380    333.04     61.06      5.45   1000000         0
288.68/288.89	c       178       272    328.94     58.26      5.65   1000000         0
289.98/290.12	c       159       283    331.64     62.70      5.29   1000000         0
291.18/291.35	c       178       272    326.96     56.63      5.77   1000000         0
292.39/292.58	c       175       394    337.14     65.50      5.15   1000000         0
293.68/293.81	c       168       345    328.35     54.04      6.08   1000000         0
294.88/295.04	c       164       321    335.30     57.30      5.85   1000000         0
296.08/296.27	c       155       350    326.37     59.03      5.53   1000000         0
297.28/297.50	c       173       322    316.22     49.20      6.43   1000000         0
298.58/298.73	c       177       257    330.84     55.61      5.95   1000000         0
299.78/299.95	c       171       252    320.32     57.71      5.55   1000000         0
300.98/301.18	c       163       329    336.23     57.83      5.81   1000000         0
302.29/302.41	c       152       249    315.55     57.22      5.52   1000000         0
303.49/303.64	c       166       380    326.75     58.66      5.57   1000000         0
304.68/304.87	c       168       277    332.90     55.77      5.97   1000000         0
305.98/306.10	c       126       344    325.51     62.41      5.22   1000000         0
307.18/307.33	c       162       340    329.41     55.83      5.90   1000000         0
308.38/308.55	c       145       353    319.05     57.84      5.52   1000000         0
309.58/309.78	c       178       327    329.87     58.58      5.63   1000000         0
310.88/311.01	c       182       400    334.05     56.05      5.96   1000000         0
312.08/312.24	c       172       240    328.57     63.02      5.21   1000000         0
313.28/313.48	c       190       329    332.18     53.48      6.21   1000000         0
314.58/314.70	c       173       270    326.82     61.80      5.29   1000000         0
315.77/315.93	c       173       278    326.61     50.03      6.53   1000000         0
316.97/317.16	c       184       278    341.03     58.30      5.85   1000000         0
318.17/318.38	c       168       298    324.08     63.00      5.14   1000000         0
319.47/319.62	c       169       443    330.32     54.32      6.08   1000000         0
320.67/320.85	c       164       316    328.94     56.86      5.79   1000000         0
321.87/322.07	c       169       321    326.60     63.17      5.17   1000000         0
323.18/323.30	c       150       293    331.84     60.14      5.52   1000000         0
324.38/324.53	c       166       356    331.95     60.39      5.50   1000000         0
325.57/325.76	c       177       263    331.85     53.40      6.21   1000000         0
326.77/326.99	c       176       305    321.48     50.30      6.39   1000000         0
328.07/328.22	c       186       304    317.77     46.30      6.86   1000000         0
329.27/329.45	c       145       316    323.06     58.55      5.52   1000000         0
330.47/330.68	c       175       376    337.81     53.21      6.35   1000000         0
331.77/331.90	c       162       346    324.57     58.42      5.56   1000000         0
332.97/333.13	c       167       318    335.34     55.62      6.03   1000000         0
334.18/334.36	c       173       305    329.41     56.30      5.85   1000000         0
335.38/335.59	c       157       257    331.36     55.01      6.02   1000000         0
336.67/336.81	c       179       326    338.65     65.88      5.14   1000000         0
337.87/338.04	c       170       316    325.14     58.05      5.60   1000000         0
339.07/339.27	c       177       269    327.88     55.51      5.91   1000000         0
340.37/340.50	c       168       356    331.50     58.54      5.66   1000000         0
341.57/341.73	c       185       286    323.49     59.66      5.42   1000000         0
342.76/342.96	c       191       312    338.36     63.26      5.35   1000000         0
343.96/344.19	c       182       388    332.02     58.17      5.71   1000000         0
345.27/345.42	c       165       379    340.09     63.48      5.36   1000000         0
346.46/346.65	c       163       388    331.59     58.65      5.65   1000000         0
347.66/347.87	c       166       339    328.34     51.78      6.34   1000000         0
348.96/349.10	c       160       310    325.11     57.07      5.70   1000000         0
350.16/350.33	c       189       324    332.69     56.14      5.93   1000000         0
351.36/351.56	c       153       339    324.99     58.58      5.55   1000000         0
352.56/352.80	c       177       309    329.64     64.29      5.13   1000000         0
353.86/354.03	c       151       410    328.71     61.30      5.36   1000000         0
355.07/355.26	c       172       312    327.43     57.33      5.71   1000000         0
356.27/356.49	c       173       274    321.46     54.79      5.87   1000000         0
357.56/357.72	c       151       315    334.17     52.15      6.41   1000000         0
358.76/358.94	c       172       422    322.35     51.38      6.27   1000000         0
359.96/360.17	c       153       287    321.16     54.41      5.90   1000000         0
361.26/361.40	c       184       324    334.24     58.91      5.67   1000000         0
362.46/362.63	c       161       293    324.12     54.75      5.92   1000000         0
363.66/363.86	c       162       268    327.60     59.67      5.49   1000000         0
364.86/365.09	c       159       311    322.74     51.32      6.29   1000000         0
366.16/366.32	c       175       345    328.80     58.12      5.66   1000000         0
367.36/367.55	c       156       423    332.11     60.22      5.51   1000000         0
368.56/368.77	c       149       307    329.05     57.92      5.68   1000000         0
369.86/370.00	c       183       356    328.79     59.09      5.56   1000000         0
371.06/371.23	c       173       428    331.37     55.93      5.92   1000000         0
372.26/372.46	c       184       271    332.84     50.34      6.61   1000000         0
373.46/373.69	c       168       526    328.18     59.90      5.48   1000000         0
374.76/374.92	c       167       260    338.14     57.94      5.84   1000000         0
375.96/376.15	c       160       324    322.47     59.13      5.45   1000000         0
377.16/377.38	c       169       275    325.89     55.73      5.85   1000000         0
378.45/378.61	c       173       252    320.41     54.24      5.91   1000000         0
379.65/379.84	c       150       380    331.40     58.22      5.69   1000000         0
380.85/381.07	c       184       308    328.15     50.58      6.49   1000000         0
382.15/382.30	c       151       224    330.11     60.08      5.49   1000000         0
383.35/383.53	c       184       321    326.89     53.71      6.09   1000000         0
384.55/384.76	c       185       298    339.26     57.09      5.94   1000000         0
385.75/385.99	c       183       362    333.16     55.22      6.03   1000000         0
387.06/387.22	c       161       337    329.03     65.86      5.00   1000000         0
388.25/388.44	c       168       293    329.27     57.69      5.71   1000000         0
389.45/389.67	c       158       327    328.08     60.20      5.45   1000000         0
390.75/390.90	c       158       338    340.83     61.78      5.52   1000000         0
391.95/392.13	c       149       256    327.56     58.93      5.56   1000000         0
393.15/393.36	c       175       324    327.24     49.68      6.59   1000000         0
394.35/394.59	c       164       315    326.27     60.02      5.44   1000000         0
395.65/395.82	c       167       363    332.23     59.03      5.63   1000000         0
396.85/397.05	c       177       380    326.82     54.09      6.04   1000000         0
398.05/398.28	c       179       295    337.25     54.11      6.23   1000000         0
399.35/399.51	c       176       350    323.89     52.42      6.18   1000000         0
400.55/400.73	c       171       375    316.15     55.28      5.72   1000000         0
401.74/401.97	c       202       298    338.63     53.03      6.39   1000000         0
402.94/403.20	c       173       401    333.44     56.27      5.93   1000000         0
404.24/404.43	c       143       321    322.98     55.23      5.85   1000000         0
405.44/405.66	c       160       257    327.26     52.29      6.26   1000000         0
406.64/406.88	c       164       397    329.58     50.09      6.58   1000000         0
407.95/408.11	c       167       356    336.30     57.30      5.87   1000000         0
409.14/409.34	c       178       371    332.59     54.70      6.08   1000000         0
410.34/410.57	c       177       250    325.14     57.81      5.62   1000000         0
411.54/411.79	c       161       327    325.28     53.97      6.03   1000000         0
412.84/413.02	c       181       353    331.16     59.52      5.56   1000000         0
414.04/414.25	c       146       291    322.31     60.28      5.35   1000000         0
415.24/415.49	c       162       342    334.40     60.67      5.51   1000000         0
416.54/416.72	c       172       269    327.36     64.27      5.09   1000000         0
417.75/417.94	c       171       290    332.22     57.42      5.79   1000000         0
418.95/419.17	c       177       259    330.87     52.66      6.28   1000000         0
420.24/420.40	c       143       420    339.10     57.21      5.93   1000000         0
421.44/421.62	c       163       353    326.83     55.80      5.86   1000000         0
422.64/422.85	c       173       320    336.40     62.84      5.35   1000000         0
423.84/424.08	c       178       334    325.79     56.35      5.78   1000000         0
425.14/425.31	c       173       327    328.47     53.26      6.17   1000000         0
426.34/426.54	c       159       356    321.00     50.29      6.38   1000000         0
427.54/427.76	c       168       272    325.64     51.86      6.28   1000000         0
428.74/428.99	c       165       359    333.33     55.78      5.98   1000000         0
430.04/430.22	c       156       220    334.58     54.05      6.19   1000000         0
431.25/431.45	c       189       304    328.35     54.50      6.02   1000000         0
432.44/432.68	c       165       231    325.39     56.10      5.80   1000000         0
433.74/433.91	c       164       382    332.95     59.29      5.62   1000000         0
434.94/435.14	c       168       389    337.25     57.28      5.89   1000000         0
436.14/436.37	c       174       317    324.71     56.25      5.77   1000000         0
437.34/437.60	c       151       295    327.45     56.28      5.82   1000000         0
438.65/438.82	c       169       301    330.78     52.83      6.26   1000000         0
439.85/440.05	c       189       325    333.13     51.51      6.47   1000000         0
441.04/441.28	c       142       336    333.20     61.84      5.39   1000000         0
442.34/442.51	c       155       314    325.12     56.87      5.72   1000000         0
443.54/443.73	c       148       350    316.82     55.12      5.75   1000000         0
444.74/444.96	c       165       322    333.64     58.08      5.74   1000000         0
445.94/446.19	c       190       286    331.87     56.35      5.89   1000000         0
447.24/447.42	c       176       339    332.58     62.59      5.31   1000000         0
448.44/448.64	c       177       336    329.33     56.31      5.85   1000000         0
449.64/449.87	c       183       323    337.25     55.86      6.04   1000000         0
450.94/451.10	c       168       354    336.00     56.02      6.00   1000000         0
452.14/452.33	c       163       372    333.51     61.40      5.43   1000000         0
453.34/453.56	c       190       399    332.00     55.86      5.94   1000000         0
454.53/454.79	c       187       380    331.20     56.26      5.89   1000000         0
455.83/456.01	c       175       374    326.29     54.63      5.97   1000000         0
457.03/457.25	c       160       365    331.78     56.96      5.83   1000000         0
458.23/458.48	c       164       310    319.24     50.22      6.36   1000000         0
459.54/459.70	c       160       326    327.36     54.78      5.98   1000000         0
460.74/460.93	c       164       270    327.54     58.80      5.57   1000000         0
461.93/462.16	c       152       322    329.86     57.92      5.69   1000000         0
463.13/463.39	c       161       304    344.42     63.51      5.42   1000000         0
464.43/464.61	c       151       306    329.02     56.14      5.86   1000000         0
465.63/465.84	c       159       440    321.53     57.39      5.60   1000000         0
466.83/467.07	c       175       310    336.33     62.52      5.38   1000000         0
468.13/468.31	c       166       329    328.86     58.05      5.66   1000000         0
469.33/469.53	c       157       298    328.88     57.33      5.74   1000000         0
470.54/470.76	c       164       354    329.16     53.87      6.11   1000000         0
471.74/471.99	c       184       306    327.70     55.61      5.89   1000000         0
473.03/473.22	c       175       320    323.60     56.14      5.76   1000000         0
474.23/474.44	c       187       278    328.02     53.70      6.11   1000000         0
475.43/475.67	c       181       474    328.63     57.35      5.73   1000000         0
476.73/476.90	c       172       318    332.51     61.72      5.39   1000000         0
477.93/478.13	c       185       279    326.68     64.00      5.10   1000000         0
479.13/479.36	c       149       313    337.54     66.64      5.07   1000000         0
480.33/480.59	c       149       343    323.15     57.74      5.60   1000000         0
481.63/481.82	c       163       308    327.53     54.37      6.02   1000000         0
482.82/483.04	c       169       271    327.99     57.06      5.75   1000000         0
484.02/484.27	c       200       283    329.20     60.53      5.44   1000000         0
485.32/485.50	c       179       300    332.67     59.51      5.59   1000000         0
486.52/486.73	c       180       391    334.12     52.55      6.36   1000000         0
487.72/487.96	c       192       263    336.47     56.39      5.97   1000000         0
488.92/489.19	c       161       359    329.78     60.16      5.48   1000000         0
490.22/490.42	c       160       294    332.48     56.06      5.93   1000000         0
491.43/491.64	c       123       206    325.03     67.22      4.84   1000000         0
492.63/492.87	c       166       310    326.23     56.59      5.77   1000000         0
493.92/494.10	c       164       388    331.48     64.08      5.17   1000000         0
495.12/495.33	c       177       348    333.71     52.92      6.31   1000000         0
496.32/496.55	c       158       403    328.61     54.61      6.02   1000000         0
497.52/497.79	c       171       371    330.61     57.49      5.75   1000000         0
498.82/499.02	c       181       319    339.53     51.93      6.54   1000000         0
500.02/500.24	c       171       308    325.88     53.78      6.06   1000000         0
501.22/501.47	c       174       326    321.97     49.88      6.45   1000000         0
502.43/502.69	c       157       253    325.44     58.14      5.60   1000000         0
503.72/503.92	c       184       375    334.08     57.54      5.81   1000000         0
504.92/505.15	c       150       339    322.92     54.05      5.97   1000000         0
506.12/506.38	c       174       384    330.21     55.27      5.97   1000000         0
507.42/507.61	c       134       415    328.32     55.16      5.95   1000000         0
508.62/508.85	c       179       344    334.08     59.35      5.63   1000000         0
509.82/510.07	c       180       305    329.07     54.44      6.04   1000000         0
511.12/511.30	c       170       324    323.05     50.85      6.35   1000000         0
512.32/512.53	c       176       269    332.07     52.65      6.31   1000000         0
513.52/513.75	c       159       322    316.94     55.01      5.76   1000000         0
514.71/514.98	c       172       343    331.43     63.83      5.19   1000000         0
516.01/516.21	c       169       341    328.02     53.39      6.14   1000000         0
517.21/517.44	c       164       239    323.37     58.80      5.50   1000000         0
518.41/518.67	c       182       309    333.34     63.21      5.27   1000000         0
519.71/519.90	c       153       404    321.22     57.74      5.56   1000000         0
520.91/521.13	c       171       266    330.20     56.09      5.89   1000000         0
522.11/522.36	c       138       337    323.66     55.40      5.84   1000000         0
523.32/523.59	c       168       270    339.99     59.41      5.72   1000000         0
524.61/524.82	c       164       285    329.60     59.76      5.52   1000000         0
525.81/526.05	c       164       332    332.58     52.94      6.28   1000000         0
527.01/527.28	c       157       415    323.70     55.64      5.82   1000000         0
528.31/528.51	c       180       363    335.71     54.41      6.17   1000000         0
529.51/529.74	c       164       281    338.92     54.58      6.21   1000000         0
530.71/530.97	c       161       327    326.23     58.24      5.60   1000000         0
531.91/532.19	c       174       269    323.65     51.86      6.24   1000000         0
533.21/533.42	c       167       305    318.38     52.83      6.03   1000000         0
534.42/534.65	c       154       377    329.06     60.85      5.41   1000000         0
535.61/535.88	c       172       278    331.91     58.69      5.65   1000000         0
536.91/537.11	c       177       336    327.19     59.42      5.51   1000000         0
538.11/538.34	c       157       249    319.08     52.13      6.12   1000000         0
539.31/539.57	c       159       329    334.07     54.32      6.15   1000000         0
540.51/540.80	c       173       265    333.72     52.61      6.34   1000000         0
541.81/542.02	c       165       313    323.21     49.18      6.57   1000000         0
543.01/543.25	c       181       318    323.46     51.98      6.22   1000000         0
544.21/544.48	c       172       279    337.03     59.63      5.65   1000000         0
545.50/545.71	c       159       351    333.84     56.45      5.91   1000000         0
546.70/546.94	c       163       325    328.50     55.86      5.88   1000000         0
547.90/548.16	c       171       245    328.34     53.34      6.16   1000000         0
549.10/549.39	c       180       326    333.86     66.31      5.04   1000000         0
550.40/550.62	c       175       319    321.97     54.19      5.94   1000000         0
551.60/551.85	c       175       315    335.31     59.48      5.64   1000000         0
552.80/553.08	c       191       300    342.81     59.92      5.72   1000000         0
554.11/554.31	c       159       349    335.69     64.16      5.23   1000000         0
555.31/555.54	c       175       355    329.77     56.39      5.85   1000000         0
556.50/556.77	c       185       351    331.56     59.77      5.55   1000000         0
557.70/558.00	c       154       199    325.52     62.46      5.21   1000000         0
559.00/559.22	c       174       270    323.82     50.82      6.37   1000000         0
560.20/560.45	c       163       256    327.26     53.85      6.08   1000000         0
561.40/561.68	c       150       341    329.07     51.38      6.41   1000000         0
562.70/562.91	c       174       249    334.19     56.06      5.96   1000000         0
563.90/564.14	c       175       272    331.49     56.29      5.89   1000000         0
565.10/565.37	c       167       323    323.94     54.47      5.95   1000000         0
566.40/566.60	c       177       255    329.91     57.69      5.72   1000000         0
567.60/567.83	c       181       347    337.19     55.02      6.13   1000000         0
568.80/569.06	c       135       310    327.73     59.97      5.46   1000000         0
570.00/570.29	c       166       313    335.06     59.13      5.67   1000000         0
571.30/571.52	c       162       375    336.41     54.41      6.18   1000000         0
572.49/572.75	c       169       296    321.63     54.56      5.90   1000000         0
573.69/573.98	c       170       353    327.24     55.63      5.88   1000000         0
575.00/575.21	c       168       287    326.73     61.94      5.28   1000000         0
576.20/576.44	c       176       269    327.34     55.01      5.95   1000000         0
577.39/577.67	c       142       301    328.74     57.95      5.67   1000000         0
578.59/578.90	c       141       422    323.51     57.87      5.59   1000000         0
579.89/580.13	c       187       304    329.80     51.40      6.42   1000000         0
581.09/581.35	c       159       378    313.03     52.50      5.96   1000000         0
582.29/582.59	c       158       280    332.14     55.84      5.95   1000000         0
583.59/583.82	c       149       341    329.14     59.23      5.56   1000000         0
584.79/585.04	c       189       249    337.96     51.20      6.60   1000000         0
586.00/586.28	c       170       328    332.94     54.56      6.10   1000000         0
587.29/587.51	c       182       310    340.77     56.87      5.99   1000000         0
588.49/588.73	c       191       358    330.63     52.88      6.25   1000000         0
589.69/589.97	c       175       302    327.89     57.75      5.68   1000000         0
590.89/591.19	c       164       287    331.06     56.02      5.91   1000000         0
592.19/592.42	c       144       295    319.44     56.30      5.67   1000000         0
593.39/593.65	c       160       373    326.59     53.61      6.09   1000000         0
594.59/594.88	c       175       276    327.81     56.38      5.81   1000000         0
595.89/596.11	c       184       465    332.36     50.83      6.54   1000000         0
597.09/597.34	c       159       316    322.93     56.09      5.76   1000000         0
598.29/598.57	c       175       246    330.28     59.27      5.57   1000000         0
599.58/599.80	c       163       332    331.04     52.58      6.30   1000000         0
600.78/601.03	c       164       392    332.14     61.03      5.44   1000000         0
601.98/602.26	c       170       325    325.28     54.00      6.02   1000000         0
603.18/603.49	c       163       286    330.82     55.03      6.01   1000000         0
604.48/604.71	c       157       295    328.54     58.58      5.61   1000000         0
605.68/605.94	c       157       242    324.73     52.45      6.19   1000000         0
606.89/607.17	c       148       350    325.68     56.48      5.77   1000000         0
608.18/608.40	c       185       362    328.69     57.12      5.75   1000000         0
609.38/609.63	c       172       258    324.96     54.17      6.00   1000000         0
610.58/610.86	c       175       437    331.29     60.44      5.48   1000000         0
611.78/612.09	c       161       234    340.76     61.75      5.52   1000000         0
613.08/613.32	c       175       311    333.75     58.03      5.75   1000000         0
614.28/614.55	c       192       310    330.87     56.39      5.87   1000000         0
615.48/615.78	c       159       330    328.68     59.78      5.50   1000000         0
616.79/617.01	c       173       318    329.13     57.77      5.70   1000000         0
617.99/618.24	c       173       399    332.10     50.13      6.62   1000000         0
619.18/619.47	c       176       300    331.49     58.60      5.66   1000000         0
620.48/620.70	c       158       318    329.15     64.65      5.09   1000000         0
621.68/621.93	c       175       441    331.49     56.76      5.84   1000000         0
622.88/623.15	c       157       216    332.07     58.63      5.66   1000000         0
624.08/624.38	c       179       358    329.85     61.10      5.40   1000000         0
625.38/625.61	c       173       282    327.08     52.44      6.24   1000000         0
626.58/626.84	c       161       409    335.20     67.22      4.99   1000000         0
627.78/628.07	c       177       339    332.65     56.74      5.86   1000000         0
629.08/629.30	c       182       457    334.36     61.29      5.46   1000000         0
630.28/630.53	c       169       363    325.75     58.27      5.59   1000000         0
631.48/631.76	c       167       354    325.89     59.03      5.52   1000000         0
632.67/633.00	c       166       291    340.69     55.04      6.19   1000000         0
633.97/634.22	c       151       307    330.78     59.61      5.55   1000000         0
635.17/635.45	c       152       373    325.02     58.08      5.60   1000000         0
636.37/636.68	c       145       349    322.07     58.54      5.50   1000000         0
637.68/637.91	c       172       350    339.51     63.10      5.38   1000000         0
638.88/639.14	c       199       270    346.33     56.97      6.08   1000000         0
640.07/640.37	c       167       299    329.18     51.89      6.34   1000000         0
641.27/641.59	c       178       319    320.86     52.33      6.13   1000000         0
642.57/642.83	c       164       264    334.51     54.16      6.18   1000000         0
643.77/644.06	c       158       332    330.40     59.87      5.52   1000000         0
644.97/645.28	c       174       364    328.05     59.23      5.54   1000000         0
646.27/646.51	c       159       391    331.05     65.49      5.05   1000000         0
647.47/647.73	c       176       405    326.12     58.02      5.62   1000000         0
648.68/648.97	c       181       316    330.70     61.12      5.41   1000000         0
649.88/650.19	c       188       364    333.64     53.16      6.28   1000000         0
651.17/651.42	c       170       267    330.20     57.65      5.73   1000000         0
652.37/652.65	c       130       303    325.30     59.25      5.49   1000000         0
653.57/653.88	c       165       366    335.52     54.42      6.17   1000000         0
654.87/655.11	c       184       300    330.75     46.93      7.05   1000000         0
656.07/656.34	c       164       316    329.01     53.41      6.16   1000000         0
657.27/657.57	c       157       351    330.95     55.30      5.98   1000000         0
658.57/658.80	c       165       318    324.59     63.16      5.14   1000000         0
659.77/660.03	c       189       317    335.62     56.91      5.90   1000000         0
660.96/661.26	c       163       366    335.61     55.66      6.03   1000000         0
662.16/662.49	c       147       401    328.76     53.00      6.20   1000000         0
663.46/663.73	c       168       309    334.56     58.96      5.67   1000000         0
664.66/664.95	c       155       293    325.84     55.56      5.86   1000000         0
665.86/666.19	c       172       343    331.96     52.31      6.35   1000000         0
667.16/667.41	c       178       318    326.32     52.35      6.23   1000000         0
668.36/668.64	c       162       293    330.49     57.57      5.74   1000000         0
669.57/669.87	c       186       319    335.45     51.24      6.55   1000000         0
670.86/671.10	c       156       284    332.17     51.00      6.51   1000000         0
672.06/672.32	c       163       376    332.58     53.49      6.22   1000000         0
673.26/673.55	c       177       292    335.79     58.61      5.73   1000000         0
674.46/674.78	c       164       416    324.48     55.74      5.82   1000000         0
675.76/676.01	c       178       344    333.64     57.55      5.80   1000000         0
676.96/677.24	c       142       290    318.13     53.86      5.91   1000000         0
678.16/678.47	c       174       275    321.03     52.12      6.16   1000000         0
679.47/679.70	c       150       364    338.02     53.25      6.35   1000000         0
680.67/680.93	c       166       291    322.66     49.67      6.50   1000000         0
681.86/682.15	c       171       283    326.73     57.54      5.68   1000000         0
683.06/683.39	c       193       305    331.34     54.03      6.13   1000000         0
684.36/684.62	c       180       277    330.68     57.19      5.78   1000000         0
685.56/685.84	c       157       337    328.26     55.42      5.92   1000000         0
686.76/687.07	c       170       360    340.91     63.12      5.40   1000000         0
688.06/688.30	c       187       345    328.14     56.58      5.80   1000000         0
689.26/689.54	c       157       296    327.90     54.69      6.00   1000000         0
690.46/690.77	c       149       265    322.89     52.47      6.15   1000000         0
691.66/691.99	c       155       415    324.43     59.34      5.47   1000000         0
692.95/693.23	c       183       302    341.97     59.41      5.76   1000000         0
694.15/694.45	c       167       355    325.70     53.47      6.09   1000000         0
695.35/695.68	c       151       387    323.57     57.82      5.60   1000000         0
696.65/696.91	c       176       263    319.20     54.55      5.85   1000000         0
697.85/698.13	c       178       286    324.94     54.80      5.93   1000000         0
699.05/699.36	c       151       305    330.85     53.51      6.18   1000000         0
700.25/700.58	c       153       336    330.17     67.05      4.92   1000000         0
701.56/701.81	c       121       276    325.62     57.51      5.66   1000000         0
702.75/703.04	c       181       249    324.15     53.15      6.10   1000000         0
703.95/704.27	c       174       365    324.52     55.49      5.85   1000000         0
705.25/705.50	c       166       328    321.35     52.78      6.09   1000000         0
706.45/706.73	c       175       300    326.13     50.86      6.41   1000000         0
707.65/707.96	c       166       336    332.37     55.60      5.98   1000000         0
708.85/709.19	c       188       349    334.54     53.13      6.30   1000000         0
710.15/710.42	c       183       382    335.72     52.38      6.41   1000000         0
711.35/711.65	c       147       311    334.25     60.68      5.51   1000000         0
712.55/712.88	c       175       330    325.33     58.05      5.60   1000000         0
713.85/714.11	c       143       320    324.69     59.05      5.50   1000000         0
715.05/715.34	c       194       359    336.82     49.04      6.87   1000000         0
716.25/716.57	c       173       372    320.51     56.34      5.69   1000000         0
717.44/717.79	c       167       361    324.53     55.33      5.86   1000000         0
718.74/719.03	c       173       317    328.63     51.40      6.39   1000000         0
719.94/720.25	c       157       351    329.71     56.69      5.82   1000000         0
721.14/721.48	c       158       342    330.66     58.71      5.63   1000000         0
722.45/722.71	c       163       334    330.75     59.14      5.59   1000000         0
723.64/723.94	c       176       387    345.56     62.67      5.51   1000000         0
724.84/725.17	c       195       299    333.02     50.78      6.56   1000000         0
726.14/726.40	c       185       335    332.23     60.03      5.53   1000000         0
727.34/727.63	c       173       286    327.15     62.34      5.25   1000000         0
728.54/728.86	c       174       270    326.17     52.75      6.18   1000000         0
729.74/730.08	c       171       254    326.67     55.70      5.86   1000000         0
731.04/731.31	c       178       300    333.78     57.47      5.81   1000000         0
732.25/732.54	c       159       382    326.07     58.92      5.53   1000000         0
733.45/733.77	c       161       337    322.80     55.14      5.85   1000000         0
734.64/734.99	c       184       300    332.95     63.87      5.21   1000000         0
735.94/736.22	c       176       364    335.55     54.75      6.13   1000000         0
737.14/737.45	c       164       249    329.67     58.99      5.59   1000000         0
738.34/738.68	c       167       306    331.72     55.49      5.98   1000000         0
739.64/739.91	c       176       301    332.06     59.17      5.61   1000000         0
740.84/741.14	c       180       298    336.32     57.08      5.89   1000000         0
742.04/742.36	c       169       213    328.62     57.00      5.76   1000000         0
743.24/743.59	c       170       306    330.19     57.63      5.73   1000000         0
744.54/744.82	c       175       307    324.12     55.49      5.84   1000000         0
745.74/746.04	c       172       380    330.32     64.32      5.14   1000000         0
746.93/747.27	c       159       242    330.37     57.05      5.79   1000000         0
748.23/748.50	c       188       305    338.90     60.74      5.58   1000000         0
749.44/749.73	c       161       332    324.19     60.75      5.34   1000000         0
750.63/750.96	c       178       356    325.24     57.11      5.70   1000000         0
751.83/752.19	c       177       297    336.00     61.70      5.45   1000000         0
753.14/753.42	c       178       314    326.72     56.05      5.83   1000000         0
754.34/754.65	c       158       328    329.80     56.37      5.85   1000000         0
755.53/755.88	c       192       437    336.37     55.66      6.04   1000000         0
756.83/757.10	c       184       319    326.09     58.82      5.54   1000000         0
758.03/758.34	c       141       301    332.16     57.07      5.82   1000000         0
759.23/759.57	c       167       292    329.65     57.13      5.77   1000000         0
760.43/760.80	c       162       293    333.59     59.64      5.59   1000000         0
761.73/762.02	c       165       325    327.22     53.47      6.12   1000000         0
762.93/763.25	c       171       355    326.11     50.39      6.47   1000000         0
764.14/764.48	c       150       349    337.20     60.69      5.56   1000000         0
765.43/765.71	c       153       276    322.98     55.30      5.84   1000000         0
766.63/766.94	c       164       383    327.10     56.26      5.81   1000000         0
767.83/768.17	c       163       309    324.62     54.64      5.94   1000000         0
769.13/769.40	c       176       315    320.14     51.54      6.21   1000000         0
770.33/770.63	c       163       331    324.71     58.98      5.51   1000000         0
771.53/771.85	c       173       357    324.07     51.40      6.31   1000000         0
772.73/773.08	c       147       273    324.21     52.90      6.13   1000000         0
774.03/774.31	c       180       316    336.70     57.81      5.82   1000000         0
775.23/775.54	c       181       280    333.63     54.71      6.10   1000000         0
776.43/776.77	c       162       271    334.19     55.46      6.03   1000000         0
777.72/778.00	c       175       439    335.79     63.85      5.26   1000000         0
778.92/779.23	c       188       341    330.87     59.10      5.60   1000000         0
780.12/780.46	c       181       367    333.00     63.21      5.27   1000000         0
781.32/781.69	c       155       309    334.59     53.14      6.30   1000000         0
782.62/782.92	c       174       376    333.15     52.39      6.36   1000000         0
783.82/784.15	c       162       354    328.36     57.45      5.72   1000000         0
785.03/785.37	c       180       291    330.06     59.86      5.51   1000000         0
786.32/786.60	c       168       324    332.92     51.96      6.41   1000000         0
787.52/787.83	c       178       327    326.47     62.38      5.23   1000000         0
788.72/789.06	c       184       333    324.04     49.98      6.48   1000000         0
789.92/790.28	c       185       305    334.37     53.26      6.28   1000000         0
791.22/791.51	c       160       348    325.91     53.98      6.04   1000000         0
792.42/792.74	c       167       349    328.84     60.44      5.44   1000000         0
793.62/793.97	c       191       358    332.96     54.49      6.11   1000000         0
794.82/795.20	c       163       383    329.46     59.19      5.57   1000000         0
796.13/796.42	c       184       327    327.38     50.71      6.46   1000000         0
797.32/797.65	c       169       306    318.42     53.66      5.93   1000000         0
798.52/798.88	c       179       325    340.47     58.16      5.85   1000000         0
799.82/800.11	c       193       304    329.38     58.66      5.61   1000000         0
801.02/801.34	c       163       397    324.02     57.85      5.60   1000000         0
802.22/802.57	c       176       352    334.55     56.18      5.95   1000000         0
803.51/803.80	c       133       350    319.29     54.92      5.81   1000000         0
804.71/805.03	c       178       257    335.47     60.75      5.52   1000000         0
805.92/806.26	c       158       295    325.42     56.85      5.72   1000000         0
807.12/807.48	c       142       300    323.50     62.12      5.21   1000000         0
808.41/808.71	c       152       384    324.03     51.86      6.25   1000000         0
809.61/809.93	c       170       278    333.00     61.31      5.43   1000000         0
810.81/811.17	c       149       368    341.91     59.18      5.78   1000000         0
812.01/812.39	c       154       343    323.24     52.09      6.20   1000000         0
813.31/813.62	c       163       341    330.38     52.96      6.24   1000000         0
814.51/814.85	c       171       257    338.25     61.87      5.47   1000000         0
815.71/816.08	c       160       351    334.12     57.82      5.78   1000000         0
817.02/817.31	c       161       352    324.77     60.08      5.41   1000000         0
818.21/818.54	c       172       361    327.28     52.93      6.18   1000000         0
819.41/819.77	c       185       370    331.95     53.75      6.18   1000000         0
820.61/821.00	c       179       306    325.53     55.68      5.85   1000000         0
821.91/822.23	c       190       357    334.27     54.31      6.15   1000000         0
823.11/823.45	c       173       287    328.25     53.23      6.17   1000000         0
824.31/824.68	c       167       338    331.66     55.77      5.95   1000000         0
825.61/825.91	c       172       417    320.41     51.38      6.24   1000000         0
826.82/827.14	c       158       403    334.43     65.43      5.11   1000000         0
828.01/828.37	c       165       307    316.04     58.74      5.38   1000000         0
829.21/829.59	c       182       236    326.11     60.25      5.41   1000000         0
830.51/830.82	c       202       280    332.80     56.21      5.92   1000000         0
831.71/832.05	c       182       239    332.96     63.07      5.28   1000000         0
832.91/833.27	c       164       365    322.95     58.37      5.53   1000000         0
834.21/834.50	c       183       290    335.12     53.28      6.29   1000000         0
835.40/835.74	c       165       338    335.46     57.32      5.85   1000000         0
836.60/836.96	c       168       259    334.35     61.79      5.41   1000000         0
837.81/838.19	c       144       362    320.96     52.57      6.11   1000000         0
839.10/839.41	c       157       410    333.06     55.15      6.04   1000000         0
840.30/840.65	c       156       295    332.43     75.64      4.40   1000000         0
841.50/841.88	c       153       244    325.17     54.22      6.00   1000000         0
842.80/843.11	c       183       237    325.81     52.84      6.17   1000000         0
844.00/844.34	c       182       286    330.72     60.74      5.44   1000000         0
845.20/845.56	c       162       213    327.79     52.42      6.25   1000000         0
846.40/846.80	c       180       296    334.85     55.86      5.99   1000000         0
847.71/848.02	c       159       353    329.54     56.54      5.83   1000000         0
848.91/849.25	c       159       349    332.29     54.09      6.14   1000000         0
850.10/850.48	c       178       384    330.63     60.02      5.51   1000000         0
851.40/851.71	c       151       385    321.22     54.18      5.93   1000000         0
852.60/852.94	c       182       345    326.95     53.25      6.14   1000000         0
853.80/854.17	c       165       312    330.05     59.58      5.54   1000000         0
855.10/855.40	c       185       360    337.71     51.01      6.62   1000000         0
856.30/856.63	c       160       287    324.71     56.09      5.79   1000000         0
857.50/857.86	c       162       296    335.05     55.75      6.01   1000000         0
858.70/859.09	c       148       292    322.13     53.60      6.01   1000000         0
860.00/860.31	c       168       372    335.46     56.36      5.95   1000000         0
861.20/861.55	c       158       299    329.55     53.18      6.20   1000000         0
862.40/862.78	c       170       265    330.60     61.71      5.36   1000000         0
863.69/864.01	c       139       390    325.66     54.90      5.93   1000000         0
864.89/865.24	c       163       368    331.19     62.34      5.31   1000000         0
866.09/866.46	c       160       356    315.04     50.46      6.24   1000000         0
867.29/867.69	c       156       303    326.37     55.05      5.93   1000000         0
868.60/868.91	c       174       365    329.01     58.27      5.65   1000000         0
869.80/870.14	c       176       328    331.28     59.02      5.61   1000000         0
870.99/871.37	c       173       447    333.58     55.35      6.03   1000000         0
872.29/872.60	c       167       252    323.18     58.07      5.57   1000000         0
873.49/873.83	c       158       307    333.03     62.45      5.33   1000000         0
874.69/875.06	c       170       400    332.54     52.99      6.28   1000000         0
875.89/876.29	c       172       293    331.39     56.37      5.88   1000000         0
877.19/877.51	c       175       259    329.49     53.62      6.15   1000000         0
878.39/878.75	c       170       299    327.25     56.83      5.76   1000000         0
879.60/879.98	c       166       255    334.28     53.14      6.29   1000000         0
880.89/881.21	c       177       379    333.23     56.35      5.91   1000000         0
882.09/882.44	c       186       318    331.20     56.94      5.82   1000000         0
883.29/883.67	c       163       392    323.02     57.25      5.64   1000000         0
884.49/884.89	c       150       397    327.01     62.51      5.23   1000000         0
885.79/886.12	c       168       233    325.93     55.57      5.86   1000000         0
886.99/887.35	c       181       339    323.98     58.72      5.52   1000000         0
888.19/888.57	c       166       303    324.66     57.65      5.63   1000000         0
889.49/889.80	c       171       270    322.55     61.69      5.23   1000000         0
890.69/891.03	c       131       343    327.39     49.76      6.58   1000000         0
891.89/892.26	c       150       395    334.77     62.59      5.35   1000000         0
893.09/893.49	c       176       283    337.22     58.71      5.74   1000000         0
894.38/894.72	c       176       356    323.71     55.68      5.81   1000000         0
895.58/895.95	c       154       292    332.93     59.51      5.59   1000000         0
896.78/897.18	c       179       340    329.46     54.20      6.08   1000000         0
898.08/898.41	c       158       413    327.97     52.84      6.21   1000000         0
899.28/899.64	c       194       267    334.41     57.17      5.85   1000000         0
900.49/900.87	c       152       284    329.97     51.36      6.42   1000000         0
901.69/902.10	c       143       368    320.00     58.49      5.47   1000000         0
902.98/903.32	c       169       413    333.49     57.31      5.82   1000000         0
904.18/904.55	c       182       280    325.33     51.07      6.37   1000000         0
905.38/905.78	c       119       347    317.80     56.54      5.62   1000000         0
906.68/907.01	c       163       340    322.74     56.77      5.69   1000000         0
907.88/908.24	c       158       296    323.25     54.74      5.91   1000000         0
909.08/909.47	c       166       348    336.56     52.09      6.46   1000000         0
910.28/910.69	c       171       297    323.43     44.56      7.26   1000000         0
911.59/911.92	c       165       317    332.85     60.94      5.46   1000000         0
912.78/913.15	c       188       322    339.20     50.65      6.70   1000000         0
913.98/914.38	c       175       247    329.04     59.57      5.52   1000000         0
915.28/915.61	c       172       311    329.73     68.91      4.78   1000000         0
916.48/916.84	c       173       360    323.73     55.10      5.88   1000000         0
917.68/918.07	c       158       360    329.70     49.67      6.64   1000000         0
918.98/919.30	c       174       356    331.54     54.04      6.13   1000000         0
920.18/920.53	c       166       321    327.29     55.29      5.92   1000000         0
921.38/921.76	c       169       348    331.40     58.73      5.64   1000000         0
922.58/922.99	c       158       281    326.67     60.55      5.39   1000000         0
923.87/924.22	c       190       304    339.68     60.39      5.62   1000000         0
925.07/925.45	c       170       358    326.23     54.76      5.96   1000000         0
926.27/926.67	c       179       334    320.68     56.09      5.72   1000000         0
927.57/927.90	c       130       270    328.08     55.06      5.96   1000000         0
928.77/929.13	c       180       389    325.95     50.76      6.42   1000000         0
929.97/930.36	c       166       384    325.97     53.39      6.11   1000000         0
931.17/931.59	c       171       381    338.68     54.11      6.26   1000000         0
932.48/932.82	c       165       355    332.32     61.41      5.41   1000000         0
933.67/934.05	c       181       315    330.35     51.81      6.38   1000000         0
934.87/935.28	c       170       363    329.33     56.03      5.88   1000000         0
936.17/936.51	c       149       288    322.52     63.12      5.11   1000000         0
937.37/937.74	c       165       320    325.42     57.21      5.69   1000000         0
938.57/938.96	c       181       340    326.88     57.71      5.66   1000000         0
939.77/940.19	c       173       388    324.18     52.61      6.16   1000000         0
941.07/941.42	c       179       278    328.14     55.56      5.91   1000000         0
942.27/942.65	c       183       306    336.82     58.32      5.78   1000000         0
943.48/943.88	c       152       317    333.11     58.73      5.67   1000000         0
944.77/945.12	c       165       290    326.21     55.33      5.90   1000000         0
945.97/946.35	c       140       286    328.21     63.26      5.19   1000000         0
947.17/947.57	c       176       360    325.33     54.84      5.93   1000000         0
948.47/948.80	c       172       283    321.72     52.81      6.09   1000000         0
949.67/950.03	c       177       363    329.52     46.70      7.06   1000000         0
950.87/951.26	c       175       289    333.51     60.61      5.50   1000000         0
952.07/952.49	c       180       391    332.51     50.07      6.64   1000000         0
953.37/953.72	c       172       296    332.13     58.03      5.72   1000000         0
954.56/954.95	c       169       292    328.80     51.34      6.40   1000000         0
955.76/956.17	c       151       268    325.35     59.27      5.49   1000000         0
957.06/957.40	c       197       237    325.01     51.16      6.35   1000000         0
958.26/958.63	c       173       337    326.98     57.57      5.68   1000000         0
959.46/959.86	c       169       297    324.07     56.44      5.74   1000000         0
960.66/961.09	c       164       303    328.94     55.84      5.89   1000000         0
961.96/962.32	c       170       280    325.67     62.65      5.20   1000000         0
963.17/963.55	c       174       352    332.17     51.07      6.50   1000000         0
964.37/964.78	c       174       358    325.90     59.35      5.49   1000000         0
965.66/966.01	c       156       312    322.24     58.90      5.47   1000000         0
966.86/967.23	c       156       327    324.38     55.52      5.84   1000000         0
968.06/968.47	c       139       322    338.94     67.56      5.02   1000000         0
969.36/969.70	c       174       263    332.37     55.93      5.94   1000000         0
970.56/970.93	c       163       365    340.28     60.24      5.65   1000000         0
971.76/972.16	c       169       307    338.77     55.84      6.07   1000000         0
972.96/973.39	c       166       378    332.05     55.62      5.97   1000000         0
974.26/974.62	c       166       311    328.60     56.12      5.86   1000000         0
975.46/975.85	c       172       292    325.40     52.44      6.20   1000000         0
976.66/977.09	c       159       383    331.30     58.08      5.70   1000000         0
977.96/978.32	c       161       351    333.23     53.18      6.27   1000000         0
979.16/979.54	c       167       317    329.92     56.66      5.82   1000000         0
980.35/980.78	c       177       306    330.15     52.20      6.32   1000000         0
981.65/982.01	c       193       297    333.30     58.73      5.67   1000000         0
982.85/983.23	c       182       276    333.78     56.39      5.92   1000000         0
984.06/984.46	c       181       360    326.11     51.40      6.34   1000000         0
985.26/985.69	c       155       309    320.54     55.07      5.82   1000000         0
986.55/986.92	c       136       285    325.90     54.04      6.03   1000000         0
987.75/988.15	c       185       353    330.96     58.49      5.66   1000000         0
988.95/989.38	c       159       293    335.50     66.83      5.02   1000000         0
990.25/990.61	c       166       313    328.36     54.69      6.00   1000000         0
991.45/991.84	c       165       332    329.55     52.75      6.25   1000000         0
992.65/993.07	c       176       403    341.02     64.04      5.32   1000000         0
993.96/994.30	c       178       251    329.17     56.92      5.78   1000000         0
995.16/995.53	c       176       290    333.13     55.99      5.95   1000000         0
996.35/996.76	c       135       355    327.67     57.64      5.68   1000000         0
997.55/997.99	c       167       315    323.56     58.26      5.55   1000000         0
998.85/999.22	c       165       353    321.60     59.02      5.45   1000000         0
1000.05/1000.45	c       173       320    329.35     61.14      5.39   1000000         0
1001.25/1001.68	c       182       325    324.69     56.75      5.72   1000000         0
1002.55/1002.91	c       175       256    333.28     60.22      5.53   1000000         0
1003.75/1004.14	c       166       296    321.73     59.13      5.44   1000000         0
1004.95/1005.37	c       199       403    334.55     55.76      6.00   1000000         0
1006.25/1006.60	c       169       334    331.67     56.87      5.83   1000000         0
1007.45/1007.82	c       125       322    326.49     61.87      5.28   1000000         0
1008.64/1009.05	c       164       437    328.95     58.10      5.66   1000000         0
1009.85/1010.28	c       170       253    326.68     53.47      6.11   1000000         0
1011.14/1011.51	c       159       277    326.22     57.57      5.67   1000000         0
1012.34/1012.74	c       171       196    314.76     53.48      5.89   1000000         0
1013.54/1013.97	c       173       338    330.17     57.82      5.71   1000000         0
1014.74/1015.19	c       144       382    333.11     57.09      5.84   1000000         0
1016.05/1016.42	c       171       407    335.45     58.19      5.76   1000000         0
1017.24/1017.65	c       170       377    330.02     60.64      5.44   1000000         0
1018.44/1018.88	c       184       314    326.17     53.74      6.07   1000000         0
1019.74/1020.11	c       195       387    334.77     54.99      6.09   1000000         0
1020.94/1021.33	c       168       266    332.46     61.63      5.39   1000000         0
1022.14/1022.56	c       142       275    322.33     53.72      6.00   1000000         0
1023.34/1023.79	c       170       314    322.53     55.18      5.84   1000000         0
1024.64/1025.02	c       156       335    331.32     50.95      6.50   1000000         0
1025.85/1026.25	c       167       337    330.46     57.86      5.71   1000000         0
1027.04/1027.48	c       172       353    324.10     55.70      5.82   1000000         0
1028.34/1028.71	c       169       318    326.81     58.64      5.57   1000000         0
1029.54/1029.94	c       171       247    335.55     58.29      5.76   1000000         0
1030.74/1031.17	c       173       360    329.91     54.47      6.06   1000000         0
1032.04/1032.40	c       156       269    327.36     54.05      6.06   1000000         0
1033.24/1033.63	c       160       298    330.82     59.79      5.53   1000000         0
1034.44/1034.86	c       184       247    337.43     57.85      5.83   1000000         0
1035.64/1036.09	c       164       304    331.29     63.10      5.25   1000000         0
1036.94/1037.32	c       149       271    331.60     53.32      6.22   1000000         0
1038.13/1038.55	c       193       393    335.47     56.20      5.97   1000000         0
1039.33/1039.78	c       166       289    330.02     57.80      5.71   1000000         0
1040.63/1041.00	c       179       271    321.58     53.08      6.06   1000000         0
1041.83/1042.23	c       164       320    325.15     55.47      5.86   1000000         0
1043.03/1043.46	c       159       382    324.45     51.08      6.35   1000000         0
1044.23/1044.69	c       176       357    332.24     57.36      5.79   1000000         0
1045.53/1045.92	c       175       297    324.71     52.98      6.13   1000000         0
1046.74/1047.14	c       165       302    326.85     62.11      5.26   1000000         0
1047.94/1048.37	c       152       418    321.46     56.67      5.67   1000000         0
1049.23/1049.60	c       183       295    328.34     61.19      5.37   1000000         0
1050.43/1050.83	c       159       293    323.86     62.82      5.16   1000000         0
1051.63/1052.06	c       172       310    322.40     57.17      5.64   1000000         0
1052.83/1053.28	c       142       284    331.14     58.89      5.62   1000000         0
1054.13/1054.51	c       166       323    323.61     52.09      6.21   1000000         0
1055.33/1055.74	c       185       286    328.97     59.84      5.50   1000000         0
1056.53/1056.97	c       161       407    326.38     58.32      5.60   1000000         0
1057.84/1058.21	c       174       348    331.90     61.64      5.38   1000000         0
1059.03/1059.43	c       154       233    325.77     55.83      5.83   1000000         0
1060.23/1060.66	c       186       314    325.16     51.10      6.36   1000000         0
1061.43/1061.89	c       169       244    327.35     56.21      5.82   1000000         0
1062.73/1063.12	c       155       290    323.02     55.04      5.87   1000000         0
1063.93/1064.35	c       160       340    333.86     56.39      5.92   1000000         0
1065.13/1065.58	c       179       288    330.08     51.97      6.35   1000000         0
1066.42/1066.81	c       146       310    330.99     51.59      6.42   1000000         0
1067.63/1068.03	c       171       247    328.64     61.15      5.37   1000000         0
1068.83/1069.27	c       150       313    324.41     58.15      5.58   1000000         0
1070.12/1070.50	c       154       423    335.33     57.03      5.88   1000000         0
1071.32/1071.73	c       186       338    336.03     59.02      5.69   1000000         0
1072.52/1072.96	c       172       305    329.29     55.68      5.91   1000000         0
1073.72/1074.18	c       173       305    323.74     58.62      5.52   1000000         0
1075.02/1075.41	c       185       310    321.52     62.26      5.16   1000000         0
1076.22/1076.64	c       155       270    321.03     52.95      6.06   1000000         0
1077.42/1077.87	c       183       362    340.78     54.18      6.29   1000000         0
1078.63/1079.09	c       167       253    322.01     60.37      5.33   1000000         0
1079.92/1080.32	c       165       365    332.26     60.64      5.48   1000000         0
1081.12/1081.55	c       149       262    333.54     65.12      5.12   1000000         0
1082.32/1082.78	c       179       258    325.57     49.88      6.53   1000000         0
1083.62/1084.01	c       182       248    335.90     61.90      5.43   1000000         0
1084.82/1085.24	c       153       293    328.20     61.65      5.32   1000000         0
1086.02/1086.47	c       154       289    329.34     58.89      5.59   1000000         0
1087.22/1087.70	c       188       316    328.70     57.18      5.75   1000000         0
1088.52/1088.93	c       185       440    333.78     56.52      5.91   1000000         0
1089.72/1090.15	c       186       288    334.62     57.31      5.84   1000000         0
1090.92/1091.38	c       205       319    335.57     59.30      5.66   1000000         0
1092.22/1092.61	c       160       264    328.17     55.41      5.92   1000000         0
1093.42/1093.84	c       171       402    335.10     56.20      5.96   1000000         0
1094.62/1095.07	c       167       316    325.35     50.46      6.45   1000000         0
1095.92/1096.30	c       173       274    334.22     50.52      6.62   1000000         0
1097.11/1097.52	c       173       406    322.65     49.30      6.54   1000000         0
1098.31/1098.75	c       195       283    331.74     61.35      5.41   1000000         0
1099.52/1099.98	c       151       270    324.18     53.58      6.05   1000000         0
1100.81/1101.21	c       179       306    328.12     59.62      5.50   1000000         0
1102.01/1102.44	c       178       339    329.37     52.50      6.27   1000000         0
1103.21/1103.67	c       168       362    333.10     67.44      4.94   1000000         0
1104.51/1104.90	c       154       318    326.30     55.06      5.93   1000000         0
1105.71/1106.13	c       174       369    333.73     56.49      5.91   1000000         0
1106.91/1107.36	c       168       256    331.72     55.70      5.96   1000000         0
1108.11/1108.59	c       168       438    331.60     64.73      5.12   1000000         0
1109.42/1109.82	c       171       270    327.43     55.68      5.88   1000000         0
1110.62/1111.04	c       158       304    325.57     58.91      5.53   1000000         0
1111.81/1112.27	c       154       297    323.40     52.45      6.17   1000000         0
1113.11/1113.50	c       185       285    337.11     56.37      5.98   1000000         0
1114.31/1114.73	c       181       289    341.12     55.01      6.20   1000000         0
1115.51/1115.96	c       154       356    320.08     58.22      5.50   1000000         0
1116.71/1117.19	c       171       292    326.16     56.29      5.79   1000000         0
1118.01/1118.42	c       165       332    323.73     54.06      5.99   1000000         0
1119.21/1119.64	c       183       390    333.30     61.03      5.46   1000000         0
1120.41/1120.88	c       172       378    331.44     58.73      5.64   1000000         0
1121.71/1122.10	c       176       306    329.73     61.55      5.36   1000000         0
1122.91/1123.34	c       181       390    326.93     51.32      6.37   1000000         0
1124.11/1124.57	c       165       333    332.44     52.88      6.29   1000000         0
1125.40/1125.80	c       164       307    331.33     64.60      5.13   1000000         0
1126.60/1127.03	c       175       438    330.64     54.28      6.09   1000000         0
1127.80/1128.25	c       173       349    330.86     59.81      5.53   1000000         0
1129.00/1129.48	c       178       307    333.51     54.57      6.11   1000000         0
1130.31/1130.72	c       193       302    329.93     57.59      5.73   1000000         0
1131.51/1131.94	c       185       234    333.12     50.66      6.58   1000000         0
1132.70/1133.17	c       148       275    324.15     53.17      6.10   1000000         0
1134.00/1134.40	c       135       374    332.26     58.21      5.71   1000000         0
1135.20/1135.63	c       157       329    330.05     62.16      5.31   1000000         0
1136.40/1136.86	c       187       396    329.69     55.06      5.99   1000000         0
1137.60/1138.09	c       169       287    321.11     57.75      5.56   1000000         0
1138.90/1139.32	c       173       292    334.88     60.18      5.56   1000000         0
1140.10/1140.55	c       164       298    333.35     62.86      5.30   1000000         0
1141.31/1141.77	c       161       313    327.87     53.31      6.15   1000000         0
1142.60/1143.00	c       172       352    324.32     55.50      5.84   1000000         0
1143.80/1144.23	c       173       268    323.30     52.37      6.17   1000000         0
1145.00/1145.46	c       173       354    339.14     52.96      6.40   1000000         0
1146.20/1146.69	c       151       290    330.26     56.83      5.81   1000000         0
1147.50/1147.92	c       148       359    321.75     59.96      5.37   1000000         0
1148.70/1149.14	c       158       291    327.54     59.11      5.54   1000000         0
1149.90/1150.37	c       167       272    330.93     53.63      6.17   1000000         0
1151.20/1151.60	c       170       312    329.76     49.10      6.72   1000000         0
1152.40/1152.82	c       157       476    326.58     57.66      5.66   1000000         0
1153.60/1154.05	c       170       335    325.27     54.77      5.94   1000000         0
1154.80/1155.28	c       189       355    336.87     60.09      5.61   1000000         0
1156.10/1156.51	c       162       340    330.06     58.48      5.64   1000000         0
1157.30/1157.74	c       181       449    341.99     56.35      6.07   1000000         0
1158.49/1158.97	c       175       245    330.57     51.59      6.41   1000000         0
1159.79/1160.20	c       168       328    326.14     54.34      6.00   1000000         0
1160.99/1161.44	c       170       327    327.01     51.77      6.32   1000000         0
1162.20/1162.67	c       164       301    332.34     57.81      5.75   1000000         0
1163.49/1163.90	c       152       282    330.50     59.63      5.54   1000000         0
1164.69/1165.13	c       176       378    322.59     50.48      6.39   1000000         0
1165.89/1166.36	c       162       374    329.88     56.69      5.82   1000000         0
1167.09/1167.59	c       185       283    332.30     57.33      5.80   1000000         0
1168.39/1168.81	c       134       354    327.60     52.90      6.19   1000000         0
1169.59/1170.04	c       168       275    319.80     54.74      5.84   1000000         0
1170.79/1171.27	c       185       345    330.32     56.65      5.83   1000000         0
1171.99/1172.49	c       180       268    316.90     48.10      6.59   1000000         0
1173.30/1173.73	c       169       345    333.69     60.30      5.53   1000000         0
1174.49/1174.95	c       169       250    326.65     58.45      5.59   1000000         0
1175.69/1176.18	c       170       338    323.70     48.84      6.63   1000000         0
1176.99/1177.41	c       173       279    325.09     47.97      6.78   1000000         0
1178.19/1178.63	c       175       342    327.41     56.16      5.83   1000000         0
1179.39/1179.86	c       172       260    323.77     60.25      5.37   1000000         0
1180.59/1181.09	c       176       415    329.21     54.31      6.06   1000000         0
1181.89/1182.32	c       188       286    329.19     61.62      5.34   1000000         0
1183.09/1183.54	c       182       373    328.34     58.29      5.63   1000000         0
1184.29/1184.78	c       159       358    329.99     60.16      5.49   1000000         0
1185.58/1186.01	c       178       391    331.06     58.32      5.68   1000000         0
1186.78/1187.23	c       178       379    326.89     55.91      5.85   1000000         0
1187.98/1188.46	c       171       267    320.39     58.78      5.45   1000000         0
1189.18/1189.69	c       197       319    338.93     54.24      6.25   1000000         0
1190.48/1190.92	c       181       364    334.03     52.47      6.37   1000000         0
1191.68/1192.15	c       160       299    325.62     52.12      6.25   1000000         0
1192.88/1193.38	c       149       307    321.05     56.10      5.72   1000000         0
1194.19/1194.61	c       174       397    337.45     62.06      5.44   1000000         0
1195.38/1195.84	c       175       399    327.52     53.74      6.09   1000000         0
1196.58/1197.06	c       136       322    323.96     52.06      6.22   1000000         0
1197.78/1198.29	c       161       363    328.75     62.40      5.27   1000000         0
1199.08/1199.52	c       180       286    319.63     59.62      5.36   1000000         0
1200.28/1200.75	c       148       363    318.69     58.41      5.46   1000000         0
1201.48/1201.97	c       178       290    333.37     51.89      6.42   1000000         0
1202.78/1203.21	c       179       263    333.50     55.36      6.02   1000000         0
1203.98/1204.43	c       167       360    332.04     58.66      5.66   1000000         0
1205.18/1205.66	c       186       357    335.80     52.49      6.40   1000000         0
1206.48/1206.90	c       168       385    329.78     60.97      5.41   1000000         0
1207.68/1208.13	c       136       304    330.51     55.91      5.91   1000000         0
1208.88/1209.35	c       163       324    330.48     55.93      5.91   1000000         0
1210.08/1210.58	c       156       269    334.77     60.66      5.52   1000000         0
1211.37/1211.81	c       174       312    327.98     62.81      5.22   1000000         0
1212.57/1213.04	c       178       392    330.72     54.01      6.12   1000000         0
1213.77/1214.27	c       180       322    323.29     51.91      6.23   1000000         0
1214.98/1215.50	c       181       353    332.25     54.29      6.12   1000000         0
1216.27/1216.73	c       169       291    321.87     56.78      5.67   1000000         0
1217.47/1217.95	c       178       386    335.55     54.65      6.14   1000000         0
1218.67/1219.18	c       170       399    327.57     60.04      5.46   1000000         0
1219.97/1220.41	c       163       400    326.07     63.66      5.12   1000000         0
1221.17/1221.64	c       159       253    330.06     47.90      6.89   1000000         0
1222.37/1222.87	c       177       388    336.42     51.95      6.48   1000000         0
1223.67/1224.10	c       177       327    329.48     59.66      5.52   1000000         0
1224.88/1225.33	c       181       309    333.50     62.62      5.33   1000000         0
1226.08/1226.56	c       180       272    332.45     57.00      5.83   1000000         0
1227.27/1227.78	c       172       386    331.35     62.56      5.30   1000000         0
1228.57/1229.01	c       163       302    327.72     66.54      4.93   1000000         0
1229.77/1230.24	c       164       437    336.92     57.96      5.81   1000000         0
1230.97/1231.47	c       173       420    325.32     57.03      5.70   1000000         0
1232.27/1232.70	c       145       388    335.11     56.81      5.90   1000000         0
1233.47/1233.93	c       164       330    324.39     60.73      5.34   1000000         0
1234.67/1235.15	c       169       376    325.62     53.63      6.07   1000000         0
1235.87/1236.38	c       155       277    328.77     55.32      5.94   1000000         0
1237.17/1237.61	c       178       332    329.68     60.61      5.44   1000000         0
1238.37/1238.84	c       197       381    339.13     52.92      6.41   1000000         0
1239.56/1240.07	c       183       352    329.59     57.42      5.74   1000000         0
1240.86/1241.30	c       163       224    334.95     53.94      6.21   1000000         0
1242.06/1242.53	c       142       338    327.56     53.02      6.18   1000000         0
1243.26/1243.76	c       164       305    333.48     55.79      5.98   1000000         0
1244.46/1244.99	c       186       320    328.37     50.10      6.55   1000000         0
1245.77/1246.21	c       182       359    322.32     52.31      6.16   1000000         0
1246.97/1247.44	c       147       344    329.39     58.98      5.58   1000000         0
1248.16/1248.68	c       181       366    326.26     59.38      5.49   1000000         0
1249.46/1249.90	c       150       288    323.52     59.53      5.44   1000000         0
1250.66/1251.13	c       169       348    324.34     50.36      6.44   1000000         0
1251.86/1252.36	c       178       363    331.37     52.73      6.28   1000000         0
1253.06/1253.59	c       167       329    334.12     64.69      5.16   1000000         0
1254.36/1254.82	c       168       340    328.81     57.02      5.77   1000000         0
1255.56/1256.05	c       170       328    326.96     58.21      5.62   1000000         0
1256.77/1257.28	c       195       319    335.72     56.42      5.95   1000000         0
1258.06/1258.51	c       143       273    328.05     57.59      5.70   1000000         0
1259.26/1259.74	c       186       284    325.39     52.33      6.22   1000000         0
1260.46/1260.96	c       164       267    326.94     49.72      6.58   1000000         0
1261.66/1262.19	c       162       246    318.24     51.67      6.16   1000000         0
1262.96/1263.42	c       159       324    335.18     53.53      6.26   1000000         0
1264.16/1264.65	c       159       299    332.72     59.96      5.55   1000000         0
1265.36/1265.87	c       179       248    321.49     53.08      6.06   1000000         0
1266.66/1267.10	c       168       244    322.86     56.54      5.71   1000000         0
1267.86/1268.33	c       180       237    331.84     52.23      6.35   1000000         0
1269.06/1269.56	c       156       325    337.14     62.70      5.38   1000000         0
1270.25/1270.79	c       191       303    333.99     56.31      5.93   1000000         0
1271.55/1272.02	c       165       276    324.45     56.71      5.72   1000000         0
1272.75/1273.26	c       179       360    337.22     54.89      6.14   1000000         0
1273.95/1274.48	c       178       364    326.58     61.55      5.31   1000000         0
1275.25/1275.72	c       147       327    332.49     58.54      5.68   1000000         0
1276.45/1276.95	c       172       308    335.63     47.14      7.12   1000000         0
1277.66/1278.18	c       166       208    330.86     62.50      5.29   1000000         0
1278.95/1279.41	c       174       459    329.35     60.45      5.45   1000000         0
1280.15/1280.63	c       188       362    328.12     57.42      5.71   1000000         0
1281.35/1281.86	c       157       321    333.42     56.58      5.89   1000000         0
1282.55/1283.09	c       182       297    326.36     56.34      5.79   1000000         0
1283.85/1284.32	c       171       288    325.42     55.90      5.82   1000000         0
1285.05/1285.54	c       176       348    326.77     51.00      6.41   1000000         0
1286.25/1286.78	c       178       362    331.03     58.14      5.69   1000000         0
1287.56/1288.01	c       167       305    330.45     49.52      6.67   1000000         0
1288.76/1289.23	c       154       281    326.45     60.24      5.42   1000000         0
1289.95/1290.46	c       158       364    325.55     58.36      5.58   1000000         0
1291.15/1291.68	c       174       229    318.38     54.30      5.86   1000000         0
1292.45/1292.91	c       169       367    323.74     53.75      6.02   1000000         0
1293.65/1294.14	c       170       290    328.39     57.03      5.76   1000000         0
1294.85/1295.37	c       154       365    327.97     56.26      5.83   1000000         0
1296.05/1296.59	c       147       404    329.25     61.72      5.33   1000000         0
1297.35/1297.82	c       183       249    325.38     61.34      5.30   1000000         0
1298.55/1299.05	c       174       258    332.24     53.02      6.27   1000000         0
1299.75/1300.28	c       170       376    332.82     60.76      5.48   1000000         0
1301.04/1301.51	c       144       276    322.24     55.54      5.80   1000000         0
1302.24/1302.74	c       156       340    324.53     60.81      5.34   1000000         0
1303.44/1303.97	c       171       322    329.48     56.50      5.83   1000000         0
1304.64/1305.19	c       188       344    325.24     52.83      6.16   1000000         0
1305.94/1306.42	c       152       309    329.56     54.55      6.04   1000000         0
1307.14/1307.65	c       176       343    331.16     58.08      5.70   1000000         0
1308.34/1308.88	c       160       380    322.31     61.96      5.20   1000000         0
1309.65/1310.11	c       168       389    332.19     56.84      5.84   1000000         0
1310.84/1311.33	c       148       362    328.80     55.43      5.93   1000000         0
1312.04/1312.56	c       194       340    345.79     60.34      5.73   1000000         0
1313.34/1313.80	c       179       360    328.50     53.22      6.17   1000000         0
1314.54/1315.02	c       160       267    322.30     57.16      5.64   1000000         0
1315.74/1316.25	c       179       244    327.26     54.01      6.06   1000000         0
1316.94/1317.48	c       186       358    327.10     51.70      6.33   1000000         0
1318.24/1318.71	c       155       374    322.12     56.24      5.73   1000000         0
1319.44/1319.94	c       172       366    331.55     58.89      5.63   1000000         0
1320.64/1321.16	c       163       246    320.70     50.38      6.37   1000000         0
1321.84/1322.39	c       196       335    337.23     57.13      5.90   1000000         0
1323.13/1323.62	c       188       324    332.41     52.34      6.35   1000000         0
1324.33/1324.85	c       151       298    328.17     63.69      5.15   1000000         0
1325.53/1326.08	c       171       279    327.39     55.11      5.94   1000000         0
1326.83/1327.31	c       169       453    325.60     58.02      5.61   1000000         0
1328.03/1328.53	c       157       384    322.00     56.79      5.67   1000000         0
1329.23/1329.76	c       172       280    324.09     53.44      6.07   1000000         0
1330.44/1330.99	c       183       349    342.86     61.47      5.58   1000000         0
1331.73/1332.22	c       193       297    329.48     50.22      6.56   1000000         0
1332.93/1333.45	c       163       250    333.72     59.92      5.57   1000000         0
1334.13/1334.67	c       165       305    319.55     54.31      5.88   1000000         0
1335.43/1335.90	c       181       320    320.35     55.97      5.72   1000000         0
1336.63/1337.13	c       190       279    331.32     49.03      6.76   1000000         0
1337.83/1338.36	c       177       352    326.23     58.21      5.60   1000000         0
1339.03/1339.59	c       166       361    332.05     56.82      5.84   1000000         0
1340.34/1340.82	c       147       258    329.23     55.32      5.95   1000000         0
1341.54/1342.05	c       174       346    334.63     61.66      5.43   1000000         0
1342.73/1343.28	c       191       383    330.29     59.43      5.56   1000000         0
1344.03/1344.51	c       160       387    333.72     56.70      5.89   1000000         0
1345.23/1345.73	c       172       273    328.52     52.41      6.27   1000000         0
1346.43/1346.97	c       178       290    329.50     58.05      5.68   1000000         0
1347.63/1348.19	c       163       312    330.15     51.76      6.38   1000000         0
1348.93/1349.42	c       166       282    330.19     58.40      5.65   1000000         0
1350.13/1350.65	c       168       339    326.59     55.49      5.89   1000000         0
1351.33/1351.88	c       178       317    329.10     52.89      6.22   1000000         0
1352.63/1353.11	c       182       324    322.43     53.53      6.02   1000000         0
1353.83/1354.34	c       164       399    334.93     59.22      5.66   1000000         0
1355.03/1355.57	c       183       358    334.02     55.41      6.03   1000000         0
1356.32/1356.80	c       161       269    332.39     62.33      5.33   1000000         0
1357.52/1358.03	c       175       311    322.06     47.36      6.80   1000000         0
1358.72/1359.26	c       167       313    335.80     61.27      5.48   1000000         0
1359.92/1360.49	c       191       319    331.64     55.98      5.92   1000000         0
1361.23/1361.72	c       170       262    338.22     59.22      5.71   1000000         0
1362.43/1362.94	c       182       321    330.85     54.61      6.06   1000000         0
1363.62/1364.18	c       140       360    329.53     66.08      4.99   1000000         0
1364.92/1365.40	c       160       345    321.22     57.45      5.59   1000000         0
1366.12/1366.63	c       185       259    328.18     50.65      6.48   1000000         0
1367.32/1367.86	c       174       238    320.70     57.14      5.61   1000000         0
1368.52/1369.09	c       169       313    321.29     60.22      5.34   1000000         0
1369.82/1370.32	c       166       355    326.39     50.38      6.48   1000000         0
1371.02/1371.55	c       172       426    336.43     52.68      6.39   1000000         0
1372.23/1372.78	c       157       394    327.26     52.98      6.18   1000000         0
1373.52/1374.01	c       177       315    338.82     61.62      5.50   1000000         0
1374.72/1375.24	c       193       395    330.23     49.86      6.62   1000000         0
1375.92/1376.47	c       162       376    330.89     56.71      5.83   1000000         0
1377.22/1377.70	c       173       381    321.74     57.96      5.55   1000000         0
1378.42/1378.93	c       168       237    328.53     53.39      6.15   1000000         0
1379.62/1380.16	c       180       335    340.16     61.70      5.51   1000000         0
1380.82/1381.39	c       149       317    334.04     60.19      5.55   1000000         0
1382.12/1382.61	c       191       341    333.80     51.32      6.50   1000000         0
1383.32/1383.84	c       158       349    329.72     57.32      5.75   1000000         0
1384.51/1385.07	c       180       317    344.05     54.50      6.31   1000000         0
1385.81/1386.30	c       178       272    325.35     54.65      5.95   1000000         0
1387.01/1387.53	c       179       259    331.13     64.87      5.10   1000000         0
1388.21/1388.75	c       161       270    325.63     52.70      6.18   1000000         0
1389.41/1389.98	c       152       309    326.03     52.67      6.19   1000000         0
1390.71/1391.21	c       188       318    332.66     54.64      6.09   1000000         0
1391.91/1392.44	c       151       366    339.55     57.82      5.87   1000000         0
1393.12/1393.67	c       180       309    320.82     55.49      5.78   1000000         0
1394.41/1394.90	c       143       327    335.47     53.17      6.31   1000000         0
1395.61/1396.13	c       193       323    337.55     53.81      6.27   1000000         0
1396.81/1397.36	c       188       301    330.16     53.24      6.20   1000000         0
1398.01/1398.59	c       186       376    327.28     52.69      6.21   1000000         0
1399.31/1399.81	c       170       324    328.56     57.34      5.73   1000000         0
1400.51/1401.05	c       184       334    331.10     55.71      5.94   1000000         0
1401.71/1402.27	c       170       385    330.49     61.70      5.36   1000000         0
1403.02/1403.50	c       152       369    332.89     61.96      5.37   1000000         0
1404.22/1404.73	c       186       282    335.53     54.12      6.20   1000000         0
1405.41/1405.96	c       162       268    332.69     59.08      5.63   1000000         0
1406.61/1407.19	c       172       267    329.11     59.19      5.56   1000000         0
1407.91/1408.42	c       163       278    322.23     52.54      6.13   1000000         0
1409.11/1409.65	c       184       252    323.66     54.43      5.95   1000000         0
1410.31/1410.88	c       169       331    333.68     54.68      6.10   1000000         0
1411.61/1412.11	c       135       296    324.11     59.77      5.42   1000000         0
1412.81/1413.33	c       182       339    330.19     58.18      5.68   1000000         0
1414.01/1414.56	c       153       260    331.80     54.26      6.12   1000000         0
1415.21/1415.79	c       165       324    323.58     54.45      5.94   1000000         0
1416.50/1417.02	c       178       321    334.10     57.09      5.85   1000000         0
1417.70/1418.25	c       190       349    329.41     51.31      6.42   1000000         0
1418.90/1419.48	c       181       361    335.50     59.44      5.64   1000000         0
1420.20/1420.71	c       173       332    324.51     53.98      6.01   1000000         0
1421.40/1421.93	c       177       320    323.25     55.06      5.87   1000000         0
1422.60/1423.16	c       161       368    327.76     57.63      5.69   1000000         0
1423.91/1424.40	c       175       290    337.89     60.38      5.60   1000000         0
1425.11/1425.62	c       177       325    338.54     54.79      6.18   1000000         0
1426.30/1426.85	c       179       321    326.34     52.45      6.22   1000000         0
1427.50/1428.08	c       172       306    326.88     60.13      5.44   1000000         0
1428.80/1429.31	c       173       285    324.16     56.42      5.75   1000000         0
1429.99/1430.55	c       162       320    328.71     52.53      6.26   1000000         0
1431.19/1431.78	c       172       385    326.15     60.75      5.37   1000000         0
1432.49/1433.01	c       160       292    333.94     62.54      5.34   1000000         0
1433.69/1434.24	c       173       270    332.76     54.13      6.15   1000000         0
1434.90/1435.47	c       138       361    316.90     55.81      5.68   1000000         0
1436.19/1436.70	c       144       312    321.32     50.36      6.38   1000000         0
1437.39/1437.93	c       189       295    329.68     57.42      5.74   1000000         0
1438.59/1439.16	c       174       298    331.45     55.89      5.93   1000000         0
1439.79/1440.38	c       180       265    329.25     57.66      5.71   1000000         0
1441.09/1441.61	c       179       344    326.82     60.81      5.37   1000000         0
1442.29/1442.84	c       189       434    334.90     57.90      5.78   1000000         0
1443.49/1444.07	c       159       294    324.85     54.30      5.98   1000000         0
1444.79/1445.30	c       174       282    323.19     52.17      6.20   1000000         0
1445.99/1446.52	c       179       365    326.77     58.91      5.55   1000000         0
1447.18/1447.75	c       162       273    329.62     54.82      6.01   1000000         0
1448.38/1448.98	c       187       400    333.16     55.72      5.98   1000000         0
1449.68/1450.21	c       173       310    338.74     57.93      5.85   1000000         0
1450.89/1451.44	c       165       310    321.62     54.97      5.85   1000000         0
1452.09/1452.67	c       166       419    330.75     62.23      5.31   1000000         0
1453.39/1453.90	c       162       308    323.07     58.85      5.49   1000000         0
1454.59/1455.12	c       177       319    329.02     63.35      5.19   1000000         0
1455.80/1456.35	c       175       276    326.52     59.14      5.52   1000000         0
1457.00/1457.58	c       171       298    329.69     54.28      6.07   1000000         0
1458.29/1458.81	c       168       427    326.82     57.77      5.66   1000000         0
1459.49/1460.03	c       142       283    319.90     51.50      6.21   1000000         0
1460.69/1461.26	c       184       324    327.34     55.72      5.88   1000000         0
1461.89/1462.49	c       168       312    322.90     50.48      6.40   1000000         0
1463.19/1463.71	c       174       416    328.90     56.78      5.79   1000000         0
1464.39/1464.94	c       173       371    334.88     51.49      6.50   1000000         0
1465.59/1466.17	c       166       294    322.59     50.84      6.35   1000000         0
1466.80/1467.40	c       165       260    330.43     56.09      5.89   1000000         0
1468.09/1468.63	c       184       380    327.10     54.37      6.02   1000000         0
1469.29/1469.86	c       178       325    329.47     54.76      6.02   1000000         0
1470.49/1471.09	c       174       298    329.10     55.30      5.95   1000000         0
1471.79/1472.31	c       176       343    326.29     49.68      6.57   1000000         0
1472.99/1473.54	c       181       289    329.59     60.75      5.43   1000000         0
1474.18/1474.77	c       181       325    339.29     53.93      6.29   1000000         0
1475.48/1476.00	c       151       345    329.21     59.45      5.54   1000000         0
1476.69/1477.23	c       170       328    329.94     54.94      6.01   1000000         0
1477.89/1478.46	c       178       263    333.45     60.98      5.47   1000000         0
1479.08/1479.69	c       160       288    317.56     50.48      6.29   1000000         0
1480.38/1480.92	c       138       262    329.03     53.70      6.13   1000000         0
1481.58/1482.15	c       156       277    331.24     63.94      5.18   1000000         0
1482.78/1483.38	c       154       269    335.46     56.64      5.92   1000000         0
1484.08/1484.61	c       196       421    338.42     53.07      6.38   1000000         0
1485.28/1485.84	c       160       310    341.59     54.37      6.28   1000000         0
1486.48/1487.07	c       182       244    333.05     53.02      6.28   1000000         0
1487.69/1488.29	c       164       315    321.12     56.02      5.73   1000000         0
1488.98/1489.52	c       176       342    326.20     56.91      5.73   1000000         0
1490.18/1490.75	c       163       307    325.80     59.43      5.48   1000000         0
1491.38/1491.97	c       151       357    318.49     55.53      5.74   1000000         0
1492.68/1493.20	c       173       265    321.46     52.61      6.11   1000000         0
1493.88/1494.43	c       184       408    335.51     60.60      5.54   1000000         0
1495.08/1495.66	c       168       388    324.48     52.90      6.13   1000000         0
1496.28/1496.89	c       155       343    327.20     60.80      5.38   1000000         0
1497.58/1498.12	c       171       316    325.75     55.63      5.86   1000000         0
1498.78/1499.35	c       149       311    322.39     52.78      6.11   1000000         0
1499.98/1500.58	c       158       361    330.24     59.82      5.52   1000000         0
1501.28/1501.80	c       158       365    333.88     56.33      5.93   1000000         0
1502.48/1503.03	c       144       344    326.41     64.25      5.08   1000000         0
1503.67/1504.26	c       169       319    333.99     60.84      5.49   1000000         0
1504.87/1505.49	c       167       288    327.81     67.54      4.85   1000000         0
1506.17/1506.71	c       154       382    329.88     53.83      6.13   1000000         0
1507.37/1507.94	c       193       324    327.05     51.81      6.31   1000000         0
1508.58/1509.17	c       171       359    331.23     57.89      5.72   1000000         0
1509.87/1510.40	c       160       348    335.09     52.19      6.42   1000000         0
1511.07/1511.63	c       181       340    330.54     55.84      5.92   1000000         0
1512.27/1512.85	c       177       349    331.06     61.43      5.39   1000000         0
1513.47/1514.08	c       171       335    328.26     56.40      5.82   1000000         0
1514.77/1515.31	c       156       357    331.43     56.28      5.89   1000000         0
1515.97/1516.54	c       176       353    326.37     58.63      5.57   1000000         0
1517.17/1517.77	c       170       314    343.52     71.23      4.82   1000000         0
1518.48/1519.00	c       156       293    331.31     56.00      5.92   1000000         0
1519.68/1520.23	c       184       309    332.32     61.96      5.36   1000000         0
1520.87/1521.46	c       174       355    329.87     62.06      5.32   1000000         0
1522.07/1522.69	c       157       348    334.29     53.10      6.30   1000000         0
1523.37/1523.91	c       171       386    329.83     55.11      5.98   1000000         0
1524.57/1525.15	c       175       360    334.81     58.24      5.75   1000000         0
1525.77/1526.37	c       160       344    322.39     54.82      5.88   1000000         0
1527.07/1527.60	c       162       231    330.54     63.46      5.21   1000000         0
1528.27/1528.83	c       162       272    327.00     60.24      5.43   1000000         0
1529.47/1530.06	c       168       323    322.78     51.53      6.26   1000000         0
1530.67/1531.29	c       174       398    329.97     48.56      6.79   1000000         0
1531.97/1532.52	c       170       303    331.95     55.43      5.99   1000000         0
1533.16/1533.75	c       178       324    328.16     49.46      6.63   1000000         0
1534.36/1534.98	c       176       308    329.76     54.68      6.03   1000000         0
1535.66/1536.21	c       189       366    333.22     55.32      6.02   1000000         0
1536.86/1537.44	c       177       284    331.86     57.16      5.81   1000000         0
1538.06/1538.67	c       177       274    340.97     53.93      6.32   1000000         0
1539.26/1539.89	c       179       344    332.11     60.51      5.49   1000000         0
1540.57/1541.12	c       174       393    326.08     63.59      5.13   1000000         0
1541.76/1542.36	c       166       272    331.92     61.28      5.42   1000000         0
1542.96/1543.59	c       158       351    333.29     56.17      5.93   1000000         0
1544.26/1544.81	c       167       365    323.01     55.18      5.85   1000000         0
1545.46/1546.04	c       174       204    325.57     57.43      5.67   1000000         0
1546.66/1547.27	c       167       296    334.18     52.87      6.32   1000000         0
1547.96/1548.50	c       178       349    335.04     59.21      5.66   1000000         0
1549.16/1549.73	c       174       416    331.68     58.71      5.65   1000000         0
1550.37/1550.96	c       177       285    334.94     52.33      6.40   1000000         0
1551.57/1552.19	c       199       239    338.36     55.38      6.11   1000000         0
1552.86/1553.42	c       161       343    326.59     57.40      5.69   1000000         0
1554.06/1554.65	c       170       287    327.38     58.25      5.62   1000000         0
1555.26/1555.88	c       162       349    330.65     61.82      5.35   1000000         0
1556.56/1557.11	c       169       317    333.74     52.12      6.40   1000000         0
1557.76/1558.34	c       184       278    329.28     60.73      5.42   1000000         0
1558.96/1559.56	c       165       318    327.67     57.52      5.70   1000000         0
1560.15/1560.79	c       184       358    333.78     61.24      5.45   1000000         0
1561.46/1562.03	c       143       345    325.48     62.98      5.17   1000000         0
1562.65/1563.26	c       153       313    322.28     53.77      5.99   1000000         0
1563.85/1564.48	c       151       338    323.03     53.16      6.08   1000000         0
1565.15/1565.72	c       174       362    338.64     65.90      5.14   1000000         0
1566.35/1566.95	c       175       301    333.32     56.12      5.94   1000000         0
1567.55/1568.18	c       155       376    324.75     61.47      5.28   1000000         0
1568.85/1569.41	c       145       375    336.32     55.89      6.02   1000000         0
1570.05/1570.64	c       162       355    331.36     57.78      5.73   1000000         0
1571.26/1571.87	c       174       264    337.13     56.58      5.96   1000000         0
1572.46/1573.10	c       163       344    326.51     54.77      5.96   1000000         0
1573.75/1574.33	c       173       317    335.71     64.15      5.23   1000000         0
1574.95/1575.56	c       156       310    332.10     52.50      6.33   1000000         0
1576.15/1576.79	c       144       315    329.07     52.81      6.23   1000000         0
1577.45/1578.02	c       164       372    332.27     54.72      6.07   1000000         0
1578.65/1579.25	c       183       247    329.97     57.16      5.77   1000000         0
1579.85/1580.48	c       158       371    331.64     54.09      6.13   1000000         0
1581.15/1581.70	c       160       324    329.10     59.46      5.54   1000000         0
1582.36/1582.93	c       145       351    322.81     55.86      5.78   1000000         0
1583.55/1584.16	c       180       341    326.69     50.68      6.45   1000000         0
1584.75/1585.39	c       159       379    325.39     55.39      5.87   1000000         0
1586.05/1586.62	c       170       294    331.48     65.25      5.08   1000000         0
1587.25/1587.85	c       179       294    334.77     54.79      6.11   1000000         0
1588.45/1589.07	c       166       350    322.63     54.81      5.89   1000000         0
1589.74/1590.30	c       153       307    318.78     57.05      5.59   1000000         0
1590.94/1591.53	c       179       255    322.62     57.43      5.62   1000000         0
1592.15/1592.75	c       171       321    336.95     63.05      5.34   1000000         0
1593.35/1593.99	c       177       308    334.99     54.12      6.19   1000000         0
1594.64/1595.21	c       172       314    334.32     56.30      5.94   1000000         0
1595.84/1596.44	c       188       350    330.60     50.23      6.58   1000000         0
1597.04/1597.68	c       178       231    325.05     53.24      6.11   1000000         0
1598.34/1598.90	c       164       268    326.93     56.13      5.82   1000000         0
1599.54/1600.13	c       178       399    330.22     62.26      5.30   1000000         0
1600.74/1601.36	c       164       281    338.29     64.96      5.21   1000000         0
1601.94/1602.59	c       176       370    325.04     54.56      5.96   1000000         0
1603.25/1603.81	c       129       351    320.04     52.60      6.08   1000000         0
1604.44/1605.04	c       196       312    325.79     48.22      6.76   1000000         0
1605.64/1606.27	c       187       334    327.07     53.30      6.14   1000000         0
1606.94/1607.50	c       167       295    331.75     58.60      5.66   1000000         0
1608.14/1608.73	c       168       271    323.67     55.47      5.84   1000000         0
1609.34/1609.96	c       189       312    330.37     56.36      5.86   1000000         0
1610.54/1611.18	c       155       342    326.81     61.34      5.33   1000000         0
1611.84/1612.41	c       159       365    332.72     61.42      5.42   1000000         0
1613.04/1613.64	c       179       314    335.67     57.77      5.81   1000000         0
1614.24/1614.87	c       176       324    325.24     50.22      6.48   1000000         0
1615.54/1616.10	c       162       311    327.06     57.55      5.68   1000000         0
1616.74/1617.33	c       167       295    322.51     57.13      5.65   1000000         0
1617.94/1618.56	c       170       269    324.49     51.44      6.31   1000000         0
1619.14/1619.79	c       163       370    321.98     50.13      6.42   1000000         0
1620.43/1621.02	c       161       334    328.10     52.99      6.19   1000000         0
1621.63/1622.24	c       170       333    328.84     55.40      5.94   1000000         0
1622.83/1623.47	c       191       305    328.10     59.56      5.51   1000000         0
1624.04/1624.70	c       138       363    331.39     62.42      5.31   1000000         0
1625.33/1625.93	c       169       343    321.11     56.15      5.72   1000000         0
1626.53/1627.16	c       159       282    322.35     51.84      6.22   1000000         0
1627.73/1628.39	c       149       277    327.27     56.98      5.74   1000000         0
1629.03/1629.61	c       150       376    323.00     57.57      5.61   1000000         0
1630.23/1630.84	c       165       370    334.09     58.54      5.71   1000000         0
1631.43/1632.07	c       165       226    327.50     63.14      5.19   1000000         0
1632.73/1633.31	c       168       292    323.16     48.33      6.69   1000000         0
1633.94/1634.53	c       160       368    324.61     51.04      6.36   1000000         0
1635.14/1635.76	c       181       332    327.00     56.76      5.76   1000000         0
1636.33/1636.99	c       153       444    332.91     59.16      5.63   1000000         0
1637.63/1638.22	c       145       256    326.28     55.52      5.88   1000000         0
1638.83/1639.45	c       177       267    330.06     59.05      5.59   1000000         0
1640.03/1640.68	c       172       355    325.36     57.39      5.67   1000000         0
1641.33/1641.91	c       160       352    339.86     57.93      5.87   1000000         0
1642.53/1643.14	c       138       351    328.85     56.68      5.80   1000000         0
1643.73/1644.37	c       174       345    331.73     51.78      6.41   1000000         0
1644.93/1645.59	c       159       334    326.98     57.15      5.72   1000000         0
1646.23/1646.82	c       156       292    324.58     56.92      5.70   1000000         0
1647.43/1648.05	c       185       400    330.85     53.05      6.24   1000000         0
1648.63/1649.28	c       155       204    326.02     55.01      5.93   1000000         0
1649.93/1650.51	c       194       365    334.59     61.24      5.46   1000000         0
1651.12/1651.73	c       182       331    320.98     52.70      6.09   1000000         0
1652.32/1652.96	c       184       320    334.67     64.96      5.15   1000000         0
1653.52/1654.19	c       183       348    319.35     53.48      5.97   1000000         0
1654.83/1655.42	c       182       270    320.69     52.59      6.10   1000000         0
1656.03/1656.65	c       158       342    328.02     57.74      5.68   1000000         0
1657.22/1657.87	c       133       314    326.54     60.13      5.43   1000000         0
1658.52/1659.10	c       170       256    332.98     55.13      6.04   1000000         0
1659.72/1660.33	c       186       338    329.29     52.87      6.23   1000000         0
1660.92/1661.56	c       158       387    325.63     50.58      6.44   1000000         0
1662.12/1662.79	c       161       297    326.50     53.45      6.11   1000000         0
1663.42/1664.02	c       169       350    333.63     62.86      5.31   1000000         0
1664.62/1665.25	c       157       371    327.60     54.18      6.05   1000000         0
1665.83/1666.48	c       164       414    331.14     55.89      5.92   1000000         0
1667.12/1667.71	c       174       354    334.18     57.27      5.84   1000000         0
1668.32/1668.94	c       161       300    323.51     59.90      5.40   1000000         0
1669.52/1670.17	c       145       379    325.73     51.27      6.35   1000000         0
1670.82/1671.40	c       162       377    315.82     52.86      5.97   1000000         0
1672.02/1672.62	c       171       267    329.03     51.21      6.43   1000000         0
1673.22/1673.85	c       166       335    324.48     59.14      5.49   1000000         0
1674.42/1675.08	c       164       274    324.19     53.14      6.10   1000000         0
1675.72/1676.31	c       183       300    332.87     54.42      6.12   1000000         0
1676.92/1677.54	c       199       332    342.20     61.81      5.54   1000000         0
1678.11/1678.77	c       173       417    330.90     53.16      6.22   1000000         0
1679.41/1680.00	c       195       342    341.73     51.60      6.62   1000000         0
1680.61/1681.23	c       178       407    330.22     62.03      5.32   1000000         0
1681.81/1682.46	c       147       327    322.77     55.76      5.79   1000000         0
1683.01/1683.69	c       184       334    323.17     55.07      5.87   1000000         0
1684.31/1684.92	c       144       278    329.29     55.33      5.95   1000000         0
1685.51/1686.15	c       183       373    333.23     52.23      6.38   1000000         0
1686.72/1687.37	c       157       301    326.36     56.94      5.73   1000000         0
1688.01/1688.60	c       195       337    337.90     52.87      6.39   1000000         0
1689.21/1689.83	c       176       324    321.36     54.50      5.90   1000000         0
1690.41/1691.06	c       183       326    326.75     61.38      5.32   1000000         0
1691.61/1692.29	c       180       351    334.86     55.04      6.08   1000000         0
1692.91/1693.52	c       180       264    336.30     63.88      5.26   1000000         0
1694.11/1694.75	c       175       393    329.39     59.28      5.56   1000000         0
1695.31/1695.98	c       158       288    333.29     49.93      6.68   1000000         0
1696.62/1697.21	c       158       342    322.70     57.96      5.57   1000000         0
1697.82/1698.43	c       158       344    321.13     53.03      6.06   1000000         0
1699.01/1699.67	c       166       265    326.69     59.91      5.45   1000000         0
1700.21/1700.89	c       168       346    325.45     50.81      6.40   1000000         0
1701.51/1702.12	c       187       389    329.86     50.28      6.56   1000000         0
1702.71/1703.35	c       157       314    333.39     55.38      6.02   1000000         0
1703.91/1704.58	c       173       335    323.86     58.49      5.54   1000000         0
1705.21/1705.81	c       159       221    332.16     60.24      5.51   1000000         0
1706.40/1707.03	c       156       327    330.37     51.34      6.43   1000000         0
1707.61/1708.26	c       182       239    335.34     52.41      6.40   1000000         0
1708.81/1709.49	c       167       323    322.19     60.69      5.31   1000000         0
1710.10/1710.71	c       152       357    328.44     61.46      5.34   1000000         0
1711.30/1711.94	c       153       291    328.51     55.43      5.93   1000000         0
1712.50/1713.17	c       170       283    337.04     54.09      6.23   1000000         0
1713.80/1714.41	c       150       244    323.18     64.02      5.05   1000000         0
1715.00/1715.64	c       162       337    330.06     56.59      5.83   1000000         0
1716.20/1716.86	c       194       363    332.60     56.10      5.93   1000000         0
1717.40/1718.09	c       183       289    340.86     60.61      5.62   1000000         0
1718.71/1719.32	c       169       294    329.29     54.64      6.03   1000000         0
1719.90/1720.55	c       173       316    330.59     60.64      5.45   1000000         0
1721.10/1721.78	c       145       346    328.17     57.96      5.66   1000000         0
1722.40/1723.01	c       184       301    336.57     62.27      5.40   1000000         0
1723.60/1724.24	c       169       371    330.56     55.04      6.01   1000000         0
1724.80/1725.47	c       147       399    326.73     66.25      4.93   1000000         0
1726.00/1726.69	c       163       260    321.04     53.02      6.05   1000000         0
1727.30/1727.92	c       162       283    324.20     50.45      6.43   1000000         0
1728.51/1729.15	c       184       334    325.61     50.60      6.44   1000000         0
1729.71/1730.37	c       176       276    317.41     56.42      5.63   1000000         0
1731.00/1731.60	c       184       307    331.67     56.02      5.92   1000000         0
1732.20/1732.82	c       165       297    322.17     57.83      5.57   1000000         0
1733.40/1734.05	c       182       290    331.36     58.61      5.65   1000000         0
1734.60/1735.28	c       180       258    323.83     51.93      6.24   1000000         0
1735.90/1736.51	c       172       322    326.95     50.30      6.50   1000000         0
1737.09/1737.74	c       151       327    324.44     57.36      5.66   1000000         0
1738.29/1738.97	c       159       402    337.04     58.82      5.73   1000000         0
1739.50/1740.19	c       164       387    332.83     54.17      6.14   1000000         0
1740.79/1741.42	c       180       517    334.60     51.77      6.46   1000000         0
1741.99/1742.65	c       142       311    330.49     56.94      5.80   1000000         0
1743.19/1743.89	c       173       271    333.42     56.67      5.88   1000000         0
1744.49/1745.11	c       165       256    327.77     59.09      5.55   1000000         0
1745.69/1746.34	c       181       295    336.09     59.07      5.69   1000000         0
1746.89/1747.57	c       162       289    334.53     56.97      5.87   1000000         0
1748.09/1748.80	c       166       295    334.13     55.04      6.07   1000000         0
1749.40/1750.02	c       180       258    322.55     55.41      5.82   1000000         0
1750.60/1751.25	c       179       265    344.14     56.16      6.13   1000000         0
1751.79/1752.48	c       156       363    322.98     49.80      6.48   1000000         0
1753.09/1753.71	c       179       369    325.44     51.72      6.29   1000000         0
1754.29/1754.94	c       181       316    320.52     54.75      5.85   1000000         0
1755.49/1756.16	c       175       313    333.47     61.29      5.44   1000000         0
1756.79/1757.40	c       168       266    331.28     68.98      4.80   1000000         0
1757.99/1758.63	c       156       329    329.47     60.77      5.42   1000000         0
1759.19/1759.85	c       158       327    326.84     57.89      5.65   1000000         0
1760.39/1761.08	c       161       346    327.55     59.47      5.51   1000000         0
1761.69/1762.31	c       159       298    332.45     62.60      5.31   1000000         0
1762.89/1763.54	c       168       336    334.28     57.68      5.80   1000000         0
1764.08/1764.77	c       162       315    327.58     54.87      5.97   1000000         0
1765.28/1765.99	c       155       285    324.92     55.45      5.86   1000000         0
1766.58/1767.23	c       172       349    342.00     63.39      5.40   1000000         0
1767.78/1768.46	c       177       318    324.52     58.00      5.60   1000000         0
1768.98/1769.69	c       180       444    338.10     59.12      5.72   1000000         0
1770.29/1770.92	c       171       328    329.78     59.76      5.52   1000000         0
1771.49/1772.15	c       141       370    324.24     55.47      5.85   1000000         0
1772.68/1773.38	c       120       357    319.04     66.47      4.80   1000000         0
1773.98/1774.61	c       172       262    330.56     57.32      5.77   1000000         0
1775.18/1775.84	c       157       402    336.54     61.32      5.49   1000000         0
1776.38/1777.07	c       163       330    331.44     55.19      6.01   1000000         0
1777.68/1778.30	c       168       258    333.72     59.47      5.61   1000000         0
1778.88/1779.53	c       164       315    324.85     55.87      5.81   1000000         0
1780.08/1780.76	c       184       294    332.73     56.56      5.88   1000000         0
1781.29/1781.99	c       155       386    326.14     56.56      5.77   1000000         0
1782.58/1783.22	c       191       329    331.98     54.02      6.15   1000000         0
1783.78/1784.45	c       178       367    324.62     60.02      5.41   1000000         0
1784.98/1785.68	c       167       326    336.58     57.74      5.83   1000000         0
1786.28/1786.91	c       153       248    325.57     63.09      5.16   1000000         0
1787.48/1788.14	c       178       323    328.60     57.73      5.69   1000000         0
1788.68/1789.36	c       160       316    335.25     61.05      5.49   1000000         0
1789.88/1790.59	c       191       271    337.35     62.71      5.38   1000000         0
1791.18/1791.83	c       163       301    323.86     55.45      5.84   1000000         0
1792.38/1793.06	c       172       339    329.41     60.22      5.47   1000000         0
1793.58/1794.29	c       137       252    330.48     59.51      5.55   1000000         0
1794.88/1795.52	c       175       308    334.68     53.17      6.29   1000000         0
1796.07/1796.75	c       169       279    334.01     53.62      6.23   1000000         0
1797.27/1797.98	c       144       285    326.19     55.39      5.89   1000000         0
1798.57/1799.21	c       181       339    324.92     57.74      5.63   1000000         0
1799.77/1800.44	c       188       359    332.82     51.39      6.48   1000000         0
1800.09/1800.71	HOME/run: line 2: 25472 Terminated              ./PB-wave < $1

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2685490-1278441430/watcher-2685490-1278441430 -o /tmp/evaluation-result-2685490-1278441430/solver-2685490-1278441430 -C 1800 -W 2000 -M 1800 run HOME/instance-2685490-1278441430.opb 

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


[startup+0 s]
/proc/loadavg: 1.15 1.03 1.01 3/106 25471
/proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0

[startup+0.086681 s]
/proc/loadavg: 1.15 1.03 1.01 3/106 25471
/proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100682 s]
/proc/loadavg: 1.15 1.03 1.01 3/106 25471
/proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300719 s]
/proc/loadavg: 1.15 1.03 1.01 3/106 25471
/proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700792 s]
/proc/loadavg: 1.15 1.03 1.01 3/106 25471
/proc/meminfo: memFree=1773416/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50094 s]
/proc/loadavg: 1.13 1.03 1.01 2/108 25473
/proc/meminfo: memFree=1768936/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1.48
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 148 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10123 s]
/proc/loadavg: 1.13 1.03 1.01 2/108 25473
/proc/meminfo: memFree=1768812/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=3.08
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 308 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30081 s]
/proc/loadavg: 1.13 1.03 1.01 2/108 25473
/proc/meminfo: memFree=1768688/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=6.28
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 628 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.701 s]
/proc/loadavg: 1.11 1.03 1.01 2/108 25473
/proc/meminfo: memFree=1768688/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=12.68
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 1268 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5003 s]
/proc/loadavg: 1.10 1.03 1.01 2/108 25473
/proc/meminfo: memFree=1768688/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=25.47
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 2547 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 49152

[startup+51.1009 s]
/proc/loadavg: 1.06 1.03 1.01 2/108 25475
/proc/meminfo: memFree=1768688/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=51.07
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 5107 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.06 1.03 1.01 2/108 25475
/proc/meminfo: memFree=1768564/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=102.26
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 10226 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/108 25477
/proc/meminfo: memFree=1768440/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=162.23
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 16223 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.12 1.06 1.01 2/108 25479
/proc/meminfo: memFree=1768440/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=222.21
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 22221 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.04 1.05 1.00 2/108 25481
/proc/meminfo: memFree=1768316/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=282.19
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 28219 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 25481
/proc/meminfo: memFree=1768316/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=342.16
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 34216 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526747 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 25483
/proc/meminfo: memFree=1768192/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=402.14
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 40214 0 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=25472] ppid=25471 vsize=40452 CPUtime=1121.91
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 112190 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25505
/proc/meminfo: memFree=1766828/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1181.89
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 118188 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25505
/proc/meminfo: memFree=1766580/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1241.86
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 124185 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25507
/proc/meminfo: memFree=1766332/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1301.85
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 130184 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25509
/proc/meminfo: memFree=1766208/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1361.82
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 136181 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25511
/proc/meminfo: memFree=1766084/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1421.81
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 142180 1 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25522
/proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1481.78
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 148176 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25522
/proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1541.76
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 154174 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25524
/proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1601.74
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 160172 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25526
/proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1661.72
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 166170 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25528
/proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1721.7
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 172168 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25530
/proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1781.68
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 178166 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25530
/proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1800.09
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 180007 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 49152

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25530
/proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956
[pid=25471] ppid=25469 vsize=8700 CPUtime=0
/proc/25471/stat : 25471 (run) S 25469 25471 24408 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12350259 8908800 243 1992294400 4194304 4922060 140735167582288 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25471/statm: 2175 243 204 178 0 68 0
[pid=25472] ppid=25471 vsize=40452 CPUtime=1800.09
/proc/25472/stat : 25472 (PB-wave) R 25471 25471 24408 0 -1 4202496 1146 0 0 0 180007 2 0 0 25 0 1 0 12350260 41422848 1076 1992294400 134512640 135071400 4288124320 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25472/statm: 10113 1076 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1800.07
CPU system time (s): 0.026995
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.3005 second user time and 8.26174 second system time

The end

Launcher Data

Begin job on node045 at 2010-07-06 20:37:11
IDJOB=2685490
IDBENCH=76121
IDSOLVER=1171
FILE ID=node045/2685490-1278441430
PBS_JOBID= 11233479
Free space on /tmp= 62524 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6022_1-sat.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685490-1278441430/watcher-2685490-1278441430 -o /tmp/evaluation-result-2685490-1278441430/solver-2685490-1278441430 -C 1800 -W 2000 -M 1800  run HOME/instance-2685490-1278441430.opb

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

MD5SUM BENCH= 58a6f6f1a22b15b5d795e2fa09f17734
RANDOM SEED=1959181555

node045.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1773936 kB
Buffers:         12108 kB
Cached:         138696 kB
SwapCached:          0 kB
Active:          75348 kB
Inactive:       135580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1773936 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1796 kB
Writeback:           0 kB
AnonPages:       60168 kB
Mapped:          14488 kB
Slab:            52408 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179468 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62524 MiB
End job on node045 at 2010-07-06 21:07:11