Trace number 2685168

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9012_2-unsat.opb
MD5SUMe779a123dad7c0bfc06fe135207f182b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.18997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12922
Total number of constraints40512
Number of constraints which are clauses40232
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints280
Minimum length of a constraint1
Maximum length of a constraint69
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 102
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 504
Number of bits of the biggest sum of numbers9
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.11	c PB-wave - v2
0.00/0.11	c command line = ./PB-wave
0.00/0.11	c seed = 88396360
0.00/0.11	c cutoff = 1000000
0.00/0.11	c tries = 1000000
0.00/0.11	c heuristic = c best, noise 50 / 100
0.00/0.11	#var 12922 #con 40512
0.00/0.11	mode is SAT
0.00/0.11	c tail starts after flip = 38766
0.00/0.11	c numatom = 12922, numclause = 40512, numliterals = 104895
0.00/0.11	c wff read in
0.00/0.11	c 
0.00/0.11	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.11	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.11	c       this      this      this      this      this      this   success   success       until         std
0.00/0.11	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.11	c
1.39/1.41	c       141       277    320.23     95.13      3.37   1000000         0
2.68/2.71	c       161       316    342.09    100.48      3.40   1000000         0
3.98/4.01	c       157       274    343.50    101.78      3.37   1000000         0
5.28/5.31	c       175       259    349.49    107.22      3.26   1000000         0
6.59/6.61	c       133       275    318.78     93.61      3.41   1000000         0
7.88/7.91	c       100       221    342.07     94.73      3.61   1000000         0
9.18/9.21	c       152       379    333.88     98.84      3.38   1000000         0
10.48/10.51	c       119       270    318.76    114.46      2.78   1000000         0
11.78/11.81	c       145       324    331.27    109.83      3.02   1000000         0
13.09/13.12	c       160       341    334.65    124.56      2.69   1000000         0
14.39/14.41	c       116       201    330.24     87.94      3.76   1000000         0
15.68/15.72	c       154       271    330.87     95.57      3.46   1000000         0
16.98/17.02	c       164       340    347.51     93.54      3.72   1000000         0
18.28/18.33	c       173       373    337.75    103.33      3.27   1000000         0
19.58/19.63	c       111       292    331.29    103.65      3.20   1000000         0
20.89/20.93	c       126       297    334.11    105.28      3.17   1000000         0
22.18/22.23	c       142       366    341.58     98.84      3.46   1000000         0
23.48/23.53	c       149       336    322.21     91.29      3.53   1000000         0
24.78/24.83	c       135       291    337.02     97.44      3.46   1000000         0
26.08/26.13	c       156       382    332.85     99.49      3.35   1000000         0
27.38/27.43	c       111       329    332.92     99.78      3.34   1000000         0
28.69/28.74	c       138       225    342.26    114.77      2.98   1000000         0
29.98/30.04	c       160       354    340.45     95.51      3.56   1000000         0
31.28/31.34	c       125       304    326.94    104.49      3.13   1000000         0
32.58/32.64	c       136       432    325.02    107.33      3.03   1000000         0
33.88/33.94	c       149       266    349.19     88.83      3.93   1000000         0
35.19/35.24	c       165       283    333.06     93.19      3.57   1000000         0
36.48/36.53	c       153       360    317.59     85.65      3.71   1000000         0
37.78/37.83	c       119       260    328.87     99.11      3.32   1000000         0
39.08/39.13	c       157       318    319.94     97.40      3.28   1000000         0
40.38/40.43	c       116       324    319.73    108.93      2.94   1000000         0
41.68/41.73	c       131       327    338.59    123.50      2.74   1000000         0
42.98/43.03	c       107       321    334.37     88.52      3.78   1000000         0
44.28/44.33	c       124       356    316.07     93.08      3.40   1000000         0
45.58/45.63	c       159       300    334.36     84.39      3.96   1000000         0
46.88/46.93	c       144       420    341.41     97.42      3.50   1000000         0
48.17/48.23	c       147       350    338.69    106.60      3.18   1000000         0
49.48/49.53	c       122       381    322.93    112.16      2.88   1000000         0
50.77/50.83	c       139       366    335.10     95.53      3.51   1000000         0
52.07/52.13	c       119       336    339.42    100.18      3.39   1000000         0
53.37/53.43	c       131       287    322.46    110.03      2.93   1000000         0
54.67/54.73	c       153       309    329.29    113.31      2.91   1000000         0
55.97/56.03	c       159       268    332.77    119.68      2.78   1000000         0
57.28/57.33	c       140       322    338.77     99.10      3.42   1000000         0
58.57/58.63	c       138       286    334.23    106.98      3.12   1000000         0
59.87/59.93	c       182       367    345.94     89.61      3.86   1000000         0
61.17/61.24	c       162       353    341.73    105.51      3.24   1000000         0
62.47/62.54	c       148       355    335.01    112.09      2.99   1000000         0
63.78/63.84	c       172       297    346.52    108.85      3.18   1000000         0
65.07/65.14	c       168       366    341.18     98.77      3.45   1000000         0
66.37/66.45	c       176       332    349.14    108.26      3.22   1000000         0
67.67/67.75	c       142       240    346.20    113.30      3.06   1000000         0
68.97/69.05	c       172       483    329.46     91.48      3.60   1000000         0
70.27/70.35	c       148       358    337.11     86.94      3.88   1000000         0
71.58/71.65	c       137       402    333.95     90.72      3.68   1000000         0
72.87/72.94	c        76       269    322.12    113.66      2.83   1000000         0
74.17/74.24	c       145       280    329.39    100.29      3.28   1000000         0
75.47/75.54	c       124       421    331.33    106.18      3.12   1000000         0
76.77/76.83	c        82       310    326.08     98.27      3.32   1000000         0
78.08/78.14	c       137       325    336.83    104.96      3.21   1000000         0
79.37/79.43	c       128       376    335.49    126.04      2.66   1000000         0
80.67/80.73	c       156       279    330.14    103.11      3.20   1000000         0
81.97/82.03	c       142       354    326.24    102.02      3.20   1000000         0
83.27/83.33	c       118       388    349.08    107.45      3.25   1000000         0
84.57/84.63	c       154       394    331.73    101.66      3.26   1000000         0
85.87/85.93	c       151       379    332.22     94.28      3.52   1000000         0
87.17/87.23	c       148       284    318.76     88.99      3.58   1000000         0
88.47/88.53	c       129       326    349.92    113.45      3.08   1000000         0
89.77/89.83	c       141       266    337.01     92.38      3.65   1000000         0
91.06/91.13	c       153       302    326.06     86.28      3.78   1000000         0
92.37/92.43	c       140       406    331.28    109.25      3.03   1000000         0
93.66/93.72	c       156       299    331.02     92.38      3.58   1000000         0
94.96/95.02	c       149       299    341.47     97.92      3.49   1000000         0
96.26/96.32	c       130       264    332.66     81.08      4.10   1000000         0
97.56/97.61	c       145       445    333.70     98.19      3.40   1000000         0
98.86/98.91	c       158       354    333.45    101.69      3.28   1000000         0
100.17/100.20	c       126       289    329.23    104.91      3.14   1000000         0
101.46/101.50	c       152       339    335.07     97.14      3.45   1000000         0
102.66/102.80	c       172       343    330.90     97.92      3.38   1000000         0
103.96/104.09	c       126       338    324.78     98.96      3.28   1000000         0
105.26/105.39	c       152       336    341.94     93.31      3.66   1000000         0
106.56/106.69	c       153       384    335.44    104.35      3.21   1000000         0
107.87/107.99	c       164       243    336.55    118.61      2.84   1000000         0
109.16/109.29	c       119       285    324.93    109.96      2.96   1000000         0
110.46/110.59	c       133       397    330.56     92.34      3.58   1000000         0
111.76/111.88	c       144       274    319.86     92.90      3.44   1000000         0
113.06/113.19	c       190       310    350.07     97.20      3.60   1000000         0
114.37/114.49	c       117       346    348.98    115.11      3.03   1000000         0
115.66/115.79	c       159       288    329.24     85.32      3.86   1000000         0
116.96/117.09	c       137       281    327.48     93.17      3.51   1000000         0
118.36/118.40	c       161       296    350.34    121.25      2.89   1000000         0
119.56/119.69	c       143       362    315.76     78.98      4.00   1000000         0
120.86/120.99	c       174       325    336.93     97.42      3.46   1000000         0
122.16/122.29	c       121       210    324.24    107.69      3.01   1000000         0
123.46/123.59	c       143       333    335.29    110.27      3.04   1000000         0
124.76/124.88	c       138       304    322.91     85.54      3.77   1000000         0
126.06/126.18	c       136       396    350.21    113.99      3.07   1000000         0
127.36/127.49	c       150       314    332.40    115.56      2.88   1000000         0
128.66/128.78	c       137       319    345.07    120.23      2.87   1000000         0
129.96/130.08	c       162       362    328.42     93.87      3.50   1000000         0
131.26/131.38	c       158       250    330.74     97.70      3.39   1000000         0
132.55/132.68	c       142       249    336.13     97.47      3.45   1000000         0
133.85/133.98	c       137       232    326.04     89.36      3.65   1000000         0
135.15/135.28	c       160       334    334.17     92.50      3.61   1000000         0
136.46/136.58	c       166       371    330.42     99.89      3.31   1000000         0
137.75/137.88	c       132       338    339.46    113.77      2.98   1000000         0
139.05/139.19	c       167       353    344.13    107.00      3.22   1000000         0
140.35/140.49	c       161       285    329.29     95.94      3.43   1000000         0
141.65/141.79	c       163       251    325.66     88.24      3.69   1000000         0
142.96/143.09	c       161       372    336.08     92.89      3.62   1000000         0
144.25/144.39	c       168       264    344.61    103.28      3.34   1000000         0
145.65/145.70	c       124       384    337.08    110.08      3.06   1000000         0
146.95/147.00	c       170       350    343.09     96.28      3.56   1000000         0
148.25/148.30	c       132       292    323.68     94.74      3.42   1000000         0
149.56/149.60	c       150       221    338.26    102.02      3.32   1000000         0
150.76/150.89	c       119       329    318.46    106.80      2.98   1000000         0
152.15/152.20	c       176       313    336.05    103.06      3.26   1000000         0
153.45/153.50	c       187       359    333.06     83.55      3.99   1000000         0
154.75/154.80	c       168       339    332.85     83.05      4.01   1000000         0
156.05/156.10	c       140       314    337.63    104.25      3.24   1000000         0
157.36/157.41	c       171       395    345.49    100.78      3.43   1000000         0
158.65/158.71	c       141       300    340.23    102.52      3.32   1000000         0
159.95/160.00	c       143       267    319.38     86.35      3.70   1000000         0
161.25/161.30	c       150       277    327.34    101.12      3.24   1000000         0
162.55/162.60	c       116       253    334.12    100.15      3.34   1000000         0
163.85/163.91	c       134       326    344.45    116.63      2.95   1000000         0
165.15/165.20	c       149       255    328.51    105.90      3.10   1000000         0
166.45/166.50	c       176       222    330.91     94.54      3.50   1000000         0
167.64/167.79	c       104       205    317.53     91.56      3.47   1000000         0
168.94/169.09	c       150       344    337.18     92.57      3.64   1000000         0
170.34/170.40	c       166       356    354.04    102.28      3.46   1000000         0
171.55/171.70	c       147       253    347.95    102.20      3.40   1000000         0
172.84/172.99	c       155       366    328.00    100.98      3.25   1000000         0
174.24/174.30	c       187       306    347.05    106.95      3.25   1000000         0
175.44/175.59	c       152       369    313.21     83.85      3.74   1000000         0
176.74/176.89	c       142       233    337.80     98.78      3.42   1000000         0
178.04/178.19	c       131       312    333.86    102.90      3.24   1000000         0
179.35/179.49	c       127       238    326.49     91.77      3.56   1000000         0
180.64/180.79	c       146       389    339.19     99.44      3.41   1000000         0
181.94/182.09	c       125       244    324.71    100.11      3.24   1000000         0
183.24/183.39	c       156       272    326.85    103.64      3.15   1000000         0
184.54/184.68	c       145       230    322.54     87.21      3.70   1000000         0
185.85/185.98	c       178       441    345.62    105.59      3.27   1000000         0
187.14/187.29	c       158       297    341.97    101.55      3.37   1000000         0
188.44/188.58	c       162       380    325.03    115.21      2.82   1000000         0
189.74/189.89	c       165       250    361.05    107.79      3.35   1000000         0
191.04/191.19	c       158       246    326.16    106.20      3.07   1000000         0
192.34/192.49	c       153       353    322.40    108.54      2.97   1000000         0
193.65/193.79	c       141       231    339.04    102.76      3.30   1000000         0
194.94/195.09	c       155       209    321.98     97.43      3.30   1000000         0
196.24/196.39	c       138       263    335.67     98.77      3.40   1000000         0
197.54/197.68	c       154       304    328.46     93.89      3.50   1000000         0
198.84/198.99	c       153       274    333.12    104.25      3.20   1000000         0
200.14/200.29	c       146       295    334.98    110.01      3.04   1000000         0
201.44/201.58	c       156       298    325.67     93.74      3.47   1000000         0
202.74/202.88	c        85       355    322.89    113.96      2.83   1000000         0
204.04/204.18	c       145       370    338.88    106.52      3.18   1000000         0
205.34/205.48	c       132       266    345.49     93.27      3.70   1000000         0
206.64/206.78	c       137       260    313.30    100.54      3.12   1000000         0
207.94/208.08	c       139       378    331.62    109.67      3.02   1000000         0
209.24/209.39	c       137       296    346.93     95.04      3.65   1000000         0
210.53/210.69	c       148       406    329.29     99.26      3.32   1000000         0
211.83/211.98	c       155       280    333.62     95.59      3.49   1000000         0
213.13/213.29	c       140       288    332.78     93.94      3.54   1000000         0
214.44/214.59	c       155       414    338.68    107.99      3.14   1000000         0
215.73/215.88	c       132       276    325.33     99.64      3.27   1000000         0
217.03/217.18	c       112       290    329.03     86.79      3.79   1000000         0
218.33/218.48	c       139       244    328.45     98.45      3.34   1000000         0
219.63/219.77	c       150       318    328.67    105.96      3.10   1000000         0
220.93/221.07	c       165       289    336.68     91.06      3.70   1000000         0
222.24/222.36	c       155       315    333.26     96.84      3.44   1000000         0
223.53/223.67	c       159       340    339.39     86.91      3.91   1000000         0
224.83/224.97	c       110       261    337.71    121.13      2.79   1000000         0
226.13/226.27	c       151       230    327.57    116.07      2.82   1000000         0
227.43/227.57	c       158       284    332.39     97.70      3.40   1000000         0
228.74/228.87	c       152       261    337.22    101.58      3.32   1000000         0
230.03/230.17	c       145       273    343.58     87.09      3.95   1000000         0
231.33/231.47	c       155       395    338.28     83.30      4.06   1000000         0
232.63/232.77	c       149       248    333.99     92.34      3.62   1000000         0
233.93/234.07	c       143       282    333.30    113.07      2.95   1000000         0
235.23/235.37	c       122       193    310.92     92.84      3.35   1000000         0
236.54/236.67	c       158       342    329.49     93.35      3.53   1000000         0
237.83/237.96	c       134       284    331.54    109.27      3.03   1000000         0
239.13/239.26	c       168       234    337.58    104.87      3.22   1000000         0
240.43/240.56	c       168       247    333.96     92.96      3.59   1000000         0
241.73/241.86	c       101       245    320.53     92.81      3.45   1000000         0
243.03/243.16	c       164       359    332.01    100.50      3.30   1000000         0
244.33/244.46	c       144       222    334.46     95.21      3.51   1000000         0
245.63/245.76	c       146       373    335.23     88.29      3.80   1000000         0
246.93/247.06	c       158       404    330.12    106.45      3.10   1000000         0
248.23/248.36	c       155       272    332.88     90.64      3.67   1000000         0
249.53/249.65	c       180       216    332.27     92.40      3.60   1000000         0
250.83/250.95	c       163       441    326.83     80.09      4.08   1000000         0
252.12/252.25	c       165       309    347.44     94.43      3.68   1000000         0
253.42/253.56	c       156       342    345.42     98.62      3.50   1000000         0
254.72/254.85	c       159       339    336.43     85.07      3.95   1000000         0
256.02/256.15	c       125       236    324.08     77.77      4.17   1000000         0
257.33/257.45	c       154       475    331.63     98.30      3.37   1000000         0
258.62/258.75	c       152       332    346.88     96.84      3.58   1000000         0
259.92/260.05	c       143       292    325.28     94.39      3.45   1000000         0
261.22/261.34	c       137       305    316.38     91.67      3.45   1000000         0
262.52/262.64	c       135       357    325.24     84.68      3.84   1000000         0
263.82/263.93	c       146       406    333.43    120.33      2.77   1000000         0
265.13/265.23	c       111       306    335.93    102.61      3.27   1000000         0
266.42/266.53	c       120       321    323.72     94.65      3.42   1000000         0
267.72/267.83	c       145       355    327.64    103.24      3.17   1000000         0
269.02/269.13	c       160       295    333.88     97.46      3.43   1000000         0
270.32/270.43	c       148       279    336.83    102.17      3.30   1000000         0
271.63/271.73	c       150       252    336.51     94.33      3.57   1000000         0
272.92/273.03	c       138       344    329.98    112.95      2.92   1000000         0
274.22/274.33	c       145       324    323.16    110.08      2.94   1000000         0
275.52/275.63	c       145       377    331.68     94.20      3.52   1000000         0
276.82/276.92	c       132       283    334.60     94.12      3.55   1000000         0
278.12/278.22	c       176       377    334.53     87.21      3.84   1000000         0
279.43/279.52	c       168       317    351.56    110.89      3.17   1000000         0
280.72/280.81	c       154       292    326.91     83.82      3.90   1000000         0
282.02/282.11	c       141       222    335.60    108.87      3.08   1000000         0
283.32/283.41	c       131       291    331.72     85.15      3.90   1000000         0
284.62/284.71	c       148       334    342.67     92.05      3.72   1000000         0
285.92/286.02	c       147       356    329.84    116.01      2.84   1000000         0
287.22/287.31	c       149       308    331.93    109.75      3.02   1000000         0
288.52/288.61	c       157       437    341.52    100.36      3.40   1000000         0
289.82/289.91	c       159       309    335.56    115.94      2.89   1000000         0
291.12/291.21	c       115       345    316.73    108.86      2.91   1000000         0
292.42/292.51	c       144       250    335.86    105.04      3.20   1000000         0
293.72/293.81	c       148       428    351.73     93.41      3.77   1000000         0
295.02/295.11	c       170       220    347.15    101.98      3.40   1000000         0
296.31/296.41	c       158       297    323.24     69.60      4.64   1000000         0
297.61/297.71	c       168       291    325.50     83.43      3.90   1000000         0
298.91/299.01	c       150       308    338.63    121.58      2.79   1000000         0
300.22/300.31	c       167       241    336.49     98.95      3.40   1000000         0
301.51/301.61	c       171       315    343.73    107.03      3.21   1000000         0
302.81/302.91	c       141       331    327.32     91.06      3.59   1000000         0
304.11/304.21	c       110       251    327.41    111.33      2.94   1000000         0
305.41/305.51	c       159       270    338.71    115.13      2.94   1000000         0
306.71/306.82	c       135       322    339.52    100.90      3.37   1000000         0
308.02/308.12	c       126       371    341.01    110.90      3.07   1000000         0
309.31/309.41	c       162       238    328.21    105.14      3.12   1000000         0
310.61/310.71	c       159       360    329.11     79.43      4.14   1000000         0
311.91/312.01	c       144       264    343.90    114.66      3.00   1000000         0
313.21/313.31	c       155       307    336.04     96.16      3.49   1000000         0
314.52/314.61	c       161       423    345.97     95.13      3.64   1000000         0
315.81/315.92	c       180       367    354.61    110.64      3.20   1000000         0
317.11/317.22	c       123       270    316.98     81.46      3.89   1000000         0
318.41/318.51	c       169       401    334.02     94.69      3.53   1000000         0
319.71/319.81	c       152       316    337.18    107.13      3.15   1000000         0
321.01/321.11	c       157       358    335.40     96.35      3.48   1000000         0
322.32/322.41	c       143       242    329.53    107.51      3.07   1000000         0
323.61/323.70	c       151       340    324.28     87.41      3.71   1000000         0
324.91/325.00	c       189       291    343.06     86.14      3.98   1000000         0
326.21/326.30	c       152       279    323.73     98.86      3.27   1000000         0
327.51/327.60	c       159       251    328.63     87.98      3.74   1000000         0
328.81/328.90	c       137       356    332.98     96.03      3.47   1000000         0
330.11/330.21	c       133       340    336.54    100.86      3.34   1000000         0
331.41/331.50	c       161       306    318.12     82.80      3.84   1000000         0
332.71/332.80	c       145       300    325.04     91.04      3.57   1000000         0
333.91/334.09	c       135       425    313.09     93.42      3.35   1000000         0
335.21/335.39	c       171       346    338.32     79.43      4.26   1000000         0
336.51/336.69	c       179       271    342.02    100.18      3.41   1000000         0
337.80/337.98	c       165       376    324.43     79.83      4.06   1000000         0
339.10/339.28	c       154       262    328.82     96.93      3.39   1000000         0
340.40/340.58	c       155       285    327.86     86.46      3.79   1000000         0
341.70/341.87	c       119       434    336.48    110.04      3.06   1000000         0
343.00/343.17	c       106       252    332.23     97.43      3.41   1000000         0
344.31/344.47	c       136       409    337.10     87.83      3.84   1000000         0
345.60/345.77	c       143       345    324.87    103.99      3.12   1000000         0
346.90/347.07	c       146       323    337.60    102.37      3.30   1000000         0
348.20/348.36	c       153       336    318.27     79.64      4.00   1000000         0
349.50/349.66	c       173       345    326.04     97.22      3.35   1000000         0
350.81/350.96	c       162       268    335.22    107.61      3.12   1000000         0
352.10/352.26	c       161       270    328.37     99.16      3.31   1000000         0
353.40/353.56	c       149       298    329.04    109.87      2.99   1000000         0
354.70/354.86	c       133       257    323.14    103.98      3.11   1000000         0
356.00/356.16	c       162       214    329.63     91.71      3.59   1000000         0
357.30/357.46	c       134       216    342.06     97.04      3.53   1000000         0
358.61/358.76	c       138       421    329.58     90.34      3.65   1000000         0
359.90/360.06	c       146       259    333.41     90.09      3.70   1000000         0
361.20/361.36	c       142       366    320.95     83.17      3.86   1000000         0
362.50/362.65	c       167       378    332.75    107.07      3.11   1000000         0
363.80/363.95	c       131       290    332.06    108.34      3.06   1000000         0
365.10/365.25	c       132       312    328.30     95.58      3.43   1000000         0
366.40/366.55	c       131       312    332.71     94.70      3.51   1000000         0
367.70/367.85	c       131       352    324.00     95.39      3.40   1000000         0
369.00/369.14	c       156       340    336.44    107.88      3.12   1000000         0
370.30/370.45	c       162       351    333.77    103.54      3.22   1000000         0
371.60/371.74	c       150       284    332.60     89.00      3.74   1000000         0
372.90/373.03	c       135       317    321.11     90.20      3.56   1000000         0
374.20/374.33	c       128       356    335.95    117.42      2.86   1000000         0
375.49/375.63	c       154       223    340.61     98.00      3.48   1000000         0
376.79/376.93	c       145       292    324.49     97.79      3.32   1000000         0
378.09/378.22	c       116       292    329.39    100.57      3.28   1000000         0
379.40/379.52	c       144       242    336.10     92.76      3.62   1000000         0
380.69/380.82	c       134       372    332.53     83.79      3.97   1000000         0
381.99/382.11	c       143       362    325.54     99.70      3.27   1000000         0
383.29/383.41	c       158       345    331.03     94.42      3.51   1000000         0
384.59/384.71	c       172       310    332.70    101.46      3.28   1000000         0
385.89/386.02	c       179       213    343.82    104.66      3.29   1000000         0
387.20/387.32	c       126       314    330.54     97.80      3.38   1000000         0
388.49/388.63	c       173       342    346.58    113.71      3.05   1000000         0
389.79/389.91	c       133       280    317.00    100.21      3.16   1000000         0
391.09/391.21	c       142       314    323.44     92.89      3.48   1000000         0
392.39/392.51	c       151       329    330.63     93.07      3.55   1000000         0
393.70/393.81	c       183       428    343.07     95.08      3.61   1000000         0
394.99/395.11	c       170       427    345.03     98.98      3.49   1000000         0
396.29/396.41	c       136       354    319.59     92.12      3.47   1000000         0
397.59/397.71	c       142       250    325.00    100.27      3.24   1000000         0
398.89/399.00	c       123       274    323.64     99.95      3.24   1000000         0
400.19/400.31	c       100       384    334.08     98.89      3.38   1000000         0
401.49/401.61	c       114       348    330.85    114.28      2.90   1000000         0
402.79/402.91	c       176       392    354.29     93.10      3.81   1000000         0
404.09/404.21	c       150       358    326.64     97.71      3.34   1000000         0
405.39/405.51	c       121       329    328.25     86.97      3.77   1000000         0
406.69/406.80	c       145       261    327.97     88.48      3.71   1000000         0
407.99/408.10	c       139       265    336.36    113.21      2.97   1000000         0
409.28/409.40	c       145       266    323.54    113.53      2.85   1000000         0
410.58/410.70	c       145       419    334.31     93.20      3.59   1000000         0
411.88/412.00	c       156       319    334.92     84.76      3.95   1000000         0
413.08/413.29	c       168       261    328.78    103.44      3.18   1000000         0
414.38/414.60	c       138       414    328.49    106.70      3.08   1000000         0
415.69/415.89	c       150       223    329.59     94.99      3.47   1000000         0
416.98/417.19	c       143       252    330.49    105.14      3.14   1000000         0
418.28/418.49	c       140       327    317.02    102.67      3.09   1000000         0
419.58/419.78	c       128       335    334.93    100.03      3.35   1000000         0
420.88/421.08	c       153       326    335.00    100.26      3.34   1000000         0
422.18/422.38	c       182       313    332.09    107.16      3.10   1000000         0
423.49/423.67	c       131       273    326.96    106.41      3.07   1000000         0
424.78/424.97	c       138       264    324.15     79.50      4.08   1000000         0
426.08/426.26	c       108       255    326.00    100.24      3.25   1000000         0
427.38/427.56	c       152       257    324.71    102.10      3.18   1000000         0
428.68/428.86	c       120       273    327.51    101.62      3.22   1000000         0
429.99/430.16	c        73       270    334.63    127.13      2.63   1000000         0
431.28/431.45	c       159       278    340.70     92.68      3.68   1000000         0
432.58/432.75	c       113       422    342.47    134.35      2.55   1000000         0
433.88/434.05	c       157       281    331.22     92.88      3.57   1000000         0
435.18/435.35	c       145       312    341.51     96.20      3.55   1000000         0
436.48/436.66	c       184       246    341.37     92.53      3.69   1000000         0
437.79/437.95	c       116       218    334.71    111.67      3.00   1000000         0
439.08/439.26	c       160       287    337.45     87.43      3.86   1000000         0
440.38/440.55	c       171       251    343.57     86.10      3.99   1000000         0
441.68/441.85	c       157       276    344.22    108.52      3.17   1000000         0
442.98/443.16	c       115       375    326.40    105.31      3.10   1000000         0
444.28/444.46	c       124       367    333.67     95.89      3.48   1000000         0
445.58/445.76	c       157       320    341.77     96.89      3.53   1000000         0
446.88/447.07	c       159       264    332.77    109.86      3.03   1000000         0
448.18/448.37	c       147       220    332.41    111.74      2.97   1000000         0
449.48/449.66	c       135       241    327.66    122.03      2.69   1000000         0
450.78/450.96	c       124       354    328.61     84.49      3.89   1000000         0
452.08/452.26	c       163       340    329.04    109.38      3.01   1000000         0
453.38/453.57	c       162       351    357.99    109.68      3.26   1000000         0
454.67/454.88	c       130       312    321.47     88.33      3.64   1000000         0
455.97/456.18	c       157       451    340.52     89.25      3.82   1000000         0
457.27/457.48	c       178       315    338.55    102.44      3.30   1000000         0
458.58/458.79	c       166       265    345.22    112.53      3.07   1000000         0
459.87/460.08	c       152       387    330.57     81.76      4.04   1000000         0
461.17/461.38	c       142       303    328.95    105.42      3.12   1000000         0
462.47/462.68	c       158       297    348.40    118.73      2.93   1000000         0
463.77/463.99	c       138       418    333.68    106.26      3.14   1000000         0
465.07/465.28	c       154       359    336.85    114.39      2.94   1000000         0
466.38/466.58	c       159       320    328.94    105.97      3.10   1000000         0
467.67/467.88	c       166       297    339.29    107.68      3.15   1000000         0
468.97/469.18	c       190       270    347.43     93.50      3.72   1000000         0
470.27/470.48	c       176       242    335.61    116.38      2.88   1000000         0
471.57/471.77	c       153       308    317.08     91.32      3.47   1000000         0
472.88/473.08	c       146       391    349.15    116.43      3.00   1000000         0
474.17/474.38	c       181       382    326.85     90.94      3.59   1000000         0
475.47/475.68	c       176       294    342.86     99.30      3.45   1000000         0
476.77/476.98	c       137       244    335.48     99.32      3.38   1000000         0
478.07/478.28	c       129       280    329.90    102.34      3.22   1000000         0
479.37/479.58	c       125       329    331.07     99.87      3.32   1000000         0
480.67/480.87	c       156       378    327.53     91.17      3.59   1000000         0
481.97/482.17	c       156       346    323.79    102.11      3.17   1000000         0
483.27/483.47	c       145       342    336.21     96.64      3.48   1000000         0
484.57/484.76	c       171       221    338.62    105.09      3.22   1000000         0
485.87/486.06	c       149       256    317.89    107.81      2.95   1000000         0
487.17/487.36	c       133       266    347.37    106.61      3.26   1000000         0
488.47/488.66	c       144       317    323.96    102.62      3.16   1000000         0
489.77/489.95	c       123       286    327.13    101.63      3.22   1000000         0
491.07/491.26	c       193       313    358.76     97.32      3.69   1000000         0
492.37/492.56	c       141       421    330.48    119.74      2.76   1000000         0
493.66/493.86	c       188       262    333.74     81.50      4.09   1000000         0
494.97/495.15	c       130       302    314.14     91.66      3.43   1000000         0
496.26/496.44	c       159       320    323.14     87.18      3.71   1000000         0
497.56/497.74	c       176       290    339.86     90.53      3.75   1000000         0
498.86/499.04	c       152       302    331.53    102.29      3.24   1000000         0
500.16/500.34	c       162       348    336.43    107.82      3.12   1000000         0
501.47/501.64	c       152       355    335.03    109.47      3.06   1000000         0
502.76/502.94	c       153       307    332.48    100.32      3.31   1000000         0
504.06/504.24	c       148       303    344.92    116.47      2.96   1000000         0
505.36/505.54	c       161       334    336.08    103.41      3.25   1000000         0
506.66/506.84	c       110       260    328.98    102.98      3.19   1000000         0
507.96/508.15	c       155       339    340.62    109.26      3.12   1000000         0
509.27/509.44	c       136       285    311.54    104.67      2.98   1000000         0
510.56/510.74	c       163       281    327.69     98.78      3.32   1000000         0
511.86/512.04	c       157       291    332.52     86.63      3.84   1000000         0
513.16/513.33	c       156       302    330.40     98.51      3.35   1000000         0
514.46/514.63	c       145       345    334.62    103.64      3.23   1000000         0
515.77/515.93	c       173       273    333.54     93.47      3.57   1000000         0
517.06/517.23	c       166       298    326.21     91.73      3.56   1000000         0
518.36/518.53	c       163       342    341.60     99.86      3.42   1000000         0
519.66/519.83	c       189       363    343.55     82.09      4.19   1000000         0
520.96/521.13	c       141       352    321.93     96.77      3.33   1000000         0
522.26/522.42	c       158       351    333.45    108.26      3.08   1000000         0
523.56/523.73	c       120       275    333.10    114.70      2.90   1000000         0
524.86/525.03	c       117       199    334.14     84.95      3.93   1000000         0
526.16/526.33	c       162       416    342.03     94.24      3.63   1000000         0
527.46/527.62	c        91       323    332.90    103.10      3.23   1000000         0
528.76/528.92	c       127       319    325.38    108.67      2.99   1000000         0
530.06/530.22	c       163       347    336.86     90.67      3.72   1000000         0
531.36/531.52	c       161       260    330.36    114.93      2.87   1000000         0
532.66/532.82	c       146       309    332.19    125.74      2.64   1000000         0
533.95/534.12	c       158       267    332.79    112.98      2.95   1000000         0
535.25/535.42	c       118       270    325.81    110.95      2.94   1000000         0
536.55/536.71	c       131       424    322.58    111.65      2.89   1000000         0
537.86/538.01	c       148       241    316.48     84.00      3.77   1000000         0
539.15/539.32	c       126       342    340.08    113.93      2.98   1000000         0
540.45/540.62	c       181       394    345.86    103.83      3.33   1000000         0
541.75/541.92	c       151       385    327.12    108.99      3.00   1000000         0
543.05/543.22	c       144       320    350.52    109.85      3.19   1000000         0
544.36/544.52	c       145       315    337.84     95.16      3.55   1000000         0
545.65/545.82	c       165       350    326.26     90.95      3.59   1000000         0
546.95/547.12	c       125       262    334.42    101.35      3.30   1000000         0
548.25/548.42	c       157       314    339.45    104.26      3.26   1000000         0
549.55/549.72	c       132       278    340.02    100.96      3.37   1000000         0
550.85/551.02	c       150       334    320.87    117.54      2.73   1000000         0
552.16/552.32	c       150       209    333.82     97.64      3.42   1000000         0
553.45/553.62	c       144       274    330.32     89.21      3.70   1000000         0
554.75/554.91	c       170       333    332.61     86.77      3.83   1000000         0
556.05/556.22	c       112       306    341.41     95.45      3.58   1000000         0
557.35/557.52	c       168       229    337.36    117.12      2.88   1000000         0
558.66/558.81	c       159       395    322.33     90.83      3.55   1000000         0
559.95/560.11	c       164       306    341.06    109.00      3.13   1000000         0
561.25/561.41	c       156       303    340.25    109.66      3.10   1000000         0
562.55/562.71	c       107       396    323.17    109.86      2.94   1000000         0
563.85/564.01	c       156       384    335.46     99.07      3.39   1000000         0
565.15/565.31	c       158       345    329.36     87.11      3.78   1000000         0
566.45/566.61	c       164       313    335.84    111.10      3.02   1000000         0
567.75/567.91	c       144       304    334.19     99.93      3.34   1000000         0
569.05/569.21	c       147       322    331.71     89.12      3.72   1000000         0
570.35/570.51	c       138       257    338.11    101.40      3.33   1000000         0
571.65/571.81	c       136       280    332.93    107.46      3.10   1000000         0
572.95/573.11	c       133       369    342.45     99.76      3.43   1000000         0
574.24/574.41	c       166       280    331.33    109.41      3.03   1000000         0
575.54/575.71	c       134       360    322.42     81.38      3.96   1000000         0
576.84/577.00	c       148       400    330.11    101.59      3.25   1000000         0
578.14/578.30	c       152       330    354.68    104.65      3.39   1000000         0
579.44/579.60	c       148       259    323.49     95.48      3.39   1000000         0
580.65/580.90	c       164       319    337.66     93.42      3.61   1000000         0
582.04/582.21	c       171       359    355.59    118.84      2.99   1000000         0
583.34/583.51	c       166       305    334.44     95.11      3.52   1000000         0
584.64/584.80	c       159       379    341.16     88.72      3.85   1000000         0
585.94/586.11	c       107       293    336.13     93.81      3.58   1000000         0
587.25/587.40	c       148       388    335.79     98.46      3.41   1000000         0
588.54/588.70	c       160       239    329.46     89.92      3.66   1000000         0
589.84/590.00	c       177       294    342.26     88.15      3.88   1000000         0
591.04/591.29	c       157       377    325.99     97.32      3.35   1000000         0
592.34/592.59	c       179       345    322.73     80.75      4.00   1000000         0
593.64/593.89	c       110       350    320.63     81.86      3.92   1000000         0
594.95/595.19	c       152       278    343.14     98.67      3.48   1000000         0
596.24/596.49	c       128       273    332.00    118.93      2.79   1000000         0
597.54/597.79	c       153       220    324.22     79.93      4.06   1000000         0
598.84/599.09	c       143       291    335.02    105.90      3.16   1000000         0
600.14/600.39	c       141       236    330.66     83.37      3.97   1000000         0
601.44/601.69	c       151       322    339.32    104.43      3.25   1000000         0
602.75/602.99	c       148       373    332.06     97.47      3.41   1000000         0
604.04/604.29	c        90       235    322.34    117.26      2.75   1000000         0
605.34/605.58	c       135       205    327.19     96.67      3.38   1000000         0
606.64/606.88	c       184       329    351.51     92.42      3.80   1000000         0
607.94/608.18	c       152       344    330.50     90.89      3.64   1000000         0
609.24/609.48	c       168       308    323.53     90.05      3.59   1000000         0
610.54/610.78	c       127       334    325.40    116.72      2.79   1000000         0
611.84/612.08	c       113       295    327.03    121.21      2.70   1000000         0
613.13/613.38	c       169       352    331.53     86.37      3.84   1000000         0
614.44/614.69	c       141       258    331.54    109.11      3.04   1000000         0
615.74/615.99	c       133       301    332.46    112.64      2.95   1000000         0
617.04/617.29	c       145       318    338.09     99.35      3.40   1000000         0
618.33/618.58	c       150       292    337.13    108.61      3.10   1000000         0
619.63/619.88	c       136       351    314.05     87.56      3.59   1000000         0
620.93/621.18	c       177       302    332.57    101.36      3.28   1000000         0
622.23/622.48	c       115       382    328.35     96.21      3.41   1000000         0
623.54/623.78	c       156       336    339.90    119.36      2.85   1000000         0
624.83/625.08	c       134       341    334.05     80.41      4.15   1000000         0
626.13/626.38	c       131       363    330.43    105.38      3.14   1000000         0
627.43/627.68	c       162       207    341.77    104.58      3.27   1000000         0
628.73/628.99	c       168       292    352.54    106.28      3.32   1000000         0
630.03/630.29	c       142       363    337.89     95.38      3.54   1000000         0
631.34/631.59	c       170       311    341.33    104.00      3.28   1000000         0
632.63/632.89	c       114       313    328.51    103.73      3.17   1000000         0
633.93/634.19	c       124       286    333.54    110.86      3.01   1000000         0
635.23/635.49	c       154       302    335.32     99.08      3.38   1000000         0
636.53/636.79	c       142       349    333.08    100.24      3.32   1000000         0
637.84/638.09	c       145       253    322.37    104.97      3.07   1000000         0
639.13/639.39	c       164       318    337.22    113.12      2.98   1000000         0
640.43/640.69	c       164       284    332.19     77.75      4.27   1000000         0
641.73/641.99	c       169       375    341.54     96.71      3.53   1000000         0
643.03/643.29	c       152       283    335.50    117.78      2.85   1000000         0
644.33/644.59	c       144       368    331.29    112.42      2.95   1000000         0
645.64/645.89	c       143       357    335.18     88.35      3.79   1000000         0
646.93/647.18	c       136       428    328.89    103.71      3.17   1000000         0
648.23/648.48	c       150       339    330.26     94.65      3.49   1000000         0
649.53/649.78	c       148       294    323.73     92.85      3.49   1000000         0
650.83/651.07	c       160       255    321.74    105.18      3.06   1000000         0
652.13/652.38	c       156       272    342.63     94.11      3.64   1000000         0
653.43/653.67	c       149       265    328.23     94.22      3.48   1000000         0
654.73/654.97	c       168       224    343.50     90.03      3.82   1000000         0
656.03/656.28	c       173       306    333.46     97.01      3.44   1000000         0
657.33/657.58	c       135       294    341.86     96.88      3.53   1000000         0
658.62/658.88	c       139       345    333.17     96.14      3.47   1000000         0
659.93/660.18	c       141       373    333.15    109.12      3.05   1000000         0
661.22/661.48	c       175       271    329.78     82.72      3.99   1000000         0
662.52/662.78	c       161       218    339.04    110.82      3.06   1000000         0
663.82/664.08	c       150       370    335.68    109.14      3.08   1000000         0
665.12/665.38	c       133       302    325.21     92.13      3.53   1000000         0
666.43/666.68	c       157       273    326.49     98.05      3.33   1000000         0
667.72/667.97	c       148       316    327.43     96.89      3.38   1000000         0
669.02/669.27	c       153       353    337.81    101.35      3.33   1000000         0
670.32/670.57	c       165       317    346.60     97.36      3.56   1000000         0
671.62/671.87	c       157       338    329.35    100.20      3.29   1000000         0
672.92/673.16	c       152       370    329.28     96.40      3.42   1000000         0
674.23/674.47	c       148       356    349.66    110.03      3.18   1000000         0
675.52/675.77	c       173       281    343.30    108.53      3.16   1000000         0
676.82/677.07	c       143       261    329.00    114.85      2.86   1000000         0
678.12/678.36	c       167       352    339.28     94.08      3.61   1000000         0
679.42/679.66	c       132       204    326.14     99.26      3.29   1000000         0
680.73/680.96	c       134       218    326.63     89.81      3.64   1000000         0
682.02/682.25	c       144       316    329.02    102.29      3.22   1000000         0
683.32/683.55	c       141       364    342.33    111.67      3.07   1000000         0
684.62/684.85	c       160       272    330.24     89.55      3.69   1000000         0
685.92/686.15	c       160       265    324.88    106.97      3.04   1000000         0
687.22/687.45	c       155       269    336.88     91.49      3.68   1000000         0
688.53/688.75	c       176       294    345.57    111.15      3.11   1000000         0
689.82/690.05	c       154       363    352.61    113.04      3.12   1000000         0
691.12/691.36	c       118       291    349.53     98.93      3.53   1000000         0
692.42/692.65	c       123       376    331.01     95.58      3.46   1000000         0
693.72/693.95	c       133       304    312.88     84.87      3.69   1000000         0
695.02/695.24	c       111       376    315.59    117.53      2.69   1000000         0
696.32/696.54	c       166       399    334.54     92.13      3.63   1000000         0
697.62/697.84	c       109       338    346.90     97.39      3.56   1000000         0
698.91/699.14	c       196       275    346.42     85.65      4.04   1000000         0
700.21/700.44	c       156       258    333.96    115.13      2.90   1000000         0
701.51/701.74	c       169       309    335.22     99.09      3.38   1000000         0
702.82/703.04	c       160       230    319.76     95.43      3.35   1000000         0
704.11/704.34	c       162       350    348.38     90.98      3.83   1000000         0
705.41/705.65	c       168       326    350.61     91.22      3.84   1000000         0
706.71/706.95	c       147       335    328.58     98.31      3.34   1000000         0
708.01/708.25	c       165       353    345.79     98.20      3.52   1000000         0
709.32/709.54	c       124       326    325.41     85.24      3.82   1000000         0
710.61/710.84	c       162       339    334.50     99.27      3.37   1000000         0
711.91/712.14	c       165       306    343.37    110.42      3.11   1000000         0
713.21/713.45	c       162       408    332.12     97.47      3.41   1000000         0
714.51/714.74	c       133       324    325.05     96.22      3.38   1000000         0
715.81/716.04	c       136       317    335.70    138.60      2.42   1000000         0
717.12/717.35	c       134       324    345.51    105.05      3.29   1000000         0
718.41/718.65	c       152       376    338.49    100.89      3.36   1000000         0
719.71/719.94	c       103       331    323.24    108.43      2.98   1000000         0
721.01/721.25	c       152       425    345.02    124.41      2.77   1000000         0
722.31/722.56	c       153       408    335.79     93.60      3.59   1000000         0
723.62/723.85	c       170       326    327.93    106.85      3.07   1000000         0
724.91/725.15	c       165       294    334.63    101.59      3.29   1000000         0
726.21/726.46	c       102       291    346.42     95.77      3.62   1000000         0
727.51/727.75	c       146       247    319.10     87.71      3.64   1000000         0
728.81/729.05	c       160       295    330.16     94.40      3.50   1000000         0
730.11/730.35	c       161       333    347.04     89.31      3.89   1000000         0
731.42/731.65	c       162       322    330.58     95.25      3.47   1000000         0
732.71/732.95	c       108       319    337.63    108.13      3.12   1000000         0
734.01/734.25	c       162       320    335.42     96.38      3.48   1000000         0
735.31/735.54	c       129       406    324.39     88.16      3.68   1000000         0
736.61/736.84	c       161       286    335.25    116.77      2.87   1000000         0
737.91/738.13	c       119       272    325.73    102.91      3.17   1000000         0
739.21/739.44	c       129       372    344.17     88.27      3.90   1000000         0
740.51/740.73	c       140       238    321.23     99.75      3.22   1000000         0
741.80/742.03	c       192       433    341.52     93.37      3.66   1000000         0
743.10/743.34	c       155       340    341.03    112.58      3.03   1000000         0
744.40/744.64	c       135       217    321.93     98.96      3.25   1000000         0
745.71/745.93	c       154       382    329.04     95.60      3.44   1000000         0
747.00/747.23	c       178       254    345.99    108.01      3.20   1000000         0
748.30/748.54	c       143       240    337.40    101.26      3.33   1000000         0
749.60/749.83	c       161       381    331.31    101.14      3.28   1000000         0
750.90/751.13	c       138       290    335.04     81.60      4.11   1000000         0
752.21/752.43	c       140       309    326.51    101.54      3.22   1000000         0
753.50/753.74	c       153       322    334.15    110.83      3.01   1000000         0
754.80/755.04	c       155       319    337.51    113.96      2.96   1000000         0
756.10/756.33	c       119       259    320.31     97.94      3.27   1000000         0
757.40/757.63	c       147       341    335.34    104.03      3.22   1000000         0
758.70/758.93	c       125       386    336.75    115.08      2.93   1000000         0
760.01/760.22	c       133       340    333.58     78.50      4.25   1000000         0
761.30/761.53	c       149       392    340.77     89.98      3.79   1000000         0
762.60/762.83	c       145       288    328.31    109.89      2.99   1000000         0
763.90/764.13	c       108       438    338.44     91.21      3.71   1000000         0
765.20/765.43	c       132       300    328.77    106.06      3.10   1000000         0
766.51/766.73	c       166       313    341.37    103.99      3.28   1000000         0
767.80/768.02	c       147       210    323.84    101.75      3.18   1000000         0
769.10/769.32	c       132       320    331.67    108.35      3.06   1000000         0
770.40/770.62	c       159       279    348.92     95.33      3.66   1000000         0
771.70/771.92	c       138       327    333.73    111.70      2.99   1000000         0
773.00/773.22	c       187       344    339.26     97.66      3.47   1000000         0
774.30/774.52	c       153       374    337.80    110.20      3.07   1000000         0
775.60/775.82	c       154       320    333.90    100.42      3.33   1000000         0
776.90/777.12	c       130       280    344.69     95.06      3.63   1000000         0
778.20/778.43	c       172       331    347.59    122.02      2.85   1000000         0
779.50/779.73	c       162       295    342.37     93.56      3.66   1000000         0
780.80/781.03	c       133       281    323.68    103.48      3.13   1000000         0
782.10/782.33	c       153       300    327.21    107.49      3.04   1000000         0
783.39/783.63	c       164       366    336.47     98.30      3.42   1000000         0
784.69/784.93	c       154       349    345.21     87.17      3.96   1000000         0
785.99/786.23	c       170       346    335.12     98.04      3.42   1000000         0
787.29/787.52	c       154       233    330.69    102.89      3.21   1000000         0
788.60/788.82	c       159       334    339.04    113.46      2.99   1000000         0
789.89/790.12	c       143       246    330.95    119.86      2.76   1000000         0
791.19/791.42	c       139       283    323.88     94.02      3.44   1000000         0
792.49/792.71	c       165       272    339.10     89.78      3.78   1000000         0
793.79/794.02	c       169       345    344.94    111.46      3.09   1000000         0
795.10/795.32	c       113       347    327.25    102.23      3.20   1000000         0
796.39/796.62	c       192       351    351.79     94.83      3.71   1000000         0
797.69/797.92	c       164       325    331.61    103.50      3.20   1000000         0
798.99/799.21	c       135       314    323.92    101.14      3.20   1000000         0
800.29/800.51	c       155       206    336.68    101.09      3.33   1000000         0
801.59/801.81	c       153       393    335.93    105.63      3.18   1000000         0
802.90/803.11	c       156       338    331.51     88.31      3.75   1000000         0
804.19/804.40	c       152       282    322.79     91.76      3.52   1000000         0
805.39/805.69	c       169       351    325.90     94.28      3.46   1000000         0
806.69/806.99	c       152       378    341.14    105.72      3.23   1000000         0
807.99/808.29	c       130       315    332.08    112.82      2.94   1000000         0
809.29/809.59	c       189       380    339.62     94.38      3.60   1000000         0
810.59/810.89	c       137       333    333.28     98.42      3.39   1000000         0
811.89/812.19	c       146       294    342.60    111.00      3.09   1000000         0
813.19/813.50	c       139       396    337.36     93.70      3.60   1000000         0
814.49/814.79	c       173       262    331.77     93.66      3.54   1000000         0
815.79/816.10	c       161       348    331.09    109.85      3.01   1000000         0
817.09/817.39	c       149       382    328.18    101.75      3.23   1000000         0
818.39/818.69	c       136       291    323.09    101.89      3.17   1000000         0
819.69/819.99	c       163       204    323.84     99.83      3.24   1000000         0
820.99/821.28	c       143       298    338.66    106.48      3.18   1000000         0
822.28/822.58	c       129       286    340.16    108.79      3.13   1000000         0
823.58/823.89	c       150       274    339.11     99.91      3.39   1000000         0
824.89/825.19	c       161       274    339.53     95.82      3.54   1000000         0
826.18/826.49	c       131       384    345.43    119.02      2.90   1000000         0
827.48/827.78	c       162       311    336.86     94.10      3.58   1000000         0
828.78/829.09	c       128       365    328.41     86.37      3.80   1000000         0
830.08/830.39	c       183       307    332.44     96.31      3.45   1000000         0
831.39/831.68	c       125       365    329.23    107.77      3.05   1000000         0
832.68/832.98	c       142       274    340.54    106.61      3.19   1000000         0
833.98/834.28	c       129       352    336.80     98.82      3.41   1000000         0
835.28/835.58	c       129       348    344.47    104.18      3.31   1000000         0
836.58/836.88	c       139       293    342.71    110.47      3.10   1000000         0
837.88/838.18	c       156       368    327.13     93.85      3.49   1000000         0
839.19/839.48	c       132       222    324.69    106.15      3.06   1000000         0
840.48/840.77	c       154       318    324.53     96.31      3.37   1000000         0
841.78/842.08	c       161       265    326.38     92.39      3.53   1000000         0
843.08/843.38	c       142       300    348.93    107.65      3.24   1000000         0
844.38/844.69	c       165       358    351.31     93.11      3.77   1000000         0
845.69/845.98	c       130       344    315.97     84.75      3.73   1000000         0
846.98/847.27	c       154       365    325.34     95.89      3.39   1000000         0
848.28/848.57	c       136       309    326.73     95.21      3.43   1000000         0
849.58/849.86	c       150       245    333.10    110.94      3.00   1000000         0
850.88/851.16	c       117       330    336.40    104.89      3.21   1000000         0
852.18/852.46	c       164       313    334.95    101.02      3.32   1000000         0
853.48/853.75	c       129       368    328.41    100.91      3.25   1000000         0
854.78/855.06	c       179       385    342.15     93.26      3.67   1000000         0
856.08/856.35	c       157       256    333.78    112.87      2.96   1000000         0
857.38/857.65	c       137       333    323.53    104.72      3.09   1000000         0
858.68/858.95	c       170       304    340.15    103.21      3.30   1000000         0
859.98/860.25	c       121       255    325.34     86.43      3.76   1000000         0
861.28/861.55	c       170       367    342.50     92.10      3.72   1000000         0
862.57/862.85	c       144       336    328.31     96.36      3.41   1000000         0
863.87/864.15	c       187       372    330.91     97.10      3.41   1000000         0
865.17/865.45	c       137       365    347.63    103.19      3.37   1000000         0
866.47/866.74	c       132       374    326.70    103.28      3.16   1000000         0
867.78/868.04	c       154       247    336.04    104.09      3.23   1000000         0
869.07/869.33	c       151       220    328.68    103.26      3.18   1000000         0
870.37/870.64	c       158       290    346.26     91.50      3.78   1000000         0
871.67/871.94	c       153       336    335.29    109.63      3.06   1000000         0
872.97/873.23	c       105       279    324.62    107.62      3.02   1000000         0
874.28/874.53	c       115       277    332.57    103.27      3.22   1000000         0
875.57/875.83	c       130       335    320.98     95.83      3.35   1000000         0
876.87/877.13	c       177       350    338.32    100.05      3.38   1000000         0
878.17/878.42	c       147       349    329.46    103.51      3.18   1000000         0
879.47/879.72	c       152       361    328.89     98.16      3.35   1000000         0
880.77/881.02	c       149       248    316.50    100.47      3.15   1000000         0
882.08/882.32	c       148       321    338.01     91.73      3.68   1000000         0
883.37/883.62	c       141       249    338.72     97.51      3.47   1000000         0
884.67/884.92	c       170       244    337.60     82.11      4.11   1000000         0
885.97/886.21	c       134       260    344.88     87.49      3.94   1000000         0
887.27/887.52	c       123       330    332.67    106.78      3.12   1000000         0
888.58/888.82	c       141       263    340.25    108.31      3.14   1000000         0
889.87/890.12	c       148       255    322.52    101.45      3.18   1000000         0
891.17/891.42	c       148       315    323.91     92.72      3.49   1000000         0
892.47/892.72	c       150       220    338.69    122.75      2.76   1000000         0
893.77/894.02	c       145       268    340.10     84.07      4.05   1000000         0
895.07/895.32	c       163       262    339.91    112.06      3.03   1000000         0
896.37/896.62	c       167       378    322.06     77.71      4.14   1000000         0
897.67/897.91	c       131       243    333.12    102.15      3.26   1000000         0
898.97/899.21	c       153       341    334.93    114.45      2.93   1000000         0
900.27/900.50	c       134       364    336.98     95.98      3.51   1000000         0
901.57/901.80	c       175       366    332.49     81.15      4.10   1000000         0
902.87/903.11	c       122       304    331.76     97.01      3.42   1000000         0
904.16/904.41	c       147       308    335.97    101.80      3.30   1000000         0
905.46/905.71	c       108       245    327.40     96.51      3.39   1000000         0
906.76/907.00	c       149       258    334.47    110.31      3.03   1000000         0
908.06/908.30	c       131       433    332.02     92.39      3.59   1000000         0
909.36/909.60	c       151       283    335.75    112.22      2.99   1000000         0
910.57/910.90	c       167       371    352.12    102.80      3.43   1000000         0
911.96/912.20	c        93       254    332.99     93.02      3.58   1000000         0
913.16/913.49	c        98       321    321.96    101.02      3.19   1000000         0
914.56/914.80	c       171       314    340.47    106.42      3.20   1000000         0
915.76/916.10	c       156       386    337.98     97.13      3.48   1000000         0
917.17/917.40	c       122       265    336.83     99.98      3.37   1000000         0
918.46/918.70	c       147       443    348.27    116.22      3.00   1000000         0
919.76/920.00	c       135       308    330.80    106.23      3.11   1000000         0
921.06/921.30	c       163       449    329.94     96.85      3.41   1000000         0
922.36/922.60	c       121       416    333.03     92.17      3.61   1000000         0
923.66/923.90	c       156       328    334.33    102.47      3.26   1000000         0
924.87/925.20	c       140       237    331.13    105.38      3.14   1000000         0
926.16/926.49	c       129       322    318.61    107.07      2.98   1000000         0
927.56/927.80	c       119       301    344.87    122.37      2.82   1000000         0
928.86/929.10	c       164       323    341.22     97.02      3.52   1000000         0
930.16/930.40	c       129       272    325.84     96.56      3.37   1000000         0
931.36/931.69	c       173       323    335.91     84.14      3.99   1000000         0
932.67/932.99	c       163       276    336.13     90.90      3.70   1000000         0
933.96/934.29	c       152       298    328.34    103.30      3.18   1000000         0
935.26/935.59	c       146       290    330.24     98.68      3.35   1000000         0
936.56/936.89	c       172       348    345.36    102.46      3.37   1000000         0
937.86/938.19	c       119       294    332.11    100.19      3.31   1000000         0
939.16/939.50	c       134       274    342.46    112.34      3.05   1000000         0
940.56/940.80	c       164       431    350.52    100.71      3.48   1000000         0
941.86/942.10	c       124       360    327.02     95.87      3.41   1000000         0
943.06/943.39	c       118       316    321.77     99.11      3.25   1000000         0
944.36/944.69	c       133       308    320.99    101.32      3.17   1000000         0
945.66/945.99	c       167       357    332.12    102.75      3.23   1000000         0
946.96/947.29	c       153       339    336.35     92.08      3.65   1000000         0
948.25/948.59	c       145       382    339.93    124.63      2.73   1000000         0
949.55/949.88	c       153       313    323.64    101.15      3.20   1000000         0
950.85/951.18	c       126       283    316.93     95.92      3.30   1000000         0
952.15/952.48	c       104       284    321.29    102.20      3.14   1000000         0
953.46/953.78	c       125       266    344.26    101.89      3.38   1000000         0
954.75/955.09	c       129       318    336.17    112.15      3.00   1000000         0
956.05/956.39	c       133       206    335.93     92.72      3.62   1000000         0
957.35/957.69	c       115       342    333.83     88.20      3.79   1000000         0
958.65/958.99	c       158       358    345.24    101.53      3.40   1000000         0
959.95/960.28	c       174       389    330.24     92.43      3.57   1000000         0
961.26/961.59	c       167       239    341.18    114.96      2.97   1000000         0
962.55/962.89	c       126       261    328.96     91.53      3.59   1000000         0
963.85/964.19	c       132       381    333.53    120.10      2.78   1000000         0
965.15/965.49	c       123       375    339.08    100.29      3.38   1000000         0
966.45/966.79	c       161       329    342.03     99.07      3.45   1000000         0
967.76/968.09	c       135       300    324.23    111.07      2.92   1000000         0
969.05/969.39	c       125       285    338.72     90.87      3.73   1000000         0
970.35/970.69	c       104       348    331.63    103.45      3.21   1000000         0
971.65/971.98	c       118       331    322.65    101.75      3.17   1000000         0
972.95/973.28	c       134       366    337.71    111.32      3.03   1000000         0
974.25/974.58	c       145       145    329.87     96.69      3.41   1000000         0
975.55/975.88	c       160       295    337.83     92.35      3.66   1000000         0
976.85/977.18	c       105       312    343.04    120.81      2.84   1000000         0
978.15/978.48	c        95       321    323.05     97.59      3.31   1000000         0
979.45/979.78	c       129       290    332.62     87.94      3.78   1000000         0
980.75/981.08	c       134       293    320.13    105.63      3.03   1000000         0
982.05/982.38	c       154       345    337.93     97.52      3.47   1000000         0
983.35/983.68	c       185       318    334.55     99.78      3.35   1000000         0
984.65/984.98	c       150       288    339.34    100.84      3.37   1000000         0
985.95/986.27	c       136       332    334.36     95.14      3.51   1000000         0
987.24/987.58	c       146       346    342.06    105.87      3.23   1000000         0
988.54/988.87	c       159       252    340.77     90.62      3.76   1000000         0
989.85/990.17	c       133       335    330.79     94.55      3.50   1000000         0
991.14/991.47	c       173       324    336.47     91.77      3.67   1000000         0
992.44/992.77	c       143       337    334.63     95.78      3.49   1000000         0
993.74/994.07	c       144       276    340.91    103.65      3.29   1000000         0
995.04/995.36	c       132       383    321.94    100.07      3.22   1000000         0
996.35/996.67	c       126       269    336.40    106.22      3.17   1000000         0
997.64/997.96	c       128       430    320.74     99.71      3.22   1000000         0
998.94/999.27	c       166       301    338.99     92.08      3.68   1000000         0
1000.24/1000.56	c       176       344    337.34    111.74      3.02   1000000         0
1001.54/1001.86	c       156       381    332.89    112.48      2.96   1000000         0
1002.84/1003.16	c       148       258    342.62    111.84      3.06   1000000         0
1004.15/1004.47	c       146       201    343.53     99.19      3.46   1000000         0
1005.44/1005.77	c       132       307    330.60    122.73      2.69   1000000         0
1006.74/1007.06	c        96       322    323.59     92.02      3.52   1000000         0
1008.04/1008.36	c       155       243    324.73     99.47      3.26   1000000         0
1009.34/1009.66	c       152       351    337.35     89.95      3.75   1000000         0
1010.65/1010.96	c       150       264    332.88     85.25      3.90   1000000         0
1011.94/1012.26	c       148       359    339.09    101.11      3.35   1000000         0
1013.24/1013.56	c       140       358    338.58     98.32      3.44   1000000         0
1014.54/1014.86	c       159       339    332.62     92.42      3.60   1000000         0
1015.85/1016.16	c       131       301    331.77    106.73      3.11   1000000         0
1017.15/1017.47	c       160       283    350.73    112.66      3.11   1000000         0
1018.45/1018.76	c       118       382    341.74    107.33      3.18   1000000         0
1019.75/1020.06	c       174       360    335.06     98.24      3.41   1000000         0
1021.05/1021.36	c       162       325    344.18    113.80      3.02   1000000         0
1022.35/1022.66	c       145       276    325.50     96.55      3.37   1000000         0
1023.64/1023.97	c       174       284    346.24    102.72      3.37   1000000         0
1024.95/1025.27	c       152       304    339.87    104.28      3.26   1000000         0
1026.24/1026.57	c       143       284    331.77    114.83      2.89   1000000         0
1027.54/1027.86	c       126       288    320.42    107.64      2.98   1000000         0
1028.84/1029.16	c       164       231    323.55     83.29      3.88   1000000         0
1030.14/1030.46	c       139       343    326.10     99.62      3.27   1000000         0
1031.44/1031.76	c       177       319    341.58     94.35      3.62   1000000         0
1032.75/1033.06	c       155       323    344.92    113.13      3.05   1000000         0
1034.04/1034.36	c       125       415    333.66    103.20      3.23   1000000         0
1035.34/1035.66	c       144       277    329.98     84.07      3.93   1000000         0
1036.64/1036.96	c       146       303    336.30    108.43      3.10   1000000         0
1037.94/1038.26	c       152       229    343.63    101.66      3.38   1000000         0
1039.25/1039.56	c       159       225    328.24    106.36      3.09   1000000         0
1040.54/1040.86	c       164       327    335.23     80.81      4.15   1000000         0
1041.84/1042.16	c       159       322    332.74     87.01      3.82   1000000         0
1043.14/1043.46	c       153       371    340.57    102.85      3.31   1000000         0
1044.44/1044.76	c       148       300    327.10    102.15      3.20   1000000         0
1045.74/1046.06	c       156       383    322.00    100.25      3.21   1000000         0
1047.05/1047.35	c       154       318    322.62     87.20      3.70   1000000         0
1048.34/1048.65	c       144       410    333.12    106.37      3.13   1000000         0
1049.64/1049.95	c       130       306    327.48    103.38      3.17   1000000         0
1050.94/1051.25	c       155       291    325.85     93.96      3.47   1000000         0
1052.24/1052.55	c       124       215    330.73     98.84      3.35   1000000         0
1053.54/1053.85	c       181       344    336.19     98.93      3.40   1000000         0
1054.84/1055.15	c       174       324    341.92     91.60      3.73   1000000         0
1056.14/1056.44	c        90       278    319.67    102.63      3.11   1000000         0
1057.44/1057.75	c       140       298    336.42    106.41      3.16   1000000         0
1058.74/1059.05	c       151       238    332.91    107.56      3.10   1000000         0
1060.03/1060.35	c       165       358    345.04     90.87      3.80   1000000         0
1061.34/1061.65	c       141       322    345.62    106.80      3.24   1000000         0
1062.63/1062.95	c       143       321    333.58    105.37      3.17   1000000         0
1063.93/1064.25	c       154       364    325.48     82.27      3.96   1000000         0
1065.23/1065.55	c       162       229    334.55    105.30      3.18   1000000         0
1066.53/1066.86	c       159       338    344.57    109.66      3.14   1000000         0
1067.84/1068.16	c       146       320    334.32    108.22      3.09   1000000         0
1069.13/1069.46	c       154       410    335.88     91.60      3.67   1000000         0
1070.43/1070.76	c       166       259    332.31     99.90      3.33   1000000         0
1071.73/1072.06	c       136       282    343.01    121.39      2.83   1000000         0
1073.03/1073.36	c       139       270    341.23    109.77      3.11   1000000         0
1074.33/1074.67	c       168       307    352.91    116.24      3.04   1000000         0
1075.64/1075.97	c       171       244    337.68    115.78      2.92   1000000         0
1076.93/1077.27	c       163       295    325.85     93.08      3.50   1000000         0
1078.23/1078.57	c       151       294    343.83    109.21      3.15   1000000         0
1079.53/1079.88	c       182       235    339.69     82.75      4.11   1000000         0
1080.83/1081.17	c       150       424    339.81    101.63      3.34   1000000         0
1082.14/1082.47	c       160       331    339.12     92.65      3.66   1000000         0
1083.43/1083.78	c       164       359    337.18     99.23      3.40   1000000         0
1084.73/1085.08	c       110       326    333.70     89.75      3.72   1000000         0
1086.03/1086.38	c       157       304    329.67    108.27      3.04   1000000         0
1087.33/1087.68	c       126       261    345.66    112.27      3.08   1000000         0
1088.63/1088.97	c       145       430    330.82    100.98      3.28   1000000         0
1089.94/1090.28	c       135       347    329.36    122.51      2.69   1000000         0
1091.23/1091.58	c       154       377    324.92    107.59      3.02   1000000         0
1092.53/1092.88	c       127       260    336.38     98.67      3.41   1000000         0
1093.83/1094.18	c       164       306    343.99     97.09      3.54   1000000         0
1095.13/1095.48	c       135       309    329.96     95.54      3.45   1000000         0
1096.43/1096.77	c       167       325    334.50     78.62      4.25   1000000         0
1097.73/1098.07	c       129       290    316.47     83.94      3.77   1000000         0
1099.02/1099.37	c       139       330    321.66     98.86      3.25   1000000         0
1100.32/1100.67	c       162       301    335.29     84.62      3.96   1000000         0
1101.62/1101.97	c       161       218    334.74    108.80      3.08   1000000         0
1102.92/1103.27	c       137       324    322.69     97.46      3.31   1000000         0
1104.23/1104.57	c       174       358    338.82     99.81      3.39   1000000         0
1105.52/1105.88	c       133       292    338.74    118.18      2.87   1000000         0
1106.82/1107.18	c       181       379    349.42    113.84      3.07   1000000         0
1108.12/1108.48	c       150       326    324.84    100.52      3.23   1000000         0
1109.42/1109.78	c       171       387    334.10    106.71      3.13   1000000         0
1110.73/1111.07	c       155       286    327.09     84.86      3.85   1000000         0
1112.02/1112.37	c       122       333    335.82    105.45      3.18   1000000         0
1113.32/1113.67	c       135       241    331.68     86.67      3.83   1000000         0
1114.62/1114.97	c       181       310    343.60    100.86      3.41   1000000         0
1115.92/1116.27	c       154       290    338.72     89.56      3.78   1000000         0
1117.22/1117.57	c       171       218    338.96    105.57      3.21   1000000         0
1118.53/1118.87	c       137       404    330.41    105.87      3.12   1000000         0
1119.82/1120.18	c       161       272    348.48     91.80      3.80   1000000         0
1121.12/1121.47	c       152       381    342.98    109.22      3.14   1000000         0
1122.42/1122.78	c       145       260    344.71    102.27      3.37   1000000         0
1123.72/1124.08	c       144       240    338.46    108.00      3.13   1000000         0
1125.03/1125.38	c       135       329    330.76    115.06      2.87   1000000         0
1126.32/1126.68	c       143       338    340.26    102.10      3.33   1000000         0
1127.62/1127.97	c       124       365    323.23    105.27      3.07   1000000         0
1128.92/1129.27	c       165       308    331.69     95.90      3.46   1000000         0
1130.22/1130.56	c       167       354    327.01    109.04      3.00   1000000         0
1131.52/1131.86	c       143       445    334.90    102.07      3.28   1000000         0
1132.82/1133.16	c       174       389    345.84     98.63      3.51   1000000         0
1134.12/1134.45	c       138       351    326.81     89.50      3.65   1000000         0
1135.42/1135.76	c       175       374    347.75     95.15      3.65   1000000         0
1136.72/1137.06	c       160       321    335.10     86.21      3.89   1000000         0
1138.02/1138.36	c       153       265    334.14    110.53      3.02   1000000         0
1139.32/1139.65	c       131       384    319.21     96.20      3.32   1000000         0
1140.62/1140.95	c       132       479    336.67     99.61      3.38   1000000         0
1141.92/1142.25	c       154       419    341.64    108.63      3.14   1000000         0
1143.21/1143.55	c       113       342    330.90    106.33      3.11   1000000         0
1144.51/1144.85	c       171       289    326.52     91.79      3.56   1000000         0
1145.81/1146.15	c       157       342    361.22    117.33      3.08   1000000         0
1147.12/1147.45	c       142       432    337.59     93.18      3.62   1000000         0
1148.41/1148.74	c       138       245    316.82    104.40      3.03   1000000         0
1149.71/1150.04	c       155       246    333.64     97.82      3.41   1000000         0
1151.01/1151.34	c       171       323    349.51    104.32      3.35   1000000         0
1152.31/1152.63	c       127       296    330.67     91.91      3.60   1000000         0
1153.62/1153.93	c       148       226    332.07     89.84      3.70   1000000         0
1154.91/1155.23	c       126       406    334.05    111.51      3.00   1000000         0
1156.21/1156.53	c       159       348    341.41    102.38      3.33   1000000         0
1157.51/1157.83	c       151       368    327.05     86.32      3.79   1000000         0
1158.81/1159.13	c       130       324    329.14     94.84      3.47   1000000         0
1160.11/1160.43	c       144       315    340.64    102.77      3.31   1000000         0
1161.42/1161.73	c       164       403    348.50    101.01      3.45   1000000         0
1162.71/1163.03	c       146       314    332.93    107.64      3.09   1000000         0
1164.01/1164.33	c       139       282    325.92    110.29      2.96   1000000         0
1165.31/1165.63	c       145       394    343.78    117.15      2.93   1000000         0
1166.61/1166.93	c       148       370    335.03    105.81      3.17   1000000         0
1167.91/1168.23	c       158       321    337.42    112.78      2.99   1000000         0
1169.21/1169.53	c       158       281    323.54     88.52      3.66   1000000         0
1170.51/1170.82	c       118       265    325.64    108.46      3.00   1000000         0
1171.81/1172.12	c       167       267    332.26    117.13      2.84   1000000         0
1173.11/1173.42	c       179       230    342.16     98.03      3.49   1000000         0
1174.41/1174.72	c       139       336    325.07    111.40      2.92   1000000         0
1175.71/1176.02	c       107       374    327.01    102.96      3.18   1000000         0
1177.00/1177.32	c       172       335    334.30     87.96      3.80   1000000         0
1178.30/1178.62	c       122       359    328.18    103.84      3.16   1000000         0
1179.60/1179.92	c       159       290    337.11     98.16      3.43   1000000         0
1180.90/1181.22	c       161       304    338.30     92.32      3.66   1000000         0
1182.21/1182.52	c       162       283    334.87     90.86      3.69   1000000         0
1183.50/1183.81	c       158       327    318.76    100.79      3.16   1000000         0
1184.80/1185.11	c       139       312    318.01    104.73      3.04   1000000         0
1186.10/1186.40	c       142       359    312.28    100.82      3.10   1000000         0
1187.30/1187.69	c       150       322    326.37     86.55      3.77   1000000         0
1188.60/1188.99	c       146       381    337.30     94.58      3.57   1000000         0
1189.91/1190.30	c       141       283    334.85    114.37      2.93   1000000         0
1191.20/1191.59	c       136       296    326.97     94.71      3.45   1000000         0
1192.50/1192.90	c       166       323    335.11     90.06      3.72   1000000         0
1193.90/1194.20	c       170       365    354.05    101.36      3.49   1000000         0
1195.20/1195.50	c       135       296    332.77     88.18      3.77   1000000         0
1196.51/1196.80	c       142       447    341.31     91.85      3.72   1000000         0
1197.80/1198.10	c       145       342    341.05    118.54      2.88   1000000         0
1199.10/1199.40	c       177       288    333.08    101.51      3.28   1000000         0
1200.30/1200.70	c       148       398    342.33     93.88      3.65   1000000         0
1201.70/1202.00	c       169       435    338.27     88.39      3.83   1000000         0
1203.00/1203.30	c       112       267    322.37    106.29      3.03   1000000         0
1204.20/1204.59	c       158       271    317.97     86.45      3.68   1000000         0
1205.50/1205.89	c       153       320    324.98     83.39      3.90   1000000         0
1206.80/1207.19	c       163       305    341.88     97.31      3.51   1000000         0
1208.10/1208.49	c       127       394    339.37    103.33      3.28   1000000         0
1209.40/1209.78	c       125       301    330.61     95.71      3.45   1000000         0
1210.70/1211.09	c       182       297    342.00     95.77      3.57   1000000         0
1212.00/1212.39	c       172       356    338.18    111.07      3.04   1000000         0
1213.29/1213.69	c       149       315    331.97     97.44      3.41   1000000         0
1214.59/1214.99	c       140       326    343.14    108.28      3.17   1000000         0
1215.89/1216.29	c       174       290    331.51     91.65      3.62   1000000         0
1217.19/1217.59	c       173       297    340.80     93.37      3.65   1000000         0
1218.50/1218.88	c       143       371    323.35     90.12      3.59   1000000         0
1219.79/1220.18	c       135       368    339.67    107.43      3.16   1000000         0
1221.09/1221.48	c       152       341    340.18    100.91      3.37   1000000         0
1222.39/1222.78	c       142       293    320.82     99.11      3.24   1000000         0
1223.69/1224.08	c       157       379    338.85     95.71      3.54   1000000         0
1224.99/1225.38	c       115       197    330.83    111.58      2.96   1000000         0
1226.30/1226.68	c       156       318    335.09     98.84      3.39   1000000         0
1227.59/1227.97	c       186       277    331.05     79.73      4.15   1000000         0
1228.89/1229.27	c       142       358    335.06     99.07      3.38   1000000         0
1230.19/1230.58	c       175       300    345.79    106.07      3.26   1000000         0
1231.49/1231.88	c       164       406    340.94     83.23      4.10   1000000         0
1232.80/1233.17	c       128       277    319.28    101.21      3.15   1000000         0
1234.09/1234.47	c       165       384    335.79    119.27      2.82   1000000         0
1235.39/1235.77	c       134       337    323.53    113.90      2.84   1000000         0
1236.69/1237.07	c       131       316    338.81    128.97      2.63   1000000         0
1237.99/1238.37	c       146       311    342.50    119.00      2.88   1000000         0
1239.29/1239.67	c       154       348    333.90    107.20      3.11   1000000         0
1240.60/1240.97	c       175       356    332.59     90.53      3.67   1000000         0
1241.89/1242.27	c       164       319    341.78    113.61      3.01   1000000         0
1243.19/1243.57	c       122       308    322.00    111.61      2.88   1000000         0
1244.49/1244.87	c       147       246    327.93     91.72      3.58   1000000         0
1245.79/1246.17	c       154       355    337.74    100.68      3.35   1000000         0
1247.09/1247.48	c       163       236    336.24     93.88      3.58   1000000         0
1248.39/1248.77	c       104       380    324.65     90.39      3.59   1000000         0
1249.69/1250.07	c       159       325    333.98     98.94      3.38   1000000         0
1250.98/1251.37	c       133       222    336.00     95.52      3.52   1000000         0
1252.28/1252.67	c       175       295    348.32     89.13      3.91   1000000         0
1253.58/1253.97	c       174       287    332.26     96.48      3.44   1000000         0
1254.89/1255.27	c       158       328    336.21     89.44      3.76   1000000         0
1256.18/1256.57	c       100       311    328.99    103.94      3.17   1000000         0
1257.48/1257.88	c       137       280    343.08     91.71      3.74   1000000         0
1258.78/1259.18	c       161       223    340.12    104.23      3.26   1000000         0
1260.08/1260.48	c       157       352    345.16    102.04      3.38   1000000         0
1261.39/1261.77	c       135       306    326.48     90.39      3.61   1000000         0
1262.68/1263.07	c       143       321    330.80    102.21      3.24   1000000         0
1263.98/1264.37	c       141       340    330.08    108.56      3.04   1000000         0
1265.28/1265.67	c       130       312    336.01    111.79      3.01   1000000         0
1266.58/1266.97	c        99       342    339.47    100.61      3.37   1000000         0
1267.88/1268.27	c       135       275    334.35    109.02      3.07   1000000         0
1269.19/1269.57	c       147       316    324.50    101.72      3.19   1000000         0
1270.48/1270.87	c       157       334    333.36     92.46      3.61   1000000         0
1271.78/1272.17	c       170       406    332.99     98.82      3.37   1000000         0
1273.08/1273.47	c       153       334    338.12     93.22      3.63   1000000         0
1274.38/1274.77	c       135       254    315.53     91.24      3.46   1000000         0
1275.69/1276.07	c       129       151    329.92     97.28      3.39   1000000         0
1276.98/1277.37	c       174       247    349.57     94.88      3.68   1000000         0
1278.28/1278.67	c       154       387    320.46     77.21      4.15   1000000         0
1279.58/1279.96	c       148       292    323.76     96.86      3.34   1000000         0
1280.88/1281.27	c       180       307    357.22    126.97      2.81   1000000         0
1282.18/1282.57	c       159       192    339.09    118.06      2.87   1000000         0
1283.48/1283.87	c       174       422    344.49    101.59      3.39   1000000         0
1284.78/1285.17	c       138       196    331.50     91.64      3.62   1000000         0
1286.08/1286.46	c       145       292    313.77    108.07      2.90   1000000         0
1287.38/1287.77	c       164       260    346.23     98.78      3.51   1000000         0
1288.68/1289.06	c       138       224    320.74     97.54      3.29   1000000         0
1289.98/1290.36	c       128       331    328.22     87.19      3.76   1000000         0
1291.27/1291.66	c       177       292    340.26     99.35      3.42   1000000         0
1292.57/1292.95	c       169       398    335.32    110.88      3.02   1000000         0
1293.87/1294.25	c       147       413    348.89     92.81      3.76   1000000         0
1295.17/1295.55	c       150       317    330.97     99.98      3.31   1000000         0
1296.47/1296.85	c       129       276    332.27    101.77      3.26   1000000         0
1297.78/1298.16	c       171       291    354.87    122.68      2.89   1000000         0
1299.07/1299.46	c       152       359    322.49    129.73      2.49   1000000         0
1300.37/1300.75	c       132       340    328.96     95.74      3.44   1000000         0
1301.67/1302.06	c       126       309    336.79    124.78      2.70   1000000         0
1302.97/1303.35	c       131       296    331.19    101.10      3.28   1000000         0
1304.28/1304.65	c       140       312    338.54    103.12      3.28   1000000         0
1305.57/1305.95	c       169       327    334.25    110.00      3.04   1000000         0
1306.87/1307.25	c       164       314    333.86     96.01      3.48   1000000         0
1308.17/1308.54	c        83       237    320.03     89.99      3.56   1000000         0
1309.47/1309.85	c       141       395    335.55    120.98      2.77   1000000         0
1310.77/1311.14	c       156       306    324.91     95.05      3.42   1000000         0
1312.08/1312.44	c       169       282    325.49     88.85      3.66   1000000         0
1313.37/1313.74	c       138       308    335.62    103.02      3.26   1000000         0
1314.67/1315.04	c       175       313    335.87     88.19      3.81   1000000         0
1315.97/1316.34	c       139       310    313.24     87.47      3.58   1000000         0
1317.27/1317.63	c       129       318    323.04     86.60      3.73   1000000         0
1318.57/1318.93	c       146       248    338.70     99.52      3.40   1000000         0
1319.87/1320.23	c       176       327    335.58    104.35      3.22   1000000         0
1321.17/1321.53	c       174       297    344.05    110.80      3.11   1000000         0
1322.47/1322.83	c       144       272    340.64    102.05      3.34   1000000         0
1323.77/1324.13	c       146       321    321.34     91.10      3.53   1000000         0
1325.07/1325.42	c       145       381    333.33     96.03      3.47   1000000         0
1326.37/1326.72	c       112       385    321.70     87.10      3.69   1000000         0
1327.67/1328.02	c       150       331    333.94     99.23      3.37   1000000         0
1328.96/1329.32	c       100       210    328.80     92.63      3.55   1000000         0
1330.26/1330.61	c        80       338    322.15    103.07      3.13   1000000         0
1331.56/1331.91	c       119       293    339.35    104.44      3.25   1000000         0
1332.87/1333.21	c       152       255    324.94     88.79      3.66   1000000         0
1334.16/1334.50	c       151       301    334.31     92.44      3.62   1000000         0
1335.46/1335.80	c       135       387    319.30    103.97      3.07   1000000         0
1336.76/1337.10	c       154       351    338.48    100.51      3.37   1000000         0
1338.06/1338.40	c       157       287    341.94     98.33      3.48   1000000         0
1339.36/1339.70	c       129       314    328.30    106.94      3.07   1000000         0
1340.57/1341.00	c       143       384    329.26     90.84      3.62   1000000         0
1341.96/1342.30	c       163       407    337.04    102.44      3.29   1000000         0
1343.26/1343.60	c       152       205    328.20    108.66      3.02   1000000         0
1344.46/1344.90	c       159       325    331.28    110.57      3.00   1000000         0
1345.76/1346.19	c       130       245    322.66    107.32      3.01   1000000         0
1347.06/1347.49	c       160       322    329.82     99.44      3.32   1000000         0
1348.37/1348.79	c       146       307    331.88     93.96      3.53   1000000         0
1349.66/1350.10	c       153       347    336.20    104.40      3.22   1000000         0
1350.96/1351.39	c       154       364    324.33     86.18      3.76   1000000         0
1352.26/1352.69	c       159       362    327.64    108.41      3.02   1000000         0
1353.56/1353.98	c       158       376    334.70    100.56      3.33   1000000         0
1354.87/1355.29	c       145       308    341.77    119.47      2.86   1000000         0
1356.16/1356.58	c       113       221    334.00    104.69      3.19   1000000         0
1357.46/1357.88	c       122       328    323.55     92.78      3.49   1000000         0
1358.76/1359.18	c       160       253    324.94     96.47      3.37   1000000         0
1360.06/1360.48	c       150       309    328.85     98.55      3.34   1000000         0
1361.36/1361.78	c       168       376    339.37    100.87      3.36   1000000         0
1362.66/1363.08	c       162       310    337.14     90.37      3.73   1000000         0
1363.96/1364.38	c       141       266    338.04    106.96      3.16   1000000         0
1365.26/1365.68	c        95       372    318.88    104.58      3.05   1000000         0
1366.56/1366.98	c       140       286    335.05     97.61      3.43   1000000         0
1367.86/1368.28	c       169       248    324.28     93.06      3.48   1000000         0
1369.16/1369.57	c       137       289    336.18     98.54      3.41   1000000         0
1370.46/1370.87	c       148       300    327.58     87.00      3.77   1000000         0
1371.76/1372.17	c       111       357    336.00    107.65      3.12   1000000         0
1373.06/1373.47	c       179       374    337.64     99.23      3.40   1000000         0
1374.35/1374.77	c       139       303    338.35    114.70      2.95   1000000         0
1375.65/1376.08	c       167       332    347.80     87.67      3.97   1000000         0
1376.96/1377.38	c       147       395    340.84     97.82      3.48   1000000         0
1378.25/1378.67	c       141       332    321.65     94.36      3.41   1000000         0
1379.55/1379.97	c       129       260    329.52    109.21      3.02   1000000         0
1380.85/1381.28	c       163       286    325.82    102.66      3.17   1000000         0
1382.15/1382.57	c       110       263    329.73    114.81      2.87   1000000         0
1383.46/1383.87	c       139       271    336.16     92.26      3.64   1000000         0
1384.75/1385.17	c       139       265    334.39    107.37      3.11   1000000         0
1386.05/1386.48	c       167       344    361.42    110.55      3.27   1000000         0
1387.35/1387.78	c       153       391    337.87    105.17      3.21   1000000         0
1388.65/1389.08	c       149       262    343.61    101.23      3.39   1000000         0
1389.95/1390.38	c       163       283    327.52     93.63      3.50   1000000         0
1391.26/1391.68	c       171       345    337.51     89.96      3.75   1000000         0
1392.55/1392.97	c       140       289    322.97    106.26      3.04   1000000         0
1393.85/1394.28	c       119       300    338.22     92.30      3.66   1000000         0
1395.15/1395.58	c       134       236    331.22    107.81      3.07   1000000         0
1396.45/1396.88	c       179       363    335.45    121.53      2.76   1000000         0
1397.76/1398.17	c       145       349    323.99    112.10      2.89   1000000         0
1399.05/1399.47	c       157       314    349.28     99.33      3.52   1000000         0
1400.35/1400.78	c       114       334    344.45    107.09      3.22   1000000         0
1401.65/1402.07	c       132       417    325.92    104.36      3.12   1000000         0
1402.95/1403.37	c       156       275    347.91     94.22      3.69   1000000         0
1404.25/1404.67	c       143       341    331.00     81.26      4.07   1000000         0
1405.55/1405.98	c       150       339    341.42    107.28      3.18   1000000         0
1406.85/1407.28	c       149       297    348.83    111.86      3.12   1000000         0
1408.14/1408.58	c       179       327    351.22     96.46      3.64   1000000         0
1409.44/1409.88	c       138       266    337.41    106.47      3.17   1000000         0
1410.74/1411.18	c       145       190    331.77     93.82      3.54   1000000         0
1412.05/1412.48	c       135       387    336.30     96.19      3.50   1000000         0
1413.34/1413.78	c        96       357    318.39     92.37      3.45   1000000         0
1414.64/1415.08	c        81       321    325.75     95.83      3.40   1000000         0
1415.94/1416.38	c       127       317    348.41    121.99      2.86   1000000         0
1417.24/1417.68	c       141       384    335.28     92.61      3.62   1000000         0
1418.54/1418.98	c       157       280    313.80     88.12      3.56   1000000         0
1419.85/1420.28	c       129       297    331.00    108.01      3.06   1000000         0
1421.14/1421.58	c       151       313    323.56     97.49      3.32   1000000         0
1422.44/1422.88	c       156       436    326.54     83.57      3.91   1000000         0
1423.74/1424.17	c       137       363    330.57     95.00      3.48   1000000         0
1425.04/1425.47	c       164       260    345.26    103.31      3.34   1000000         0
1426.35/1426.77	c       144       294    323.67     92.93      3.48   1000000         0
1427.64/1428.08	c       136       408    348.20     82.45      4.22   1000000         0
1428.94/1429.38	c       171       341    342.45    102.08      3.35   1000000         0
1430.24/1430.68	c       162       238    334.23    100.22      3.33   1000000         0
1431.54/1431.98	c       164       360    326.58     88.45      3.69   1000000         0
1432.84/1433.28	c       158       300    345.90    101.85      3.40   1000000         0
1434.14/1434.57	c       141       371    318.23     92.82      3.43   1000000         0
1435.44/1435.87	c       132       323    331.03     90.58      3.65   1000000         0
1436.74/1437.16	c       146       249    325.64     87.15      3.74   1000000         0
1438.04/1438.46	c       153       243    326.41    103.65      3.15   1000000         0
1439.34/1439.76	c       138       294    333.40    104.52      3.19   1000000         0
1440.64/1441.06	c       144       223    337.18     92.87      3.63   1000000         0
1441.93/1442.36	c       148       311    324.85     97.34      3.34   1000000         0
1443.23/1443.66	c       146       409    336.25     90.67      3.71   1000000         0
1444.53/1444.95	c       162       233    341.30     95.90      3.56   1000000         0
1445.83/1446.25	c       173       326    337.49     88.35      3.82   1000000         0
1447.13/1447.55	c       190       315    346.10    100.82      3.43   1000000         0
1448.44/1448.85	c       168       329    322.24     79.20      4.07   1000000         0
1449.73/1450.15	c       133       232    333.30    103.84      3.21   1000000         0
1451.03/1451.46	c       158       265    349.91     97.31      3.60   1000000         0
1452.33/1452.76	c       167       332    340.44     94.99      3.58   1000000         0
1453.63/1454.06	c       148       347    333.47    104.39      3.19   1000000         0
1454.94/1455.35	c       129       405    317.35     98.95      3.21   1000000         0
1456.23/1456.65	c       158       291    337.20     92.88      3.63   1000000         0
1457.53/1457.95	c       150       270    331.27    111.86      2.96   1000000         0
1458.83/1459.24	c       165       325    340.22    108.12      3.15   1000000         0
1460.13/1460.54	c       149       348    323.40     99.09      3.26   1000000         0
1461.43/1461.84	c       145       317    326.42     88.76      3.68   1000000         0
1462.74/1463.14	c       119       317    335.25     98.33      3.41   1000000         0
1464.03/1464.44	c       157       352    341.67     97.21      3.51   1000000         0
1465.33/1465.74	c       132       247    330.84    110.50      2.99   1000000         0
1466.63/1467.03	c       150       296    326.24    103.71      3.15   1000000         0
1467.93/1468.33	c       127       221    324.78     88.68      3.66   1000000         0
1469.24/1469.63	c       125       344    330.86     94.76      3.49   1000000         0
1470.53/1470.93	c       133       366    322.40     92.48      3.49   1000000         0
1471.83/1472.23	c       147       312    332.56    112.60      2.95   1000000         0
1473.13/1473.53	c       157       307    327.71    103.14      3.18   1000000         0
1474.43/1474.82	c       151       383    322.11    115.28      2.79   1000000         0
1475.73/1476.12	c       150       323    335.53    102.65      3.27   1000000         0
1477.03/1477.42	c       159       330    341.34     86.13      3.96   1000000         0
1478.33/1478.72	c       179       355    340.15    117.78      2.89   1000000         0
1479.63/1480.03	c       171       379    353.15    107.22      3.29   1000000         0
1480.93/1481.33	c       136       316    331.27    125.65      2.64   1000000         0
1482.23/1482.62	c       137       248    325.32    112.93      2.88   1000000         0
1483.53/1483.93	c       113       298    334.38    114.60      2.92   1000000         0
1484.82/1485.23	c       157       368    344.84    100.47      3.43   1000000         0
1486.12/1486.54	c       165       302    337.27    107.06      3.15   1000000         0
1487.42/1487.83	c       122       386    340.32    105.89      3.21   1000000         0
1488.72/1489.13	c       100       307    334.52    109.41      3.06   1000000         0
1490.02/1490.43	c       134       333    325.99     99.10      3.29   1000000         0
1491.33/1491.73	c       145       282    328.19     95.32      3.44   1000000         0
1492.62/1493.03	c       135       298    330.68    113.28      2.92   1000000         0
1493.92/1494.33	c       145       272    335.41    105.44      3.18   1000000         0
1495.22/1495.63	c       158       304    332.79     87.48      3.80   1000000         0
1496.52/1496.93	c       121       278    323.40    103.91      3.11   1000000         0
1497.83/1498.23	c       125       285    338.81    101.79      3.33   1000000         0
1499.12/1499.52	c       152       366    320.12     95.26      3.36   1000000         0
1500.42/1500.82	c        69       216    317.26    106.60      2.98   1000000         0
1501.72/1502.12	c       145       324    330.23    101.83      3.24   1000000         0
1503.02/1503.42	c       180       310    339.01     97.69      3.47   1000000         0
1504.32/1504.71	c       110       339    327.80    113.76      2.88   1000000         0
1505.63/1506.01	c       133       283    330.52     92.76      3.56   1000000         0
1506.92/1507.30	c       135       383    320.87    110.73      2.90   1000000         0
1508.22/1508.60	c        95       276    330.89     99.65      3.32   1000000         0
1509.52/1509.90	c       134       295    327.41     87.01      3.76   1000000         0
1510.72/1511.20	c       148       318    333.73    108.43      3.08   1000000         0
1512.02/1512.49	c       151       320    339.81     97.05      3.50   1000000         0
1513.32/1513.79	c       163       252    338.88    102.59      3.30   1000000         0
1514.72/1515.10	c       180       361    361.74    114.61      3.16   1000000         0
1516.02/1516.40	c       156       291    338.66     94.49      3.58   1000000         0
1517.22/1517.69	c       129       208    317.26     95.02      3.34   1000000         0
1518.52/1518.99	c       160       350    335.02     94.09      3.56   1000000         0
1519.82/1520.28	c       149       309    324.95     89.20      3.64   1000000         0
1521.12/1521.58	c       143       387    321.92    105.33      3.06   1000000         0
1522.42/1522.88	c       152       261    341.08     89.15      3.83   1000000         0
1523.72/1524.18	c       120       347    327.59     96.06      3.41   1000000         0
1525.02/1525.47	c       185       268    337.97     89.72      3.77   1000000         0
1526.31/1526.78	c       144       230    345.64    115.17      3.00   1000000         0
1527.62/1528.07	c       143       358    329.78     88.26      3.74   1000000         0
1528.91/1529.37	c       178       312    336.26     87.52      3.84   1000000         0
1530.21/1530.67	c       116       273    331.60    108.52      3.06   1000000         0
1531.51/1531.97	c       128       256    334.36    106.79      3.13   1000000         0
1532.81/1533.27	c       178       349    345.44     93.62      3.69   1000000         0
1534.12/1534.57	c       145       330    344.15    108.99      3.16   1000000         0
1535.41/1535.87	c       120       316    332.91     94.11      3.54   1000000         0
1536.71/1537.17	c       170       395    350.33    111.87      3.13   1000000         0
1538.01/1538.47	c       130       324    334.07     98.99      3.37   1000000         0
1539.31/1539.77	c       154       245    334.20     88.08      3.79   1000000         0
1540.61/1541.07	c       132       297    330.66     95.71      3.45   1000000         0
1541.92/1542.37	c       133       382    329.89     94.34      3.50   1000000         0
1543.21/1543.67	c       131       310    349.56     88.04      3.97   1000000         0
1544.51/1544.97	c       144       313    333.40    125.36      2.66   1000000         0
1545.81/1546.27	c       163       261    334.25    105.23      3.18   1000000         0
1547.11/1547.57	c       106       275    337.86    110.88      3.05   1000000         0
1548.42/1548.86	c       154       285    319.71    100.40      3.18   1000000         0
1549.71/1550.16	c       161       213    330.14     98.53      3.35   1000000         0
1551.01/1551.45	c       143       318    326.20     91.76      3.55   1000000         0
1552.31/1552.75	c       161       249    335.24     78.61      4.26   1000000         0
1553.61/1554.05	c       170       326    329.91    105.58      3.12   1000000         0
1554.91/1555.35	c       146       293    320.65     90.90      3.53   1000000         0
1556.21/1556.64	c       182       328    335.74    112.72      2.98   1000000         0
1557.51/1557.94	c       140       360    333.76     89.08      3.75   1000000         0
1558.81/1559.23	c       151       287    320.61     87.86      3.65   1000000         0
1560.11/1560.53	c       133       371    327.89    108.73      3.02   1000000         0
1561.41/1561.84	c       167       278    337.21    104.96      3.21   1000000         0
1562.71/1563.13	c       140       284    322.30    103.06      3.13   1000000         0
1564.01/1564.43	c       162       325    332.78     91.27      3.65   1000000         0
1565.31/1565.73	c       152       323    325.76    105.94      3.08   1000000         0
1566.60/1567.03	c       162       305    334.96    131.96      2.54   1000000         0
1567.91/1568.33	c       137       281    344.56     80.38      4.29   1000000         0
1569.21/1569.63	c       172       368    342.22    100.97      3.39   1000000         0
1570.52/1570.92	c       137       230    322.65     79.06      4.08   1000000         0
1571.81/1572.22	c       150       231    330.16     96.90      3.41   1000000         0
1573.11/1573.52	c       132       286    322.21     98.87      3.26   1000000         0
1574.41/1574.82	c       117       324    323.99    111.22      2.91   1000000         0
1575.71/1576.11	c       151       300    323.67     97.09      3.33   1000000         0
1577.02/1577.41	c       152       454    335.89    100.72      3.34   1000000         0
1578.31/1578.71	c       114       332    334.81     97.14      3.45   1000000         0
1579.61/1580.00	c       134       404    329.32     98.50      3.34   1000000         0
1580.91/1581.30	c       146       330    337.08     93.91      3.59   1000000         0
1582.21/1582.60	c       111       273    326.54    101.70      3.21   1000000         0
1583.51/1583.90	c       164       347    337.70     94.60      3.57   1000000         0
1584.72/1585.20	c       171       285    341.86     86.99      3.93   1000000         0
1586.11/1586.50	c       164       327    339.32     88.95      3.81   1000000         0
1587.41/1587.80	c       170       213    341.06    102.23      3.34   1000000         0
1588.71/1589.10	c       153       382    319.23    109.83      2.91   1000000         0
1590.01/1590.40	c       143       363    332.10     89.42      3.71   1000000         0
1591.31/1591.70	c       135       312    334.81     94.96      3.53   1000000         0
1592.51/1592.99	c       158       326    326.80     93.77      3.49   1000000         0
1593.81/1594.29	c       155       314    333.41     96.72      3.45   1000000         0
1595.21/1595.60	c        96       221    346.73     99.13      3.50   1000000         0
1596.41/1596.89	c       135       224    325.75    116.85      2.79   1000000         0
1597.71/1598.20	c       129       301    329.63    107.71      3.06   1000000         0
1599.01/1599.50	c        90       311    330.72     85.41      3.87   1000000         0
1600.31/1600.80	c       134       367    331.60     92.95      3.57   1000000         0
1601.71/1602.10	c       161       377    338.59     94.20      3.59   1000000         0
1603.01/1603.40	c       141       354    325.49    114.08      2.85   1000000         0
1604.31/1604.70	c       162       288    331.50     87.65      3.78   1000000         0
1605.61/1606.00	c       151       316    333.85    103.24      3.23   1000000         0
1606.81/1607.29	c       167       333    331.45     97.37      3.40   1000000         0
1608.10/1608.59	c       155       446    336.86     93.09      3.62   1000000         0
1609.40/1609.88	c       147       288    322.98     92.36      3.50   1000000         0
1610.70/1611.18	c       168       341    345.33     97.80      3.53   1000000         0
1612.00/1612.48	c       161       387    341.16    107.31      3.18   1000000         0
1613.31/1613.78	c       159       333    328.27    108.16      3.03   1000000         0
1614.60/1615.08	c       156       311    325.67    104.14      3.13   1000000         0
1615.90/1616.38	c       161       299    333.30    110.69      3.01   1000000         0
1617.20/1617.68	c       145       379    333.10    105.23      3.17   1000000         0
1618.50/1618.98	c       146       378    331.70    106.22      3.12   1000000         0
1619.80/1620.28	c       145       238    317.97     93.60      3.40   1000000         0
1621.11/1621.58	c       167       400    349.59     95.50      3.66   1000000         0
1622.40/1622.87	c       131       228    322.15     92.00      3.50   1000000         0
1623.70/1624.17	c       152       217    334.29     87.82      3.81   1000000         0
1625.00/1625.47	c       137       261    316.93     96.61      3.28   1000000         0
1626.30/1626.77	c       158       306    341.59     98.40      3.47   1000000         0
1627.60/1628.07	c       166       298    341.29     94.25      3.62   1000000         0
1628.90/1629.36	c       145       287    328.15     92.80      3.54   1000000         0
1630.20/1630.66	c       160       376    337.32    111.37      3.03   1000000         0
1631.50/1631.96	c       138       295    328.15    101.80      3.22   1000000         0
1632.80/1633.26	c       149       281    347.56     95.22      3.65   1000000         0
1634.10/1634.56	c       118       326    335.51    107.65      3.12   1000000         0
1635.40/1635.86	c       135       218    333.12     92.38      3.61   1000000         0
1636.70/1637.16	c       136       313    344.55    106.14      3.25   1000000         0
1638.00/1638.46	c       155       364    334.00     99.33      3.36   1000000         0
1639.29/1639.75	c       118       259    322.68     87.95      3.67   1000000         0
1640.59/1641.05	c       151       335    336.18     84.63      3.97   1000000         0
1641.90/1642.35	c       143       395    331.03     95.95      3.45   1000000         0
1643.19/1643.65	c       132       300    323.48    104.80      3.09   1000000         0
1644.49/1644.95	c       182       388    350.85     88.37      3.97   1000000         0
1645.79/1646.24	c       151       320    322.67     89.58      3.60   1000000         0
1647.09/1647.54	c       144       276    328.99    108.02      3.05   1000000         0
1648.39/1648.84	c        89       335    325.37     98.21      3.31   1000000         0
1649.70/1650.14	c       120       335    324.67    100.91      3.22   1000000         0
1650.99/1651.44	c       126       251    322.02     86.53      3.72   1000000         0
1652.29/1652.74	c       157       465    340.71    106.49      3.20   1000000         0
1653.59/1654.04	c       138       311    347.35    130.64      2.66   1000000         0
1654.89/1655.34	c       146       282    331.78    111.07      2.99   1000000         0
1656.20/1656.64	c       139       353    328.94     97.43      3.38   1000000         0
1657.49/1657.93	c       154       338    329.12     89.14      3.69   1000000         0
1658.79/1659.23	c       152       312    321.35     84.88      3.79   1000000         0
1660.09/1660.53	c       148       192    338.67    103.52      3.27   1000000         0
1661.39/1661.83	c       142       309    338.50    100.76      3.36   1000000         0
1662.69/1663.13	c       151       328    334.54     99.32      3.37   1000000         0
1664.00/1664.43	c       143       232    331.44     99.90      3.32   1000000         0
1665.29/1665.73	c       145       413    333.81    105.94      3.15   1000000         0
1666.59/1667.04	c       163       316    337.75    113.69      2.97   1000000         0
1667.89/1668.33	c       156       296    321.36     98.01      3.28   1000000         0
1669.19/1669.63	c       156       297    335.47    108.05      3.10   1000000         0
1670.50/1670.93	c       129       338    341.77    114.33      2.99   1000000         0
1671.79/1672.23	c       167       325    332.30     81.75      4.06   1000000         0
1673.09/1673.53	c       164       312    333.32     96.82      3.44   1000000         0
1674.39/1674.84	c       166       441    339.45    104.66      3.24   1000000         0
1675.69/1676.13	c       143       342    326.56     88.70      3.68   1000000         0
1676.99/1677.44	c       169       323    338.33    103.79      3.26   1000000         0
1678.29/1678.73	c       174       347    332.68     93.64      3.55   1000000         0
1679.59/1680.03	c       174       240    344.20    105.48      3.26   1000000         0
1680.89/1681.34	c       159       325    367.12    108.47      3.38   1000000         0
1682.18/1682.64	c       156       406    321.80     92.90      3.46   1000000         0
1683.48/1683.93	c       150       322    329.25    107.46      3.06   1000000         0
1684.79/1685.23	c       127       301    333.65    107.54      3.10   1000000         0
1686.08/1686.53	c       149       277    329.39     88.76      3.71   1000000         0
1687.38/1687.82	c       136       272    325.62    100.52      3.24   1000000         0
1688.68/1689.12	c       148       304    332.44    120.36      2.76   1000000         0
1689.98/1690.42	c       158       354    332.45    104.91      3.17   1000000         0
1691.28/1691.72	c       149       344    331.54    101.89      3.25   1000000         0
1692.59/1693.02	c       156       235    333.10    109.97      3.03   1000000         0
1693.88/1694.32	c       107       404    317.71     99.08      3.21   1000000         0
1695.18/1695.61	c       157       351    332.54    103.57      3.21   1000000         0
1696.48/1696.91	c       166       408    349.66     91.96      3.80   1000000         0
1697.78/1698.21	c        90       347    336.72    107.36      3.14   1000000         0
1699.09/1699.51	c       166       336    345.49     99.11      3.49   1000000         0
1700.38/1700.81	c       158       264    328.54     87.63      3.75   1000000         0
1701.68/1702.11	c       136       311    320.18     93.69      3.42   1000000         0
1702.98/1703.41	c       171       223    332.89     90.97      3.66   1000000         0
1704.28/1704.71	c       155       317    330.55    110.21      3.00   1000000         0
1705.58/1706.00	c       164       258    333.97    109.59      3.05   1000000         0
1706.79/1707.30	c       156       368    329.14     91.49      3.60   1000000         0
1708.08/1708.60	c       132       368    321.74     98.21      3.28   1000000         0
1709.38/1709.89	c       177       419    336.44     84.95      3.96   1000000         0
1710.68/1711.19	c       169       332    347.97    107.32      3.24   1000000         0
1711.98/1712.50	c       145       331    345.31    110.81      3.12   1000000         0
1713.38/1713.80	c       156       281    340.30    113.15      3.01   1000000         0
1714.59/1715.10	c       152       323    332.32    103.51      3.21   1000000         0
1715.98/1716.40	c       178       346    346.96     97.09      3.57   1000000         0
1717.18/1717.69	c       137       307    326.83    103.33      3.16   1000000         0
1718.58/1719.00	c       141       289    337.43     97.22      3.47   1000000         0
1719.88/1720.30	c       119       426    358.85    115.12      3.12   1000000         0
1721.18/1721.61	c       155       282    335.50    103.59      3.24   1000000         0
1722.48/1722.90	c       159       249    326.56    114.26      2.86   1000000         0
1723.67/1724.20	c       177       346    334.49     89.25      3.75   1000000         0
1724.97/1725.49	c        95       297    331.24     99.66      3.32   1000000         0
1726.27/1726.80	c       146       316    331.56     95.53      3.47   1000000         0
1727.57/1728.09	c       127       289    332.55     96.92      3.43   1000000         0
1728.88/1729.39	c       177       276    348.51    107.53      3.24   1000000         0
1730.17/1730.69	c       165       327    328.34     95.90      3.42   1000000         0
1731.47/1731.99	c       168       240    347.26    109.53      3.17   1000000         0
1732.77/1733.28	c       156       443    332.16     95.01      3.50   1000000         0
1734.07/1734.59	c       126       299    334.44     93.20      3.59   1000000         0
1735.38/1735.89	c       145       298    320.57    103.89      3.09   1000000         0
1736.67/1737.19	c       122       347    332.91     98.17      3.39   1000000         0
1737.97/1738.48	c       147       317    333.50     82.15      4.06   1000000         0
1739.27/1739.78	c       124       331    323.05    100.59      3.21   1000000         0
1740.57/1741.08	c       118       317    333.56    106.86      3.12   1000000         0
1741.87/1742.38	c       115       253    346.50    115.69      3.00   1000000         0
1743.18/1743.68	c       148       244    330.71     95.87      3.45   1000000         0
1744.47/1744.98	c       130       260    329.85    101.23      3.26   1000000         0
1745.77/1746.28	c       149       312    356.29     94.06      3.79   1000000         0
1747.07/1747.58	c       157       302    330.78    109.91      3.01   1000000         0
1748.37/1748.87	c       119       333    330.18    114.72      2.88   1000000         0
1749.68/1750.17	c       149       274    322.61     89.99      3.58   1000000         0
1750.97/1751.46	c       133       376    321.30     96.17      3.34   1000000         0
1752.27/1752.76	c       141       354    331.68     90.20      3.68   1000000         0
1753.57/1754.07	c       149       353    344.86    104.57      3.30   1000000         0
1754.87/1755.36	c        82       281    328.05    100.34      3.27   1000000         0
1756.17/1756.66	c       150       301    334.53     85.42      3.92   1000000         0
1757.47/1757.97	c       168       286    349.19    107.30      3.25   1000000         0
1758.76/1759.26	c       127       290    328.54     97.03      3.39   1000000         0
1760.07/1760.56	c       145       263    333.32    114.34      2.92   1000000         0
1761.37/1761.86	c       150       180    339.50     99.27      3.42   1000000         0
1762.67/1763.16	c       125       288    329.87    100.82      3.27   1000000         0
1763.97/1764.46	c       153       307    324.89     83.18      3.91   1000000         0
1765.26/1765.76	c       144       291    337.37     97.32      3.47   1000000         0
1766.56/1767.06	c       126       356    336.81    103.38      3.26   1000000         0
1767.86/1768.35	c       129       304    333.26    104.04      3.20   1000000         0
1769.16/1769.64	c       135       274    312.16     84.06      3.71   1000000         0
1770.46/1770.95	c       137       295    335.64    108.04      3.11   1000000         0
1771.77/1772.25	c       181       373    344.07    107.94      3.19   1000000         0
1773.06/1773.56	c       163       384    338.96    101.81      3.33   1000000         0
1774.36/1774.86	c       160       268    347.15    105.25      3.30   1000000         0
1775.66/1776.16	c       154       274    320.00     99.40      3.22   1000000         0
1776.96/1777.46	c       161       400    337.94     98.08      3.45   1000000         0
1778.27/1778.76	c       172       219    343.03    102.45      3.35   1000000         0
1779.56/1780.07	c       167       429    344.59    108.25      3.18   1000000         0
1780.86/1781.36	c       137       437    337.39    104.90      3.22   1000000         0
1782.16/1782.67	c       131       360    344.96    106.65      3.23   1000000         0
1783.46/1783.97	c       159       237    329.45    102.59      3.21   1000000         0
1784.76/1785.27	c       160       263    342.58     90.45      3.79   1000000         0
1786.07/1786.57	c       178       380    343.39     74.49      4.61   1000000         0
1787.36/1787.86	c       159       207    324.44     92.50      3.51   1000000         0
1788.66/1789.17	c       166       312    343.02    111.82      3.07   1000000         0
1789.96/1790.46	c       117       330    344.05    103.46      3.33   1000000         0
1791.26/1791.76	c       130       393    324.54    109.59      2.96   1000000         0
1792.56/1793.06	c       134       347    339.04    104.74      3.24   1000000         0
1793.86/1794.36	c       170       266    337.39     95.41      3.54   1000000         0
1795.16/1795.66	c       142       447    340.58     95.84      3.55   1000000         0
1796.45/1796.96	c       144       423    326.87    105.14      3.11   1000000         0
1797.75/1798.26	c       169       320    333.84     91.63      3.64   1000000         0
1799.05/1799.56	c       138       334    332.06     96.39      3.44   1000000         0
1800.06/1800.51	HOME/run: line 2: 21158 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-2685168-1278439896/watcher-2685168-1278439896 -o /tmp/evaluation-result-2685168-1278439896/solver-2685168-1278439896 -C 1800 -W 2000 -M 1800 run HOME/instance-2685168-1278439896.opb 

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


[startup+0 s]
/proc/loadavg: 1.03 1.00 0.98 3/106 21157
/proc/meminfo: memFree=1396420/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0

[startup+0.103353 s]
/proc/loadavg: 1.03 1.00 0.98 3/106 21157
/proc/meminfo: memFree=1396420/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.20136 s]
/proc/loadavg: 1.03 1.00 0.98 3/106 21157
/proc/meminfo: memFree=1396420/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301369 s]
/proc/loadavg: 1.03 1.00 0.98 3/106 21157
/proc/meminfo: memFree=1396420/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701403 s]
/proc/loadavg: 1.03 1.00 0.98 3/106 21157
/proc/meminfo: memFree=1396420/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50147 s]
/proc/loadavg: 1.03 1.00 0.98 2/108 21159
/proc/meminfo: memFree=1390948/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1.49
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 149 0 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10161 s]
/proc/loadavg: 1.03 1.00 0.98 2/108 21159
/proc/meminfo: memFree=1390700/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=3.08
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 308 0 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30089 s]
/proc/loadavg: 1.02 1.00 0.98 2/108 21159
/proc/meminfo: memFree=1390700/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=6.28
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 628 0 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7014 s]
/proc/loadavg: 1.02 1.00 0.98 2/108 21159
/proc/meminfo: memFree=1390576/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=12.69
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 1268 1 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526541 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5015 s]
/proc/loadavg: 1.02 1.00 0.98 2/108 21159
/proc/meminfo: memFree=1390576/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=25.48
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 2547 1 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1008 s]
/proc/loadavg: 1.01 1.00 0.98 2/108 21160
/proc/meminfo: memFree=1390576/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=51.07
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 5106 1 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21161
/proc/meminfo: memFree=1390576/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=102.27
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 10226 1 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21163
/proc/meminfo: memFree=1390452/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=162.25
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 16224 1 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.309 s]
/proc/loadavg: 1.07 1.02 0.98 2/108 21165
/proc/meminfo: memFree=1390452/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=222.24
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 22223 1 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.02 1.01 0.98 2/108 21166
/proc/meminfo: memFree=1390452/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=282.22
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 28221 1 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.01 1.00 0.98 2/108 21168
/proc/meminfo: memFree=1390328/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=342.2
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 34219 1 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526333 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21169
/proc/meminfo: memFree=1390204/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=402.19
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 40218 1 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=21158] ppid=21157 vsize=40452 CPUtime=1062.03
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 106201 2 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525633 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21192
/proc/meminfo: memFree=1388840/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1122.02
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 112200 2 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 21193
/proc/meminfo: memFree=1388592/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1182
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 118198 2 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 21195
/proc/meminfo: memFree=1388344/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1241.99
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 124197 2 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21196
/proc/meminfo: memFree=1388220/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1301.97
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 130195 2 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 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 21198
/proc/meminfo: memFree=1388220/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1361.96
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 136194 2 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21200
/proc/meminfo: memFree=1388096/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1421.95
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 142193 2 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21201
/proc/meminfo: memFree=1387972/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1481.93
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 148191 2 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21203
/proc/meminfo: memFree=1387972/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1541.92
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 154190 2 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21204
/proc/meminfo: memFree=1387848/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1601.91
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 160188 3 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21206
/proc/meminfo: memFree=1387724/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1661.89
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 166186 3 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 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.00 1.00 1.00 2/108 21208
/proc/meminfo: memFree=1387600/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1721.88
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 172185 3 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134572067 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21209
/proc/meminfo: memFree=1387228/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1781.86
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 178183 3 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 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.00 1.00 1.00 2/108 21210
/proc/meminfo: memFree=1387228/2059040 swapFree=4192956/4192956
[pid=21157] ppid=21155 vsize=8700 CPUtime=0
/proc/21157/stat : 21157 (run) S 21155 21157 19731 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12200201 8908800 244 1992294400 4194304 4922060 140733202375408 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21157/statm: 2175 244 204 178 0 68 0
[pid=21158] ppid=21157 vsize=40452 CPUtime=1800.06
/proc/21158/stat : 21158 (PB-wave) R 21157 21157 19731 0 -1 4202496 1396 0 0 0 180003 3 0 0 25 0 1 0 12200202 41422848 1326 1992294400 134512640 135071400 4286968240 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21158/statm: 10113 1326 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)

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

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

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

runsolver used 2.82457 second user time and 8.73467 second system time

The end

Launcher Data 

Begin job on node031 at 2010-07-06 20:11:36
IDJOB=2685168
IDBENCH=74866
IDSOLVER=1171
FILE ID=node031/2685168-1278439896
PBS_JOBID= 11233447
Free space on /tmp= 62560 MiB

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

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

MD5SUM BENCH= e779a123dad7c0bfc06fe135207f182b
RANDOM SEED=1396932366

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:       1396940 kB
Buffers:        108408 kB
Cached:         413160 kB
SwapCached:          0 kB
Active:         250320 kB
Inactive:       331796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1396940 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3152 kB
Writeback:           0 kB
AnonPages:       60488 kB
Mapped:          14452 kB
Slab:            58016 kB
PageTables:       4188 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 20:41:36