Trace number 2669875

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
MD5SUM959fbe15545355cb65c359cdf131bbdc
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.121981
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3736
Total number of constraints10457
Number of constraints which are clauses10089
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints368
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 = 70276495
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 3736 #con 10457
0.00/0.03	mode is SAT
0.00/0.03	c tail starts after flip = 11208
0.00/0.03	c numatom = 3736, numclause = 10457, numliterals = 27301
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.31	c       113       223    208.54     33.99      6.13   1000000         0
2.49/2.59	c       114       177    212.45     45.97      4.62   1000000         0
3.79/3.87	c       109       235    213.09     43.17      4.94   1000000         0
5.09/5.14	c        97       233    217.28     45.39      4.79   1000000         0
6.39/6.43	c       120       208    211.37     40.57      5.21   1000000         0
7.69/7.71	c        99       185    210.24     45.81      4.59   1000000         0
8.89/8.99	c       111       224    213.18     40.29      5.29   1000000         0
10.19/10.27	c       109       172    207.11     36.48      5.68   1000000         0
11.49/11.55	c       117       240    218.38     43.27      5.05   1000000         0
12.79/12.82	c       115       220    213.19     35.35      6.03   1000000         0
14.08/14.10	c       110       255    213.83     42.20      5.07   1000000         0
15.29/15.37	c       117       191    212.52     40.49      5.25   1000000         0
16.58/16.64	c       110       175    209.27     39.82      5.26   1000000         0
17.88/17.92	c        86       200    213.88     42.41      5.04   1000000         0
19.18/19.20	c       121       259    213.81     43.86      4.88   1000000         0
20.38/20.49	c       104       228    212.03     41.93      5.06   1000000         0
21.68/21.76	c       107       249    213.93     38.04      5.62   1000000         0
22.99/23.04	c       116       232    208.53     39.89      5.23   1000000         0
24.28/24.31	c       112       215    203.73     43.63      4.67   1000000         0
25.48/25.59	c       113       170    213.45     40.25      5.30   1000000         0
26.78/26.86	c       106       233    209.19     42.35      4.94   1000000         0
28.08/28.14	c       116       166    211.84     39.52      5.36   1000000         0
29.38/29.42	c       125       282    215.96     45.91      4.70   1000000         0
30.58/30.69	c       114       197    209.57     40.20      5.21   1000000         0
31.89/31.97	c       111       264    207.39     40.16      5.16   1000000         0
33.18/33.25	c       115       208    203.35     39.01      5.21   1000000         0
34.48/34.53	c       107       187    211.70     45.02      4.70   1000000         0
35.78/35.82	c       118       195    216.40     46.82      4.62   1000000         0
36.98/37.09	c       106       190    210.22     39.60      5.31   1000000         0
38.28/38.37	c       116       163    213.54     41.54      5.14   1000000         0
39.59/39.64	c       109       220    215.97     42.22      5.11   1000000         0
40.88/40.92	c        96       198    205.79     43.24      4.76   1000000         0
42.18/42.20	c        92       183    211.20     45.64      4.63   1000000         0
43.38/43.47	c       120       189    217.10     46.96      4.62   1000000         0
44.68/44.76	c       109       222    202.29     35.51      5.70   1000000         0
45.98/46.03	c       108       175    215.10     39.09      5.50   1000000         0
47.28/47.31	c       120       191    214.31     37.75      5.68   1000000         0
48.48/48.59	c       112       225    211.08     42.08      5.02   1000000         0
49.78/49.86	c       119       223    213.14     41.50      5.14   1000000         0
51.08/51.13	c       113       220    214.49     44.68      4.80   1000000         0
52.38/52.42	c       116       191    213.65     42.14      5.07   1000000         0
53.67/53.70	c       120       211    212.92     43.19      4.93   1000000         0
54.88/54.98	c       116       233    211.38     44.76      4.72   1000000         0
56.17/56.26	c       116       207    215.87     40.71      5.30   1000000         0
57.47/57.54	c       108       215    214.05     41.68      5.14   1000000         0
58.77/58.82	c       105       238    206.67     44.25      4.67   1000000         0
60.07/60.11	c       105       187    216.47     42.30      5.12   1000000         0
61.27/61.39	c       106       220    209.62     41.02      5.11   1000000         0
62.58/62.68	c       117       235    213.82     44.04      4.86   1000000         0
63.87/63.96	c       104       182    209.95     43.88      4.78   1000000         0
65.17/65.24	c       116       228    214.27     39.27      5.46   1000000         0
66.47/66.50	c       115       188    217.22     41.90      5.18   1000000         0
67.67/67.78	c       101       186    209.52     41.29      5.07   1000000         0
68.97/69.05	c       100       195    213.44     41.34      5.16   1000000         0
70.28/70.32	c       114       231    215.37     40.77      5.28   1000000         0
71.48/71.60	c       106       219    212.60     45.75      4.65   1000000         0
72.77/72.87	c        95       218    216.07     43.62      4.95   1000000         0
74.07/74.16	c       104       212    210.82     46.40      4.54   1000000         0
75.37/75.43	c       112       204    206.62     39.25      5.26   1000000         0
76.67/76.70	c        99       177    211.14     41.69      5.06   1000000         0
77.87/77.97	c       106       160    210.31     44.33      4.74   1000000         0
79.18/79.24	c       110       213    217.04     41.44      5.24   1000000         0
80.47/80.52	c       111       192    211.26     46.27      4.57   1000000         0
81.77/81.80	c       114       196    207.33     39.99      5.18   1000000         0
82.97/83.08	c       102       208    206.02     41.13      5.01   1000000         0
84.27/84.36	c       113       162    214.54     40.33      5.32   1000000         0
85.57/85.63	c       121       181    213.73     45.28      4.72   1000000         0
86.87/86.91	c       112       231    213.15     46.14      4.62   1000000         0
88.07/88.20	c       101       213    206.96     38.99      5.31   1000000         0
89.37/89.48	c       119       191    214.39     47.37      4.53   1000000         0
90.67/90.76	c       103       203    208.43     43.97      4.74   1000000         0
91.97/92.05	c       117       235    209.54     38.15      5.49   1000000         0
93.26/93.33	c       110       186    207.91     40.39      5.15   1000000         0
94.47/94.60	c       102       184    210.19     42.93      4.90   1000000         0
95.76/95.89	c        91       122    211.23     43.68      4.84   1000000         0
97.06/97.16	c       114       201    209.93     42.49      4.94   1000000         0
98.36/98.45	c       111       170    208.72     45.32      4.61   1000000         0
99.66/99.73	c       116       166    209.95     46.80      4.49   1000000         0
100.96/101.02	c       125       199    214.37     41.78      5.13   1000000         0
102.27/102.30	c       111       169    209.20     40.45      5.17   1000000         0
103.46/103.57	c       102       232    213.86     39.11      5.47   1000000         0
104.76/104.85	c       106       208    211.01     41.14      5.13   1000000         0
106.06/106.13	c       115       232    216.83     44.62      4.86   1000000         0
107.36/107.41	c        85       196    207.23     44.75      4.63   1000000         0
108.56/108.68	c       108       215    209.10     42.23      4.95   1000000         0
109.87/109.95	c       127       171    221.08     46.93      4.71   1000000         0
111.16/111.24	c       108       192    212.19     43.75      4.85   1000000         0
112.46/112.52	c       117       209    207.80     35.67      5.83   1000000         0
113.76/113.80	c       101       231    210.15     40.22      5.22   1000000         0
114.96/115.08	c       119       214    215.06     42.29      5.08   1000000         0
116.26/116.36	c       102       182    207.92     42.70      4.87   1000000         0
117.57/117.65	c       122       210    205.77     38.26      5.38   1000000         0
118.86/118.92	c       121       185    225.16     49.76      4.53   1000000         0
120.16/120.20	c       112       225    211.55     41.16      5.14   1000000         0
121.36/121.49	c       108       186    209.31     42.47      4.93   1000000         0
122.66/122.77	c       121       206    214.70     42.24      5.08   1000000         0
123.96/124.05	c       121       198    212.33     41.87      5.07   1000000         0
125.26/125.32	c       118       168    214.04     48.99      4.37   1000000         0
126.56/126.60	c       107       199    213.23     42.72      4.99   1000000         0
127.76/127.87	c       113       248    213.68     43.12      4.96   1000000         0
129.06/129.15	c       111       215    209.29     43.31      4.83   1000000         0
130.36/130.43	c       112       274    220.86     45.95      4.81   1000000         0
131.65/131.70	c        84       225    213.31     43.97      4.85   1000000         0
132.85/132.98	c       109       165    211.27     43.06      4.91   1000000         0
134.16/134.26	c       101       211    206.78     46.56      4.44   1000000         0
135.45/135.53	c       121       183    209.60     35.89      5.84   1000000         0
136.75/136.81	c       107       167    210.28     36.50      5.76   1000000         0
137.95/138.09	c       118       226    214.09     45.38      4.72   1000000         0
139.25/139.36	c        98       220    214.28     43.65      4.91   1000000         0
140.55/140.64	c       103       195    214.78     40.41      5.31   1000000         0
141.86/141.92	c        99       164    213.34     52.21      4.09   1000000         0
143.15/143.20	c       125       156    216.11     36.89      5.86   1000000         0
144.35/144.48	c       122       227    213.89     41.94      5.10   1000000         0
145.65/145.75	c       113       238    210.45     38.33      5.49   1000000         0
146.95/147.04	c       108       211    207.55     39.05      5.31   1000000         0
148.25/148.32	c       114       191    212.23     40.42      5.25   1000000         0
149.56/149.62	c       105       207    208.53     50.59      4.12   1000000         0
150.75/150.89	c       101       224    211.49     41.13      5.14   1000000         0
152.05/152.17	c       121       268    213.80     45.18      4.73   1000000         0
153.35/153.45	c       115       227    210.50     37.82      5.57   1000000         0
154.65/154.73	c       116       183    215.59     45.05      4.79   1000000         0
155.95/156.01	c       107       198    205.84     41.87      4.92   1000000         0
157.16/157.28	c       109       184    216.05     47.34      4.56   1000000         0
158.45/158.56	c       102       222    209.15     41.13      5.09   1000000         0
159.75/159.84	c       119       176    210.39     41.84      5.03   1000000         0
161.05/161.11	c       109       252    218.33     44.49      4.91   1000000         0
162.25/162.38	c       109       191    212.06     42.84      4.95   1000000         0
163.55/163.65	c       108       179    215.61     41.30      5.22   1000000         0
164.85/164.93	c       121       185    213.18     44.75      4.76   1000000         0
166.15/166.21	c       115       203    209.47     42.23      4.96   1000000         0
167.35/167.49	c       118       220    213.35     40.37      5.28   1000000         0
168.65/168.77	c       113       143    209.10     42.34      4.94   1000000         0
169.95/170.05	c       117       244    215.09     42.21      5.10   1000000         0
171.24/171.33	c       107       237    205.88     40.53      5.08   1000000         0
172.55/172.61	c       106       184    212.75     43.32      4.91   1000000         0
173.84/173.90	c        97       195    208.68     45.10      4.63   1000000         0
175.04/175.18	c       100       200    211.09     42.43      4.98   1000000         0
176.34/176.46	c       118       208    209.05     44.37      4.71   1000000         0
177.64/177.73	c       121       234    219.89     46.98      4.68   1000000         0
178.94/179.01	c       114       179    207.33     39.15      5.30   1000000         0
180.25/180.30	c       105       214    203.21     40.58      5.01   1000000         0
181.45/181.58	c       111       177    210.34     42.18      4.99   1000000         0
182.74/182.85	c       116       182    218.10     41.42      5.27   1000000         0
184.04/184.13	c       109       165    208.49     35.21      5.92   1000000         0
185.34/185.41	c       107       224    207.68     44.35      4.68   1000000         0
186.54/186.68	c       112       187    205.48     36.85      5.58   1000000         0
187.84/187.97	c       116       185    210.90     40.42      5.22   1000000         0
189.15/189.25	c       108       235    215.11     37.00      5.81   1000000         0
190.44/190.53	c       112       187    210.25     46.16      4.55   1000000         0
191.74/191.80	c        96       189    208.80     42.90      4.87   1000000         0
192.94/193.08	c       126       228    216.44     38.84      5.57   1000000         0
194.24/194.35	c       105       205    214.28     43.62      4.91   1000000         0
195.54/195.63	c       109       168    210.38     42.16      4.99   1000000         0
196.75/196.90	c        96       246    209.65     37.46      5.60   1000000         0
198.04/198.19	c       112       221    211.97     42.11      5.03   1000000         0
199.34/199.47	c       112       174    206.37     46.11      4.48   1000000         0
200.64/200.74	c       120       197    216.92     40.26      5.39   1000000         0
201.94/202.01	c       112       180    214.64     40.23      5.34   1000000         0
203.14/203.28	c       106       195    211.71     44.17      4.79   1000000         0
204.44/204.56	c       100       253    210.53     41.98      5.02   1000000         0
205.74/205.84	c       117       213    218.19     37.78      5.78   1000000         0
207.04/207.11	c       113       172    212.05     38.34      5.53   1000000         0
208.24/208.39	c       109       233    208.46     42.63      4.89   1000000         0
209.54/209.68	c       107       207    210.66     45.07      4.67   1000000         0
210.83/210.95	c       122       176    212.72     42.26      5.03   1000000         0
212.14/212.23	c       116       218    211.25     42.66      4.95   1000000         0
213.43/213.51	c       111       199    210.83     42.55      4.96   1000000         0
214.63/214.78	c       116       214    216.60     44.54      4.86   1000000         0
215.93/216.05	c       118       238    215.57     42.99      5.01   1000000         0
217.23/217.33	c       106       246    210.73     42.45      4.96   1000000         0
218.53/218.60	c       119       232    213.35     41.27      5.17   1000000         0
219.73/219.87	c       111       213    209.33     39.96      5.24   1000000         0
221.04/221.15	c       114       221    215.10     44.30      4.86   1000000         0
222.33/222.43	c       103       191    209.18     40.12      5.21   1000000         0
223.63/223.70	c       111       224    216.18     43.75      4.94   1000000         0
224.83/224.98	c       113       197    213.89     42.76      5.00   1000000         0
226.13/226.25	c       102       245    216.39     40.59      5.33   1000000         0
227.43/227.52	c       117       189    211.33     40.44      5.23   1000000         0
228.64/228.80	c       117       230    209.94     40.61      5.17   1000000         0
229.93/230.08	c       116       173    210.32     43.98      4.78   1000000         0
231.23/231.36	c       116       218    208.85     42.45      4.92   1000000         0
232.53/232.63	c       116       209    213.93     43.91      4.87   1000000         0
233.83/233.91	c       107       181    210.97     39.58      5.33   1000000         0
235.03/235.19	c       107       208    206.48     36.15      5.71   1000000         0
236.34/236.47	c       115       205    212.34     40.75      5.21   1000000         0
237.63/237.74	c       119       203    210.38     39.50      5.33   1000000         0
238.93/239.02	c       118       218    212.09     43.16      4.91   1000000         0
240.23/240.30	c       105       185    208.65     40.49      5.15   1000000         0
241.43/241.58	c       112       201    206.52     37.04      5.58   1000000         0
242.73/242.86	c       119       197    211.09     38.17      5.53   1000000         0
244.03/244.15	c       113       199    212.65     39.67      5.36   1000000         0
245.33/245.43	c       113       197    210.41     40.85      5.15   1000000         0
246.63/246.70	c       101       201    209.33     40.43      5.18   1000000         0
247.83/247.98	c        95       165    216.53     42.05      5.15   1000000         0
249.13/249.26	c       105       157    209.73     37.58      5.58   1000000         0
250.42/250.52	c       116       224    216.27     40.59      5.33   1000000         0
251.62/251.79	c       107       259    212.25     35.78      5.93   1000000         0
252.93/253.08	c       115       265    209.86     39.73      5.28   1000000         0
254.22/254.35	c       119       227    214.04     45.79      4.67   1000000         0
255.52/255.63	c        95       193    218.19     45.44      4.80   1000000         0
256.82/256.90	c       118       236    212.82     44.35      4.80   1000000         0
258.02/258.18	c       101       187    210.15     42.33      4.96   1000000         0
259.32/259.46	c       121       189    215.43     37.57      5.73   1000000         0
260.63/260.74	c       106       190    210.06     42.72      4.92   1000000         0
261.92/262.02	c       114       228    208.78     42.71      4.89   1000000         0
263.22/263.30	c       102       228    209.33     46.06      4.54   1000000         0
264.42/264.58	c       106       241    212.17     40.90      5.19   1000000         0
265.72/265.85	c       121       182    224.03     38.90      5.76   1000000         0
267.02/267.11	c       110       187    211.01     42.40      4.98   1000000         0
268.23/268.40	c       117       199    212.40     44.18      4.81   1000000         0
269.52/269.67	c       117       192    216.93     39.80      5.45   1000000         0
270.82/270.96	c       102       188    211.44     43.51      4.86   1000000         0
272.12/272.22	c       110       177    211.44     39.61      5.34   1000000         0
273.42/273.50	c       121       184    216.19     45.20      4.78   1000000         0
274.62/274.78	c       112       215    212.10     39.83      5.32   1000000         0
275.93/276.06	c       101       215    209.94     42.05      4.99   1000000         0
277.22/277.34	c       112       167    208.36     42.46      4.91   1000000         0
278.52/278.61	c       113       200    210.17     39.23      5.36   1000000         0
279.72/279.89	c       118       233    210.09     44.71      4.70   1000000         0
281.02/281.16	c       124       164    216.90     41.78      5.19   1000000         0
282.32/282.43	c       102       234    212.21     42.64      4.98   1000000         0
283.62/283.71	c       106       218    213.57     47.44      4.50   1000000         0
284.92/285.00	c       125       207    215.62     40.55      5.32   1000000         0
286.12/286.28	c       115       239    218.12     39.36      5.54   1000000         0
287.42/287.56	c       108       172    208.12     45.92      4.53   1000000         0
288.72/288.84	c       111       208    214.76     41.48      5.18   1000000         0
290.01/290.11	c       116       162    217.66     48.00      4.53   1000000         0
291.21/291.39	c       119       272    217.80     40.26      5.41   1000000         0
292.52/292.66	c       123       223    219.17     43.56      5.03   1000000         0
293.81/293.94	c       117       227    213.69     37.34      5.72   1000000         0
295.11/295.21	c       100       176    211.64     46.43      4.56   1000000         0
296.31/296.49	c       123       228    211.75     39.96      5.30   1000000         0
297.61/297.76	c       116       264    214.25     45.86      4.67   1000000         0
298.91/299.05	c        98       179    207.84     37.30      5.57   1000000         0
300.22/300.33	c       114       213    213.31     46.52      4.59   1000000         0
301.51/301.61	c       120       152    211.52     43.50      4.86   1000000         0
302.71/302.88	c       122       219    211.35     39.60      5.34   1000000         0
304.01/304.15	c       119       200    214.39     44.04      4.87   1000000         0
305.31/305.43	c       117       211    211.65     43.25      4.89   1000000         0
306.61/306.71	c       114       173    213.62     46.18      4.63   1000000         0
307.82/307.99	c       100       209    209.36     41.29      5.07   1000000         0
309.11/309.26	c        98       200    213.57     39.51      5.40   1000000         0
310.41/310.54	c       106       220    210.70     45.60      4.62   1000000         0
311.71/311.82	c       113       207    214.71     39.29      5.47   1000000         0
312.91/313.09	c       104       222    211.17     37.59      5.62   1000000         0
314.21/314.37	c       114       229    208.43     40.59      5.14   1000000         0
315.52/315.65	c       114       223    212.10     43.14      4.92   1000000         0
316.81/316.93	c       111       238    206.81     40.27      5.14   1000000         0
318.01/318.19	c       123       200    216.96     40.41      5.37   1000000         0
319.31/319.46	c       104       175    210.40     43.84      4.80   1000000         0
320.61/320.74	c       114       185    213.58     40.77      5.24   1000000         0
321.91/322.02	c       106       180    206.81     37.99      5.44   1000000         0
323.21/323.30	c       120       190    207.69     35.33      5.88   1000000         0
324.41/324.57	c       110       192    212.67     42.12      5.05   1000000         0
325.71/325.85	c       120       175    214.61     40.96      5.24   1000000         0
327.01/327.12	c       104       208    217.28     44.18      4.92   1000000         0
328.31/328.41	c        95       217    206.44     41.82      4.94   1000000         0
329.50/329.67	c       127       228    216.32     35.29      6.13   1000000         0
330.80/330.95	c       111       193    209.75     39.69      5.28   1000000         0
332.11/332.22	c       108       202    211.83     45.37      4.67   1000000         0
333.40/333.51	c       118       203    211.76     44.74      4.73   1000000         0
334.60/334.78	c       100       171    215.17     43.50      4.95   1000000         0
335.90/336.07	c       121       177    207.85     40.64      5.11   1000000         0
337.20/337.36	c       110       178    209.30     41.91      4.99   1000000         0
338.50/338.63	c       114       230    210.80     42.29      4.98   1000000         0
339.81/339.91	c       130       208    211.77     37.92      5.58   1000000         0
341.00/341.19	c       107       244    209.76     38.05      5.51   1000000         0
342.30/342.45	c       118       163    210.76     42.28      4.99   1000000         0
343.60/343.74	c       112       185    210.06     45.69      4.60   1000000         0
344.90/345.01	c       117       197    214.69     42.82      5.01   1000000         0
346.10/346.28	c        96       141    215.82     41.96      5.14   1000000         0
347.41/347.56	c       116       228    212.17     41.60      5.10   1000000         0
348.70/348.84	c       120       184    208.10     40.49      5.14   1000000         0
350.00/350.13	c       117       209    214.37     45.14      4.75   1000000         0
351.30/351.41	c       111       179    208.38     42.29      4.93   1000000         0
352.50/352.69	c       121       226    207.57     44.27      4.69   1000000         0
353.80/353.97	c       108       255    214.57     41.32      5.19   1000000         0
355.10/355.24	c       104       187    208.95     43.21      4.84   1000000         0
356.40/356.52	c       110       188    207.40     36.55      5.67   1000000         0
357.70/357.81	c       110       184    210.40     42.27      4.98   1000000         0
358.90/359.08	c       120       203    212.89     39.86      5.34   1000000         0
360.20/360.35	c       109       217    207.38     38.38      5.40   1000000         0
361.50/361.63	c       116       192    215.36     42.91      5.02   1000000         0
362.80/362.91	c        94       214    210.58     40.87      5.15   1000000         0
364.00/364.18	c       116       229    211.72     45.03      4.70   1000000         0
365.29/365.45	c       104       189    215.10     42.34      5.08   1000000         0
366.59/366.74	c       108       190    213.67     39.73      5.38   1000000         0
367.89/368.03	c       102       223    205.95     46.08      4.47   1000000         0
369.19/369.31	c       113       173    213.68     50.13      4.26   1000000         0
370.39/370.59	c       110       185    210.90     41.84      5.04   1000000         0
371.70/371.86	c       111       207    218.38     40.62      5.38   1000000         0
372.99/373.14	c       114       208    209.89     41.93      5.01   1000000         0
374.29/374.43	c       108       200    215.53     46.39      4.65   1000000         0
375.59/375.71	c        96       239    209.76     42.85      4.90   1000000         0
376.79/376.99	c       107       220    207.31     47.32      4.38   1000000         0
378.09/378.27	c        99       228    208.41     46.11      4.52   1000000         0
379.40/379.55	c       100       231    211.56     42.30      5.00   1000000         0
380.69/380.83	c        88       213    205.63     41.38      4.97   1000000         0
381.99/382.10	c       104       206    210.17     38.01      5.53   1000000         0
383.19/383.38	c       104       222    207.05     39.22      5.28   1000000         0
384.49/384.65	c       105       179    215.35     45.86      4.70   1000000         0
385.79/385.93	c       113       203    218.61     37.93      5.76   1000000         0
387.00/387.20	c       111       191    215.46     41.99      5.13   1000000         0
388.29/388.48	c       114       201    213.45     45.19      4.72   1000000         0
389.59/389.75	c       109       182    210.14     44.38      4.73   1000000         0
390.89/391.04	c       113       236    213.28     44.92      4.75   1000000         0
392.19/392.31	c       112       205    209.67     40.60      5.16   1000000         0
393.39/393.59	c       116       160    209.34     41.74      5.02   1000000         0
394.69/394.86	c       126       197    214.92     35.38      6.07   1000000         0
395.99/396.15	c       104       223    214.67     44.11      4.87   1000000         0
397.29/397.43	c       103       207    210.35     44.06      4.77   1000000         0
398.59/398.71	c       109       180    209.70     37.42      5.60   1000000         0
399.79/399.99	c       106       225    206.45     37.20      5.55   1000000         0
401.09/401.27	c       115       153    211.69     38.86      5.45   1000000         0
402.39/402.55	c       117       219    204.67     39.30      5.21   1000000         0
403.68/403.83	c       105       205    209.51     47.12      4.45   1000000         0
404.98/405.11	c       112       245    213.00     42.03      5.07   1000000         0
406.18/406.39	c       113       218    214.06     34.68      6.17   1000000         0
407.48/407.66	c       100       221    213.15     42.52      5.01   1000000         0
408.78/408.95	c       106       176    209.09     42.69      4.90   1000000         0
410.09/410.22	c        95       220    213.46     45.60      4.68   1000000         0
411.38/411.50	c       114       246    213.70     38.83      5.50   1000000         0
412.58/412.78	c       101       194    213.98     43.62      4.91   1000000         0
413.88/414.06	c        96       167    214.49     42.95      4.99   1000000         0
415.18/415.33	c       121       220    220.28     38.67      5.70   1000000         0
416.38/416.59	c       112       188    221.57     41.26      5.37   1000000         0
417.68/417.87	c       116       220    214.69     42.72      5.03   1000000         0
418.99/419.14	c       105       233    213.84     37.74      5.67   1000000         0
420.28/420.42	c        97       216    211.24     43.33      4.88   1000000         0
421.58/421.70	c       117       207    208.89     36.14      5.78   1000000         0
422.78/422.98	c       107       226    211.17     40.92      5.16   1000000         0
424.08/424.26	c       114       180    212.06     39.92      5.31   1000000         0
425.38/425.53	c       124       210    218.13     46.40      4.70   1000000         0
426.69/426.81	c       114       193    213.07     41.49      5.14   1000000         0
427.88/428.09	c       112       203    207.53     42.56      4.88   1000000         0
429.18/429.36	c       113       218    224.41     41.70      5.38   1000000         0
430.48/430.63	c       124       205    217.79     42.69      5.10   1000000         0
431.68/431.89	c       110       205    209.24     42.46      4.93   1000000         0
432.98/433.16	c       115       156    209.12     38.32      5.46   1000000         0
434.28/434.45	c       125       252    213.60     41.48      5.15   1000000         0
435.58/435.73	c       113       189    211.10     39.32      5.37   1000000         0
436.88/437.01	c       117       223    216.06     47.42      4.56   1000000         0
438.08/438.28	c       111       243    211.04     40.77      5.18   1000000         0
439.38/439.57	c       106       247    209.93     39.45      5.32   1000000         0
440.67/440.85	c       107       230    211.33     44.77      4.72   1000000         0
441.98/442.13	c       112       222    209.99     43.03      4.88   1000000         0
443.27/443.40	c       109       252    220.35     41.22      5.35   1000000         0
444.47/444.69	c       107       155    213.57     53.67      3.98   1000000         0
445.77/445.97	c       121       200    211.36     37.24      5.68   1000000         0
447.07/447.25	c       120       192    222.01     47.32      4.69   1000000         0
448.37/448.53	c       114       238    214.84     38.77      5.54   1000000         0
449.57/449.79	c       123       188    215.05     39.86      5.40   1000000         0
450.88/451.07	c       115       230    212.41     43.24      4.91   1000000         0
452.17/452.35	c       107       175    208.97     41.88      4.99   1000000         0
453.47/453.61	c       126       189    217.64     37.83      5.75   1000000         0
454.67/454.90	c       116       216    207.62     39.89      5.20   1000000         0
455.97/456.18	c       110       167    213.62     48.40      4.41   1000000         0
457.27/457.45	c       114       241    210.28     43.00      4.89   1000000         0
458.58/458.73	c       124       203    211.46     41.10      5.14   1000000         0
459.87/460.00	c       127       185    218.33     40.82      5.35   1000000         0
461.07/461.28	c       112       190    215.06     42.56      5.05   1000000         0
462.37/462.55	c       116       207    215.01     37.65      5.71   1000000         0
463.67/463.84	c       120       225    213.26     38.08      5.60   1000000         0
464.97/465.11	c       115       194    215.66     45.44      4.75   1000000         0
466.18/466.38	c       103       240    208.20     38.95      5.35   1000000         0
467.47/467.66	c       112       172    210.20     44.32      4.74   1000000         0
468.77/468.94	c       108       221    209.61     44.74      4.68   1000000         0
470.07/470.22	c       105       179    207.69     42.15      4.93   1000000         0
471.27/471.50	c       112       223    213.08     43.29      4.92   1000000         0
472.57/472.77	c        93       193    210.33     39.56      5.32   1000000         0
473.87/474.05	c       120       215    207.87     40.71      5.11   1000000         0
475.17/475.33	c        92       169    214.83     40.04      5.37   1000000         0
476.47/476.61	c       121       204    201.79     38.26      5.27   1000000         0
477.67/477.89	c       105       182    208.57     41.22      5.06   1000000         0
478.97/479.16	c       107       239    212.84     38.92      5.47   1000000         0
480.26/480.43	c       105       216    211.46     45.10      4.69   1000000         0
481.57/481.71	c       100       192    209.22     40.12      5.21   1000000         0
482.77/482.99	c       105       210    214.71     45.90      4.68   1000000         0
484.06/484.27	c       112       239    213.26     41.63      5.12   1000000         0
485.36/485.56	c        98       228    211.03     44.15      4.78   1000000         0
486.66/486.84	c        99       198    207.70     39.75      5.23   1000000         0
487.96/488.12	c       117       224    211.97     37.00      5.73   1000000         0
489.16/489.39	c       121       230    215.62     45.00      4.79   1000000         0
490.47/490.67	c       105       258    212.05     36.05      5.88   1000000         0
491.76/491.95	c       108       194    215.76     46.68      4.62   1000000         0
493.06/493.23	c       104       165    214.39     45.84      4.68   1000000         0
494.36/494.51	c       117       225    213.01     42.96      4.96   1000000         0
495.56/495.78	c       109       241    215.82     45.71      4.72   1000000         0
496.86/497.05	c       115       223    211.70     40.78      5.19   1000000         0
498.17/498.34	c       118       215    217.11     43.19      5.03   1000000         0
499.46/499.61	c       120       194    218.53     41.23      5.30   1000000         0
500.76/500.90	c       101       153    206.35     44.09      4.68   1000000         0
501.96/502.17	c       128       253    219.40     36.62      5.99   1000000         0
503.26/503.45	c       110       172    214.42     42.40      5.06   1000000         0
504.56/504.74	c       117       263    210.97     44.28      4.76   1000000         0
505.86/506.01	c       109       204    218.59     43.41      5.04   1000000         0
507.06/507.28	c        90       185    211.54     41.47      5.10   1000000         0
508.35/508.55	c       124       201    217.08     41.02      5.29   1000000         0
509.65/509.82	c       125       192    215.48     40.82      5.28   1000000         0
510.85/511.09	c       116       192    214.67     50.70      4.23   1000000         0
512.15/512.37	c       116       209    213.64     52.39      4.08   1000000         0
513.46/513.65	c       113       238    216.84     47.27      4.59   1000000         0
514.75/514.92	c       107       186    208.67     38.16      5.47   1000000         0
516.05/516.20	c       109       221    208.55     45.64      4.57   1000000         0
517.25/517.48	c       116       188    211.72     41.41      5.11   1000000         0
518.55/518.76	c       103       188    207.24     43.53      4.76   1000000         0
519.85/520.03	c       121       220    209.63     41.70      5.03   1000000         0
521.16/521.31	c       103       163    209.69     50.65      4.14   1000000         0
522.45/522.60	c       109       231    215.25     42.13      5.11   1000000         0
523.65/523.88	c       118       178    212.80     46.08      4.62   1000000         0
524.95/525.15	c        90       213    206.65     37.10      5.57   1000000         0
526.25/526.43	c       102       227    207.41     40.06      5.18   1000000         0
527.55/527.71	c       115       194    210.24     38.61      5.45   1000000         0
528.75/528.99	c        97       195    206.79     40.53      5.10   1000000         0
530.06/530.27	c       115       168    208.57     39.64      5.26   1000000         0
531.35/531.55	c       122       191    221.42     49.64      4.46   1000000         0
532.65/532.82	c       116       203    210.41     36.14      5.82   1000000         0
533.95/534.10	c       111       218    211.15     44.74      4.72   1000000         0
535.15/535.38	c       108       203    213.42     39.65      5.38   1000000         0
536.45/536.65	c       109       198    214.47     44.60      4.81   1000000         0
537.75/537.93	c       115       195    210.66     41.88      5.03   1000000         0
539.05/539.20	c       118       196    215.33     48.06      4.48   1000000         0
540.25/540.48	c        87       182    209.31     38.01      5.51   1000000         0
541.55/541.76	c       104       229    216.38     42.14      5.14   1000000         0
542.85/543.03	c       118       170    213.15     42.39      5.03   1000000         0
544.15/544.31	c       117       186    215.26     43.44      4.95   1000000         0
545.35/545.59	c       113       248    213.73     41.02      5.21   1000000         0
546.64/546.86	c       110       211    215.27     47.69      4.51   1000000         0
547.94/548.14	c       120       181    212.00     40.14      5.28   1000000         0
549.24/549.41	c       116       224    214.79     44.41      4.84   1000000         0
550.44/550.67	c       127       212    215.48     39.59      5.44   1000000         0
551.74/551.95	c       101       203    207.94     39.80      5.22   1000000         0
553.05/553.24	c       111       213    211.35     42.98      4.92   1000000         0
554.34/554.50	c       112       192    211.94     43.56      4.87   1000000         0
555.54/555.78	c       120       189    213.19     35.96      5.93   1000000         0
556.84/557.05	c       100       212    209.26     42.01      4.98   1000000         0
558.14/558.33	c       111       172    212.82     41.46      5.13   1000000         0
559.44/559.60	c       122       178    205.31     35.24      5.83   1000000         0
560.64/560.88	c       116       200    209.37     45.02      4.65   1000000         0
561.95/562.16	c       113       228    211.87     44.34      4.78   1000000         0
563.24/563.43	c       106       231    220.37     52.73      4.18   1000000         0
564.54/564.70	c       102       228    208.99     43.67      4.79   1000000         0
565.74/565.99	c       119       206    214.55     46.52      4.61   1000000         0
567.04/567.26	c       130       269    218.21     43.90      4.97   1000000         0
568.34/568.54	c       101       228    213.71     41.32      5.17   1000000         0
569.65/569.82	c       102       200    210.46     40.27      5.23   1000000         0
570.94/571.11	c        92       224    206.98     39.16      5.28   1000000         0
572.14/572.38	c       111       216    214.63     43.13      4.98   1000000         0
573.44/573.66	c       120       230    215.79     39.14      5.51   1000000         0
574.74/574.93	c       116       200    214.91     43.14      4.98   1000000         0
576.04/576.20	c       118       216    212.19     38.13      5.56   1000000         0
577.24/577.48	c       106       202    210.04     41.09      5.11   1000000         0
578.54/578.76	c       118       189    217.14     42.78      5.08   1000000         0
579.84/580.04	c       119       228    210.89     41.64      5.06   1000000         0
581.14/581.30	c       111       267    214.29     45.42      4.72   1000000         0
582.34/582.58	c       109       171    210.16     40.70      5.16   1000000         0
583.64/583.84	c       112       186    213.77     40.35      5.30   1000000         0
584.94/585.12	c       126       162    211.35     40.13      5.27   1000000         0
586.14/586.39	c       105       204    207.39     41.64      4.98   1000000         0
587.43/587.67	c       116       238    215.42     42.79      5.03   1000000         0
588.73/588.94	c       105       190    213.51     43.22      4.94   1000000         0
590.03/590.21	c       118       199    210.52     35.82      5.88   1000000         0
591.23/591.47	c       106       184    215.81     40.52      5.33   1000000         0
592.53/592.75	c       116       197    207.93     37.94      5.48   1000000         0
593.84/594.03	c       121       193    212.58     47.27      4.50   1000000         0
595.13/595.31	c       115       223    209.25     44.80      4.67   1000000         0
596.33/596.59	c       121       187    213.46     39.18      5.45   1000000         0
597.63/597.87	c       119       176    202.42     38.46      5.26   1000000         0
598.93/599.15	c       124       129    214.81     38.57      5.57   1000000         0
600.23/600.43	c       106       165    206.81     48.00      4.31   1000000         0
601.54/601.72	c       109       189    207.64     39.92      5.20   1000000         0
602.83/603.00	c       118       233    210.62     36.82      5.72   1000000         0
604.03/604.28	c       113       216    208.58     40.81      5.11   1000000         0
605.33/605.56	c       110       177    214.99     34.86      6.17   1000000         0
606.63/606.85	c       115       186    215.94     44.68      4.83   1000000         0
607.93/608.13	c       116       183    206.66     41.47      4.98   1000000         0
609.14/609.40	c       113       185    215.38     41.44      5.20   1000000         0
610.43/610.67	c       116       201    214.66     44.46      4.83   1000000         0
611.73/611.95	c       112       224    215.20     42.37      5.08   1000000         0
613.03/613.24	c       104       201    208.24     37.51      5.55   1000000         0
614.33/614.52	c       114       254    213.17     44.01      4.84   1000000         0
615.63/615.81	c       107       173    208.66     45.63      4.57   1000000         0
616.83/617.09	c       118       167    215.45     39.98      5.39   1000000         0
618.13/618.36	c       114       211    210.00     39.46      5.32   1000000         0
619.43/619.63	c       109       195    209.30     39.27      5.33   1000000         0
620.73/620.91	c       118       201    213.46     40.65      5.25   1000000         0
621.93/622.18	c       103       241    210.10     41.24      5.10   1000000         0
623.23/623.46	c       108       189    211.29     40.49      5.22   1000000         0
624.53/624.73	c       113       218    210.03     39.69      5.29   1000000         0
625.82/626.02	c       106       197    214.96     46.06      4.67   1000000         0
627.02/627.29	c       107       225    215.14     45.89      4.69   1000000         0
628.32/628.56	c        97       197    207.31     41.42      5.01   1000000         0
629.62/629.84	c       112       159    209.32     42.80      4.89   1000000         0
630.92/631.12	c       104       255    207.51     43.30      4.79   1000000         0
632.12/632.39	c       107       179    216.58     41.19      5.26   1000000         0
633.43/633.67	c       117       190    209.61     37.28      5.62   1000000         0
634.72/634.95	c       121       164    215.42     37.76      5.70   1000000         0
636.02/636.23	c       115       239    214.81     47.14      4.56   1000000         0
637.32/637.51	c       117       230    220.70     43.23      5.10   1000000         0
638.52/638.78	c       105       221    210.65     38.62      5.45   1000000         0
639.82/640.07	c       110       205    207.51     42.73      4.86   1000000         0
641.13/641.34	c       113       250    212.18     42.36      5.01   1000000         0
642.42/642.61	c       120       211    209.80     39.15      5.36   1000000         0
643.62/643.88	c       106       213    210.09     37.22      5.64   1000000         0
644.92/645.16	c       125       259    216.42     38.12      5.68   1000000         0
646.22/646.43	c       116       158    215.71     36.79      5.86   1000000         0
647.52/647.70	c        90       217    210.02     43.88      4.79   1000000         0
648.73/648.99	c       114       145    202.79     38.02      5.33   1000000         0
650.02/650.26	c       107       205    209.96     41.26      5.09   1000000         0
651.32/651.53	c       110       175    219.24     48.50      4.52   1000000         0
652.62/652.80	c       113       219    218.11     46.28      4.71   1000000         0
653.82/654.08	c       110       195    213.79     44.71      4.78   1000000         0
655.12/655.35	c       116       228    215.89     39.86      5.42   1000000         0
656.42/656.62	c        96       203    211.76     38.52      5.50   1000000         0
657.72/657.90	c       126       219    215.12     41.80      5.15   1000000         0
658.92/659.17	c       107       213    212.11     38.12      5.56   1000000         0
660.22/660.44	c       113       188    215.56     39.62      5.44   1000000         0
661.52/661.72	c       115       214    214.02     46.66      4.59   1000000         0
662.71/662.98	c       101       204    218.37     42.47      5.14   1000000         0
664.01/664.26	c       116       196    216.61     47.97      4.51   1000000         0
665.32/665.53	c       106       201    206.64     43.97      4.70   1000000         0
666.61/666.82	c       101       174    207.03     40.41      5.12   1000000         0
667.81/668.09	c       111       181    209.08     40.73      5.13   1000000         0
669.11/669.37	c       105       234    209.15     41.23      5.07   1000000         0
670.41/670.66	c       104       199    207.44     41.20      5.04   1000000         0
671.71/671.93	c       114       156    220.65     46.69      4.73   1000000         0
673.02/673.21	c       114       225    208.53     37.93      5.50   1000000         0
674.21/674.48	c       120       233    214.37     46.03      4.66   1000000         0
675.51/675.76	c       120       216    213.56     44.64      4.78   1000000         0
676.81/677.03	c       121       217    218.07     42.13      5.18   1000000         0
678.11/678.31	c       102       262    209.62     40.33      5.20   1000000         0
679.31/679.59	c       102       212    210.54     43.27      4.87   1000000         0
680.62/680.86	c       104       197    209.51     46.30      4.52   1000000         0
681.91/682.14	c       109       179    211.93     41.33      5.13   1000000         0
683.21/683.41	c       112       237    211.96     40.21      5.27   1000000         0
684.41/684.68	c       108       190    214.38     41.93      5.11   1000000         0
685.71/685.95	c       120       217    213.46     42.66      5.00   1000000         0
687.01/687.24	c       109       186    205.75     46.84      4.39   1000000         0
688.31/688.51	c       105       258    215.61     43.23      4.99   1000000         0
689.52/689.79	c       114       234    211.10     42.47      4.97   1000000         0
690.81/691.07	c       123       216    218.52     39.22      5.57   1000000         0
692.11/692.34	c       117       223    210.38     44.07      4.77   1000000         0
693.41/693.62	c       114       166    211.70     42.21      5.02   1000000         0
694.61/694.89	c       113       160    209.95     40.27      5.21   1000000         0
695.91/696.18	c       114       208    213.04     39.42      5.40   1000000         0
697.21/697.45	c       110       195    214.77     41.88      5.13   1000000         0
698.51/698.72	c       102       225    210.35     46.15      4.56   1000000         0
699.71/699.99	c       121       196    213.55     41.09      5.20   1000000         0
701.01/701.27	c       112       213    212.48     39.25      5.41   1000000         0
702.31/702.56	c       110       154    206.49     39.34      5.25   1000000         0
703.61/703.83	c       116       241    214.29     45.43      4.72   1000000         0
704.81/705.09	c       122       169    220.01     38.71      5.68   1000000         0
706.10/706.37	c       117       216    216.57     43.54      4.97   1000000         0
707.40/707.65	c       111       225    210.68     38.82      5.43   1000000         0
708.70/708.93	c       106       199    207.83     41.57      5.00   1000000         0
710.00/710.20	c       114       217    214.35     39.42      5.44   1000000         0
711.20/711.47	c       108       191    214.18     44.23      4.84   1000000         0
712.51/712.74	c       119       206    211.94     43.17      4.91   1000000         0
713.80/714.02	c       103       239    216.92     44.96      4.82   1000000         0
715.00/715.29	c       109       243    213.71     42.54      5.02   1000000         0
716.30/716.57	c       105       236    212.60     47.02      4.52   1000000         0
717.60/717.85	c       105       174    210.14     43.56      4.82   1000000         0
718.90/719.14	c       109       172    208.10     42.01      4.95   1000000         0
720.21/720.41	c       110       239    208.34     42.16      4.94   1000000         0
721.41/721.68	c       116       189    211.03     40.99      5.15   1000000         0
722.70/722.95	c       118       209    214.24     43.29      4.95   1000000         0
724.00/724.23	c       116       189    214.46     40.63      5.28   1000000         0
725.30/725.50	c       109       200    215.73     44.25      4.87   1000000         0
726.50/726.77	c       115       186    216.39     44.46      4.87   1000000         0
727.80/728.05	c       116       199    212.86     43.92      4.85   1000000         0
729.11/729.33	c       116       205    212.98     36.95      5.76   1000000         0
730.40/730.61	c       119       202    210.92     42.53      4.96   1000000         0
731.60/731.89	c        97       240    219.67     45.78      4.80   1000000         0
732.90/733.17	c       103       152    213.49     46.79      4.56   1000000         0
734.20/734.46	c       114       218    209.85     46.11      4.55   1000000         0
735.50/735.74	c       109       173    208.45     39.43      5.29   1000000         0
736.80/737.02	c       109       214    212.02     38.02      5.58   1000000         0
738.10/738.31	c       111       204    211.47     42.85      4.94   1000000         0
739.29/739.59	c       118       241    212.95     39.49      5.39   1000000         0
740.59/740.87	c        95       248    210.52     42.33      4.97   1000000         0
741.89/742.16	c       111       225    207.92     40.33      5.16   1000000         0
743.19/743.44	c       120       209    210.83     39.72      5.31   1000000         0
744.50/744.72	c       109       222    213.91     39.12      5.47   1000000         0
745.79/746.00	c       105       234    208.85     40.09      5.21   1000000         0
746.99/747.27	c       112       241    205.29     45.29      4.53   1000000         0
748.29/748.55	c       117       204    218.95     42.95      5.10   1000000         0
749.59/749.82	c       115       170    218.79     38.05      5.75   1000000         0
750.89/751.11	c       112       247    204.29     39.62      5.16   1000000         0
752.10/752.40	c       108       221    211.07     42.56      4.96   1000000         0
753.39/753.68	c       102       251    208.17     44.24      4.71   1000000         0
754.69/754.95	c       115       253    216.97     41.20      5.27   1000000         0
755.99/756.23	c       110       176    211.92     39.63      5.35   1000000         0
757.29/757.51	c       119       217    213.15     38.50      5.54   1000000         0
758.49/758.79	c       121       236    215.82     36.64      5.89   1000000         0
759.80/760.06	c       119       239    210.97     41.81      5.05   1000000         0
761.09/761.35	c       123       182    218.37     46.61      4.68   1000000         0
762.39/762.64	c       112       217    209.83     37.88      5.54   1000000         0
763.69/763.91	c       124       169    216.04     44.53      4.85   1000000         0
764.89/765.19	c       112       189    215.92     43.30      4.99   1000000         0
766.19/766.47	c       128       211    215.26     42.64      5.05   1000000         0
767.49/767.75	c       110       221    212.74     44.61      4.77   1000000         0
768.79/769.02	c       119       243    217.35     49.45      4.40   1000000         0
770.09/770.31	c       107       223    206.65     38.43      5.38   1000000         0
771.39/771.60	c       111       198    203.80     36.25      5.62   1000000         0
772.59/772.88	c       117       204    214.82     42.04      5.11   1000000         0
773.89/774.15	c        99       257    211.49     41.19      5.13   1000000         0
775.19/775.44	c       105       193    205.91     40.50      5.08   1000000         0
776.48/776.71	c       113       219    214.85     45.53      4.72   1000000         0
777.68/777.98	c       101       199    218.22     42.02      5.19   1000000         0
778.98/779.25	c       105       155    210.59     39.34      5.35   1000000         0
780.28/780.54	c       105       215    212.47     44.40      4.79   1000000         0
781.58/781.82	c       120       248    215.34     47.66      4.52   1000000         0
782.89/783.10	c       109       203    208.44     42.14      4.95   1000000         0
784.09/784.38	c        99       207    210.46     42.72      4.93   1000000         0
785.38/785.65	c       123       153    214.15     43.84      4.88   1000000         0
786.68/786.94	c       104       185    216.19     42.37      5.10   1000000         0
787.98/788.20	c       123       178    220.83     43.99      5.02   1000000         0
789.18/789.47	c        99       188    219.98     41.04      5.36   1000000         0
790.48/790.75	c       106       240    209.64     43.73      4.79   1000000         0
791.79/792.04	c       119       192    205.63     38.65      5.32   1000000         0
793.08/793.32	c       110       248    207.03     35.64      5.81   1000000         0
794.38/794.60	c       104       216    211.08     40.37      5.23   1000000         0
795.58/795.87	c       101       195    212.73     40.70      5.23   1000000         0
796.88/797.15	c       114       161    211.83     41.57      5.10   1000000         0
798.18/798.43	c       114       197    218.56     44.05      4.96   1000000         0
799.39/799.70	c       120       195    218.05     46.05      4.73   1000000         0
800.68/800.98	c       120       229    213.39     41.15      5.19   1000000         0
801.98/802.25	c       122       177    217.62     40.64      5.35   1000000         0
803.28/803.52	c       122       196    214.68     41.10      5.22   1000000         0
804.48/804.80	c       114       166    208.72     39.92      5.23   1000000         0
805.78/806.08	c       106       190    208.95     43.54      4.80   1000000         0
807.08/807.35	c       117       238    214.67     41.58      5.16   1000000         0
808.38/808.62	c       109       234    211.22     39.62      5.33   1000000         0
809.68/809.92	c       111       176    209.08     40.72      5.13   1000000         0
810.88/811.19	c       114       262    215.04     39.42      5.46   1000000         0
812.18/812.47	c       113       234    212.31     43.03      4.93   1000000         0
813.48/813.74	c       102       203    206.93     39.07      5.30   1000000         0
814.78/815.02	c       105       198    213.94     41.97      5.10   1000000         0
816.07/816.30	c       124       180    210.82     37.06      5.69   1000000         0
817.27/817.57	c       102       215    211.47     43.08      4.91   1000000         0
818.57/818.86	c       114       172    210.21     42.74      4.92   1000000         0
819.87/820.14	c       116       200    209.12     46.44      4.50   1000000         0
821.17/821.42	c        91       137    209.76     49.38      4.25   1000000         0
822.48/822.70	c       114       232    211.74     41.35      5.12   1000000         0
823.68/823.99	c       112       218    213.40     42.27      5.05   1000000         0
824.97/825.26	c       124       214    208.71     40.06      5.21   1000000         0
826.27/826.53	c       106       208    204.02     40.79      5.00   1000000         0
827.57/827.81	c        92       190    216.28     40.09      5.39   1000000         0
828.87/829.10	c       108       236    208.99     44.08      4.74   1000000         0
830.07/830.38	c       111       180    214.69     40.73      5.27   1000000         0
831.38/831.66	c        98       233    208.67     40.22      5.19   1000000         0
832.67/832.94	c       117       209    206.04     38.47      5.36   1000000         0
833.97/834.21	c       110       187    219.88     42.35      5.19   1000000         0
835.27/835.50	c       111       217    212.91     39.33      5.41   1000000         0
836.47/836.78	c       121       171    206.71     39.35      5.25   1000000         0
837.77/838.06	c       104       202    206.39     47.30      4.36   1000000         0
839.08/839.34	c       110       229    205.89     40.71      5.06   1000000         0
840.37/840.62	c       119       240    213.38     39.54      5.40   1000000         0
841.57/841.90	c       119       191    207.88     40.61      5.12   1000000         0
842.87/843.17	c       116       141    208.61     43.02      4.85   1000000         0
844.17/844.45	c       121       166    208.51     39.32      5.30   1000000         0
845.47/845.73	c       111       191    212.82     38.62      5.51   1000000         0
846.67/847.00	c       106       200    213.49     42.72      5.00   1000000         0
847.97/848.26	c       112       183    216.16     42.04      5.14   1000000         0
849.27/849.54	c       126       205    214.26     38.57      5.56   1000000         0
850.57/850.82	c       109       217    213.23     43.36      4.92   1000000         0
851.87/852.10	c       110       224    214.09     42.14      5.08   1000000         0
853.07/853.36	c       117       210    223.58     44.28      5.05   1000000         0
854.37/854.64	c       107       225    210.01     41.33      5.08   1000000         0
855.66/855.91	c       111       208    215.75     40.42      5.34   1000000         0
856.86/857.19	c       107       165    208.57     39.91      5.23   1000000         0
858.16/858.48	c       105       194    210.07     40.06      5.24   1000000         0
859.47/859.76	c       117       202    206.10     41.08      5.02   1000000         0
860.77/861.04	c       104       199    213.67     45.34      4.71   1000000         0
862.08/862.33	c       122       183    211.31     43.86      4.82   1000000         0
863.37/863.60	c       101       221    207.93     40.23      5.17   1000000         0
864.57/864.87	c       116       200    213.08     36.78      5.79   1000000         0
865.87/866.16	c       106       256    209.31     39.66      5.28   1000000         0
867.17/867.43	c       119       196    215.75     46.15      4.67   1000000         0
868.47/868.70	c       115       215    215.47     40.59      5.31   1000000         0
869.67/869.97	c       114       179    214.58     42.01      5.11   1000000         0
870.98/871.25	c       108       217    212.56     45.07      4.72   1000000         0
872.27/872.53	c       118       170    215.13     43.63      4.93   1000000         0
873.57/873.80	c       122       183    214.11     43.52      4.92   1000000         0
874.77/875.09	c       118       220    209.28     39.72      5.27   1000000         0
876.07/876.37	c       118       271    214.77     40.33      5.33   1000000         0
877.37/877.64	c       126       174    218.73     46.12      4.74   1000000         0
878.68/878.91	c       118       192    212.89     41.37      5.15   1000000         0
879.87/880.19	c       114       194    212.26     37.21      5.70   1000000         0
881.17/881.47	c       112       201    212.48     38.99      5.45   1000000         0
882.47/882.75	c       114       252    207.45     40.20      5.16   1000000         0
883.77/884.02	c       107       215    207.71     38.08      5.45   1000000         0
885.07/885.30	c        90       164    209.26     47.31      4.42   1000000         0
886.27/886.57	c       112       234    220.25     44.53      4.95   1000000         0
887.57/887.85	c       115       167    212.76     40.91      5.20   1000000         0
888.87/889.13	c        88       193    212.88     43.71      4.87   1000000         0
890.17/890.40	c       129       211    217.85     39.43      5.53   1000000         0
891.37/891.68	c       115       195    211.88     35.78      5.92   1000000         0
892.67/892.96	c       107       183    207.31     40.48      5.12   1000000         0
893.97/894.22	c       118       208    209.43     36.61      5.72   1000000         0
895.26/895.50	c       108       168    209.76     44.64      4.70   1000000         0
896.46/896.78	c       107       186    207.59     41.21      5.04   1000000         0
897.76/898.06	c       118       200    210.19     39.51      5.32   1000000         0
899.06/899.35	c       111       159    206.89     41.02      5.04   1000000         0
900.36/900.63	c        96       222    210.31     45.15      4.66   1000000         0
901.56/901.89	c       123       180    218.65     44.35      4.93   1000000         0
902.87/903.18	c       103       200    207.24     41.12      5.04   1000000         0
904.16/904.45	c       101       216    209.63     38.16      5.49   1000000         0
905.46/905.73	c       123       216    215.02     43.18      4.98   1000000         0
906.76/907.01	c       125       223    217.38     41.79      5.20   1000000         0
907.96/908.28	c       115       219    214.28     38.29      5.60   1000000         0
909.26/909.56	c       120       195    212.82     39.69      5.36   1000000         0
910.57/910.85	c       102       232    202.00     38.76      5.21   1000000         0
911.86/912.12	c        97       214    206.56     42.90      4.82   1000000         0
913.06/913.39	c       124       169    213.97     42.76      5.00   1000000         0
914.36/914.68	c       112       205    211.85     34.92      6.07   1000000         0
915.66/915.96	c        99       158    210.44     39.08      5.38   1000000         0
916.96/917.23	c       111       208    209.60     39.36      5.33   1000000         0
918.27/918.51	c       113       207    214.36     42.63      5.03   1000000         0
919.46/919.79	c       123       225    216.71     41.60      5.21   1000000         0
920.76/921.07	c       120       183    213.43     41.22      5.18   1000000         0
922.06/922.34	c       127       245    216.10     40.12      5.39   1000000         0
923.36/923.62	c       113       213    213.07     46.21      4.61   1000000         0
924.56/924.89	c       102       237    217.09     44.62      4.87   1000000         0
925.86/926.16	c       111       206    211.91     39.87      5.31   1000000         0
927.16/927.44	c       120       195    215.13     41.74      5.15   1000000         0
928.45/928.71	c       106       226    213.86     40.46      5.29   1000000         0
929.75/930.00	c       111       167    211.25     44.48      4.75   1000000         0
930.95/931.27	c       104       235    208.05     35.09      5.93   1000000         0
932.25/932.54	c       105       189    217.85     38.34      5.68   1000000         0
933.56/933.81	c       119       229    209.54     46.56      4.50   1000000         0
934.76/935.08	c       119       165    218.51     46.78      4.67   1000000         0
936.05/936.37	c       111       226    210.42     43.70      4.81   1000000         0
937.35/937.65	c       101       192    204.14     39.21      5.21   1000000         0
938.65/938.92	c       106       217    213.96     39.89      5.36   1000000         0
939.85/940.20	c       110       237    213.39     44.39      4.81   1000000         0
941.15/941.47	c       114       168    211.73     40.90      5.18   1000000         0
942.46/942.76	c       107       225    208.14     41.01      5.07   1000000         0
943.75/944.04	c       111       208    215.38     50.63      4.25   1000000         0
945.05/945.32	c       117       221    215.61     38.18      5.65   1000000         0
946.25/946.59	c       122       207    217.51     42.29      5.14   1000000         0
947.55/947.87	c       120       205    211.44     39.94      5.29   1000000         0
948.85/949.14	c       106       210    210.32     40.94      5.14   1000000         0
950.16/950.42	c       112       202    209.83     41.22      5.09   1000000         0
951.35/951.69	c       113       227    211.32     43.08      4.91   1000000         0
952.65/952.97	c       108       234    202.46     37.24      5.44   1000000         0
953.95/954.26	c       106       201    205.44     35.70      5.76   1000000         0
955.25/955.53	c       119       225    213.36     39.10      5.46   1000000         0
956.55/956.81	c       109       218    213.19     47.54      4.48   1000000         0
957.76/958.10	c       109       156    208.77     47.74      4.37   1000000         0
959.05/959.38	c       116       193    211.00     41.18      5.12   1000000         0
960.35/960.66	c       103       223    211.14     45.00      4.69   1000000         0
961.65/961.94	c       114       210    216.67     41.51      5.22   1000000         0
962.95/963.23	c       114       208    207.22     45.78      4.53   1000000         0
964.25/964.50	c       107       223    214.29     46.52      4.61   1000000         0
965.45/965.76	c       115       179    213.78     41.67      5.13   1000000         0
966.75/967.04	c       118       215    218.34     38.82      5.62   1000000         0
968.05/968.32	c       108       172    213.20     40.87      5.22   1000000         0
969.35/969.60	c       102       174    206.83     41.35      5.00   1000000         0
970.54/970.87	c       121       183    213.74     39.81      5.37   1000000         0
971.84/972.14	c       117       186    210.51     41.30      5.10   1000000         0
973.15/973.42	c       114       232    214.75     37.68      5.70   1000000         0
974.44/974.70	c       113       253    211.23     46.23      4.57   1000000         0
975.64/975.98	c       111       222    212.89     41.66      5.11   1000000         0
976.94/977.26	c       112       221    222.67     51.51      4.32   1000000         0
978.24/978.54	c       117       209    218.57     40.26      5.43   1000000         0
979.54/979.81	c       111       218    214.93     41.62      5.16   1000000         0
980.74/981.09	c       110       169    216.38     46.78      4.63   1000000         0
982.05/982.37	c       101       181    212.06     42.16      5.03   1000000         0
983.34/983.65	c        98       187    210.42     45.92      4.58   1000000         0
984.64/984.93	c       102       202    204.54     40.41      5.06   1000000         0
985.94/986.21	c       121       169    210.33     41.25      5.10   1000000         0
987.24/987.50	c       108       199    205.60     44.86      4.58   1000000         0
988.44/988.78	c       109       240    206.57     47.18      4.38   1000000         0
989.75/990.05	c       103       195    214.68     42.44      5.06   1000000         0
991.04/991.33	c       106       219    213.70     49.29      4.34   1000000         0
992.34/992.60	c       108       198    211.28     43.04      4.91   1000000         0
993.54/993.88	c       119       170    216.18     39.89      5.42   1000000         0
994.84/995.16	c       110       228    211.38     46.06      4.59   1000000         0
996.14/996.43	c       123       288    212.21     44.24      4.80   1000000         0
997.45/997.70	c       121       192    215.83     43.12      5.01   1000000         0
998.64/998.98	c       110       202    207.17     44.16      4.69   1000000         0
999.94/1000.26	c       100       209    212.52     46.72      4.55   1000000         0
1001.24/1001.54	c       106       270    208.93     42.98      4.86   1000000         0
1002.54/1002.82	c       111       167    212.28     41.08      5.17   1000000         0
1003.84/1004.10	c       110       191    214.88     43.55      4.93   1000000         0
1005.04/1005.38	c       120       182    209.76     43.10      4.87   1000000         0
1006.34/1006.65	c       120       176    212.06     40.84      5.19   1000000         0
1007.64/1007.93	c       122       164    210.78     41.10      5.13   1000000         0
1008.94/1009.20	c       107       164    220.61     38.23      5.77   1000000         0
1010.14/1010.49	c       117       220    210.67     41.96      5.02   1000000         0
1011.44/1011.78	c        94       197    207.91     47.38      4.39   1000000         0
1012.74/1013.06	c       111       202    216.93     39.86      5.44   1000000         0
1014.03/1014.35	c       107       195    203.45     41.69      4.88   1000000         0
1015.33/1015.63	c       123       243    212.78     37.51      5.67   1000000         0
1016.63/1016.92	c       114       191    207.31     41.19      5.03   1000000         0
1017.83/1018.19	c       108       203    217.47     47.02      4.63   1000000         0
1019.13/1019.47	c       121       177    214.44     44.35      4.83   1000000         0
1020.44/1020.75	c       120       186    212.20     44.72      4.74   1000000         0
1021.73/1022.02	c       110       227    211.96     39.19      5.41   1000000         0
1022.93/1023.29	c       112       221    222.03     41.49      5.35   1000000         0
1024.23/1024.57	c       103       185    209.22     41.67      5.02   1000000         0
1025.53/1025.85	c       108       162    210.25     46.22      4.55   1000000         0
1026.83/1027.12	c       123       178    214.34     43.51      4.93   1000000         0
1028.14/1028.40	c       100       215    211.36     46.00      4.60   1000000         0
1029.34/1029.68	c       108       215    212.28     47.07      4.51   1000000         0
1030.63/1030.95	c       121       176    214.94     43.44      4.95   1000000         0
1031.93/1032.23	c       118       201    210.73     36.98      5.70   1000000         0
1033.23/1033.51	c       121       193    211.34     41.15      5.14   1000000         0
1034.43/1034.78	c       110       242    215.79     45.38      4.76   1000000         0
1035.73/1036.06	c       114       194    214.90     45.17      4.76   1000000         0
1037.04/1037.32	c       117       226    214.35     36.10      5.94   1000000         0
1038.23/1038.60	c       114       201    208.49     40.85      5.10   1000000         0
1039.53/1039.87	c       112       257    211.19     43.72      4.83   1000000         0
1040.83/1041.15	c        98       210    209.31     40.29      5.19   1000000         0
1042.13/1042.43	c       108       225    208.41     40.13      5.19   1000000         0
1043.43/1043.71	c       105       190    204.84     40.96      5.00   1000000         0
1044.63/1044.99	c       109       261    215.41     39.34      5.48   1000000         0
1045.93/1046.26	c       102       198    207.52     41.21      5.04   1000000         0
1047.22/1047.54	c       110       171    209.16     41.37      5.06   1000000         0
1048.52/1048.82	c       103       245    210.91     40.42      5.22   1000000         0
1049.72/1050.09	c       121       224    214.19     44.64      4.80   1000000         0
1051.02/1051.37	c       122       170    213.18     41.54      5.13   1000000         0
1052.33/1052.65	c       117       208    211.75     39.29      5.39   1000000         0
1053.62/1053.93	c       108       192    214.31     42.23      5.07   1000000         0
1054.92/1055.22	c       102       229    205.37     34.79      5.90   1000000         0
1056.12/1056.49	c       105       174    212.29     41.94      5.06   1000000         0
1057.42/1057.77	c       109       203    206.27     44.18      4.67   1000000         0
1058.72/1059.05	c       119       169    214.36     39.98      5.36   1000000         0
1060.03/1060.33	c       113       243    205.13     45.03      4.56   1000000         0
1061.32/1061.61	c       107       209    206.59     45.34      4.56   1000000         0
1062.52/1062.89	c       119       182    212.94     38.92      5.47   1000000         0
1063.82/1064.17	c       109       206    210.38     43.40      4.85   1000000         0
1065.12/1065.46	c       107       222    208.80     37.17      5.62   1000000         0
1066.42/1066.73	c       112       217    219.16     45.33      4.84   1000000         0
1067.73/1068.00	c       112       219    210.60     46.67      4.51   1000000         0
1068.93/1069.28	c       116       188    213.83     39.56      5.41   1000000         0
1070.22/1070.56	c       110       230    206.47     37.41      5.52   1000000         0
1071.52/1071.83	c       126       209    213.93     38.82      5.51   1000000         0
1072.82/1073.11	c       115       167    213.23     46.83      4.55   1000000         0
1074.02/1074.39	c       122       223    211.99     44.61      4.75   1000000         0
1075.32/1075.67	c       103       170    206.68     39.14      5.28   1000000         0
1076.63/1076.94	c       113       207    217.63     37.64      5.78   1000000         0
1077.92/1078.22	c       125       138    212.38     39.26      5.41   1000000         0
1079.22/1079.50	c       105       214    206.72     48.65      4.25   1000000         0
1080.42/1080.79	c       111       186    204.41     39.35      5.19   1000000         0
1081.72/1082.07	c        95       271    207.55     44.46      4.67   1000000         0
1083.02/1083.35	c        99       242    201.47     43.24      4.66   1000000         0
1084.32/1084.63	c       117       158    213.33     41.78      5.11   1000000         0
1085.62/1085.91	c       120       248    216.19     41.13      5.26   1000000         0
1086.82/1087.19	c       110       197    209.25     46.93      4.46   1000000         0
1088.12/1088.47	c       117       210    209.67     40.53      5.17   1000000         0
1089.42/1089.76	c       122       231    213.50     43.78      4.88   1000000         0
1090.71/1091.04	c       111       205    205.32     43.50      4.72   1000000         0
1092.02/1092.32	c       110       244    213.55     42.26      5.05   1000000         0
1093.31/1093.60	c        98       176    204.88     44.36      4.62   1000000         0
1094.51/1094.88	c       110       236    208.58     44.16      4.72   1000000         0
1095.81/1096.17	c       123       187    210.61     40.04      5.26   1000000         0
1097.11/1097.45	c       106       180    212.87     42.88      4.96   1000000         0
1098.41/1098.73	c       113       192    212.33     40.66      5.22   1000000         0
1099.72/1100.01	c        98       201    211.20     44.50      4.75   1000000         0
1100.91/1101.27	c       121       247    217.45     43.61      4.99   1000000         0
1102.21/1102.55	c       100       185    213.41     44.33      4.81   1000000         0
1103.51/1103.82	c       108       186    218.81     42.97      5.09   1000000         0
1104.81/1105.11	c       107       195    208.80     41.64      5.01   1000000         0
1106.01/1106.38	c       111       174    211.30     40.38      5.23   1000000         0
1107.32/1107.66	c       121       225    215.77     41.78      5.16   1000000         0
1108.61/1108.94	c       114       171    211.70     40.70      5.20   1000000         0
1109.91/1110.21	c       120       202    213.52     43.69      4.89   1000000         0
1111.11/1111.49	c        96       177    211.05     42.89      4.92   1000000         0
1112.41/1112.76	c       111       159    215.25     37.90      5.68   1000000         0
1113.71/1114.03	c       100       234    209.20     43.00      4.87   1000000         0
1115.01/1115.32	c       112       181    212.71     47.18      4.51   1000000         0
1116.31/1116.60	c       104       212    212.69     45.17      4.71   1000000         0
1117.51/1117.88	c       120       191    213.24     46.17      4.62   1000000         0
1118.81/1119.16	c        97       187    212.80     40.42      5.27   1000000         0
1120.11/1120.44	c       112       194    215.01     36.16      5.95   1000000         0
1121.41/1121.72	c       109       209    220.94     44.16      5.00   1000000         0
1122.71/1123.00	c       125       222    209.26     39.46      5.30   1000000         0
1123.91/1124.28	c       117       182    208.46     37.04      5.63   1000000         0
1125.20/1125.55	c       110       221    209.17     35.45      5.90   1000000         0
1126.50/1126.84	c       125       211    213.31     38.82      5.49   1000000         0
1127.80/1128.11	c       109       204    211.02     39.44      5.35   1000000         0
1129.00/1129.40	c       101       239    209.91     41.46      5.06   1000000         0
1130.30/1130.68	c       100       232    213.07     42.34      5.03   1000000         0
1131.61/1131.95	c       116       210    214.05     38.05      5.62   1000000         0
1132.90/1133.22	c       110       229    207.88     45.34      4.59   1000000         0
1134.20/1134.51	c       102       198    211.16     37.81      5.59   1000000         0
1135.40/1135.78	c       113       221    217.79     44.39      4.91   1000000         0
1136.70/1137.05	c        93       212    215.63     39.62      5.44   1000000         0
1138.00/1138.34	c       107       241    209.28     45.76      4.57   1000000         0
1139.31/1139.62	c       112       291    215.22     44.66      4.82   1000000         0
1140.60/1140.90	c       111       202    205.73     38.77      5.31   1000000         0
1141.80/1142.18	c       119       242    209.54     41.25      5.08   1000000         0
1143.10/1143.46	c       106       206    213.58     45.84      4.66   1000000         0
1144.40/1144.73	c        92       218    212.87     38.95      5.47   1000000         0
1145.70/1146.00	c       122       216    213.66     39.42      5.42   1000000         0
1146.91/1147.27	c       107       144    210.99     39.33      5.37   1000000         0
1148.20/1148.56	c       109       201    212.94     41.46      5.14   1000000         0
1149.50/1149.83	c       113       209    206.88     39.08      5.29   1000000         0
1150.80/1151.11	c       103       198    210.35     43.10      4.88   1000000         0
1152.00/1152.37	c       122       230    221.17     45.28      4.88   1000000         0
1153.30/1153.65	c       102       182    213.94     41.96      5.10   1000000         0
1154.60/1154.93	c       122       195    218.01     43.75      4.98   1000000         0
1155.90/1156.21	c        99       189    206.41     43.01      4.80   1000000         0
1157.10/1157.49	c       108       230    213.57     44.72      4.78   1000000         0
1158.40/1158.77	c       111       227    213.89     43.99      4.86   1000000         0
1159.70/1160.05	c       114       197    213.26     43.83      4.87   1000000         0
1161.00/1161.32	c       110       191    213.12     45.16      4.72   1000000         0
1162.30/1162.60	c       120       213    207.25     40.08      5.17   1000000         0
1163.50/1163.87	c       115       210    214.71     43.37      4.95   1000000         0
1164.79/1165.14	c       114       225    213.93     42.76      5.00   1000000         0
1166.09/1166.42	c       121       156    215.02     40.57      5.30   1000000         0
1167.39/1167.70	c       107       192    208.63     43.21      4.83   1000000         0
1168.59/1168.98	c       111       216    212.18     37.37      5.68   1000000         0
1169.89/1170.26	c       111       215    213.22     41.34      5.16   1000000         0
1171.20/1171.55	c        97       195    206.10     44.41      4.64   1000000         0
1172.49/1172.83	c       111       214    207.63     36.64      5.67   1000000         0
1173.79/1174.10	c       103       215    208.86     42.41      4.92   1000000         0
1174.99/1175.38	c       116       172    221.98     44.11      5.03   1000000         0
1176.29/1176.65	c       108       206    209.08     38.95      5.37   1000000         0
1177.59/1177.92	c       118       172    212.25     44.77      4.74   1000000         0
1178.80/1179.20	c        98       158    211.08     44.00      4.80   1000000         0
1180.09/1180.48	c       101       204    210.23     44.42      4.73   1000000         0
1181.39/1181.76	c       112       257    216.53     36.54      5.93   1000000         0
1182.69/1183.03	c       107       207    215.83     43.79      4.93   1000000         0
1183.99/1184.32	c       108       178    214.81     42.66      5.03   1000000         0
1185.19/1185.58	c       119       206    217.27     48.74      4.46   1000000         0
1186.50/1186.86	c       107       229    212.38     41.58      5.11   1000000         0
1187.79/1188.14	c       101       202    212.15     42.81      4.96   1000000         0
1189.09/1189.42	c       120       211    212.78     39.96      5.32   1000000         0
1190.39/1190.70	c       118       227    213.96     38.40      5.57   1000000         0
1191.59/1191.98	c       104       196    212.71     40.35      5.27   1000000         0
1192.89/1193.25	c       107       203    211.59     41.71      5.07   1000000         0
1194.19/1194.53	c       109       184    212.13     41.72      5.08   1000000         0
1195.49/1195.82	c        98       220    205.63     47.40      4.34   1000000         0
1196.69/1197.09	c       109       203    215.18     48.94      4.40   1000000         0
1197.99/1198.36	c       117       234    211.39     42.42      4.98   1000000         0
1199.29/1199.63	c       105       232    219.95     40.14      5.48   1000000         0
1200.59/1200.91	c        99       193    208.28     38.85      5.36   1000000         0
1201.89/1202.20	c       111       180    209.81     44.27      4.74   1000000         0
1203.09/1203.47	c       119       233    209.08     37.89      5.52   1000000         0
1204.38/1204.76	c       111       231    210.19     43.38      4.85   1000000         0
1205.68/1206.03	c       114       212    216.00     42.31      5.11   1000000         0
1206.98/1207.31	c        92       178    202.60     41.26      4.91   1000000         0
1208.18/1208.59	c       106       209    213.51     42.14      5.07   1000000         0
1209.48/1209.86	c       122       235    217.72     40.11      5.43   1000000         0
1210.79/1211.14	c        92       135    206.58     42.10      4.91   1000000         0
1212.08/1212.41	c       108       200    214.22     43.02      4.98   1000000         0
1213.28/1213.69	c        95       200    206.75     39.66      5.21   1000000         0
1214.58/1214.96	c       109       188    212.19     42.13      5.04   1000000         0
1215.88/1216.24	c       114       198    222.54     42.41      5.25   1000000         0
1217.18/1217.51	c       114       206    212.69     37.58      5.66   1000000         0
1218.39/1218.80	c       123       199    212.18     41.80      5.08   1000000         0
1219.68/1220.08	c       112       182    209.39     49.64      4.22   1000000         0
1220.98/1221.36	c       101       161    213.15     46.16      4.62   1000000         0
1222.28/1222.62	c       110       194    215.52     44.10      4.89   1000000         0
1223.58/1223.90	c       114       231    206.76     35.36      5.85   1000000         0
1224.78/1225.18	c       109       174    207.30     42.79      4.84   1000000         0
1226.09/1226.46	c       108       183    209.84     40.10      5.23   1000000         0
1227.38/1227.74	c       101       184    212.44     43.27      4.91   1000000         0
1228.68/1229.01	c       106       217    211.09     39.42      5.35   1000000         0
1229.88/1230.29	c       117       213    211.95     40.48      5.24   1000000         0
1231.18/1231.57	c       117       250    213.73     42.62      5.01   1000000         0
1232.48/1232.83	c       113       218    216.01     43.01      5.02   1000000         0
1233.78/1234.11	c       114       205    215.71     43.96      4.91   1000000         0
1234.99/1235.38	c       121       225    214.25     45.49      4.71   1000000         0
1236.28/1236.66	c       118       201    208.48     35.48      5.88   1000000         0
1237.58/1237.94	c       102       155    214.13     49.37      4.34   1000000         0
1238.88/1239.22	c       119       231    211.72     35.04      6.04   1000000         0
1240.08/1240.49	c       106       217    215.06     47.78      4.50   1000000         0
1241.38/1241.78	c       106       199    207.96     43.92      4.74   1000000         0
1242.68/1243.06	c       110       184    213.82     41.62      5.14   1000000         0
1243.97/1244.34	c       108       189    210.41     43.24      4.87   1000000         0
1245.27/1245.62	c       118       224    208.87     36.77      5.68   1000000         0
1246.57/1246.90	c       128       188    217.08     42.31      5.13   1000000         0
1247.77/1248.18	c       111       228    209.42     44.65      4.69   1000000         0
1249.07/1249.45	c       115       216    214.90     39.66      5.42   1000000         0
1250.38/1250.73	c        89       186    211.03     43.68      4.83   1000000         0
1251.67/1252.01	c       108       153    215.32     40.33      5.34   1000000         0
1252.87/1253.28	c       109       223    214.32     48.26      4.44   1000000         0
1254.17/1254.56	c       100       168    215.70     39.63      5.44   1000000         0
1255.47/1255.84	c       125       239    216.91     39.56      5.48   1000000         0
1256.77/1257.11	c       118       226    213.36     41.54      5.14   1000000         0
1257.98/1258.39	c       103       225    214.26     41.59      5.15   1000000         0
1259.27/1259.66	c       115       185    217.34     38.38      5.66   1000000         0
1260.57/1260.93	c       105       200    213.85     40.15      5.33   1000000         0
1261.87/1262.21	c        94       217    212.49     42.15      5.04   1000000         0
1263.07/1263.48	c       119       203    213.53     40.36      5.29   1000000         0
1264.37/1264.76	c       116       176    212.01     43.92      4.83   1000000         0
1265.68/1266.03	c       112       216    216.90     49.66      4.37   1000000         0
1266.97/1267.31	c       120       212    213.11     36.85      5.78   1000000         0
1268.27/1268.60	c       108       207    209.14     42.87      4.88   1000000         0
1269.47/1269.88	c       113       185    215.79     42.92      5.03   1000000         0
1270.77/1271.16	c       109       204    208.10     42.59      4.89   1000000         0
1272.07/1272.43	c       101       259    211.26     43.06      4.91   1000000         0
1273.37/1273.71	c       121       207    215.18     42.16      5.10   1000000         0
1274.57/1274.98	c       112       149    208.12     43.40      4.79   1000000         0
1275.87/1276.25	c       111       188    215.45     42.68      5.05   1000000         0
1277.17/1277.53	c       111       178    212.41     40.91      5.19   1000000         0
1278.47/1278.80	c       106       172    207.76     45.11      4.61   1000000         0
1279.67/1280.07	c       107       219    220.46     44.25      4.98   1000000         0
1280.97/1281.35	c        99       232    209.32     43.77      4.78   1000000         0
1282.27/1282.64	c       100       188    206.36     41.90      4.92   1000000         0
1283.56/1283.91	c        83       190    210.05     40.33      5.21   1000000         0
1284.76/1285.18	c       127       206    209.82     41.33      5.08   1000000         0
1286.06/1286.45	c       117       212    214.51     39.04      5.50   1000000         0
1287.36/1287.73	c       116       212    212.17     39.64      5.35   1000000         0
1288.66/1289.01	c       111       178    211.39     43.02      4.91   1000000         0
1289.87/1290.28	c       110       190    209.59     43.00      4.87   1000000         0
1291.16/1291.56	c       110       225    213.37     46.40      4.60   1000000         0
1292.46/1292.83	c       112       209    210.74     34.35      6.13   1000000         0
1293.76/1294.11	c       116       203    210.07     45.15      4.65   1000000         0
1294.96/1295.39	c       109       167    209.25     43.98      4.76   1000000         0
1296.26/1296.67	c       104       227    210.56     46.17      4.56   1000000         0
1297.57/1297.95	c       117       237    213.91     43.94      4.87   1000000         0
1298.86/1299.22	c       119       240    214.17     46.11      4.64   1000000         0
1300.16/1300.50	c       113       185    205.20     40.36      5.08   1000000         0
1301.36/1301.77	c       118       211    215.44     42.37      5.08   1000000         0
1302.66/1303.05	c       119       188    207.32     40.50      5.12   1000000         0
1303.96/1304.33	c       117       198    211.50     43.39      4.87   1000000         0
1305.27/1305.61	c       116       227    213.76     45.08      4.74   1000000         0
1306.47/1306.88	c       110       219    209.90     45.17      4.65   1000000         0
1307.76/1308.15	c        97       193    217.07     43.62      4.98   1000000         0
1309.06/1309.43	c       112       235    213.13     42.45      5.02   1000000         0
1310.36/1310.71	c        96       257    205.48     39.18      5.24   1000000         0
1311.56/1311.99	c       124       198    213.05     45.49      4.68   1000000         0
1312.86/1313.27	c       124       209    217.95     45.41      4.80   1000000         0
1314.16/1314.55	c       107       200    213.40     44.54      4.79   1000000         0
1315.46/1315.83	c       105       212    209.90     47.87      4.38   1000000         0
1316.75/1317.10	c       111       217    215.09     39.00      5.52   1000000         0
1317.95/1318.38	c        84       147    208.54     43.22      4.83   1000000         0
1319.25/1319.66	c       116       177    213.74     43.83      4.88   1000000         0
1320.55/1320.93	c       112       209    213.10     44.80      4.76   1000000         0
1321.86/1322.21	c        96       279    209.53     45.69      4.59   1000000         0
1323.05/1323.50	c       111       142    210.68     42.99      4.90   1000000         0
1324.35/1324.77	c       114       179    214.12     45.95      4.66   1000000         0
1325.65/1326.05	c       101       221    211.28     43.90      4.81   1000000         0
1326.95/1327.33	c       110       271    218.59     42.82      5.11   1000000         0
1328.15/1328.59	c       107       239    220.50     39.62      5.56   1000000         0
1329.46/1329.87	c       115       192    209.28     40.02      5.23   1000000         0
1330.75/1331.14	c       118       190    220.83     42.99      5.14   1000000         0
1332.05/1332.42	c       110       246    213.49     41.96      5.09   1000000         0
1333.35/1333.70	c       111       224    208.34     43.98      4.74   1000000         0
1334.55/1334.97	c       102       228    213.31     37.89      5.63   1000000         0
1335.85/1336.24	c       114       171    213.37     38.06      5.61   1000000         0
1337.16/1337.51	c       112       190    210.74     39.40      5.35   1000000         0
1338.45/1338.80	c       111       196    205.31     36.94      5.56   1000000         0
1339.65/1340.08	c        92       221    208.91     37.13      5.63   1000000         0
1340.95/1341.36	c       102       207    211.56     37.46      5.65   1000000         0
1342.25/1342.64	c       127       205    217.98     44.82      4.86   1000000         0
1343.55/1343.92	c       104       150    205.67     39.62      5.19   1000000         0
1344.75/1345.19	c       119       237    213.85     41.80      5.12   1000000         0
1346.05/1346.47	c       101       155    208.09     43.76      4.75   1000000         0
1347.35/1347.74	c       112       160    211.97     43.13      4.91   1000000         0
1348.65/1349.02	c       110       191    211.70     39.85      5.31   1000000         0
1349.95/1350.30	c       102       180    209.35     43.68      4.79   1000000         0
1351.15/1351.57	c       116       239    215.19     36.79      5.85   1000000         0
1352.45/1352.85	c       103       189    213.11     44.09      4.83   1000000         0
1353.75/1354.12	c       126       172    210.53     32.70      6.44   1000000         0
1355.04/1355.40	c        99       272    211.61     43.55      4.86   1000000         0
1356.24/1356.68	c       104       253    205.61     42.25      4.87   1000000         0
1357.54/1357.96	c       114       199    210.70     40.11      5.25   1000000         0
1358.84/1359.23	c       113       199    211.87     38.85      5.45   1000000         0
1360.14/1360.53	c        99       231    202.65     42.52      4.77   1000000         0
1361.45/1361.82	c       109       187    209.48     43.23      4.85   1000000         0
1362.64/1363.09	c       118       160    210.87     36.37      5.80   1000000         0
1363.94/1364.38	c       110       218    211.10     40.06      5.27   1000000         0
1365.24/1365.66	c       104       207    208.82     41.21      5.07   1000000         0
1366.54/1366.93	c       119       197    213.18     40.99      5.20   1000000         0
1367.84/1368.21	c       121       188    216.00     43.09      5.01   1000000         0
1369.05/1369.48	c       110       301    214.51     46.18      4.65   1000000         0
1370.34/1370.76	c       107       204    210.30     41.77      5.03   1000000         0
1371.64/1372.04	c       115       186    207.76     40.72      5.10   1000000         0
1372.94/1373.33	c       116       216    212.15     41.22      5.15   1000000         0
1374.24/1374.60	c       107       198    212.48     40.15      5.29   1000000         0
1375.44/1375.88	c       100       213    209.02     40.31      5.19   1000000         0
1376.75/1377.17	c       112       238    213.94     44.07      4.85   1000000         0
1378.04/1378.44	c       109       240    216.81     42.55      5.09   1000000         0
1379.34/1379.72	c       114       185    207.55     45.52      4.56   1000000         0
1380.54/1380.99	c       104       281    204.18     49.56      4.12   1000000         0
1381.84/1382.27	c       113       192    212.60     40.93      5.19   1000000         0
1383.14/1383.54	c       122       236    218.14     43.14      5.06   1000000         0
1384.44/1384.80	c       110       224    220.62     42.62      5.18   1000000         0
1385.64/1386.08	c       113       196    212.16     40.05      5.30   1000000         0
1386.94/1387.37	c       108       221    207.72     41.18      5.04   1000000         0
1388.24/1388.65	c       105       240    210.34     42.84      4.91   1000000         0
1389.54/1389.92	c       114       256    215.79     40.99      5.26   1000000         0
1390.84/1391.20	c       102       235    211.46     42.24      5.01   1000000         0
1392.04/1392.49	c       116       217    216.27     38.52      5.61   1000000         0
1393.34/1393.76	c       110       217    216.90     42.53      5.10   1000000         0
1394.63/1395.03	c       117       173    213.04     44.07      4.83   1000000         0
1395.93/1396.31	c       122       239    210.33     39.37      5.34   1000000         0
1397.13/1397.58	c       104       190    210.25     40.62      5.18   1000000         0
1398.43/1398.87	c       101       255    208.43     36.51      5.71   1000000         0
1399.73/1400.15	c       111       199    209.46     37.95      5.52   1000000         0
1401.04/1401.43	c       108       229    210.31     40.76      5.16   1000000         0
1402.33/1402.71	c       116       229    208.74     43.06      4.85   1000000         0
1403.53/1403.99	c       118       207    208.60     38.03      5.49   1000000         0
1404.83/1405.27	c       117       222    220.56     45.77      4.82   1000000         0
1406.13/1406.54	c       111       183    208.11     41.72      4.99   1000000         0
1407.43/1407.81	c       128       211    224.64     41.56      5.41   1000000         0
1408.64/1409.09	c       114       194    211.51     38.82      5.45   1000000         0
1409.93/1410.36	c       113       205    213.44     43.31      4.93   1000000         0
1411.23/1411.64	c       106       232    211.85     38.68      5.48   1000000         0
1412.53/1412.92	c       115       152    210.46     38.98      5.40   1000000         0
1413.83/1414.20	c       106       170    207.37     42.18      4.92   1000000         0
1415.03/1415.48	c       119       205    215.06     42.51      5.06   1000000         0
1416.34/1416.75	c       123       223    213.06     41.00      5.20   1000000         0
1417.63/1418.03	c       117       247    211.74     40.93      5.17   1000000         0
1418.93/1419.30	c       107       200    216.71     37.54      5.77   1000000         0
1420.13/1420.57	c       117       219    213.12     41.58      5.13   1000000         0
1421.43/1421.85	c       131       192    215.34     44.18      4.87   1000000         0
1422.73/1423.13	c       107       224    208.03     40.62      5.12   1000000         0
1424.03/1424.41	c       100       213    209.47     45.77      4.58   1000000         0
1425.23/1425.68	c       115       178    213.32     36.73      5.81   1000000         0
1426.53/1426.96	c       114       183    211.72     48.73      4.35   1000000         0
1427.83/1428.25	c       120       203    210.14     39.52      5.32   1000000         0
1429.13/1429.53	c       113       155    206.96     39.31      5.26   1000000         0
1430.43/1430.82	c       110       182    210.62     43.36      4.86   1000000         0
1431.63/1432.09	c        99       226    210.89     39.40      5.35   1000000         0
1432.93/1433.38	c       119       211    212.26     40.54      5.24   1000000         0
1434.22/1434.66	c       112       208    206.33     41.50      4.97   1000000         0
1435.52/1435.94	c       117       168    209.08     41.83      5.00   1000000         0
1436.82/1437.22	c       106       206    216.68     45.63      4.75   1000000         0
1438.02/1438.49	c       111       225    209.59     43.14      4.86   1000000         0
1439.32/1439.77	c        97       188    207.93     41.94      4.96   1000000         0
1440.63/1441.05	c       112       198    217.41     46.28      4.70   1000000         0
1441.92/1442.32	c       115       221    214.29     42.17      5.08   1000000         0
1443.12/1443.59	c       134       218    219.18     39.63      5.53   1000000         0
1444.42/1444.87	c        93       215    208.40     42.71      4.88   1000000         0
1445.72/1446.13	c       116       181    216.37     42.51      5.09   1000000         0
1447.02/1447.41	c       109       199    212.06     41.80      5.07   1000000         0
1448.23/1448.70	c       109       176    213.57     43.94      4.86   1000000         0
1449.52/1449.98	c        98       177    209.74     50.45      4.16   1000000         0
1450.82/1451.26	c       114       202    212.60     42.69      4.98   1000000         0
1452.12/1452.53	c       117       211    211.88     38.59      5.49   1000000         0
1453.42/1453.82	c       115       248    208.48     45.53      4.58   1000000         0
1454.62/1455.09	c       116       197    219.93     43.71      5.03   1000000         0
1455.93/1456.37	c       117       206    211.09     41.32      5.11   1000000         0
1457.22/1457.66	c       115       210    208.20     46.00      4.53   1000000         0
1458.52/1458.93	c       119       235    210.73     40.81      5.16   1000000         0
1459.82/1460.22	c       116       242    211.53     44.12      4.80   1000000         0
1461.02/1461.49	c       118       252    209.97     36.14      5.81   1000000         0
1462.32/1462.76	c       109       210    215.74     43.85      4.92   1000000         0
1463.62/1464.03	c       115       206    211.44     39.12      5.40   1000000         0
1464.92/1465.31	c       106       166    210.76     40.64      5.19   1000000         0
1466.12/1466.59	c       119       242    213.41     39.75      5.37   1000000         0
1467.41/1467.87	c       120       185    214.14     40.25      5.32   1000000         0
1468.71/1469.16	c       115       176    209.54     40.82      5.13   1000000         0
1470.01/1470.43	c        97       207    213.41     40.55      5.26   1000000         0
1471.32/1471.70	c       106       240    220.35     41.52      5.31   1000000         0
1472.52/1472.98	c       106       190    211.92     39.84      5.32   1000000         0
1473.81/1474.25	c       114       195    210.19     40.69      5.17   1000000         0
1475.11/1475.53	c       107       220    211.08     40.85      5.17   1000000         0
1476.41/1476.81	c       117       257    213.28     42.39      5.03   1000000         0
1477.71/1478.10	c       119       236    211.34     36.48      5.79   1000000         0
1478.91/1479.39	c       106       208    215.91     42.60      5.07   1000000         0
1480.22/1480.65	c       116       252    221.54     46.08      4.81   1000000         0
1481.51/1481.93	c       101       215    217.66     47.02      4.63   1000000         0
1482.81/1483.21	c       107       191    211.85     45.66      4.64   1000000         0
1484.01/1484.49	c       109       253    214.50     42.05      5.10   1000000         0
1485.31/1485.77	c       114       218    210.04     38.30      5.48   1000000         0
1486.61/1487.05	c       118       161    209.83     40.90      5.13   1000000         0
1487.92/1488.33	c       123       227    214.98     42.99      5.00   1000000         0
1489.21/1489.60	c       110       240    209.64     36.71      5.71   1000000         0
1490.41/1490.88	c       108       182    216.33     40.07      5.40   1000000         0
1491.71/1492.16	c       105       155    213.68     46.05      4.64   1000000         0
1493.01/1493.44	c       110       237    211.92     39.64      5.35   1000000         0
1494.31/1494.72	c       107       226    215.10     40.43      5.32   1000000         0
1495.52/1495.99	c       105       185    209.72     38.23      5.49   1000000         0
1496.81/1497.26	c       110       222    215.13     45.83      4.69   1000000         0
1498.11/1498.55	c       125       257    213.16     43.32      4.92   1000000         0
1499.41/1499.82	c       109       184    211.25     39.00      5.42   1000000         0
1500.61/1501.09	c       126       274    217.34     39.36      5.52   1000000         0
1501.91/1502.37	c       102       213    209.51     41.36      5.07   1000000         0
1503.21/1503.65	c        99       232    210.63     38.60      5.46   1000000         0
1504.51/1504.93	c       112       192    211.36     41.79      5.06   1000000         0
1505.81/1506.21	c       114       203    204.04     39.96      5.11   1000000         0
1507.11/1507.50	c       118       219    209.13     38.36      5.45   1000000         0
1508.31/1508.78	c       119       229    212.41     37.93      5.60   1000000         0
1509.60/1510.05	c       112       229    210.64     41.99      5.02   1000000         0
1510.91/1511.34	c       110       206    206.16     42.52      4.85   1000000         0
1512.20/1512.62	c       115       180    215.50     41.38      5.21   1000000         0
1513.50/1513.90	c       103       220    208.18     40.11      5.19   1000000         0
1514.70/1515.18	c       101       144    208.17     38.99      5.34   1000000         0
1516.00/1516.48	c        90       167    206.16     47.07      4.38   1000000         0
1517.30/1517.75	c       103       183    214.31     41.05      5.22   1000000         0
1518.61/1519.02	c       118       222    210.10     44.25      4.75   1000000         0
1519.81/1520.29	c       109       192    214.39     44.12      4.86   1000000         0
1521.10/1521.57	c       106       218    211.32     43.33      4.88   1000000         0
1522.40/1522.85	c       100       206    217.97     46.08      4.73   1000000         0
1523.70/1524.12	c        96       224    209.26     40.40      5.18   1000000         0
1524.90/1525.40	c       114       230    215.63     42.73      5.05   1000000         0
1526.20/1526.67	c        99       256    209.45     44.19      4.74   1000000         0
1527.51/1527.94	c       114       170    214.99     39.18      5.49   1000000         0
1528.80/1529.22	c       114       200    207.28     43.05      4.82   1000000         0
1530.10/1530.50	c       117       191    212.18     42.32      5.01   1000000         0
1531.30/1531.78	c       109       235    211.37     44.10      4.79   1000000         0
1532.60/1533.05	c       113       191    211.33     43.25      4.89   1000000         0
1533.90/1534.33	c       110       192    213.38     39.86      5.35   1000000         0
1535.21/1535.61	c       101       181    216.81     43.43      4.99   1000000         0
1536.40/1536.88	c       113       223    215.67     41.92      5.14   1000000         0
1537.70/1538.16	c       119       190    215.28     43.48      4.95   1000000         0
1539.00/1539.45	c       104       194    206.75     41.94      4.93   1000000         0
1540.30/1540.72	c       119       225    214.77     41.12      5.22   1000000         0
1541.50/1541.99	c       117       241    214.05     37.06      5.78   1000000         0
1542.80/1543.27	c       118       193    213.85     42.67      5.01   1000000         0
1544.10/1544.55	c       111       259    207.72     36.84      5.64   1000000         0
1545.40/1545.83	c       116       180    221.80     48.43      4.58   1000000         0
1546.59/1547.09	c       127       207    218.79     44.20      4.95   1000000         0
1547.89/1548.37	c       127       246    211.72     38.95      5.44   1000000         0
1549.19/1549.66	c       107       256    208.30     41.47      5.02   1000000         0
1550.50/1550.93	c       122       199    213.75     44.46      4.81   1000000         0
1551.79/1552.20	c       108       164    212.96     42.88      4.97   1000000         0
1552.99/1553.48	c       106       198    215.63     40.55      5.32   1000000         0
1554.29/1554.76	c       115       202    213.17     41.90      5.09   1000000         0
1555.59/1556.03	c       116       166    215.87     42.64      5.06   1000000         0
1556.89/1557.32	c       102       183    208.47     46.13      4.52   1000000         0
1558.20/1558.60	c       123       179    212.72     41.63      5.11   1000000         0
1559.40/1559.88	c       111       212    213.22     37.68      5.66   1000000         0
1560.69/1561.15	c       127       205    220.83     36.39      6.07   1000000         0
1561.99/1562.43	c       116       216    212.48     42.74      4.97   1000000         0
1563.29/1563.70	c       119       147    209.29     44.53      4.70   1000000         0
1564.49/1564.98	c       126       193    215.29     40.65      5.30   1000000         0
1565.79/1566.27	c       106       224    204.54     39.02      5.24   1000000         0
1567.10/1567.55	c       106       225    206.61     37.17      5.56   1000000         0
1568.39/1568.83	c       107       189    209.67     42.73      4.91   1000000         0
1569.69/1570.11	c       114       201    206.14     40.46      5.09   1000000         0
1570.89/1571.39	c       104       203    215.07     43.65      4.93   1000000         0
1572.19/1572.66	c       123       169    218.30     38.96      5.60   1000000         0
1573.49/1573.95	c       104       189    213.95     41.63      5.14   1000000         0
1574.80/1575.21	c       110       215    211.23     37.18      5.68   1000000         0
1575.99/1576.49	c       125       156    211.19     38.37      5.50   1000000         0
1577.29/1577.76	c       123       231    215.28     42.95      5.01   1000000         0
1578.59/1579.03	c       114       176    213.92     39.26      5.45   1000000         0
1579.89/1580.31	c       125       220    210.49     41.68      5.05   1000000         0
1581.09/1581.59	c       112       218    205.83     39.30      5.24   1000000         0
1582.39/1582.87	c       108       207    213.43     41.77      5.11   1000000         0
1583.69/1584.15	c       118       195    212.54     37.28      5.70   1000000         0
1584.99/1585.43	c       116       177    217.06     41.33      5.25   1000000         0
1586.28/1586.71	c       114       249    211.68     41.90      5.05   1000000         0
1587.48/1587.98	c       114       172    216.97     41.49      5.23   1000000         0
1588.78/1589.26	c       115       194    214.39     39.30      5.46   1000000         0
1590.09/1590.53	c       121       198    211.94     41.34      5.13   1000000         0
1591.29/1591.79	c       116       189    208.26     35.06      5.94   1000000         0
1592.58/1593.07	c       104       180    209.84     37.33      5.62   1000000         0
1593.88/1594.35	c       111       232    214.51     43.61      4.92   1000000         0
1595.18/1595.61	c        93       176    210.42     35.93      5.86   1000000         0
1596.38/1596.89	c       103       205    210.15     41.92      5.01   1000000         0
1597.68/1598.17	c       105       163    212.24     38.75      5.48   1000000         0
1598.99/1599.45	c       128       199    215.99     36.48      5.92   1000000         0
1600.28/1600.73	c        99       169    215.76     45.00      4.79   1000000         0
1601.58/1602.01	c       112       234    211.45     40.06      5.28   1000000         0
1602.78/1603.28	c       102       198    214.83     48.42      4.44   1000000         0
1604.08/1604.56	c       117       201    213.42     45.19      4.72   1000000         0
1605.38/1605.84	c       105       205    211.52     39.83      5.31   1000000         0
1606.69/1607.12	c       105       216    217.38     42.64      5.10   1000000         0
1607.98/1608.41	c       113       245    208.98     39.85      5.24   1000000         0
1609.18/1609.67	c       110       196    218.49     49.27      4.43   1000000         0
1610.48/1610.95	c        96       191    210.25     45.62      4.61   1000000         0
1611.78/1612.22	c       116       191    213.39     40.81      5.23   1000000         0
1613.08/1613.51	c       112       223    205.62     42.87      4.80   1000000         0
1614.28/1614.79	c       106       187    211.20     39.50      5.35   1000000         0
1615.58/1616.08	c       104       193    207.79     37.78      5.50   1000000         0
1616.88/1617.34	c       114       163    218.80     41.98      5.21   1000000         0
1618.18/1618.62	c       108       168    211.99     44.75      4.74   1000000         0
1619.48/1619.91	c       112       161    214.84     40.17      5.35   1000000         0
1620.68/1621.19	c       101       190    212.97     37.81      5.63   1000000         0
1621.98/1622.47	c       110       183    215.19     40.40      5.33   1000000         0
1623.28/1623.76	c       108       234    203.99     39.93      5.11   1000000         0
1624.58/1625.04	c       103       209    217.76     42.36      5.14   1000000         0
1625.88/1626.33	c       108       209    207.79     44.70      4.65   1000000         0
1627.18/1627.61	c       121       191    214.15     40.96      5.23   1000000         0
1628.38/1628.89	c        95       181    209.97     43.63      4.81   1000000         0
1629.68/1630.16	c       107       216    216.86     37.05      5.85   1000000         0
1630.97/1631.44	c       112       184    209.79     32.85      6.39   1000000         0
1632.27/1632.71	c        97       246    210.97     44.59      4.73   1000000         0
1633.47/1633.99	c       100       189    211.91     40.54      5.23   1000000         0
1634.77/1635.27	c       111       175    208.07     38.30      5.43   1000000         0
1636.07/1636.55	c       104       191    210.02     42.88      4.90   1000000         0
1637.38/1637.83	c       100       155    214.70     44.73      4.80   1000000         0
1638.67/1639.12	c       106       217    212.29     43.08      4.93   1000000         0
1639.97/1640.40	c       118       216    209.74     46.38      4.52   1000000         0
1641.17/1641.67	c       105       166    206.97     37.89      5.46   1000000         0
1642.47/1642.94	c       106       208    211.45     40.41      5.23   1000000         0
1643.77/1644.22	c        99       235    213.11     43.64      4.88   1000000         0
1644.97/1645.50	c       112       182    211.23     44.03      4.80   1000000         0
1646.28/1646.77	c       110       206    205.63     38.18      5.39   1000000         0
1647.57/1648.05	c        98       193    214.10     35.87      5.97   1000000         0
1648.87/1649.33	c       106       169    207.40     40.60      5.11   1000000         0
1650.17/1650.61	c       110       149    211.24     41.50      5.09   1000000         0
1651.37/1651.89	c       110       211    209.18     37.68      5.55   1000000         0
1652.67/1653.17	c       113       191    216.80     45.08      4.81   1000000         0
1653.98/1654.44	c       104       223    211.86     39.48      5.37   1000000         0
1655.27/1655.72	c       106       196    209.39     44.64      4.69   1000000         0
1656.57/1657.00	c       113       238    215.74     39.19      5.51   1000000         0
1657.77/1658.27	c       119       187    211.27     40.07      5.27   1000000         0
1659.07/1659.54	c       117       221    215.19     42.12      5.11   1000000         0
1660.37/1660.82	c       115       236    210.28     44.03      4.78   1000000         0
1661.57/1662.10	c       111       200    213.29     42.36      5.03   1000000         0
1662.87/1663.37	c       124       200    214.06     42.49      5.04   1000000         0
1664.17/1664.67	c       113       192    202.28     37.33      5.42   1000000         0
1665.46/1665.94	c       121       198    214.32     44.54      4.81   1000000         0
1666.76/1667.21	c       113       223    217.64     45.22      4.81   1000000         0
1667.96/1668.49	c       123       198    210.41     38.23      5.50   1000000         0
1669.27/1669.76	c       111       171    214.62     41.59      5.16   1000000         0
1670.56/1671.04	c       104       214    213.74     38.51      5.55   1000000         0
1671.86/1672.31	c       110       220    212.47     37.95      5.60   1000000         0
1673.06/1673.59	c        95       208    210.87     43.31      4.87   1000000         0
1674.36/1674.87	c       115       174    211.93     41.51      5.11   1000000         0
1675.66/1676.14	c       112       204    213.10     39.49      5.40   1000000         0
1676.97/1677.41	c       114       241    213.60     38.46      5.55   1000000         0
1678.17/1678.69	c       107       208    210.23     44.03      4.77   1000000         0
1679.46/1679.96	c       103       232    210.41     42.73      4.92   1000000         0
1680.76/1681.23	c       100       198    210.35     49.38      4.26   1000000         0
1682.06/1682.51	c       108       191    212.51     42.15      5.04   1000000         0
1683.26/1683.79	c       121       207    213.51     43.71      4.88   1000000         0
1684.56/1685.08	c       109       228    209.35     42.58      4.92   1000000         0
1685.87/1686.36	c       112       227    215.05     40.67      5.29   1000000         0
1687.16/1687.64	c       112       161    211.42     42.87      4.93   1000000         0
1688.46/1688.91	c       118       207    209.69     43.11      4.86   1000000         0
1689.66/1690.18	c       108       176    212.92     44.23      4.81   1000000         0
1690.96/1691.45	c       115       205    215.68     41.45      5.20   1000000         0
1692.26/1692.73	c       111       167    211.32     42.31      4.99   1000000         0
1693.56/1694.01	c       108       189    215.10     43.50      4.94   1000000         0
1694.76/1695.28	c       120       212    214.26     45.24      4.74   1000000         0
1696.06/1696.57	c       114       241    210.46     46.15      4.56   1000000         0
1697.36/1697.84	c       126       234    214.34     40.33      5.32   1000000         0
1698.66/1699.11	c       115       224    210.96     43.36      4.87   1000000         0
1699.96/1700.40	c       107       199    212.52     36.73      5.79   1000000         0
1701.16/1701.68	c        95       213    209.54     41.53      5.05   1000000         0
1702.46/1702.97	c       107       229    212.68     44.36      4.79   1000000         0
1703.75/1704.23	c       117       168    215.16     42.37      5.08   1000000         0
1705.05/1705.50	c       118       226    212.59     40.47      5.25   1000000         0
1706.25/1706.77	c       118       229    212.58     39.44      5.39   1000000         0
1707.55/1708.04	c        95       269    217.15     48.00      4.52   1000000         0
1708.86/1709.32	c       114       217    211.91     45.54      4.65   1000000         0
1710.06/1710.60	c       112       198    215.27     39.56      5.44   1000000         0
1711.35/1711.87	c       122       181    210.31     39.37      5.34   1000000         0
1712.65/1713.15	c       115       175    216.65     48.89      4.43   1000000         0
1713.95/1714.41	c       121       252    221.77     40.91      5.42   1000000         0
1715.15/1715.68	c       125       200    219.40     43.93      4.99   1000000         0
1716.45/1716.96	c       119       180    211.89     40.94      5.18   1000000         0
1717.76/1718.24	c       111       201    215.96     45.47      4.75   1000000         0
1719.05/1719.51	c       109       216    217.56     48.34      4.50   1000000         0
1720.25/1720.79	c       117       175    210.30     39.21      5.36   1000000         0
1721.55/1722.06	c       117       166    220.53     46.43      4.75   1000000         0
1722.85/1723.33	c       116       216    210.22     39.66      5.30   1000000         0
1724.15/1724.61	c       119       203    215.83     39.10      5.52   1000000         0
1725.36/1725.89	c       116       189    212.82     39.74      5.36   1000000         0
1726.65/1727.17	c       116       222    215.54     47.06      4.58   1000000         0
1727.95/1728.43	c       121       230    217.12     37.35      5.81   1000000         0
1729.25/1729.72	c       115       225    206.36     45.09      4.58   1000000         0
1730.55/1731.00	c        96       151    208.10     38.28      5.44   1000000         0
1731.75/1732.28	c       116       218    219.32     42.09      5.21   1000000         0
1733.05/1733.55	c       113       205    211.40     45.96      4.60   1000000         0
1734.35/1734.84	c       110       208    210.67     43.62      4.83   1000000         0
1735.65/1736.12	c       116       219    211.05     37.39      5.64   1000000         0
1736.95/1737.40	c       119       207    215.07     43.34      4.96   1000000         0
1738.15/1738.68	c       110       185    212.21     39.34      5.39   1000000         0
1739.45/1739.97	c       101       163    206.48     48.03      4.30   1000000         0
1740.75/1741.24	c       111       207    210.97     40.77      5.17   1000000         0
1742.04/1742.52	c       118       231    206.87     41.07      5.04   1000000         0
1743.34/1743.80	c        98       209    214.18     45.73      4.68   1000000         0
1744.54/1745.08	c       102       142    212.74     43.62      4.88   1000000         0
1745.84/1746.36	c       111       188    209.51     42.99      4.87   1000000         0
1747.14/1747.65	c       105       243    206.93     44.77      4.62   1000000         0
1748.45/1748.93	c       113       208    211.15     36.35      5.81   1000000         0
1749.74/1750.20	c       100       183    213.18     43.85      4.86   1000000         0
1750.94/1751.48	c       111       224    205.67     38.34      5.36   1000000         0
1752.24/1752.75	c       111       213    208.37     38.84      5.37   1000000         0
1753.54/1754.03	c       105       187    206.14     41.31      4.99   1000000         0
1754.84/1755.30	c       129       241    215.44     36.32      5.93   1000000         0
1756.04/1756.58	c       108       200    211.66     42.89      4.93   1000000         0
1757.35/1757.86	c        98       217    214.89     46.89      4.58   1000000         0
1758.64/1759.15	c       115       231    207.59     44.30      4.69   1000000         0
1759.94/1760.42	c       102       180    208.87     43.05      4.85   1000000         0
1761.24/1761.70	c       116       238    212.48     42.51      5.00   1000000         0
1762.44/1762.97	c        92       241    213.80     36.61      5.84   1000000         0
1763.74/1764.25	c       110       209    207.83     41.73      4.98   1000000         0
1765.05/1765.53	c       112       185    206.36     41.92      4.92   1000000         0
1766.34/1766.80	c        98       214    211.05     45.72      4.62   1000000         0
1767.54/1768.07	c       114       191    213.33     43.25      4.93   1000000         0
1768.84/1769.35	c       120       214    226.19     46.91      4.82   1000000         0
1770.14/1770.62	c       113       200    212.52     37.85      5.61   1000000         0
1771.44/1771.91	c        93       144    209.78     38.35      5.47   1000000         0
1772.64/1773.18	c       121       264    209.81     40.96      5.12   1000000         0
1773.94/1774.46	c       111       207    211.68     41.10      5.15   1000000         0
1775.24/1775.74	c       113       215    208.19     42.71      4.87   1000000         0
1776.54/1777.01	c       107       212    213.87     43.96      4.87   1000000         0
1777.74/1778.28	c       105       171    220.54     44.20      4.99   1000000         0
1779.04/1779.56	c       118       196    213.03     38.24      5.57   1000000         0
1780.34/1780.84	c       120       180    213.42     38.94      5.48   1000000         0
1781.64/1782.11	c       109       268    211.01     41.84      5.04   1000000         0
1782.83/1783.38	c       110       218    217.48     42.34      5.14   1000000         0
1784.13/1784.66	c       112       211    207.94     42.60      4.88   1000000         0
1785.43/1785.94	c       117       188    210.60     39.45      5.34   1000000         0
1786.73/1787.22	c        95       186    209.01     41.34      5.06   1000000         0
1787.93/1788.49	c       120       221    215.50     43.51      4.95   1000000         0
1789.24/1789.76	c       116       217    215.23     44.64      4.82   1000000         0
1790.53/1791.05	c       113       191    206.90     38.37      5.39   1000000         0
1791.83/1792.32	c       114       229    213.84     36.83      5.81   1000000         0
1793.13/1793.61	c       105       250    215.43     47.45      4.54   1000000         0
1794.33/1794.88	c       110       222    211.51     37.97      5.57   1000000         0
1795.63/1796.16	c       118       179    217.37     42.82      5.08   1000000         0
1796.94/1797.43	c       104       199    211.35     42.21      5.01   1000000         0
1798.23/1798.71	c       115       185    208.62     40.91      5.10   1000000         0
1799.43/1799.98	c       109       203    211.89     42.56      4.98   1000000         0
1800.04/1800.50	HOME/run: line 2:  3486 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-2669875-1276610886/watcher-2669875-1276610886 -o /tmp/evaluation-result-2669875-1276610886/solver-2669875-1276610886 -C 1800 -W 2000 -M 1800 run HOME/instance-2669875-1276610886.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3485
/proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) R 3483 3485 3128 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158868885 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0

[startup+0.0841771 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3485
/proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101178 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3485
/proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301198 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3485
/proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701238 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3485
/proc/meminfo: memFree=1765340/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3487
/proc/meminfo: memFree=1761852/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1.49
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 149 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 847 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3487
/proc/meminfo: memFree=1761604/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=3.09
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 309 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526837 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 847 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.3008 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3487
/proc/meminfo: memFree=1761604/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=6.29
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 629 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 847 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3487
/proc/meminfo: memFree=1761356/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=12.69
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 1269 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134525893 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 847 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3487
/proc/meminfo: memFree=1761356/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=25.48
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 2548 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134571201 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 847 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3487
/proc/meminfo: memFree=1761356/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=51.08
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 5108 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 847 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.00 1.00 1.00 2/108 3489
/proc/meminfo: memFree=1761108/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=102.27
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 10227 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 847 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.00 1.00 1.00 2/108 3491
/proc/meminfo: memFree=1760860/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=162.25
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 16225 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 847 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3493
/proc/meminfo: memFree=1760860/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=222.23
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 918 0 0 0 22223 0 0 0 25 0 1 0 36674983 41422848 847 1992294400 134512640 135071400 4287003232 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 847 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3495
/proc/meminfo: memFree=1760736/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=282.22
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 28222 0 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525792 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3495
/proc/meminfo: memFree=1760612/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=342.2
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 34220 0 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3497
/proc/meminfo: memFree=1760488/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=402.18
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 40218 0 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1122.01
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 112200 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525806 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/108 3522
/proc/meminfo: memFree=1758256/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1181.99
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 118198 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525834 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/108 3522
/proc/meminfo: memFree=1758008/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1241.98
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 124197 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/108 3524
/proc/meminfo: memFree=1757884/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1301.97
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 130196 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526967 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/108 3526
/proc/meminfo: memFree=1757884/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1361.94
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 136193 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.11 1.06 1.00 2/108 3528
/proc/meminfo: memFree=1757760/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1421.94
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 142193 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.15 1.08 1.01 2/108 3530
/proc/meminfo: memFree=1757636/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1481.91
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 148190 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526672 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.05 1.06 1.00 2/108 3530
/proc/meminfo: memFree=1757512/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1541.9
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 154189 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/108 3532
/proc/meminfo: memFree=1757388/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1601.88
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 160187 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/108 3534
/proc/meminfo: memFree=1757140/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1661.87
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 166186 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526553 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/108 3536
/proc/meminfo: memFree=1757140/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1721.85
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 172184 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/108 3538
/proc/meminfo: memFree=1756768/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1781.84
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 178183 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 3538
/proc/meminfo: memFree=1756768/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1800.04
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 180003 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 3538
/proc/meminfo: memFree=1756768/2059040 swapFree=4134608/4192956
[pid=3485] ppid=3483 vsize=8700 CPUtime=0
/proc/3485/stat : 3485 (run) S 3483 3485 3128 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36674983 8908800 244 1992294400 4194304 4922060 140736602276896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3485/statm: 2175 244 204 178 0 68 0
[pid=3486] ppid=3485 vsize=40452 CPUtime=1800.04
/proc/3486/stat : 3486 (PB-wave) R 3485 3485 3128 0 -1 4202496 919 0 0 0 180003 1 0 0 25 0 1 0 36674983 41422848 848 1992294400 134512640 135071400 4287003232 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3486/statm: 10113 848 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 49152

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

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

runsolver used 3.04354 second user time and 8.50171 second system time

The end

Launcher Data

Begin job on node017 at 2010-06-15 16:08:06
IDJOB=2669875
IDBENCH=1471
IDSOLVER=1171
FILE ID=node017/2669875-1276610886
PBS_JOBID= 11172279
Free space on /tmp= 62540 MiB

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

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

MD5SUM BENCH= 959fbe15545355cb65c359cdf131bbdc
RANDOM SEED=1449042267

node017.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.201
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.40
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.201
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.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1765860 kB
Buffers:         95192 kB
Cached:         116620 kB
SwapCached:      11984 kB
Active:         109204 kB
Inactive:       117460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1765860 kB
SwapTotal:     4192956 kB
SwapFree:      4134608 kB
Dirty:            1040 kB
Writeback:           0 kB
AnonPages:       13120 kB
Mapped:           9412 kB
Slab:            44708 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183024 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= 62540 MiB
End job on node017 at 2010-06-15 16:38:06