Trace number 2685602

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6035_10-sat.opb
MD5SUM45574cd19df32c19e9e184b1426d6ae9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.127979
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8784
Total number of constraints30004
Number of constraints which are clauses29720
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint1
Maximum length of a constraint17
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 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 116
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.07	c PB-wave - v2
0.00/0.07	c command line = ./PB-wave
0.00/0.07	c seed = 81306940
0.00/0.07	c cutoff = 1000000
0.00/0.07	c tries = 1000000
0.00/0.07	c heuristic = c best, noise 50 / 100
0.00/0.07	#var 8784 #con 30004
0.00/0.07	mode is SAT
0.00/0.07	c tail starts after flip = 26352
0.00/0.07	c numatom = 8784, numclause = 30004, numliterals = 67332
0.00/0.07	c wff read in
0.00/0.07	c 
0.00/0.07	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.07	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.07	c       this      this      this      this      this      this   success   success       until         std
0.00/0.07	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.07	c
1.29/1.30	c       150       438    352.39     70.86      4.97   1000000         0
2.48/2.54	c       190       301    362.93     60.43      6.01   1000000         0
3.68/3.78	c       159       357    361.90     75.79      4.78   1000000         0
4.98/5.01	c       137       445    354.34     71.70      4.94   1000000         0
6.18/6.24	c       163       359    350.95     73.16      4.80   1000000         0
7.38/7.48	c       173       359    342.42     61.94      5.53   1000000         0
8.69/8.71	c       195       380    358.11     63.02      5.68   1000000         0
9.89/9.94	c       145       335    345.88     70.23      4.92   1000000         0
11.08/11.18	c       151       440    357.64     61.70      5.80   1000000         0
12.38/12.41	c       137       343    345.73     63.06      5.48   1000000         0
13.58/13.64	c       177       337    353.30     67.20      5.26   1000000         0
14.78/14.87	c       171       363    353.98     62.83      5.63   1000000         0
16.08/16.10	c       158       343    343.24     66.44      5.17   1000000         0
17.28/17.34	c       158       338    346.72     61.86      5.61   1000000         0
18.48/18.57	c       184       298    366.00     71.54      5.12   1000000         0
19.69/19.80	c       174       504    353.56     61.01      5.79   1000000         0
20.98/21.03	c       154       320    349.22     70.49      4.95   1000000         0
22.18/22.27	c       135       428    355.98     73.12      4.87   1000000         0
23.48/23.50	c       180       316    345.73     61.43      5.63   1000000         0
24.68/24.73	c       168       272    348.42     66.00      5.28   1000000         0
25.88/25.96	c       156       357    355.58     66.78      5.32   1000000         0
27.08/27.19	c       112       391    346.13     72.19      4.79   1000000         0
28.38/28.43	c       178       317    354.92     68.66      5.17   1000000         0
29.58/29.66	c       168       232    347.40     66.03      5.26   1000000         0
30.78/30.89	c       155       293    346.38     58.83      5.89   1000000         0
32.08/32.12	c       187       365    349.22     61.52      5.68   1000000         0
33.27/33.35	c       116       378    352.68     75.12      4.70   1000000         0
34.47/34.58	c       161       460    360.25     68.39      5.27   1000000         0
35.77/35.82	c       159       472    348.07     67.51      5.16   1000000         0
36.97/37.05	c       153       456    343.05     66.58      5.15   1000000         0
38.17/38.28	c       131       347    344.12     70.45      4.88   1000000         0
39.48/39.51	c       168       307    348.53     76.01      4.59   1000000         0
40.68/40.74	c       167       315    344.37     65.86      5.23   1000000         0
41.87/41.97	c       132       314    340.74     62.03      5.49   1000000         0
43.17/43.21	c       169       434    360.26     61.19      5.89   1000000         0
44.37/44.44	c       175       381    357.33     70.13      5.10   1000000         0
45.57/45.68	c       173       228    346.99     63.61      5.45   1000000         0
46.87/46.91	c       141       345    346.61     68.68      5.05   1000000         0
48.07/48.14	c       168       381    347.56     67.75      5.13   1000000         0
49.27/49.37	c       144       298    352.99     61.16      5.77   1000000         0
50.48/50.60	c       157       338    344.34     61.19      5.63   1000000         0
51.77/51.83	c       141       336    342.56     66.96      5.12   1000000         0
52.97/53.06	c       163       448    350.22     59.76      5.86   1000000         0
54.17/54.29	c       154       392    336.32     71.82      4.68   1000000         0
55.47/55.53	c       162       293    351.95     69.44      5.07   1000000         0
56.67/56.76	c       142       278    356.94     71.67      4.98   1000000         0
57.87/57.99	c       174       252    340.10     67.23      5.06   1000000         0
59.17/59.23	c       199       310    360.41     73.73      4.89   1000000         0
60.37/60.46	c       137       360    348.85     72.47      4.81   1000000         0
61.57/61.69	c       132       340    351.07     65.17      5.39   1000000         0
62.87/62.92	c       153       412    346.93     66.69      5.20   1000000         0
64.07/64.15	c       158       302    346.12     63.71      5.43   1000000         0
65.27/65.39	c       170       313    355.27     66.56      5.34   1000000         0
66.57/66.62	c       147       376    344.38     66.58      5.17   1000000         0
67.77/67.85	c       169       422    348.11     70.32      4.95   1000000         0
68.96/69.08	c       183       333    351.94     57.70      6.10   1000000         0
70.27/70.31	c       150       303    349.86     68.54      5.10   1000000         0
71.47/71.55	c       100       378    347.93     68.78      5.06   1000000         0
72.66/72.78	c       140       320    352.67     67.47      5.23   1000000         0
73.96/74.01	c       150       327    345.19     67.29      5.13   1000000         0
75.16/75.24	c       156       383    355.83     71.29      4.99   1000000         0
76.36/76.47	c       159       357    344.49     67.02      5.14   1000000         0
77.66/77.71	c       181       412    365.67     62.15      5.88   1000000         0
78.86/78.94	c       134       329    341.35     71.48      4.78   1000000         0
80.06/80.17	c       199       297    347.60     57.86      6.01   1000000         0
81.28/81.40	c       185       415    361.64     62.41      5.79   1000000         0
82.57/82.63	c       144       307    342.76     65.35      5.25   1000000         0
83.77/83.86	c       165       304    349.62     63.85      5.48   1000000         0
84.97/85.09	c       147       249    346.53     63.79      5.43   1000000         0
86.27/86.32	c       178       340    353.06     65.37      5.40   1000000         0
87.47/87.55	c       143       393    343.75     67.08      5.12   1000000         0
88.67/88.79	c       153       413    347.12     63.98      5.43   1000000         0
89.97/90.02	c       141       379    352.61     69.93      5.04   1000000         0
91.18/91.25	c       139       326    347.65     64.06      5.43   1000000         0
92.38/92.48	c       180       422    353.00     69.82      5.06   1000000         0
93.67/93.72	c       153       420    359.51     74.84      4.80   1000000         0
94.87/94.95	c       196       383    351.51     67.16      5.23   1000000         0
96.07/96.18	c       187       290    364.25     60.12      6.06   1000000         0
97.37/97.42	c       160       368    354.27     63.25      5.60   1000000         0
98.57/98.65	c       153       282    344.57     56.96      6.05   1000000         0
99.77/99.88	c       156       364    348.25     74.18      4.69   1000000         0
101.07/101.11	c       163       225    344.85     71.04      4.85   1000000         0
102.27/102.34	c       159       418    341.70     64.93      5.26   1000000         0
103.46/103.57	c       134       414    345.98     70.85      4.88   1000000         0
104.76/104.81	c       157       353    348.90     67.22      5.19   1000000         0
105.96/106.04	c       186       321    351.05     68.55      5.12   1000000         0
107.16/107.27	c       144       356    338.05     72.11      4.69   1000000         0
108.46/108.51	c       166       277    345.29     68.19      5.06   1000000         0
109.66/109.74	c       151       272    349.71     65.22      5.36   1000000         0
110.86/110.97	c       154       372    342.01     68.72      4.98   1000000         0
112.07/112.20	c       183       449    353.95     65.99      5.36   1000000         0
113.36/113.43	c       189       285    353.68     58.11      6.09   1000000         0
114.56/114.67	c       169       396    347.81     69.18      5.03   1000000         0
115.76/115.90	c       159       295    338.59     65.73      5.15   1000000         0
117.06/117.13	c       148       249    356.51     66.74      5.34   1000000         0
118.26/118.36	c       194       324    356.10     58.24      6.11   1000000         0
119.46/119.60	c       178       414    364.11     62.48      5.83   1000000         0
120.76/120.82	c       170       342    336.63     58.55      5.75   1000000         0
121.97/122.06	c       183       299    345.44     57.78      5.98   1000000         0
123.17/123.28	c       167       488    345.40     65.48      5.27   1000000         0
124.46/124.51	c       107       398    347.54     74.25      4.68   1000000         0
125.66/125.74	c       141       346    341.57     61.15      5.59   1000000         0
126.86/126.97	c       154       379    357.68     70.25      5.09   1000000         0
128.16/128.20	c       151       366    331.12     70.67      4.69   1000000         0
129.36/129.43	c       174       296    350.03     57.74      6.06   1000000         0
130.56/130.66	c       165       381    349.38     73.32      4.77   1000000         0
131.86/131.90	c       161       338    357.77     75.22      4.76   1000000         0
133.06/133.13	c       189       407    356.93     70.59      5.06   1000000         0
134.26/134.37	c       160       280    358.82     71.76      5.00   1000000         0
135.56/135.60	c       168       469    367.03     67.85      5.41   1000000         0
136.76/136.83	c       154       388    336.46     65.51      5.14   1000000         0
137.95/138.06	c       179       347    356.75     68.41      5.22   1000000         0
139.25/139.30	c       184       387    353.00     67.11      5.26   1000000         0
140.45/140.53	c       190       396    363.54     64.48      5.64   1000000         0
141.65/141.76	c       169       328    350.86     62.65      5.60   1000000         0
142.86/142.99	c       146       333    348.97     63.63      5.48   1000000         0
144.15/144.22	c       153       346    344.54     66.15      5.21   1000000         0
145.35/145.46	c       196       369    362.56     67.78      5.35   1000000         0
146.55/146.69	c       147       398    340.46     62.43      5.45   1000000         0
147.85/147.92	c       166       444    352.73     71.40      4.94   1000000         0
149.05/149.15	c       178       246    346.14     64.00      5.41   1000000         0
150.25/150.38	c        86       278    346.35     70.45      4.92   1000000         0
151.55/151.61	c       158       322    344.53     65.96      5.22   1000000         0
152.76/152.85	c       129       462    352.67     71.21      4.95   1000000         0
153.96/154.08	c       142       364    341.95     74.38      4.60   1000000         0
155.25/155.31	c       157       366    345.98     71.46      4.84   1000000         0
156.45/156.55	c       196       365    364.65     57.62      6.33   1000000         0
157.65/157.78	c       169       322    348.27     67.94      5.13   1000000         0
158.95/159.01	c       179       304    350.19     54.43      6.43   1000000         0
160.15/160.25	c       163       303    361.42     67.35      5.37   1000000         0
161.35/161.48	c       158       192    342.44     65.93      5.19   1000000         0
162.65/162.71	c       210       389    366.89     64.54      5.68   1000000         0
163.85/163.94	c       166       378    349.65     68.16      5.13   1000000         0
165.05/165.18	c       122       263    360.61     69.33      5.20   1000000         0
166.35/166.41	c       160       385    356.52     64.92      5.49   1000000         0
167.55/167.64	c       151       296    352.75     64.46      5.47   1000000         0
168.75/168.87	c       154       353    351.97     58.48      6.02   1000000         0
170.05/170.11	c       181       302    352.93     62.62      5.64   1000000         0
171.24/171.34	c       129       396    352.50     76.03      4.64   1000000         0
172.44/172.57	c       194       484    355.65     61.24      5.81   1000000         0
173.65/173.80	c       143       329    353.30     64.50      5.48   1000000         0
174.94/175.04	c       167       321    351.23     64.94      5.41   1000000         0
176.14/176.27	c       142       262    344.11     61.28      5.62   1000000         0
177.34/177.50	c       152       325    341.47     65.35      5.23   1000000         0
178.64/178.73	c       130       334    343.15     60.42      5.68   1000000         0
179.84/179.96	c       147       374    345.09     63.29      5.45   1000000         0
181.04/181.19	c       182       461    356.23     61.31      5.81   1000000         0
182.34/182.42	c       154       353    352.26     75.69      4.65   1000000         0
183.55/183.66	c       107       369    359.97     66.46      5.42   1000000         0
184.75/184.89	c       183       413    356.04     69.39      5.13   1000000         0
186.04/186.12	c       163       334    344.22     73.64      4.67   1000000         0
187.24/187.36	c       184       215    360.50     69.82      5.16   1000000         0
188.44/188.59	c       180       342    352.14     71.20      4.95   1000000         0
189.74/189.82	c       174       215    350.47     72.04      4.86   1000000         0
190.94/191.06	c       169       320    356.88     72.35      4.93   1000000         0
192.14/192.29	c       148       262    337.09     70.26      4.80   1000000         0
193.45/193.52	c       158       242    348.46     63.71      5.47   1000000         0
194.65/194.75	c       123       271    351.64     73.18      4.81   1000000         0
195.84/195.98	c       158       296    352.48     58.70      6.01   1000000         0
197.14/197.21	c       191       341    350.00     61.12      5.73   1000000         0
198.34/198.45	c       181       299    352.72     64.26      5.49   1000000         0
199.54/199.68	c       175       350    351.73     63.79      5.51   1000000         0
200.84/200.91	c       165       410    353.37     61.71      5.73   1000000         0
202.04/202.14	c       164       380    355.95     58.05      6.13   1000000         0
203.24/203.38	c       182       373    355.27     59.40      5.98   1000000         0
204.54/204.61	c       118       414    343.36     68.12      5.04   1000000         0
205.73/205.84	c       172       294    352.56     68.33      5.16   1000000         0
206.93/207.07	c       121       394    349.12     66.26      5.27   1000000         0
208.23/208.31	c        98       404    353.53     68.02      5.20   1000000         0
209.43/209.54	c       157       332    352.87     68.45      5.16   1000000         0
210.63/210.77	c       137       342    356.59     73.66      4.84   1000000         0
211.93/212.01	c        94       406    350.36     68.49      5.12   1000000         0
213.13/213.24	c       159       330    348.15     76.92      4.53   1000000         0
214.34/214.47	c       153       334    360.67     65.10      5.54   1000000         0
215.63/215.70	c       144       352    357.59     62.65      5.71   1000000         0
216.83/216.94	c       183       313    359.22     55.11      6.52   1000000         0
218.03/218.17	c       180       497    354.57     64.55      5.49   1000000         0
219.33/219.40	c       167       294    343.43     65.22      5.27   1000000         0
220.53/220.64	c       169       331    360.62     66.31      5.44   1000000         0
221.73/221.87	c       153       360    342.57     61.05      5.61   1000000         0
223.03/223.10	c       163       265    351.06     63.21      5.55   1000000         0
224.24/224.33	c       153       325    348.76     67.39      5.18   1000000         0
225.44/225.56	c       188       398    357.15     71.13      5.02   1000000         0
226.63/226.79	c       138       323    341.33     63.91      5.34   1000000         0
227.93/228.02	c       182       343    357.54     74.15      4.82   1000000         0
229.13/229.26	c       170       338    356.54     65.05      5.48   1000000         0
230.33/230.50	c       170       287    364.95     66.33      5.50   1000000         0
231.63/231.73	c       190       324    351.71     61.75      5.70   1000000         0
232.83/232.96	c       151       368    354.07     66.42      5.33   1000000         0
234.03/234.19	c       167       348    343.03     62.05      5.53   1000000         0
235.34/235.43	c       173       275    358.94     63.41      5.66   1000000         0
236.53/236.66	c       157       274    351.98     66.63      5.28   1000000         0
237.73/237.89	c       195       316    358.03     68.17      5.25   1000000         0
239.03/239.13	c       165       349    346.39     63.52      5.45   1000000         0
240.23/240.36	c       182       354    353.59     62.12      5.69   1000000         0
241.43/241.58	c       120       264    340.48     66.06      5.15   1000000         0
242.73/242.81	c       141       354    340.09     64.27      5.29   1000000         0
243.93/244.05	c       150       394    363.73     75.98      4.79   1000000         0
245.13/245.28	c       165       306    351.93     65.41      5.38   1000000         0
246.43/246.51	c       184       362    358.10     65.48      5.47   1000000         0
247.63/247.74	c       180       344    353.59     67.66      5.23   1000000         0
248.83/248.97	c       167       329    340.43     60.31      5.64   1000000         0
250.12/250.21	c       164       381    344.13     72.57      4.74   1000000         0
251.32/251.44	c       158       370    341.04     73.28      4.65   1000000         0
252.52/252.66	c       161       262    337.35     62.18      5.43   1000000         0
253.72/253.89	c       163       366    344.08     75.67      4.55   1000000         0
255.03/255.13	c       145       374    360.85     70.47      5.12   1000000         0
256.23/256.36	c       175       252    351.23     65.85      5.33   1000000         0
257.42/257.59	c       193       319    348.60     58.28      5.98   1000000         0
258.72/258.83	c       160       374    348.63     67.90      5.13   1000000         0
259.92/260.06	c       170       273    355.24     69.76      5.09   1000000         0
261.12/261.29	c       169       302    353.72     60.14      5.88   1000000         0
262.42/262.53	c       169       317    354.44     78.82      4.50   1000000         0
263.62/263.76	c       187       379    365.00     63.86      5.72   1000000         0
264.82/264.99	c       148       418    353.69     72.24      4.90   1000000         0
266.13/266.23	c       173       371    356.57     63.42      5.62   1000000         0
267.32/267.46	c       171       433    341.81     54.36      6.29   1000000         0
268.52/268.69	c       191       287    350.63     67.15      5.22   1000000         0
269.82/269.93	c       168       312    359.95     69.97      5.14   1000000         0
271.02/271.16	c       119       265    359.64     74.41      4.83   1000000         0
272.22/272.39	c       181       324    366.03     70.20      5.21   1000000         0
273.52/273.62	c       179       293    350.65     66.21      5.30   1000000         0
274.72/274.85	c       182       273    357.04     61.89      5.77   1000000         0
275.93/276.09	c       150       429    360.60     62.24      5.79   1000000         0
277.22/277.32	c       175       311    355.06     64.13      5.54   1000000         0
278.42/278.55	c       178       326    361.63     63.46      5.70   1000000         0
279.62/279.78	c       158       243    337.88     62.08      5.44   1000000         0
280.92/281.01	c       145       308    343.30     70.87      4.84   1000000         0
282.12/282.24	c       133       357    342.53     70.48      4.86   1000000         0
283.32/283.48	c       181       423    354.62     58.82      6.03   1000000         0
284.62/284.71	c       153       346    344.69     68.76      5.01   1000000         0
285.82/285.94	c       122       444    341.69     67.70      5.05   1000000         0
287.02/287.17	c       135       336    350.75     71.63      4.90   1000000         0
288.32/288.40	c       141       341    350.61     68.78      5.10   1000000         0
289.51/289.63	c       184       344    349.18     70.24      4.97   1000000         0
290.71/290.87	c       170       339    362.41     69.47      5.22   1000000         0
292.01/292.10	c       177       412    352.00     66.28      5.31   1000000         0
293.21/293.34	c       182       383    362.18     61.41      5.90   1000000         0
294.41/294.57	c       163       409    358.25     56.97      6.29   1000000         0
295.72/295.80	c       149       300    343.33     64.68      5.31   1000000         0
296.92/297.03	c       171       297    355.05     63.55      5.59   1000000         0
298.11/298.26	c       143       271    340.14     62.00      5.49   1000000         0
299.31/299.49	c       152       396    350.23     60.56      5.78   1000000         0
300.61/300.73	c       186       384    352.26     68.20      5.16   1000000         0
301.81/301.96	c       152       368    352.17     69.13      5.09   1000000         0
303.01/303.19	c       174       283    353.98     75.75      4.67   1000000         0
304.31/304.43	c       191       347    358.24     63.10      5.68   1000000         0
305.51/305.66	c       154       323    358.57     66.66      5.38   1000000         0
306.72/306.89	c       147       303    340.46     64.55      5.27   1000000         0
308.01/308.12	c       187       439    351.43     64.16      5.48   1000000         0
309.21/309.35	c       163       347    343.32     62.97      5.45   1000000         0
310.41/310.59	c       161       413    351.66     70.42      4.99   1000000         0
311.71/311.82	c       159       345    347.36     75.75      4.59   1000000         0
312.91/313.05	c       135       362    346.75     81.97      4.23   1000000         0
314.11/314.28	c       109       363    350.92     66.13      5.31   1000000         0
315.41/315.51	c       160       279    354.85     64.60      5.49   1000000         0
316.61/316.75	c       167       319    348.14     68.87      5.06   1000000         0
317.81/317.98	c       134       348    340.37     67.92      5.01   1000000         0
319.11/319.21	c       155       386    344.79     71.95      4.79   1000000         0
320.31/320.44	c       171       342    353.00     64.47      5.48   1000000         0
321.51/321.67	c       165       359    351.62     66.12      5.32   1000000         0
322.81/322.90	c       156       307    335.26     60.99      5.50   1000000         0
324.01/324.14	c       171       436    358.11     61.74      5.80   1000000         0
325.20/325.37	c       180       269    352.24     62.94      5.60   1000000         0
326.51/326.60	c       168       187    352.45     64.27      5.48   1000000         0
327.71/327.83	c       164       341    352.02     65.48      5.38   1000000         0
328.90/329.06	c       147       327    345.23     66.53      5.19   1000000         0
330.20/330.30	c       180       367    349.01     67.86      5.14   1000000         0
331.40/331.53	c       180       319    361.08     68.96      5.24   1000000         0
332.60/332.76	c       154       257    339.40     70.37      4.82   1000000         0
333.80/333.99	c       146       350    342.66     70.23      4.88   1000000         0
335.10/335.22	c       158       348    363.40     68.20      5.33   1000000         0
336.30/336.45	c       163       307    347.33     61.17      5.68   1000000         0
337.51/337.69	c       167       395    346.40     69.80      4.96   1000000         0
338.80/338.92	c       167       350    337.41     64.52      5.23   1000000         0
340.00/340.15	c       181       399    354.39     63.63      5.57   1000000         0
341.20/341.38	c       178       351    350.56     66.83      5.25   1000000         0
342.50/342.61	c       163       356    352.83     61.72      5.72   1000000         0
343.70/343.84	c       132       381    342.20     62.44      5.48   1000000         0
344.90/345.07	c       160       326    352.46     68.64      5.13   1000000         0
346.20/346.30	c       159       386    346.38     62.01      5.59   1000000         0
347.41/347.54	c       183       299    352.49     70.14      5.03   1000000         0
348.61/348.77	c       171       395    352.46     71.37      4.94   1000000         0
349.90/350.00	c       118       270    352.26     76.15      4.63   1000000         0
351.10/351.23	c       182       259    356.21     65.49      5.44   1000000         0
352.30/352.47	c       160       379    357.17     63.36      5.64   1000000         0
353.60/353.70	c        89       381    348.44     69.88      4.99   1000000         0
354.80/354.93	c       158       244    347.55     75.46      4.61   1000000         0
356.00/356.16	c       190       340    356.34     63.96      5.57   1000000         0
357.20/357.39	c       135       233    348.28     62.30      5.59   1000000         0
358.50/358.62	c       156       324    347.33     57.41      6.05   1000000         0
359.70/359.85	c       154       389    355.87     74.00      4.81   1000000         0
360.90/361.09	c       167       337    353.75     69.34      5.10   1000000         0
362.20/362.33	c       158       226    361.91     66.78      5.42   1000000         0
363.40/363.56	c       100       274    351.25     70.66      4.97   1000000         0
364.60/364.79	c       162       337    346.19     66.02      5.24   1000000         0
365.90/366.02	c       164       207    350.32     73.72      4.75   1000000         0
367.10/367.26	c       149       366    355.75     66.85      5.32   1000000         0
368.30/368.49	c       164       362    341.15     64.56      5.28   1000000         0
369.59/369.72	c       188       247    346.50     63.85      5.43   1000000         0
370.79/370.95	c       141       440    339.21     62.65      5.41   1000000         0
371.99/372.19	c       200       272    356.32     60.02      5.94   1000000         0
373.29/373.42	c       159       313    353.24     71.26      4.96   1000000         0
374.49/374.65	c       138       381    351.55     64.21      5.48   1000000         0
375.69/375.89	c       160       266    358.50     68.67      5.22   1000000         0
376.99/377.12	c       140       299    341.26     68.12      5.01   1000000         0
378.20/378.34	c       187       243    344.48     62.86      5.48   1000000         0
379.40/379.58	c       163       339    358.32     69.69      5.14   1000000         0
380.69/380.81	c       104       344    341.32     70.07      4.87   1000000         0
381.89/382.04	c       117       290    342.55     65.19      5.25   1000000         0
383.09/383.27	c       152       392    361.26     68.42      5.28   1000000         0
384.39/384.50	c       149       442    350.15     68.99      5.08   1000000         0
385.59/385.73	c       148       269    354.34     65.42      5.42   1000000         0
386.79/386.96	c       176       350    351.85     66.58      5.28   1000000         0
387.99/388.20	c       153       289    349.83     63.77      5.49   1000000         0
389.30/389.43	c       152       363    345.36     75.37      4.58   1000000         0
390.49/390.65	c       147       332    340.82     64.77      5.26   1000000         0
391.69/391.88	c       131       238    337.47     68.19      4.95   1000000         0
392.99/393.12	c       179       261    363.57     67.02      5.42   1000000         0
394.19/394.35	c       165       395    362.31     72.53      5.00   1000000         0
395.39/395.58	c       159       351    347.40     65.07      5.34   1000000         0
396.69/396.81	c       136       378    344.36     66.91      5.15   1000000         0
397.89/398.04	c       169       412    341.56     67.62      5.05   1000000         0
399.09/399.27	c       146       383    357.92     69.40      5.16   1000000         0
400.39/400.50	c       175       294    344.01     65.00      5.29   1000000         0
401.59/401.72	c       194       296    343.52     65.60      5.24   1000000         0
402.78/402.96	c       151       352    350.43     73.85      4.75   1000000         0
403.98/404.19	c       137       358    355.79     64.04      5.56   1000000         0
405.28/405.43	c       148       376    362.93     63.20      5.74   1000000         0
406.48/406.65	c       194       312    344.87     54.79      6.29   1000000         0
407.68/407.88	c       175       326    351.32     62.81      5.59   1000000         0
408.99/409.11	c       160       457    353.76     61.49      5.75   1000000         0
410.19/410.34	c       167       306    347.54     58.68      5.92   1000000         0
411.38/411.57	c       163       267    349.51     63.65      5.49   1000000         0
412.68/412.81	c       162       372    343.09     62.48      5.49   1000000         0
413.88/414.04	c       178       321    351.05     67.58      5.19   1000000         0
415.08/415.27	c       159       340    351.83     63.86      5.51   1000000         0
416.38/416.50	c       165       335    348.24     63.98      5.44   1000000         0
417.58/417.74	c       146       422    355.78     68.72      5.18   1000000         0
418.78/418.97	c       173       369    359.76     71.98      5.00   1000000         0
420.09/420.21	c       130       306    362.01     73.76      4.91   1000000         0
421.28/421.44	c       172       292    352.28     65.95      5.34   1000000         0
422.48/422.67	c       162       381    348.19     63.27      5.50   1000000         0
423.78/423.90	c       171       368    349.97     61.78      5.66   1000000         0
424.98/425.13	c       161       402    352.19     69.31      5.08   1000000         0
426.18/426.36	c       158       331    345.60     61.31      5.64   1000000         0
427.38/427.59	c       172       346    350.43     68.50      5.12   1000000         0
428.68/428.82	c       185       336    367.70     74.38      4.94   1000000         0
429.89/430.06	c       139       402    338.45     59.78      5.66   1000000         0
431.09/431.29	c       143       250    351.56     69.85      5.03   1000000         0
432.38/432.52	c       158       365    355.10     63.18      5.62   1000000         0
433.58/433.75	c       132       359    346.61     74.63      4.64   1000000         0
434.78/434.99	c       185       307    346.73     68.51      5.06   1000000         0
436.08/436.22	c       166       372    356.28     70.76      5.03   1000000         0
437.28/437.45	c       162       418    342.24     64.36      5.32   1000000         0
438.48/438.68	c       164       302    350.81     64.19      5.47   1000000         0
439.78/439.91	c       150       338    346.81     76.51      4.53   1000000         0
440.98/441.15	c       158       312    351.21     61.76      5.69   1000000         0
442.18/442.38	c       150       282    346.33     62.67      5.53   1000000         0
443.48/443.61	c       189       397    358.21     67.04      5.34   1000000         0
444.68/444.84	c       170       345    351.64     70.91      4.96   1000000         0
445.88/446.08	c       142       336    360.97     67.61      5.34   1000000         0
447.18/447.31	c       148       353    347.16     59.92      5.79   1000000         0
448.37/448.54	c       152       281    350.47     73.82      4.75   1000000         0
449.57/449.78	c       145       341    350.82     64.77      5.42   1000000         0
450.89/451.01	c       168       366    358.15     61.60      5.81   1000000         0
452.08/452.24	c       164       339    354.44     70.41      5.03   1000000         0
453.28/453.46	c       106       398    321.89     61.78      5.21   1000000         0
454.58/454.70	c       163       308    352.01     72.02      4.89   1000000         0
455.78/455.93	c       124       302    340.45     59.03      5.77   1000000         0
456.98/457.16	c       147       239    351.29     64.43      5.45   1000000         0
458.18/458.39	c       160       290    360.52     74.81      4.82   1000000         0
459.48/459.63	c       179       316    353.31     72.12      4.90   1000000         0
460.69/460.85	c       158       279    345.11     65.43      5.27   1000000         0
461.89/462.08	c       168       409    361.50     67.20      5.38   1000000         0
463.18/463.32	c       163       323    350.25     68.62      5.10   1000000         0
464.38/464.54	c       174       419    342.00     63.76      5.36   1000000         0
465.58/465.78	c       171       338    349.91     58.97      5.93   1000000         0
466.88/467.01	c       161       321    349.71     68.24      5.12   1000000         0
468.08/468.23	c       172       428    337.27     66.48      5.07   1000000         0
469.28/469.47	c       146       412    352.31     67.10      5.25   1000000         0
470.58/470.70	c       137       384    356.21     72.12      4.94   1000000         0
471.79/471.93	c       165       399    353.64     70.23      5.04   1000000         0
472.98/473.16	c       128       369    356.27     64.02      5.56   1000000         0
474.18/474.39	c       177       458    364.54     68.52      5.32   1000000         0
475.48/475.63	c       160       362    366.39     77.22      4.74   1000000         0
476.68/476.86	c       166       289    355.06     68.00      5.22   1000000         0
477.88/478.10	c       166       357    354.03     64.75      5.47   1000000         0
479.18/479.33	c       128       329    349.25     63.93      5.46   1000000         0
480.38/480.56	c       159       301    343.46     64.03      5.36   1000000         0
481.58/481.78	c       119       385    340.84     73.12      4.66   1000000         0
482.88/483.02	c       130       301    350.11     69.01      5.07   1000000         0
484.08/484.25	c       177       321    350.20     66.53      5.26   1000000         0
485.28/485.48	c       173       357    347.77     65.22      5.33   1000000         0
486.58/486.71	c       125       325    354.67     74.01      4.79   1000000         0
487.77/487.95	c       153       342    348.98     66.09      5.28   1000000         0
488.97/489.18	c       156       384    350.47     73.33      4.78   1000000         0
490.27/490.41	c       138       370    359.71     69.92      5.14   1000000         0
491.48/491.64	c       157       337    361.45     70.23      5.15   1000000         0
492.68/492.87	c       150       268    352.41     67.30      5.24   1000000         0
493.97/494.11	c       160       344    343.98     69.00      4.99   1000000         0
495.17/495.34	c       171       391    347.20     68.67      5.06   1000000         0
496.37/496.57	c       137       296    343.87     73.77      4.66   1000000         0
497.67/497.80	c       162       358    348.13     62.76      5.55   1000000         0
498.87/499.04	c       156       376    354.56     66.26      5.35   1000000         0
500.07/500.27	c       148       383    349.10     65.46      5.33   1000000         0
501.38/501.50	c       174       365    375.14     71.64      5.24   1000000         0
502.58/502.74	c       158       343    348.56     68.02      5.12   1000000         0
503.77/503.97	c       154       296    337.85     58.21      5.80   1000000         0
505.07/505.20	c       160       256    346.41     60.83      5.69   1000000         0
506.27/506.43	c       160       390    350.85     72.97      4.81   1000000         0
507.47/507.66	c       185       263    347.88     65.77      5.29   1000000         0
508.67/508.89	c       146       391    344.63     68.77      5.01   1000000         0
509.97/510.12	c       164       314    357.95     65.96      5.43   1000000         0
511.17/511.35	c       179       355    349.12     62.37      5.60   1000000         0
512.38/512.59	c       173       468    354.08     64.87      5.46   1000000         0
513.67/513.81	c       161       374    336.90     63.73      5.29   1000000         0
514.87/515.04	c       133       373    342.63     66.73      5.13   1000000         0
516.07/516.27	c       169       285    346.79     61.99      5.59   1000000         0
517.37/517.51	c       167       295    354.20     65.44      5.41   1000000         0
518.57/518.74	c       156       351    349.98     62.96      5.56   1000000         0
519.77/519.97	c       162       286    345.35     69.19      4.99   1000000         0
521.07/521.20	c       181       318    357.07     73.40      4.86   1000000         0
522.27/522.43	c       170       370    351.74     76.64      4.59   1000000         0
523.47/523.66	c       109       282    342.81     61.06      5.61   1000000         0
524.67/524.89	c       177       352    357.28     63.90      5.59   1000000         0
525.97/526.13	c       159       357    344.24     68.17      5.05   1000000         0
527.16/527.36	c       172       368    346.13     69.83      4.96   1000000         0
528.36/528.58	c       157       280    340.90     72.71      4.69   1000000         0
529.66/529.82	c       159       313    356.10     72.64      4.90   1000000         0
530.86/531.05	c       183       398    359.54     61.02      5.89   1000000         0
532.06/532.28	c       189       447    362.52     64.27      5.64   1000000         0
533.37/533.51	c       146       359    341.20     64.20      5.31   1000000         0
534.56/534.74	c       114       308    335.95     64.23      5.23   1000000         0
535.76/535.97	c       173       378    349.12     72.87      4.79   1000000         0
537.06/537.20	c       169       352    347.53     55.88      6.22   1000000         0
538.26/538.43	c       166       360    349.08     68.36      5.11   1000000         0
539.46/539.66	c       138       484    346.72     66.84      5.19   1000000         0
540.66/540.89	c       152       277    345.15     61.03      5.66   1000000         0
541.96/542.12	c       143       293    338.90     61.39      5.52   1000000         0
543.17/543.35	c       193       295    351.17     65.01      5.40   1000000         0
544.37/544.58	c       121       307    351.86     67.92      5.18   1000000         0
545.66/545.81	c       158       291    354.65     73.14      4.85   1000000         0
546.86/547.04	c       179       440    347.95     69.27      5.02   1000000         0
548.06/548.26	c       177       324    343.03     59.52      5.76   1000000         0
549.36/549.50	c       179       336    360.25     65.14      5.53   1000000         0
550.56/550.73	c       183       418    351.00     56.82      6.18   1000000         0
551.76/551.96	c       160       328    346.84     57.79      6.00   1000000         0
553.07/553.20	c       185       355    350.46     59.34      5.91   1000000         0
554.27/554.43	c       141       248    348.44     67.92      5.13   1000000         0
555.46/555.66	c       126       389    340.06     60.74      5.60   1000000         0
556.66/556.89	c       179       373    362.91     69.73      5.20   1000000         0
557.96/558.12	c       188       256    364.65     61.53      5.93   1000000         0
559.16/559.35	c       191       437    349.28     64.04      5.45   1000000         0
560.36/560.58	c       152       421    343.16     62.22      5.52   1000000         0
561.66/561.82	c       157       380    357.62     71.47      5.00   1000000         0
562.86/563.05	c       164       380    354.66     71.56      4.96   1000000         0
564.06/564.28	c       181       250    356.02     68.67      5.18   1000000         0
565.36/565.51	c       158       263    352.13     75.02      4.69   1000000         0
566.55/566.74	c       161       304    351.30     67.79      5.18   1000000         0
567.75/567.97	c       149       332    346.81     71.31      4.86   1000000         0
569.05/569.20	c       180       289    356.61     66.85      5.33   1000000         0
570.25/570.44	c       167       318    345.23     63.56      5.43   1000000         0
571.45/571.67	c       156       363    357.11     68.13      5.24   1000000         0
572.65/572.90	c       177       390    355.69     62.05      5.73   1000000         0
573.96/574.13	c       171       354    362.06     67.85      5.34   1000000         0
575.16/575.36	c       153       457    357.71     60.25      5.94   1000000         0
576.35/576.59	c       148       405    349.25     63.38      5.51   1000000         0
577.65/577.83	c       174       256    350.68     72.47      4.84   1000000         0
578.85/579.05	c       166       268    352.45     67.02      5.26   1000000         0
580.05/580.29	c       173       373    343.69     66.38      5.18   1000000         0
581.35/581.51	c       157       422    342.13     60.18      5.69   1000000         0
582.55/582.75	c       144       313    354.65     69.40      5.11   1000000         0
583.75/583.98	c       179       354    344.28     72.13      4.77   1000000         0
585.06/585.21	c       169       312    356.30     65.54      5.44   1000000         0
586.25/586.45	c       163       323    363.50     62.80      5.79   1000000         0
587.45/587.68	c       125       374    331.56     63.93      5.19   1000000         0
588.75/588.91	c       149       411    340.63     59.17      5.76   1000000         0
589.95/590.13	c       141       330    349.39     65.99      5.30   1000000         0
591.15/591.37	c       124       366    352.18     70.44      5.00   1000000         0
592.45/592.60	c       189       393    357.56     70.04      5.11   1000000         0
593.65/593.83	c       178       345    353.98     57.19      6.19   1000000         0
594.86/595.06	c       166       284    349.58     63.75      5.48   1000000         0
596.06/596.29	c       178       420    351.24     60.22      5.83   1000000         0
597.35/597.52	c       117       365    353.47     67.37      5.25   1000000         0
598.55/598.75	c       164       292    343.88     66.55      5.17   1000000         0
599.75/599.98	c       183       390    351.76     62.99      5.58   1000000         0
601.05/601.21	c       151       353    346.88     66.02      5.25   1000000         0
602.25/602.44	c       131       362    336.66     71.07      4.74   1000000         0
603.45/603.67	c       170       280    341.74     64.06      5.33   1000000         0
604.75/604.90	c       185       301    357.76     62.81      5.70   1000000         0
605.95/606.13	c       163       291    354.20     65.30      5.42   1000000         0
607.15/607.36	c       190       289    354.75     67.58      5.25   1000000         0
608.35/608.59	c       164       460    345.00     62.02      5.56   1000000         0
609.65/609.82	c       163       392    343.76     62.50      5.50   1000000         0
610.85/611.05	c       133       300    346.78     66.46      5.22   1000000         0
612.04/612.28	c       113       448    344.71     64.38      5.35   1000000         0
613.34/613.51	c       146       326    345.76     66.71      5.18   1000000         0
614.54/614.74	c       135       377    345.43     65.49      5.27   1000000         0
615.75/615.97	c       127       316    345.68     71.79      4.82   1000000         0
617.04/617.20	c       153       391    352.72     68.50      5.15   1000000         0
618.24/618.44	c       171       312    364.44     72.74      5.01   1000000         0
619.44/619.67	c       164       361    354.37     68.25      5.19   1000000         0
620.74/620.90	c       164       339    354.66     77.48      4.58   1000000         0
621.94/622.13	c       164       298    345.59     72.95      4.74   1000000         0
623.14/623.36	c       179       244    353.33     68.53      5.16   1000000         0
624.34/624.59	c       143       197    345.55     66.79      5.17   1000000         0
625.65/625.82	c       149       383    343.24     71.48      4.80   1000000         0
626.85/627.05	c       149       416    347.68     69.19      5.03   1000000         0
628.04/628.29	c       148       517    358.94     64.13      5.60   1000000         0
629.34/629.52	c       156       427    352.35     71.21      4.95   1000000         0
630.54/630.75	c       145       406    349.53     67.27      5.20   1000000         0
631.74/631.98	c       137       313    352.45     69.25      5.09   1000000         0
633.04/633.21	c       135       376    354.07     71.86      4.93   1000000         0
634.24/634.44	c       151       453    349.89     65.87      5.31   1000000         0
635.44/635.66	c       172       279    341.23     64.48      5.29   1000000         0
636.65/636.90	c       149       333    348.75     66.38      5.25   1000000         0
637.94/638.13	c       176       413    346.51     55.66      6.23   1000000         0
639.14/639.36	c       168       346    344.59     55.63      6.19   1000000         0
640.34/640.59	c       154       346    338.14     63.94      5.29   1000000         0
641.64/641.82	c       159       271    348.02     61.12      5.69   1000000         0
642.84/643.05	c       149       360    349.88     71.01      4.93   1000000         0
644.04/644.28	c       163       340    345.51     68.32      5.06   1000000         0
645.34/645.51	c       159       291    341.93     62.84      5.44   1000000         0
646.54/646.74	c       162       357    354.10     63.31      5.59   1000000         0
647.74/647.97	c       180       337    354.10     60.58      5.84   1000000         0
649.04/649.20	c       164       343    364.79     69.04      5.28   1000000         0
650.24/650.44	c       149       403    352.65     72.39      4.87   1000000         0
651.43/651.67	c       139       356    343.95     68.75      5.00   1000000         0
652.73/652.90	c       154       316    372.33     63.31      5.88   1000000         0
653.93/654.13	c       151       459    357.51     65.27      5.48   1000000         0
655.13/655.36	c       167       304    345.11     64.79      5.33   1000000         0
656.33/656.59	c       156       382    349.66     68.16      5.13   1000000         0
657.64/657.83	c       151       280    339.91     69.53      4.89   1000000         0
658.83/659.06	c       161       410    349.18     67.23      5.19   1000000         0
660.03/660.29	c       177       351    346.89     61.77      5.62   1000000         0
661.33/661.52	c       162       369    355.26     65.50      5.42   1000000         0
662.53/662.75	c       162       271    343.85     63.02      5.46   1000000         0
663.73/663.98	c       193       317    355.38     60.69      5.86   1000000         0
665.03/665.21	c       160       246    346.59     68.81      5.04   1000000         0
666.23/666.44	c       152       318    349.24     63.20      5.53   1000000         0
667.44/667.67	c       169       334    340.81     62.61      5.44   1000000         0
668.73/668.90	c       149       431    347.93     65.93      5.28   1000000         0
669.93/670.13	c       172       301    361.83     66.51      5.44   1000000         0
671.13/671.37	c       160       333    355.60     70.51      5.04   1000000         0
672.43/672.60	c       139       363    337.61     71.36      4.73   1000000         0
673.63/673.83	c       169       337    333.91     70.49      4.74   1000000         0
674.83/675.05	c       171       296    350.39     67.26      5.21   1000000         0
676.03/676.29	c       161       421    357.44     61.15      5.84   1000000         0
677.33/677.52	c       162       303    350.17     66.74      5.25   1000000         0
678.53/678.74	c       135       412    350.11     64.30      5.44   1000000         0
679.73/679.97	c       140       396    349.75     70.64      4.95   1000000         0
681.03/681.21	c       171       391    363.62     69.17      5.26   1000000         0
682.23/682.44	c       152       351    349.59     67.32      5.19   1000000         0
683.43/683.67	c       122       409    348.71     68.29      5.11   1000000         0
684.72/684.91	c       166       333    349.82     62.95      5.56   1000000         0
685.92/686.14	c       157       445    355.99     71.70      4.97   1000000         0
687.12/687.37	c       180       394    356.66     64.23      5.55   1000000         0
688.43/688.61	c       195       442    374.65     62.32      6.01   1000000         0
689.62/689.84	c       153       383    349.70     69.36      5.04   1000000         0
690.82/691.07	c       177       310    353.07     68.30      5.17   1000000         0
692.12/692.30	c       170       397    349.43     57.01      6.13   1000000         0
693.32/693.53	c       157       331    349.87     69.43      5.04   1000000         0
694.52/694.76	c       128       327    350.84     74.18      4.73   1000000         0
695.72/695.99	c       164       323    364.55     64.65      5.64   1000000         0
697.02/697.23	c       144       269    356.41     64.71      5.51   1000000         0
698.23/698.46	c       168       343    348.30     61.96      5.62   1000000         0
699.43/699.69	c       160       422    357.13     72.75      4.91   1000000         0
700.72/700.92	c       126       440    354.57     72.23      4.91   1000000         0
701.92/702.15	c       163       279    337.42     69.92      4.83   1000000         0
703.12/703.38	c       176       401    359.02     66.57      5.39   1000000         0
704.42/704.61	c       155       337    346.56     59.94      5.78   1000000         0
705.62/705.84	c       148       207    350.11     64.95      5.39   1000000         0
706.82/707.08	c       165       313    346.70     64.31      5.39   1000000         0
708.13/708.31	c       114       271    342.90     68.93      4.97   1000000         0
709.33/709.53	c       155       358    348.47     65.21      5.34   1000000         0
710.52/710.77	c       183       318    351.52     63.22      5.56   1000000         0
711.82/712.00	c       165       321    345.52     63.27      5.46   1000000         0
713.02/713.23	c       174       394    356.88     65.45      5.45   1000000         0
714.22/714.47	c       185       490    361.40     62.14      5.82   1000000         0
715.52/715.70	c       113       309    359.88     66.40      5.42   1000000         0
716.72/716.93	c       149       298    340.94     68.62      4.97   1000000         0
717.92/718.16	c       174       381    335.65     64.50      5.20   1000000         0
719.12/719.39	c       145       406    341.98     58.95      5.80   1000000         0
720.42/720.62	c       163       500    358.96     69.50      5.17   1000000         0
721.62/721.85	c       166       366    342.16     62.48      5.48   1000000         0
722.82/723.08	c       163       320    355.90     68.25      5.21   1000000         0
724.12/724.31	c       163       256    354.02     68.73      5.15   1000000         0
725.32/725.54	c       195       315    345.81     64.12      5.39   1000000         0
726.52/726.77	c       165       363    357.52     74.45      4.80   1000000         0
727.81/728.00	c       178       312    350.61     63.13      5.55   1000000         0
729.02/729.23	c       153       312    351.79     64.95      5.42   1000000         0
730.22/730.47	c       179       409    368.76     60.65      6.08   1000000         0
731.51/731.70	c       125       334    342.36     74.11      4.62   1000000         0
732.71/732.93	c       151       350    350.44     62.67      5.59   1000000         0
733.91/734.16	c       156       316    356.58     68.93      5.17   1000000         0
735.21/735.40	c       141       330    363.87     67.72      5.37   1000000         0
736.41/736.63	c       162       377    344.50     67.55      5.10   1000000         0
737.61/737.86	c       182       346    347.67     69.47      5.00   1000000         0
738.81/739.09	c       154       396    343.74     62.63      5.49   1000000         0
740.12/740.32	c       165       370    344.55     74.25      4.64   1000000         0
741.31/741.55	c       175       364    353.87     66.84      5.29   1000000         0
742.51/742.78	c       157       306    351.53     62.89      5.59   1000000         0
743.81/744.01	c       169       433    346.08     62.04      5.58   1000000         0
745.01/745.24	c       168       263    365.75     74.97      4.88   1000000         0
746.21/746.47	c       165       363    354.30     74.42      4.76   1000000         0
747.51/747.71	c       161       297    353.86     72.08      4.91   1000000         0
748.71/748.94	c       157       390    359.46     64.04      5.61   1000000         0
749.92/750.18	c       147       318    369.35     69.22      5.34   1000000         0
751.21/751.41	c       137       280    350.21     64.41      5.44   1000000         0
752.41/752.64	c       128       388    344.59     62.21      5.54   1000000         0
753.61/753.87	c       128       293    351.26     78.23      4.49   1000000         0
754.91/755.10	c       145       333    356.56     65.11      5.48   1000000         0
756.11/756.33	c       177       337    348.08     59.56      5.84   1000000         0
757.31/757.56	c       151       318    356.93     64.81      5.51   1000000         0
758.61/758.80	c       180       362    360.95     70.64      5.11   1000000         0
759.81/760.03	c       200       355    347.28     61.19      5.68   1000000         0
761.02/761.27	c       187       364    352.54     67.75      5.20   1000000         0
762.31/762.50	c       188       343    344.73     63.98      5.39   1000000         0
763.51/763.73	c       162       369    360.77     56.61      6.37   1000000         0
764.71/764.96	c       171       387    347.20     72.48      4.79   1000000         0
765.91/766.18	c       150       318    340.41     61.53      5.53   1000000         0
767.21/767.41	c       158       394    340.93     67.20      5.07   1000000         0
768.41/768.65	c       166       305    357.32     62.94      5.68   1000000         0
769.61/769.88	c       178       316    354.41     70.72      5.01   1000000         0
770.91/771.11	c       159       397    339.12     63.79      5.32   1000000         0
772.10/772.34	c       168       346    359.81     66.65      5.40   1000000         0
773.30/773.58	c       198       344    354.79     65.02      5.46   1000000         0
774.60/774.81	c       141       383    334.44     70.80      4.72   1000000         0
775.80/776.04	c       106       352    347.41     72.29      4.81   1000000         0
777.00/777.27	c       165       332    344.38     68.83      5.00   1000000         0
778.30/778.50	c       176       303    344.41     66.51      5.18   1000000         0
779.50/779.73	c       159       305    363.96     73.65      4.94   1000000         0
780.71/780.96	c       189       310    353.82     62.01      5.71   1000000         0
781.91/782.19	c       173       347    360.92     62.68      5.76   1000000         0
783.20/783.42	c       146       382    342.31     67.06      5.10   1000000         0
784.40/784.65	c       177       345    348.05     64.54      5.39   1000000         0
785.60/785.88	c       185       437    350.45     71.99      4.87   1000000         0
786.90/787.11	c       186       269    351.22     60.87      5.77   1000000         0
788.10/788.34	c       155       376    346.04     71.15      4.86   1000000         0
789.30/789.57	c       172       344    345.40     67.35      5.13   1000000         0
790.61/790.80	c       172       379    345.84     64.20      5.39   1000000         0
791.81/792.03	c       139       310    348.37     65.89      5.29   1000000         0
793.00/793.26	c       142       377    348.93     73.93      4.72   1000000         0
794.30/794.50	c       132       303    351.61     71.88      4.89   1000000         0
795.50/795.73	c       172       337    354.72     65.64      5.40   1000000         0
796.70/796.96	c       149       307    356.89     77.08      4.63   1000000         0
797.90/798.19	c       169       362    350.64     68.96      5.08   1000000         0
799.20/799.42	c       149       228    348.64     68.67      5.08   1000000         0
800.40/800.66	c       136       400    348.14     75.74      4.60   1000000         0
801.61/801.88	c       149       380    349.49     61.47      5.69   1000000         0
802.90/803.11	c       162       326    350.90     64.72      5.42   1000000         0
804.10/804.35	c       162       434    352.26     60.55      5.82   1000000         0
805.30/805.57	c       153       342    334.63     64.83      5.16   1000000         0
806.60/806.81	c       146       386    352.06     59.70      5.90   1000000         0
807.80/808.04	c       163       362    343.77     69.47      4.95   1000000         0
809.00/809.27	c       159       299    353.71     63.79      5.54   1000000         0
810.30/810.50	c       148       382    347.03     70.60      4.92   1000000         0
811.50/811.73	c       133       265    344.25     69.60      4.95   1000000         0
812.70/812.96	c       180       267    349.86     65.95      5.30   1000000         0
813.89/814.19	c       156       362    355.02     71.34      4.98   1000000         0
815.19/815.42	c       134       379    345.03     71.38      4.83   1000000         0
816.39/816.66	c       186       412    357.91     64.34      5.56   1000000         0
817.59/817.89	c       177       343    359.22     72.57      4.95   1000000         0
818.89/819.12	c       167       379    347.15     62.87      5.52   1000000         0
820.09/820.35	c       160       376    363.97     66.30      5.49   1000000         0
821.29/821.59	c       182       310    367.91     66.93      5.50   1000000         0
822.60/822.82	c       158       343    360.73     63.37      5.69   1000000         0
823.79/824.05	c       161       363    352.83     64.82      5.44   1000000         0
824.99/825.29	c       184       356    357.45     62.89      5.68   1000000         0
826.29/826.52	c       183       388    345.47     63.36      5.45   1000000         0
827.49/827.75	c       188       241    351.11     64.03      5.48   1000000         0
828.69/828.98	c       173       417    350.61     64.78      5.41   1000000         0
829.99/830.22	c       149       251    340.45     66.16      5.15   1000000         0
831.19/831.45	c       165       302    344.48     63.37      5.44   1000000         0
832.40/832.68	c       174       303    350.89     61.80      5.68   1000000         0
833.69/833.91	c       166       328    355.12     64.18      5.53   1000000         0
834.89/835.14	c       191       442    354.23     64.38      5.50   1000000         0
836.09/836.37	c       161       272    344.81     66.63      5.18   1000000         0
837.39/837.60	c       146       348    344.11     68.94      4.99   1000000         0
838.59/838.83	c       172       379    349.14     57.43      6.08   1000000         0
839.79/840.07	c       137       405    349.57     62.73      5.57   1000000         0
841.09/841.30	c       110       405    351.45     67.48      5.21   1000000         0
842.29/842.53	c       142       181    348.51     70.90      4.92   1000000         0
843.49/843.76	c       155       354    355.99     66.02      5.39   1000000         0
844.69/844.99	c       149       321    346.37     70.23      4.93   1000000         0
845.99/846.22	c       170       316    354.87     72.00      4.93   1000000         0
847.19/847.45	c       193       278    359.28     63.53      5.66   1000000         0
848.38/848.68	c       162       305    342.32     60.27      5.68   1000000         0
849.68/849.91	c       147       315    334.33     64.07      5.22   1000000         0
850.88/851.14	c       130       355    344.72     64.26      5.36   1000000         0
852.08/852.37	c       174       525    352.52     66.17      5.33   1000000         0
853.39/853.61	c       190       520    361.42     61.42      5.88   1000000         0
854.58/854.84	c       146       331    343.48     64.13      5.36   1000000         0
855.78/856.07	c       164       298    342.40     60.95      5.62   1000000         0
857.08/857.30	c       153       327    345.42     54.08      6.39   1000000         0
858.28/858.53	c       156       259    349.86     65.36      5.35   1000000         0
859.48/859.76	c       118       386    358.24     74.63      4.80   1000000         0
860.68/860.99	c       185       226    353.78     66.06      5.36   1000000         0
861.98/862.23	c       153       382    354.15     66.35      5.34   1000000         0
863.19/863.46	c       132       417    364.27     64.37      5.66   1000000         0
864.39/864.69	c       178       367    357.15     66.45      5.37   1000000         0
865.68/865.92	c       166       356    354.13     63.42      5.58   1000000         0
866.88/867.16	c       165       296    361.53     66.91      5.40   1000000         0
868.08/868.39	c       114       369    332.98     65.14      5.11   1000000         0
869.38/869.61	c       135       301    343.85     72.19      4.76   1000000         0
870.58/870.84	c       153       284    351.04     60.97      5.76   1000000         0
871.78/872.08	c       156       353    357.40     61.44      5.82   1000000         0
873.09/873.31	c       151       457    349.67     73.36      4.77   1000000         0
874.29/874.54	c       184       294    353.23     64.20      5.50   1000000         0
875.48/875.77	c       158       344    344.79     79.28      4.35   1000000         0
876.78/877.01	c       175       296    346.58     71.82      4.83   1000000         0
877.98/878.24	c       153       278    345.46     65.65      5.26   1000000         0
879.18/879.47	c       196       415    356.65     62.92      5.67   1000000         0
880.48/880.70	c       158       362    352.93     68.15      5.18   1000000         0
881.68/881.94	c       168       313    357.76     72.63      4.93   1000000         0
882.88/883.17	c       183       333    362.20     65.43      5.54   1000000         0
884.18/884.40	c       149       369    342.71     66.30      5.17   1000000         0
885.38/885.63	c       165       436    349.32     68.34      5.11   1000000         0
886.58/886.87	c       181       344    354.52     67.78      5.23   1000000         0
887.88/888.10	c       161       368    355.12     63.67      5.58   1000000         0
889.07/889.33	c       115       448    351.46     67.01      5.24   1000000         0
890.27/890.56	c       153       381    346.14     69.42      4.99   1000000         0
891.47/891.79	c       157       388    343.41     62.11      5.53   1000000         0
892.77/893.02	c       154       256    348.47     63.86      5.46   1000000         0
893.98/894.25	c       203       300    362.18     62.32      5.81   1000000         0
895.18/895.49	c       146       419    351.82     66.22      5.31   1000000         0
896.47/896.72	c       173       273    364.46     60.61      6.01   1000000         0
897.67/897.95	c       170       345    348.84     59.35      5.88   1000000         0
898.87/899.19	c       123       456    353.03     66.64      5.30   1000000         0
900.17/900.42	c       143       361    352.30     66.71      5.28   1000000         0
901.37/901.65	c       160       397    344.75     67.71      5.09   1000000         0
902.57/902.88	c       173       287    349.39     67.62      5.17   1000000         0
903.88/904.11	c       172       330    346.98     65.00      5.34   1000000         0
905.08/905.34	c       147       267    347.61     59.22      5.87   1000000         0
906.27/906.58	c       202       481    357.73     56.54      6.33   1000000         0
907.57/907.81	c       181       329    354.29     76.58      4.63   1000000         0
908.77/909.04	c       179       359    354.99     71.96      4.93   1000000         0
909.97/910.27	c       148       436    355.21     72.23      4.92   1000000         0
911.27/911.51	c       166       415    363.93     65.88      5.52   1000000         0
912.47/912.74	c       137       290    351.69     65.19      5.39   1000000         0
913.67/913.97	c       153       327    348.25     69.36      5.02   1000000         0
914.88/915.20	c       133       417    356.82     69.82      5.11   1000000         0
916.17/916.43	c       185       398    366.08     64.26      5.70   1000000         0
917.37/917.67	c       178       329    365.26     68.67      5.32   1000000         0
918.67/918.90	c       131       299    336.56     72.44      4.65   1000000         0
919.87/920.13	c       138       328    343.74     78.71      4.37   1000000         0
921.07/921.36	c       173       310    348.42     65.59      5.31   1000000         0
922.27/922.59	c       155       390    358.39     61.61      5.82   1000000         0
923.57/923.82	c       115       302    346.38     69.04      5.02   1000000         0
924.77/925.05	c       149       461    357.32     67.06      5.33   1000000         0
925.97/926.29	c       191       346    352.06     65.62      5.37   1000000         0
927.27/927.52	c       167       446    363.13     68.45      5.31   1000000         0
928.46/928.75	c       126       403    353.21     66.70      5.30   1000000         0
929.66/929.98	c       143       396    350.76     65.82      5.33   1000000         0
930.96/931.22	c       186       227    359.72     72.22      4.98   1000000         0
932.17/932.45	c       145       327    336.16     66.91      5.02   1000000         0
933.36/933.68	c       177       274    353.37     69.55      5.08   1000000         0
934.67/934.90	c       150       317    347.11     66.93      5.19   1000000         0
935.87/936.13	c       148       316    337.70     63.14      5.35   1000000         0
937.06/937.37	c       175       336    343.53     68.99      4.98   1000000         0
938.36/938.60	c       153       332    349.91     72.63      4.82   1000000         0
939.56/939.83	c       169       327    352.96     59.60      5.92   1000000         0
940.76/941.06	c       163       355    355.54     70.18      5.07   1000000         0
941.96/942.29	c       144       362    342.79     60.48      5.67   1000000         0
943.26/943.52	c       189       348    352.59     61.87      5.70   1000000         0
944.46/944.75	c       144       333    347.09     64.00      5.42   1000000         0
945.67/945.98	c       160       270    344.37     61.67      5.58   1000000         0
946.96/947.21	c       181       375    345.54     65.13      5.31   1000000         0
948.16/948.45	c       152       297    366.62     68.60      5.34   1000000         0
949.36/949.68	c       148       326    348.35     64.98      5.36   1000000         0
950.66/950.90	c       145       315    337.83     61.58      5.49   1000000         0
951.86/952.13	c       168       262    341.53     67.76      5.04   1000000         0
953.06/953.36	c       162       208    340.04     64.55      5.27   1000000         0
954.26/954.60	c       167       360    350.16     72.73      4.81   1000000         0
955.57/955.82	c       175       257    350.20     68.29      5.13   1000000         0
956.77/957.06	c       150       357    346.15     71.48      4.84   1000000         0
957.96/958.29	c       182       404    358.11     72.91      4.91   1000000         0
959.26/959.52	c       175       471    350.39     70.10      5.00   1000000         0
960.46/960.76	c       167       294    352.68     63.97      5.51   1000000         0
961.66/961.98	c       137       380    351.19     71.72      4.90   1000000         0
962.96/963.22	c       181       357    364.37     64.61      5.64   1000000         0
964.16/964.45	c       194       340    353.79     62.38      5.67   1000000         0
965.36/965.69	c       163       375    362.03     74.06      4.89   1000000         0
966.66/966.92	c       153       294    344.51     65.48      5.26   1000000         0
967.86/968.15	c       152       346    346.48     67.77      5.11   1000000         0
969.06/969.38	c       154       451    365.92     61.47      5.95   1000000         0
970.36/970.61	c       171       417    351.74     63.78      5.51   1000000         0
971.56/971.84	c       170       396    345.42     68.33      5.06   1000000         0
972.76/973.07	c       149       451    347.37     70.11      4.95   1000000         0
974.05/974.30	c       129       368    346.81     72.47      4.79   1000000         0
975.25/975.53	c       174       373    347.59     70.27      4.95   1000000         0
976.46/976.77	c       189       364    365.57     63.80      5.73   1000000         0
977.75/978.00	c       176       292    346.38     61.04      5.67   1000000         0
978.95/979.23	c       161       316    347.75     65.01      5.35   1000000         0
980.15/980.46	c       175       419    360.53     58.33      6.18   1000000         0
981.35/981.69	c       183       340    353.55     68.05      5.20   1000000         0
982.65/982.92	c       165       249    345.48     73.69      4.69   1000000         0
983.85/984.16	c       161       434    362.16     65.11      5.56   1000000         0
985.05/985.39	c       177       357    343.90     60.09      5.72   1000000         0
986.36/986.62	c       153       224    342.36     64.93      5.27   1000000         0
987.56/987.85	c       150       284    358.07     61.19      5.85   1000000         0
988.75/989.08	c       165       357    349.28     63.39      5.51   1000000         0
990.05/990.32	c       170       296    353.85     69.27      5.11   1000000         0
991.25/991.54	c       148       406    345.98     70.96      4.88   1000000         0
992.45/992.77	c       163       405    353.56     72.64      4.87   1000000         0
993.75/994.01	c       171       460    362.24     65.37      5.54   1000000         0
994.95/995.24	c       124       263    351.03     73.32      4.79   1000000         0
996.15/996.47	c       142       402    346.37     71.55      4.84   1000000         0
997.36/997.70	c       146       334    350.93     64.03      5.48   1000000         0
998.65/998.93	c       167       384    349.43     61.52      5.68   1000000         0
999.85/1000.16	c       176       334    348.55     71.54      4.87   1000000         0
1001.05/1001.39	c       136       367    347.63     68.44      5.08   1000000         0
1002.35/1002.62	c       133       253    359.84     61.03      5.90   1000000         0
1003.55/1003.85	c       129       248    337.74     61.92      5.45   1000000         0
1004.75/1005.08	c       171       302    347.19     64.64      5.37   1000000         0
1006.05/1006.32	c       183       283    360.82     68.79      5.24   1000000         0
1007.25/1007.55	c       142       291    351.28     63.39      5.54   1000000         0
1008.45/1008.78	c       163       292    346.69     62.36      5.56   1000000         0
1009.75/1010.01	c       159       293    362.12     67.28      5.38   1000000         0
1010.95/1011.24	c       175       288    355.06     68.63      5.17   1000000         0
1012.15/1012.47	c       172       318    351.28     69.53      5.05   1000000         0
1013.44/1013.70	c       159       403    347.75     67.91      5.12   1000000         0
1014.64/1014.93	c       147       471    342.68     65.04      5.27   1000000         0
1015.84/1016.17	c       187       337    353.16     65.04      5.43   1000000         0
1017.15/1017.40	c       179       383    356.73     74.37      4.80   1000000         0
1018.35/1018.63	c       170       299    346.16     71.15      4.87   1000000         0
1019.54/1019.86	c       177       306    357.12     62.45      5.72   1000000         0
1020.74/1021.10	c       180       327    351.33     57.73      6.09   1000000         0
1022.04/1022.33	c       159       361    347.64     67.52      5.15   1000000         0
1023.24/1023.56	c       111       317    344.53     66.28      5.20   1000000         0
1024.44/1024.79	c       119       406    347.74     68.61      5.07   1000000         0
1025.74/1026.02	c        99       386    350.27     71.73      4.88   1000000         0
1026.94/1027.25	c       175       344    344.68     66.61      5.17   1000000         0
1028.15/1028.48	c       176       319    346.23     61.16      5.66   1000000         0
1029.44/1029.71	c       170       407    349.77     69.19      5.05   1000000         0
1030.64/1030.93	c       135       345    346.43     65.70      5.27   1000000         0
1031.84/1032.16	c       148       400    353.72     62.89      5.62   1000000         0
1033.14/1033.40	c       169       315    352.23     62.50      5.64   1000000         0
1034.34/1034.62	c       149       380    341.45     65.39      5.22   1000000         0
1035.54/1035.85	c       155       439    345.39     63.77      5.42   1000000         0
1036.74/1037.08	c       142       296    343.71     82.10      4.19   1000000         0
1038.05/1038.31	c       145       273    328.61     65.16      5.04   1000000         0
1039.25/1039.54	c       131       305    340.67     66.87      5.09   1000000         0
1040.44/1040.77	c       182       308    356.08     60.66      5.87   1000000         0
1041.74/1042.00	c       146       374    352.08     72.72      4.84   1000000         0
1042.94/1043.23	c       178       425    349.41     66.08      5.29   1000000         0
1044.14/1044.46	c       183       299    352.25     61.37      5.74   1000000         0
1045.44/1045.70	c       160       367    361.11     63.59      5.68   1000000         0
1046.64/1046.93	c       187       310    358.31     61.04      5.87   1000000         0
1047.84/1048.16	c       167       338    349.82     69.22      5.05   1000000         0
1049.04/1049.39	c       134       316    347.83     72.36      4.81   1000000         0
1050.34/1050.63	c       183       387    366.57     65.86      5.57   1000000         0
1051.54/1051.87	c       182       432    364.59     68.36      5.33   1000000         0
1052.83/1053.11	c       158       320    355.77     73.88      4.82   1000000         0
1054.03/1054.34	c       185       344    353.38     67.84      5.21   1000000         0
1055.23/1055.57	c       148       316    344.89     67.33      5.12   1000000         0
1056.53/1056.80	c       161       345    346.00     65.34      5.30   1000000         0
1057.73/1058.03	c       144       382    349.28     65.05      5.37   1000000         0
1058.93/1059.27	c       154       368    357.81     68.18      5.25   1000000         0
1060.23/1060.50	c       165       382    354.99     75.99      4.67   1000000         0
1061.42/1061.73	c       130       270    352.55     68.90      5.12   1000000         0
1062.63/1062.96	c       162       291    352.55     64.52      5.46   1000000         0
1063.83/1064.19	c       104       261    355.08     70.09      5.07   1000000         0
1065.13/1065.43	c       181       299    359.00     61.97      5.79   1000000         0
1066.32/1066.65	c       114       361    342.40     69.15      4.95   1000000         0
1067.52/1067.89	c       160       315    353.93     66.76      5.30   1000000         0
1068.83/1069.12	c       173       348    364.24     58.79      6.20   1000000         0
1070.03/1070.35	c       128       343    350.84     62.26      5.64   1000000         0
1071.22/1071.58	c       133       309    361.75     65.76      5.50   1000000         0
1072.52/1072.81	c       145       333    337.35     67.49      5.00   1000000         0
1073.72/1074.04	c       142       263    338.20     61.81      5.47   1000000         0
1074.92/1075.27	c       139       349    356.07     63.49      5.61   1000000         0
1076.22/1076.50	c       133       342    343.83     60.50      5.68   1000000         0
1077.42/1077.73	c       158       286    352.99     69.38      5.09   1000000         0
1078.62/1078.96	c       182       347    364.25     71.03      5.13   1000000         0
1079.83/1080.19	c       141       398    347.47     64.04      5.43   1000000         0
1081.12/1081.42	c       124       283    342.42     67.65      5.06   1000000         0
1082.32/1082.65	c       158       187    355.34     63.58      5.59   1000000         0
1083.52/1083.89	c       152       265    348.67     63.66      5.48   1000000         0
1084.82/1085.12	c       172       371    359.94     61.12      5.89   1000000         0
1086.02/1086.35	c       165       323    357.77     67.14      5.33   1000000         0
1087.22/1087.58	c       146       282    346.82     66.16      5.24   1000000         0
1088.52/1088.81	c       183       333    359.24     59.72      6.02   1000000         0
1089.72/1090.04	c       115       355    339.20     73.06      4.64   1000000         0
1090.92/1091.27	c       134       335    336.03     71.17      4.72   1000000         0
1092.22/1092.50	c       166       307    343.58     62.02      5.54   1000000         0
1093.42/1093.73	c       158       356    351.75     64.09      5.49   1000000         0
1094.62/1094.96	c       138       383    356.20     75.98      4.69   1000000         0
1095.92/1096.20	c       151       197    349.10     65.90      5.30   1000000         0
1097.12/1097.43	c       147       365    347.21     71.88      4.83   1000000         0
1098.32/1098.66	c       169       385    348.80     73.75      4.73   1000000         0
1099.51/1099.89	c       153       443    352.99     66.92      5.27   1000000         0
1100.82/1101.12	c       173       267    349.05     65.67      5.32   1000000         0
1102.01/1102.35	c       171       474    347.19     58.17      5.97   1000000         0
1103.21/1103.58	c       107       379    345.01     64.06      5.39   1000000         0
1104.51/1104.81	c       153       301    346.11     59.77      5.79   1000000         0
1105.71/1106.04	c       153       294    350.16     70.81      4.95   1000000         0
1106.91/1107.26	c       130       395    338.72     67.07      5.05   1000000         0
1108.11/1108.50	c       128       322    364.51     66.36      5.49   1000000         0
1109.41/1109.72	c       171       244    340.89     71.51      4.77   1000000         0
1110.62/1110.96	c       160       315    363.12     76.62      4.74   1000000         0
1111.82/1112.20	c       138       315    347.96     73.10      4.76   1000000         0
1113.11/1113.42	c       161       239    343.03     67.99      5.05   1000000         0
1114.31/1114.66	c       141       355    360.22     72.92      4.94   1000000         0
1115.51/1115.89	c       176       316    363.43     73.31      4.96   1000000         0
1116.81/1117.12	c       106       361    344.50     64.56      5.34   1000000         0
1118.01/1118.35	c       162       296    341.28     65.28      5.23   1000000         0
1119.21/1119.58	c       111       359    351.05     64.13      5.47   1000000         0
1120.51/1120.81	c       168       365    347.93     64.99      5.35   1000000         0
1121.72/1122.04	c       116       381    352.79     75.56      4.67   1000000         0
1122.91/1123.27	c       155       332    349.85     69.96      5.00   1000000         0
1124.21/1124.50	c       149       357    348.38     66.55      5.23   1000000         0
1125.41/1125.74	c       168       425    367.73     71.28      5.16   1000000         0
1126.61/1126.97	c       183       294    353.59     59.22      5.97   1000000         0
1127.91/1128.20	c       175       336    359.38     66.26      5.42   1000000         0
1129.11/1129.43	c       168       383    351.83     70.21      5.01   1000000         0
1130.31/1130.66	c       183       349    354.70     66.68      5.32   1000000         0
1131.51/1131.89	c       133       491    342.08     81.01      4.22   1000000         0
1132.81/1133.12	c       131       286    356.04     65.61      5.43   1000000         0
1134.01/1134.35	c       193       374    356.88     68.11      5.24   1000000         0
1135.21/1135.58	c       166       358    343.22     64.47      5.32   1000000         0
1136.51/1136.82	c       131       287    353.43     71.71      4.93   1000000         0
1137.70/1138.04	c       166       272    346.30     61.52      5.63   1000000         0
1138.90/1139.28	c       163       363    360.76     67.90      5.31   1000000         0
1140.20/1140.51	c       111       253    344.11     69.14      4.98   1000000         0
1141.41/1141.73	c       114       344    333.57     68.76      4.85   1000000         0
1142.61/1142.96	c       139       292    337.31     65.73      5.13   1000000         0
1143.80/1144.20	c       145       342    348.26     65.65      5.30   1000000         0
1145.10/1145.43	c       162       279    352.67     73.22      4.82   1000000         0
1146.30/1146.66	c       192       243    348.36     58.15      5.99   1000000         0
1147.50/1147.89	c       193       316    357.62     62.84      5.69   1000000         0
1148.80/1149.12	c       193       352    351.87     74.37      4.73   1000000         0
1150.00/1150.35	c       170       293    349.73     70.36      4.97   1000000         0
1151.20/1151.59	c       152       296    344.39     62.83      5.48   1000000         0
1152.51/1152.82	c       183       340    346.44     54.89      6.31   1000000         0
1153.70/1154.05	c       186       325    347.67     63.02      5.52   1000000         0
1154.90/1155.28	c       169       316    348.07     66.00      5.27   1000000         0
1156.20/1156.51	c       153       445    345.25     65.66      5.26   1000000         0
1157.40/1157.75	c       108       351    360.53     70.71      5.10   1000000         0
1158.60/1158.98	c       118       373    352.30     74.60      4.72   1000000         0
1159.90/1160.21	c       158       309    342.70     69.38      4.94   1000000         0
1161.10/1161.44	c       181       354    354.15     60.66      5.84   1000000         0
1162.31/1162.67	c       160       321    354.24     71.50      4.95   1000000         0
1163.60/1163.91	c       177       347    360.61     67.15      5.37   1000000         0
1164.80/1165.14	c       166       359    341.22     67.07      5.09   1000000         0
1166.00/1166.37	c       185       356    365.17     78.94      4.63   1000000         0
1167.30/1167.60	c       168       475    347.74     69.67      4.99   1000000         0
1168.50/1168.83	c       172       404    357.75     66.34      5.39   1000000         0
1169.70/1170.06	c       163       473    351.67     75.37      4.67   1000000         0
1170.90/1171.30	c       170       368    356.03     59.58      5.98   1000000         0
1172.20/1172.53	c       171       375    363.60     71.57      5.08   1000000         0
1173.40/1173.76	c       115       412    343.68     61.08      5.63   1000000         0
1174.60/1174.99	c       165       364    351.46     72.11      4.87   1000000         0
1175.90/1176.22	c       170       458    351.85     63.16      5.57   1000000         0
1177.10/1177.45	c       157       372    336.87     69.67      4.83   1000000         0
1178.29/1178.69	c       166       226    337.62     66.79      5.06   1000000         0
1179.59/1179.91	c       161       403    334.77     63.48      5.27   1000000         0
1180.79/1181.15	c       139       229    355.33     65.74      5.40   1000000         0
1181.99/1182.38	c       164       260    345.16     69.48      4.97   1000000         0
1183.30/1183.61	c       153       387    344.25     62.78      5.48   1000000         0
1184.49/1184.84	c       156       321    343.93     62.82      5.47   1000000         0
1185.69/1186.07	c       157       290    348.31     74.75      4.66   1000000         0
1186.99/1187.30	c       159       417    348.13     63.54      5.48   1000000         0
1188.19/1188.53	c       154       338    364.40     70.04      5.20   1000000         0
1189.39/1189.76	c       140       341    357.66     64.75      5.52   1000000         0
1190.69/1191.00	c       135       340    354.92     68.79      5.16   1000000         0
1191.89/1192.23	c       159       412    359.56     66.70      5.39   1000000         0
1193.10/1193.46	c       162       286    347.85     55.30      6.29   1000000         0
1194.30/1194.69	c       163       265    348.89     71.43      4.88   1000000         0
1195.59/1195.92	c       159       304    343.52     62.50      5.50   1000000         0
1196.79/1197.16	c       183       320    355.28     63.59      5.59   1000000         0
1197.99/1198.39	c       129       292    352.15     67.91      5.19   1000000         0
1199.29/1199.62	c       167       349    354.10     67.69      5.23   1000000         0
1200.49/1200.85	c       165       266    355.55     62.63      5.68   1000000         0
1201.69/1202.09	c       167       359    357.18     71.55      4.99   1000000         0
1203.00/1203.32	c       145       314    349.61     70.78      4.94   1000000         0
1204.20/1204.55	c       174       388    356.81     64.20      5.56   1000000         0
1205.39/1205.78	c       149       412    339.02     72.41      4.68   1000000         0
1206.69/1207.01	c       180       374    354.68     60.09      5.90   1000000         0
1207.89/1208.25	c       171       376    348.19     71.14      4.89   1000000         0
1209.09/1209.48	c       137       377    338.44     67.84      4.99   1000000         0
1210.39/1210.71	c       128       297    345.04     70.85      4.87   1000000         0
1211.59/1211.94	c       173       399    355.64     66.47      5.35   1000000         0
1212.79/1213.17	c       151       338    351.78     70.67      4.98   1000000         0
1213.99/1214.40	c       137       210    339.99     70.47      4.82   1000000         0
1215.29/1215.63	c       176       374    352.36     67.02      5.26   1000000         0
1216.49/1216.87	c       143       427    347.70     67.27      5.17   1000000         0
1217.78/1218.10	c       145       306    345.98     70.44      4.91   1000000         0
1218.98/1219.33	c       178       308    344.51     71.72      4.80   1000000         0
1220.18/1220.56	c       163       370    354.35     65.93      5.37   1000000         0
1221.38/1221.79	c       208       350    364.79     63.95      5.70   1000000         0
1222.68/1223.03	c       160       416    352.24     68.44      5.15   1000000         0
1223.89/1224.26	c       135       350    335.69     68.95      4.87   1000000         0
1225.09/1225.49	c       157       395    352.29     61.69      5.71   1000000         0
1226.38/1226.72	c       165       242    344.69     68.72      5.02   1000000         0
1227.58/1227.95	c       169       393    338.42     57.99      5.84   1000000         0
1228.78/1229.18	c       147       369    348.04     64.16      5.42   1000000         0
1230.08/1230.41	c       184       398    347.53     59.20      5.87   1000000         0
1231.28/1231.64	c       149       325    346.30     61.26      5.65   1000000         0
1232.48/1232.87	c       147       333    339.39     69.77      4.86   1000000         0
1233.79/1234.10	c       180       251    343.09     57.47      5.97   1000000         0
1234.99/1235.33	c       171       482    341.20     62.67      5.44   1000000         0
1236.18/1236.57	c       167       254    347.37     67.09      5.18   1000000         0
1237.48/1237.80	c       186       349    348.11     67.44      5.16   1000000         0
1238.68/1239.03	c       149       319    351.97     68.30      5.15   1000000         0
1239.88/1240.26	c       133       296    343.00     71.68      4.79   1000000         0
1241.08/1241.49	c       127       364    333.33     66.39      5.02   1000000         0
1242.38/1242.73	c       189       303    359.53     62.97      5.71   1000000         0
1243.58/1243.96	c       159       335    334.42     62.13      5.38   1000000         0
1244.79/1245.19	c       178       320    353.71     66.90      5.29   1000000         0
1246.08/1246.42	c       177       436    367.13     67.08      5.47   1000000         0
1247.28/1247.65	c       178       343    353.21     62.90      5.61   1000000         0
1248.48/1248.88	c       105       315    348.11     75.12      4.63   1000000         0
1249.78/1250.12	c       182       315    353.47     63.39      5.58   1000000         0
1250.98/1251.35	c       156       444    347.49     77.43      4.49   1000000         0
1252.18/1252.58	c       191       327    355.99     60.72      5.86   1000000         0
1253.48/1253.81	c       114       276    337.39     61.21      5.51   1000000         0
1254.68/1255.04	c       153       377    343.58     69.06      4.98   1000000         0
1255.88/1256.27	c       180       441    345.48     65.66      5.26   1000000         0
1257.18/1257.50	c       138       410    343.32     63.07      5.44   1000000         0
1258.38/1258.73	c       150       303    334.91     59.37      5.64   1000000         0
1259.58/1259.96	c       121       333    351.90     70.90      4.96   1000000         0
1260.78/1261.19	c       157       417    352.89     65.46      5.39   1000000         0
1262.08/1262.42	c       142       340    343.00     62.56      5.48   1000000         0
1263.27/1263.66	c       141       432    346.66     63.60      5.45   1000000         0
1264.47/1264.89	c       140       451    359.19     74.04      4.85   1000000         0
1265.78/1266.13	c       162       407    360.28     64.47      5.59   1000000         0
1266.97/1267.36	c       181       464    356.56     67.40      5.29   1000000         0
1268.17/1268.59	c       181       424    347.59     59.68      5.82   1000000         0
1269.47/1269.82	c       168       344    351.14     61.21      5.74   1000000         0
1270.67/1271.05	c       161       333    358.77     73.74      4.87   1000000         0
1271.87/1272.28	c       124       334    348.96     63.86      5.46   1000000         0
1273.17/1273.52	c       152       264    352.67     57.59      6.12   1000000         0
1274.37/1274.74	c       143       371    345.52     64.50      5.36   1000000         0
1275.58/1275.98	c       180       330    353.03     60.91      5.80   1000000         0
1276.87/1277.21	c       143       365    338.74     67.71      5.00   1000000         0
1278.07/1278.43	c       177       424    346.45     62.49      5.54   1000000         0
1279.27/1279.66	c       179       396    351.05     60.05      5.85   1000000         0
1280.57/1280.90	c       121       332    354.53     72.94      4.86   1000000         0
1281.77/1282.13	c       143       298    354.35     63.67      5.57   1000000         0
1282.97/1283.36	c       148       322    343.36     74.03      4.64   1000000         0
1284.17/1284.59	c       197       331    357.32     59.89      5.97   1000000         0
1285.48/1285.82	c       169       269    335.77     60.39      5.56   1000000         0
1286.68/1287.06	c       156       231    360.74     72.37      4.98   1000000         0
1287.97/1288.30	c       172       348    368.65     66.00      5.59   1000000         0
1289.17/1289.53	c       149       387    365.06     66.08      5.52   1000000         0
1290.37/1290.77	c       148       413    366.05     72.00      5.08   1000000         0
1291.67/1292.00	c       167       457    352.13     70.95      4.96   1000000         0
1292.87/1293.23	c       173       233    342.49     67.69      5.06   1000000         0
1294.07/1294.46	c       177       472    353.07     70.83      4.98   1000000         0
1295.27/1295.69	c       174       430    347.17     64.88      5.35   1000000         0
1296.57/1296.92	c       169       393    349.54     60.66      5.76   1000000         0
1297.77/1298.15	c       164       261    356.02     64.71      5.50   1000000         0
1298.97/1299.38	c       140       252    342.10     71.80      4.76   1000000         0
1300.27/1300.61	c       165       329    353.41     65.13      5.43   1000000         0
1301.47/1301.84	c       163       306    348.26     67.17      5.19   1000000         0
1302.66/1303.07	c       170       316    356.70     63.84      5.59   1000000         0
1303.96/1304.31	c       157       384    345.67     68.67      5.03   1000000         0
1305.16/1305.54	c       170       336    348.08     60.27      5.78   1000000         0
1306.37/1306.77	c       184       325    363.52     68.95      5.27   1000000         0
1307.66/1308.00	c       146       350    348.54     69.46      5.02   1000000         0
1308.86/1309.24	c       179       343    357.16     67.93      5.26   1000000         0
1310.06/1310.47	c       111       320    346.21     68.83      5.03   1000000         0
1311.36/1311.70	c        79       385    347.52     72.83      4.77   1000000         0
1312.56/1312.93	c       144       330    350.97     64.41      5.45   1000000         0
1313.76/1314.17	c       138       344    347.11     65.80      5.27   1000000         0
1314.96/1315.39	c       138       284    333.68     59.18      5.64   1000000         0
1316.27/1316.62	c       173       249    344.24     66.33      5.19   1000000         0
1317.47/1317.86	c       145       395    355.87     64.65      5.50   1000000         0
1318.66/1319.09	c       167       383    357.71     69.08      5.18   1000000         0
1319.96/1320.32	c       184       361    360.71     64.99      5.55   1000000         0
1321.16/1321.56	c       144       290    359.70     71.53      5.03   1000000         0
1322.36/1322.78	c       136       337    334.34     65.85      5.08   1000000         0
1323.66/1324.02	c       181       358    339.79     60.94      5.58   1000000         0
1324.86/1325.25	c       201       379    360.82     69.40      5.20   1000000         0
1326.06/1326.48	c       157       287    336.95     64.70      5.21   1000000         0
1327.37/1327.71	c       158       262    359.45     64.14      5.60   1000000         0
1328.56/1328.94	c       155       279    336.15     63.73      5.27   1000000         0
1329.76/1330.17	c       143       414    345.46     60.27      5.73   1000000         0
1331.06/1331.41	c       126       483    348.94     70.72      4.93   1000000         0
1332.26/1332.63	c       169       291    343.43     61.94      5.54   1000000         0
1333.46/1333.86	c       158       425    354.68     64.08      5.53   1000000         0
1334.66/1335.09	c       170       342    355.90     60.22      5.91   1000000         0
1335.96/1336.33	c       168       385    353.14     61.77      5.72   1000000         0
1337.16/1337.56	c       149       390    345.68     61.89      5.59   1000000         0
1338.36/1338.79	c       160       412    361.10     68.93      5.24   1000000         0
1339.66/1340.02	c       156       266    344.34     65.58      5.25   1000000         0
1340.86/1341.26	c       164       308    346.99     62.85      5.52   1000000         0
1342.06/1342.49	c       145       388    346.24     68.31      5.07   1000000         0
1343.35/1343.72	c       181       288    356.81     65.71      5.43   1000000         0
1344.55/1344.95	c       128       364    352.39     67.68      5.21   1000000         0
1345.75/1346.19	c       160       391    350.14     77.06      4.54   1000000         0
1347.06/1347.42	c       144       384    350.11     59.67      5.87   1000000         0
1348.26/1348.65	c       151       253    338.61     63.99      5.29   1000000         0
1349.45/1349.88	c       189       300    352.11     70.69      4.98   1000000         0
1350.75/1351.11	c       123       425    344.25     66.02      5.21   1000000         0
1351.95/1352.34	c       157       355    340.31     67.77      5.02   1000000         0
1353.15/1353.57	c       145       355    346.47     63.00      5.50   1000000         0
1354.45/1354.80	c       173       415    351.04     64.33      5.46   1000000         0
1355.65/1356.03	c       155       386    343.61     68.24      5.04   1000000         0
1356.85/1357.26	c       139       259    350.86     64.16      5.47   1000000         0
1358.06/1358.49	c       155       382    352.59     60.81      5.80   1000000         0
1359.35/1359.72	c       152       314    343.92     54.73      6.28   1000000         0
1360.55/1360.95	c       159       306    344.66     68.10      5.06   1000000         0
1361.75/1362.18	c       124       274    343.03     66.89      5.13   1000000         0
1363.05/1363.42	c       162       389    355.84     64.56      5.51   1000000         0
1364.25/1364.65	c       158       294    345.86     68.96      5.02   1000000         0
1365.45/1365.88	c       163       364    354.88     62.78      5.65   1000000         0
1366.75/1367.11	c       138       380    344.67     63.32      5.44   1000000         0
1367.96/1368.34	c       151       335    340.50     72.45      4.70   1000000         0
1369.15/1369.57	c       125       358    332.56     70.39      4.72   1000000         0
1370.45/1370.80	c       125       402    346.59     70.89      4.89   1000000         0
1371.65/1372.03	c       118       323    350.59     71.63      4.89   1000000         0
1372.85/1373.27	c       166       337    363.81     67.74      5.37   1000000         0
1374.15/1374.50	c       163       443    355.42     66.09      5.38   1000000         0
1375.35/1375.73	c       155       388    347.18     61.87      5.61   1000000         0
1376.55/1376.96	c       160       302    352.37     66.41      5.31   1000000         0
1377.75/1378.19	c       151       345    331.83     58.16      5.71   1000000         0
1379.05/1379.42	c       165       379    338.44     64.96      5.21   1000000         0
1380.25/1380.65	c       179       349    348.13     58.05      6.00   1000000         0
1381.44/1381.88	c       201       393    352.83     61.95      5.69   1000000         0
1382.74/1383.10	c       161       356    338.11     62.38      5.42   1000000         0
1383.94/1384.34	c       158       383    374.58     78.02      4.80   1000000         0
1385.14/1385.57	c       180       328    351.28     59.75      5.88   1000000         0
1386.44/1386.80	c       165       310    353.63     70.86      4.99   1000000         0
1387.64/1388.03	c       180       354    345.37     63.66      5.43   1000000         0
1388.85/1389.26	c       163       356    348.14     67.92      5.13   1000000         0
1390.05/1390.49	c       189       356    358.69     59.35      6.04   1000000         0
1391.34/1391.72	c       166       408    342.25     67.39      5.08   1000000         0
1392.54/1392.95	c       167       308    347.90     66.58      5.23   1000000         0
1393.74/1394.19	c       183       383    342.33     66.34      5.16   1000000         0
1395.04/1395.41	c       148       325    347.13     58.05      5.98   1000000         0
1396.24/1396.64	c       152       342    343.45     62.09      5.53   1000000         0
1397.44/1397.87	c       145       302    344.51     68.26      5.05   1000000         0
1398.75/1399.10	c       137       331    354.27     66.83      5.30   1000000         0
1399.95/1400.33	c       194       351    349.67     62.96      5.55   1000000         0
1401.14/1401.56	c       164       403    350.19     62.26      5.62   1000000         0
1402.34/1402.79	c       172       322    347.03     67.79      5.12   1000000         0
1403.64/1404.02	c       165       317    356.77     68.50      5.21   1000000         0
1404.84/1405.25	c       130       324    334.74     60.36      5.55   1000000         0
1406.04/1406.48	c       160       302    349.61     59.68      5.86   1000000         0
1407.34/1407.71	c       133       324    358.40     69.04      5.19   1000000         0
1408.54/1408.95	c       161       317    348.80     65.79      5.30   1000000         0
1409.75/1410.18	c       185       427    360.32     70.20      5.13   1000000         0
1411.04/1411.41	c       176       404    348.58     73.42      4.75   1000000         0
1412.24/1412.64	c       195       275    358.26     62.40      5.74   1000000         0
1413.44/1413.88	c       120       318    341.86     66.56      5.14   1000000         0
1414.74/1415.11	c       126       299    363.67     71.49      5.09   1000000         0
1415.94/1416.34	c       170       392    356.06     64.28      5.54   1000000         0
1417.14/1417.57	c       161       368    340.20     67.06      5.07   1000000         0
1418.34/1418.79	c       170       368    340.31     61.75      5.51   1000000         0
1419.64/1420.02	c       177       373    359.05     65.04      5.52   1000000         0
1420.84/1421.26	c       171       381    364.82     65.86      5.54   1000000         0
1422.04/1422.49	c       158       309    361.84     66.11      5.47   1000000         0
1423.34/1423.73	c       155       292    358.45     67.44      5.31   1000000         0
1424.54/1424.96	c       145       434    350.41     71.11      4.93   1000000         0
1425.74/1426.19	c       133       318    340.90     67.54      5.05   1000000         0
1427.04/1427.42	c       135       330    342.86     72.49      4.73   1000000         0
1428.23/1428.66	c       195       284    365.63     64.53      5.67   1000000         0
1429.43/1429.89	c       158       384    347.97     71.16      4.89   1000000         0
1430.74/1431.12	c       192       302    361.24     64.86      5.57   1000000         0
1431.93/1432.35	c       142       329    349.93     63.76      5.49   1000000         0
1433.13/1433.58	c       166       293    345.83     70.64      4.90   1000000         0
1434.43/1434.81	c       137       293    329.98     61.36      5.38   1000000         0
1435.63/1436.04	c       162       360    347.59     65.79      5.28   1000000         0
1436.83/1437.27	c       161       335    348.74     71.60      4.87   1000000         0
1438.13/1438.50	c       139       261    335.12     67.86      4.94   1000000         0
1439.33/1439.73	c       147       432    354.31     63.29      5.60   1000000         0
1440.54/1440.97	c       164       307    353.97     64.82      5.46   1000000         0
1441.83/1442.20	c       194       331    361.21     60.34      5.99   1000000         0
1443.03/1443.43	c       153       347    336.96     61.53      5.48   1000000         0
1444.23/1444.66	c       150       292    352.70     67.54      5.22   1000000         0
1445.43/1445.89	c       188       355    346.14     69.95      4.95   1000000         0
1446.73/1447.12	c       170       239    348.09     63.85      5.45   1000000         0
1447.93/1448.35	c       139       304    352.77     67.52      5.22   1000000         0
1449.13/1449.59	c       164       398    361.91     69.77      5.19   1000000         0
1450.44/1450.82	c       151       402    345.52     66.49      5.20   1000000         0
1451.64/1452.06	c       184       343    352.70     63.27      5.57   1000000         0
1452.83/1453.29	c       175       315    352.34     64.90      5.43   1000000         0
1454.13/1454.52	c       162       294    364.43     69.59      5.24   1000000         0
1455.33/1455.75	c       156       271    355.66     60.46      5.88   1000000         0
1456.53/1456.98	c       194       357    355.73     62.56      5.69   1000000         0
1457.83/1458.21	c       157       351    354.46     68.13      5.20   1000000         0
1459.03/1459.45	c       156       314    356.81     61.19      5.83   1000000         0
1460.23/1460.68	c       185       343    342.37     64.73      5.29   1000000         0
1461.53/1461.92	c       170       296    343.70     67.75      5.07   1000000         0
1462.73/1463.15	c       160       336    348.23     65.87      5.29   1000000         0
1463.93/1464.37	c       117       313    338.09     69.67      4.85   1000000         0
1465.23/1465.60	c       156       287    345.32     60.71      5.69   1000000         0
1466.43/1466.84	c       160       371    348.51     78.64      4.43   1000000         0
1467.62/1468.07	c       172       512    358.40     69.84      5.13   1000000         0
1468.92/1469.30	c       162       321    351.43     62.35      5.64   1000000         0
1470.12/1470.53	c       146       302    345.24     69.77      4.95   1000000         0
1471.33/1471.76	c       167       328    353.98     71.03      4.98   1000000         0
1472.53/1472.99	c       141       321    344.53     60.76      5.67   1000000         0
1473.82/1474.22	c       134       304    344.87     59.80      5.77   1000000         0
1475.02/1475.45	c       168       405    349.88     64.25      5.45   1000000         0
1476.22/1476.68	c       125       406    350.23     72.52      4.83   1000000         0
1477.52/1477.91	c       182       308    357.54     61.96      5.77   1000000         0
1478.72/1479.15	c       167       280    356.90     61.95      5.76   1000000         0
1479.92/1480.38	c       152       361    363.43     69.56      5.22   1000000         0
1481.23/1481.61	c       130       342    351.01     67.91      5.17   1000000         0
1482.43/1482.84	c       143       254    337.02     67.59      4.99   1000000         0
1483.62/1484.07	c       162       383    347.63     59.25      5.87   1000000         0
1484.92/1485.30	c       132       368    344.12     63.32      5.43   1000000         0
1486.12/1486.53	c       152       412    345.59     60.12      5.75   1000000         0
1487.32/1487.76	c       195       403    361.26     63.13      5.72   1000000         0
1488.52/1488.99	c       180       298    354.81     62.63      5.66   1000000         0
1489.82/1490.22	c       146       432    338.71     67.24      5.04   1000000         0
1491.02/1491.46	c       154       335    352.39     73.86      4.77   1000000         0
1492.23/1492.69	c       173       270    358.25     62.86      5.70   1000000         0
1493.52/1493.92	c       165       293    356.82     66.01      5.41   1000000         0
1494.72/1495.16	c       134       399    350.27     73.25      4.78   1000000         0
1495.92/1496.38	c       144       249    347.02     71.60      4.85   1000000         0
1497.22/1497.61	c       150       364    347.24     59.84      5.80   1000000         0
1498.42/1498.85	c       180       197    350.95     69.28      5.07   1000000         0
1499.62/1500.08	c       174       336    358.52     69.24      5.18   1000000         0
1500.92/1501.31	c       145       360    350.49     61.89      5.66   1000000         0
1502.12/1502.54	c       167       427    356.67     69.49      5.13   1000000         0
1503.32/1503.77	c       175       316    363.55     56.98      6.38   1000000         0
1504.62/1505.01	c       168       363    344.72     65.40      5.27   1000000         0
1505.82/1506.24	c       163       298    352.98     63.56      5.55   1000000         0
1507.01/1507.47	c       180       327    346.17     60.67      5.71   1000000         0
1508.31/1508.70	c       174       354    355.92     64.75      5.50   1000000         0
1509.51/1509.92	c       180       259    347.93     62.37      5.58   1000000         0
1510.71/1511.16	c       163       192    347.29     72.73      4.77   1000000         0
1511.91/1512.39	c       152       344    348.05     71.84      4.84   1000000         0
1513.22/1513.62	c       141       317    353.59     70.39      5.02   1000000         0
1514.41/1514.85	c       196       386    353.07     57.72      6.12   1000000         0
1515.61/1516.08	c       160       398    357.34     60.98      5.86   1000000         0
1516.91/1517.31	c       134       280    336.65     66.58      5.06   1000000         0
1518.11/1518.54	c       171       240    352.10     60.60      5.81   1000000         0
1519.31/1519.77	c       163       347    336.38     57.52      5.85   1000000         0
1520.61/1521.00	c       162       366    352.07     67.14      5.24   1000000         0
1521.81/1522.24	c       168       290    348.23     63.56      5.48   1000000         0
1523.02/1523.47	c       146       383    356.68     73.20      4.87   1000000         0
1524.31/1524.70	c       119       383    333.75     71.54      4.67   1000000         0
1525.51/1525.93	c       104       310    346.21     70.07      4.94   1000000         0
1526.71/1527.16	c       164       337    361.39     65.48      5.52   1000000         0
1527.91/1528.39	c       156       336    354.01     67.40      5.25   1000000         0
1529.21/1529.63	c       191       344    355.41     57.69      6.16   1000000         0
1530.41/1530.86	c       154       314    347.55     62.99      5.52   1000000         0
1531.61/1532.09	c       154       407    352.49     70.43      5.00   1000000         0
1532.92/1533.32	c       156       261    344.56     65.14      5.29   1000000         0
1534.12/1534.55	c       161       337    344.34     60.50      5.69   1000000         0
1535.31/1535.78	c       141       463    343.90     60.53      5.68   1000000         0
1536.61/1537.01	c       146       229    346.59     65.60      5.28   1000000         0
1537.81/1538.24	c       148       285    351.23     63.75      5.51   1000000         0
1539.01/1539.47	c       142       408    343.61     59.57      5.77   1000000         0
1540.31/1540.70	c       198       272    358.97     63.11      5.69   1000000         0
1541.51/1541.93	c       121       348    356.53     70.54      5.05   1000000         0
1542.71/1543.16	c       176       310    344.93     64.16      5.38   1000000         0
1543.91/1544.39	c       165       301    347.54     61.74      5.63   1000000         0
1545.21/1545.62	c       172       288    351.10     66.89      5.25   1000000         0
1546.41/1546.86	c       154       381    346.95     55.13      6.29   1000000         0
1547.61/1548.09	c       130       305    346.59     71.66      4.84   1000000         0
1548.90/1549.32	c       195       430    358.26     63.60      5.63   1000000         0
1550.10/1550.55	c       118       472    351.60     74.33      4.73   1000000         0
1551.30/1551.78	c       183       458    356.18     60.32      5.90   1000000         0
1552.60/1553.01	c       144       449    351.90     76.16      4.62   1000000         0
1553.81/1554.24	c       170       359    358.57     68.48      5.24   1000000         0
1555.01/1555.47	c       163       389    353.73     67.74      5.22   1000000         0
1556.30/1556.70	c       126       276    359.90     69.39      5.19   1000000         0
1557.50/1557.93	c       156       354    350.55     61.77      5.67   1000000         0
1558.70/1559.16	c       149       261    339.62     60.95      5.57   1000000         0
1559.90/1560.39	c       151       307    351.78     70.47      4.99   1000000         0
1561.20/1561.63	c       163       336    357.67     74.31      4.81   1000000         0
1562.40/1562.86	c       159       318    344.52     62.19      5.54   1000000         0
1563.60/1564.09	c       163       322    358.52     63.08      5.68   1000000         0
1564.91/1565.32	c       142       309    349.48     69.29      5.04   1000000         0
1566.10/1566.55	c       176       333    357.50     60.62      5.90   1000000         0
1567.30/1567.78	c       137       367    340.71     67.40      5.05   1000000         0
1568.60/1569.01	c       183       380    355.41     64.38      5.52   1000000         0
1569.80/1570.25	c       149       443    358.98     60.79      5.91   1000000         0
1571.01/1571.48	c       160       372    355.96     73.82      4.82   1000000         0
1572.31/1572.71	c       159       291    349.66     63.97      5.47   1000000         0
1573.51/1573.94	c       166       352    349.23     60.34      5.79   1000000         0
1574.71/1575.16	c       169       272    335.56     67.69      4.96   1000000         0
1576.01/1576.40	c       117       381    356.37     66.95      5.32   1000000         0
1577.21/1577.63	c       127       389    345.52     64.64      5.35   1000000         0
1578.41/1578.86	c       173       328    349.89     52.51      6.66   1000000         0
1579.61/1580.09	c       179       383    352.21     62.93      5.60   1000000         0
1580.91/1581.32	c       131       486    357.66     69.56      5.14   1000000         0
1582.11/1582.56	c       159       365    360.47     69.16      5.21   1000000         0
1583.31/1583.78	c       189       338    344.05     64.26      5.35   1000000         0
1584.61/1585.01	c       150       288    342.89     69.84      4.91   1000000         0
1585.81/1586.24	c       140       365    350.05     80.52      4.35   1000000         0
1587.01/1587.48	c       180       406    345.17     58.23      5.93   1000000         0
1588.31/1588.71	c       155       382    375.31     67.24      5.58   1000000         0
1589.51/1589.95	c       146       391    354.70     70.73      5.01   1000000         0
1590.71/1591.18	c       162       299    347.01     65.35      5.31   1000000         0
1592.00/1592.41	c       153       352    359.69     72.88      4.94   1000000         0
1593.20/1593.64	c       148       284    341.63     62.85      5.44   1000000         0
1594.40/1594.87	c       171       355    341.83     71.95      4.75   1000000         0
1595.71/1596.11	c       125       347    355.50     64.26      5.53   1000000         0
1596.90/1597.34	c       178       319    346.07     67.47      5.13   1000000         0
1598.10/1598.57	c       173       350    355.91     60.69      5.86   1000000         0
1599.40/1599.80	c       153       317    341.68     66.47      5.14   1000000         0
1600.60/1601.03	c       196       316    355.36     60.65      5.86   1000000         0
1601.80/1602.26	c       164       256    351.84     60.73      5.79   1000000         0
1603.10/1603.50	c       171       371    351.28     70.37      4.99   1000000         0
1604.30/1604.73	c       178       407    348.67     64.41      5.41   1000000         0
1605.51/1605.96	c       170       365    352.78     62.51      5.64   1000000         0
1606.80/1607.20	c       167       273    353.28     69.78      5.06   1000000         0
1608.00/1608.42	c       150       268    341.92     58.69      5.83   1000000         0
1609.20/1609.65	c       156       452    351.35     68.28      5.15   1000000         0
1610.40/1610.88	c       172       351    347.42     68.48      5.07   1000000         0
1611.70/1612.12	c       120       227    348.53     70.18      4.97   1000000         0
1612.90/1613.35	c       152       347    354.62     65.52      5.41   1000000         0
1614.10/1614.58	c       159       283    342.76     63.32      5.41   1000000         0
1615.41/1615.81	c       140       311    340.70     65.52      5.20   1000000         0
1616.61/1617.04	c       167       284    351.80     71.13      4.95   1000000         0
1617.80/1618.27	c       162       296    357.33     62.90      5.68   1000000         0
1619.10/1619.51	c       102       365    360.20     67.69      5.32   1000000         0
1620.30/1620.74	c       181       374    345.53     66.83      5.17   1000000         0
1621.50/1621.97	c       155       232    350.74     60.54      5.79   1000000         0
1622.80/1623.20	c       124       304    353.03     73.03      4.83   1000000         0
1624.00/1624.43	c       146       368    349.94     61.80      5.66   1000000         0
1625.20/1625.67	c       151       402    357.75     70.52      5.07   1000000         0
1626.40/1626.90	c       141       299    360.58     73.41      4.91   1000000         0
1627.70/1628.14	c       176       413    352.60     61.09      5.77   1000000         0
1628.90/1629.37	c       182       412    351.39     68.29      5.15   1000000         0
1630.10/1630.60	c       161       277    344.70     66.16      5.21   1000000         0
1631.39/1631.82	c       179       401    345.85     63.35      5.46   1000000         0
1632.59/1633.06	c       181       361    352.88     66.77      5.29   1000000         0
1633.79/1634.29	c       143       335    351.47     65.17      5.39   1000000         0
1635.09/1635.52	c       166       388    346.64     65.16      5.32   1000000         0
1636.30/1636.75	c       176       288    362.77     66.80      5.43   1000000         0
1637.50/1637.98	c       174       378    338.01     65.37      5.17   1000000         0
1638.79/1639.21	c       153       391    351.49     72.74      4.83   1000000         0
1639.99/1640.45	c       135       435    355.52     67.54      5.26   1000000         0
1641.19/1641.68	c       142       310    356.11     70.13      5.08   1000000         0
1642.49/1642.92	c       161       325    346.08     69.44      4.98   1000000         0
1643.69/1644.15	c       178       361    365.10     62.13      5.88   1000000         0
1644.89/1645.39	c       179       293    371.53     65.61      5.66   1000000         0
1646.20/1646.62	c       130       328    347.40     71.48      4.86   1000000         0
1647.40/1647.85	c       178       389    349.52     74.28      4.71   1000000         0
1648.59/1649.08	c       167       290    351.54     61.56      5.71   1000000         0
1649.89/1650.31	c       183       271    353.21     62.10      5.69   1000000         0
1651.09/1651.55	c       197       355    369.95     68.99      5.36   1000000         0
1652.29/1652.79	c       177       298    342.44     63.97      5.35   1000000         0
1653.59/1654.02	c       195       490    361.87     64.57      5.60   1000000         0
1654.79/1655.26	c       186       338    353.66     67.92      5.21   1000000         0
1655.99/1656.48	c       130       365    341.32     67.64      5.05   1000000         0
1657.30/1657.71	c       183       502    356.69     61.69      5.78   1000000         0
1658.49/1658.94	c       143       332    341.41     63.30      5.39   1000000         0
1659.69/1660.17	c       153       304    343.90     57.84      5.95   1000000         0
1660.99/1661.40	c       167       274    352.88     62.90      5.61   1000000         0
1662.19/1662.63	c       162       362    342.10     66.72      5.13   1000000         0
1663.39/1663.86	c       175       240    353.42     64.77      5.46   1000000         0
1664.59/1665.10	c       118       453    359.32     61.48      5.84   1000000         0
1665.89/1666.32	c       166       369    333.09     68.07      4.89   1000000         0
1667.09/1667.55	c       149       364    347.94     68.70      5.06   1000000         0
1668.29/1668.78	c       165       279    348.18     70.26      4.96   1000000         0
1669.58/1670.01	c       192       291    351.20     61.77      5.69   1000000         0
1670.78/1671.24	c       169       264    342.16     58.85      5.81   1000000         0
1671.98/1672.47	c       174       310    355.01     59.78      5.94   1000000         0
1673.28/1673.71	c       142       408    343.97     63.69      5.40   1000000         0
1674.48/1674.94	c       168       373    348.24     61.94      5.62   1000000         0
1675.68/1676.17	c       158       356    351.76     66.84      5.26   1000000         0
1676.88/1677.40	c       161       417    345.24     69.71      4.95   1000000         0
1678.19/1678.63	c       157       413    342.85     61.61      5.56   1000000         0
1679.38/1679.85	c       183       311    345.76     67.42      5.13   1000000         0
1680.58/1681.08	c       120       313    348.88     66.25      5.27   1000000         0
1681.88/1682.31	c       124       359    346.86     60.52      5.73   1000000         0
1683.08/1683.55	c       159       311    351.09     65.65      5.35   1000000         0
1684.28/1684.77	c       184       320    345.81     59.33      5.83   1000000         0
1685.58/1686.01	c       171       283    345.71     53.88      6.42   1000000         0
1686.78/1687.24	c       135       298    344.49     65.55      5.26   1000000         0
1687.99/1688.47	c       172       439    353.19     63.48      5.56   1000000         0
1689.28/1689.70	c       165       320    342.71     68.46      5.01   1000000         0
1690.48/1690.93	c       161       371    351.46     64.26      5.47   1000000         0
1691.68/1692.16	c       147       210    348.58     65.61      5.31   1000000         0
1692.88/1693.39	c       168       297    354.77     65.66      5.40   1000000         0
1694.18/1694.63	c       173       316    348.08     71.90      4.84   1000000         0
1695.38/1695.86	c       196       374    373.68     74.91      4.99   1000000         0
1696.58/1697.09	c       170       360    352.24     61.23      5.75   1000000         0
1697.88/1698.32	c       131       260    330.79     62.03      5.33   1000000         0
1699.08/1699.55	c       170       343    348.64     65.22      5.35   1000000         0
1700.28/1700.78	c       138       292    330.91     62.05      5.33   1000000         0
1701.58/1702.01	c       140       251    351.18     67.96      5.17   1000000         0
1702.78/1703.24	c       139       297    352.19     64.19      5.49   1000000         0
1703.98/1704.48	c       163       455    348.68     56.83      6.14   1000000         0
1705.28/1705.71	c       109       414    350.59     73.10      4.80   1000000         0
1706.48/1706.94	c       173       293    352.59     64.05      5.51   1000000         0
1707.68/1708.17	c       178       348    356.86     63.03      5.66   1000000         0
1708.98/1709.41	c       170       353    357.12     67.01      5.33   1000000         0
1710.18/1710.64	c       138       350    334.60     69.49      4.81   1000000         0
1711.37/1711.87	c       154       358    353.22     69.34      5.09   1000000         0
1712.67/1713.11	c       200       398    360.96     70.59      5.11   1000000         0
1713.87/1714.34	c       132       378    354.98     65.84      5.39   1000000         0
1715.07/1715.57	c       140       301    342.48     67.61      5.07   1000000         0
1716.37/1716.80	c       179       384    345.51     62.47      5.53   1000000         0
1717.57/1718.03	c       187       346    356.40     65.91      5.41   1000000         0
1718.78/1719.27	c       165       391    359.46     74.69      4.81   1000000         0
1720.07/1720.50	c       161       408    347.43     70.45      4.93   1000000         0
1721.27/1721.73	c       142       347    347.92     66.16      5.26   1000000         0
1722.47/1722.96	c       196       291    353.95     60.36      5.86   1000000         0
1723.77/1724.20	c       167       433    354.69     56.13      6.32   1000000         0
1724.97/1725.43	c       146       330    328.86     61.27      5.37   1000000         0
1726.17/1726.66	c       102       308    351.55     63.56      5.53   1000000         0
1727.37/1727.89	c       158       380    351.74     72.81      4.83   1000000         0
1728.68/1729.12	c       158       416    348.78     71.56      4.87   1000000         0
1729.88/1730.35	c       144       289    341.62     69.12      4.94   1000000         0
1731.07/1731.58	c       170       243    349.59     65.32      5.35   1000000         0
1732.37/1732.82	c       159       375    338.68     59.41      5.70   1000000         0
1733.57/1734.05	c       131       376    344.88     69.06      4.99   1000000         0
1734.77/1735.28	c       174       276    354.00     68.15      5.19   1000000         0
1736.07/1736.51	c       186       382    367.26     66.65      5.51   1000000         0
1737.27/1737.74	c       135       316    337.00     75.76      4.45   1000000         0
1738.47/1738.97	c       131       424    344.22     67.14      5.13   1000000         0
1739.77/1740.21	c       157       389    353.09     65.30      5.41   1000000         0
1740.97/1741.44	c       160       377    344.48     60.30      5.71   1000000         0
1742.17/1742.67	c       131       368    350.19     76.76      4.56   1000000         0
1743.47/1743.90	c       175       353    349.21     62.73      5.57   1000000         0
1744.67/1745.13	c       191       420    345.79     59.73      5.79   1000000         0
1745.86/1746.36	c       180       470    352.38     64.64      5.45   1000000         0
1747.06/1747.59	c       167       465    362.50     68.60      5.28   1000000         0
1748.37/1748.82	c       163       315    342.20     59.71      5.73   1000000         0
1749.57/1750.05	c       163       310    353.49     68.66      5.15   1000000         0
1750.77/1751.28	c       167       440    343.73     72.90      4.71   1000000         0
1752.06/1752.51	c       142       258    346.46     68.44      5.06   1000000         0
1753.26/1753.73	c       177       352    354.48     65.39      5.42   1000000         0
1754.46/1754.96	c       146       309    354.22     59.40      5.96   1000000         0
1755.66/1756.20	c       177       342    354.88     64.62      5.49   1000000         0
1756.96/1757.42	c       175       292    350.54     62.49      5.61   1000000         0
1758.16/1758.65	c       154       321    333.77     64.38      5.18   1000000         0
1759.36/1759.88	c       121       281    350.57     68.74      5.10   1000000         0
1760.67/1761.11	c       139       339    354.06     75.29      4.70   1000000         0
1761.86/1762.35	c       168       384    363.12     66.00      5.50   1000000         0
1763.06/1763.58	c       179       356    358.47     71.35      5.02   1000000         0
1764.36/1764.81	c       176       439    355.31     61.37      5.79   1000000         0
1765.56/1766.04	c       154       416    346.70     70.59      4.91   1000000         0
1766.76/1767.27	c       167       337    349.73     69.75      5.01   1000000         0
1768.06/1768.50	c       143       335    343.97     77.39      4.44   1000000         0
1769.26/1769.73	c       148       355    341.66     61.71      5.54   1000000         0
1770.47/1770.96	c       145       377    341.94     64.82      5.28   1000000         0
1771.67/1772.19	c       189       401    353.61     64.71      5.46   1000000         0
1772.96/1773.42	c       147       247    330.66     64.08      5.16   1000000         0
1774.16/1774.65	c       167       374    359.17     60.45      5.94   1000000         0
1775.36/1775.89	c       170       411    342.78     69.26      4.95   1000000         0
1776.66/1777.12	c       140       405    344.10     65.96      5.22   1000000         0
1777.86/1778.35	c       166       373    360.08     65.48      5.50   1000000         0
1779.06/1779.58	c       153       220    345.92     59.27      5.84   1000000         0
1780.36/1780.81	c       162       331    344.37     64.58      5.33   1000000         0
1781.56/1782.04	c       149       248    352.86     62.08      5.68   1000000         0
1782.76/1783.27	c       148       390    338.75     62.87      5.39   1000000         0
1784.06/1784.50	c       153       376    342.58     61.19      5.60   1000000         0
1785.26/1785.73	c       155       340    342.15     71.01      4.82   1000000         0
1786.46/1786.95	c       167       325    338.89     58.40      5.80   1000000         0
1787.66/1788.18	c       157       277    332.46     65.14      5.10   1000000         0
1788.96/1789.41	c       141       332    356.74     71.24      5.01   1000000         0
1790.15/1790.64	c       160       374    343.47     64.39      5.33   1000000         0
1791.36/1791.87	c       145       428    346.77     62.23      5.57   1000000         0
1792.56/1793.09	c       163       262    334.02     65.26      5.12   1000000         0
1793.85/1794.33	c        81       320    343.93     67.17      5.12   1000000         0
1795.05/1795.56	c       144       227    354.64     65.49      5.42   1000000         0
1796.25/1796.79	c       155       329    366.49     67.89      5.40   1000000         0
1797.55/1798.03	c       176       357    366.36     74.11      4.94   1000000         0
1798.75/1799.26	c       196       275    349.05     64.90      5.38   1000000         0
1800.06/1800.50	c       152       346    359.36     71.75      5.01   1000000         0
1800.06/1800.50	HOME/run: line 2: 21803 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-2685602-1278441809/watcher-2685602-1278441809 -o /tmp/evaluation-result-2685602-1278441809/solver-2685602-1278441809 -C 1800 -W 2000 -M 1800 run HOME/instance-2685602-1278441809.opb 

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


[startup+0 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 21802
/proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) R 21800 21802 19731 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210369429 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0

[startup+0.01367 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 21802
/proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100677 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 21802
/proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300694 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 21802
/proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700729 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 21802
/proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5008 s]
/proc/loadavg: 0.97 1.00 1.00 2/108 21804
/proc/meminfo: memFree=1384028/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1.49
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1194 0 0 0 149 0 0 0 25 0 1 0 12391493 41422848 1124 1992294400 134512640 135071400 4293642064 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1124 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10093 s]
/proc/loadavg: 0.97 1.00 1.00 2/108 21804
/proc/meminfo: memFree=1383780/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=3.08
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1194 0 0 0 308 0 0 0 25 0 1 0 12391493 41422848 1124 1992294400 134512640 135071400 4293642064 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1124 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30121 s]
/proc/loadavg: 0.97 1.00 1.00 2/108 21804
/proc/meminfo: memFree=1383780/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=6.28
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 628 0 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7008 s]
/proc/loadavg: 0.98 1.00 1.00 2/108 21804
/proc/meminfo: memFree=1383656/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=12.68
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 1268 0 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5019 s]
/proc/loadavg: 0.98 1.00 1.00 2/108 21805
/proc/meminfo: memFree=1383656/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=25.48
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 2548 0 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1021 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21805
/proc/meminfo: memFree=1383656/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=51.07
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 5107 0 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 21807
/proc/meminfo: memFree=1383532/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=102.27
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 10226 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 21808
/proc/meminfo: memFree=1383408/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=162.25
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 16224 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134525733 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 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 21810
/proc/meminfo: memFree=1383284/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=222.23
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 22222 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21811
/proc/meminfo: memFree=1383284/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=282.22
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 28221 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21813
/proc/meminfo: memFree=1383160/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=342.2
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 34219 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21815
/proc/meminfo: memFree=1383160/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=402.18
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 40217 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1122.01
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 112199 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 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.00 1.00 1.00 2/108 21844
/proc/meminfo: memFree=1381672/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1181.99
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 118197 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 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.00 1.00 1.00 2/108 21846
/proc/meminfo: memFree=1381672/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1241.98
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 124196 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 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.00 1.00 1.00 2/108 21848
/proc/meminfo: memFree=1381548/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1301.97
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 130195 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 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.00 1.00 1.00 2/108 21849
/proc/meminfo: memFree=1381548/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1361.95
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 136193 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526185 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.07 1.02 1.00 2/108 21851
/proc/meminfo: memFree=1381424/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1421.94
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 142192 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 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.08 1.03 1.00 2/108 21852
/proc/meminfo: memFree=1381300/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1481.92
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 148190 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526627 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 21854
/proc/meminfo: memFree=1381176/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1541.91
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 154189 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526661 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/108 21856
/proc/meminfo: memFree=1381052/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1601.9
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 160187 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/108 21857
/proc/meminfo: memFree=1381052/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1661.89
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 166186 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/108 21859
/proc/meminfo: memFree=1380928/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1721.87
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 172184 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 21860
/proc/meminfo: memFree=1380680/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1781.86
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 178183 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 21861
/proc/meminfo: memFree=1380680/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1800.06
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 180003 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 21861
/proc/meminfo: memFree=1380680/2059040 swapFree=4192956/4192956
[pid=21802] ppid=21800 vsize=8700 CPUtime=0
/proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21802/statm: 2175 243 204 178 0 68 0
[pid=21803] ppid=21802 vsize=40452 CPUtime=1800.06
/proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 180003 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21803/statm: 10113 1125 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

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

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

runsolver used 2.78758 second user time and 8.77666 second system time

The end

Launcher Data

Begin job on node031 at 2010-07-06 20:43:29
IDJOB=2685602
IDBENCH=76565
IDSOLVER=1171
FILE ID=node031/2685602-1278441809
PBS_JOBID= 11233447
Free space on /tmp= 62560 MiB

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

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

MD5SUM BENCH= 45574cd19df32c19e9e184b1426d6ae9
RANDOM SEED=842432397

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1389028 kB
Buffers:        113656 kB
Cached:         415492 kB
SwapCached:          0 kB
Active:         253812 kB
Inactive:       335896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1389028 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2852 kB
Writeback:           0 kB
AnonPages:       60572 kB
Mapped:          14424 kB
Slab:            58128 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180012 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62560 MiB
End job on node031 at 2010-07-06 21:13:29