Trace number 2669890

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.11 1800.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
MD5SUMa985b0d4e6d576e8ad3098d78036fdc8
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.757884
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6832
Total number of constraints19477
Number of constraints which are clauses18953
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints524
Minimum length of a constraint1
Maximum length of a constraint11
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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.05	c PB-wave - v2
0.00/0.05	c command line = ./PB-wave
0.00/0.05	c seed = 2158926
0.00/0.05	c cutoff = 1000000
0.00/0.05	c tries = 1000000
0.00/0.05	c heuristic = c best, noise 50 / 100
0.00/0.05	#var 6832 #con 19477
0.00/0.05	mode is SAT
0.00/0.05	c tail starts after flip = 20496
0.00/0.05	c numatom = 6832, numclause = 19477, numliterals = 49519
0.00/0.05	c wff read in
0.00/0.05	c 
0.00/0.05	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.05	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.05	c       this      this      this      this      this      this   success   success       until         std
0.00/0.05	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.05	c
1.49/1.52	c       217       352    374.85     85.94      4.36   1000000         0
2.89/2.98	c       228       390    383.76    100.72      3.81   1000000         0
4.40/4.45	c       212       293    367.11     79.54      4.62   1000000         0
5.89/5.92	c       219       329    363.69     87.50      4.16   1000000         0
7.29/7.40	c       222       323    365.99     95.80      3.82   1000000         0
8.79/8.86	c       194       302    373.26     97.32      3.84   1000000         0
10.29/10.33	c       219       320    371.30     88.03      4.22   1000000         0
11.69/11.79	c       227       312    378.16     99.01      3.82   1000000         0
13.19/13.26	c       187       372    373.03     97.34      3.83   1000000         0
14.69/14.73	c       223       306    377.79     88.52      4.27   1000000         0
16.19/16.20	c       198       333    373.30    100.21      3.73   1000000         0
17.59/17.66	c       220       412    384.41     98.65      3.90   1000000         0
19.08/19.13	c       191       281    379.61     99.89      3.80   1000000         0
20.58/20.61	c       222       338    371.51     86.40      4.30   1000000         0
21.99/22.08	c       212       375    380.17    106.76      3.56   1000000         0
23.48/23.55	c       210       323    376.91     98.20      3.84   1000000         0
24.98/25.02	c       234       408    382.05     88.39      4.32   1000000         0
26.39/26.48	c       231       381    387.16     86.72      4.46   1000000         0
27.88/27.95	c       207       373    382.47    107.03      3.57   1000000         0
29.38/29.40	c       236       335    392.47    105.21      3.73   1000000         0
30.79/30.86	c       201       405    389.58    105.27      3.70   1000000         0
32.28/32.32	c       221       394    383.91     99.13      3.87   1000000         0
33.68/33.78	c       246       402    384.55     85.37      4.50   1000000         0
35.19/35.24	c       215       381    376.06     83.57      4.50   1000000         0
36.68/36.70	c       235       351    388.70     92.22      4.21   1000000         0
38.08/38.17	c       220       375    381.86    102.07      3.74   1000000         0
39.59/39.63	c       203       327    370.67     99.62      3.72   1000000         0
41.08/41.11	c       217       395    377.33     97.29      3.88   1000000         0
42.48/42.58	c       220       398    378.74     88.24      4.29   1000000         0
43.99/44.04	c       254       373    389.89     88.55      4.40   1000000         0
45.48/45.51	c       248       332    386.78     94.55      4.09   1000000         0
46.88/46.98	c       214       372    377.42     93.10      4.05   1000000         0
48.38/48.44	c       219       310    368.67     97.77      3.77   1000000         0
49.88/49.91	c       235       383    373.69     86.76      4.31   1000000         0
51.28/51.38	c       234       332    384.52    105.16      3.66   1000000         0
52.78/52.85	c       241       404    394.75     99.11      3.98   1000000         0
54.28/54.31	c       217       354    386.98     96.29      4.02   1000000         0
55.68/55.77	c       223       318    380.84     87.88      4.33   1000000         0
57.18/57.23	c       230       331    392.97     92.59      4.24   1000000         0
58.68/58.70	c       226       297    377.97     91.76      4.12   1000000         0
60.07/60.16	c       217       345    389.18     90.03      4.32   1000000         0
61.58/61.63	c       230       385    381.44     96.98      3.93   1000000         0
63.07/63.10	c       221       332    384.16     86.05      4.46   1000000         0
64.47/64.56	c       230       378    393.48    107.88      3.65   1000000         0
65.98/66.02	c       214       313    390.91     84.63      4.62   1000000         0
67.37/67.49	c       228       343    382.48    101.54      3.77   1000000         0
68.87/68.96	c       200       403    356.54     97.78      3.65   1000000         0
70.38/70.43	c       244       376    375.52     79.57      4.72   1000000         0
71.87/71.90	c       232       371    383.73     83.29      4.61   1000000         0
73.27/73.38	c       223       282    364.31     92.04      3.96   1000000         0
74.78/74.85	c       207       330    372.69    105.00      3.55   1000000         0
76.27/76.32	c       219       313    386.58     98.40      3.93   1000000         0
77.67/77.78	c       225       305    379.10     92.84      4.08   1000000         0
79.18/79.25	c       237       313    384.90    103.42      3.72   1000000         0
80.67/80.70	c       239       299    389.52     86.90      4.48   1000000         0
82.07/82.16	c       220       328    382.96     86.02      4.45   1000000         0
83.58/83.63	c       206       368    376.14     99.08      3.80   1000000         0
85.07/85.10	c       207       419    363.86    101.57      3.58   1000000         0
86.47/86.56	c       229       327    390.47     90.44      4.32   1000000         0
87.97/88.03	c       225       390    371.51     91.32      4.07   1000000         0
89.37/89.50	c       244       305    381.94     85.16      4.48   1000000         0
90.87/90.96	c       236       344    382.71     85.61      4.47   1000000         0
92.37/92.43	c       208       343    363.14     92.19      3.94   1000000         0
93.87/93.91	c       229       374    373.16     96.16      3.88   1000000         0
95.27/95.37	c       223       282    388.01     97.24      3.99   1000000         0
96.77/96.83	c       197       347    384.49     92.51      4.16   1000000         0
98.27/98.30	c       234       380    378.64     83.60      4.53   1000000         0
99.66/99.77	c       223       348    387.14    104.17      3.72   1000000         0
101.17/101.24	c       213       249    371.76    102.33      3.63   1000000         0
102.66/102.72	c       216       380    383.20    105.63      3.63   1000000         0
104.06/104.19	c       209       338    372.94     91.19      4.09   1000000         0
105.57/105.66	c       230       353    370.10     94.72      3.91   1000000         0
107.06/107.12	c       242       444    385.18     98.07      3.93   1000000         0
108.56/108.60	c       221       318    376.62     91.42      4.12   1000000         0
109.97/110.07	c       233       460    376.33     90.67      4.15   1000000         0
111.46/111.53	c       250       370    397.49     93.16      4.27   1000000         0
112.96/113.01	c       205       363    371.64     91.33      4.07   1000000         0
114.37/114.48	c       187       378    382.76     88.88      4.31   1000000         0
115.86/115.96	c       241       348    377.10     91.60      4.12   1000000         0
117.36/117.43	c       210       357    372.03     90.54      4.11   1000000         0
118.86/118.90	c       183       344    371.01    104.62      3.55   1000000         0
120.26/120.37	c       222       333    370.54     94.91      3.90   1000000         0
121.76/121.84	c       227       378    376.43     92.36      4.08   1000000         0
123.26/123.32	c       215       359    377.32    106.52      3.54   1000000         0
124.66/124.79	c       240       421    383.17     97.53      3.93   1000000         0
126.16/126.26	c       232       288    374.95     97.58      3.84   1000000         0
127.66/127.73	c       220       323    387.54     90.17      4.30   1000000         0
129.16/129.20	c       182       335    368.42     96.02      3.84   1000000         0
130.56/130.68	c       222       301    377.24     90.64      4.16   1000000         0
132.06/132.16	c       230       369    377.51     87.07      4.34   1000000         0
133.56/133.64	c       220       343    374.28     99.29      3.77   1000000         0
134.96/135.10	c       220       365    386.45     96.31      4.01   1000000         0
136.46/136.56	c       237       405    387.71     94.89      4.09   1000000         0
137.96/138.02	c       236       366    390.28    103.85      3.76   1000000         0
139.36/139.49	c       232       422    383.53     85.60      4.48   1000000         0
140.86/140.96	c       206       428    369.08     84.26      4.38   1000000         0
142.36/142.44	c       228       396    374.44    106.54      3.51   1000000         0
143.86/143.91	c       215       387    377.96     83.45      4.53   1000000         0
145.25/145.36	c       253       385    384.98     76.49      5.03   1000000         0
146.75/146.82	c       237       411    384.26    100.06      3.84   1000000         0
148.15/148.27	c       242       358    396.24     84.96      4.66   1000000         0
149.65/149.75	c       243       399    377.49    107.07      3.53   1000000         0
151.15/151.21	c       231       371    377.32     96.78      3.90   1000000         0
152.55/152.68	c       225       299    379.49    100.70      3.77   1000000         0
154.05/154.16	c       219       345    373.56     93.41      4.00   1000000         0
155.55/155.63	c       227       336    374.64    100.19      3.74   1000000         0
156.95/157.09	c       243       357    379.76     84.97      4.47   1000000         0
158.45/158.56	c       230       295    388.41     91.34      4.25   1000000         0
159.95/160.05	c       212       324    363.18     95.90      3.79   1000000         0
161.45/161.51	c       224       380    376.51     78.53      4.79   1000000         0
162.85/162.97	c       225       434    389.02    105.51      3.69   1000000         0
164.35/164.43	c       248       296    387.39     93.35      4.15   1000000         0
165.85/165.91	c       231       376    381.97     91.40      4.18   1000000         0
167.25/167.38	c       219       343    366.92     92.45      3.97   1000000         0
168.75/168.86	c       218       304    367.19     94.33      3.89   1000000         0
170.25/170.31	c       237       382    384.21     90.91      4.23   1000000         0
171.65/171.77	c       238       335    390.80     97.48      4.01   1000000         0
173.15/173.24	c       224       330    373.70     90.60      4.12   1000000         0
174.65/174.72	c       194       342    364.47     96.99      3.76   1000000         0
176.15/176.20	c       220       317    380.29     96.96      3.92   1000000         0
177.55/177.66	c       224       368    386.90     85.06      4.55   1000000         0
179.05/179.13	c       217       347    370.16     80.04      4.62   1000000         0
180.45/180.59	c       234       327    382.63     91.01      4.20   1000000         0
181.95/182.06	c       218       335    385.74     93.03      4.15   1000000         0
183.45/183.54	c       212       327    373.67     90.63      4.12   1000000         0
184.95/185.01	c       214       387    379.23     89.38      4.24   1000000         0
186.35/186.49	c       231       400    381.86    106.04      3.60   1000000         0
187.85/187.96	c       210       428    392.09     95.08      4.12   1000000         0
189.35/189.42	c       228       363    384.24     90.65      4.24   1000000         0
190.74/190.88	c       236       446    395.69     95.84      4.13   1000000         0
192.24/192.35	c       226       418    371.28    101.05      3.67   1000000         0
193.74/193.82	c       211       375    368.04     83.97      4.38   1000000         0
195.14/195.29	c       235       367    384.04    105.68      3.63   1000000         0
196.64/196.75	c       231       477    383.21     97.96      3.91   1000000         0
198.14/198.22	c       226       260    365.32     76.39      4.78   1000000         0
199.54/199.69	c       220       394    386.86     88.49      4.37   1000000         0
201.04/201.16	c       252       389    385.77     92.13      4.19   1000000         0
202.54/202.63	c       219       321    391.05     97.87      4.00   1000000         0
203.94/204.10	c       198       351    377.92    104.71      3.61   1000000         0
205.44/205.57	c       238       379    381.68     98.78      3.86   1000000         0
206.94/207.04	c       237       341    389.98    103.54      3.77   1000000         0
208.44/208.50	c       231       324    388.67     83.57      4.65   1000000         0
209.84/209.96	c       240       313    386.58     90.41      4.28   1000000         0
211.34/211.43	c       247       301    396.74     95.02      4.18   1000000         0
212.74/212.88	c       201       376    397.86     97.88      4.06   1000000         0
214.24/214.35	c       249       334    382.08     89.44      4.27   1000000         0
215.74/215.82	c       221       336    382.09     92.32      4.14   1000000         0
217.14/217.29	c       214       392    375.91    102.85      3.65   1000000         0
218.64/218.76	c       209       351    372.13    105.04      3.54   1000000         0
220.14/220.23	c       250       422    381.87     88.77      4.30   1000000         0
221.54/221.70	c       234       336    373.13     89.79      4.16   1000000         0
223.04/223.15	c       235       374    384.25     86.61      4.44   1000000         0
224.54/224.62	c       238       367    385.35     90.77      4.25   1000000         0
225.94/226.08	c       220       358    385.49    102.49      3.76   1000000         0
227.44/227.55	c       231       353    379.22     85.82      4.42   1000000         0
228.94/229.01	c       245       352    384.44     93.06      4.13   1000000         0
230.33/230.46	c       244       353    387.44     89.07      4.35   1000000         0
231.83/231.93	c       222       297    391.20     97.47      4.01   1000000         0
233.33/233.40	c       225       312    374.01     99.17      3.77   1000000         0
234.73/234.87	c       219       368    375.17    100.66      3.73   1000000         0
236.23/236.33	c       217       288    375.28     96.77      3.88   1000000         0
237.73/237.80	c       231       338    384.08     99.56      3.86   1000000         0
239.13/239.26	c       227       342    380.39     92.31      4.12   1000000         0
240.63/240.74	c       202       353    361.83     89.56      4.04   1000000         0
242.13/242.22	c       217       420    360.78     93.64      3.85   1000000         0
243.53/243.69	c       219       355    377.41    102.16      3.69   1000000         0
245.03/245.16	c       220       354    379.23    100.21      3.78   1000000         0
246.53/246.63	c       215       365    376.70     88.37      4.26   1000000         0
247.93/248.10	c       198       336    369.08    104.65      3.53   1000000         0
249.43/249.56	c       235       321    383.24     96.50      3.97   1000000         0
250.93/251.02	c       229       329    377.50     99.04      3.81   1000000         0
252.33/252.48	c       213       304    380.85     85.48      4.46   1000000         0
253.83/253.95	c       227       327    372.09     91.93      4.05   1000000         0
255.33/255.41	c       225       346    397.64     83.92      4.74   1000000         0
256.73/256.88	c       247       387    398.44     89.34      4.46   1000000         0
258.23/258.35	c       227       305    388.38     98.40      3.95   1000000         0
259.73/259.82	c       204       315    372.17     94.15      3.95   1000000         0
261.13/261.29	c       215       344    377.33    109.85      3.44   1000000         0
262.63/262.76	c       213       308    357.97     85.90      4.17   1000000         0
264.13/264.23	c       227       334    385.21    100.57      3.83   1000000         0
265.53/265.70	c       231       335    386.12     96.25      4.01   1000000         0
267.03/267.18	c       212       313    362.71     84.83      4.28   1000000         0
268.53/268.65	c       213       406    356.15     89.67      3.97   1000000         0
270.03/270.12	c       225       378    384.53     97.76      3.93   1000000         0
271.43/271.58	c       221       377    371.77     80.45      4.62   1000000         0
272.93/273.05	c       232       350    381.77     90.41      4.22   1000000         0
274.43/274.50	c       244       334    404.40     77.25      5.23   1000000         0
275.82/275.97	c       222       373    387.98    101.77      3.81   1000000         0
277.32/277.44	c       206       327    373.29    100.93      3.70   1000000         0
278.82/278.91	c       227       318    376.71     98.72      3.82   1000000         0
280.22/280.39	c       213       321    367.77    105.48      3.49   1000000         0
281.72/281.86	c       244       379    384.21     75.62      5.08   1000000         0
283.22/283.32	c       238       293    378.26     90.28      4.19   1000000         0
284.62/284.79	c       226       314    382.22     89.87      4.25   1000000         0
286.12/286.25	c       234       396    381.46     89.11      4.28   1000000         0
287.62/287.72	c       244       376    392.36     88.47      4.43   1000000         0
289.02/289.18	c       215       291    385.92     87.70      4.40   1000000         0
290.52/290.65	c       218       384    381.09     84.89      4.49   1000000         0
292.02/292.13	c       219       351    372.28     89.93      4.14   1000000         0
293.53/293.60	c       223       354    358.25     83.78      4.28   1000000         0
294.92/295.08	c       225       345    375.98     96.77      3.89   1000000         0
296.42/296.55	c       211       310    372.31     95.87      3.88   1000000         0
297.93/298.02	c       226       289    376.79     90.78      4.15   1000000         0
299.32/299.49	c       215       338    386.98    108.90      3.55   1000000         0
300.82/300.95	c       216       330    373.67     96.11      3.89   1000000         0
302.33/302.44	c       224       287    367.61     91.16      4.03   1000000         0
303.82/303.91	c       241       406    385.47     97.89      3.94   1000000         0
305.22/305.38	c       242       341    381.64     79.83      4.78   1000000         0
306.73/306.84	c       218       322    384.27     87.99      4.37   1000000         0
308.22/308.31	c       240       331    387.48     92.75      4.18   1000000         0
309.62/309.76	c       241       391    399.47     95.15      4.20   1000000         0
311.12/311.23	c       230       337    381.91     89.46      4.27   1000000         0
312.62/312.70	c       223       309    382.78    104.15      3.68   1000000         0
314.02/314.19	c       218       332    374.95     96.63      3.88   1000000         0
315.52/315.66	c       216       418    373.38     88.94      4.20   1000000         0
317.02/317.12	c       228       376    392.85     91.91      4.27   1000000         0
318.41/318.60	c       225       382    373.88     93.29      4.01   1000000         0
319.92/320.05	c       225       316    384.19     88.47      4.34   1000000         0
321.41/321.53	c       211       341    374.85     88.15      4.25   1000000         0
322.81/323.00	c       213       375    373.86     90.66      4.12   1000000         0
324.32/324.46	c       240       322    376.46     80.11      4.70   1000000         0
325.81/325.94	c       237       406    372.96     94.18      3.96   1000000         0
327.31/327.41	c       198       348    377.59     98.05      3.85   1000000         0
328.72/328.89	c       218       351    372.80    100.61      3.71   1000000         0
330.21/330.36	c       246       336    383.74     95.44      4.02   1000000         0
331.71/331.83	c       214       362    368.08     86.59      4.25   1000000         0
333.12/333.30	c       209       376    373.93     88.15      4.24   1000000         0
334.61/334.76	c       226       416    381.56     92.16      4.14   1000000         0
336.11/336.22	c       218       267    374.18     96.06      3.90   1000000         0
337.52/337.69	c       219       365    378.66     95.66      3.96   1000000         0
339.01/339.17	c       235       355    386.45     84.87      4.55   1000000         0
340.51/340.63	c       220       369    375.81    100.39      3.74   1000000         0
341.92/342.10	c       238       345    380.99     78.52      4.85   1000000         0
343.41/343.58	c       205       353    368.18    100.05      3.68   1000000         0
344.91/345.05	c       233       312    380.73     91.71      4.15   1000000         0
346.42/346.52	c       230       344    373.92     91.16      4.10   1000000         0
347.81/347.98	c       204       308    378.06    101.41      3.73   1000000         0
349.31/349.44	c       225       433    369.82     90.18      4.10   1000000         0
350.81/350.92	c       219       377    372.50     95.49      3.90   1000000         0
352.21/352.39	c       246       341    384.69     89.58      4.29   1000000         0
353.71/353.85	c       239       342    382.99     99.48      3.85   1000000         0
355.21/355.32	c       231       425    395.74    108.14      3.66   1000000         0
356.61/356.78	c       211       337    376.18     90.93      4.14   1000000         0
358.11/358.25	c       212       319    360.99     86.23      4.19   1000000         0
359.61/359.71	c       242       336    377.98     84.71      4.46   1000000         0
361.00/361.18	c       216       387    379.76     94.26      4.03   1000000         0
362.50/362.63	c       234       336    404.37     99.22      4.08   1000000         0
363.91/364.09	c       211       367    390.27     99.35      3.93   1000000         0
365.40/365.56	c       242       307    376.16     90.44      4.16   1000000         0
366.90/367.02	c       209       395    364.82     79.07      4.61   1000000         0
368.31/368.48	c       237       412    389.51     87.22      4.47   1000000         0
369.80/369.96	c       215       340    376.86     87.85      4.29   1000000         0
371.30/371.43	c       232       346    386.32     98.79      3.91   1000000         0
372.71/372.90	c       243       349    388.53     88.20      4.41   1000000         0
374.20/374.36	c       216       446    385.67     83.98      4.59   1000000         0
375.70/375.82	c       214       354    376.45     95.80      3.93   1000000         0
377.11/377.29	c       229       297    374.67     88.50      4.23   1000000         0
378.60/378.77	c       231       324    378.59     93.57      4.05   1000000         0
380.10/380.25	c       219       314    369.31     96.79      3.82   1000000         0
381.61/381.73	c       191       375    367.21     96.35      3.81   1000000         0
383.00/383.19	c       210       348    391.41     94.83      4.13   1000000         0
384.50/384.66	c       213       271    371.28     98.28      3.78   1000000         0
386.01/386.13	c       238       371    374.98     85.64      4.38   1000000         0
387.50/387.60	c       210       346    375.44     97.80      3.84   1000000         0
388.90/389.07	c       215       360    369.00     85.74      4.30   1000000         0
390.41/390.55	c       228       335    378.18     95.59      3.96   1000000         0
391.90/392.02	c       244       308    389.31     91.32      4.26   1000000         0
393.30/393.49	c       185       333    369.34    103.51      3.57   1000000         0
394.80/394.96	c       231       342    373.34     90.55      4.12   1000000         0
396.30/396.42	c       220       335    375.26     85.20      4.40   1000000         0
397.70/397.88	c       248       495    395.05     79.24      4.99   1000000         0
399.20/399.34	c       226       416    390.31     87.10      4.48   1000000         0
400.70/400.81	c       225       410    374.64     90.86      4.12   1000000         0
402.10/402.29	c       195       340    378.53     89.91      4.21   1000000         0
403.60/403.77	c       208       357    370.52    103.59      3.58   1000000         0
405.09/405.24	c       228       333    376.43    102.64      3.67   1000000         0
406.59/406.70	c       202       327    386.50     89.75      4.31   1000000         0
408.00/408.18	c       230       347    375.51     91.38      4.11   1000000         0
409.49/409.64	c       238       326    389.53     89.87      4.33   1000000         0
410.99/411.12	c       216       377    370.39     82.32      4.50   1000000         0
412.49/412.60	c       196       338    376.34     89.55      4.20   1000000         0
413.89/414.07	c       217       300    377.53     96.38      3.92   1000000         0
415.39/415.53	c       209       377    392.48     89.77      4.37   1000000         0
416.89/417.00	c       207       401    375.19    104.42      3.59   1000000         0
418.29/418.48	c       247       375    375.81     85.35      4.40   1000000         0
419.79/419.96	c       240       379    371.45     79.45      4.68   1000000         0
421.29/421.43	c       223       359    374.72     96.74      3.87   1000000         0
422.69/422.88	c       227       347    384.55    102.74      3.74   1000000         0
424.19/424.36	c       199       279    378.03    104.06      3.63   1000000         0
425.69/425.82	c       232       308    379.54     92.71      4.09   1000000         0
427.09/427.28	c       230       351    385.23     93.99      4.10   1000000         0
428.59/428.76	c       231       347    376.40    102.74      3.66   1000000         0
430.09/430.23	c       220       348    375.20     83.88      4.47   1000000         0
431.59/431.71	c       213       291    369.02     97.22      3.80   1000000         0
432.99/433.18	c       231       314    393.94     97.20      4.05   1000000         0
434.49/434.66	c       202       302    372.51    103.26      3.61   1000000         0
435.99/436.13	c       206       368    380.18     89.51      4.25   1000000         0
437.49/437.61	c       225       306    379.20     92.87      4.08   1000000         0
438.89/439.07	c       208       331    379.59     98.16      3.87   1000000         0
440.39/440.53	c       219       348    382.14     90.05      4.24   1000000         0
441.89/442.00	c       210       404    376.53     85.92      4.38   1000000         0
443.29/443.47	c       223       351    375.76    102.31      3.67   1000000         0
444.79/444.94	c       231       299    376.36     97.93      3.84   1000000         0
446.28/446.41	c       215       404    377.75     96.76      3.90   1000000         0
447.68/447.89	c       220       364    377.68     89.28      4.23   1000000         0
449.18/449.35	c       235       299    392.38     95.10      4.13   1000000         0
450.68/450.81	c       249       432    395.07     90.93      4.34   1000000         0
452.08/452.27	c       231       365    376.86     96.47      3.91   1000000         0
453.58/453.74	c       231       400    384.89     94.01      4.09   1000000         0
455.08/455.20	c       244       359    380.95     82.44      4.62   1000000         0
456.48/456.66	c       236       374    379.24     81.65      4.64   1000000         0
457.98/458.14	c       227       310    370.07     99.97      3.70   1000000         0
459.48/459.61	c       220       326    367.07     90.87      4.04   1000000         0
460.88/461.08	c       225       375    374.53    102.05      3.67   1000000         0
462.38/462.55	c       236       285    388.12     98.21      3.95   1000000         0
463.88/464.01	c       245       333    385.45     87.18      4.42   1000000         0
465.28/465.48	c       218       333    382.05     94.13      4.06   1000000         0
466.78/466.94	c       218       295    374.43    104.21      3.59   1000000         0
468.28/468.41	c       234       299    380.59     99.56      3.82   1000000         0
469.68/469.87	c       206       360    386.63     92.67      4.17   1000000         0
471.18/471.35	c       206       328    373.71     95.82      3.90   1000000         0
472.68/472.81	c       209       369    381.97     94.65      4.04   1000000         0
474.08/474.27	c       186       267    381.62     79.85      4.78   1000000         0
475.58/475.73	c       220       329    384.64     97.29      3.95   1000000         0
476.98/477.19	c       220       279    369.05     90.30      4.09   1000000         0
478.48/478.67	c       225       386    370.86     90.50      4.10   1000000         0
479.98/480.14	c       225       390    368.69     95.26      3.87   1000000         0
481.48/481.61	c       228       330    374.66    108.40      3.46   1000000         0
482.88/483.06	c       221       359    385.79     98.87      3.90   1000000         0
484.38/484.54	c       222       329    362.34     84.14      4.31   1000000         0
485.88/486.00	c       216       337    393.85    104.33      3.78   1000000         0
487.28/487.46	c       219       283    391.97     97.53      4.02   1000000         0
488.78/488.94	c       217       375    363.27     97.52      3.73   1000000         0
490.27/490.40	c       213       369    396.16     87.70      4.52   1000000         0
491.67/491.86	c       216       374    383.88     87.55      4.38   1000000         0
493.17/493.34	c       222       331    365.95     96.04      3.81   1000000         0
494.67/494.82	c       207       360    375.01     92.78      4.04   1000000         0
496.07/496.29	c       237       333    388.03     99.28      3.91   1000000         0
497.57/497.76	c       220       338    378.25    106.09      3.57   1000000         0
499.07/499.21	c       237       276    389.88     91.62      4.26   1000000         0
500.57/500.70	c       214       318    372.18     94.04      3.96   1000000         0
501.97/502.16	c       232       380    394.15     93.10      4.23   1000000         0
503.47/503.63	c       222       377    389.48    102.15      3.81   1000000         0
504.87/505.09	c       218       324    377.35     88.86      4.25   1000000         0
506.37/506.57	c       222       322    368.90     87.57      4.21   1000000         0
507.87/508.04	c       211       355    373.29     93.98      3.97   1000000         0
509.37/509.51	c       215       373    385.33     99.73      3.86   1000000         0
510.77/510.99	c       218       338    368.81    102.29      3.61   1000000         0
512.27/512.46	c       202       353    377.43     99.49      3.79   1000000         0
513.77/513.93	c       213       333    369.37     85.48      4.32   1000000         0
515.17/515.39	c       202       442    387.32    104.42      3.71   1000000         0
516.67/516.85	c       216       370    372.40     92.91      4.01   1000000         0
518.17/518.33	c       222       265    362.37     89.62      4.04   1000000         0
519.67/519.80	c       229       333    380.02     95.11      4.00   1000000         0
521.07/521.27	c       230       330    376.72    100.42      3.75   1000000         0
522.57/522.73	c       230       393    379.72     80.95      4.69   1000000         0
524.07/524.20	c       191       274    369.00     86.09      4.29   1000000         0
525.47/525.67	c       227       381    379.72     97.11      3.91   1000000         0
526.97/527.14	c       245       285    387.49     84.72      4.57   1000000         0
528.47/528.61	c       227       407    378.03    100.11      3.78   1000000         0
529.87/530.09	c       224       296    380.76     99.08      3.84   1000000         0
531.37/531.55	c       244       382    379.83     83.79      4.53   1000000         0
532.86/533.02	c       226       355    372.28    107.38      3.47   1000000         0
534.27/534.49	c       213       284    370.80     91.15      4.07   1000000         0
535.77/535.95	c       219       343    384.44     93.07      4.13   1000000         0
537.27/537.42	c       210       355    372.45     92.71      4.02   1000000         0
538.67/538.88	c       211       246    372.84     97.85      3.81   1000000         0
540.17/540.34	c       232       352    376.87     85.84      4.39   1000000         0
541.67/541.81	c       219       417    379.17     93.08      4.07   1000000         0
543.07/543.27	c       227       293    380.81    102.42      3.72   1000000         0
544.57/544.74	c       214       330    373.72     88.19      4.24   1000000         0
546.07/546.20	c       225       440    387.72     94.69      4.09   1000000         0
547.47/547.66	c       221       341    381.53     92.49      4.13   1000000         0
548.97/549.13	c       208       317    375.77     95.97      3.92   1000000         0
550.47/550.60	c       215       315    373.43    102.16      3.66   1000000         0
551.87/552.07	c       216       373    384.06     96.16      3.99   1000000         0
553.37/553.54	c       191       312    383.93     98.22      3.91   1000000         0
554.87/555.01	c       223       308    373.62     89.45      4.18   1000000         0
556.27/556.47	c       212       403    378.47     80.90      4.68   1000000         0
557.77/557.93	c       211       346    403.82    103.77      3.89   1000000         0
559.17/559.39	c       232       306    394.90     94.91      4.16   1000000         0
560.67/560.85	c       213       357    382.02     92.99      4.11   1000000         0
562.17/562.31	c       239       329    382.51     94.38      4.05   1000000         0
563.57/563.78	c       223       342    377.01     91.39      4.13   1000000         0
565.07/565.26	c       218       366    378.01    101.58      3.72   1000000         0
566.57/566.72	c       224       350    377.92     90.66      4.17   1000000         0
567.97/568.19	c       233       366    380.73    100.12      3.80   1000000         0
569.47/569.64	c       242       329    380.82     82.03      4.64   1000000         0
570.97/571.11	c       226       325    380.08     86.87      4.38   1000000         0
572.37/572.58	c       220       324    379.23    110.08      3.45   1000000         0
573.87/574.04	c       241       305    384.98     88.76      4.34   1000000         0
575.36/575.52	c       217       337    373.64     96.67      3.87   1000000         0
576.86/577.00	c       234       356    381.78     98.26      3.89   1000000         0
578.26/578.47	c       218       395    380.88     90.30      4.22   1000000         0
579.76/579.92	c       220       338    378.30     81.63      4.63   1000000         0
581.16/581.39	c       209       322    368.23     96.30      3.82   1000000         0
582.66/582.86	c       223       441    391.91     81.34      4.82   1000000         0
584.16/584.34	c       227       346    376.25     96.16      3.91   1000000         0
585.66/585.82	c       221       357    370.33     91.81      4.03   1000000         0
587.17/587.30	c       201       370    361.82     93.06      3.89   1000000         0
588.56/588.77	c       196       300    375.38     84.63      4.44   1000000         0
590.06/590.25	c       207       340    377.63    101.12      3.73   1000000         0
591.57/591.73	c       206       376    360.78     82.59      4.37   1000000         0
592.96/593.18	c       221       345    385.01     95.84      4.02   1000000         0
594.46/594.65	c       248       277    376.04     76.95      4.89   1000000         0
595.97/596.11	c       221       333    388.21     98.92      3.92   1000000         0
597.36/597.58	c       228       403    377.54     95.03      3.97   1000000         0
598.86/599.05	c       232       351    394.58    105.72      3.73   1000000         0
600.36/600.53	c       218       379    378.42     91.96      4.12   1000000         0
601.76/602.00	c       221       371    370.91     92.83      4.00   1000000         0
603.26/603.46	c       245       346    395.05     86.46      4.57   1000000         0
604.77/604.93	c       234       380    383.41     93.99      4.08   1000000         0
606.26/606.40	c       225       326    371.90     91.00      4.09   1000000         0
607.66/607.87	c       207       309    376.87    105.79      3.56   1000000         0
609.16/609.35	c       223       290    368.78     88.98      4.14   1000000         0
610.66/610.83	c       216       376    373.02     96.99      3.85   1000000         0
612.06/612.29	c       227       404    387.39     85.07      4.55   1000000         0
613.56/613.74	c       245       406    383.17     90.19      4.25   1000000         0
615.05/615.22	c       198       334    362.88     98.19      3.70   1000000         0
616.55/616.70	c       225       358    367.96     86.69      4.24   1000000         0
617.96/618.17	c       219       385    371.17     84.75      4.38   1000000         0
619.45/619.64	c       210       339    384.14     89.79      4.28   1000000         0
620.95/621.12	c       213       316    373.53     96.57      3.87   1000000         0
622.36/622.58	c       230       305    395.18     99.85      3.96   1000000         0
623.85/624.05	c       195       346    374.85    107.67      3.48   1000000         0
625.35/625.51	c       229       331    380.36     99.96      3.81   1000000         0
626.76/626.97	c       212       340    386.74     88.56      4.37   1000000         0
628.25/628.43	c       229       317    390.33     95.18      4.10   1000000         0
629.75/629.90	c       223       328    374.95     97.61      3.84   1000000         0
631.16/631.38	c       240       383    387.14     99.40      3.89   1000000         0
632.65/632.84	c       220       287    375.92     83.95      4.48   1000000         0
634.15/634.31	c       207       354    380.09    102.25      3.72   1000000         0
635.56/635.77	c       225       373    390.50     98.64      3.96   1000000         0
637.05/637.24	c       216       330    380.17    103.63      3.67   1000000         0
638.55/638.72	c       193       317    375.03     92.20      4.07   1000000         0
639.96/640.18	c       181       310    372.95     94.09      3.96   1000000         0
641.45/641.64	c       217       317    384.82    102.94      3.74   1000000         0
642.95/643.12	c       217       348    373.92     88.12      4.24   1000000         0
644.36/644.58	c       227       375    370.96     82.58      4.49   1000000         0
645.85/646.04	c       247       295    395.51     91.32      4.33   1000000         0
647.35/647.51	c       210       404    391.59     88.19      4.44   1000000         0
648.75/648.98	c       218       384    370.06     95.06      3.89   1000000         0
650.25/650.45	c       244       360    390.96     98.04      3.99   1000000         0
651.74/651.92	c       240       383    378.93     96.46      3.93   1000000         0
653.15/653.38	c       200       348    375.62    103.88      3.62   1000000         0
654.64/654.85	c       209       382    385.51     95.41      4.04   1000000         0
656.14/656.34	c       224       354    375.20    101.00      3.71   1000000         0
657.65/657.82	c       181       288    367.70    101.51      3.62   1000000         0
659.04/659.28	c       225       278    371.35     90.77      4.09   1000000         0
660.54/660.75	c       227       383    389.93    100.60      3.88   1000000         0
662.05/662.23	c       210       434    372.16     93.68      3.97   1000000         0
663.44/663.69	c       203       315    395.32     93.06      4.25   1000000         0
664.94/665.16	c       212       300    382.85    108.15      3.54   1000000         0
666.45/666.62	c       238       342    391.09     81.53      4.80   1000000         0
667.84/668.10	c       184       365    363.55    103.31      3.52   1000000         0
669.34/669.56	c       223       292    364.23     91.76      3.97   1000000         0
670.85/671.04	c       210       297    371.89     98.63      3.77   1000000         0
672.34/672.50	c       231       338    394.37     95.25      4.14   1000000         0
673.74/673.96	c       221       299    385.27     96.26      4.00   1000000         0
675.25/675.44	c       217       343    365.20     94.00      3.89   1000000         0
676.74/676.90	c       231       351    380.97     84.53      4.51   1000000         0
678.14/678.36	c       232       380    389.90     90.80      4.29   1000000         0
679.65/679.83	c       240       361    386.93     96.40      4.01   1000000         0
681.04/681.28	c       239       432    395.27    103.97      3.80   1000000         0
682.54/682.75	c       245       345    389.41     94.26      4.13   1000000         0
684.05/684.21	c       232       399    384.63     85.37      4.51   1000000         0
685.44/685.68	c       226       331    377.64     95.55      3.95   1000000         0
686.94/687.15	c       228       339    373.19     87.58      4.26   1000000         0
688.44/688.62	c       246       305    380.97     89.08      4.28   1000000         0
689.84/690.09	c       238       369    372.92     95.79      3.89   1000000         0
691.34/691.56	c       212       329    356.31     83.79      4.25   1000000         0
692.84/693.03	c       221       320    371.57     81.08      4.58   1000000         0
694.34/694.50	c       229       332    376.09     94.95      3.96   1000000         0
695.74/695.96	c       228       286    375.74     95.12      3.95   1000000         0
697.24/697.43	c       220       326    369.49     93.08      3.97   1000000         0
698.63/698.89	c       235       362    381.00     92.76      4.11   1000000         0
700.13/700.35	c       232       345    393.48     96.42      4.08   1000000         0
701.64/701.81	c       186       368    388.10     98.99      3.92   1000000         0
703.03/703.29	c       219       313    370.97     82.02      4.52   1000000         0
704.53/704.75	c       209       343    388.07     95.19      4.08   1000000         0
706.04/706.22	c       219       319    366.47     83.03      4.41   1000000         0
707.43/707.69	c       228       385    375.82     93.68      4.01   1000000         0
708.93/709.16	c       220       301    375.75    104.95      3.58   1000000         0
710.44/710.63	c       235       328    389.82     96.27      4.05   1000000         0
711.83/712.08	c       233       329    388.96     93.91      4.14   1000000         0
713.33/713.54	c       236       329    381.03     81.60      4.67   1000000         0
714.84/715.01	c       214       330    363.91    106.61      3.41   1000000         0
716.23/716.49	c       223       404    390.22     94.19      4.14   1000000         0
717.73/717.96	c       218       298    368.53     89.72      4.11   1000000         0
719.24/719.42	c       220       322    385.52    101.23      3.81   1000000         0
720.63/720.89	c       226       319    372.41    100.65      3.70   1000000         0
722.13/722.35	c       237       393    389.13     83.70      4.65   1000000         0
723.64/723.81	c       212       328    369.90     86.98      4.25   1000000         0
725.03/725.29	c       226       360    372.67     93.16      4.00   1000000         0
726.53/726.77	c       225       377    362.88     89.36      4.06   1000000         0
728.04/728.25	c       234       377    372.00     93.33      3.99   1000000         0
729.53/729.72	c       208       382    365.80     94.52      3.87   1000000         0
730.93/731.19	c       235       417    395.82     88.51      4.47   1000000         0
732.43/732.66	c       227       393    380.37     97.43      3.90   1000000         0
733.93/734.11	c       247       352    386.89     88.26      4.38   1000000         0
735.33/735.59	c       248       357    387.94     95.84      4.05   1000000         0
736.83/737.07	c       215       342    359.46     94.19      3.82   1000000         0
738.33/738.55	c       216       352    374.78     96.10      3.90   1000000         0
739.83/740.02	c       226       376    376.86     87.77      4.29   1000000         0
741.23/741.48	c       222       371    384.58     97.01      3.96   1000000         0
742.73/742.95	c       244       297    381.88     93.00      4.11   1000000         0
744.22/744.43	c       224       337    377.27     94.33      4.00   1000000         0
745.63/745.89	c       250       279    387.30     94.48      4.10   1000000         0
747.12/747.36	c       243       344    391.49    102.00      3.84   1000000         0
748.62/748.83	c       234       376    369.40     80.93      4.56   1000000         0
750.12/750.30	c       218       303    382.26     96.25      3.97   1000000         0
751.52/751.76	c       205       315    385.65    105.27      3.66   1000000         0
753.02/753.23	c       240       372    395.83    107.68      3.68   1000000         0
754.52/754.70	c       214       320    375.08     93.76      4.00   1000000         0
755.92/756.16	c       241       365    380.13     75.42      5.04   1000000         0
757.42/757.62	c       220       313    388.69     91.96      4.23   1000000         0
758.83/759.08	c       238       322    390.50    102.52      3.81   1000000         0
760.32/760.54	c       214       287    374.25     99.67      3.75   1000000         0
761.82/762.01	c       239       413    383.47     82.76      4.63   1000000         0
763.23/763.49	c       225       379    383.17     85.75      4.47   1000000         0
764.72/764.96	c       217       354    375.90     97.77      3.84   1000000         0
766.22/766.43	c       210       321    380.14     93.89      4.05   1000000         0
767.72/767.90	c       203       435    395.37     93.48      4.23   1000000         0
769.12/769.36	c       244       354    390.41     94.47      4.13   1000000         0
770.62/770.83	c       223       281    360.05     95.34      3.78   1000000         0
772.12/772.30	c       238       340    378.23     97.59      3.88   1000000         0
773.52/773.76	c       240       335    389.36     98.00      3.97   1000000         0
775.02/775.21	c       227       281    386.90     88.87      4.35   1000000         0
776.42/776.68	c       232       398    373.25     86.27      4.33   1000000         0
777.92/778.14	c       216       399    388.19    103.19      3.76   1000000         0
779.42/779.61	c       233       339    378.72     91.28      4.15   1000000         0
780.82/781.07	c       226       366    373.98     97.39      3.84   1000000         0
782.32/782.53	c       235       355    380.00    100.29      3.79   1000000         0
783.71/783.99	c       226       304    385.88     90.63      4.26   1000000         0
785.22/785.47	c       232       339    356.64     90.13      3.96   1000000         0
786.71/786.95	c       227       302    380.13    106.21      3.58   1000000         0
788.21/788.42	c       217       389    365.63     86.73      4.22   1000000         0
789.62/789.88	c       220       358    384.07     90.69      4.23   1000000         0
791.11/791.33	c       250       393    393.63     93.89      4.19   1000000         0
792.51/792.79	c       209       416    378.52     86.79      4.36   1000000         0
794.02/794.26	c       225       367    365.55    102.36      3.57   1000000         0
795.51/795.73	c       187       340    371.88     97.51      3.81   1000000         0
797.01/797.20	c       212       415    376.17     86.14      4.37   1000000         0
798.42/798.67	c       216       321    378.74     97.01      3.90   1000000         0
799.91/800.13	c       241       325    386.93     83.38      4.64   1000000         0
801.41/801.60	c       241       285    378.17     82.12      4.61   1000000         0
802.82/803.07	c       229       323    389.59     96.10      4.05   1000000         0
804.31/804.54	c       236       360    386.69     94.86      4.08   1000000         0
805.81/806.01	c       215       335    373.93     82.73      4.52   1000000         0
807.22/807.48	c       231       373    370.85     96.98      3.82   1000000         0
808.71/808.95	c       213       402    374.85     88.64      4.23   1000000         0
810.21/810.42	c       229       350    380.34     94.04      4.04   1000000         0
811.62/811.89	c       227       380    377.52     95.22      3.96   1000000         0
813.11/813.35	c       231       368    380.16    105.07      3.62   1000000         0
814.61/814.82	c       245       360    384.56     95.22      4.04   1000000         0
816.01/816.28	c       217       341    386.64     88.11      4.39   1000000         0
817.51/817.76	c       227       321    390.91    115.28      3.39   1000000         0
819.01/819.24	c       239       394    381.44     95.32      4.00   1000000         0
820.51/820.71	c       214       321    368.20     96.83      3.80   1000000         0
821.91/822.19	c       212       350    370.13     82.89      4.47   1000000         0
823.41/823.67	c       231       379    375.09    100.36      3.74   1000000         0
824.91/825.14	c       226       328    378.46     92.73      4.08   1000000         0
826.41/826.62	c       223       363    365.17    105.31      3.47   1000000         0
827.81/828.07	c       243       327    397.00     99.07      4.01   1000000         0
829.30/829.54	c       232       347    396.44     96.39      4.11   1000000         0
830.80/831.01	c       237       368    383.35     83.36      4.60   1000000         0
832.20/832.47	c       231       326    382.38    100.49      3.81   1000000         0
833.70/833.95	c       223       369    377.05     89.96      4.19   1000000         0
835.20/835.41	c       231       308    381.89     93.56      4.08   1000000         0
836.60/836.88	c       208       373    384.91     98.45      3.91   1000000         0
838.10/838.35	c       236       275    388.43     80.68      4.81   1000000         0
839.60/839.81	c       240       384    394.07     99.73      3.95   1000000         0
841.00/841.26	c       238       309    396.01     96.33      4.11   1000000         0
842.50/842.73	c       221       346    371.60     89.15      4.17   1000000         0
844.00/844.20	c       230       412    366.96     88.88      4.13   1000000         0
845.40/845.67	c       194       384    366.99     92.91      3.95   1000000         0
846.90/847.13	c       239       367    389.27    101.85      3.82   1000000         0
848.40/848.61	c       238       380    383.98     96.09      4.00   1000000         0
849.80/850.09	c       233       351    376.99     82.51      4.57   1000000         0
851.30/851.56	c       210       355    381.46    104.41      3.65   1000000         0
852.80/853.03	c       231       392    365.86     75.89      4.82   1000000         0
854.30/854.50	c       218       300    376.18     78.16      4.81   1000000         0
855.70/855.97	c       232       327    368.68     88.65      4.16   1000000         0
857.20/857.45	c       247       345    377.53     92.36      4.09   1000000         0
858.70/858.91	c       235       276    387.75     97.37      3.98   1000000         0
860.10/860.37	c       209       342    384.20    104.86      3.66   1000000         0
861.60/861.84	c       239       394    384.62     92.12      4.17   1000000         0
863.10/863.30	c       218       336    388.83    101.67      3.82   1000000         0
864.50/864.78	c       220       426    370.10    100.65      3.68   1000000         0
866.00/866.25	c       215       359    377.39     86.18      4.38   1000000         0
867.50/867.71	c       265       344    392.41     84.97      4.62   1000000         0
868.90/869.17	c       223       303    392.79     99.27      3.96   1000000         0
870.40/870.64	c       228       388    372.91     90.40      4.13   1000000         0
871.89/872.10	c       231       369    383.24     85.93      4.46   1000000         0
873.29/873.56	c       227       353    380.35     94.18      4.04   1000000         0
874.79/875.04	c       214       276    382.59    104.10      3.68   1000000         0
876.29/876.51	c       226       359    379.98     92.35      4.11   1000000         0
877.69/877.98	c       216       314    378.56    100.98      3.75   1000000         0
879.19/879.46	c       241       320    369.43     89.32      4.14   1000000         0
880.69/880.93	c       207       342    374.09    104.36      3.58   1000000         0
882.19/882.40	c       236       305    382.73     89.91      4.26   1000000         0
883.59/883.87	c       233       365    371.59     97.31      3.82   1000000         0
885.09/885.34	c       232       339    378.40     92.81      4.08   1000000         0
886.59/886.81	c       208       303    372.89     96.35      3.87   1000000         0
887.99/888.28	c       246       344    380.24     92.66      4.10   1000000         0
889.49/889.74	c       220       371    379.83     92.71      4.10   1000000         0
890.99/891.22	c       221       373    374.47     93.91      3.99   1000000         0
892.39/892.68	c       213       240    391.50    101.05      3.87   1000000         0
893.89/894.14	c       248       328    402.73     85.84      4.69   1000000         0
895.39/895.62	c       225       271    375.16     98.97      3.79   1000000         0
896.89/897.10	c       226       322    383.80     93.04      4.13   1000000         0
898.29/898.57	c       209       369    367.24     93.67      3.92   1000000         0
899.79/900.06	c       222       417    377.25    110.73      3.41   1000000         0
901.29/901.52	c       232       390    388.02    104.36      3.72   1000000         0
902.69/902.99	c       201       334    365.05    101.17      3.61   1000000         0
904.19/904.47	c       228       391    373.63     88.26      4.23   1000000         0
905.69/905.95	c       227       341    381.00     99.45      3.83   1000000         0
907.19/907.43	c       209       293    363.20     99.61      3.65   1000000         0
908.69/908.90	c       225       358    371.66     96.81      3.84   1000000         0
910.09/910.36	c       226       326    384.66     98.40      3.91   1000000         0
911.59/911.81	c       239       358    403.49     89.67      4.50   1000000         0
912.99/913.28	c       219       361    372.00     91.93      4.05   1000000         0
914.48/914.76	c       207       328    376.02     89.96      4.18   1000000         0
915.99/916.23	c       238       319    390.73     95.60      4.09   1000000         0
917.38/917.69	c       208       293    380.62     90.80      4.19   1000000         0
918.88/919.16	c       224       396    377.35     85.49      4.41   1000000         0
920.39/920.63	c       239       278    374.88     90.89      4.12   1000000         0
921.88/922.11	c       203       337    357.07     86.90      4.11   1000000         0
923.28/923.57	c       235       383    371.91     99.30      3.75   1000000         0
924.79/925.03	c       236       344    383.06     96.09      3.99   1000000         0
926.28/926.51	c       190       298    362.49     92.71      3.91   1000000         0
927.68/927.98	c       195       382    378.77     94.24      4.02   1000000         0
929.19/929.45	c       221       355    377.01     88.71      4.25   1000000         0
930.68/930.91	c       233       367    386.31     86.03      4.49   1000000         0
932.08/932.37	c       237       349    377.49     73.36      5.15   1000000         0
933.59/933.85	c       212       303    388.12     86.45      4.49   1000000         0
935.08/935.32	c       213       414    376.17     96.16      3.91   1000000         0
936.48/936.79	c       217       364    378.44     90.21      4.20   1000000         0
937.99/938.25	c       225       328    384.90    101.43      3.79   1000000         0
939.48/939.73	c       224       352    383.97     95.58      4.02   1000000         0
940.88/941.20	c       233       311    377.41     83.19      4.54   1000000         0
942.39/942.67	c       213       326    369.45    100.77      3.67   1000000         0
943.88/944.14	c       214       381    363.42     87.22      4.17   1000000         0
945.38/945.60	c       236       347    374.34     89.49      4.18   1000000         0
946.79/947.07	c       229       326    378.35     89.10      4.25   1000000         0
948.28/948.54	c       211       302    386.12     96.04      4.02   1000000         0
949.78/950.01	c       222       351    378.85     87.49      4.33   1000000         0
951.18/951.48	c       225       334    390.82    100.68      3.88   1000000         0
952.68/952.95	c       240       402    398.35     98.43      4.05   1000000         0
954.18/954.43	c       223       291    367.88     95.17      3.87   1000000         0
955.58/955.89	c       233       397    392.85     91.11      4.31   1000000         0
957.07/957.35	c       210       360    375.66     94.14      3.99   1000000         0
958.57/958.82	c       214       296    352.73     85.22      4.14   1000000         0
960.08/960.30	c       210       389    377.07     91.87      4.10   1000000         0
961.47/961.77	c       204       405    371.57     89.52      4.15   1000000         0
962.97/963.24	c       235       396    377.91     87.80      4.30   1000000         0
964.38/964.70	c       218       344    387.04     98.72      3.92   1000000         0
965.87/966.16	c       217       336    392.79     96.22      4.08   1000000         0
967.37/967.64	c       234       317    379.74     91.93      4.13   1000000         0
968.88/969.10	c       206       334    372.90    103.40      3.61   1000000         0
970.27/970.58	c       233       364    377.26     97.59      3.87   1000000         0
971.77/972.05	c       196       350    373.40     98.08      3.81   1000000         0
973.28/973.51	c       200       387    374.99     87.62      4.28   1000000         0
974.67/974.98	c       212       424    367.85     90.60      4.06   1000000         0
976.17/976.46	c       216       333    371.90     94.87      3.92   1000000         0
977.68/977.93	c       213       353    375.31     90.46      4.15   1000000         0
979.17/979.40	c       227       349    380.99     95.04      4.01   1000000         0
980.57/980.87	c       237       398    379.11     96.39      3.93   1000000         0
982.08/982.34	c       236       376    384.35     94.07      4.09   1000000         0
983.57/983.80	c       202       325    369.89     89.75      4.12   1000000         0
984.97/985.27	c       224       342    387.30     97.80      3.96   1000000         0
986.48/986.75	c       182       364    375.81     90.88      4.14   1000000         0
987.97/988.22	c       239       394    381.05     84.54      4.51   1000000         0
989.37/989.69	c       232       349    375.49     90.12      4.17   1000000         0
990.87/991.16	c       223       413    378.19     82.58      4.58   1000000         0
992.37/992.62	c       221       371    390.01     97.44      4.00   1000000         0
993.77/994.09	c       228       433    390.09     97.99      3.98   1000000         0
995.27/995.56	c       217       390    384.75     89.85      4.28   1000000         0
996.77/997.03	c       197       334    361.27     88.26      4.09   1000000         0
998.17/998.49	c       235       352    386.71     86.86      4.45   1000000         0
999.67/999.96	c       231       435    390.93     99.17      3.94   1000000         0
1001.16/1001.42	c       200       299    382.26     90.05      4.25   1000000         0
1002.56/1002.89	c       217       242    379.36    111.61      3.40   1000000         0
1004.07/1004.35	c       224       382    384.13    101.59      3.78   1000000         0
1005.56/1005.84	c       224       347    366.04    100.17      3.65   1000000         0
1007.06/1007.30	c       242       351    395.15     97.45      4.05   1000000         0
1008.47/1008.77	c       224       333    374.57     86.62      4.32   1000000         0
1009.96/1010.25	c       218       357    361.97     85.87      4.22   1000000         0
1011.46/1011.71	c       245       401    374.40     94.53      3.96   1000000         0
1012.87/1013.19	c       233       328    378.49     84.82      4.46   1000000         0
1014.36/1014.66	c       229       367    373.05    101.13      3.69   1000000         0
1015.86/1016.13	c       227       410    380.03     92.33      4.12   1000000         0
1017.27/1017.59	c       252       339    392.91     94.81      4.14   1000000         0
1018.76/1019.06	c       238       349    374.47     91.06      4.11   1000000         0
1020.26/1020.53	c       233       392    390.75     96.82      4.04   1000000         0
1021.76/1022.00	c       227       380    385.45     87.09      4.43   1000000         0
1023.16/1023.47	c       228       317    373.80     89.68      4.17   1000000         0
1024.66/1024.94	c       209       371    367.67     94.61      3.89   1000000         0
1026.16/1026.41	c       241       367    383.84     99.69      3.85   1000000         0
1027.56/1027.86	c       255       353    389.52     82.29      4.73   1000000         0
1029.06/1029.32	c       223       328    394.90     89.10      4.43   1000000         0
1030.47/1030.78	c       219       314    384.04     95.28      4.03   1000000         0
1031.96/1032.24	c       245       355    389.36     87.21      4.46   1000000         0
1033.46/1033.70	c       226       355    384.61     93.54      4.11   1000000         0
1034.86/1035.19	c       231       347    372.48     87.51      4.26   1000000         0
1036.36/1036.65	c       237       379    390.18     91.40      4.27   1000000         0
1037.86/1038.11	c       229       333    377.46     90.32      4.18   1000000         0
1039.26/1039.58	c       209       339    373.18     95.10      3.92   1000000         0
1040.76/1041.05	c       212       411    383.14     96.71      3.96   1000000         0
1042.26/1042.52	c       229       339    389.93     87.81      4.44   1000000         0
1043.66/1043.98	c       192       310    388.33    105.21      3.69   1000000         0
1045.15/1045.44	c       234       354    380.13     94.59      4.02   1000000         0
1046.65/1046.91	c       213       339    379.45     99.44      3.82   1000000         0
1048.06/1048.38	c       223       363    380.27    100.29      3.79   1000000         0
1049.55/1049.84	c       197       293    385.63     98.97      3.90   1000000         0
1051.05/1051.31	c       239       409    389.90    111.17      3.51   1000000         0
1052.46/1052.78	c       221       293    369.89     92.34      4.01   1000000         0
1053.95/1054.24	c       213       396    383.96     93.09      4.12   1000000         0
1055.45/1055.72	c       188       322    370.77     99.85      3.71   1000000         0
1056.86/1057.18	c       244       364    381.89     88.38      4.32   1000000         0
1058.35/1058.66	c       220       355    364.73     91.97      3.97   1000000         0
1059.85/1060.13	c       215       372    376.81     96.80      3.89   1000000         0
1061.35/1061.61	c       223       341    370.15     86.96      4.26   1000000         0
1062.75/1063.08	c       222       336    387.87     99.52      3.90   1000000         0
1064.25/1064.54	c       224       342    391.64     86.37      4.53   1000000         0
1065.75/1066.01	c       242       314    383.13    103.20      3.71   1000000         0
1067.15/1067.46	c       234       376    395.49     88.81      4.45   1000000         0
1068.65/1068.93	c       206       389    375.00     91.69      4.09   1000000         0
1070.06/1070.38	c       206       353    377.45     96.81      3.90   1000000         0
1071.55/1071.85	c       229       291    377.84     79.85      4.73   1000000         0
1073.05/1073.30	c       229       402    388.73     97.17      4.00   1000000         0
1074.46/1074.77	c       257       374    385.43     99.22      3.88   1000000         0
1075.95/1076.24	c       210       354    354.96     87.84      4.04   1000000         0
1077.45/1077.72	c       219       327    369.24     95.31      3.87   1000000         0
1078.85/1079.19	c       239       382    372.11     90.04      4.13   1000000         0
1080.35/1080.66	c       222       385    382.66     96.94      3.95   1000000         0
1081.85/1082.13	c       240       371    397.16     87.21      4.55   1000000         0
1083.25/1083.59	c       211       302    371.06     99.79      3.72   1000000         0
1084.75/1085.07	c       204       324    384.33    101.25      3.80   1000000         0
1086.24/1086.53	c       255       346    389.65     80.04      4.87   1000000         0
1087.65/1087.99	c       241       333    384.52     87.67      4.39   1000000         0
1089.14/1089.47	c       230       279    382.19     97.49      3.92   1000000         0
1090.64/1090.94	c       215       340    382.34     82.88      4.61   1000000         0
1092.14/1092.42	c       221       330    384.62    101.06      3.81   1000000         0
1093.54/1093.89	c       211       263    369.49     91.74      4.03   1000000         0
1095.04/1095.36	c       216       413    383.88    100.24      3.83   1000000         0
1096.54/1096.82	c       240       322    386.21     89.81      4.30   1000000         0
1097.94/1098.30	c       241       428    383.11     92.74      4.13   1000000         0
1099.44/1099.76	c       227       382    379.12     94.16      4.03   1000000         0
1100.94/1101.24	c       220       367    386.79     90.23      4.29   1000000         0
1102.44/1102.70	c       206       344    366.95    102.63      3.58   1000000         0
1103.84/1104.17	c       238       313    383.26    103.97      3.69   1000000         0
1105.34/1105.64	c       235       339    377.18     96.44      3.91   1000000         0
1106.84/1107.11	c       231       393    382.88     82.79      4.62   1000000         0
1108.24/1108.59	c       220       315    380.70     98.34      3.87   1000000         0
1109.74/1110.05	c       239       298    394.13     90.95      4.33   1000000         0
1111.24/1111.52	c       233       382    380.18     84.47      4.50   1000000         0
1112.74/1113.00	c       202       405    384.83    100.24      3.84   1000000         0
1114.14/1114.47	c       208       362    373.82     94.63      3.95   1000000         0
1115.64/1115.95	c       218       321    360.47     95.17      3.79   1000000         0
1117.14/1117.43	c       226       335    365.93     93.43      3.92   1000000         0
1118.64/1118.90	c       206       368    376.10     99.50      3.78   1000000         0
1120.04/1120.36	c       239       337    378.90     85.15      4.45   1000000         0
1121.54/1121.83	c       215       402    379.52     90.34      4.20   1000000         0
1123.04/1123.30	c       224       340    372.18     96.00      3.88   1000000         0
1124.44/1124.77	c       213       437    382.24     84.25      4.54   1000000         0
1125.94/1126.25	c       212       347    364.50     93.39      3.90   1000000         0
1127.44/1127.72	c       239       351    376.88     92.09      4.09   1000000         0
1128.84/1129.18	c       249       315    393.86     84.46      4.66   1000000         0
1130.34/1130.65	c       244       368    391.57     92.49      4.23   1000000         0
1131.83/1132.12	c       210       347    384.74    100.26      3.84   1000000         0
1133.23/1133.58	c       201       284    378.48     95.19      3.98   1000000         0
1134.73/1135.06	c       230       374    376.68     95.50      3.94   1000000         0
1136.23/1136.52	c       229       354    381.16     95.39      4.00   1000000         0
1137.63/1137.99	c       228       313    369.47     83.16      4.44   1000000         0
1139.13/1139.46	c       206       374    370.57     91.13      4.07   1000000         0
1140.63/1140.93	c       219       242    382.81    100.59      3.81   1000000         0
1142.13/1142.40	c       229       291    378.50     97.60      3.88   1000000         0
1143.53/1143.87	c       230       327    366.71     89.81      4.08   1000000         0
1145.03/1145.34	c       218       324    387.15    101.93      3.80   1000000         0
1146.53/1146.81	c       237       319    368.17     85.15      4.32   1000000         0
1147.93/1148.27	c       218       353    385.18     91.25      4.22   1000000         0
1149.43/1149.73	c       226       360    383.93    100.35      3.83   1000000         0
1150.93/1151.21	c       224       367    378.67     93.56      4.05   1000000         0
1152.33/1152.69	c       221       390    362.39     98.16      3.69   1000000         0
1153.83/1154.15	c       232       341    392.65     86.50      4.54   1000000         0
1155.33/1155.62	c       216       346    376.13     97.84      3.84   1000000         0
1156.73/1157.08	c       226       465    375.15     83.51      4.49   1000000         0
1158.23/1158.54	c       231       347    373.58     93.73      3.99   1000000         0
1159.73/1160.01	c       215       328    378.02    102.76      3.68   1000000         0
1161.13/1161.47	c       216       335    381.56     98.01      3.89   1000000         0
1162.63/1162.94	c       193       273    381.72    104.89      3.64   1000000         0
1164.13/1164.42	c       220       349    380.69     87.60      4.35   1000000         0
1165.53/1165.88	c       252       329    398.65     96.66      4.12   1000000         0
1167.03/1167.35	c       216       324    371.76    108.01      3.44   1000000         0
1168.53/1168.81	c       240       362    389.47     98.55      3.95   1000000         0
1169.93/1170.29	c       199       423    362.95     89.29      4.06   1000000         0
1171.42/1171.76	c       221       333    377.67     95.31      3.96   1000000         0
1172.92/1173.21	c       245       355    404.42     90.69      4.46   1000000         0
1174.32/1174.68	c       208       318    382.70     94.62      4.04   1000000         0
1175.82/1176.15	c       231       426    383.68     98.88      3.88   1000000         0
1177.32/1177.61	c       239       366    393.40     78.71      5.00   1000000         0
1178.72/1179.07	c       245       382    395.73     96.61      4.10   1000000         0
1180.22/1180.53	c       235       414    391.68     99.98      3.92   1000000         0
1181.62/1181.99	c       222       313    389.96     93.24      4.18   1000000         0
1183.12/1183.47	c       225       343    380.46     95.29      3.99   1000000         0
1184.62/1184.93	c       231       371    376.90     85.70      4.40   1000000         0
1186.02/1186.39	c       223       323    383.22     88.71      4.32   1000000         0
1187.52/1187.86	c       217       430    384.23    107.36      3.58   1000000         0
1189.02/1189.33	c       225       398    371.31     97.91      3.79   1000000         0
1190.42/1190.79	c       236       322    373.80     90.09      4.15   1000000         0
1191.92/1192.26	c       229       308    384.94     98.54      3.91   1000000         0
1193.42/1193.72	c       218       366    377.97     91.66      4.12   1000000         0
1194.82/1195.19	c       222       344    371.89     91.64      4.06   1000000         0
1196.32/1196.65	c       225       358    378.74     93.45      4.05   1000000         0
1197.82/1198.11	c       210       268    373.84     91.00      4.11   1000000         0
1199.22/1199.58	c       195       383    377.68     90.78      4.16   1000000         0
1200.72/1201.05	c       230       370    369.93     76.71      4.82   1000000         0
1202.22/1202.52	c       218       367    377.91     94.63      3.99   1000000         0
1203.62/1203.99	c       246       374    378.65     76.75      4.93   1000000         0
1205.12/1205.45	c       243       345    391.62     88.58      4.42   1000000         0
1206.62/1206.93	c       234       301    382.24     95.79      3.99   1000000         0
1208.12/1208.40	c       249       353    386.28     99.67      3.88   1000000         0
1209.52/1209.86	c       246       378    404.54    106.03      3.82   1000000         0
1211.02/1211.32	c       226       345    379.61     96.93      3.92   1000000         0
1212.42/1212.79	c       226       282    375.26     88.09      4.26   1000000         0
1213.92/1214.26	c       214       367    387.40     98.99      3.91   1000000         0
1215.42/1215.73	c       232       295    384.95     84.22      4.57   1000000         0
1216.81/1217.19	c       224       295    380.19     96.86      3.93   1000000         0
1218.31/1218.66	c       226       382    375.12     95.43      3.93   1000000         0
1219.81/1220.13	c       226       278    386.89    101.97      3.79   1000000         0
1221.21/1221.60	c       237       387    373.51     83.36      4.48   1000000         0
1222.71/1223.05	c       208       384    386.14     91.94      4.20   1000000         0
1224.21/1224.53	c       226       342    371.80     90.84      4.09   1000000         0
1225.61/1225.99	c       225       363    379.70     85.27      4.45   1000000         0
1227.11/1227.47	c       229       340    367.55     96.23      3.82   1000000         0
1228.61/1228.95	c       228       352    373.81     97.03      3.85   1000000         0
1230.11/1230.40	c       235       358    388.10     90.66      4.28   1000000         0
1231.51/1231.86	c       218       401    381.38    103.42      3.69   1000000         0
1233.01/1233.33	c       207       366    381.05    101.32      3.76   1000000         0
1234.51/1234.80	c       213       373    375.48     96.15      3.91   1000000         0
1235.91/1236.28	c       212       302    380.97    108.80      3.50   1000000         0
1237.41/1237.75	c       197       352    394.23    102.23      3.86   1000000         0
1238.91/1239.20	c       236       437    384.19     93.11      4.13   1000000         0
1240.31/1240.66	c       230       354    385.18    100.48      3.83   1000000         0
1241.81/1242.14	c       215       326    383.84     90.58      4.24   1000000         0
1243.31/1243.60	c       203       324    392.87     87.10      4.51   1000000         0
1244.71/1245.06	c       238       334    388.35     95.39      4.07   1000000         0
1246.21/1246.51	c       244       348    412.46     83.13      4.96   1000000         0
1247.61/1247.98	c       220       350    388.59     98.02      3.96   1000000         0
1249.11/1249.44	c       229       349    381.10    105.57      3.61   1000000         0
1250.61/1250.92	c       229       313    379.71     81.77      4.64   1000000         0
1252.01/1252.38	c       226       316    388.43     97.67      3.98   1000000         0
1253.51/1253.86	c       216       332    367.07     92.38      3.97   1000000         0
1255.01/1255.32	c       228       350    378.77     92.77      4.08   1000000         0
1256.41/1256.77	c       204       366    401.84     95.33      4.22   1000000         0
1257.91/1258.24	c       223       276    368.73     99.48      3.71   1000000         0
1259.40/1259.71	c       227       399    363.35     91.55      3.97   1000000         0
1260.80/1261.17	c       241       309    396.38     85.88      4.62   1000000         0
1262.30/1262.65	c       235       358    374.97     84.95      4.41   1000000         0
1263.80/1264.12	c       246       328    381.20     94.01      4.05   1000000         0
1265.20/1265.59	c       200       301    371.37     95.82      3.88   1000000         0
1266.70/1267.06	c       221       404    373.13     92.43      4.04   1000000         0
1268.20/1268.54	c       192       348    369.51     87.94      4.20   1000000         0
1269.70/1270.01	c       245       369    386.20     94.51      4.09   1000000         0
1271.10/1271.49	c       204       300    372.55    102.79      3.62   1000000         0
1272.60/1272.95	c       232       359    376.67     91.42      4.12   1000000         0
1274.10/1274.41	c       232       310    384.58     89.44      4.30   1000000         0
1275.50/1275.89	c       238       276    373.32     81.69      4.57   1000000         0
1277.00/1277.35	c       214       310    370.27     97.33      3.80   1000000         0
1278.50/1278.81	c       244       377    389.76     89.27      4.37   1000000         0
1279.90/1280.28	c       217       347    388.44    107.59      3.61   1000000         0
1281.40/1281.73	c       209       373    394.20     87.23      4.52   1000000         0
1282.90/1283.20	c       234       383    383.34     92.15      4.16   1000000         0
1284.30/1284.66	c       230       371    380.28     97.39      3.90   1000000         0
1285.80/1286.13	c       236       344    386.27    106.58      3.62   1000000         0
1287.20/1287.59	c       229       352    382.17     76.52      4.99   1000000         0
1288.70/1289.04	c       240       402    388.41     83.84      4.63   1000000         0
1290.10/1290.49	c       244       378    381.26     91.51      4.17   1000000         0
1291.60/1291.96	c       229       378    380.81     94.58      4.03   1000000         0
1293.10/1293.43	c       235       323    389.76     87.67      4.45   1000000         0
1294.60/1294.90	c       214       352    381.69    103.75      3.68   1000000         0
1296.00/1296.36	c       238       413    384.24    100.06      3.84   1000000         0
1297.50/1297.82	c       235       416    393.52     89.49      4.40   1000000         0
1298.90/1299.27	c       253       376    393.13     87.52      4.49   1000000         0
1300.40/1300.74	c       209       291    384.66     97.57      3.94   1000000         0
1301.80/1302.19	c       251       333    392.79     98.84      3.97   1000000         0
1303.29/1303.67	c       221       319    370.43     92.73      3.99   1000000         0
1304.79/1305.13	c       244       399    374.17     87.09      4.30   1000000         0
1306.29/1306.61	c       207       368    375.56    108.38      3.47   1000000         0
1307.70/1308.08	c       226       344    390.58     96.56      4.05   1000000         0
1309.19/1309.55	c       218       339    375.81    103.45      3.63   1000000         0
1310.69/1311.01	c       222       374    387.53     81.07      4.78   1000000         0
1312.09/1312.47	c       206       313    370.87     80.12      4.63   1000000         0
1313.59/1313.95	c       231       447    370.74     84.09      4.41   1000000         0
1315.09/1315.41	c       213       310    382.04    102.73      3.72   1000000         0
1316.49/1316.86	c       233       365    402.74     86.28      4.67   1000000         0
1317.99/1318.33	c       226       330    378.83     88.19      4.30   1000000         0
1319.49/1319.80	c       246       357    386.82     96.98      3.99   1000000         0
1320.89/1321.27	c       192       347    359.58     99.08      3.63   1000000         0
1322.39/1322.75	c       233       357    380.54     95.47      3.99   1000000         0
1323.89/1324.21	c       231       345    395.18     96.28      4.10   1000000         0
1325.29/1325.68	c       210       391    372.12    107.77      3.45   1000000         0
1326.79/1327.16	c       209       381    380.60     91.70      4.15   1000000         0
1328.29/1328.62	c       244       350    391.41     80.57      4.86   1000000         0
1329.69/1330.08	c       241       426    397.14     85.57      4.64   1000000         0
1331.19/1331.55	c       237       324    389.98     90.53      4.31   1000000         0
1332.69/1333.01	c       222       403    385.87     89.47      4.31   1000000         0
1334.09/1334.49	c       215       375    367.43     91.60      4.01   1000000         0
1335.59/1335.95	c       248       327    382.41    102.68      3.72   1000000         0
1337.09/1337.41	c       208       335    381.04     92.91      4.10   1000000         0
1338.49/1338.89	c       225       374    375.29     76.51      4.91   1000000         0
1339.99/1340.36	c       213       330    374.30     97.32      3.85   1000000         0
1341.49/1341.84	c       188       392    372.42     96.51      3.86   1000000         0
1342.99/1343.31	c       247       358    392.13    100.05      3.92   1000000         0
1344.39/1344.78	c       219       298    379.90     90.59      4.19   1000000         0
1345.89/1346.24	c       219       332    378.23     88.98      4.25   1000000         0
1347.39/1347.70	c       233       276    388.58     90.12      4.31   1000000         0
1348.78/1349.18	c       180       319    373.42     92.48      4.04   1000000         0
1350.28/1350.64	c       246       405    382.53     83.83      4.56   1000000         0
1351.79/1352.11	c       219       340    378.15    102.89      3.68   1000000         0
1353.18/1353.56	c       246       376    385.92     96.09      4.02   1000000         0
1354.68/1355.03	c       229       410    380.28     88.22      4.31   1000000         0
1356.08/1356.48	c       232       388    380.43     71.12      5.35   1000000         0
1357.58/1357.95	c       257       354    402.28     87.65      4.59   1000000         0
1359.08/1359.42	c       221       338    377.74     92.60      4.08   1000000         0
1360.58/1360.90	c       170       385    355.92     93.83      3.79   1000000         0
1361.98/1362.37	c       227       344    376.41     78.98      4.77   1000000         0
1363.48/1363.83	c       233       340    383.13     99.54      3.85   1000000         0
1364.98/1365.30	c       223       341    382.48     99.68      3.84   1000000         0
1366.38/1366.77	c       205       396    386.96    109.85      3.52   1000000         0
1367.88/1368.24	c       217       302    384.11    100.84      3.81   1000000         0
1369.38/1369.72	c       221       366    373.76     98.94      3.78   1000000         0
1370.78/1371.19	c       228       268    374.35    101.87      3.67   1000000         0
1372.28/1372.65	c       209       315    380.04     87.37      4.35   1000000         0
1373.78/1374.11	c       242       369    377.76     92.90      4.07   1000000         0
1375.18/1375.57	c       233       331    398.18    101.50      3.92   1000000         0
1376.68/1377.04	c       188       345    384.33    106.00      3.63   1000000         0
1378.18/1378.51	c       218       372    371.85     94.23      3.95   1000000         0
1379.58/1379.97	c       231       307    387.39     89.87      4.31   1000000         0
1381.08/1381.45	c       225       426    370.86     83.26      4.45   1000000         0
1382.58/1382.93	c       212       335    363.17     92.93      3.91   1000000         0
1383.98/1384.39	c       237       347    381.29     89.29      4.27   1000000         0
1385.48/1385.85	c       211       374    381.95     89.74      4.26   1000000         0
1386.98/1387.33	c       210       382    379.98    100.00      3.80   1000000         0
1388.38/1388.79	c       232       340    378.62     96.15      3.94   1000000         0
1389.88/1390.26	c       233       346    382.42     92.96      4.11   1000000         0
1391.38/1391.73	c       225       336    381.62     94.41      4.04   1000000         0
1392.88/1393.20	c       232       376    378.03     93.48      4.04   1000000         0
1394.28/1394.66	c       233       348    376.30     82.30      4.57   1000000         0
1395.77/1396.13	c       226       370    388.68     97.19      4.00   1000000         0
1397.17/1397.58	c       223       404    379.76     93.07      4.08   1000000         0
1398.67/1399.05	c       224       332    380.29     90.23      4.21   1000000         0
1400.17/1400.52	c       200       300    379.27    103.16      3.68   1000000         0
1401.67/1402.00	c       224       405    382.24     96.37      3.97   1000000         0
1403.07/1403.46	c       221       383    389.90    100.90      3.86   1000000         0
1404.57/1404.92	c       249       408    390.31    100.47      3.88   1000000         0
1405.97/1406.39	c       212       380    374.39    103.22      3.63   1000000         0
1407.47/1407.87	c       207       329    382.16     97.23      3.93   1000000         0
1408.97/1409.34	c       201       327    371.54     97.11      3.83   1000000         0
1410.47/1410.80	c       228       360    386.28     98.15      3.94   1000000         0
1411.87/1412.26	c       246       414    394.99    109.69      3.60   1000000         0
1413.37/1413.72	c       207       283    381.12     97.69      3.90   1000000         0
1414.77/1415.19	c       227       396    380.70     89.76      4.24   1000000         0
1416.27/1416.66	c       228       449    371.80     89.89      4.14   1000000         0
1417.77/1418.12	c       235       334    369.32     98.18      3.76   1000000         0
1419.27/1419.60	c       230       375    377.18    101.80      3.70   1000000         0
1420.67/1421.08	c       230       325    378.72    100.78      3.76   1000000         0
1422.17/1422.54	c       239       332    374.15     92.67      4.04   1000000         0
1423.67/1424.00	c       233       380    388.00     90.19      4.30   1000000         0
1425.07/1425.47	c       208       393    376.14     96.81      3.89   1000000         0
1426.57/1426.95	c       220       344    363.68     92.40      3.94   1000000         0
1428.07/1428.41	c       213       359    379.17     91.23      4.16   1000000         0
1429.47/1429.89	c       213       381    364.65     93.83      3.89   1000000         0
1430.97/1431.36	c       214       380    369.34     90.02      4.10   1000000         0
1432.47/1432.83	c       188       317    359.24     99.16      3.62   1000000         0
1433.97/1434.30	c       231       369    371.71    102.10      3.64   1000000         0
1435.37/1435.77	c       240       473    391.13     95.74      4.09   1000000         0
1436.87/1437.24	c       251       354    398.21     90.75      4.39   1000000         0
1438.37/1438.71	c       229       357    378.71     93.16      4.07   1000000         0
1439.77/1440.18	c       227       332    383.47    100.56      3.81   1000000         0
1441.26/1441.64	c       235       355    390.32     85.04      4.59   1000000         0
1442.77/1443.10	c       244       407    397.20    102.55      3.87   1000000         0
1444.16/1444.56	c       218       399    381.16     82.42      4.62   1000000         0
1445.66/1446.04	c       228       297    385.89     96.33      4.01   1000000         0
1447.06/1447.49	c       220       407    371.58     97.36      3.82   1000000         0
1448.56/1448.95	c       218       365    378.47     97.01      3.90   1000000         0
1450.06/1450.43	c       213       274    375.99    101.86      3.69   1000000         0
1451.57/1451.90	c       236       364    381.39     86.85      4.39   1000000         0
1452.96/1453.38	c       219       303    371.04     84.36      4.40   1000000         0
1454.46/1454.85	c       221       333    370.82     95.91      3.87   1000000         0
1455.97/1456.31	c       222       364    382.60    106.36      3.60   1000000         0
1457.36/1457.78	c       212       350    396.07     90.28      4.39   1000000         0
1458.86/1459.26	c       228       351    367.29     95.67      3.84   1000000         0
1460.37/1460.71	c       237       259    375.85     83.17      4.52   1000000         0
1461.86/1462.20	c       208       339    372.02    100.44      3.70   1000000         0
1463.26/1463.67	c       258       340    390.07     88.56      4.40   1000000         0
1464.77/1465.14	c       240       340    380.15     83.91      4.53   1000000         0
1466.26/1466.61	c       216       327    371.96    103.76      3.58   1000000         0
1467.66/1468.08	c       232       355    373.07     81.45      4.58   1000000         0
1469.17/1469.56	c       227       364    376.64     93.15      4.04   1000000         0
1470.66/1471.02	c       217       262    381.30    100.19      3.81   1000000         0
1472.06/1472.50	c       227       313    386.21    105.02      3.68   1000000         0
1473.56/1473.96	c       251       365    386.46     89.32      4.33   1000000         0
1475.06/1475.43	c       233       356    381.50    101.41      3.76   1000000         0
1476.56/1476.90	c       229       356    368.08    100.81      3.65   1000000         0
1477.96/1478.39	c       197       328    365.73     96.78      3.78   1000000         0
1479.46/1479.86	c       221       358    380.17     97.24      3.91   1000000         0
1480.96/1481.33	c       243       286    374.11     86.30      4.33   1000000         0
1482.36/1482.80	c       232       298    379.86     88.78      4.28   1000000         0
1483.86/1484.26	c       246       397    395.54     95.11      4.16   1000000         0
1485.36/1485.72	c       226       336    389.55     88.88      4.38   1000000         0
1486.76/1487.18	c       243       372    380.42     93.62      4.06   1000000         0
1488.25/1488.65	c       219       336    366.10     85.54      4.28   1000000         0
1489.75/1490.11	c       224       331    379.32     85.85      4.42   1000000         0
1491.16/1491.59	c       200       409    374.55     95.79      3.91   1000000         0
1492.65/1493.06	c       199       349    379.95     96.63      3.93   1000000         0
1494.15/1494.53	c       210       231    370.57    102.91      3.60   1000000         0
1495.56/1496.00	c       229       411    384.70     92.24      4.17   1000000         0
1497.05/1497.46	c       212       418    381.86     91.39      4.18   1000000         0
1498.55/1498.92	c       218       278    377.53    101.55      3.72   1000000         0
1499.96/1500.39	c       222       464    379.78     98.89      3.84   1000000         0
1501.45/1501.87	c       201       412    361.56     86.73      4.17   1000000         0
1502.95/1503.33	c       233       408    379.29     90.70      4.18   1000000         0
1504.36/1504.80	c       199       296    367.08     91.17      4.03   1000000         0
1505.86/1506.25	c       209       293    377.87     80.95      4.67   1000000         0
1507.36/1507.72	c       209       374    373.33     94.37      3.96   1000000         0
1508.76/1509.19	c       206       308    376.45     93.76      4.01   1000000         0
1510.26/1510.65	c       225       340    386.81     93.93      4.12   1000000         0
1511.76/1512.12	c       203       358    370.64     96.75      3.83   1000000         0
1513.16/1513.58	c       249       334    395.44     93.16      4.24   1000000         0
1514.66/1515.06	c       221       349    372.02     94.83      3.92   1000000         0
1516.16/1516.53	c       228       366    380.96     89.97      4.23   1000000         0
1517.66/1518.01	c       203       388    375.84    104.58      3.59   1000000         0
1519.06/1519.49	c       228       381    379.63     92.96      4.08   1000000         0
1520.55/1520.96	c       248       340    386.51     94.62      4.08   1000000         0
1522.06/1522.42	c       233       365    380.90     88.88      4.29   1000000         0
1523.46/1523.88	c       235       354    384.00     87.86      4.37   1000000         0
1524.95/1525.35	c       200       317    369.19     99.94      3.69   1000000         0
1526.46/1526.82	c       226       354    386.03    100.36      3.85   1000000         0
1527.85/1528.28	c       219       315    375.56     90.88      4.13   1000000         0
1529.35/1529.75	c       233       333    383.54    104.57      3.67   1000000         0
1530.86/1531.22	c       223       322    374.54    103.45      3.62   1000000         0
1532.25/1532.70	c       209       292    380.13     84.49      4.50   1000000         0
1533.75/1534.17	c       204       412    375.14     98.24      3.82   1000000         0
1535.26/1535.64	c       234       343    374.87     92.33      4.06   1000000         0
1536.75/1537.11	c       219       367    378.19    108.54      3.48   1000000         0
1538.15/1538.58	c       234       292    375.82    102.02      3.68   1000000         0
1539.66/1540.05	c       212       383    373.56     93.58      3.99   1000000         0
1541.15/1541.53	c       209       304    380.32     95.31      3.99   1000000         0
1542.55/1542.99	c       226       356    396.20     82.23      4.82   1000000         0
1544.06/1544.46	c       224       343    365.54     89.22      4.10   1000000         0
1545.55/1545.93	c       234       318    386.43    105.01      3.68   1000000         0
1546.95/1547.40	c       217       421    380.71     86.09      4.42   1000000         0
1548.46/1548.87	c       233       361    372.97     81.45      4.58   1000000         0
1549.95/1550.34	c       225       400    368.78     86.42      4.27   1000000         0
1551.45/1551.81	c       210       346    366.53     90.41      4.05   1000000         0
1552.85/1553.28	c       245       364    382.06     84.13      4.54   1000000         0
1554.35/1554.73	c       252       302    392.71     87.38      4.49   1000000         0
1555.75/1556.19	c       242       384    381.71    103.45      3.69   1000000         0
1557.25/1557.65	c       213       277    391.06     90.50      4.32   1000000         0
1558.75/1559.12	c       231       284    377.32    102.18      3.69   1000000         0
1560.14/1560.58	c       224       350    393.75    104.71      3.76   1000000         0
1561.65/1562.04	c       240       420    386.56     83.39      4.64   1000000         0
1563.14/1563.51	c       213       316    372.03     99.25      3.75   1000000         0
1564.55/1564.98	c       225       352    376.93     91.60      4.11   1000000         0
1566.05/1566.46	c       225       411    375.41     86.38      4.35   1000000         0
1567.54/1567.94	c       207       326    356.50    101.79      3.50   1000000         0
1569.04/1569.42	c       208       298    374.71    102.54      3.65   1000000         0
1570.45/1570.87	c       219       346    397.39     88.87      4.47   1000000         0
1571.94/1572.33	c       227       350    380.69     89.48      4.25   1000000         0
1573.34/1573.79	c       244       330    390.77     92.05      4.25   1000000         0
1574.85/1575.26	c       242       345    379.93     94.62      4.02   1000000         0
1576.34/1576.74	c       214       338    364.57     93.57      3.90   1000000         0
1577.84/1578.20	c       221       326    379.24    101.76      3.73   1000000         0
1579.25/1579.68	c       226       385    384.44     95.19      4.04   1000000         0
1580.74/1581.16	c       237       310    360.74     92.90      3.88   1000000         0
1582.24/1582.62	c       238       329    396.14     97.82      4.05   1000000         0
1583.65/1584.08	c       222       323    384.83     95.77      4.02   1000000         0
1585.14/1585.56	c       198       346    379.07    102.13      3.71   1000000         0
1586.64/1587.02	c       232       334    384.08     95.91      4.00   1000000         0
1588.05/1588.49	c       238       314    374.68     87.81      4.27   1000000         0
1589.54/1589.96	c       205       372    383.96     93.67      4.10   1000000         0
1591.04/1591.43	c       234       311    373.95     86.92      4.30   1000000         0
1592.54/1592.91	c       233       357    372.15     92.15      4.04   1000000         0
1593.94/1594.38	c       229       408    384.31    101.80      3.78   1000000         0
1595.44/1595.86	c       224       365    369.21    101.43      3.64   1000000         0
1596.94/1597.32	c       238       354    388.93     83.76      4.64   1000000         0
1598.34/1598.78	c       244       347    404.60     95.63      4.23   1000000         0
1599.84/1600.25	c       224       339    382.45     92.52      4.13   1000000         0
1601.34/1601.72	c       212       393    356.36     85.50      4.17   1000000         0
1602.74/1603.19	c       227       431    385.79     90.77      4.25   1000000         0
1604.24/1604.66	c       236       357    377.73     96.44      3.92   1000000         0
1605.73/1606.14	c       212       318    366.12     95.79      3.82   1000000         0
1607.14/1607.59	c       252       356    390.38     93.37      4.18   1000000         0
1608.64/1609.05	c       252       375    390.54     84.48      4.62   1000000         0
1610.13/1610.52	c       218       259    370.62     82.60      4.49   1000000         0
1611.53/1611.99	c       215       320    370.27     91.04      4.07   1000000         0
1613.03/1613.45	c       205       305    369.23     94.92      3.89   1000000         0
1614.53/1614.92	c       236       401    376.36     86.96      4.33   1000000         0
1615.93/1616.38	c       220       299    387.88     99.03      3.92   1000000         0
1617.43/1617.85	c       227       313    373.89     88.30      4.23   1000000         0
1618.93/1619.32	c       226       341    374.19     99.55      3.76   1000000         0
1620.33/1620.79	c       247       356    387.00     95.34      4.06   1000000         0
1621.83/1622.26	c       229       334    384.56     98.91      3.89   1000000         0
1623.33/1623.73	c       233       390    392.76     87.49      4.49   1000000         0
1624.83/1625.20	c       210       390    379.38     90.75      4.18   1000000         0
1626.23/1626.67	c       221       342    377.93     95.55      3.96   1000000         0
1627.73/1628.13	c       218       401    375.78     94.17      3.99   1000000         0
1629.23/1629.61	c       231       329    366.58     90.92      4.03   1000000         0
1630.63/1631.08	c       214       345    378.00     99.55      3.80   1000000         0
1632.13/1632.55	c       228       401    375.88     90.09      4.17   1000000         0
1633.63/1634.01	c       230       384    390.96     97.96      3.99   1000000         0
1635.03/1635.47	c       223       417    383.67     93.06      4.12   1000000         0
1636.53/1636.92	c       217       431    383.18     90.40      4.24   1000000         0
1638.03/1638.40	c       187       296    359.35     92.70      3.88   1000000         0
1639.43/1639.87	c       218       335    390.20     94.86      4.11   1000000         0
1640.93/1641.35	c       210       468    381.82     96.94      3.94   1000000         0
1642.43/1642.82	c       239       321    389.65    101.79      3.83   1000000         0
1643.83/1644.29	c       229       313    368.40     90.74      4.06   1000000         0
1645.33/1645.75	c       217       385    378.55     89.06      4.25   1000000         0
1646.83/1647.22	c       215       389    369.31     85.50      4.32   1000000         0
1648.23/1648.68	c       229       411    378.43     95.63      3.96   1000000         0
1649.73/1650.15	c       207       293    364.48    101.02      3.61   1000000         0
1651.23/1651.62	c       229       369    371.45     90.25      4.12   1000000         0
1652.62/1653.09	c       220       380    383.24     91.14      4.20   1000000         0
1654.12/1654.57	c       219       445    365.17     80.53      4.53   1000000         0
1655.62/1656.04	c       217       316    371.63     94.35      3.94   1000000         0
1657.12/1657.52	c       200       306    365.60     95.06      3.85   1000000         0
1658.52/1658.98	c       237       327    388.62     91.43      4.25   1000000         0
1660.02/1660.46	c       225       417    377.28     89.75      4.20   1000000         0
1661.52/1661.93	c       227       354    377.12     91.46      4.12   1000000         0
1662.92/1663.39	c       226       380    375.00     85.69      4.38   1000000         0
1664.42/1664.87	c       223       352    368.36     92.09      4.00   1000000         0
1665.92/1666.34	c       201       320    371.65     98.37      3.78   1000000         0
1667.42/1667.81	c       224       366    397.92    101.01      3.94   1000000         0
1668.82/1669.28	c       244       334    385.79     97.81      3.94   1000000         0
1670.32/1670.75	c       221       355    375.48     88.28      4.25   1000000         0
1671.82/1672.21	c       237       328    378.71     89.57      4.23   1000000         0
1673.22/1673.68	c       227       338    389.24     99.55      3.91   1000000         0
1674.72/1675.14	c       252       319    392.92     83.43      4.71   1000000         0
1676.22/1676.61	c       232       369    369.63     91.46      4.04   1000000         0
1677.62/1678.06	c       227       412    390.60     98.14      3.98   1000000         0
1679.12/1679.54	c       223       292    388.51    100.72      3.86   1000000         0
1680.62/1681.02	c       232       353    368.92     85.31      4.32   1000000         0
1682.02/1682.47	c       222       353    394.52     97.97      4.03   1000000         0
1683.52/1683.94	c       229       315    384.87     91.65      4.20   1000000         0
1685.02/1685.41	c       224       328    381.96    102.95      3.71   1000000         0
1686.42/1686.88	c       201       406    372.78     93.04      4.01   1000000         0
1687.92/1688.34	c       221       402    391.12     93.22      4.20   1000000         0
1689.42/1689.81	c       168       349    373.17    101.93      3.66   1000000         0
1690.82/1691.28	c       235       393    378.67     92.17      4.11   1000000         0
1692.32/1692.75	c       225       345    371.87     81.96      4.54   1000000         0
1693.82/1694.21	c       212       349    379.24     96.56      3.93   1000000         0
1695.22/1695.67	c       224       287    377.30     88.20      4.28   1000000         0
1696.72/1697.13	c       225       332    377.73     82.27      4.59   1000000         0
1698.21/1698.61	c       217       316    374.03     91.39      4.09   1000000         0
1699.61/1700.09	c       222       343    364.03     87.98      4.14   1000000         0
1701.11/1701.58	c       213       333    362.90     99.05      3.66   1000000         0
1702.61/1703.06	c       207       333    377.24    107.27      3.52   1000000         0
1704.11/1704.52	c       226       423    380.77     87.79      4.34   1000000         0
1705.62/1706.00	c       218       308    372.59     99.77      3.73   1000000         0
1707.01/1707.48	c       205       328    367.07     97.35      3.77   1000000         0
1708.51/1708.95	c       220       324    376.56     93.59      4.02   1000000         0
1710.02/1710.42	c       212       330    366.91    101.53      3.61   1000000         0
1711.41/1711.89	c       219       411    364.33     92.75      3.93   1000000         0
1712.91/1713.37	c       211       392    387.99     99.86      3.89   1000000         0
1714.42/1714.84	c       226       392    384.22     91.03      4.22   1000000         0
1715.91/1716.31	c       230       302    384.93     99.57      3.87   1000000         0
1717.31/1717.76	c       241       360    381.16     90.76      4.20   1000000         0
1718.82/1719.23	c       227       359    396.38    100.67      3.94   1000000         0
1720.21/1720.69	c       247       385    396.00     93.38      4.24   1000000         0
1721.71/1722.16	c       238       382    377.19     94.69      3.98   1000000         0
1723.22/1723.63	c       213       342    376.55     94.28      3.99   1000000         0
1724.71/1725.10	c       222       350    371.44     94.55      3.93   1000000         0
1726.11/1726.56	c       219       293    368.32    102.44      3.60   1000000         0
1727.62/1728.03	c       221       295    368.54     92.10      4.00   1000000         0
1729.11/1729.50	c       201       391    402.80     95.87      4.20   1000000         0
1730.51/1730.98	c       224       240    368.20     81.30      4.53   1000000         0
1732.01/1732.44	c       229       395    383.11     93.46      4.10   1000000         0
1733.51/1733.91	c       234       330    381.50     88.25      4.32   1000000         0
1734.91/1735.36	c       235       375    389.77    100.56      3.88   1000000         0
1736.41/1736.83	c       234       391    372.66     83.75      4.45   1000000         0
1737.91/1738.30	c       236       358    374.93     85.26      4.40   1000000         0
1739.31/1739.76	c       266       350    396.59     77.62      5.11   1000000         0
1740.81/1741.23	c       224       370    373.87     93.36      4.00   1000000         0
1742.21/1742.68	c       232       379    395.64     84.74      4.67   1000000         0
1743.70/1744.14	c       243       385    390.63     97.60      4.00   1000000         0
1745.21/1745.63	c       223       360    374.29    106.22      3.52   1000000         0
1746.60/1747.09	c       236       353    379.51     95.46      3.98   1000000         0
1748.10/1748.56	c       231       291    373.85     92.70      4.03   1000000         0
1749.61/1750.03	c       239       325    371.05     92.58      4.01   1000000         0
1751.10/1751.50	c       237       353    377.82     91.30      4.14   1000000         0
1752.50/1752.96	c       216       338    390.76    100.14      3.90   1000000         0
1754.01/1754.44	c       210       334    372.31     82.71      4.50   1000000         0
1755.50/1755.91	c       213       327    376.23     90.90      4.14   1000000         0
1756.90/1757.36	c       236       315    383.94     94.96      4.04   1000000         0
1758.41/1758.83	c       204       344    367.21     93.35      3.93   1000000         0
1759.90/1760.31	c       218       295    365.99     95.77      3.82   1000000         0
1761.30/1761.77	c       229       342    386.27     94.86      4.07   1000000         0
1762.81/1763.24	c       233       379    378.61     97.77      3.87   1000000         0
1764.30/1764.71	c       254       320    387.90     95.58      4.06   1000000         0
1765.70/1766.18	c       227       306    383.29     95.67      4.01   1000000         0
1767.21/1767.65	c       215       347    380.77     99.74      3.82   1000000         0
1768.70/1769.11	c       215       346    366.32     92.66      3.95   1000000         0
1770.10/1770.59	c       218       304    370.81     99.20      3.74   1000000         0
1771.61/1772.06	c       226       324    361.80     85.83      4.22   1000000         0
1773.10/1773.53	c       231       308    376.17     97.65      3.85   1000000         0
1774.60/1775.02	c       227       332    374.88    101.95      3.68   1000000         0
1776.00/1776.49	c       222       268    377.21     91.95      4.10   1000000         0
1777.50/1777.96	c       232       408    381.14     97.07      3.93   1000000         0
1779.00/1779.44	c       217       358    377.78    112.27      3.37   1000000         0
1780.50/1780.91	c       237       321    387.89     99.73      3.89   1000000         0
1781.90/1782.36	c       236       311    395.15     88.07      4.49   1000000         0
1783.40/1783.83	c       223       315    380.89     89.79      4.24   1000000         0
1784.80/1785.29	c       232       356    383.54     92.91      4.13   1000000         0
1786.30/1786.75	c       248       283    384.27     78.87      4.87   1000000         0
1787.80/1788.22	c       224       355    377.00     89.63      4.21   1000000         0
1789.20/1789.69	c       218       385    388.19     89.94      4.32   1000000         0
1790.69/1791.16	c       216       326    376.97     94.22      4.00   1000000         0
1792.19/1792.63	c       199       353    371.56     97.90      3.80   1000000         0
1793.60/1794.10	c       228       330    384.62     87.84      4.38   1000000         0
1795.09/1795.57	c       223       293    380.28     82.50      4.61   1000000         0
1796.59/1797.02	c       232       321    386.37     84.09      4.59   1000000         0
1798.00/1798.48	c       223       328    380.48     92.85      4.10   1000000         0
1799.49/1799.95	c       226       294    390.15    101.15      3.86   1000000         0
1800.10/1800.50	HOME/run: line 2:  9731 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-2669890-1276611458/watcher-2669890-1276611458 -o /tmp/evaluation-result-2669890-1276611458/solver-2669890-1276611458 -C 1800 -W 2000 -M 1800 run HOME/instance-2669890-1276611458.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.08 1.03 1.01 3/106 9730
/proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) R 9728 9730 9288 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420772245 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0

[startup+0.067072 s]
/proc/loadavg: 1.08 1.03 1.01 3/106 9730
/proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101073 s]
/proc/loadavg: 1.08 1.03 1.01 3/106 9730
/proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301087 s]
/proc/loadavg: 1.08 1.03 1.01 3/106 9730
/proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701116 s]
/proc/loadavg: 1.08 1.03 1.01 3/106 9730
/proc/meminfo: memFree=1525744/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50117 s]
/proc/loadavg: 1.07 1.03 1.01 2/108 9732
/proc/meminfo: memFree=1521636/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1.49
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1051 0 0 0 149 0 0 0 25 0 1 0 2440824 41422848 980 1992294400 134512640 135071400 4290823120 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 980 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10129 s]
/proc/loadavg: 1.07 1.03 1.01 2/108 9732
/proc/meminfo: memFree=1521388/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=3.09
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 309 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30151 s]
/proc/loadavg: 1.07 1.03 1.01 2/108 9732
/proc/meminfo: memFree=1521388/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=6.29
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 629 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526333 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.701 s]
/proc/loadavg: 1.06 1.03 1.01 2/108 9732
/proc/meminfo: memFree=1521140/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=12.69
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 1269 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5019 s]
/proc/loadavg: 1.05 1.02 1.00 2/108 9732
/proc/meminfo: memFree=1521016/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=25.48
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 2548 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1017 s]
/proc/loadavg: 1.03 1.02 1.00 2/108 9734
/proc/meminfo: memFree=1521016/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=51.08
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 5108 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 9734
/proc/meminfo: memFree=1520644/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=102.27
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 10227 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 9736
/proc/meminfo: memFree=1520396/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=162.25
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 16225 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 9738
/proc/meminfo: memFree=1520396/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=222.24
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 22224 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134547326 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9740
/proc/meminfo: memFree=1520272/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=282.22
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 28222 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134572013 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9740
/proc/meminfo: memFree=1520024/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=342.21
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 34221 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9742
/proc/meminfo: memFree=1519900/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=402.2
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 40220 0 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1122.04
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 112203 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9767
/proc/meminfo: memFree=1518288/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1182.02
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 118201 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9767
/proc/meminfo: memFree=1518040/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1242.01
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 124200 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9769
/proc/meminfo: memFree=1517916/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1302
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 130199 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9771
/proc/meminfo: memFree=1517916/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1361.98
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 136197 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9773
/proc/meminfo: memFree=1517668/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1421.98
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 142197 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134537141 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9775
/proc/meminfo: memFree=1517668/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1481.96
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 148195 1 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9775
/proc/meminfo: memFree=1517544/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1541.95
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 154193 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526240 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9777
/proc/meminfo: memFree=1517296/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1601.94
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 160192 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 9779
/proc/meminfo: memFree=1517296/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1661.92
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 166190 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134547395 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 9781
/proc/meminfo: memFree=1517048/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1721.91
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 172189 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9783
/proc/meminfo: memFree=1517048/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1781.9
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 178188 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9783
/proc/meminfo: memFree=1517048/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1800.1
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 180008 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

Sleeping 2 secondsSolver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9783
/proc/meminfo: memFree=1517048/2059040 swapFree=4192956/4192956
[pid=9730] ppid=9728 vsize=8700 CPUtime=0
/proc/9730/stat : 9730 (run) S 9728 9730 9288 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2440824 8908800 244 1992294400 4194304 4922060 140734770935312 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9730/statm: 2175 244 204 178 0 68 0
[pid=9731] ppid=9730 vsize=40452 CPUtime=1800.1
/proc/9731/stat : 9731 (PB-wave) R 9730 9730 9288 0 -1 4202496 1059 0 0 0 180008 2 0 0 25 0 1 0 2440824 41422848 988 1992294400 134512640 135071400 4290823120 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9731/statm: 10113 988 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1800.09
CPU system time (s): 0.023996
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1432
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= 4493

runsolver used 2.91256 second user time and 8.63169 second system time

The end

Launcher Data 

Begin job on node034 at 2010-06-15 16:17:38
IDJOB=2669890
IDBENCH=1492
IDSOLVER=1171
FILE ID=node034/2669890-1276611458
PBS_JOBID= 11172266
Free space on /tmp= 62512 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669890-1276611458/watcher-2669890-1276611458 -o /tmp/evaluation-result-2669890-1276611458/solver-2669890-1276611458 -C 1800 -W 2000 -M 1800  run HOME/instance-2669890-1276611458.opb

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

MD5SUM BENCH= a985b0d4e6d576e8ad3098d78036fdc8
RANDOM SEED=1104899382

node034.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.242
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.48
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.242
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1526140 kB
Buffers:         65816 kB
Cached:         340512 kB
SwapCached:          0 kB
Active:         190556 kB
Inactive:       275384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1526140 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1268 kB
Writeback:           0 kB
AnonPages:       59612 kB
Mapped:          15488 kB
Slab:            45144 kB
PageTables:       3888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182316 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= 62512 MiB
End job on node034 at 2010-06-15 16:47:38