Trace number 2669882

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
MD5SUMec41e051a85a6b1d97ef15d7e169228d
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.563914
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3249
Total number of constraints8983
Number of constraints which are clauses8599
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints384
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.03	c PB-wave - v2
0.00/0.03	c command line = ./PB-wave
0.00/0.03	c seed = 88415211
0.00/0.03	c cutoff = 1000000
0.00/0.03	c tries = 1000000
0.00/0.03	c heuristic = c best, noise 50 / 100
0.00/0.03	#var 3249 #con 8983
0.00/0.03	mode is SAT
0.00/0.03	c tail starts after flip = 9747
0.00/0.03	c numatom = 3249, numclause = 8983, numliterals = 23913
0.00/0.03	c wff read in
0.00/0.03	c 
0.00/0.03	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.03	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.03	c       this      this      this      this      this      this   success   success       until         std
0.00/0.03	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.03	c
1.29/1.36	c       113       215    213.54     34.13      6.26   1000000         0
2.59/2.69	c       119       212    212.64     37.43      5.68   1000000         0
3.99/4.02	c        98       195    208.74     37.70      5.54   1000000         0
5.29/5.34	c       116       218    211.82     33.47      6.33   1000000         0
6.60/6.68	c        78       208    201.61     37.55      5.37   1000000         0
7.99/8.00	c        89       172    206.65     37.97      5.44   1000000         0
9.29/9.33	c       116       232    210.95     35.40      5.96   1000000         0
10.59/10.65	c       103       196    207.29     37.74      5.49   1000000         0
11.89/11.99	c       106       169    207.13     33.80      6.13   1000000         0
13.29/13.31	c       114       280    205.55     37.09      5.54   1000000         0
14.59/14.64	c       129       186    219.80     38.00      5.78   1000000         0
15.89/15.97	c        99       217    214.44     35.50      6.04   1000000         0
17.19/17.29	c        97       195    214.91     38.64      5.56   1000000         0
18.59/18.62	c       112       249    210.82     35.94      5.87   1000000         0
19.89/19.94	c       107       171    207.20     35.35      5.86   1000000         0
21.19/21.27	c       104       207    211.02     34.71      6.08   1000000         0
22.59/22.61	c        97       183    205.93     35.96      5.73   1000000         0
23.89/23.93	c        78       255    212.17     36.64      5.79   1000000         0
25.19/25.26	c       122       245    216.70     35.59      6.09   1000000         0
26.48/26.59	c       109       194    209.03     36.26      5.76   1000000         0
27.88/27.92	c       119       257    213.81     38.08      5.62   1000000         0
29.18/29.25	c       105       250    208.21     32.47      6.41   1000000         0
30.48/30.58	c       103       245    214.47     33.66      6.37   1000000         0
31.89/31.91	c       108       160    214.94     35.24      6.10   1000000         0
33.18/33.24	c       103       206    208.60     38.27      5.45   1000000         0
34.48/34.57	c        96       247    218.56     40.58      5.39   1000000         0
35.88/35.91	c       114       222    206.60     33.99      6.08   1000000         0
37.18/37.23	c       103       211    217.30     36.84      5.90   1000000         0
38.49/38.56	c        99       190    207.80     34.94      5.95   1000000         0
39.78/39.89	c       104       179    213.47     33.96      6.29   1000000         0
41.18/41.22	c       114       159    213.40     33.64      6.34   1000000         0
42.48/42.56	c        99       183    208.56     35.83      5.82   1000000         0
43.78/43.89	c       101       204    207.52     37.02      5.61   1000000         0
45.18/45.22	c       112       230    213.62     35.23      6.06   1000000         0
46.48/46.55	c       105       180    210.08     38.74      5.42   1000000         0
47.78/47.88	c       106       185    208.19     36.42      5.72   1000000         0
49.18/49.21	c        88       221    203.79     37.41      5.45   1000000         0
50.49/50.54	c       113       243    212.52     37.94      5.60   1000000         0
51.78/51.88	c       101       234    208.19     32.97      6.32   1000000         0
53.18/53.20	c        85       238    212.06     36.67      5.78   1000000         0
54.48/54.53	c       103       172    209.79     35.74      5.87   1000000         0
55.78/55.86	c       110       267    208.26     32.28      6.45   1000000         0
57.08/57.19	c        97       255    209.53     38.78      5.40   1000000         0
58.48/58.52	c       104       199    212.40     35.16      6.04   1000000         0
59.78/59.85	c       114       208    216.21     35.10      6.16   1000000         0
61.08/61.18	c        93       170    210.26     36.10      5.82   1000000         0
62.48/62.50	c       122       206    215.27     31.77      6.78   1000000         0
63.78/63.83	c        88       153    206.47     40.08      5.15   1000000         0
65.08/65.16	c        98       220    204.04     37.46      5.45   1000000         0
66.37/66.50	c        99       236    206.39     38.70      5.33   1000000         0
67.77/67.82	c        85       230    212.99     39.50      5.39   1000000         0
69.07/69.14	c       108       239    213.09     35.07      6.08   1000000         0
70.38/70.47	c        98       188    206.28     34.71      5.94   1000000         0
71.77/71.81	c       117       200    212.03     36.80      5.76   1000000         0
73.07/73.14	c       108       198    207.76     36.56      5.68   1000000         0
74.37/74.46	c       117       206    212.18     34.57      6.14   1000000         0
75.67/75.79	c        93       258    208.96     33.52      6.23   1000000         0
77.07/77.13	c        98       212    205.57     34.41      5.97   1000000         0
78.37/78.45	c       110       228    218.54     34.91      6.26   1000000         0
79.67/79.77	c       105       192    212.38     34.96      6.07   1000000         0
80.97/81.10	c        86       237    213.01     35.91      5.93   1000000         0
82.38/82.43	c       123       236    216.94     36.21      5.99   1000000         0
83.67/83.75	c       109       143    210.43     34.73      6.06   1000000         0
84.97/85.08	c        99       224    212.43     38.39      5.53   1000000         0
86.37/86.41	c       119       255    209.83     36.48      5.75   1000000         0
87.67/87.75	c       101       164    208.62     38.34      5.44   1000000         0
88.98/89.07	c        79       289    209.04     39.26      5.32   1000000         0
90.37/90.40	c       110       234    220.88     34.73      6.36   1000000         0
91.67/91.72	c        97       197    217.33     38.17      5.69   1000000         0
92.97/93.05	c       122       200    213.23     36.44      5.85   1000000         0
94.27/94.37	c       109       232    215.93     34.62      6.24   1000000         0
95.57/95.69	c       109       229    218.62     34.54      6.33   1000000         0
96.97/97.02	c       111       259    210.18     32.38      6.49   1000000         0
98.27/98.34	c       123       213    211.84     30.98      6.84   1000000         0
99.57/99.68	c        89       173    207.17     37.58      5.51   1000000         0
100.97/101.00	c        99       215    217.97     34.89      6.25   1000000         0
102.27/102.33	c       131       191    218.72     33.50      6.53   1000000         0
103.56/103.66	c        79       215    210.25     43.84      4.80   1000000         0
104.86/104.98	c       110       190    212.84     33.14      6.42   1000000         0
106.26/106.32	c       105       209    213.21     37.34      5.71   1000000         0
107.56/107.65	c       115       203    211.53     34.72      6.09   1000000         0
108.87/108.98	c        92       179    210.28     40.44      5.20   1000000         0
110.26/110.31	c       112       205    211.38     38.81      5.45   1000000         0
111.56/111.64	c       105       181    209.92     34.32      6.12   1000000         0
112.86/112.96	c       106       229    215.75     33.25      6.49   1000000         0
114.16/114.28	c       118       215    213.67     33.63      6.35   1000000         0
115.56/115.61	c       112       223    206.87     34.58      5.98   1000000         0
116.86/116.94	c       108       191    206.97     34.72      5.96   1000000         0
118.16/118.27	c       105       191    211.41     38.61      5.48   1000000         0
119.56/119.60	c       103       168    207.98     34.57      6.02   1000000         0
120.87/120.93	c       102       216    208.91     37.87      5.52   1000000         0
122.16/122.26	c       105       196    212.55     34.10      6.23   1000000         0
123.56/123.60	c       102       202    213.13     39.74      5.36   1000000         0
124.86/124.92	c       100       198    209.61     37.04      5.66   1000000         0
126.16/126.24	c       118       216    215.65     39.62      5.44   1000000         0
127.46/127.57	c       102       265    214.55     35.97      5.96   1000000         0
128.86/128.90	c        85       164    208.02     35.87      5.80   1000000         0
130.16/130.23	c       109       218    211.95     36.39      5.83   1000000         0
131.46/131.56	c        92       201    209.88     38.53      5.45   1000000         0
132.86/132.90	c       108       233    214.67     39.88      5.38   1000000         0
134.16/134.23	c        99       195    205.63     40.04      5.14   1000000         0
135.46/135.56	c        97       235    209.60     34.59      6.06   1000000         0
136.76/136.89	c        93       217    211.67     38.24      5.54   1000000         0
138.15/138.22	c       112       213    212.40     33.70      6.30   1000000         0
139.45/139.56	c       109       165    209.87     36.87      5.69   1000000         0
140.76/140.87	c        95       221    220.72     36.80      6.00   1000000         0
142.15/142.21	c       111       207    208.33     35.65      5.84   1000000         0
143.45/143.53	c        88       192    206.26     37.22      5.54   1000000         0
144.75/144.86	c       100       177    209.18     37.75      5.54   1000000         0
146.05/146.18	c       103       216    210.57     34.95      6.02   1000000         0
147.45/147.52	c        96       189    211.75     33.13      6.39   1000000         0
148.75/148.84	c        89       209    210.79     36.01      5.85   1000000         0
150.05/150.17	c       112       171    215.31     35.80      6.01   1000000         0
151.35/151.49	c        84       231    204.34     38.47      5.31   1000000         0
152.76/152.82	c       117       237    209.77     37.41      5.61   1000000         0
154.05/154.15	c       109       230    210.96     35.70      5.91   1000000         0
155.35/155.48	c       118       183    210.89     32.98      6.40   1000000         0
156.75/156.80	c        95       211    206.32     39.57      5.21   1000000         0
158.05/158.13	c       108       218    208.26     36.05      5.78   1000000         0
159.36/159.45	c       102       197    205.48     38.39      5.35   1000000         0
160.65/160.78	c       104       231    210.00     35.65      5.89   1000000         0
162.05/162.11	c       119       231    212.03     37.34      5.68   1000000         0
163.35/163.44	c       110       217    217.52     36.69      5.93   1000000         0
164.65/164.75	c       108       200    214.28     35.77      5.99   1000000         0
165.95/166.08	c       107       210    210.99     35.20      5.99   1000000         0
167.35/167.41	c        98       166    211.11     34.21      6.17   1000000         0
168.65/168.74	c       107       183    207.35     35.04      5.92   1000000         0
169.95/170.07	c       118       193    211.75     36.22      5.85   1000000         0
171.34/171.40	c        98       215    211.43     38.29      5.52   1000000         0
172.65/172.72	c        99       173    212.71     36.73      5.79   1000000         0
173.94/174.06	c        85       208    202.56     39.11      5.18   1000000         0
175.24/175.38	c       113       198    217.88     36.10      6.04   1000000         0
176.64/176.70	c       117       159    213.79     34.26      6.24   1000000         0
177.94/178.02	c       108       203    207.98     35.15      5.92   1000000         0
179.25/179.35	c       101       188    210.88     34.30      6.15   1000000         0
180.54/180.69	c       112       206    210.65     42.20      4.99   1000000         0
181.94/182.03	c       104       217    205.65     35.90      5.73   1000000         0
183.24/183.35	c       103       178    212.70     38.23      5.56   1000000         0
184.54/184.67	c        94       201    213.31     37.66      5.66   1000000         0
185.94/186.01	c       100       200    208.53     39.43      5.29   1000000         0
187.24/187.34	c       108       134    207.04     33.30      6.22   1000000         0
188.54/188.66	c       103       221    209.72     40.16      5.22   1000000         0
189.94/190.00	c        96       202    205.16     33.77      6.08   1000000         0
191.25/191.32	c       109       154    212.27     35.54      5.97   1000000         0
192.54/192.65	c       117       209    211.09     35.77      5.90   1000000         0
193.84/193.98	c        97       194    207.77     37.34      5.56   1000000         0
195.24/195.32	c       108       249    212.95     33.28      6.40   1000000         0
196.54/196.65	c       113       182    214.54     35.04      6.12   1000000         0
197.84/197.98	c       114       237    211.77     38.48      5.50   1000000         0
199.24/199.30	c       110       156    212.85     34.21      6.22   1000000         0
200.54/200.64	c       106       267    211.51     33.18      6.37   1000000         0
201.84/201.97	c       111       214    213.33     37.08      5.75   1000000         0
203.24/203.30	c       108       286    216.86     37.56      5.77   1000000         0
204.54/204.63	c       108       205    209.20     37.51      5.58   1000000         0
205.84/205.95	c       109       191    213.05     33.37      6.39   1000000         0
207.14/207.28	c       105       251    205.82     42.03      4.90   1000000         0
208.54/208.61	c       109       237    213.04     36.65      5.81   1000000         0
209.84/209.94	c       112       242    209.30     32.67      6.41   1000000         0
211.14/211.27	c       113       174    211.23     40.96      5.16   1000000         0
212.53/212.60	c        83       267    211.57     37.03      5.71   1000000         0
213.83/213.93	c        99       197    207.85     40.63      5.12   1000000         0
215.13/215.26	c        95       163    208.06     35.76      5.82   1000000         0
216.43/216.60	c       115       221    206.67     37.24      5.55   1000000         0
217.83/217.92	c       103       209    210.98     34.67      6.09   1000000         0
219.13/219.25	c        98       214    215.01     38.20      5.63   1000000         0
220.43/220.59	c       114       174    211.32     33.66      6.28   1000000         0
221.83/221.92	c        85       210    209.31     37.39      5.60   1000000         0
223.14/223.24	c       112       241    215.63     36.22      5.95   1000000         0
224.43/224.59	c       110       181    212.51     35.25      6.03   1000000         0
225.83/225.91	c        99       200    208.84     39.69      5.26   1000000         0
227.13/227.23	c       109       239    210.40     38.56      5.46   1000000         0
228.43/228.57	c        90       174    204.53     36.28      5.64   1000000         0
229.74/229.89	c        84       140    212.18     41.05      5.17   1000000         0
231.13/231.21	c        93       167    212.22     37.73      5.62   1000000         0
232.43/232.55	c        95       201    211.80     38.25      5.54   1000000         0
233.73/233.87	c       103       239    212.43     38.41      5.53   1000000         0
235.13/235.20	c       103       217    210.88     38.57      5.47   1000000         0
236.44/236.52	c       108       187    214.10     38.76      5.52   1000000         0
237.73/237.84	c       115       224    214.24     32.33      6.63   1000000         0
239.03/239.17	c       106       182    210.81     36.48      5.78   1000000         0
240.33/240.49	c       110       203    214.37     40.55      5.29   1000000         0
241.73/241.81	c       118       200    214.69     37.61      5.71   1000000         0
243.03/243.14	c       101       270    214.27     36.56      5.86   1000000         0
244.33/244.47	c       122       206    212.87     31.19      6.82   1000000         0
245.63/245.79	c       117       213    213.63     33.62      6.35   1000000         0
247.03/247.13	c       106       228    208.92     38.91      5.37   1000000         0
248.33/248.46	c       105       207    214.00     36.62      5.84   1000000         0
249.63/249.79	c       104       199    206.61     39.18      5.27   1000000         0
251.02/251.12	c       112       274    215.73     35.73      6.04   1000000         0
252.32/252.45	c        99       150    211.17     38.89      5.43   1000000         0
253.62/253.78	c        98       190    207.23     38.08      5.44   1000000         0
255.03/255.10	c       110       240    211.65     32.97      6.42   1000000         0
256.32/256.44	c       117       192    206.65     31.93      6.47   1000000         0
257.62/257.77	c       111       246    216.93     36.24      5.99   1000000         0
259.02/259.10	c       114       203    210.40     32.31      6.51   1000000         0
260.32/260.43	c       125       225    220.62     33.92      6.50   1000000         0
261.63/261.75	c        87       153    211.97     35.01      6.05   1000000         0
262.92/263.08	c       118       235    214.81     34.30      6.26   1000000         0
264.32/264.41	c        90       193    207.69     37.62      5.52   1000000         0
265.62/265.72	c       116       181    214.90     34.75      6.18   1000000         0
266.92/267.05	c        92       222    209.49     37.28      5.62   1000000         0
268.23/268.38	c       109       153    208.80     35.05      5.96   1000000         0
269.62/269.72	c       110       255    209.96     35.04      5.99   1000000         0
270.92/271.05	c       111       203    207.06     38.34      5.40   1000000         0
272.22/272.39	c       115       186    209.14     37.70      5.55   1000000         0
273.62/273.72	c       107       211    202.75     36.55      5.55   1000000         0
274.93/275.04	c       106       205    209.14     35.63      5.87   1000000         0
276.22/276.38	c        99       243    205.82     37.64      5.47   1000000         0
277.62/277.71	c        92       209    206.68     34.52      5.99   1000000         0
278.92/279.03	c       109       195    206.87     32.20      6.42   1000000         0
280.22/280.36	c        87       207    210.35     39.58      5.32   1000000         0
281.52/281.69	c       109       209    217.45     37.40      5.81   1000000         0
282.92/283.02	c       117       224    211.35     35.59      5.94   1000000         0
284.22/284.34	c       105       186    212.92     34.35      6.20   1000000         0
285.52/285.67	c       100       198    208.28     34.74      6.00   1000000         0
286.82/287.00	c       104       179    213.44     38.97      5.48   1000000         0
288.22/288.32	c       117       196    218.00     37.86      5.76   1000000         0
289.51/289.64	c       109       202    215.81     34.27      6.30   1000000         0
290.81/290.97	c       105       200    212.95     39.45      5.40   1000000         0
292.11/292.29	c       114       176    205.86     35.37      5.82   1000000         0
293.52/293.62	c       107       206    207.25     36.26      5.72   1000000         0
294.81/294.95	c        90       197    205.87     37.90      5.43   1000000         0
296.11/296.27	c       110       225    213.13     34.98      6.09   1000000         0
297.51/297.60	c       100       223    210.65     34.39      6.12   1000000         0
298.81/298.92	c       107       265    213.46     35.83      5.96   1000000         0
300.12/300.24	c       108       171    206.82     39.15      5.28   1000000         0
301.41/301.57	c       102       187    206.77     37.97      5.45   1000000         0
302.71/302.89	c       117       187    215.12     35.17      6.12   1000000         0
304.11/304.22	c       103       223    212.17     36.87      5.75   1000000         0
305.41/305.54	c        76       215    210.35     39.59      5.31   1000000         0
306.72/306.87	c       113       172    210.09     37.50      5.60   1000000         0
308.11/308.20	c       103       166    207.81     37.92      5.48   1000000         0
309.41/309.52	c        98       159    209.74     34.64      6.06   1000000         0
310.71/310.86	c        95       221    214.17     36.40      5.88   1000000         0
312.01/312.19	c       111       169    212.34     36.59      5.80   1000000         0
313.42/313.53	c       109       207    202.01     36.43      5.55   1000000         0
314.71/314.85	c       109       195    212.38     38.45      5.52   1000000         0
316.01/316.18	c        80       225    206.87     38.19      5.42   1000000         0
317.41/317.52	c       116       211    209.94     31.52      6.66   1000000         0
318.71/318.84	c       118       223    217.54     36.93      5.89   1000000         0
320.01/320.17	c        93       223    215.15     34.47      6.24   1000000         0
321.31/321.49	c       110       250    210.74     36.56      5.76   1000000         0
322.71/322.82	c       106       242    206.63     38.44      5.38   1000000         0
324.00/324.14	c        95       203    214.32     39.82      5.38   1000000         0
325.30/325.46	c       104       185    212.79     40.34      5.27   1000000         0
326.61/326.79	c       105       246    209.92     38.80      5.41   1000000         0
328.00/328.12	c       105       216    208.83     35.34      5.91   1000000         0
329.30/329.44	c       107       225    208.93     33.47      6.24   1000000         0
330.60/330.77	c       107       190    208.06     35.40      5.88   1000000         0
331.90/332.10	c       109       205    218.95     35.91      6.10   1000000         0
333.30/333.42	c       111       205    205.04     35.96      5.70   1000000         0
334.60/334.75	c       100       206    209.40     41.47      5.05   1000000         0
335.90/336.08	c        94       177    203.52     31.76      6.41   1000000         0
337.30/337.42	c       107       195    208.92     37.76      5.53   1000000         0
338.61/338.74	c       110       230    206.84     34.19      6.05   1000000         0
339.90/340.06	c       111       151    205.58     33.34      6.17   1000000         0
341.30/341.40	c        79       208    206.63     39.54      5.23   1000000         0
342.60/342.74	c       112       220    209.32     39.44      5.31   1000000         0
343.90/344.06	c       114       223    211.94     37.82      5.60   1000000         0
345.21/345.38	c       106       222    215.11     35.11      6.13   1000000         0
346.60/346.71	c       115       213    213.07     35.43      6.01   1000000         0
347.90/348.04	c       109       189    208.81     33.07      6.31   1000000         0
349.20/349.36	c        85       220    209.30     39.41      5.31   1000000         0
350.50/350.69	c        82       181    204.17     36.55      5.59   1000000         0
351.91/352.02	c       104       219    204.13     39.71      5.14   1000000         0
353.20/353.36	c        95       224    208.83     34.69      6.02   1000000         0
354.50/354.67	c       107       187    215.50     36.68      5.87   1000000         0
355.90/356.01	c       110       193    216.53     35.03      6.18   1000000         0
357.20/357.33	c       116       175    214.96     35.08      6.13   1000000         0
358.50/358.65	c        87       187    206.54     36.12      5.72   1000000         0
359.80/359.98	c       108       239    211.69     36.67      5.77   1000000         0
361.10/361.29	c       113       184    216.86     35.34      6.14   1000000         0
362.49/362.62	c       110       272    208.65     36.84      5.66   1000000         0
363.79/363.95	c        87       232    204.10     38.55      5.29   1000000         0
365.10/365.28	c       103       212    207.65     37.18      5.59   1000000         0
366.49/366.61	c       106       160    209.51     34.50      6.07   1000000         0
367.79/367.94	c       115       138    216.73     32.42      6.69   1000000         0
369.09/369.27	c        90       192    210.72     39.28      5.37   1000000         0
370.50/370.60	c       111       216    209.02     36.64      5.70   1000000         0
371.79/371.93	c       110       204    208.39     34.73      6.00   1000000         0
373.09/373.26	c        86       172    208.08     36.57      5.69   1000000         0
374.39/374.58	c       101       224    209.53     37.33      5.61   1000000         0
375.79/375.91	c       105       208    215.94     34.54      6.25   1000000         0
377.10/377.23	c        98       241    209.68     34.94      6.00   1000000         0
378.39/378.56	c        98       217    217.94     35.71      6.10   1000000         0
379.69/379.89	c       115       192    210.43     34.50      6.10   1000000         0
381.09/381.23	c       114       198    211.80     36.57      5.79   1000000         0
382.39/382.55	c       123       199    219.32     34.73      6.32   1000000         0
383.69/383.88	c       115       246    209.47     34.80      6.02   1000000         0
385.09/385.21	c       106       265    217.69     34.65      6.28   1000000         0
386.39/386.54	c        95       175    204.02     37.68      5.41   1000000         0
387.69/387.88	c       107       230    213.43     38.54      5.54   1000000         0
389.09/389.21	c       108       150    208.42     37.50      5.56   1000000         0
390.39/390.54	c        95       234    210.36     36.00      5.84   1000000         0
391.69/391.86	c        85       217    216.84     38.39      5.65   1000000         0
392.99/393.19	c       108       207    214.99     40.64      5.29   1000000         0
394.39/394.52	c       111       220    211.37     34.73      6.09   1000000         0
395.68/395.84	c       102       181    210.40     36.61      5.75   1000000         0
396.99/397.16	c       112       203    217.91     37.16      5.86   1000000         0
398.28/398.49	c       109       214    209.36     35.83      5.84   1000000         0
399.68/399.82	c        92       220    213.70     38.61      5.53   1000000         0
400.98/401.15	c        91       209    212.89     35.32      6.03   1000000         0
402.28/402.48	c       105       243    208.69     37.12      5.62   1000000         0
403.68/403.81	c        95       194    210.52     39.50      5.33   1000000         0
404.98/405.13	c        95       187    203.54     39.21      5.19   1000000         0
406.28/406.45	c       110       204    215.17     37.18      5.79   1000000         0
407.58/407.78	c       109       240    218.34     35.96      6.07   1000000         0
408.99/409.11	c       109       239    211.95     33.84      6.26   1000000         0
410.28/410.44	c       100       119    211.58     37.10      5.70   1000000         0
411.58/411.76	c        91       231    207.87     35.43      5.87   1000000         0
412.88/413.09	c       106       202    206.57     38.31      5.39   1000000         0
414.28/414.43	c        97       251    212.19     39.12      5.42   1000000         0
415.59/415.75	c       110       246    210.57     38.20      5.51   1000000         0
416.88/417.07	c       112       185    215.62     34.67      6.22   1000000         0
418.18/418.40	c       105       181    209.17     37.59      5.56   1000000         0
419.58/419.72	c       113       200    207.10     32.12      6.45   1000000         0
420.88/421.04	c       107       218    212.64     37.57      5.66   1000000         0
422.19/422.36	c       102       203    210.28     37.28      5.64   1000000         0
423.48/423.69	c       117       205    212.10     32.98      6.43   1000000         0
424.88/425.02	c       113       194    215.93     32.47      6.65   1000000         0
426.18/426.34	c       108       190    209.74     35.30      5.94   1000000         0
427.48/427.67	c       104       212    211.03     35.83      5.89   1000000         0
428.88/429.01	c       105       197    202.63     33.19      6.11   1000000         0
430.18/430.35	c       121       176    217.27     35.78      6.07   1000000         0
431.48/431.67	c       119       208    216.09     37.75      5.72   1000000         0
432.78/432.99	c        97       195    213.62     38.27      5.58   1000000         0
434.18/434.32	c       110       260    214.03     33.04      6.48   1000000         0
435.48/435.63	c       113       199    217.94     38.89      5.60   1000000         0
436.77/436.96	c       106       192    205.21     41.59      4.93   1000000         0
438.07/438.28	c       114       173    214.71     42.43      5.06   1000000         0
439.47/439.62	c       105       155    204.22     39.83      5.13   1000000         0
440.77/440.94	c       112       204    217.25     34.24      6.34   1000000         0
442.08/442.27	c       103       152    210.25     33.01      6.37   1000000         0
443.37/443.59	c       112       213    212.49     34.74      6.12   1000000         0
444.77/444.92	c       110       223    216.33     35.26      6.14   1000000         0
446.07/446.25	c       118       160    215.05     37.87      5.68   1000000         0
447.37/447.57	c       117       188    215.10     32.65      6.59   1000000         0
448.77/448.90	c       115       199    212.11     35.48      5.98   1000000         0
450.07/450.21	c       108       191    210.56     36.22      5.81   1000000         0
451.37/451.55	c       107       170    210.37     37.91      5.55   1000000         0
452.67/452.88	c       100       170    208.02     37.08      5.61   1000000         0
454.08/454.21	c       105       238    214.92     37.05      5.80   1000000         0
455.37/455.53	c        99       206    212.88     36.82      5.78   1000000         0
456.67/456.87	c       115       242    213.87     34.13      6.27   1000000         0
457.97/458.18	c       105       167    212.27     38.38      5.53   1000000         0
459.37/459.51	c       103       242    206.42     39.73      5.20   1000000         0
460.67/460.83	c       111       145    203.99     34.19      5.97   1000000         0
461.97/462.15	c       117       241    211.68     41.79      5.06   1000000         0
463.27/463.48	c       115       187    210.93     36.75      5.74   1000000         0
464.67/464.81	c       119       217    213.85     35.59      6.01   1000000         0
465.97/466.14	c        96       211    205.09     35.00      5.86   1000000         0
467.27/467.48	c       103       201    209.06     37.63      5.56   1000000         0
468.67/468.81	c       114       203    213.25     36.80      5.79   1000000         0
469.97/470.14	c        98       168    214.11     38.66      5.54   1000000         0
471.27/471.47	c       111       144    214.66     39.70      5.41   1000000         0
472.57/472.79	c       116       221    210.02     36.48      5.76   1000000         0
473.97/474.12	c       103       202    204.08     32.39      6.30   1000000         0
475.26/475.45	c        89       174    210.32     37.36      5.63   1000000         0
476.56/476.77	c       114       182    207.43     35.05      5.92   1000000         0
477.96/478.11	c       119       190    217.40     33.72      6.45   1000000         0
479.26/479.43	c       101       225    215.11     41.32      5.21   1000000         0
480.57/480.76	c       107       189    204.85     38.16      5.37   1000000         0
481.86/482.09	c       115       152    211.73     33.04      6.41   1000000         0
483.26/483.41	c       107       210    217.48     39.40      5.52   1000000         0
484.56/484.75	c       105       194    209.44     37.07      5.65   1000000         0
485.86/486.07	c        99       275    216.61     37.38      5.79   1000000         0
487.17/487.40	c        94       199    204.67     38.29      5.35   1000000         0
488.56/488.72	c       118       182    216.10     35.02      6.17   1000000         0
489.86/490.05	c        85       177    213.61     38.36      5.57   1000000         0
491.16/491.37	c       103       187    212.38     36.94      5.75   1000000         0
492.46/492.69	c       109       266    213.15     36.23      5.88   1000000         0
493.86/494.02	c        96       235    216.40     37.59      5.76   1000000         0
495.16/495.35	c       111       200    213.78     37.42      5.71   1000000         0
496.46/496.68	c       106       173    206.02     39.71      5.19   1000000         0
497.86/498.01	c       104       150    212.69     39.67      5.36   1000000         0
499.17/499.33	c       106       206    211.08     34.02      6.20   1000000         0
500.46/500.67	c       107       196    212.13     37.77      5.62   1000000         0
501.86/502.00	c       105       139    209.82     35.10      5.98   1000000         0
503.16/503.33	c       113       198    210.88     33.67      6.26   1000000         0
504.46/504.65	c       111       205    207.01     40.41      5.12   1000000         0
505.76/505.98	c       112       254    209.00     34.10      6.13   1000000         0
507.16/507.30	c       122       214    217.08     33.72      6.44   1000000         0
508.46/508.63	c       102       234    203.92     35.09      5.81   1000000         0
509.76/509.96	c       115       260    214.10     33.53      6.38   1000000         0
511.06/511.29	c       107       263    207.15     36.70      5.64   1000000         0
512.46/512.63	c       109       229    208.82     36.30      5.75   1000000         0
513.75/513.96	c        89       218    206.76     35.74      5.78   1000000         0
515.05/515.28	c       114       203    217.14     36.06      6.02   1000000         0
516.45/516.63	c       101       213    213.37     36.58      5.83   1000000         0
517.75/517.96	c       102       262    210.09     37.49      5.60   1000000         0
519.06/519.29	c       112       216    212.41     33.78      6.29   1000000         0
520.45/520.62	c       107       163    212.26     38.45      5.52   1000000         0
521.75/521.95	c        85       232    209.38     37.97      5.51   1000000         0
523.05/523.28	c       109       233    207.21     36.37      5.70   1000000         0
524.46/524.60	c       115       179    212.69     36.65      5.80   1000000         0
525.75/525.93	c        93       146    205.38     38.96      5.27   1000000         0
527.05/527.26	c       101       191    213.04     38.55      5.53   1000000         0
528.45/528.61	c       114       196    214.15     35.62      6.01   1000000         0
529.75/529.93	c       109       221    213.03     40.05      5.32   1000000         0
531.06/531.26	c        97       260    216.10     35.81      6.04   1000000         0
532.35/532.59	c       111       222    210.21     34.18      6.15   1000000         0
533.75/533.92	c       110       253    212.50     36.28      5.86   1000000         0
535.05/535.25	c       112       240    211.60     36.08      5.86   1000000         0
536.35/536.58	c        98       236    212.37     34.58      6.14   1000000         0
537.76/537.92	c        99       136    205.52     38.12      5.39   1000000         0
539.05/539.24	c       105       241    208.63     38.05      5.48   1000000         0
540.35/540.58	c        93       155    209.36     36.37      5.76   1000000         0
541.75/541.90	c       103       254    216.23     33.19      6.52   1000000         0
543.05/543.23	c       104       218    207.84     33.01      6.30   1000000         0
544.35/544.56	c        92       224    212.18     38.27      5.54   1000000         0
545.65/545.89	c        95       180    206.46     32.77      6.30   1000000         0
547.04/547.22	c        94       249    207.16     37.34      5.55   1000000         0
548.34/548.55	c       107       231    209.86     36.98      5.67   1000000         0
549.64/549.89	c        97       212    204.67     41.86      4.89   1000000         0
551.04/551.22	c       105       210    205.18     33.97      6.04   1000000         0
552.34/552.54	c        99       197    209.83     38.52      5.45   1000000         0
553.64/553.88	c        98       170    209.20     31.26      6.69   1000000         0
555.04/555.21	c        93       218    202.18     39.58      5.11   1000000         0
556.35/556.54	c       102       252    201.63     40.55      4.97   1000000         0
557.64/557.87	c       102       191    214.05     37.46      5.71   1000000         0
559.04/559.20	c       100       254    204.31     39.20      5.21   1000000         0
560.34/560.54	c       106       192    207.27     35.70      5.81   1000000         0
561.64/561.87	c       103       225    218.38     38.04      5.74   1000000         0
562.95/563.18	c       113       229    216.10     35.88      6.02   1000000         0
564.34/564.50	c       107       182    214.71     35.82      5.99   1000000         0
565.64/565.83	c        97       213    209.65     39.60      5.29   1000000         0
566.94/567.16	c       110       253    210.60     37.06      5.68   1000000         0
568.24/568.48	c       103       249    201.19     39.15      5.14   1000000         0
569.65/569.82	c        97       194    206.72     37.52      5.51   1000000         0
570.94/571.15	c       105       270    205.84     39.06      5.27   1000000         0
572.24/572.48	c        94       244    204.10     36.61      5.58   1000000         0
573.64/573.81	c       100       229    215.38     39.54      5.45   1000000         0
574.94/575.14	c        99       235    209.85     38.30      5.48   1000000         0
576.25/576.46	c        78       248    207.32     38.45      5.39   1000000         0
577.54/577.79	c       115       189    214.90     36.25      5.93   1000000         0
578.94/579.11	c       102       234    207.75     36.04      5.76   1000000         0
580.24/580.45	c       104       252    207.43     34.43      6.02   1000000         0
581.54/581.78	c       111       220    215.18     38.70      5.56   1000000         0
582.94/583.10	c       117       232    209.38     36.68      5.71   1000000         0
584.24/584.42	c        79       278    210.90     34.82      6.06   1000000         0
585.54/585.75	c       102       181    206.13     37.94      5.43   1000000         0
586.84/587.09	c       100       242    205.60     38.05      5.40   1000000         0
588.24/588.43	c        91       181    207.74     37.55      5.53   1000000         0
589.53/589.75	c        95       198    206.63     35.05      5.90   1000000         0
590.83/591.08	c       107       222    211.52     35.77      5.91   1000000         0
592.23/592.40	c       104       180    217.03     35.38      6.13   1000000         0
593.53/593.74	c       100       162    211.68     38.34      5.52   1000000         0
594.84/595.06	c       114       182    211.86     34.82      6.08   1000000         0
596.23/596.40	c        92       200    204.13     38.43      5.31   1000000         0
597.53/597.73	c        98       231    211.01     37.37      5.65   1000000         0
598.83/599.07	c       104       201    212.64     37.51      5.67   1000000         0
600.13/600.40	c        93       199    209.41     38.92      5.38   1000000         0
601.54/601.72	c        91       197    204.82     33.71      6.08   1000000         0
602.83/603.05	c       104       199    207.39     41.36      5.01   1000000         0
604.13/604.39	c       104       194    209.40     35.49      5.90   1000000         0
605.53/605.71	c       105       220    209.34     36.20      5.78   1000000         0
606.83/607.03	c        82       198    201.65     40.01      5.04   1000000         0
608.14/608.36	c       117       140    211.15     33.28      6.34   1000000         0
609.43/609.69	c        98       170    204.21     36.83      5.55   1000000         0
610.83/611.02	c        87       216    213.41     36.11      5.91   1000000         0
612.13/612.35	c        93       234    215.20     33.76      6.37   1000000         0
613.43/613.67	c       114       206    210.69     34.75      6.06   1000000         0
614.83/615.00	c       122       223    211.59     34.15      6.20   1000000         0
616.13/616.33	c       108       198    211.85     34.59      6.12   1000000         0
617.43/617.65	c       111       164    207.48     35.93      5.77   1000000         0
618.73/618.98	c       117       205    214.28     39.17      5.47   1000000         0
620.13/620.32	c       123       196    211.14     36.30      5.82   1000000         0
621.43/621.64	c       100       237    212.68     37.08      5.74   1000000         0
622.73/622.96	c       108       251    208.60     36.13      5.77   1000000         0
624.03/624.28	c        96       197    213.35     38.11      5.60   1000000         0
625.42/625.61	c       111       235    210.26     40.70      5.17   1000000         0
626.73/626.93	c       104       220    213.66     39.50      5.41   1000000         0
628.02/628.26	c       112       221    214.12     39.68      5.40   1000000         0
629.32/629.58	c       109       233    207.96     36.67      5.67   1000000         0
630.72/630.91	c       116       238    204.46     35.21      5.81   1000000         0
632.02/632.24	c        96       163    212.37     34.99      6.07   1000000         0
633.33/633.56	c       112       242    209.34     35.67      5.87   1000000         0
634.62/634.89	c       100       232    204.66     37.47      5.46   1000000         0
636.02/636.22	c       104       207    213.71     37.79      5.66   1000000         0
637.32/637.56	c       102       154    209.16     36.25      5.77   1000000         0
638.62/638.89	c       105       193    211.57     36.38      5.82   1000000         0
640.03/640.21	c        98       210    217.09     38.63      5.62   1000000         0
641.32/641.54	c       115       185    217.47     34.26      6.35   1000000         0
642.62/642.87	c        99       211    207.20     34.54      6.00   1000000         0
644.02/644.20	c       101       172    206.25     34.99      5.89   1000000         0
645.32/645.52	c        99       220    208.15     33.06      6.30   1000000         0
646.63/646.85	c       108       207    209.57     34.77      6.03   1000000         0
647.92/648.17	c       106       172    217.19     41.04      5.29   1000000         0
649.32/649.50	c       109       221    218.57     37.08      5.90   1000000         0
650.62/650.82	c        95       198    209.62     39.74      5.27   1000000         0
651.92/652.16	c       117       191    208.20     32.28      6.45   1000000         0
653.32/653.51	c       110       272    205.77     34.27      6.00   1000000         0
654.62/654.84	c       115       193    212.35     38.26      5.55   1000000         0
655.92/656.16	c       105       245    210.43     37.67      5.59   1000000         0
657.22/657.49	c        90       229    214.03     38.85      5.51   1000000         0
658.62/658.82	c       106       196    214.21     37.69      5.68   1000000         0
659.92/660.15	c       103       197    207.11     33.65      6.15   1000000         0
661.22/661.48	c       121       229    218.72     30.37      7.20   1000000         0
662.52/662.80	c       114       152    215.83     32.37      6.67   1000000         0
663.92/664.13	c       110       241    216.01     36.42      5.93   1000000         0
665.22/665.45	c       104       207    209.02     34.66      6.03   1000000         0
666.51/666.77	c       115       184    209.34     33.54      6.24   1000000         0
667.91/668.10	c        92       197    210.45     35.52      5.93   1000000         0
669.21/669.43	c        94       180    209.24     36.75      5.69   1000000         0
670.51/670.76	c        96       195    209.96     34.39      6.11   1000000         0
671.82/672.09	c        98       237    204.57     35.34      5.79   1000000         0
673.21/673.42	c       106       195    208.92     37.14      5.63   1000000         0
674.51/674.75	c       105       308    215.76     37.74      5.72   1000000         0
675.81/676.06	c       104       211    210.69     35.74      5.89   1000000         0
677.11/677.39	c        97       206    209.08     40.93      5.11   1000000         0
678.52/678.72	c        89       222    212.46     37.49      5.67   1000000         0
679.81/680.04	c        96       227    215.60     39.32      5.48   1000000         0
681.11/681.37	c        94       201    217.88     32.18      6.77   1000000         0
682.51/682.71	c        95       143    208.63     34.83      5.99   1000000         0
683.81/684.03	c       118       217    210.04     33.42      6.29   1000000         0
685.12/685.37	c       112       196    215.83     36.94      5.84   1000000         0
686.51/686.70	c       105       174    210.47     36.11      5.83   1000000         0
687.81/688.04	c       100       196    209.56     36.51      5.74   1000000         0
689.11/689.37	c       101       204    210.41     37.36      5.63   1000000         0
690.52/690.70	c       103       209    215.35     32.49      6.63   1000000         0
691.81/692.03	c        94       244    207.25     33.39      6.21   1000000         0
693.11/693.35	c       115       249    210.38     34.95      6.02   1000000         0
694.41/694.67	c       109       195    211.40     34.17      6.19   1000000         0
695.81/696.00	c       114       205    212.71     39.57      5.37   1000000         0
697.11/697.33	c        98       183    207.47     34.84      5.95   1000000         0
698.41/698.66	c       109       184    211.84     39.08      5.42   1000000         0
699.71/699.98	c       116       175    211.60     36.56      5.79   1000000         0
701.10/701.31	c       124       167    214.78     35.84      5.99   1000000         0
702.40/702.63	c       114       186    203.29     35.95      5.66   1000000         0
703.71/703.96	c       103       194    207.91     38.33      5.42   1000000         0
705.00/705.28	c        89       217    205.91     34.48      5.97   1000000         0
706.40/706.60	c       102       256    202.53     36.85      5.50   1000000         0
707.70/707.93	c       115       198    216.05     35.79      6.04   1000000         0
709.00/709.26	c       109       194    207.06     34.97      5.92   1000000         0
710.31/710.59	c       110       188    208.03     34.34      6.06   1000000         0
711.70/711.91	c        87       218    208.58     38.85      5.37   1000000         0
713.00/713.23	c       103       212    211.30     35.82      5.90   1000000         0
714.30/714.56	c       108       207    208.44     35.83      5.82   1000000         0
715.60/715.89	c       106       208    210.77     39.75      5.30   1000000         0
717.01/717.22	c       108       188    207.74     38.30      5.42   1000000         0
718.30/718.54	c       125       204    213.41     35.75      5.97   1000000         0
719.60/719.87	c       108       221    212.98     39.53      5.39   1000000         0
721.00/721.20	c       117       151    208.84     33.73      6.19   1000000         0
722.30/722.52	c       105       180    212.03     37.37      5.67   1000000         0
723.61/723.84	c       115       241    213.33     39.70      5.37   1000000         0
724.90/725.18	c       102       249    209.07     37.85      5.52   1000000         0
726.30/726.50	c       115       175    218.29     37.34      5.85   1000000         0
727.60/727.84	c       117       226    213.98     37.79      5.66   1000000         0
728.90/729.17	c       119       247    212.97     35.85      5.94   1000000         0
730.30/730.50	c       113       178    214.57     39.08      5.49   1000000         0
731.60/731.83	c       114       247    212.86     39.38      5.41   1000000         0
732.90/733.14	c       105       207    214.17     35.92      5.96   1000000         0
734.20/734.46	c       104       210    208.76     35.53      5.88   1000000         0
735.60/735.80	c        94       225    206.08     37.01      5.57   1000000         0
736.90/737.12	c       115       215    213.64     42.25      5.06   1000000         0
738.20/738.45	c       109       230    214.27     35.68      6.01   1000000         0
739.50/739.79	c       106       186    210.74     38.46      5.48   1000000         0
740.90/741.13	c       115       218    205.04     35.40      5.79   1000000         0
742.20/742.46	c       101       197    209.22     38.17      5.48   1000000         0
743.49/743.78	c       115       207    213.47     37.96      5.62   1000000         0
744.89/745.11	c       104       211    212.89     39.76      5.35   1000000         0
746.19/746.44	c        97       217    213.08     35.76      5.96   1000000         0
747.49/747.77	c       104       220    208.37     34.79      5.99   1000000         0
748.80/749.10	c        99       213    213.57     34.75      6.15   1000000         0
750.19/750.43	c       105       178    213.66     35.56      6.01   1000000         0
751.49/751.75	c       118       200    217.01     33.58      6.46   1000000         0
752.79/753.08	c        96       200    204.20     34.34      5.95   1000000         0
754.19/754.41	c       118       186    212.78     36.43      5.84   1000000         0
755.50/755.73	c       116       295    216.90     35.27      6.15   1000000         0
756.79/757.06	c       104       214    209.32     33.78      6.20   1000000         0
758.09/758.39	c       114       245    216.65     32.22      6.72   1000000         0
759.49/759.71	c       108       177    210.44     39.96      5.27   1000000         0
760.79/761.04	c       112       205    205.89     33.04      6.23   1000000         0
762.10/762.36	c       102       231    206.99     31.26      6.62   1000000         0
763.39/763.69	c       110       199    208.47     32.46      6.42   1000000         0
764.79/765.02	c       108       206    210.27     33.91      6.20   1000000         0
766.09/766.35	c       115       186    210.28     34.99      6.01   1000000         0
767.39/767.67	c       112       168    215.44     34.73      6.20   1000000         0
768.79/769.00	c       105       181    203.32     38.49      5.28   1000000         0
770.09/770.33	c       102       207    208.64     35.64      5.85   1000000         0
771.39/771.67	c       110       201    211.17     34.12      6.19   1000000         0
772.69/773.00	c       115       199    219.02     37.69      5.81   1000000         0
774.09/774.33	c       105       215    206.74     35.16      5.88   1000000         0
775.39/775.66	c       103       261    218.98     37.46      5.85   1000000         0
776.79/777.00	c       113       216    211.04     35.38      5.96   1000000         0
778.08/778.32	c       110       205    213.78     36.07      5.93   1000000         0
779.38/779.66	c       116       188    212.76     35.31      6.03   1000000         0
780.69/781.00	c       107       244    213.82     35.66      6.00   1000000         0
782.08/782.33	c        99       137    207.72     36.56      5.68   1000000         0
783.38/783.65	c       103       229    208.54     36.79      5.67   1000000         0
784.68/784.98	c       105       166    208.63     38.85      5.37   1000000         0
786.08/786.32	c       106       161    208.78     40.62      5.14   1000000         0
787.39/787.64	c       100       163    203.29     38.41      5.29   1000000         0
788.68/788.96	c       100       218    207.87     34.18      6.08   1000000         0
789.98/790.30	c        91       159    212.12     36.75      5.77   1000000         0
791.38/791.62	c       114       223    214.71     31.12      6.90   1000000         0
792.68/792.95	c       109       165    208.19     37.22      5.59   1000000         0
793.99/794.27	c       100       190    213.24     36.69      5.81   1000000         0
795.38/795.60	c       115       192    212.59     36.26      5.86   1000000         0
796.68/796.93	c       109       240    207.38     36.62      5.66   1000000         0
797.98/798.25	c        75       246    212.70     38.26      5.56   1000000         0
799.28/799.59	c       101       226    210.20     37.38      5.62   1000000         0
800.68/800.92	c       110       167    210.16     35.16      5.98   1000000         0
801.98/802.25	c       110       225    211.22     37.68      5.60   1000000         0
803.28/803.57	c        96       223    209.14     36.29      5.76   1000000         0
804.68/804.90	c       103       233    215.02     34.95      6.15   1000000         0
805.98/806.23	c       108       185    210.78     32.06      6.57   1000000         0
807.28/807.56	c        90       205    215.09     36.72      5.86   1000000         0
808.58/808.88	c       104       155    211.33     38.37      5.51   1000000         0
809.98/810.21	c       113       180    210.79     35.20      5.99   1000000         0
811.28/811.54	c        99       223    208.19     39.61      5.26   1000000         0
812.58/812.87	c       110       263    218.18     38.20      5.71   1000000         0
813.98/814.20	c       105       210    213.90     34.65      6.17   1000000         0
815.28/815.52	c       121       188    221.52     37.51      5.91   1000000         0
816.57/816.84	c        99       161    214.41     41.80      5.13   1000000         0
817.87/818.16	c       115       178    213.39     34.40      6.20   1000000         0
819.18/819.49	c       113       186    207.75     32.93      6.31   1000000         0
820.57/820.82	c       110       186    216.96     36.57      5.93   1000000         0
821.87/822.15	c       116       159    208.65     37.27      5.60   1000000         0
823.17/823.49	c       105       231    205.49     37.30      5.51   1000000         0
824.57/824.81	c       103       215    203.80     33.96      6.00   1000000         0
825.88/826.14	c       101       192    202.00     39.64      5.10   1000000         0
827.17/827.47	c       100       221    211.29     35.61      5.93   1000000         0
828.57/828.80	c       105       181    215.43     36.47      5.91   1000000         0
829.87/830.13	c       100       213    209.08     35.42      5.90   1000000         0
831.17/831.45	c        85       175    208.17     36.48      5.71   1000000         0
832.48/832.78	c       109       216    208.35     36.27      5.75   1000000         0
833.87/834.12	c       102       186    212.36     37.42      5.68   1000000         0
835.17/835.44	c        98       229    215.02     32.72      6.57   1000000         0
836.47/836.76	c        91       176    218.17     42.09      5.18   1000000         0
837.77/838.08	c       121       270    210.17     36.07      5.83   1000000         0
839.17/839.42	c        89       145    206.26     35.83      5.76   1000000         0
840.47/840.75	c       113       205    207.40     35.00      5.93   1000000         0
841.77/842.08	c       105       190    207.35     35.61      5.82   1000000         0
843.17/843.40	c       108       202    213.08     34.97      6.09   1000000         0
844.47/844.73	c        96       207    200.34     35.63      5.62   1000000         0
845.77/846.06	c       101       234    209.21     31.37      6.67   1000000         0
847.07/847.40	c       117       178    212.67     38.18      5.57   1000000         0
848.47/848.72	c       110       201    210.85     37.31      5.65   1000000         0
849.77/850.05	c        88       186    207.61     37.97      5.47   1000000         0
851.07/851.37	c       110       227    210.47     34.52      6.10   1000000         0
852.47/852.70	c        96       220    205.19     41.28      4.97   1000000         0
853.77/854.02	c       118       221    215.17     31.44      6.84   1000000         0
855.06/855.36	c        85       173    211.91     38.54      5.50   1000000         0
856.36/856.69	c        99       150    213.51     37.32      5.72   1000000         0
857.77/858.01	c        90       231    209.21     36.93      5.67   1000000         0
859.06/859.34	c       109       202    214.78     35.05      6.13   1000000         0
860.36/860.66	c        91       201    209.23     36.83      5.68   1000000         0
861.66/861.98	c       113       305    211.65     38.01      5.57   1000000         0
863.06/863.32	c        84       257    210.93     36.30      5.81   1000000         0
864.37/864.64	c        94       233    209.57     39.79      5.27   1000000         0
865.66/865.97	c       108       167    204.35     31.69      6.45   1000000         0
866.96/867.29	c       100       223    211.75     32.10      6.60   1000000         0
868.36/868.61	c        90       196    210.96     36.97      5.71   1000000         0
869.66/869.94	c       112       204    214.38     35.44      6.05   1000000         0
870.97/871.27	c       106       188    213.99     34.51      6.20   1000000         0
872.36/872.61	c        95       165    213.92     39.71      5.39   1000000         0
873.66/873.93	c       111       161    213.71     33.73      6.34   1000000         0
874.96/875.25	c       111       185    213.59     37.65      5.67   1000000         0
876.26/876.57	c       110       211    210.90     34.70      6.08   1000000         0
877.66/877.91	c       105       199    207.00     35.98      5.75   1000000         0
878.96/879.23	c       117       169    213.45     32.49      6.57   1000000         0
880.26/880.56	c       106       163    208.39     37.61      5.54   1000000         0
881.56/881.89	c        98       228    210.40     36.48      5.77   1000000         0
882.96/883.22	c       103       220    209.21     35.06      5.97   1000000         0
884.26/884.55	c       116       243    217.68     36.07      6.04   1000000         0
885.56/885.88	c       106       225    206.96     36.40      5.69   1000000         0
886.96/887.20	c        90       177    211.92     36.71      5.77   1000000         0
888.26/888.54	c        75       191    203.67     41.15      4.95   1000000         0
889.56/889.86	c       118       241    214.67     36.23      5.93   1000000         0
890.86/891.19	c        84       176    203.04     37.84      5.37   1000000         0
892.26/892.52	c        93       222    213.86     38.53      5.55   1000000         0
893.56/893.86	c        92       185    211.44     35.41      5.97   1000000         0
894.85/895.18	c       113       254    217.02     39.95      5.43   1000000         0
896.26/896.52	c       113       178    210.21     36.77      5.72   1000000         0
897.55/897.86	c       111       161    211.29     36.95      5.72   1000000         0
898.85/899.19	c        82       201    206.59     37.64      5.49   1000000         0
900.25/900.51	c       110       192    213.40     35.74      5.97   1000000         0
901.55/901.83	c       104       226    216.32     34.54      6.26   1000000         0
902.86/903.16	c        98       223    206.47     37.78      5.47   1000000         0
904.15/904.49	c       114       176    209.01     34.53      6.05   1000000         0
905.55/905.82	c       115       179    212.23     33.78      6.28   1000000         0
906.85/907.15	c       107       226    214.81     35.73      6.01   1000000         0
908.15/908.48	c       104       233    210.40     36.70      5.73   1000000         0
909.55/909.82	c        99       243    212.29     35.37      6.00   1000000         0
910.85/911.14	c        98       215    207.14     39.88      5.19   1000000         0
912.15/912.47	c        98       201    206.82     35.22      5.87   1000000         0
913.55/913.81	c        93       204    209.00     40.36      5.18   1000000         0
914.86/915.13	c       121       185    208.44     33.37      6.25   1000000         0
916.15/916.47	c        93       221    202.43     33.52      6.04   1000000         0
917.45/917.79	c       123       163    214.48     33.39      6.42   1000000         0
918.85/919.11	c       105       178    209.52     37.41      5.60   1000000         0
920.15/920.44	c       103       254    214.12     37.44      5.72   1000000         0
921.45/921.76	c       111       239    217.33     35.33      6.15   1000000         0
922.75/923.09	c       107       259    213.21     35.50      6.01   1000000         0
924.15/924.43	c        93       197    206.96     42.83      4.83   1000000         0
925.45/925.76	c       103       194    205.64     42.82      4.80   1000000         0
926.85/927.10	c       114       194    211.85     34.28      6.18   1000000         0
928.15/928.42	c       105       181    210.11     35.01      6.00   1000000         0
929.45/929.74	c       118       192    206.58     36.22      5.70   1000000         0
930.75/931.07	c        99       175    209.99     35.62      5.90   1000000         0
932.14/932.40	c        93       247    214.50     36.42      5.89   1000000         0
933.44/933.72	c       100       255    215.10     38.85      5.54   1000000         0
934.75/935.04	c       100       226    209.72     35.23      5.95   1000000         0
936.04/936.37	c       111       222    206.62     37.98      5.44   1000000         0
937.34/937.69	c        95       249    207.77     37.97      5.47   1000000         0
938.74/939.02	c       108       200    216.01     37.30      5.79   1000000         0
940.04/940.34	c       120       236    211.90     37.31      5.68   1000000         0
941.35/941.67	c       112       238    208.50     32.10      6.49   1000000         0
942.74/943.01	c       108       186    207.62     34.54      6.01   1000000         0
944.04/944.34	c       101       226    207.25     36.52      5.68   1000000         0
945.34/945.67	c       113       167    213.91     37.40      5.72   1000000         0
946.75/947.00	c       103       142    216.58     36.64      5.91   1000000         0
948.04/948.32	c       102       188    208.20     34.42      6.05   1000000         0
949.34/949.64	c       108       237    213.17     37.69      5.66   1000000         0
950.64/950.98	c       107       195    217.07     34.70      6.25   1000000         0
952.04/952.30	c        92       184    204.87     37.41      5.48   1000000         0
953.35/953.62	c       105       253    207.67     32.03      6.48   1000000         0
954.64/954.95	c        96       209    205.45     36.29      5.66   1000000         0
955.94/956.29	c        80       145    213.22     42.04      5.07   1000000         0
957.34/957.62	c       114       216    215.28     38.04      5.66   1000000         0
958.64/958.94	c       113       210    212.10     37.52      5.65   1000000         0
959.94/960.27	c       111       232    209.76     34.73      6.04   1000000         0
961.24/961.59	c       105       216    217.94     36.77      5.93   1000000         0
962.64/962.92	c       117       158    214.32     36.68      5.84   1000000         0
963.94/964.26	c       112       168    212.26     34.97      6.07   1000000         0
965.24/965.58	c       123       203    218.21     35.46      6.15   1000000         0
966.54/966.90	c       101       200    213.26     38.14      5.59   1000000         0
967.93/968.24	c       110       221    205.56     38.57      5.33   1000000         0
969.23/969.57	c       113       184    213.72     38.02      5.62   1000000         0
970.53/970.89	c        81       225    207.19     41.02      5.05   1000000         0
971.93/972.22	c        95       269    219.16     40.05      5.47   1000000         0
973.24/973.55	c        98       211    212.98     36.20      5.88   1000000         0
974.53/974.89	c       106       222    205.36     38.85      5.29   1000000         0
975.93/976.21	c        98       197    208.97     35.56      5.88   1000000         0
977.23/977.54	c       104       220    211.28     35.56      5.94   1000000         0
978.53/978.88	c       105       211    212.15     33.46      6.34   1000000         0
979.93/980.20	c       107       150    218.47     39.02      5.60   1000000         0
981.23/981.51	c       109       233    218.47     36.39      6.00   1000000         0
982.53/982.84	c       103       230    209.32     34.25      6.11   1000000         0
983.83/984.17	c       114       199    208.56     33.29      6.27   1000000         0
985.24/985.50	c        91       178    201.42     34.46      5.84   1000000         0
986.53/986.83	c       117       239    214.17     35.30      6.07   1000000         0
987.83/988.16	c       106       216    208.50     36.80      5.67   1000000         0
989.13/989.49	c        99       226    204.66     34.38      5.95   1000000         0
990.53/990.82	c       102       233    210.68     37.02      5.69   1000000         0
991.84/992.15	c        98       241    211.32     40.20      5.26   1000000         0
993.13/993.47	c       104       202    206.17     35.19      5.86   1000000         0
994.53/994.81	c       107       234    208.46     36.50      5.71   1000000         0
995.83/996.14	c        94       211    211.30     38.06      5.55   1000000         0
997.13/997.47	c       102       155    211.15     37.96      5.56   1000000         0
998.43/998.79	c       110       177    212.02     33.79      6.28   1000000         0
999.83/1000.12	c        93       192    213.37     36.66      5.82   1000000         0
1001.13/1001.45	c       113       231    219.19     33.75      6.49   1000000         0
1002.43/1002.79	c       102       208    210.82     35.17      5.99   1000000         0
1003.83/1004.11	c       113       187    209.35     35.57      5.89   1000000         0
1005.13/1005.45	c       109       224    212.42     39.30      5.41   1000000         0
1006.42/1006.78	c       101       232    212.15     37.95      5.59   1000000         0
1007.82/1008.11	c        98       163    207.94     38.89      5.35   1000000         0
1009.12/1009.45	c        87       181    209.12     36.44      5.74   1000000         0
1010.42/1010.78	c       111       212    215.15     37.42      5.75   1000000         0
1011.82/1012.12	c       102       200    206.74     38.13      5.42   1000000         0
1013.12/1013.45	c       116       224    208.09     39.43      5.28   1000000         0
1014.42/1014.77	c        97       168    204.45     38.66      5.29   1000000         0
1015.82/1016.10	c       103       215    207.15     39.72      5.22   1000000         0
1017.13/1017.43	c       108       172    206.51     34.86      5.92   1000000         0
1018.42/1018.76	c       107       192    208.87     35.94      5.81   1000000         0
1019.72/1020.08	c       117       210    215.79     34.68      6.22   1000000         0
1021.12/1021.41	c       103       212    209.92     34.46      6.09   1000000         0
1022.42/1022.74	c       115       179    212.40     35.27      6.02   1000000         0
1023.73/1024.07	c        97       206    211.25     41.73      5.06   1000000         0
1025.12/1025.40	c       108       166    212.70     40.36      5.27   1000000         0
1026.42/1026.72	c       102       192    213.21     39.08      5.46   1000000         0
1027.72/1028.04	c       101       246    212.94     38.93      5.47   1000000         0
1029.02/1029.37	c       106       167    210.61     36.85      5.71   1000000         0
1030.33/1030.70	c       112       194    212.78     35.29      6.03   1000000         0
1031.72/1032.03	c       103       204    212.83     37.74      5.64   1000000         0
1033.02/1033.35	c        86       269    205.30     35.42      5.80   1000000         0
1034.32/1034.67	c        99       181    207.81     36.44      5.70   1000000         0
1035.72/1036.00	c       105       185    207.40     31.74      6.54   1000000         0
1037.02/1037.33	c       102       204    210.30     32.40      6.49   1000000         0
1038.32/1038.67	c       112       150    207.43     33.16      6.26   1000000         0
1039.72/1040.00	c       103       182    207.62     39.99      5.19   1000000         0
1041.02/1041.33	c        96       251    212.66     35.47      6.00   1000000         0
1042.31/1042.66	c       116       189    214.74     34.14      6.29   1000000         0
1043.62/1043.98	c       111       209    213.87     35.92      5.95   1000000         0
1045.01/1045.31	c       102       217    211.56     35.49      5.96   1000000         0
1046.31/1046.64	c       108       211    212.89     34.28      6.21   1000000         0
1047.61/1047.97	c       113       206    215.16     34.32      6.27   1000000         0
1049.02/1049.31	c       100       193    210.26     37.00      5.68   1000000         0
1050.31/1050.64	c       102       142    209.13     32.00      6.54   1000000         0
1051.61/1051.97	c        88       239    214.71     38.82      5.53   1000000         0
1053.01/1053.30	c       115       197    211.24     36.50      5.79   1000000         0
1054.31/1054.63	c       106       187    210.27     36.58      5.75   1000000         0
1055.62/1055.95	c       123       227    215.20     37.80      5.69   1000000         0
1056.91/1057.29	c       100       264    209.09     33.91      6.17   1000000         0
1058.31/1058.61	c       100       192    208.15     35.81      5.81   1000000         0
1059.61/1059.95	c        92       184    203.38     34.84      5.84   1000000         0
1060.91/1061.27	c       104       228    214.30     39.22      5.46   1000000         0
1062.22/1062.60	c        93       193    206.34     34.27      6.02   1000000         0
1063.61/1063.94	c       106       203    212.54     38.74      5.49   1000000         0
1064.91/1065.26	c       105       214    214.30     35.82      5.98   1000000         0
1066.21/1066.59	c       122       220    210.76     32.55      6.47   1000000         0
1067.61/1067.91	c       103       239    211.70     38.61      5.48   1000000         0
1068.92/1069.23	c       111       216    210.53     30.82      6.83   1000000         0
1070.21/1070.56	c       102       219    216.28     35.99      6.01   1000000         0
1071.51/1071.89	c        90       207    209.85     36.83      5.70   1000000         0
1072.91/1073.22	c       102       202    220.01     39.84      5.52   1000000         0
1074.21/1074.54	c       112       238    214.68     35.04      6.13   1000000         0
1075.51/1075.87	c       114       229    214.64     36.99      5.80   1000000         0
1076.91/1077.20	c        98       223    209.01     34.16      6.12   1000000         0
1078.21/1078.54	c       108       177    209.99     34.95      6.01   1000000         0
1079.51/1079.87	c       100       169    212.20     36.61      5.80   1000000         0
1080.91/1081.20	c       120       221    212.50     38.49      5.52   1000000         0
1082.21/1082.53	c       114       262    212.81     36.26      5.87   1000000         0
1083.51/1083.86	c       108       225    212.93     38.77      5.49   1000000         0
1084.81/1085.19	c        98       203    209.32     36.10      5.80   1000000         0
1086.20/1086.52	c       100       206    214.61     39.94      5.37   1000000         0
1087.51/1087.84	c       110       192    211.69     34.89      6.07   1000000         0
1088.80/1089.17	c       109       214    207.93     39.09      5.32   1000000         0
1090.10/1090.50	c       108       206    210.06     33.51      6.27   1000000         0
1091.50/1091.83	c       111       203    208.73     37.26      5.60   1000000         0
1092.80/1093.16	c       114       249    210.90     40.34      5.23   1000000         0
1094.11/1094.48	c       106       186    215.50     36.88      5.84   1000000         0
1095.50/1095.81	c       108       175    203.03     33.52      6.06   1000000         0
1096.80/1097.14	c        98       223    207.62     38.47      5.40   1000000         0
1098.10/1098.47	c        90       212    204.49     34.94      5.85   1000000         0
1099.50/1099.80	c       105       187    210.72     35.01      6.02   1000000         0
1100.81/1101.12	c        84       172    206.59     35.50      5.82   1000000         0
1102.10/1102.46	c       105       170    206.45     37.04      5.57   1000000         0
1103.40/1103.78	c       111       223    205.69     35.66      5.77   1000000         0
1104.80/1105.12	c        99       227    210.88     43.76      4.82   1000000         0
1106.10/1106.44	c       124       227    216.15     31.27      6.91   1000000         0
1107.41/1107.77	c       111       205    212.76     33.34      6.38   1000000         0
1108.80/1109.10	c        89       250    212.51     38.12      5.58   1000000         0
1110.10/1110.43	c        81       221    208.37     37.56      5.55   1000000         0
1111.40/1111.75	c        96       163    208.20     39.85      5.23   1000000         0
1112.70/1113.08	c        97       199    213.25     38.11      5.60   1000000         0
1114.10/1114.41	c       101       211    209.31     34.72      6.03   1000000         0
1115.40/1115.74	c       123       215    218.70     33.49      6.53   1000000         0
1116.70/1117.07	c       112       231    211.07     36.77      5.74   1000000         0
1118.00/1118.39	c        96       238    208.92     38.71      5.40   1000000         0
1119.40/1119.72	c       118       221    214.14     36.71      5.83   1000000         0
1120.69/1121.03	c       115       219    213.96     35.19      6.08   1000000         0
1121.99/1122.36	c       109       174    209.20     37.29      5.61   1000000         0
1123.29/1123.69	c       106       225    212.36     40.29      5.27   1000000         0
1124.69/1125.02	c       114       219    213.74     38.49      5.55   1000000         0
1126.00/1126.35	c       112       234    216.02     35.11      6.15   1000000         0
1127.29/1127.68	c       106       227    205.67     35.39      5.81   1000000         0
1128.69/1129.01	c        92       223    210.09     38.72      5.43   1000000         0
1129.99/1130.33	c       107       187    210.55     30.95      6.80   1000000         0
1131.29/1131.67	c        98       237    211.53     36.17      5.85   1000000         0
1132.60/1133.00	c       113       148    208.59     36.36      5.74   1000000         0
1133.99/1134.32	c        99       200    214.79     36.20      5.93   1000000         0
1135.29/1135.65	c       100       186    214.81     37.89      5.67   1000000         0
1136.59/1136.97	c       121       249    209.45     37.09      5.65   1000000         0
1137.89/1138.29	c       122       245    219.09     36.24      6.05   1000000         0
1139.30/1139.62	c       111       154    206.64     37.29      5.54   1000000         0
1140.59/1140.96	c       103       205    207.40     37.08      5.59   1000000         0
1141.89/1142.28	c       112       149    210.45     34.47      6.11   1000000         0
1143.29/1143.60	c       104       246    211.61     37.10      5.70   1000000         0
1144.59/1144.93	c       111       161    214.78     37.07      5.79   1000000         0
1145.89/1146.27	c        95       247    211.76     36.71      5.77   1000000         0
1147.19/1147.59	c        88       200    212.58     36.68      5.80   1000000         0
1148.59/1148.90	c       112       183    208.95     35.15      5.95   1000000         0
1149.89/1150.24	c       112       192    203.98     37.12      5.50   1000000         0
1151.19/1151.56	c       118       220    212.91     35.62      5.98   1000000         0
1152.49/1152.88	c       106       226    212.64     37.62      5.65   1000000         0
1153.88/1154.21	c        95       212    211.42     37.18      5.69   1000000         0
1155.18/1155.54	c       105       214    213.34     39.81      5.36   1000000         0
1156.48/1156.87	c       104       221    213.70     38.49      5.55   1000000         0
1157.89/1158.20	c       100       206    206.90     39.30      5.26   1000000         0
1159.18/1159.54	c       107       156    211.18     36.75      5.75   1000000         0
1160.48/1160.86	c       114       214    212.07     38.15      5.56   1000000         0
1161.78/1162.19	c        99       167    202.26     38.28      5.28   1000000         0
1163.18/1163.52	c       103       205    206.37     38.01      5.43   1000000         0
1164.49/1164.85	c       109       212    211.45     36.55      5.79   1000000         0
1165.78/1166.19	c        94       211    207.29     35.25      5.88   1000000         0
1167.18/1167.52	c       117       164    211.14     35.98      5.87   1000000         0
1168.48/1168.85	c       111       218    211.84     34.63      6.12   1000000         0
1169.78/1170.17	c       114       201    208.83     34.56      6.04   1000000         0
1171.09/1171.49	c       103       185    212.62     37.49      5.67   1000000         0
1172.48/1172.81	c       103       238    207.85     39.47      5.27   1000000         0
1173.78/1174.13	c       107       241    212.26     35.82      5.93   1000000         0
1175.08/1175.46	c        97       211    210.64     34.71      6.07   1000000         0
1176.38/1176.79	c       106       206    219.14     36.26      6.04   1000000         0
1177.79/1178.12	c       101       182    210.54     33.63      6.26   1000000         0
1179.08/1179.44	c       110       230    209.18     33.37      6.27   1000000         0
1180.38/1180.77	c        81       202    211.06     38.28      5.51   1000000         0
1181.68/1182.09	c        93       170    213.12     41.13      5.18   1000000         0
1183.08/1183.41	c       117       223    211.94     35.34      6.00   1000000         0
1184.38/1184.74	c       102       300    212.31     36.06      5.89   1000000         0
1185.68/1186.07	c       106       180    208.15     35.32      5.89   1000000         0
1186.98/1187.39	c        87       235    211.77     37.77      5.61   1000000         0
1188.38/1188.71	c       104       208    209.85     33.79      6.21   1000000         0
1189.68/1190.03	c        95       187    207.44     35.99      5.76   1000000         0
1190.98/1191.35	c       115       235    213.78     31.20      6.85   1000000         0
1192.27/1192.69	c       115       229    207.23     35.31      5.87   1000000         0
1193.67/1194.02	c        91       260    210.83     37.16      5.67   1000000         0
1194.97/1195.34	c       109       203    216.24     35.72      6.05   1000000         0
1196.27/1196.67	c       100       226    205.94     37.05      5.56   1000000         0
1197.67/1198.01	c        95       251    207.14     40.28      5.14   1000000         0
1198.97/1199.33	c       114       201    209.87     33.27      6.31   1000000         0
1200.27/1200.65	c       109       243    208.90     39.03      5.35   1000000         0
1201.57/1201.97	c        98       234    209.21     37.47      5.58   1000000         0
1202.98/1203.30	c       101       253    215.71     35.91      6.01   1000000         0
1204.27/1204.63	c        77       263    210.87     36.15      5.83   1000000         0
1205.57/1205.96	c       108       221    213.45     40.95      5.21   1000000         0
1206.87/1207.28	c        93       215    213.42     36.11      5.91   1000000         0
1208.27/1208.61	c        95       169    209.54     37.06      5.65   1000000         0
1209.58/1209.94	c       101       232    212.77     37.15      5.73   1000000         0
1210.87/1211.26	c       109       205    207.18     37.00      5.60   1000000         0
1212.17/1212.59	c        95       185    213.04     34.47      6.18   1000000         0
1213.57/1213.92	c       123       215    213.82     39.41      5.43   1000000         0
1214.87/1215.25	c       107       204    206.69     33.59      6.15   1000000         0
1216.18/1216.58	c       117       156    211.95     35.32      6.00   1000000         0
1217.57/1217.90	c       104       216    216.90     33.89      6.40   1000000         0
1218.87/1219.24	c       109       237    207.97     36.67      5.67   1000000         0
1220.17/1220.57	c        92       203    206.88     36.51      5.67   1000000         0
1221.57/1221.90	c       109       240    213.18     32.60      6.54   1000000         0
1222.87/1223.22	c        93       227    210.95     36.40      5.79   1000000         0
1224.17/1224.56	c       109       167    207.04     34.09      6.07   1000000         0
1225.47/1225.89	c       107       204    206.63     39.97      5.17   1000000         0
1226.87/1227.21	c       118       156    209.95     33.70      6.23   1000000         0
1228.17/1228.54	c       103       263    212.19     33.47      6.34   1000000         0
1229.47/1229.87	c        95       227    204.07     36.50      5.59   1000000         0
1230.76/1231.19	c       112       210    212.39     38.04      5.58   1000000         0
1232.16/1232.52	c       108       206    212.10     36.69      5.78   1000000         0
1233.46/1233.85	c        99       242    211.80     38.20      5.54   1000000         0
1234.76/1235.17	c       112       210    209.68     36.07      5.81   1000000         0
1236.16/1236.51	c       101       227    211.19     42.42      4.98   1000000         0
1237.46/1237.84	c       111       226    209.48     34.44      6.08   1000000         0
1238.76/1239.16	c       106       187    209.49     36.45      5.75   1000000         0
1240.06/1240.49	c        84       211    206.07     36.52      5.64   1000000         0
1241.47/1241.82	c       110       198    212.85     35.64      5.97   1000000         0
1242.76/1243.14	c       104       186    211.34     37.71      5.60   1000000         0
1244.06/1244.47	c       112       195    207.95     34.92      5.96   1000000         0
1245.46/1245.81	c        87       196    206.15     34.51      5.97   1000000         0
1246.76/1247.14	c       107       187    213.62     35.78      5.97   1000000         0
1248.07/1248.45	c       120       238    214.76     38.66      5.55   1000000         0
1249.36/1249.78	c       107       178    210.75     35.89      5.87   1000000         0
1250.76/1251.11	c       103       228    208.20     38.62      5.39   1000000         0
1252.06/1252.43	c       112       237    212.34     34.88      6.09   1000000         0
1253.36/1253.75	c       104       154    210.31     38.61      5.45   1000000         0
1254.67/1255.07	c       115       196    209.81     36.48      5.75   1000000         0
1255.96/1256.39	c        90       191    213.40     37.78      5.65   1000000         0
1257.36/1257.73	c       111       199    207.04     35.36      5.86   1000000         0
1258.66/1259.05	c       125       219    219.02     35.04      6.25   1000000         0
1259.96/1260.38	c       124       256    210.08     33.11      6.34   1000000         0
1261.36/1261.71	c       104       224    208.26     35.55      5.86   1000000         0
1262.66/1263.04	c        98       209    210.94     31.86      6.62   1000000         0
1263.96/1264.35	c       111       217    214.03     35.21      6.08   1000000         0
1265.26/1265.69	c       105       235    205.61     35.88      5.73   1000000         0
1266.66/1267.01	c       113       231    213.21     38.65      5.52   1000000         0
1267.96/1268.35	c       100       190    207.06     35.51      5.83   1000000         0
1269.26/1269.68	c       111       222    208.40     36.95      5.64   1000000         0
1270.65/1271.03	c       105       219    205.54     33.27      6.18   1000000         0
1271.95/1272.35	c       111       191    212.62     35.27      6.03   1000000         0
1273.25/1273.69	c       118       182    212.16     34.49      6.15   1000000         0
1274.65/1275.02	c        95       196    203.01     35.49      5.72   1000000         0
1275.95/1276.35	c        94       202    204.87     39.32      5.21   1000000         0
1277.25/1277.68	c        95       217    207.13     35.86      5.78   1000000         0
1278.65/1279.02	c       100       197    205.36     34.75      5.91   1000000         0
1279.96/1280.34	c        97       213    219.84     35.09      6.26   1000000         0
1281.25/1281.67	c        83       279    207.14     35.71      5.80   1000000         0
1282.55/1282.98	c       105       220    210.64     35.66      5.91   1000000         0
1283.95/1284.31	c       109       207    208.40     38.07      5.47   1000000         0
1285.25/1285.64	c       109       267    210.07     35.94      5.85   1000000         0
1286.56/1286.97	c       113       197    215.12     38.92      5.53   1000000         0
1287.85/1288.29	c        98       261    210.50     39.61      5.31   1000000         0
1289.25/1289.62	c       104       244    209.14     39.83      5.25   1000000         0
1290.55/1290.94	c       117       235    211.99     34.41      6.16   1000000         0
1291.85/1292.27	c        86       222    212.37     35.50      5.98   1000000         0
1293.15/1293.60	c        94       281    212.46     31.93      6.65   1000000         0
1294.55/1294.93	c       101       248    210.60     39.45      5.34   1000000         0
1295.85/1296.26	c       101       200    214.83     39.61      5.42   1000000         0
1297.15/1297.59	c       109       153    207.15     34.93      5.93   1000000         0
1298.55/1298.91	c       116       205    213.21     35.89      5.94   1000000         0
1299.85/1300.24	c       107       282    216.13     36.92      5.85   1000000         0
1301.15/1301.56	c        77       227    203.02     36.20      5.61   1000000         0
1302.44/1302.89	c       107       216    213.31     34.17      6.24   1000000         0
1303.84/1304.22	c       110       173    211.49     36.65      5.77   1000000         0
1305.14/1305.56	c        88       236    205.17     33.61      6.10   1000000         0
1306.45/1306.89	c       105       189    211.34     37.48      5.64   1000000         0
1307.84/1308.22	c       113       195    206.99     36.45      5.68   1000000         0
1309.14/1309.56	c        98       158    202.96     32.33      6.28   1000000         0
1310.44/1310.89	c       108       183    213.78     36.74      5.82   1000000         0
1311.85/1312.23	c       118       181    212.23     41.73      5.09   1000000         0
1313.14/1313.56	c       102       166    208.26     37.99      5.48   1000000         0
1314.54/1314.90	c       105       217    217.75     35.59      6.12   1000000         0
1315.84/1316.22	c       104       175    207.35     33.63      6.17   1000000         0
1317.14/1317.54	c        94       230    207.67     35.20      5.90   1000000         0
1318.45/1318.87	c       102       201    205.55     37.26      5.52   1000000         0
1319.74/1320.19	c        88       224    214.30     36.89      5.81   1000000         0
1321.14/1321.52	c       105       152    209.23     36.12      5.79   1000000         0
1322.44/1322.84	c       111       151    212.93     33.58      6.34   1000000         0
1323.74/1324.16	c       106       227    207.08     34.64      5.98   1000000         0
1325.05/1325.48	c        99       225    208.72     36.70      5.69   1000000         0
1326.44/1326.81	c       113       245    213.34     36.97      5.77   1000000         0
1327.74/1328.14	c       100       182    209.33     36.37      5.76   1000000         0
1329.04/1329.46	c       102       231    212.17     39.28      5.40   1000000         0
1330.34/1330.79	c       114       227    208.91     38.18      5.47   1000000         0
1331.75/1332.13	c       114       179    209.86     34.79      6.03   1000000         0
1333.04/1333.44	c        99       205    210.35     37.14      5.66   1000000         0
1334.34/1334.77	c       103       157    207.81     35.88      5.79   1000000         0
1335.64/1336.09	c       112       164    215.21     38.36      5.61   1000000         0
1337.04/1337.42	c       100       198    209.13     36.91      5.67   1000000         0
1338.34/1338.75	c       112       197    212.59     35.43      6.00   1000000         0
1339.64/1340.08	c       106       205    215.38     40.78      5.28   1000000         0
1341.04/1341.40	c       118       221    218.99     41.15      5.32   1000000         0
1342.33/1342.73	c        88       152    211.42     38.35      5.51   1000000         0
1343.63/1344.06	c        90       274    213.28     39.00      5.47   1000000         0
1344.94/1345.38	c       116       183    212.38     31.13      6.82   1000000         0
1346.33/1346.71	c       102       257    208.71     35.31      5.91   1000000         0
1347.63/1348.04	c       107       200    212.07     37.24      5.69   1000000         0
1348.93/1349.37	c       120       197    211.43     34.07      6.21   1000000         0
1350.34/1350.70	c       106       190    209.56     37.94      5.52   1000000         0
1351.63/1352.02	c       110       194    212.36     34.17      6.21   1000000         0
1352.93/1353.35	c       101       228    206.45     34.60      5.97   1000000         0
1354.23/1354.68	c       111       238    211.04     35.03      6.02   1000000         0
1355.63/1356.02	c        99       189    210.18     38.34      5.48   1000000         0
1356.94/1357.35	c       102       192    204.70     39.12      5.23   1000000         0
1358.23/1358.67	c       111       150    212.87     32.52      6.55   1000000         0
1359.63/1360.00	c       111       166    220.64     38.10      5.79   1000000         0
1360.93/1361.33	c       101       204    208.66     36.03      5.79   1000000         0
1362.23/1362.65	c       118       175    214.27     36.75      5.83   1000000         0
1363.54/1363.98	c       113       170    209.10     37.21      5.62   1000000         0
1364.93/1365.30	c        89       192    213.16     34.96      6.10   1000000         0
1366.23/1366.63	c       106       214    211.97     36.65      5.78   1000000         0
1367.53/1367.96	c       105       181    212.29     35.94      5.91   1000000         0
1368.83/1369.29	c       112       287    211.54     38.86      5.44   1000000         0
1370.23/1370.62	c       106       196    207.18     34.43      6.02   1000000         0
1371.53/1371.94	c       105       195    212.30     38.97      5.45   1000000         0
1372.83/1373.27	c        82       207    208.72     38.58      5.41   1000000         0
1374.23/1374.60	c       100       154    212.24     33.55      6.33   1000000         0
1375.53/1375.94	c       106       255    212.42     37.99      5.59   1000000         0
1376.83/1377.29	c       104       185    212.59     36.10      5.89   1000000         0
1378.22/1378.62	c       109       179    211.78     40.10      5.28   1000000         0
1379.53/1379.95	c        96       191    213.95     34.56      6.19   1000000         0
1380.83/1381.28	c        88       188    203.21     37.38      5.44   1000000         0
1382.23/1382.61	c       101       236    212.56     34.34      6.19   1000000         0
1383.52/1383.95	c        93       146    206.64     38.10      5.42   1000000         0
1384.82/1385.28	c       106       183    210.17     39.72      5.29   1000000         0
1386.22/1386.61	c        99       186    208.35     40.03      5.20   1000000         0
1387.52/1387.94	c       104       230    205.22     33.61      6.11   1000000         0
1388.83/1389.27	c        98       195    211.85     38.05      5.57   1000000         0
1390.12/1390.59	c       115       209    211.41     35.96      5.88   1000000         0
1391.52/1391.92	c       105       243    205.05     35.87      5.72   1000000         0
1392.82/1393.25	c        91       201    215.88     34.27      6.30   1000000         0
1394.12/1394.57	c       111       249    213.34     34.30      6.22   1000000         0
1395.43/1395.90	c       113       219    221.15     35.54      6.22   1000000         0
1396.82/1397.23	c       114       191    212.67     37.99      5.60   1000000         0
1398.12/1398.56	c       108       200    205.18     36.38      5.64   1000000         0
1399.42/1399.88	c       109       219    213.64     36.71      5.82   1000000         0
1400.82/1401.21	c       110       204    210.91     33.86      6.23   1000000         0
1402.13/1402.54	c        92       149    214.73     40.78      5.27   1000000         0
1403.42/1403.87	c        94       183    211.23     37.31      5.66   1000000         0
1404.82/1405.20	c       102       178    208.85     32.87      6.35   1000000         0
1406.12/1406.53	c       111       225    207.81     33.82      6.15   1000000         0
1407.42/1407.86	c       115       180    211.39     40.73      5.19   1000000         0
1408.82/1409.20	c       110       235    210.77     34.72      6.07   1000000         0
1410.12/1410.52	c        88       163    209.43     36.65      5.71   1000000         0
1411.42/1411.85	c        97       235    213.16     39.00      5.47   1000000         0
1412.72/1413.18	c       103       189    209.06     37.83      5.53   1000000         0
1414.12/1414.51	c       112       171    210.74     33.50      6.29   1000000         0
1415.42/1415.85	c        91       226    208.70     37.48      5.57   1000000         0
1416.72/1417.16	c       116       203    217.18     35.92      6.05   1000000         0
1418.02/1418.49	c       105       223    212.40     33.66      6.31   1000000         0
1419.41/1419.82	c       119       266    212.98     31.80      6.70   1000000         0
1420.72/1421.15	c       111       191    209.22     34.16      6.12   1000000         0
1422.01/1422.48	c       106       231    211.00     32.59      6.47   1000000         0
1423.41/1423.80	c        94       200    207.47     36.44      5.69   1000000         0
1424.71/1425.13	c       100       204    210.57     33.48      6.29   1000000         0
1426.01/1426.45	c       107       279    204.80     35.69      5.74   1000000         0
1427.32/1427.78	c       108       224    208.39     35.55      5.86   1000000         0
1428.71/1429.12	c       110       209    214.42     35.39      6.06   1000000         0
1430.01/1430.44	c       103       167    213.89     33.98      6.29   1000000         0
1431.31/1431.76	c       110       154    215.46     36.42      5.92   1000000         0
1432.61/1433.10	c        99       209    210.64     34.18      6.16   1000000         0
1434.02/1434.42	c       122       210    213.89     32.70      6.54   1000000         0
1435.31/1435.74	c       110       244    205.56     34.17      6.02   1000000         0
1436.61/1437.07	c       117       223    212.75     34.03      6.25   1000000         0
1438.01/1438.40	c        85       164    205.75     35.17      5.85   1000000         0
1439.31/1439.72	c       117       161    212.45     36.86      5.76   1000000         0
1440.62/1441.05	c       106       219    212.66     36.64      5.80   1000000         0
1441.91/1442.39	c       111       193    211.78     34.36      6.16   1000000         0
1443.31/1443.72	c        95       142    215.16     37.97      5.67   1000000         0
1444.61/1445.05	c       111       217    204.46     35.36      5.78   1000000         0
1445.91/1446.39	c       118       208    211.77     36.37      5.82   1000000         0
1447.31/1447.71	c        97       245    214.21     36.54      5.86   1000000         0
1448.61/1449.03	c       106       178    210.71     40.50      5.20   1000000         0
1449.91/1450.36	c        95       226    204.79     35.74      5.73   1000000         0
1451.21/1451.69	c       118       198    216.00     37.61      5.74   1000000         0
1452.61/1453.03	c       103       167    207.71     38.01      5.46   1000000         0
1453.90/1454.36	c        98       191    217.90     36.20      6.02   1000000         0
1455.20/1455.69	c       115       211    211.66     38.54      5.49   1000000         0
1456.60/1457.02	c        84       310    209.51     42.50      4.93   1000000         0
1457.90/1458.34	c       105       186    206.78     36.20      5.71   1000000         0
1459.21/1459.67	c        88       200    209.05     34.98      5.98   1000000         0
1460.60/1461.00	c       104       245    209.32     35.64      5.87   1000000         0
1461.90/1462.33	c        99       173    211.26     33.90      6.23   1000000         0
1463.20/1463.66	c       109       181    211.93     37.01      5.73   1000000         0
1464.50/1464.99	c       113       228    213.09     35.78      5.95   1000000         0
1465.91/1466.32	c        93       213    204.38     40.09      5.10   1000000         0
1467.20/1467.64	c       119       175    215.49     31.93      6.75   1000000         0
1468.50/1468.98	c       112       223    209.77     39.36      5.33   1000000         0
1469.90/1470.30	c       105       200    209.71     36.23      5.79   1000000         0
1471.20/1471.63	c       120       233    216.11     36.89      5.86   1000000         0
1472.51/1472.96	c       106       192    209.92     35.51      5.91   1000000         0
1473.80/1474.29	c       100       129    211.03     36.41      5.80   1000000         0
1475.20/1475.61	c       110       229    212.53     32.68      6.50   1000000         0
1476.50/1476.94	c       120       205    213.34     33.61      6.35   1000000         0
1477.80/1478.28	c       102       191    211.08     38.36      5.50   1000000         0
1479.20/1479.60	c       101       226    210.68     33.26      6.33   1000000         0
1480.50/1480.92	c       102       208    214.47     34.09      6.29   1000000         0
1481.80/1482.24	c       105       228    209.38     35.91      5.83   1000000         0
1483.10/1483.57	c       103       231    212.78     32.43      6.56   1000000         0
1484.40/1484.89	c       106       187    218.73     36.14      6.05   1000000         0
1485.80/1486.22	c       101       194    215.04     37.00      5.81   1000000         0
1487.09/1487.55	c        90       197    214.11     39.53      5.42   1000000         0
1488.39/1488.89	c       108       233    208.27     33.19      6.28   1000000         0
1489.79/1490.22	c       103       165    211.40     36.67      5.77   1000000         0
1491.10/1491.54	c        89       237    209.34     37.73      5.55   1000000         0
1492.39/1492.87	c        70       223    214.99     38.94      5.52   1000000         0
1493.69/1494.19	c       100       201    211.75     37.07      5.71   1000000         0
1495.09/1495.53	c       115       225    216.04     35.06      6.16   1000000         0
1496.39/1496.86	c       111       197    205.17     34.84      5.89   1000000         0
1497.70/1498.18	c       117       178    211.00     35.35      5.97   1000000         0
1499.09/1499.51	c       108       254    213.25     34.80      6.13   1000000         0
1500.39/1500.84	c       114       252    212.77     33.32      6.38   1000000         0
1501.69/1502.18	c       109       236    215.73     35.54      6.07   1000000         0
1503.09/1503.50	c        96       212    210.34     32.93      6.39   1000000         0
1504.40/1504.84	c       114       158    213.70     35.96      5.94   1000000         0
1505.69/1506.17	c       107       220    215.80     37.06      5.82   1000000         0
1507.09/1507.50	c        89       167    207.17     36.43      5.69   1000000         0
1508.39/1508.83	c       100       176    211.26     40.00      5.28   1000000         0
1509.69/1510.16	c       101       218    209.83     39.05      5.37   1000000         0
1511.00/1511.49	c       107       228    207.37     32.64      6.35   1000000         0
1512.39/1512.81	c       107       199    210.38     37.64      5.59   1000000         0
1513.69/1514.14	c        94       168    212.26     34.17      6.21   1000000         0
1514.99/1515.47	c       108       170    211.93     37.15      5.71   1000000         0
1516.39/1516.80	c       105       233    213.61     39.36      5.43   1000000         0
1517.69/1518.13	c        90       198    215.10     37.30      5.77   1000000         0
1518.99/1519.45	c        99       142    211.50     35.68      5.93   1000000         0
1520.29/1520.78	c        99       184    198.05     37.86      5.23   1000000         0
1521.69/1522.10	c       102       212    213.00     37.92      5.62   1000000         0
1522.99/1523.43	c        98       185    213.21     38.79      5.50   1000000         0
1524.29/1524.76	c        79       162    201.96     36.60      5.52   1000000         0
1525.59/1526.08	c       108       135    214.30     34.84      6.15   1000000         0
1526.98/1527.40	c       108       192    211.93     35.36      5.99   1000000         0
1528.28/1528.73	c       106       205    207.24     36.87      5.62   1000000         0
1529.59/1530.06	c       105       180    208.26     34.61      6.02   1000000         0
1530.88/1531.39	c        78       202    211.78     37.67      5.62   1000000         0
1532.28/1532.72	c        97       218    210.45     39.92      5.27   1000000         0
1533.58/1534.05	c       104       188    205.16     36.28      5.66   1000000         0
1534.88/1535.37	c       104       199    211.41     39.64      5.33   1000000         0
1536.29/1536.70	c       103       197    212.08     35.74      5.93   1000000         0
1537.58/1538.04	c       110       190    208.40     37.03      5.63   1000000         0
1538.88/1539.37	c       109       216    205.90     36.85      5.59   1000000         0
1540.18/1540.69	c       113       206    214.73     33.82      6.35   1000000         0
1541.58/1542.02	c       100       220    221.90     36.02      6.16   1000000         0
1542.89/1543.34	c       101       169    216.15     37.02      5.84   1000000         0
1544.18/1544.67	c       102       211    209.32     35.53      5.89   1000000         0
1545.48/1546.00	c       108       257    208.54     36.75      5.67   1000000         0
1546.88/1547.32	c       100       204    215.17     36.36      5.92   1000000         0
1548.18/1548.64	c       111       153    218.42     38.03      5.74   1000000         0
1549.49/1549.97	c        95       149    207.41     35.52      5.84   1000000         0
1550.88/1551.30	c       108       229    208.42     39.63      5.26   1000000         0
1552.18/1552.63	c       107       171    210.08     34.41      6.11   1000000         0
1553.48/1553.95	c       112       250    214.73     37.16      5.78   1000000         0
1554.78/1555.28	c       115       208    213.90     37.84      5.65   1000000         0
1556.18/1556.60	c       117       219    216.02     39.79      5.43   1000000         0
1557.48/1557.92	c       116       199    212.68     39.90      5.33   1000000         0
1558.78/1559.25	c       113       210    206.75     35.03      5.90   1000000         0
1560.08/1560.57	c        92       164    218.43     37.17      5.88   1000000         0
1561.38/1561.90	c       106       157    207.99     41.08      5.06   1000000         0
1562.78/1563.21	c       101       214    207.45     36.44      5.69   1000000         0
1564.08/1564.53	c       107       250    211.22     35.38      5.97   1000000         0
1565.38/1565.86	c       115       207    213.98     35.83      5.97   1000000         0
1566.67/1567.18	c       125       190    210.49     35.00      6.01   1000000         0
1568.08/1568.50	c       105       200    217.63     34.44      6.32   1000000         0
1569.37/1569.82	c       112       162    216.24     38.00      5.69   1000000         0
1570.67/1571.15	c       104       199    212.24     41.20      5.15   1000000         0
1571.97/1572.47	c       100       246    211.40     40.79      5.18   1000000         0
1573.37/1573.81	c       103       208    212.70     36.13      5.89   1000000         0
1574.68/1575.13	c       106       172    210.22     36.40      5.78   1000000         0
1575.97/1576.46	c       116       243    216.70     33.56      6.46   1000000         0
1577.37/1577.80	c        94       211    206.17     36.50      5.65   1000000         0
1578.67/1579.12	c        94       230    215.66     35.32      6.11   1000000         0
1579.97/1580.45	c        93       162    210.71     35.79      5.89   1000000         0
1581.28/1581.78	c       117       202    213.24     34.97      6.10   1000000         0
1582.67/1583.11	c        97       219    210.53     39.12      5.38   1000000         0
1583.97/1584.44	c        93       210    209.13     36.95      5.66   1000000         0
1585.27/1585.76	c       111       228    214.60     38.31      5.60   1000000         0
1586.57/1587.09	c        93       185    207.52     35.46      5.85   1000000         0
1587.98/1588.42	c       113       195    213.68     37.92      5.64   1000000         0
1589.27/1589.75	c       104       232    214.71     35.99      5.97   1000000         0
1590.57/1591.08	c       112       188    208.99     35.48      5.89   1000000         0
1591.97/1592.41	c       103       218    206.79     36.82      5.62   1000000         0
1593.27/1593.73	c       103       270    216.09     40.08      5.39   1000000         0
1594.57/1595.06	c       109       198    209.24     36.76      5.69   1000000         0
1595.87/1596.39	c       107       268    204.91     35.63      5.75   1000000         0
1597.27/1597.71	c       118       233    212.96     36.73      5.80   1000000         0
1598.57/1599.03	c       111       184    214.87     37.11      5.79   1000000         0
1599.87/1600.36	c       105       241    208.29     35.13      5.93   1000000         0
1601.17/1601.69	c       119       200    213.22     35.16      6.06   1000000         0
1602.57/1603.02	c       107       206    211.33     39.07      5.41   1000000         0
1603.87/1604.34	c       121       210    212.74     35.11      6.06   1000000         0
1605.16/1605.69	c       114       189    207.10     35.58      5.82   1000000         0
1606.57/1607.01	c        95       200    206.96     39.14      5.29   1000000         0
1607.86/1608.34	c       111       176    209.80     38.65      5.43   1000000         0
1609.16/1609.67	c        97       226    210.31     39.94      5.27   1000000         0
1610.56/1611.00	c       107       200    206.59     39.58      5.22   1000000         0
1611.86/1612.34	c       102       164    213.10     35.78      5.96   1000000         0
1613.17/1613.66	c        90       201    214.95     36.19      5.94   1000000         0
1614.46/1614.99	c        92       224    210.12     35.51      5.92   1000000         0
1615.86/1616.33	c        94       197    212.55     33.78      6.29   1000000         0
1617.16/1617.65	c        95       180    212.71     38.33      5.55   1000000         0
1618.46/1618.98	c        99       264    211.37     36.98      5.72   1000000         0
1619.87/1620.31	c       109       173    211.77     38.67      5.48   1000000         0
1621.16/1621.64	c        94       218    208.76     37.49      5.57   1000000         0
1622.46/1622.97	c       101       242    204.76     38.34      5.34   1000000         0
1623.86/1624.30	c       113       208    215.11     39.90      5.39   1000000         0
1625.16/1625.63	c        68       259    206.93     37.61      5.50   1000000         0
1626.46/1626.96	c       101       157    208.56     40.81      5.11   1000000         0
1627.76/1628.27	c        99       185    212.56     38.27      5.55   1000000         0
1629.16/1629.60	c       116       226    216.61     37.74      5.74   1000000         0
1630.46/1630.93	c       110       211    213.56     38.68      5.52   1000000         0
1631.76/1632.26	c        80       177    204.40     40.00      5.11   1000000         0
1633.06/1633.58	c        94       172    205.82     34.36      5.99   1000000         0
1634.46/1634.90	c       108       204    208.92     36.50      5.72   1000000         0
1635.76/1636.23	c       115       249    214.06     34.93      6.13   1000000         0
1637.06/1637.56	c        94       188    208.37     35.88      5.81   1000000         0
1638.35/1638.89	c        93       162    204.18     38.92      5.25   1000000         0
1639.75/1640.22	c       110       186    205.68     36.55      5.63   1000000         0
1641.05/1641.55	c       111       188    213.36     39.92      5.34   1000000         0
1642.35/1642.88	c       106       175    218.39     34.94      6.25   1000000         0
1643.75/1644.20	c       106       202    217.68     40.09      5.43   1000000         0
1645.06/1645.53	c        97       194    204.33     34.73      5.88   1000000         0
1646.35/1646.87	c       119       176    211.84     35.08      6.04   1000000         0
1647.75/1648.20	c        84       178    208.30     32.50      6.41   1000000         0
1649.05/1649.52	c       100       210    210.94     32.74      6.44   1000000         0
1650.35/1650.86	c       106       244    213.17     38.42      5.55   1000000         0
1651.66/1652.19	c       103       234    209.39     36.48      5.74   1000000         0
1653.05/1653.51	c        97       146    211.24     38.17      5.53   1000000         0
1654.35/1654.85	c        91       273    212.29     39.28      5.40   1000000         0
1655.65/1656.17	c       121       207    214.98     36.61      5.87   1000000         0
1657.05/1657.50	c       105       218    217.40     37.70      5.77   1000000         0
1658.36/1658.83	c       119       190    213.84     37.63      5.68   1000000         0
1659.65/1660.16	c        89       202    212.02     37.51      5.65   1000000         0
1660.95/1661.48	c       101       120    206.51     39.68      5.20   1000000         0
1662.35/1662.81	c       110       223    208.09     32.48      6.41   1000000         0
1663.65/1664.13	c       102       225    209.80     36.64      5.73   1000000         0
1664.96/1665.46	c       117       152    217.08     37.02      5.86   1000000         0
1666.25/1666.79	c       104       200    203.99     33.41      6.11   1000000         0
1667.65/1668.12	c       110       231    214.98     33.79      6.36   1000000         0
1668.95/1669.45	c       102       199    207.77     33.61      6.18   1000000         0
1670.25/1670.78	c       103       181    217.27     36.11      6.02   1000000         0
1671.65/1672.10	c       103       227    216.02     37.73      5.73   1000000         0
1672.95/1673.44	c       103       223    214.29     41.26      5.19   1000000         0
1674.25/1674.77	c        97       185    211.12     35.34      5.97   1000000         0
1675.64/1676.10	c        80       240    214.72     36.94      5.81   1000000         0
1676.95/1677.42	c       102       215    211.99     33.81      6.27   1000000         0
1678.24/1678.75	c       107       220    212.95     36.12      5.90   1000000         0
1679.54/1680.07	c       110       175    213.27     34.43      6.19   1000000         0
1680.84/1681.39	c       125       217    214.38     34.07      6.29   1000000         0
1682.24/1682.72	c       108       177    214.50     36.72      5.84   1000000         0
1683.55/1684.05	c       104       238    216.46     36.56      5.92   1000000         0
1684.84/1685.37	c        98       194    213.56     36.88      5.79   1000000         0
1686.24/1686.70	c       103       219    212.08     39.28      5.40   1000000         0
1687.54/1688.03	c       120       189    217.89     38.61      5.64   1000000         0
1688.84/1689.36	c       104       211    208.72     34.02      6.14   1000000         0
1690.15/1690.69	c       110       213    215.84     37.93      5.69   1000000         0
1691.54/1692.02	c       113       223    216.30     32.07      6.74   1000000         0
1692.84/1693.35	c       110       170    208.83     36.94      5.65   1000000         0
1694.14/1694.68	c       116       273    212.00     37.35      5.68   1000000         0
1695.54/1696.01	c        88       173    204.33     36.77      5.56   1000000         0
1696.85/1697.34	c        97       180    209.91     39.67      5.29   1000000         0
1698.14/1698.67	c        96       137    211.88     34.34      6.17   1000000         0
1699.44/1699.99	c        96       261    209.56     36.65      5.72   1000000         0
1700.84/1701.32	c        89       192    205.55     33.91      6.06   1000000         0
1702.14/1702.64	c       116       175    215.95     33.32      6.48   1000000         0
1703.45/1703.96	c       109       160    211.57     37.55      5.63   1000000         0
1704.74/1705.30	c       112       207    214.02     32.78      6.53   1000000         0
1706.14/1706.63	c        96       184    207.30     35.46      5.85   1000000         0
1707.44/1707.95	c        86       196    208.73     37.06      5.63   1000000         0
1708.74/1709.27	c       115       182    213.68     33.01      6.47   1000000         0
1710.14/1710.61	c       108       287    210.34     36.40      5.78   1000000         0
1711.44/1711.93	c       106       221    210.07     33.53      6.26   1000000         0
1712.74/1713.26	c       108       220    218.31     41.03      5.32   1000000         0
1714.04/1714.59	c        93       244    207.59     38.34      5.42   1000000         0
1715.44/1715.92	c       124       181    215.48     34.20      6.30   1000000         0
1716.74/1717.26	c       104       225    209.75     36.74      5.71   1000000         0
1718.03/1718.58	c        98       161    203.66     33.72      6.04   1000000         0
1719.43/1719.91	c        88       196    210.76     37.47      5.62   1000000         0
1720.73/1721.24	c       122       201    215.02     35.45      6.06   1000000         0
1722.04/1722.56	c       112       204    214.50     33.71      6.36   1000000         0
1723.33/1723.90	c        90       192    211.17     40.96      5.16   1000000         0
1724.73/1725.23	c       106       161    206.69     36.65      5.64   1000000         0
1726.03/1726.55	c       102       242    210.42     33.65      6.25   1000000         0
1727.33/1727.88	c       113       170    215.61     37.69      5.72   1000000         0
1728.64/1729.20	c       111       143    211.86     35.59      5.95   1000000         0
1730.03/1730.53	c        90       171    209.58     37.83      5.54   1000000         0
1731.33/1731.86	c       112       161    208.10     33.47      6.22   1000000         0
1732.63/1733.19	c       111       214    207.21     32.28      6.42   1000000         0
1734.03/1734.52	c       112       168    211.14     39.75      5.31   1000000         0
1735.34/1735.84	c       105       229    213.46     40.36      5.29   1000000         0
1736.63/1737.17	c        88       252    210.17     39.19      5.36   1000000         0
1737.93/1738.49	c       107       192    216.71     39.32      5.51   1000000         0
1739.33/1739.82	c       123       181    211.58     33.37      6.34   1000000         0
1740.63/1741.15	c       119       237    215.96     35.54      6.08   1000000         0
1741.94/1742.48	c       105       180    206.60     37.49      5.51   1000000         0
1743.33/1743.82	c       111       164    208.90     33.33      6.27   1000000         0
1744.63/1745.14	c       106       179    213.26     37.27      5.72   1000000         0
1745.93/1746.48	c       108       223    207.32     33.25      6.24   1000000         0
1747.33/1747.80	c       103       179    210.09     42.78      4.91   1000000         0
1748.63/1749.13	c       106       164    210.37     36.12      5.82   1000000         0
1749.93/1750.46	c        98       210    208.21     37.56      5.54   1000000         0
1751.23/1751.79	c       106       173    212.88     33.83      6.29   1000000         0
1752.62/1753.12	c       108       248    208.40     39.91      5.22   1000000         0
1753.93/1754.44	c       113       256    209.79     35.50      5.91   1000000         0
1755.22/1755.77	c       119       193    212.19     40.11      5.29   1000000         0
1756.62/1757.10	c       107       214    213.50     35.43      6.03   1000000         0
1757.92/1758.43	c       108       228    207.74     35.70      5.82   1000000         0
1759.22/1759.76	c       111       141    218.43     37.03      5.90   1000000         0
1760.53/1761.08	c        75       229    213.44     40.81      5.23   1000000         0
1761.92/1762.41	c       100       206    208.23     34.74      5.99   1000000         0
1763.22/1763.74	c       109       194    211.47     35.12      6.02   1000000         0
1764.52/1765.08	c        87       199    210.44     38.76      5.43   1000000         0
1765.92/1766.40	c       111       195    211.96     36.78      5.76   1000000         0
1767.23/1767.72	c       115       160    210.86     38.62      5.46   1000000         0
1768.52/1769.04	c       107       297    211.69     38.20      5.54   1000000         0
1769.82/1770.38	c       104       147    212.72     32.18      6.61   1000000         0
1771.22/1771.71	c       106       196    211.55     37.66      5.62   1000000         0
1772.52/1773.04	c       112       222    206.91     35.71      5.79   1000000         0
1773.83/1774.36	c        78       191    213.72     38.35      5.57   1000000         0
1775.12/1775.69	c       100       235    216.24     37.39      5.78   1000000         0
1776.52/1777.02	c       120       194    211.88     31.42      6.74   1000000         0
1777.82/1778.34	c       123       204    218.33     38.67      5.65   1000000         0
1779.12/1779.66	c       102       185    206.70     40.25      5.14   1000000         0
1780.42/1780.99	c        80       223    208.42     34.80      5.99   1000000         0
1781.82/1782.31	c       115       188    214.27     34.59      6.19   1000000         0
1783.12/1783.63	c        90       249    207.13     36.00      5.75   1000000         0
1784.42/1784.96	c       101       180    215.79     35.47      6.08   1000000         0
1785.72/1786.28	c       119       189    217.97     35.06      6.22   1000000         0
1787.12/1787.61	c       101       181    212.85     35.67      5.97   1000000         0
1788.42/1788.94	c       110       220    207.98     38.64      5.38   1000000         0
1789.71/1790.26	c       116       227    206.32     34.22      6.03   1000000         0
1791.11/1791.60	c       104       192    205.66     34.12      6.03   1000000         0
1792.42/1792.93	c        83       191    202.40     36.89      5.49   1000000         0
1793.71/1794.25	c       112       232    215.73     36.89      5.85   1000000         0
1795.01/1795.58	c       111       196    214.24     35.28      6.07   1000000         0
1796.41/1796.91	c        79       190    200.93     41.68      4.82   1000000         0
1797.71/1798.22	c       121       256    219.34     36.71      5.98   1000000         0
1799.02/1799.54	c       125       194    219.03     33.48      6.54   1000000         0
1800.02/1800.50	HOME/run: line 2:  3017 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-2669882-1276611160/watcher-2669882-1276611160 -o /tmp/evaluation-result-2669882-1276611160/solver-2669882-1276611160 -C 1800 -W 2000 -M 1800 run HOME/instance-2669882-1276611160.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: 0.99 0.98 0.99 3/106 3016
/proc/meminfo: memFree=1651828/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) R 3014 3016 2877 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367612309 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0

[startup+0.0237909 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 3016
/proc/meminfo: memFree=1651828/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100799 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 3016
/proc/meminfo: memFree=1651828/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300821 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 3016
/proc/meminfo: memFree=1651828/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700865 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 3016
/proc/meminfo: memFree=1651828/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50095 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3018
/proc/meminfo: memFree=1648340/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1.49
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 149 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526812 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10113 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3018
/proc/meminfo: memFree=1648216/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=3.09
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 309 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30148 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3018
/proc/meminfo: memFree=1648092/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=6.29
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 629 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134537261 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3018
/proc/meminfo: memFree=1647968/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=12.69
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 1269 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5006 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3018
/proc/meminfo: memFree=1647844/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=25.49
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 2549 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49152

[startup+51.1004 s]
/proc/loadavg: 1.06 1.00 1.00 2/108 3020
/proc/meminfo: memFree=1647844/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=51.08
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 5108 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526328 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 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.09 1.02 1.00 2/108 3023
/proc/meminfo: memFree=1647224/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=102.27
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 10227 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/108 3025
/proc/meminfo: memFree=1647224/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=162.25
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 16225 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526677 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 3027
/proc/meminfo: memFree=1647224/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=222.23
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 22223 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/108 3029
/proc/meminfo: memFree=1647224/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=282.22
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 28222 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134537194 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 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.08 1.05 1.00 2/108 3029
/proc/meminfo: memFree=1646976/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=342.2
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 34220 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134525654 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/108 3031
/proc/meminfo: memFree=1646976/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=402.18
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 40218 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134537194 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=3017] ppid=3016 vsize=40452 CPUtime=1121.99
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 112199 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.02 1.08 1.02 2/108 3053
/proc/meminfo: memFree=1645240/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1181.98
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 118198 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526999 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.01 1.06 1.01 2/108 3053
/proc/meminfo: memFree=1644992/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1241.96
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 124196 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134537141 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/108 3055
/proc/meminfo: memFree=1644868/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1301.95
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 130195 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526261 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/108 3057
/proc/meminfo: memFree=1644868/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1361.93
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 136193 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 3059
/proc/meminfo: memFree=1644744/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1421.92
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 142192 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134519815 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 3061
/proc/meminfo: memFree=1644744/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1481.9
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 148190 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 3061
/proc/meminfo: memFree=1644620/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1541.88
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 154188 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 3063
/proc/meminfo: memFree=1644372/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1601.87
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 160187 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526267 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3065
/proc/meminfo: memFree=1644372/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1661.85
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 166185 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3067
/proc/meminfo: memFree=1644248/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1721.83
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 172183 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134526605 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3069
/proc/meminfo: memFree=1643876/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1781.82
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 178182 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.82
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 3069
/proc/meminfo: memFree=1643876/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1800.02
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 180002 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

leeping 2I seconds
Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3069
/proc/meminfo: memFree=1643876/2059040 swapFree=4140260/4192956
[pid=3016] ppid=3014 vsize=8700 CPUtime=0
/proc/3016/stat : 3016 (run) S 3014 3016 2877 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 36717743 8908800 243 1992294400 4194304 4922060 140734597373488 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3016/statm: 2175 243 204 178 0 68 0
[pid=3017] ppid=3016 vsize=40452 CPUtime=1800.02
/proc/3017/stat : 3017 (PB-wave) R 3016 3016 2877 0 -1 4202496 898 0 0 0 180002 0 0 0 25 0 1 0 36717743 41422848 828 1992294400 134512640 135071400 4294865616 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3017/statm: 10113 828 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1800.03
CPU system time (s): 0.008998
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.74258 second user time and 8.80366 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-15 16:12:40
IDJOB=2669882
IDBENCH=1480
IDSOLVER=1171
FILE ID=node009/2669882-1276611160
PBS_JOBID= 11172288
Free space on /tmp= 62556 MiB

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

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

MD5SUM BENCH= ec41e051a85a6b1d97ef15d7e169228d
RANDOM SEED=1986657994

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1652356 kB
Buffers:        114816 kB
Cached:         209580 kB
SwapCached:       6532 kB
Active:         112592 kB
Inactive:       225488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1652356 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:             888 kB
Writeback:           0 kB
AnonPages:       11588 kB
Mapped:          13112 kB
Slab:            46812 kB
PageTables:       4048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181944 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= 62552 MiB
End job on node009 at 2010-06-15 16:42:40