Trace number 2685532

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6027_4-unsat.opb
MD5SUM199890e645cc457b6a007529ee1e952d
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.106983
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7320
Total number of constraints23840
Number of constraints which are clauses23604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints236
Minimum length of a constraint1
Maximum length of a constraint48
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 44
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 309
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.06	c PB-wave - v2
0.00/0.06	c command line = ./PB-wave
0.00/0.06	c seed = 121378414
0.00/0.06	c cutoff = 1000000
0.00/0.06	c tries = 1000000
0.00/0.06	c heuristic = c best, noise 50 / 100
0.00/0.06	#var 7320 #con 23840
0.00/0.06	mode is SAT
0.00/0.06	c tail starts after flip = 21960
0.00/0.06	c numatom = 7320, numclause = 23840, numliterals = 60850
0.00/0.06	c wff read in
0.00/0.06	c 
0.00/0.06	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.06	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.06	c       this      this      this      this      this      this   success   success       until         std
0.00/0.06	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.06	c
1.29/1.36	c       173       336    329.77     52.77      6.25   1000000         0
2.59/2.66	c       169       353    336.39     57.01      5.90   1000000         0
3.89/3.96	c       140       335    341.95     57.03      6.00   1000000         0
5.19/5.26	c       199       536    350.26     54.48      6.43   1000000         0
6.50/6.56	c       169       380    345.80     52.52      6.58   1000000         0
7.79/7.85	c       152       438    332.86     56.25      5.92   1000000         0
9.09/9.15	c       164       328    333.42     52.95      6.30   1000000         0
10.39/10.45	c       164       340    330.27     53.75      6.14   1000000         0
11.69/11.75	c       204       295    345.69     47.96      7.21   1000000         0
12.99/13.05	c       138       399    340.03     61.71      5.51   1000000         0
14.29/14.35	c       140       463    337.68     62.06      5.44   1000000         0
15.59/15.65	c       169       391    341.19     57.40      5.94   1000000         0
16.89/16.95	c       141       328    330.39     57.63      5.73   1000000         0
18.19/18.25	c       160       231    339.58     58.44      5.81   1000000         0
19.49/19.54	c       167       382    338.19     57.86      5.84   1000000         0
20.79/20.84	c       175       310    345.87     50.89      6.80   1000000         0
22.09/22.14	c       184       496    339.01     49.49      6.85   1000000         0
23.39/23.44	c       152       288    343.83     59.97      5.73   1000000         0
24.69/24.73	c       209       408    342.13     58.80      5.82   1000000         0
25.98/26.04	c       178       362    348.67     59.65      5.85   1000000         0
27.28/27.34	c       175       346    340.81     53.83      6.33   1000000         0
28.59/28.65	c       169       253    348.32     55.46      6.28   1000000         0
29.88/29.95	c       165       286    343.34     62.74      5.47   1000000         0
31.18/31.25	c       171       406    334.85     54.66      6.13   1000000         0
32.48/32.55	c       157       405    337.75     52.08      6.48   1000000         0
33.78/33.84	c       177       336    328.05     50.08      6.55   1000000         0
35.08/35.14	c       185       311    340.24     49.32      6.90   1000000         0
36.38/36.44	c       178       315    338.18     58.09      5.82   1000000         0
37.68/37.74	c       176       284    339.00     54.33      6.24   1000000         0
38.98/39.04	c       196       317    346.50     54.70      6.33   1000000         0
40.28/40.34	c       162       242    335.64     54.58      6.15   1000000         0
41.58/41.64	c       169       372    337.82     60.77      5.56   1000000         0
42.88/42.94	c       166       313    342.97     50.64      6.77   1000000         0
44.18/44.24	c       171       315    338.49     58.69      5.77   1000000         0
45.48/45.54	c       195       324    354.77     63.49      5.59   1000000         0
46.78/46.84	c       171       411    342.63     59.80      5.73   1000000         0
48.08/48.14	c       167       366    334.41     56.17      5.95   1000000         0
49.38/49.43	c       145       346    327.55     55.08      5.95   1000000         0
50.68/50.73	c       166       287    328.20     57.36      5.72   1000000         0
51.97/52.03	c       171       337    336.89     58.90      5.72   1000000         0
53.27/53.33	c       183       336    338.91     62.36      5.43   1000000         0
54.57/54.63	c       148       349    338.69     58.79      5.76   1000000         0
55.87/55.93	c       197       332    344.47     52.59      6.55   1000000         0
57.18/57.23	c       187       314    343.77     52.93      6.49   1000000         0
58.47/58.53	c       194       236    351.66     59.44      5.92   1000000         0
59.77/59.83	c       175       285    342.33     54.02      6.34   1000000         0
61.07/61.14	c       205       408    340.23     57.03      5.97   1000000         0
62.37/62.44	c       172       395    347.07     55.13      6.30   1000000         0
63.68/63.74	c       189       417    343.34     51.07      6.72   1000000         0
64.97/65.04	c       194       381    348.35     54.78      6.36   1000000         0
66.27/66.34	c       160       310    332.82     56.46      5.89   1000000         0
67.57/67.64	c       161       396    351.51     60.26      5.83   1000000         0
68.87/68.94	c       183       470    344.83     52.20      6.61   1000000         0
70.17/70.23	c       179       363    336.09     53.92      6.23   1000000         0
71.48/71.53	c       158       345    341.58     56.61      6.03   1000000         0
72.77/72.83	c       154       340    339.27     57.83      5.87   1000000         0
74.07/74.13	c       164       280    338.26     55.06      6.14   1000000         0
75.37/75.43	c       191       348    338.30     58.87      5.75   1000000         0
76.67/76.73	c       197       354    351.53     51.74      6.79   1000000         0
77.98/78.03	c       171       352    345.93     56.95      6.07   1000000         0
79.27/79.34	c       199       345    352.36     57.85      6.09   1000000         0
80.57/80.64	c       176       388    343.69     52.91      6.50   1000000         0
81.87/81.94	c       166       339    340.04     57.03      5.96   1000000         0
83.17/83.24	c       166       443    336.54     60.25      5.59   1000000         0
84.47/84.54	c       195       271    351.53     52.54      6.69   1000000         0
85.77/85.84	c       146       291    333.42     49.76      6.70   1000000         0
87.06/87.14	c       170       362    338.85     57.24      5.92   1000000         0
88.36/88.44	c       145       347    341.51     58.91      5.80   1000000         0
89.66/89.74	c       177       378    341.16     53.05      6.43   1000000         0
90.96/91.04	c       199       419    351.52     55.73      6.31   1000000         0
92.27/92.34	c       147       337    343.61     59.14      5.81   1000000         0
93.56/93.64	c       190       302    340.87     55.79      6.11   1000000         0
94.86/94.93	c       163       401    328.92     53.26      6.18   1000000         0
96.16/96.23	c       148       264    337.49     55.08      6.13   1000000         0
97.46/97.53	c       174       328    346.44     57.26      6.05   1000000         0
98.76/98.84	c       176       290    342.42     52.85      6.48   1000000         0
100.07/100.14	c       177       375    339.69     55.57      6.11   1000000         0
101.36/101.43	c       156       296    338.35     56.71      5.97   1000000         0
102.66/102.73	c       190       380    340.03     57.23      5.94   1000000         0
103.96/104.03	c       177       331    348.25     47.51      7.33   1000000         0
105.26/105.33	c       161       289    341.19     55.35      6.16   1000000         0
106.57/106.63	c       157       282    329.34     59.16      5.57   1000000         0
107.86/107.93	c       166       252    339.01     57.77      5.87   1000000         0
109.16/109.23	c       168       355    340.46     55.88      6.09   1000000         0
110.46/110.53	c       163       361    333.69     55.10      6.06   1000000         0
111.76/111.82	c       179       306    337.36     51.90      6.50   1000000         0
113.06/113.12	c       192       327    332.06     59.04      5.62   1000000         0
114.37/114.42	c       179       312    344.13     52.89      6.51   1000000         0
115.66/115.72	c       185       283    342.89     56.18      6.10   1000000         0
116.96/117.02	c       157       355    332.30     56.92      5.84   1000000         0
118.26/118.31	c       160       227    333.08     51.04      6.53   1000000         0
119.56/119.61	c       180       321    339.07     53.07      6.39   1000000         0
120.86/120.91	c       165       299    338.68     51.00      6.64   1000000         0
122.16/122.20	c       148       353    329.58     55.15      5.98   1000000         0
123.46/123.51	c       186       296    344.72     55.67      6.19   1000000         0
124.76/124.80	c       140       298    332.37     55.42      6.00   1000000         0
126.06/126.10	c       152       340    334.51     52.44      6.38   1000000         0
127.36/127.40	c       189       302    342.54     51.28      6.68   1000000         0
128.56/128.70	c       156       338    345.99     54.55      6.34   1000000         0
129.95/130.00	c       160       404    342.97     58.76      5.84   1000000         0
131.25/131.30	c       177       318    346.51     57.42      6.03   1000000         0
132.55/132.60	c       191       253    346.94     53.33      6.51   1000000         0
133.85/133.90	c       180       372    344.96     55.10      6.26   1000000         0
135.16/135.21	c       179       450    333.08     52.08      6.40   1000000         0
136.45/136.51	c       160       332    338.21     58.30      5.80   1000000         0
137.75/137.81	c       169       347    339.71     59.65      5.69   1000000         0
139.05/139.11	c       171       314    342.65     63.32      5.41   1000000         0
140.35/140.41	c       171       371    346.65     55.44      6.25   1000000         0
141.65/141.71	c       185       281    345.23     54.04      6.39   1000000         0
142.96/143.01	c       169       290    337.97     57.25      5.90   1000000         0
144.25/144.31	c       178       302    335.33     55.08      6.09   1000000         0
145.55/145.62	c       163       348    349.63     54.69      6.39   1000000         0
146.85/146.92	c       171       409    338.12     56.04      6.03   1000000         0
148.15/148.22	c       172       307    335.62     52.81      6.35   1000000         0
149.46/149.52	c       182       318    346.76     56.62      6.12   1000000         0
150.75/150.82	c       167       431    338.64     58.12      5.83   1000000         0
152.05/152.12	c       139       301    335.54     53.53      6.27   1000000         0
153.35/153.41	c       159       461    334.18     57.11      5.85   1000000         0
154.65/154.71	c       153       314    340.96     52.77      6.46   1000000         0
155.95/156.01	c       175       388    341.55     57.99      5.89   1000000         0
157.25/157.31	c       190       290    347.44     55.75      6.23   1000000         0
158.55/158.60	c       178       291    337.56     52.64      6.41   1000000         0
159.85/159.90	c       168       320    340.12     55.34      6.15   1000000         0
161.15/161.20	c       166       354    338.94     62.97      5.38   1000000         0
162.45/162.50	c       179       339    336.60     58.43      5.76   1000000         0
163.65/163.79	c       175       327    332.29     49.83      6.67   1000000         0
164.95/165.09	c       169       422    333.12     54.07      6.16   1000000         0
166.24/166.39	c       185       326    345.60     56.42      6.13   1000000         0
167.55/167.68	c       171       362    337.72     53.94      6.26   1000000         0
168.84/168.98	c       159       253    336.33     58.84      5.72   1000000         0
170.15/170.28	c       198       414    344.53     61.45      5.61   1000000         0
171.45/171.58	c       173       343    339.31     55.57      6.11   1000000         0
172.74/172.88	c       178       217    338.80     54.09      6.26   1000000         0
174.04/174.17	c       170       351    342.79     53.13      6.45   1000000         0
175.34/175.47	c       162       247    343.73     59.19      5.81   1000000         0
176.64/176.77	c       163       316    344.50     48.37      7.12   1000000         0
177.94/178.07	c       140       359    345.67     67.20      5.14   1000000         0
179.25/179.37	c       181       314    341.38     54.51      6.26   1000000         0
180.54/180.67	c       164       285    327.80     52.09      6.29   1000000         0
181.84/181.97	c       175       365    343.26     53.63      6.40   1000000         0
183.14/183.27	c       175       309    343.16     61.73      5.56   1000000         0
184.44/184.57	c       182       319    339.84     54.90      6.19   1000000         0
185.75/185.87	c       186       341    329.44     48.13      6.84   1000000         0
187.04/187.17	c       160       329    345.20     57.42      6.01   1000000         0
188.34/188.47	c       125       259    347.73     54.96      6.33   1000000         0
189.64/189.77	c       167       240    336.58     57.24      5.88   1000000         0
190.94/191.07	c       184       342    345.59     55.26      6.25   1000000         0
192.24/192.37	c       188       276    342.76     52.88      6.48   1000000         0
193.55/193.67	c       139       404    339.21     53.41      6.35   1000000         0
194.84/194.97	c       173       307    345.03     59.22      5.83   1000000         0
196.14/196.27	c       167       359    347.03     56.45      6.15   1000000         0
197.44/197.57	c       177       307    341.77     56.90      6.01   1000000         0
198.74/198.87	c       160       295    330.71     56.41      5.86   1000000         0
200.04/200.16	c       163       472    337.86     61.23      5.52   1000000         0
201.34/201.46	c       182       298    342.92     56.54      6.07   1000000         0
202.64/202.76	c       159       347    336.71     55.85      6.03   1000000         0
203.94/204.06	c       173       329    340.73     58.38      5.84   1000000         0
205.23/205.36	c       172       270    337.92     59.85      5.65   1000000         0
206.53/206.66	c       162       319    341.77     56.97      6.00   1000000         0
207.84/207.96	c       177       308    341.47     52.52      6.50   1000000         0
209.13/209.26	c       175       354    338.42     52.78      6.41   1000000         0
210.43/210.56	c       177       368    334.31     53.50      6.25   1000000         0
211.73/211.86	c       190       304    341.93     56.80      6.02   1000000         0
213.03/213.16	c       185       278    344.63     56.90      6.06   1000000         0
214.34/214.46	c       190       325    338.87     53.94      6.28   1000000         0
215.63/215.75	c       166       344    338.12     53.97      6.27   1000000         0
216.93/217.05	c       197       368    342.36     49.88      6.86   1000000         0
218.23/218.35	c       182       333    344.56     49.22      7.00   1000000         0
219.53/219.65	c       167       321    342.75     55.86      6.14   1000000         0
220.83/220.95	c       160       350    340.76     61.61      5.53   1000000         0
222.14/222.25	c       182       267    346.81     54.89      6.32   1000000         0
223.43/223.55	c       175       339    337.86     52.06      6.49   1000000         0
224.73/224.85	c       196       260    349.49     55.95      6.25   1000000         0
226.03/226.15	c       156       303    345.69     59.36      5.82   1000000         0
227.33/227.45	c       157       303    341.67     59.52      5.74   1000000         0
228.64/228.75	c       151       336    339.16     53.87      6.30   1000000         0
229.93/230.05	c       146       390    325.49     56.20      5.79   1000000         0
231.23/231.35	c       155       412    330.96     53.60      6.17   1000000         0
232.53/232.65	c       170       423    342.99     59.96      5.72   1000000         0
233.83/233.94	c       186       319    342.33     53.94      6.35   1000000         0
235.13/235.24	c       188       462    335.60     52.68      6.37   1000000         0
236.43/236.54	c       167       250    337.82     57.41      5.88   1000000         0
237.73/237.84	c       189       373    338.13     54.06      6.26   1000000         0
239.02/239.14	c       189       273    338.77     53.59      6.32   1000000         0
240.32/240.44	c       192       333    352.36     57.18      6.16   1000000         0
241.62/241.74	c       163       220    329.83     61.74      5.34   1000000         0
242.93/243.03	c       172       290    331.28     59.47      5.57   1000000         0
244.22/244.33	c       189       341    346.50     51.65      6.71   1000000         0
245.52/245.63	c       164       298    345.07     61.05      5.65   1000000         0
246.82/246.93	c       171       461    342.33     52.32      6.54   1000000         0
248.12/248.24	c       166       359    349.46     54.74      6.38   1000000         0
249.42/249.54	c       195       345    344.79     51.01      6.76   1000000         0
250.73/250.84	c       181       306    339.97     58.26      5.83   1000000         0
252.02/252.15	c       177       372    336.86     51.46      6.55   1000000         0
253.32/253.45	c       175       316    332.34     56.04      5.93   1000000         0
254.62/254.75	c       159       346    338.80     60.79      5.57   1000000         0
255.92/256.05	c       177       368    338.60     59.52      5.69   1000000         0
257.23/257.35	c       184       444    346.93     57.99      5.98   1000000         0
258.52/258.65	c       189       354    341.85     50.92      6.71   1000000         0
259.82/259.95	c       169       399    340.56     53.64      6.35   1000000         0
261.12/261.25	c       190       341    343.48     51.15      6.71   1000000         0
262.42/262.55	c       184       391    345.59     54.04      6.40   1000000         0
263.72/263.85	c       193       382    348.44     54.15      6.43   1000000         0
265.02/265.15	c       174       334    341.03     54.98      6.20   1000000         0
266.31/266.45	c       175       226    331.91     58.52      5.67   1000000         0
267.61/267.75	c       156       366    336.69     57.56      5.85   1000000         0
268.91/269.05	c       146       382    346.44     60.30      5.74   1000000         0
270.21/270.35	c       185       343    349.23     57.75      6.05   1000000         0
271.52/271.64	c       185       294    326.90     50.96      6.42   1000000         0
272.81/272.94	c       151       316    334.52     56.72      5.90   1000000         0
274.11/274.24	c       171       437    345.74     55.07      6.28   1000000         0
275.41/275.54	c       172       323    346.63     57.00      6.08   1000000         0
276.71/276.84	c       159       262    342.93     62.83      5.46   1000000         0
278.01/278.14	c       177       373    352.69     58.01      6.08   1000000         0
279.32/279.44	c       179       281    350.98     53.27      6.59   1000000         0
280.61/280.74	c       133       362    338.67     55.58      6.09   1000000         0
281.91/282.04	c       179       326    353.80     50.24      7.04   1000000         0
283.21/283.34	c       190       346    340.92     51.46      6.62   1000000         0
284.51/284.65	c       172       301    353.41     57.78      6.12   1000000         0
285.82/285.95	c       165       343    351.51     61.71      5.70   1000000         0
287.11/287.24	c       166       390    335.05     54.07      6.20   1000000         0
288.41/288.54	c       188       253    340.18     51.72      6.58   1000000         0
289.71/289.84	c       172       346    332.87     53.23      6.25   1000000         0
291.01/291.14	c       174       294    347.86     58.58      5.94   1000000         0
292.31/292.45	c       157       275    346.96     56.73      6.12   1000000         0
293.62/293.75	c       159       448    332.14     55.77      5.96   1000000         0
294.91/295.05	c       169       359    331.90     59.04      5.62   1000000         0
296.21/296.35	c       171       290    336.35     57.14      5.89   1000000         0
297.51/297.65	c       178       337    349.25     64.63      5.40   1000000         0
298.81/298.96	c       162       218    347.04     60.45      5.74   1000000         0
300.11/300.25	c       182       322    342.67     51.35      6.67   1000000         0
301.41/301.55	c       179       290    340.16     56.43      6.03   1000000         0
302.71/302.85	c       189       273    337.37     57.50      5.87   1000000         0
304.01/304.15	c       161       323    343.80     55.47      6.20   1000000         0
305.31/305.45	c       201       285    345.67     56.97      6.07   1000000         0
306.61/306.75	c       157       291    343.74     58.47      5.88   1000000         0
307.91/308.04	c       175       381    335.84     57.57      5.83   1000000         0
309.20/309.34	c       206       371    348.35     51.23      6.80   1000000         0
310.50/310.64	c       182       308    348.22     56.76      6.13   1000000         0
311.80/311.94	c       177       386    345.74     60.61      5.70   1000000         0
313.10/313.24	c       181       344    342.63     51.35      6.67   1000000         0
314.41/314.54	c       187       391    340.19     56.18      6.06   1000000         0
315.70/315.84	c       163       279    329.01     52.83      6.23   1000000         0
317.00/317.14	c       190       381    351.75     57.08      6.16   1000000         0
318.30/318.44	c       159       256    340.32     50.75      6.71   1000000         0
319.60/319.74	c       191       406    342.84     55.67      6.16   1000000         0
320.90/321.04	c       157       390    342.01     53.90      6.35   1000000         0
322.21/322.34	c       199       389    339.98     48.15      7.06   1000000         0
323.50/323.64	c       167       244    343.50     54.65      6.29   1000000         0
324.80/324.94	c       166       321    345.24     58.42      5.91   1000000         0
326.10/326.24	c       180       352    347.29     57.99      5.99   1000000         0
327.40/327.54	c       178       270    346.07     56.33      6.14   1000000         0
328.71/328.84	c       192       309    343.87     57.58      5.97   1000000         0
330.00/330.14	c       175       383    324.33     54.50      5.95   1000000         0
331.30/331.43	c       145       287    346.34     54.89      6.31   1000000         0
332.60/332.73	c       188       349    338.81     53.61      6.32   1000000         0
333.90/334.04	c       169       346    342.75     54.29      6.31   1000000         0
335.20/335.33	c       159       435    334.29     52.36      6.38   1000000         0
336.50/336.63	c       161       399    338.84     58.77      5.77   1000000         0
337.80/337.93	c       163       317    340.84     60.62      5.62   1000000         0
339.10/339.23	c       186       377    354.35     64.26      5.51   1000000         0
340.40/340.53	c       175       427    333.34     51.19      6.51   1000000         0
341.70/341.83	c       147       419    340.79     57.53      5.92   1000000         0
343.00/343.12	c       180       276    346.12     50.97      6.79   1000000         0
344.30/344.42	c       174       349    335.73     59.39      5.65   1000000         0
345.59/345.73	c       202       227    343.90     53.78      6.40   1000000         0
346.89/347.03	c       192       310    342.20     47.72      7.17   1000000         0
348.19/348.33	c       177       451    336.13     57.61      5.83   1000000         0
349.49/349.63	c       183       322    334.74     48.32      6.93   1000000         0
350.80/350.93	c       173       370    331.20     50.07      6.61   1000000         0
352.09/352.23	c       154       359    342.00     60.72      5.63   1000000         0
353.39/353.52	c       145       334    340.90     56.70      6.01   1000000         0
354.69/354.82	c       190       324    337.71     51.26      6.59   1000000         0
355.99/356.12	c       175       306    338.10     51.85      6.52   1000000         0
357.30/357.42	c       172       246    343.82     56.93      6.04   1000000         0
358.59/358.72	c       157       253    335.30     56.44      5.94   1000000         0
359.89/360.02	c       169       333    340.43     62.00      5.49   1000000         0
361.19/361.32	c       189       287    338.08     55.91      6.05   1000000         0
362.49/362.62	c       170       303    344.77     59.28      5.82   1000000         0
363.79/363.93	c       184       347    343.31     57.85      5.93   1000000         0
365.10/365.23	c       178       413    353.60     61.73      5.73   1000000         0
366.39/366.53	c       189       269    342.33     56.82      6.03   1000000         0
367.69/367.83	c       180       395    338.85     57.57      5.89   1000000         0
368.99/369.13	c       163       443    337.87     53.24      6.35   1000000         0
370.29/370.43	c       136       399    338.45     53.75      6.30   1000000         0
371.59/371.73	c       167       281    343.65     52.58      6.54   1000000         0
372.89/373.03	c       174       421    341.96     56.57      6.04   1000000         0
374.19/374.33	c       186       279    337.00     52.65      6.40   1000000         0
375.49/375.62	c       184       261    339.02     54.86      6.18   1000000         0
376.79/376.93	c       163       358    343.50     52.19      6.58   1000000         0
378.09/378.23	c       187       396    343.90     54.32      6.33   1000000         0
379.39/379.53	c       185       278    343.49     56.14      6.12   1000000         0
380.69/380.83	c       166       246    340.46     55.72      6.11   1000000         0
381.98/382.13	c       160       411    337.44     60.59      5.57   1000000         0
383.29/383.44	c       194       288    353.89     55.40      6.39   1000000         0
384.58/384.73	c       181       428    339.84     60.06      5.66   1000000         0
385.89/386.04	c       169       298    343.31     47.21      7.27   1000000         0
387.18/387.34	c       166       280    332.35     54.06      6.15   1000000         0
388.48/388.64	c       141       380    341.24     55.83      6.11   1000000         0
389.78/389.94	c       179       296    338.74     54.60      6.20   1000000         0
391.08/391.25	c       167       369    350.16     54.47      6.43   1000000         0
392.38/392.55	c       180       406    346.39     54.89      6.31   1000000         0
393.68/393.84	c       181       407    331.87     47.42      7.00   1000000         0
394.98/395.14	c       170       280    334.78     61.11      5.48   1000000         0
396.28/396.44	c       155       439    346.27     55.29      6.26   1000000         0
397.58/397.74	c       179       312    339.69     56.54      6.01   1000000         0
398.88/399.04	c       133       350    339.69     62.34      5.45   1000000         0
400.18/400.34	c       176       283    333.44     48.56      6.87   1000000         0
401.48/401.64	c       177       373    352.08     55.36      6.36   1000000         0
402.78/402.94	c       192       322    338.36     58.99      5.74   1000000         0
404.08/404.24	c       174       381    345.24     55.48      6.22   1000000         0
405.38/405.54	c       180       327    338.60     55.72      6.08   1000000         0
406.68/406.84	c       146       292    346.98     53.01      6.55   1000000         0
407.98/408.14	c       135       392    342.67     48.45      7.07   1000000         0
409.27/409.44	c       169       433    344.80     58.75      5.87   1000000         0
410.57/410.74	c       193       355    351.37     57.99      6.06   1000000         0
411.87/412.04	c       188       295    342.90     54.44      6.30   1000000         0
413.17/413.33	c       170       337    335.82     53.68      6.26   1000000         0
414.48/414.63	c       171       241    339.09     64.89      5.23   1000000         0
415.77/415.93	c       166       227    346.92     51.89      6.69   1000000         0
417.07/417.23	c       172       302    342.76     55.63      6.16   1000000         0
418.37/418.53	c       168       260    344.18     54.90      6.27   1000000         0
419.67/419.83	c       178       314    342.17     57.34      5.97   1000000         0
420.97/421.13	c       158       403    341.60     58.79      5.81   1000000         0
422.28/422.43	c       166       388    343.14     56.89      6.03   1000000         0
423.57/423.74	c       179       355    344.63     62.91      5.48   1000000         0
424.87/425.03	c       158       358    339.01     55.95      6.06   1000000         0
426.17/426.33	c       172       271    342.54     55.74      6.15   1000000         0
427.47/427.64	c       188       314    341.01     50.93      6.70   1000000         0
428.78/428.93	c       181       241    331.78     49.95      6.64   1000000         0
430.07/430.23	c       170       362    345.92     53.40      6.48   1000000         0
431.37/431.53	c       168       263    347.55     56.35      6.17   1000000         0
432.67/432.83	c       173       316    344.27     54.37      6.33   1000000         0
433.97/434.13	c       176       310    340.89     51.57      6.61   1000000         0
435.27/435.43	c       127       355    333.25     56.31      5.92   1000000         0
436.57/436.72	c       179       310    333.69     55.56      6.01   1000000         0
437.87/438.02	c       177       347    350.51     61.44      5.70   1000000         0
439.17/439.33	c       182       272    345.93     60.79      5.69   1000000         0
440.47/440.62	c       176       290    339.52     55.77      6.09   1000000         0
441.77/441.92	c       174       324    333.09     50.99      6.53   1000000         0
443.07/443.22	c       164       369    335.94     47.02      7.14   1000000         0
444.37/444.52	c       197       341    338.39     58.44      5.79   1000000         0
445.67/445.81	c       186       292    341.23     49.93      6.83   1000000         0
446.96/447.11	c       160       251    340.63     56.53      6.03   1000000         0
448.26/448.41	c       136       403    340.36     58.24      5.84   1000000         0
449.56/449.71	c       197       403    343.38     49.89      6.88   1000000         0
450.87/451.01	c       175       355    340.59     52.77      6.45   1000000         0
452.16/452.31	c       192       333    351.06     60.92      5.76   1000000         0
453.46/453.61	c       166       376    337.41     46.11      7.32   1000000         0
454.76/454.91	c       168       278    339.92     53.31      6.38   1000000         0
456.06/456.21	c       179       318    345.45     59.33      5.82   1000000         0
457.37/457.51	c       171       284    333.56     60.66      5.50   1000000         0
458.66/458.81	c       184       289    347.26     51.62      6.73   1000000         0
459.96/460.11	c       182       315    331.44     55.23      6.00   1000000         0
461.26/461.40	c       181       397    337.84     52.39      6.45   1000000         0
462.56/462.71	c       198       320    349.95     47.91      7.30   1000000         0
463.86/464.01	c       165       285    348.71     52.09      6.69   1000000         0
465.17/465.32	c       177       346    352.93     56.34      6.26   1000000         0
466.46/466.62	c       198       326    346.64     56.23      6.16   1000000         0
467.76/467.92	c       134       311    334.16     58.33      5.73   1000000         0
469.06/469.21	c       171       411    336.33     54.05      6.22   1000000         0
470.36/470.51	c       185       322    342.45     54.05      6.34   1000000         0
471.66/471.82	c       173       367    340.73     54.09      6.30   1000000         0
472.96/473.12	c       159       423    342.34     53.43      6.41   1000000         0
474.26/474.41	c       157       315    340.51     52.11      6.53   1000000         0
475.56/475.72	c       178       298    343.27     55.45      6.19   1000000         0
476.86/477.02	c       190       332    345.34     56.77      6.08   1000000         0
478.16/478.32	c       150       327    337.50     56.31      5.99   1000000         0
479.46/479.62	c       171       326    337.41     50.83      6.64   1000000         0
480.76/480.91	c       182       294    350.54     60.20      5.82   1000000         0
482.06/482.21	c       201       402    343.43     52.78      6.51   1000000         0
483.36/483.51	c       185       410    341.19     54.13      6.30   1000000         0
484.66/484.81	c       204       332    344.72     49.37      6.98   1000000         0
485.96/486.11	c       159       381    340.89     55.73      6.12   1000000         0
487.25/487.41	c       175       381    342.63     58.65      5.84   1000000         0
488.55/488.71	c       160       392    319.14     51.42      6.21   1000000         0
489.85/490.01	c       182       311    342.43     54.77      6.25   1000000         0
491.15/491.31	c       155       323    340.65     63.96      5.33   1000000         0
492.45/492.61	c       186       369    341.64     55.12      6.20   1000000         0
493.76/493.90	c       174       357    340.36     59.08      5.76   1000000         0
495.05/495.20	c       187       341    343.90     57.25      6.01   1000000         0
496.35/496.50	c       167       237    342.15     59.43      5.76   1000000         0
497.65/497.80	c       156       300    338.59     55.06      6.15   1000000         0
498.95/499.10	c       179       336    337.79     54.92      6.15   1000000         0
500.26/500.40	c       182       339    340.18     55.58      6.12   1000000         0
501.55/501.70	c       175       277    340.29     55.21      6.16   1000000         0
502.85/503.00	c       168       347    337.27     55.89      6.03   1000000         0
504.15/504.30	c       179       330    349.28     54.07      6.46   1000000         0
505.45/505.60	c       177       334    337.25     55.13      6.12   1000000         0
506.75/506.91	c       171       372    333.99     55.40      6.03   1000000         0
508.05/508.20	c       151       387    338.68     61.41      5.51   1000000         0
509.35/509.51	c       192       409    342.52     54.35      6.30   1000000         0
510.65/510.80	c       175       303    336.08     61.81      5.44   1000000         0
511.95/512.10	c       198       393    349.80     54.40      6.43   1000000         0
513.25/513.40	c       171       349    340.27     61.19      5.56   1000000         0
514.45/514.69	c       181       260    329.04     57.25      5.75   1000000         0
515.75/515.99	c       185       369    340.89     51.27      6.65   1000000         0
517.05/517.29	c       188       371    346.06     48.83      7.09   1000000         0
518.35/518.60	c       182       333    339.82     58.68      5.79   1000000         0
519.65/519.89	c       185       372    337.77     53.85      6.27   1000000         0
520.95/521.19	c       185       428    342.81     52.76      6.50   1000000         0
522.25/522.49	c       196       331    349.27     55.37      6.31   1000000         0
523.54/523.79	c       153       293    332.91     54.15      6.15   1000000         0
524.84/525.09	c       132       237    337.47     62.15      5.43   1000000         0
526.14/526.39	c       196       376    350.52     57.27      6.12   1000000         0
527.54/527.70	c       188       324    347.12     59.51      5.83   1000000         0
528.85/529.00	c       201       362    339.70     52.69      6.45   1000000         0
530.14/530.30	c       186       307    341.42     55.63      6.14   1000000         0
531.44/531.60	c       190       375    347.55     54.43      6.38   1000000         0
532.74/532.90	c       180       330    335.53     51.49      6.52   1000000         0
533.94/534.19	c       183       344    335.09     50.49      6.64   1000000         0
535.34/535.50	c       177       363    342.94     57.19      6.00   1000000         0
536.55/536.80	c       178       265    346.34     52.11      6.65   1000000         0
537.84/538.09	c       165       385    334.55     54.53      6.13   1000000         0
539.14/539.40	c       175       397    340.34     49.09      6.93   1000000         0
540.54/540.70	c       201       418    342.53     54.86      6.24   1000000         0
541.84/542.00	c       169       246    343.49     54.73      6.28   1000000         0
543.15/543.30	c       165       264    341.77     58.57      5.84   1000000         0
544.44/544.60	c       177       331    346.51     52.76      6.57   1000000         0
545.74/545.90	c       177       335    335.06     58.10      5.77   1000000         0
547.04/547.21	c       153       371    345.35     62.49      5.53   1000000         0
548.34/548.51	c       159       367    346.42     52.57      6.59   1000000         0
549.64/549.80	c       149       334    338.18     56.18      6.02   1000000         0
550.84/551.10	c       195       337    339.57     53.56      6.34   1000000         0
552.24/552.40	c       158       414    334.85     62.54      5.35   1000000         0
553.54/553.70	c       164       340    335.08     56.58      5.92   1000000         0
554.84/555.00	c       153       360    346.11     57.61      6.01   1000000         0
556.13/556.30	c       188       259    346.03     60.36      5.73   1000000         0
557.44/557.60	c       178       322    345.27     53.08      6.50   1000000         0
558.64/558.90	c       174       403    332.25     51.12      6.50   1000000         0
559.93/560.19	c       141       405    334.86     57.64      5.81   1000000         0
561.23/561.49	c       164       266    332.21     48.85      6.80   1000000         0
562.53/562.79	c       184       479    345.52     54.19      6.38   1000000         0
563.83/564.09	c       165       312    344.43     59.00      5.84   1000000         0
565.14/565.39	c       182       353    337.40     51.50      6.55   1000000         0
566.43/566.69	c       186       412    351.08     56.75      6.19   1000000         0
567.73/567.99	c       168       399    340.43     58.75      5.80   1000000         0
569.03/569.29	c       207       315    338.61     46.30      7.31   1000000         0
570.33/570.58	c       159       387    338.52     49.95      6.78   1000000         0
571.63/571.88	c       185       323    345.93     50.83      6.81   1000000         0
572.94/573.18	c       175       373    339.76     56.64      6.00   1000000         0
574.23/574.48	c       175       346    334.40     54.34      6.15   1000000         0
575.53/575.78	c       188       314    341.10     50.13      6.80   1000000         0
576.83/577.07	c       164       317    338.30     57.20      5.91   1000000         0
578.13/578.37	c       156       279    340.81     55.46      6.15   1000000         0
579.44/579.67	c       181       372    336.81     55.26      6.10   1000000         0
580.73/580.97	c       179       403    344.61     57.88      5.95   1000000         0
582.03/582.27	c       172       330    340.47     55.34      6.15   1000000         0
583.33/583.56	c       185       399    343.56     55.16      6.23   1000000         0
584.63/584.86	c       175       427    338.34     55.17      6.13   1000000         0
585.93/586.16	c       187       447    338.61     60.05      5.64   1000000         0
587.23/587.46	c       199       327    353.72     62.72      5.64   1000000         0
588.53/588.76	c       166       351    343.26     59.68      5.75   1000000         0
589.83/590.07	c       193       363    351.26     56.20      6.25   1000000         0
591.13/591.36	c       201       340    343.62     52.53      6.54   1000000         0
592.42/592.67	c       182       317    341.67     51.56      6.63   1000000         0
593.73/593.97	c       159       264    344.89     55.66      6.20   1000000         0
595.02/595.27	c       188       384    345.46     51.53      6.70   1000000         0
596.32/596.57	c       148       316    342.26     55.17      6.20   1000000         0
597.62/597.87	c       187       302    345.77     59.65      5.80   1000000         0
598.92/599.17	c       190       407    353.46     56.28      6.28   1000000         0
600.22/600.48	c       160       271    342.15     59.30      5.77   1000000         0
601.53/601.78	c       187       315    348.42     56.80      6.13   1000000         0
602.82/603.07	c       183       293    342.40     56.97      6.01   1000000         0
604.12/604.38	c       201       316    352.21     55.80      6.31   1000000         0
605.42/605.68	c       175       441    342.14     58.61      5.84   1000000         0
606.72/606.98	c       160       341    325.74     52.01      6.26   1000000         0
608.03/608.28	c       166       270    332.95     55.48      6.00   1000000         0
609.32/609.58	c       181       280    342.91     56.75      6.04   1000000         0
610.62/610.88	c       161       331    335.61     55.37      6.06   1000000         0
611.92/612.18	c       179       389    348.00     56.69      6.14   1000000         0
613.22/613.47	c       202       308    338.96     51.89      6.53   1000000         0
614.52/614.77	c       153       404    335.75     57.69      5.82   1000000         0
615.83/616.07	c       184       324    340.07     52.51      6.48   1000000         0
617.12/617.37	c       166       372    343.61     55.46      6.20   1000000         0
618.42/618.67	c       169       355    334.18     53.07      6.30   1000000         0
619.72/619.97	c       177       354    350.39     52.79      6.64   1000000         0
621.02/621.26	c       175       287    340.63     54.27      6.28   1000000         0
622.33/622.56	c       196       261    341.79     51.48      6.64   1000000         0
623.62/623.86	c       189       358    338.91     57.47      5.90   1000000         0
624.92/625.16	c       159       484    339.59     51.28      6.62   1000000         0
626.22/626.46	c       172       294    342.60     60.12      5.70   1000000         0
627.52/627.76	c       160       319    340.65     57.60      5.91   1000000         0
628.82/629.06	c       182       274    342.60     51.83      6.61   1000000         0
630.13/630.36	c       147       307    333.34     56.15      5.94   1000000         0
631.42/631.66	c       136       398    341.69     54.13      6.31   1000000         0
632.72/632.96	c       164       332    348.92     56.81      6.14   1000000         0
634.02/634.26	c       172       335    348.74     50.81      6.86   1000000         0
635.32/635.56	c       169       284    345.11     55.72      6.19   1000000         0
636.63/636.86	c       169       411    335.38     59.73      5.62   1000000         0
637.92/638.15	c       176       361    340.12     56.87      5.98   1000000         0
639.22/639.45	c       183       317    352.03     53.91      6.53   1000000         0
640.52/640.75	c       196       299    349.40     51.43      6.79   1000000         0
641.82/642.05	c       177       324    332.14     49.00      6.78   1000000         0
643.12/643.35	c       162       413    338.50     51.75      6.54   1000000         0
644.43/644.66	c       210       385    349.90     51.77      6.76   1000000         0
645.72/645.95	c       166       407    349.45     60.17      5.81   1000000         0
647.02/647.25	c       174       280    333.63     54.54      6.12   1000000         0
648.32/648.55	c       164       422    334.85     51.50      6.50   1000000         0
649.62/649.84	c       164       340    345.80     56.20      6.15   1000000         0
650.93/651.14	c       174       382    345.52     51.31      6.73   1000000         0
652.22/652.44	c       172       319    339.73     55.71      6.10   1000000         0
653.52/653.75	c       190       322    343.13     49.59      6.92   1000000         0
654.82/655.05	c       190       321    350.26     59.78      5.86   1000000         0
656.12/656.34	c       168       309    333.28     52.79      6.31   1000000         0
657.42/657.65	c       176       267    353.44     54.11      6.53   1000000         0
658.72/658.95	c       166       266    336.85     55.90      6.03   1000000         0
660.02/660.25	c       180       320    347.69     57.28      6.07   1000000         0
661.32/661.54	c       142       328    336.73     48.82      6.90   1000000         0
662.62/662.85	c       172       294    342.72     58.06      5.90   1000000         0
663.92/664.14	c       190       376    336.03     52.31      6.42   1000000         0
665.22/665.44	c       190       375    340.82     55.48      6.14   1000000         0
666.52/666.75	c       156       379    349.91     51.10      6.85   1000000         0
667.81/668.04	c       185       271    332.55     52.92      6.28   1000000         0
669.11/669.35	c       186       404    343.78     54.88      6.26   1000000         0
670.41/670.65	c       174       329    344.61     59.64      5.78   1000000         0
671.71/671.95	c       177       309    340.84     49.17      6.93   1000000         0
673.02/673.25	c       160       371    334.51     57.15      5.85   1000000         0
674.31/674.54	c       176       270    339.78     52.57      6.46   1000000         0
675.61/675.85	c       183       320    345.54     51.11      6.76   1000000         0
676.91/677.15	c       180       335    350.87     54.17      6.48   1000000         0
678.21/678.45	c       170       345    340.68     55.32      6.16   1000000         0
679.52/679.75	c       163       305    333.20     54.50      6.11   1000000         0
680.81/681.05	c       182       326    347.79     58.80      5.91   1000000         0
682.11/682.35	c       179       320    341.38     59.10      5.78   1000000         0
683.41/683.65	c       175       250    342.40     55.42      6.18   1000000         0
684.71/684.96	c       190       399    349.92     56.78      6.16   1000000         0
686.01/686.26	c       205       276    355.35     53.43      6.65   1000000         0
687.32/687.56	c       173       411    339.27     56.46      6.01   1000000         0
688.61/688.86	c       165       345    346.79     53.20      6.52   1000000         0
689.91/690.16	c       185       254    345.75     58.73      5.89   1000000         0
691.21/691.46	c       154       344    343.86     52.86      6.50   1000000         0
692.51/692.76	c       187       284    348.57     56.58      6.16   1000000         0
693.81/694.06	c       176       441    340.16     58.38      5.83   1000000         0
695.11/695.36	c       156       404    342.99     54.15      6.33   1000000         0
696.41/696.66	c       167       279    338.30     59.11      5.72   1000000         0
697.71/697.96	c       175       310    337.81     54.30      6.22   1000000         0
699.01/699.26	c       158       383    344.28     54.58      6.31   1000000         0
700.31/700.57	c       184       427    341.26     58.48      5.84   1000000         0
701.61/701.87	c       175       350    339.19     59.81      5.67   1000000         0
702.91/703.17	c       171       307    354.49     55.23      6.42   1000000         0
704.21/704.46	c       169       297    338.45     59.59      5.68   1000000         0
705.50/705.77	c       186       357    344.58     58.39      5.90   1000000         0
706.80/707.07	c       182       272    342.39     56.06      6.11   1000000         0
708.11/708.36	c       134       422    325.85     52.25      6.24   1000000         0
709.40/709.66	c       168       435    343.07     56.57      6.06   1000000         0
710.70/710.96	c       150       437    346.05     57.69      6.00   1000000         0
712.00/712.26	c       201       397    352.15     53.05      6.64   1000000         0
713.30/713.56	c       171       367    349.99     56.61      6.18   1000000         0
714.60/714.86	c       164       258    340.86     55.25      6.17   1000000         0
715.91/716.16	c       187       353    340.96     53.95      6.32   1000000         0
717.20/717.46	c       143       363    342.81     56.64      6.05   1000000         0
718.50/718.77	c       182       404    355.95     60.63      5.87   1000000         0
719.80/720.07	c       169       375    346.51     52.34      6.62   1000000         0
721.10/721.37	c       133       322    344.11     49.97      6.89   1000000         0
722.41/722.67	c       176       449    333.61     61.25      5.45   1000000         0
723.70/723.96	c       194       395    337.37     50.17      6.72   1000000         0
725.00/725.26	c       169       356    332.68     57.49      5.79   1000000         0
726.30/726.56	c       185       338    340.84     58.36      5.84   1000000         0
727.60/727.87	c       173       272    344.80     55.41      6.22   1000000         0
728.90/729.17	c       161       370    343.23     56.56      6.07   1000000         0
730.21/730.48	c       183       346    336.53     58.23      5.78   1000000         0
731.50/731.78	c       184       274    352.97     58.85      6.00   1000000         0
732.80/733.08	c       206       282    344.84     50.05      6.89   1000000         0
734.10/734.38	c       176       243    332.41     55.05      6.04   1000000         0
735.40/735.68	c       167       262    344.41     62.21      5.54   1000000         0
736.70/736.98	c       140       390    340.69     60.00      5.68   1000000         0
738.00/738.28	c       161       340    342.09     53.91      6.35   1000000         0
739.30/739.57	c       163       361    336.80     57.28      5.88   1000000         0
740.60/740.88	c       148       302    348.32     60.27      5.78   1000000         0
741.90/742.18	c       186       324    352.68     54.32      6.49   1000000         0
743.20/743.48	c       169       336    338.41     55.44      6.10   1000000         0
744.50/744.77	c       180       384    338.34     57.11      5.92   1000000         0
745.79/746.08	c       178       307    346.16     57.59      6.01   1000000         0
747.09/747.38	c       160       364    342.91     57.31      5.98   1000000         0
748.39/748.68	c       143       284    339.45     56.76      5.98   1000000         0
749.69/749.97	c       170       267    341.54     53.95      6.33   1000000         0
751.00/751.27	c       181       427    352.03     58.78      5.99   1000000         0
752.29/752.57	c       159       291    339.08     51.62      6.57   1000000         0
753.59/753.87	c       178       323    336.50     53.58      6.28   1000000         0
754.89/755.17	c       183       305    343.51     51.50      6.67   1000000         0
756.19/756.46	c       168       340    328.04     51.46      6.38   1000000         0
757.49/757.77	c       158       345    343.68     50.95      6.75   1000000         0
758.80/759.06	c       157       322    345.62     58.71      5.89   1000000         0
760.09/760.36	c       183       355    344.61     55.58      6.20   1000000         0
761.39/761.67	c       185       334    345.36     53.50      6.46   1000000         0
762.69/762.96	c       161       295    338.83     55.03      6.16   1000000         0
763.99/764.26	c       166       398    334.40     51.84      6.45   1000000         0
765.30/765.55	c       178       371    333.65     53.84      6.20   1000000         0
766.59/766.85	c       186       332    339.06     53.96      6.28   1000000         0
767.89/768.15	c       162       417    341.27     54.58      6.25   1000000         0
769.19/769.45	c       179       290    343.03     54.49      6.30   1000000         0
770.49/770.75	c       154       316    349.21     58.33      5.99   1000000         0
771.79/772.06	c       191       365    348.27     58.23      5.98   1000000         0
773.10/773.35	c       164       366    321.96     55.41      5.81   1000000         0
774.39/774.65	c       180       378    340.91     53.05      6.43   1000000         0
775.69/775.95	c       167       315    341.36     54.66      6.25   1000000         0
776.99/777.25	c       178       296    332.19     60.01      5.54   1000000         0
778.29/778.54	c       172       325    339.68     54.58      6.22   1000000         0
779.59/779.85	c       179       442    342.50     58.11      5.89   1000000         0
780.89/781.15	c       199       341    345.24     54.38      6.35   1000000         0
782.19/782.45	c       179       341    347.07     54.53      6.36   1000000         0
783.49/783.74	c       154       348    338.29     59.26      5.71   1000000         0
784.78/785.05	c       172       435    346.43     53.44      6.48   1000000         0
786.08/786.34	c       190       331    331.17     52.94      6.26   1000000         0
787.39/787.64	c       132       354    345.69     55.36      6.24   1000000         0
788.68/788.94	c       176       294    338.20     55.81      6.06   1000000         0
789.98/790.23	c       165       339    339.12     57.27      5.92   1000000         0
791.28/791.53	c       182       259    343.14     50.77      6.76   1000000         0
792.58/792.83	c       195       246    349.97     54.06      6.47   1000000         0
793.89/794.13	c       173       288    335.37     59.77      5.61   1000000         0
795.18/795.43	c       149       282    343.79     54.69      6.29   1000000         0
796.48/796.73	c       192       334    342.92     48.93      7.01   1000000         0
797.78/798.03	c       193       345    341.03     49.85      6.84   1000000         0
799.08/799.34	c       162       341    343.72     55.91      6.15   1000000         0
800.38/800.63	c       177       308    337.99     53.12      6.36   1000000         0
801.69/801.93	c       180       292    346.45     59.36      5.84   1000000         0
802.98/803.23	c       171       357    350.45     56.55      6.20   1000000         0
804.28/804.53	c       181       320    336.88     54.00      6.24   1000000         0
805.58/805.83	c       171       299    343.85     61.22      5.62   1000000         0
806.88/807.13	c       160       326    331.30     57.05      5.81   1000000         0
808.19/808.42	c       161       289    339.74     61.44      5.53   1000000         0
809.48/809.72	c       175       363    342.20     59.02      5.80   1000000         0
810.78/811.02	c       153       366    329.23     53.90      6.11   1000000         0
812.08/812.32	c       167       446    345.50     59.42      5.81   1000000         0
813.38/813.62	c       191       372    347.86     55.94      6.22   1000000         0
814.68/814.91	c       180       325    328.44     57.07      5.76   1000000         0
815.98/816.21	c       165       276    346.12     49.01      7.06   1000000         0
817.28/817.52	c       153       343    343.26     50.81      6.76   1000000         0
818.58/818.82	c       166       363    339.78     59.72      5.69   1000000         0
819.88/820.12	c       168       265    342.57     55.39      6.19   1000000         0
821.18/821.42	c       179       308    352.95     58.80      6.00   1000000         0
822.48/822.72	c       173       346    339.77     60.61      5.61   1000000         0
823.77/824.02	c       181       426    346.27     52.43      6.60   1000000         0
825.07/825.32	c       174       267    335.95     51.78      6.49   1000000         0
826.37/826.63	c       192       327    359.75     58.49      6.15   1000000         0
827.67/827.92	c       172       377    336.10     59.89      5.61   1000000         0
828.97/829.23	c       182       370    340.85     51.68      6.60   1000000         0
830.28/830.52	c       173       283    337.53     53.07      6.36   1000000         0
831.57/831.82	c       152       345    344.33     56.50      6.09   1000000         0
832.87/833.12	c       180       323    342.53     59.58      5.75   1000000         0
834.17/834.42	c       171       292    342.63     57.58      5.95   1000000         0
835.47/835.72	c       177       355    336.78     53.96      6.24   1000000         0
836.78/837.01	c       121       282    342.28     56.65      6.04   1000000         0
838.07/838.31	c       165       427    343.08     53.61      6.40   1000000         0
839.37/839.61	c       168       287    334.85     53.78      6.23   1000000         0
840.67/840.91	c       173       377    341.35     61.30      5.57   1000000         0
841.97/842.21	c       158       355    330.44     56.33      5.87   1000000         0
843.27/843.51	c       166       314    345.44     60.35      5.72   1000000         0
844.58/844.81	c       186       350    343.28     56.84      6.04   1000000         0
845.87/846.11	c       172       255    341.41     58.69      5.82   1000000         0
847.17/847.41	c       196       310    346.51     55.54      6.24   1000000         0
848.47/848.71	c       179       290    339.86     56.60      6.00   1000000         0
849.77/850.01	c       189       387    347.69     55.82      6.23   1000000         0
851.07/851.31	c       161       331    327.52     53.89      6.08   1000000         0
852.37/852.61	c       173       345    334.87     58.27      5.75   1000000         0
853.67/853.91	c       183       324    346.47     51.25      6.76   1000000         0
854.97/855.21	c       169       261    340.15     55.71      6.11   1000000         0
856.27/856.51	c       156       230    349.51     60.29      5.80   1000000         0
857.57/857.81	c       171       362    341.89     56.69      6.03   1000000         0
858.87/859.11	c       165       361    337.29     57.41      5.87   1000000         0
860.17/860.40	c       153       340    337.55     54.49      6.19   1000000         0
861.47/861.70	c       183       365    333.97     59.96      5.57   1000000         0
862.77/863.00	c       173       341    340.44     59.86      5.69   1000000         0
864.06/864.30	c       173       430    342.39     55.22      6.20   1000000         0
865.37/865.60	c       183       356    343.14     55.22      6.21   1000000         0
866.66/866.90	c       136       382    330.59     54.72      6.04   1000000         0
867.96/868.20	c       187       296    341.87     54.04      6.33   1000000         0
869.26/869.50	c       184       358    343.50     55.18      6.22   1000000         0
870.46/870.79	c       178       409    329.57     50.31      6.55   1000000         0
871.76/872.09	c       174       237    345.80     57.51      6.01   1000000         0
873.07/873.39	c       171       306    338.25     53.01      6.38   1000000         0
874.36/874.68	c       157       292    343.33     58.11      5.91   1000000         0
875.66/875.98	c       156       335    338.16     57.67      5.86   1000000         0
876.96/877.29	c       169       438    346.48     54.64      6.34   1000000         0
878.26/878.59	c       191       314    337.76     47.21      7.16   1000000         0
879.56/879.89	c       171       321    346.03     61.85      5.59   1000000         0
880.87/881.19	c       172       282    350.19     54.54      6.42   1000000         0
882.16/882.48	c       170       385    339.43     53.46      6.35   1000000         0
883.46/883.78	c       140       284    329.60     57.98      5.68   1000000         0
884.76/885.08	c       184       386    343.65     56.10      6.13   1000000         0
886.06/886.38	c       172       328    341.75     54.21      6.30   1000000         0
887.37/887.68	c       182       377    357.11     54.76      6.52   1000000         0
888.66/888.98	c       166       388    340.85     57.74      5.90   1000000         0
889.96/890.28	c       170       301    339.21     53.36      6.36   1000000         0
891.26/891.58	c       191       321    343.37     51.17      6.71   1000000         0
892.56/892.88	c       199       307    339.21     52.77      6.43   1000000         0
893.86/894.18	c       150       373    340.27     55.32      6.15   1000000         0
895.16/895.48	c       181       417    346.40     67.99      5.09   1000000         0
896.46/896.78	c       180       392    350.85     57.61      6.09   1000000         0
897.76/898.08	c       179       284    349.02     54.45      6.41   1000000         0
899.06/899.39	c       195       321    349.12     50.07      6.97   1000000         0
900.36/900.68	c       165       265    338.12     57.58      5.87   1000000         0
901.66/901.98	c       156       335    348.68     54.90      6.35   1000000         0
902.96/903.28	c       163       333    340.42     53.35      6.38   1000000         0
904.26/904.59	c       178       316    342.50     51.76      6.62   1000000         0
905.55/905.88	c       156       235    330.15     55.07      6.00   1000000         0
906.85/907.18	c       138       298    337.94     59.21      5.71   1000000         0
908.15/908.48	c       123       322    339.25     56.51      6.00   1000000         0
909.45/909.78	c       180       317    334.14     52.72      6.34   1000000         0
910.75/911.08	c       180       341    351.65     54.31      6.48   1000000         0
912.05/912.38	c       180       291    336.55     52.97      6.35   1000000         0
913.35/913.68	c       176       286    345.35     54.81      6.30   1000000         0
914.65/914.98	c       181       405    352.03     56.22      6.26   1000000         0
915.95/916.28	c       123       327    323.73     51.67      6.27   1000000         0
917.25/917.57	c       183       340    344.40     57.61      5.98   1000000         0
918.55/918.88	c       164       352    342.58     53.28      6.43   1000000         0
919.85/920.18	c       181       407    346.37     51.41      6.74   1000000         0
921.14/921.48	c       171       375    340.02     58.56      5.81   1000000         0
922.44/922.79	c       172       298    346.19     58.64      5.90   1000000         0
923.75/924.09	c       167       302    347.32     51.17      6.79   1000000         0
925.04/925.39	c       169       348    354.62     56.81      6.24   1000000         0
926.34/926.69	c       184       218    347.34     64.23      5.41   1000000         0
927.64/927.99	c       199       333    341.67     54.28      6.29   1000000         0
928.94/929.29	c       174       321    336.52     56.80      5.92   1000000         0
930.25/930.59	c       168       264    335.54     52.08      6.44   1000000         0
931.54/931.89	c       196       295    337.12     51.52      6.54   1000000         0
932.84/933.19	c       190       318    335.94     54.05      6.21   1000000         0
934.14/934.49	c       172       314    337.20     54.33      6.21   1000000         0
935.44/935.79	c       143       275    337.89     60.39      5.60   1000000         0
936.74/937.09	c       194       363    342.45     49.98      6.85   1000000         0
938.05/938.39	c       168       201    344.68     52.88      6.52   1000000         0
939.34/939.69	c       167       314    351.38     54.65      6.43   1000000         0
940.64/940.99	c       199       247    343.84     52.77      6.52   1000000         0
942.04/942.30	c       166       358    339.51     63.98      5.31   1000000         0
943.24/943.59	c       166       359    340.85     51.64      6.60   1000000         0
944.55/944.89	c       195       289    344.13     59.12      5.82   1000000         0
945.94/946.20	c       173       337    342.43     55.63      6.16   1000000         0
947.14/947.49	c       169       274    337.21     60.39      5.58   1000000         0
948.44/948.79	c       173       360    331.37     55.59      5.96   1000000         0
949.74/950.09	c       154       415    341.03     53.51      6.37   1000000         0
951.04/951.39	c       152       376    336.78     50.30      6.70   1000000         0
952.34/952.69	c       178       350    340.46     53.81      6.33   1000000         0
953.64/953.99	c       184       304    351.07     57.72      6.08   1000000         0
955.04/955.30	c       197       363    354.02     57.96      6.11   1000000         0
956.24/956.59	c       138       327    332.31     52.50      6.33   1000000         0
957.54/957.89	c       191       270    348.79     57.47      6.07   1000000         0
958.84/959.20	c       173       296    347.82     53.77      6.47   1000000         0
960.14/960.49	c       170       365    337.58     54.86      6.15   1000000         0
961.43/961.79	c       148       466    335.91     48.20      6.97   1000000         0
962.73/963.09	c       154       321    340.86     52.42      6.50   1000000         0
964.03/964.38	c       175       351    345.82     58.80      5.88   1000000         0
965.33/965.69	c       166       356    350.70     61.21      5.73   1000000         0
966.64/966.99	c       168       384    340.60     55.18      6.17   1000000         0
967.93/968.28	c       167       296    333.82     64.10      5.21   1000000         0
969.23/969.58	c       177       380    337.99     50.43      6.70   1000000         0
970.53/970.88	c       168       302    336.34     59.63      5.64   1000000         0
971.83/972.18	c       177       344    344.70     55.74      6.18   1000000         0
973.14/973.47	c       180       323    336.28     50.32      6.68   1000000         0
974.43/974.77	c       187       421    333.05     53.08      6.27   1000000         0
975.73/976.07	c       152       342    341.66     54.75      6.24   1000000         0
977.03/977.37	c       171       261    339.68     54.24      6.26   1000000         0
978.33/978.67	c       179       359    350.68     54.07      6.49   1000000         0
979.63/979.97	c       183       287    332.58     56.45      5.89   1000000         0
980.94/981.27	c       171       332    332.74     55.52      5.99   1000000         0
982.23/982.56	c       167       390    330.82     58.09      5.70   1000000         0
983.53/983.86	c       172       319    340.50     53.12      6.41   1000000         0
984.83/985.16	c       179       336    337.64     54.52      6.19   1000000         0
986.13/986.46	c       189       203    333.30     57.06      5.84   1000000         0
987.43/987.76	c       176       297    341.08     53.63      6.36   1000000         0
988.73/989.06	c       180       368    343.50     53.12      6.47   1000000         0
990.03/990.36	c       153       323    342.11     58.63      5.84   1000000         0
991.33/991.66	c       145       267    351.14     62.12      5.65   1000000         0
992.62/992.96	c       181       278    344.42     58.34      5.90   1000000         0
993.92/994.26	c       171       309    344.60     61.00      5.65   1000000         0
995.23/995.57	c       178       328    338.82     54.72      6.19   1000000         0
996.52/996.86	c       185       277    338.61     55.52      6.10   1000000         0
997.82/998.16	c       179       233    342.10     61.54      5.56   1000000         0
999.12/999.46	c       143       312    339.25     59.90      5.66   1000000         0
1000.42/1000.76	c       185       274    342.51     55.78      6.14   1000000         0
1001.73/1002.05	c       135       318    334.28     55.11      6.07   1000000         0
1003.02/1003.35	c       128       320    337.45     57.77      5.84   1000000         0
1004.32/1004.65	c       177       364    338.60     52.03      6.51   1000000         0
1005.62/1005.95	c       128       354    346.30     55.39      6.25   1000000         0
1006.92/1007.25	c       183       399    345.49     53.55      6.45   1000000         0
1008.22/1008.55	c       147       321    336.32     54.02      6.23   1000000         0
1009.53/1009.85	c       178       305    332.59     54.55      6.10   1000000         0
1010.82/1011.14	c       171       285    334.05     59.03      5.66   1000000         0
1012.12/1012.44	c       161       305    341.46     59.91      5.70   1000000         0
1013.42/1013.74	c       174       393    347.80     54.40      6.39   1000000         0
1014.72/1015.04	c       167       306    340.71     56.44      6.04   1000000         0
1016.03/1016.33	c       157       223    339.18     61.07      5.55   1000000         0
1017.32/1017.64	c       186       317    336.13     54.53      6.16   1000000         0
1018.62/1018.94	c       166       332    341.65     60.37      5.66   1000000         0
1019.92/1020.24	c       183       243    338.96     53.03      6.39   1000000         0
1021.22/1021.54	c       167       327    338.92     48.27      7.02   1000000         0
1022.52/1022.83	c       198       277    343.15     52.01      6.60   1000000         0
1023.83/1024.14	c       169       293    339.94     60.20      5.65   1000000         0
1025.12/1025.44	c       170       287    346.90     59.26      5.85   1000000         0
1026.41/1026.74	c       159       254    336.85     59.49      5.66   1000000         0
1027.71/1028.03	c       158       340    326.74     56.42      5.79   1000000         0
1029.01/1029.33	c       151       445    342.72     54.95      6.24   1000000         0
1030.32/1030.64	c       186       345    356.03     57.47      6.19   1000000         0
1031.61/1031.94	c       186       332    344.50     49.09      7.02   1000000         0
1032.91/1033.24	c       130       396    335.46     51.30      6.54   1000000         0
1034.21/1034.54	c       188       308    343.12     54.97      6.24   1000000         0
1035.51/1035.84	c       174       340    344.79     54.51      6.33   1000000         0
1036.81/1037.14	c       191       382    350.02     62.42      5.61   1000000         0
1038.12/1038.44	c       182       341    344.86     58.16      5.93   1000000         0
1039.41/1039.74	c       179       314    339.55     56.22      6.04   1000000         0
1040.71/1041.05	c       190       357    343.30     51.81      6.63   1000000         0
1042.01/1042.35	c       179       411    339.38     53.39      6.36   1000000         0
1043.31/1043.64	c       188       242    342.18     55.14      6.21   1000000         0
1044.62/1044.94	c       176       406    337.20     58.24      5.79   1000000         0
1045.91/1046.24	c       193       411    353.99     59.22      5.98   1000000         0
1047.21/1047.54	c       174       268    339.75     53.17      6.39   1000000         0
1048.51/1048.84	c       158       456    337.69     54.36      6.21   1000000         0
1049.81/1050.14	c       175       372    334.54     53.91      6.21   1000000         0
1051.11/1051.43	c       182       348    339.66     54.10      6.28   1000000         0
1052.42/1052.73	c       149       240    340.11     57.07      5.96   1000000         0
1053.71/1054.03	c       176       350    343.21     57.09      6.01   1000000         0
1055.01/1055.33	c       175       258    334.12     55.24      6.05   1000000         0
1056.31/1056.63	c       158       262    337.67     53.29      6.34   1000000         0
1057.61/1057.93	c       191       286    349.11     62.29      5.60   1000000         0
1058.92/1059.23	c       175       292    340.23     54.88      6.20   1000000         0
1060.21/1060.53	c       171       314    346.32     52.29      6.62   1000000         0
1061.51/1061.83	c       147       357    344.13     55.26      6.23   1000000         0
1062.81/1063.12	c       182       358    337.20     52.79      6.39   1000000         0
1064.11/1064.43	c       173       339    341.43     56.58      6.03   1000000         0
1065.41/1065.73	c       175       349    339.97     57.03      5.96   1000000         0
1066.71/1067.03	c       157       330    331.68     52.34      6.34   1000000         0
1068.01/1068.33	c       180       323    345.73     55.97      6.18   1000000         0
1069.30/1069.63	c       191       326    345.67     54.08      6.39   1000000         0
1070.60/1070.93	c       150       345    346.55     57.12      6.07   1000000         0
1071.90/1072.23	c       171       302    335.44     55.15      6.08   1000000         0
1073.21/1073.53	c       169       491    348.81     61.99      5.63   1000000         0
1074.50/1074.83	c       166       396    336.96     50.84      6.63   1000000         0
1075.80/1076.13	c       182       348    342.86     54.45      6.30   1000000         0
1077.10/1077.43	c       154       367    336.87     52.96      6.36   1000000         0
1078.40/1078.73	c       173       429    339.32     51.63      6.57   1000000         0
1079.70/1080.03	c       151       435    342.79     54.03      6.34   1000000         0
1081.01/1081.33	c       183       274    343.92     67.41      5.10   1000000         0
1082.30/1082.63	c       164       332    338.88     55.65      6.09   1000000         0
1083.60/1083.93	c       175       350    326.80     51.92      6.29   1000000         0
1084.90/1085.22	c       153       357    337.38     54.92      6.14   1000000         0
1086.20/1086.53	c       150       315    340.10     51.39      6.62   1000000         0
1087.51/1087.83	c       187       265    345.66     59.85      5.78   1000000         0
1088.80/1089.13	c       174       404    347.64     58.80      5.91   1000000         0
1090.10/1090.43	c       169       301    343.01     52.62      6.52   1000000         0
1091.40/1091.73	c       171       360    352.37     51.57      6.83   1000000         0
1092.70/1093.02	c       167       356    340.09     53.03      6.41   1000000         0
1094.00/1094.32	c       198       296    335.67     55.88      6.01   1000000         0
1095.30/1095.62	c       198       343    348.10     54.05      6.44   1000000         0
1096.60/1096.92	c       166       323    344.08     53.09      6.48   1000000         0
1097.90/1098.22	c       177       274    334.70     55.99      5.98   1000000         0
1099.20/1099.52	c       194       280    343.13     51.99      6.60   1000000         0
1100.50/1100.83	c       180       359    348.21     58.55      5.95   1000000         0
1101.80/1102.12	c       175       308    336.89     56.12      6.00   1000000         0
1103.10/1103.42	c       176       388    339.27     53.38      6.36   1000000         0
1104.40/1104.72	c       191       362    339.43     55.75      6.09   1000000         0
1105.69/1106.03	c       168       321    336.78     51.56      6.53   1000000         0
1106.99/1107.32	c       151       317    327.20     49.36      6.63   1000000         0
1108.29/1108.62	c       200       340    338.94     52.86      6.41   1000000         0
1109.60/1109.92	c       186       361    340.76     56.71      6.01   1000000         0
1110.89/1111.22	c       183       326    332.30     50.54      6.57   1000000         0
1112.19/1112.52	c       158       300    343.27     59.12      5.81   1000000         0
1113.49/1113.81	c       196       376    341.12     54.99      6.20   1000000         0
1114.79/1115.11	c       181       341    341.43     56.19      6.08   1000000         0
1116.10/1116.41	c       180       457    333.48     46.96      7.10   1000000         0
1117.39/1117.71	c       176       270    344.56     57.65      5.98   1000000         0
1118.69/1119.02	c       195       384    349.65     51.60      6.78   1000000         0
1119.99/1120.32	c       169       329    344.58     55.01      6.26   1000000         0
1121.29/1121.62	c       167       352    344.09     58.42      5.89   1000000         0
1122.59/1122.91	c       175       228    328.84     60.17      5.47   1000000         0
1123.90/1124.21	c       170       305    343.21     55.08      6.23   1000000         0
1125.19/1125.51	c       168       399    340.68     58.04      5.87   1000000         0
1126.49/1126.81	c       191       288    343.11     54.86      6.25   1000000         0
1127.79/1128.10	c       160       365    335.08     56.72      5.91   1000000         0
1129.09/1129.40	c       188       292    339.66     51.22      6.63   1000000         0
1130.40/1130.70	c       171       299    338.70     54.34      6.23   1000000         0
1131.69/1132.00	c       179       273    328.87     55.43      5.93   1000000         0
1132.99/1133.30	c       178       318    337.41     53.70      6.28   1000000         0
1134.29/1134.60	c       160       341    339.58     54.77      6.20   1000000         0
1135.59/1135.90	c       186       282    338.62     51.32      6.60   1000000         0
1136.89/1137.20	c       188       350    336.09     47.75      7.04   1000000         0
1138.19/1138.50	c       180       374    344.64     58.41      5.90   1000000         0
1139.49/1139.80	c       176       329    341.83     58.33      5.86   1000000         0
1140.79/1141.10	c       173       341    345.29     61.73      5.59   1000000         0
1142.09/1142.40	c       185       350    350.07     57.25      6.11   1000000         0
1143.39/1143.71	c       181       380    342.76     57.97      5.91   1000000         0
1144.69/1145.01	c       188       274    339.78     49.88      6.81   1000000         0
1145.98/1146.31	c       167       402    348.75     53.34      6.54   1000000         0
1147.28/1147.61	c       166       483    333.99     55.77      5.99   1000000         0
1148.58/1148.91	c       150       319    335.05     62.01      5.40   1000000         0
1149.88/1150.21	c       188       320    341.79     54.24      6.30   1000000         0
1151.18/1151.51	c       158       357    341.77     57.74      5.92   1000000         0
1152.49/1152.81	c       151       301    339.31     55.05      6.16   1000000         0
1153.78/1154.11	c       151       310    345.73     57.73      5.99   1000000         0
1155.08/1155.41	c       184       380    338.94     56.52      6.00   1000000         0
1156.38/1156.71	c       182       278    338.69     53.60      6.32   1000000         0
1157.68/1158.01	c       176       298    341.39     56.19      6.08   1000000         0
1158.99/1159.31	c       164       348    347.46     55.06      6.31   1000000         0
1160.28/1160.61	c       185       297    345.94     56.36      6.14   1000000         0
1161.58/1161.91	c       176       335    337.62     46.79      7.22   1000000         0
1162.88/1163.21	c       184       404    345.39     62.42      5.53   1000000         0
1164.18/1164.51	c       171       264    338.71     51.42      6.59   1000000         0
1165.48/1165.81	c       149       386    338.29     52.71      6.42   1000000         0
1166.79/1167.11	c       161       256    343.73     54.16      6.35   1000000         0
1168.08/1168.41	c       171       324    335.13     59.66      5.62   1000000         0
1169.38/1169.70	c       174       315    337.70     50.35      6.71   1000000         0
1170.68/1171.02	c       174       370    332.16     48.86      6.80   1000000         0
1171.98/1172.31	c       168       384    348.95     55.17      6.32   1000000         0
1173.28/1173.61	c       176       245    338.09     61.52      5.50   1000000         0
1174.58/1174.91	c       168       291    338.42     55.26      6.12   1000000         0
1175.88/1176.22	c       179       422    342.66     61.21      5.60   1000000         0
1177.18/1177.52	c       159       335    347.42     61.73      5.63   1000000         0
1178.48/1178.82	c       181       339    340.40     58.32      5.84   1000000         0
1179.78/1180.12	c       161       350    337.43     50.42      6.69   1000000         0
1181.08/1181.42	c       174       312    343.65     58.60      5.86   1000000         0
1182.38/1182.71	c       184       346    337.77     51.10      6.61   1000000         0
1183.68/1184.01	c       161       342    347.67     57.26      6.07   1000000         0
1184.97/1185.31	c       158       295    344.50     57.32      6.01   1000000         0
1186.27/1186.61	c       182       349    340.25     52.67      6.46   1000000         0
1187.58/1187.92	c       164       317    335.41     52.16      6.43   1000000         0
1188.87/1189.21	c       173       347    337.39     49.99      6.75   1000000         0
1190.17/1190.51	c       149       448    339.55     55.23      6.15   1000000         0
1191.47/1191.82	c       179       338    334.01     54.44      6.14   1000000         0
1192.77/1193.12	c       193       313    348.27     56.63      6.15   1000000         0
1194.07/1194.42	c       170       338    332.79     54.31      6.13   1000000         0
1195.38/1195.72	c       183       289    344.10     54.99      6.26   1000000         0
1196.67/1197.02	c       156       310    346.99     65.10      5.33   1000000         0
1197.97/1198.31	c       164       345    330.17     58.01      5.69   1000000         0
1199.27/1199.61	c       173       324    345.13     53.47      6.45   1000000         0
1200.57/1200.91	c       180       275    341.44     55.00      6.21   1000000         0
1201.88/1202.22	c       154       312    344.35     55.62      6.19   1000000         0
1203.17/1203.51	c       197       363    346.66     53.52      6.48   1000000         0
1204.47/1204.82	c       179       313    352.12     58.60      6.01   1000000         0
1205.77/1206.11	c       199       347    345.54     55.47      6.23   1000000         0
1207.07/1207.42	c       167       366    341.10     54.10      6.31   1000000         0
1208.37/1208.72	c       185       330    349.99     56.20      6.23   1000000         0
1209.67/1210.01	c       191       351    339.20     51.03      6.65   1000000         0
1210.97/1211.32	c       174       366    352.58     60.98      5.78   1000000         0
1212.27/1212.61	c       194       416    340.09     59.20      5.74   1000000         0
1213.57/1213.92	c       180       405    343.95     55.45      6.20   1000000         0
1214.87/1215.22	c       161       358    345.85     51.76      6.68   1000000         0
1216.17/1216.51	c       168       353    331.35     56.12      5.90   1000000         0
1217.46/1217.81	c       165       318    346.98     51.00      6.80   1000000         0
1218.76/1219.12	c       154       399    335.75     59.21      5.67   1000000         0
1220.06/1220.41	c       168       407    330.24     55.45      5.96   1000000         0
1221.36/1221.71	c       153       332    338.26     55.93      6.05   1000000         0
1222.66/1223.01	c       155       412    338.43     50.98      6.64   1000000         0
1223.97/1224.31	c       180       316    346.12     58.92      5.87   1000000         0
1225.26/1225.61	c       180       314    340.68     51.85      6.57   1000000         0
1226.56/1226.91	c       178       386    339.78     59.62      5.70   1000000         0
1227.86/1228.21	c       169       288    337.44     58.66      5.75   1000000         0
1229.16/1229.51	c       180       335    341.45     59.79      5.71   1000000         0
1230.47/1230.81	c       152       411    349.12     63.53      5.50   1000000         0
1231.76/1232.11	c       161       239    344.48     61.44      5.61   1000000         0
1233.06/1233.41	c       177       350    343.34     56.14      6.12   1000000         0
1234.36/1234.71	c       192       300    340.91     51.87      6.57   1000000         0
1235.66/1236.01	c       169       370    341.06     60.37      5.65   1000000         0
1236.96/1237.30	c       194       326    342.75     57.01      6.01   1000000         0
1238.27/1238.61	c       189       323    345.23     50.96      6.77   1000000         0
1239.56/1239.90	c       136       339    338.75     58.30      5.81   1000000         0
1240.86/1241.20	c       190       296    344.74     54.45      6.33   1000000         0
1242.16/1242.51	c       192       321    351.75     60.42      5.82   1000000         0
1243.46/1243.81	c       179       455    340.94     54.52      6.25   1000000         0
1244.77/1245.11	c       185       308    347.18     53.92      6.44   1000000         0
1246.06/1246.41	c       177       393    332.49     51.90      6.41   1000000         0
1247.36/1247.71	c       164       370    343.12     51.36      6.68   1000000         0
1248.66/1249.02	c       183       354    345.61     57.15      6.05   1000000         0
1249.96/1250.31	c       149       306    343.49     62.04      5.54   1000000         0
1251.26/1251.61	c       184       250    333.17     55.16      6.04   1000000         0
1252.46/1252.90	c       151       343    339.53     64.46      5.27   1000000         0
1253.86/1254.20	c       166       407    344.55     59.40      5.80   1000000         0
1255.06/1255.50	c       186       314    340.95     54.32      6.28   1000000         0
1256.36/1256.80	c       170       316    349.15     57.46      6.08   1000000         0
1257.65/1258.10	c       177       233    339.35     52.61      6.45   1000000         0
1258.95/1259.39	c       168       278    338.11     60.96      5.55   1000000         0
1260.26/1260.69	c       185       333    348.64     54.91      6.35   1000000         0
1261.55/1261.99	c       143       316    335.91     51.34      6.54   1000000         0
1262.86/1263.29	c       175       387    341.45     54.50      6.26   1000000         0
1264.15/1264.59	c       157       372    350.49     56.32      6.22   1000000         0
1265.45/1265.90	c       182       301    343.33     55.46      6.19   1000000         0
1266.76/1267.19	c       150       310    338.58     52.05      6.51   1000000         0
1268.05/1268.50	c       170       308    346.85     53.14      6.53   1000000         0
1269.34/1269.78	c       193       356    346.74     53.71      6.46   1000000         0
1270.63/1271.08	c       198       397    353.53     57.37      6.16   1000000         0
1271.93/1272.38	c       188       392    341.77     51.86      6.59   1000000         0
1273.23/1273.68	c       191       346    342.73     51.52      6.65   1000000         0
1274.54/1274.97	c       180       305    336.27     53.23      6.32   1000000         0
1275.83/1276.27	c       157       400    336.00     53.14      6.32   1000000         0
1277.13/1277.57	c       158       319    344.32     57.82      5.95   1000000         0
1278.43/1278.87	c       169       318    341.34     59.45      5.74   1000000         0
1279.73/1280.17	c       180       322    341.00     55.34      6.16   1000000         0
1281.04/1281.47	c       170       358    332.92     54.48      6.11   1000000         0
1282.33/1282.77	c       186       335    347.74     50.47      6.89   1000000         0
1283.63/1284.07	c       164       318    339.21     60.00      5.65   1000000         0
1284.93/1285.37	c       176       431    344.12     51.81      6.64   1000000         0
1286.23/1286.67	c       175       272    349.37     58.77      5.94   1000000         0
1287.53/1287.97	c       164       323    344.55     57.69      5.97   1000000         0
1288.84/1289.27	c       173       306    336.70     52.94      6.36   1000000         0
1290.13/1290.57	c       159       249    327.35     54.16      6.04   1000000         0
1291.43/1291.87	c       180       352    353.81     55.82      6.34   1000000         0
1292.73/1293.17	c       159       325    331.15     53.04      6.24   1000000         0
1294.03/1294.47	c       182       402    339.50     54.70      6.21   1000000         0
1295.34/1295.76	c       181       395    337.92     59.01      5.73   1000000         0
1296.63/1297.06	c       184       342    351.99     50.58      6.96   1000000         0
1297.93/1298.36	c       202       322    350.09     56.91      6.15   1000000         0
1299.23/1299.66	c       191       335    338.61     46.91      7.22   1000000         0
1300.53/1300.96	c       193       393    341.76     55.30      6.18   1000000         0
1301.83/1302.26	c       137       364    345.05     59.39      5.81   1000000         0
1303.13/1303.56	c       115       312    341.04     60.76      5.61   1000000         0
1304.43/1304.85	c       161       419    332.79     54.46      6.11   1000000         0
1305.73/1306.15	c       165       309    336.49     55.57      6.06   1000000         0
1307.03/1307.45	c       152       358    334.69     56.74      5.90   1000000         0
1308.32/1308.75	c       175       331    336.88     52.05      6.47   1000000         0
1309.63/1310.05	c       164       295    336.81     55.94      6.02   1000000         0
1310.92/1311.35	c       164       334    336.04     53.98      6.23   1000000         0
1312.22/1312.65	c       162       365    341.92     52.94      6.46   1000000         0
1313.52/1313.95	c       169       288    344.73     58.11      5.93   1000000         0
1314.82/1315.24	c       173       330    335.28     55.12      6.08   1000000         0
1316.12/1316.54	c       159       328    346.86     56.73      6.11   1000000         0
1317.43/1317.83	c       140       246    325.94     56.66      5.75   1000000         0
1318.72/1319.13	c       168       387    334.16     52.77      6.33   1000000         0
1320.02/1320.43	c       199       330    333.80     58.30      5.73   1000000         0
1321.32/1321.72	c       193       314    338.93     53.03      6.39   1000000         0
1322.62/1323.02	c       169       351    336.87     53.15      6.34   1000000         0
1323.93/1324.32	c       177       267    331.93     56.00      5.93   1000000         0
1325.22/1325.62	c       181       322    347.87     55.95      6.22   1000000         0
1326.52/1326.92	c       169       315    344.52     56.79      6.07   1000000         0
1327.82/1328.22	c       180       370    339.49     52.79      6.43   1000000         0
1329.12/1329.52	c       197       333    348.69     53.03      6.58   1000000         0
1330.42/1330.82	c       180       388    335.61     62.38      5.38   1000000         0
1331.73/1332.12	c       178       302    339.97     56.65      6.00   1000000         0
1333.02/1333.42	c       182       361    346.39     57.85      5.99   1000000         0
1334.32/1334.72	c       175       387    337.78     50.90      6.64   1000000         0
1335.62/1336.02	c       152       275    331.70     58.66      5.65   1000000         0
1336.92/1337.32	c       177       390    338.74     52.81      6.41   1000000         0
1338.22/1338.62	c       179       335    336.45     54.37      6.19   1000000         0
1339.52/1339.92	c       175       349    347.16     55.45      6.26   1000000         0
1340.82/1341.22	c       178       332    339.90     53.66      6.33   1000000         0
1342.12/1342.51	c       188       266    345.83     62.28      5.55   1000000         0
1343.41/1343.81	c       160       323    339.95     57.35      5.93   1000000         0
1344.71/1345.12	c       178       317    343.85     56.17      6.12   1000000         0
1346.02/1346.41	c       144       369    339.47     53.00      6.41   1000000         0
1347.31/1347.71	c       144       300    342.80     51.12      6.71   1000000         0
1348.61/1349.01	c       176       361    340.84     55.20      6.17   1000000         0
1349.91/1350.30	c       185       366    337.64     56.29      6.00   1000000         0
1351.21/1351.60	c       164       394    343.99     50.36      6.83   1000000         0
1352.52/1352.90	c       168       257    340.85     57.70      5.91   1000000         0
1353.81/1354.20	c       180       244    349.00     61.73      5.65   1000000         0
1355.11/1355.50	c       194       356    343.21     49.82      6.89   1000000         0
1356.31/1356.79	c       153       346    339.54     54.17      6.27   1000000         0
1357.61/1358.09	c       172       290    329.22     53.27      6.18   1000000         0
1358.91/1359.39	c       204       327    343.57     48.04      7.15   1000000         0
1360.22/1360.69	c       185       326    345.53     54.98      6.28   1000000         0
1361.51/1361.99	c       173       324    332.20     54.72      6.07   1000000         0
1362.81/1363.30	c       188       254    348.76     56.42      6.18   1000000         0
1364.11/1364.59	c       183       277    341.32     57.25      5.96   1000000         0
1365.41/1365.89	c       185       334    341.65     53.90      6.34   1000000         0
1366.71/1367.19	c       126       294    345.76     51.85      6.67   1000000         0
1368.02/1368.49	c       167       320    339.19     61.51      5.51   1000000         0
1369.31/1369.79	c       159       321    335.57     58.56      5.73   1000000         0
1370.61/1371.09	c       184       256    345.71     56.10      6.16   1000000         0
1371.91/1372.39	c       183       342    344.79     52.13      6.61   1000000         0
1373.21/1373.69	c       155       346    338.80     55.38      6.12   1000000         0
1374.51/1374.99	c       163       343    339.05     59.62      5.69   1000000         0
1375.81/1376.29	c       168       395    339.91     57.11      5.95   1000000         0
1377.11/1377.58	c       181       342    341.91     58.34      5.86   1000000         0
1378.41/1378.88	c       137       308    338.12     52.61      6.43   1000000         0
1379.71/1380.18	c       156       219    329.96     52.05      6.34   1000000         0
1381.01/1381.48	c       204       330    347.57     51.55      6.74   1000000         0
1382.31/1382.78	c       163       386    339.91     56.33      6.03   1000000         0
1383.61/1384.08	c       170       360    338.32     48.26      7.01   1000000         0
1384.90/1385.38	c       156       400    345.23     56.03      6.16   1000000         0
1386.20/1386.68	c       164       281    332.41     52.22      6.37   1000000         0
1387.50/1387.98	c       172       246    337.86     51.29      6.59   1000000         0
1388.81/1389.28	c       185       355    344.51     55.88      6.16   1000000         0
1390.10/1390.57	c       203       403    344.66     46.91      7.35   1000000         0
1391.40/1391.87	c       185       336    347.76     56.73      6.13   1000000         0
1392.70/1393.17	c       173       339    348.69     56.65      6.16   1000000         0
1394.00/1394.48	c       177       342    347.89     58.23      5.97   1000000         0
1395.30/1395.78	c       187       316    349.34     51.48      6.79   1000000         0
1396.61/1397.08	c       194       292    353.04     54.24      6.51   1000000         0
1397.90/1398.38	c       160       300    339.03     57.69      5.88   1000000         0
1399.20/1399.68	c       159       347    340.27     56.48      6.02   1000000         0
1400.50/1400.98	c       178       407    344.52     51.75      6.66   1000000         0
1401.80/1402.28	c       191       323    337.24     57.02      5.91   1000000         0
1403.11/1403.58	c       174       381    330.43     48.70      6.79   1000000         0
1404.40/1404.88	c       159       295    339.49     55.86      6.08   1000000         0
1405.70/1406.18	c       199       278    341.95     49.17      6.95   1000000         0
1407.00/1407.48	c       169       351    341.03     56.47      6.04   1000000         0
1408.30/1408.78	c       172       296    340.66     57.43      5.93   1000000         0
1409.60/1410.08	c       176       418    331.23     52.51      6.31   1000000         0
1410.90/1411.38	c       167       281    340.38     61.64      5.52   1000000         0
1412.20/1412.69	c       185       303    343.52     47.49      7.23   1000000         0
1413.50/1413.99	c       185       291    346.18     54.92      6.30   1000000         0
1414.80/1415.29	c       193       374    346.45     48.61      7.13   1000000         0
1416.10/1416.60	c       162       304    346.37     54.63      6.34   1000000         0
1417.40/1417.89	c       190       391    342.84     54.75      6.26   1000000         0
1418.80/1419.20	c       170       326    350.50     58.93      5.95   1000000         0
1420.10/1420.50	c       177       393    343.17     57.67      5.95   1000000         0
1421.39/1421.80	c       171       386    346.35     61.03      5.68   1000000         0
1422.69/1423.10	c       194       338    345.23     51.71      6.68   1000000         0
1424.00/1424.41	c       178       277    342.87     58.46      5.87   1000000         0
1425.29/1425.71	c       159       403    338.47     54.63      6.20   1000000         0
1426.59/1427.01	c       181       374    343.70     55.22      6.22   1000000         0
1427.89/1428.31	c       168       387    339.20     54.03      6.28   1000000         0
1429.19/1429.61	c       147       334    343.64     59.04      5.82   1000000         0
1430.49/1430.90	c       150       383    336.96     56.44      5.97   1000000         0
1431.80/1432.21	c       129       427    343.75     61.37      5.60   1000000         0
1433.09/1433.50	c       142       371    338.11     53.59      6.31   1000000         0
1434.39/1434.80	c       184       200    345.76     54.20      6.38   1000000         0
1435.69/1436.10	c       191       326    344.39     58.64      5.87   1000000         0
1436.99/1437.41	c       168       370    342.58     51.24      6.69   1000000         0
1438.30/1438.71	c       155       245    345.83     57.27      6.04   1000000         0
1439.59/1440.01	c       191       299    343.78     49.53      6.94   1000000         0
1440.89/1441.31	c       149       357    351.39     52.56      6.69   1000000         0
1442.19/1442.61	c       183       326    336.35     53.12      6.33   1000000         0
1443.49/1443.91	c       183       284    342.90     55.20      6.21   1000000         0
1444.79/1445.21	c       162       350    343.85     56.36      6.10   1000000         0
1446.09/1446.51	c       169       360    343.80     64.68      5.32   1000000         0
1447.39/1447.81	c       183       302    352.52     61.13      5.77   1000000         0
1448.69/1449.11	c       176       244    335.74     57.38      5.85   1000000         0
1449.99/1450.40	c       174       358    340.26     56.31      6.04   1000000         0
1451.29/1451.70	c       160       276    336.64     55.56      6.06   1000000         0
1452.59/1453.00	c       196       346    343.68     58.11      5.91   1000000         0
1453.88/1454.30	c       158       306    346.85     56.40      6.15   1000000         0
1455.18/1455.60	c       185       320    345.88     60.81      5.69   1000000         0
1456.48/1456.90	c       160       318    344.48     56.22      6.13   1000000         0
1457.68/1458.20	c       166       322    329.06     54.15      6.08   1000000         0
1459.08/1459.50	c       209       426    346.20     53.98      6.41   1000000         0
1460.29/1460.80	c       170       410    344.53     56.47      6.10   1000000         0
1461.68/1462.10	c       168       351    342.16     53.54      6.39   1000000         0
1462.98/1463.40	c       168       302    348.49     50.91      6.85   1000000         0
1464.28/1464.70	c       164       349    336.56     46.56      7.23   1000000         0
1465.58/1466.00	c       154       383    345.51     53.29      6.48   1000000         0
1466.89/1467.31	c       184       341    341.79     58.13      5.88   1000000         0
1468.18/1468.61	c       175       293    338.55     46.35      7.30   1000000         0
1469.48/1469.90	c       188       300    335.08     53.82      6.23   1000000         0
1470.78/1471.20	c       166       392    334.89     54.33      6.16   1000000         0
1472.08/1472.50	c       161       430    348.94     51.24      6.81   1000000         0
1473.38/1473.80	c       169       357    351.45     57.74      6.09   1000000         0
1474.69/1475.11	c       183       391    348.28     57.32      6.08   1000000         0
1475.98/1476.41	c       147       357    347.58     55.03      6.32   1000000         0
1477.28/1477.71	c       205       302    343.73     48.11      7.14   1000000         0
1478.58/1479.01	c       165       219    345.46     56.31      6.13   1000000         0
1479.88/1480.31	c       148       388    333.43     58.06      5.74   1000000         0
1481.18/1481.61	c       153       254    344.26     57.84      5.95   1000000         0
1482.48/1482.90	c       174       325    330.27     55.72      5.93   1000000         0
1483.78/1484.20	c       144       310    342.82     59.27      5.78   1000000         0
1485.08/1485.50	c       180       297    341.63     53.06      6.44   1000000         0
1486.38/1486.80	c       171       298    339.51     49.36      6.88   1000000         0
1487.68/1488.11	c       187       296    352.78     56.04      6.30   1000000         0
1488.98/1489.41	c       178       316    340.05     51.50      6.60   1000000         0
1490.28/1490.71	c       202       247    361.15     56.05      6.44   1000000         0
1491.58/1492.01	c       148       322    329.90     56.26      5.86   1000000         0
1492.88/1493.31	c       180       301    343.64     59.18      5.81   1000000         0
1494.17/1494.61	c       159       397    346.46     54.04      6.41   1000000         0
1495.48/1495.91	c       170       358    344.08     56.19      6.12   1000000         0
1496.77/1497.21	c       174       304    338.54     49.88      6.79   1000000         0
1498.07/1498.51	c       176       384    339.32     55.71      6.09   1000000         0
1499.37/1499.81	c       152       342    336.58     64.07      5.25   1000000         0
1500.67/1501.11	c       171       339    339.81     56.26      6.04   1000000         0
1501.97/1502.40	c       160       355    337.64     53.61      6.30   1000000         0
1503.18/1503.70	c       151       261    340.11     49.60      6.86   1000000         0
1504.57/1505.01	c       188       366    349.46     60.61      5.77   1000000         0
1505.87/1506.30	c       190       330    337.77     55.21      6.12   1000000         0
1507.17/1507.61	c       181       392    348.29     56.15      6.20   1000000         0
1508.47/1508.91	c       175       290    337.92     57.25      5.90   1000000         0
1509.78/1510.21	c       154       425    353.64     64.95      5.44   1000000         0
1511.07/1511.50	c       160       291    339.25     53.38      6.36   1000000         0
1512.37/1512.80	c       173       345    338.12     54.41      6.21   1000000         0
1513.67/1514.10	c       169       504    345.34     50.81      6.80   1000000         0
1514.97/1515.40	c       166       335    340.09     56.12      6.06   1000000         0
1516.17/1516.70	c       186       308    345.39     55.49      6.22   1000000         0
1517.48/1518.00	c       147       195    343.50     54.77      6.27   1000000         0
1518.77/1519.29	c       183       380    336.27     49.67      6.77   1000000         0
1520.07/1520.59	c       153       368    334.28     54.44      6.14   1000000         0
1521.37/1521.89	c       184       339    336.57     51.28      6.56   1000000         0
1522.67/1523.19	c       168       331    351.87     52.87      6.66   1000000         0
1523.97/1524.49	c       194       309    349.05     53.83      6.48   1000000         0
1525.27/1525.79	c       151       419    341.90     59.13      5.78   1000000         0
1526.56/1527.09	c       182       303    340.36     55.25      6.16   1000000         0
1527.86/1528.38	c       133       302    336.06     59.54      5.64   1000000         0
1529.16/1529.68	c       158       337    341.79     56.58      6.04   1000000         0
1530.46/1530.98	c       148       350    343.01     53.34      6.43   1000000         0
1531.77/1532.28	c       191       267    336.78     51.75      6.51   1000000         0
1533.06/1533.58	c       157       360    335.26     50.92      6.58   1000000         0
1534.36/1534.88	c       151       428    346.37     49.80      6.96   1000000         0
1535.66/1536.18	c       174       324    329.38     51.84      6.35   1000000         0
1536.96/1537.47	c       196       362    332.73     50.75      6.56   1000000         0
1538.26/1538.77	c       172       277    341.26     60.36      5.65   1000000         0
1539.57/1540.08	c       167       325    345.49     59.58      5.80   1000000         0
1540.86/1541.38	c       174       283    353.00     57.06      6.19   1000000         0
1542.16/1542.68	c       186       303    348.99     56.39      6.19   1000000         0
1543.46/1543.98	c       185       351    350.13     54.92      6.38   1000000         0
1544.76/1545.28	c       185       284    340.62     52.75      6.46   1000000         0
1546.07/1546.59	c       196       361    354.44     51.04      6.94   1000000         0
1547.36/1547.88	c       174       461    341.43     54.01      6.32   1000000         0
1548.66/1549.18	c       168       315    334.45     52.90      6.32   1000000         0
1549.96/1550.48	c       175       336    343.45     52.08      6.59   1000000         0
1551.26/1551.78	c       166       232    345.95     52.86      6.54   1000000         0
1552.56/1553.08	c       189       344    343.55     54.12      6.35   1000000         0
1553.87/1554.38	c       183       299    342.52     54.38      6.30   1000000         0
1555.16/1555.68	c       177       369    335.43     53.02      6.33   1000000         0
1556.46/1556.97	c       183       239    334.32     53.59      6.24   1000000         0
1557.76/1558.27	c       163       290    334.83     55.46      6.04   1000000         0
1559.06/1559.57	c       175       319    345.54     59.61      5.80   1000000         0
1560.36/1560.87	c       175       376    344.18     56.20      6.12   1000000         0
1561.66/1562.17	c       174       410    336.71     52.11      6.46   1000000         0
1562.97/1563.47	c       157       303    338.11     58.24      5.81   1000000         0
1564.27/1564.77	c       173       406    345.13     52.89      6.53   1000000         0
1565.56/1566.08	c       184       383    343.16     55.51      6.18   1000000         0
1566.86/1567.38	c       187       287    335.84     53.70      6.25   1000000         0
1568.17/1568.68	c       163       305    332.51     53.03      6.27   1000000         0
1569.46/1569.97	c       175       295    342.15     61.45      5.57   1000000         0
1570.76/1571.27	c       189       343    338.24     54.59      6.20   1000000         0
1572.06/1572.57	c       171       330    348.00     54.18      6.42   1000000         0
1573.36/1573.87	c       184       344    344.54     52.74      6.53   1000000         0
1574.67/1575.18	c       202       362    352.18     50.78      6.94   1000000         0
1575.96/1576.47	c       170       323    332.34     53.19      6.25   1000000         0
1577.26/1577.77	c       175       275    342.64     60.78      5.64   1000000         0
1578.56/1579.07	c       180       304    329.69     50.60      6.52   1000000         0
1579.86/1580.37	c       165       335    342.48     59.21      5.78   1000000         0
1581.16/1581.67	c       141       338    338.50     52.62      6.43   1000000         0
1582.46/1582.96	c       158       359    345.54     62.47      5.53   1000000         0
1583.76/1584.26	c       159       293    340.22     56.06      6.07   1000000         0
1585.06/1585.56	c       163       363    338.43     55.59      6.09   1000000         0
1586.36/1586.87	c       184       363    348.25     53.61      6.50   1000000         0
1587.66/1588.16	c       187       263    341.03     55.22      6.18   1000000         0
1588.96/1589.46	c       190       285    347.16     57.66      6.02   1000000         0
1590.26/1590.76	c       166       287    348.39     58.67      5.94   1000000         0
1591.55/1592.06	c       166       252    337.96     55.82      6.05   1000000         0
1592.85/1593.36	c       178       396    345.74     58.02      5.96   1000000         0
1594.15/1594.67	c       149       350    344.44     54.55      6.31   1000000         0
1595.45/1595.97	c       197       247    346.01     52.21      6.63   1000000         0
1596.76/1597.27	c       188       289    341.38     56.70      6.02   1000000         0
1598.05/1598.57	c       181       320    340.95     56.86      6.00   1000000         0
1599.35/1599.87	c       180       328    351.16     56.64      6.20   1000000         0
1600.65/1601.17	c       195       377    346.47     57.52      6.02   1000000         0
1601.95/1602.46	c       170       295    336.73     58.13      5.79   1000000         0
1603.26/1603.76	c       191       394    342.42     52.40      6.54   1000000         0
1604.55/1605.06	c       183       326    340.61     57.27      5.95   1000000         0
1605.85/1606.35	c       175       353    337.50     53.67      6.29   1000000         0
1607.15/1607.65	c       157       462    341.61     55.08      6.20   1000000         0
1608.45/1608.94	c       173       336    332.24     58.27      5.70   1000000         0
1609.75/1610.25	c       175       312    347.64     53.44      6.51   1000000         0
1611.06/1611.55	c       182       302    339.71     51.40      6.61   1000000         0
1612.35/1612.84	c       157       362    333.40     56.09      5.94   1000000         0
1613.65/1614.15	c       186       421    352.84     57.19      6.17   1000000         0
1614.95/1615.45	c       196       314    349.47     55.14      6.34   1000000         0
1616.25/1616.76	c       165       360    346.38     51.22      6.76   1000000         0
1617.56/1618.06	c       135       364    346.52     67.04      5.17   1000000         0
1618.85/1619.36	c       189       277    344.86     53.14      6.49   1000000         0
1620.15/1620.66	c       179       340    348.16     55.50      6.27   1000000         0
1621.45/1621.96	c       188       363    343.20     54.44      6.30   1000000         0
1622.75/1623.26	c       173       377    337.64     50.39      6.70   1000000         0
1624.05/1624.56	c       149       475    334.83     58.79      5.70   1000000         0
1625.35/1625.86	c       176       349    345.03     54.00      6.39   1000000         0
1626.64/1627.16	c       179       411    336.50     60.48      5.56   1000000         0
1627.94/1628.46	c       183       331    343.00     51.51      6.66   1000000         0
1629.24/1629.76	c       191       322    339.12     51.64      6.57   1000000         0
1630.54/1631.06	c       186       312    344.75     55.59      6.20   1000000         0
1631.85/1632.36	c       149       365    336.00     50.43      6.66   1000000         0
1633.14/1633.65	c       164       310    331.13     57.68      5.74   1000000         0
1634.44/1634.95	c       153       332    334.49     57.79      5.79   1000000         0
1635.74/1636.25	c       211       283    345.55     52.38      6.60   1000000         0
1637.04/1637.55	c       190       344    341.23     53.92      6.33   1000000         0
1638.34/1638.85	c       132       232    339.55     60.37      5.62   1000000         0
1639.65/1640.15	c       180       384    347.18     53.17      6.53   1000000         0
1640.94/1641.46	c       182       305    340.87     57.94      5.88   1000000         0
1642.24/1642.75	c       191       345    336.47     54.43      6.18   1000000         0
1643.54/1644.05	c       145       366    330.94     57.04      5.80   1000000         0
1644.84/1645.35	c       173       345    339.45     60.18      5.64   1000000         0
1646.15/1646.65	c       169       406    333.93     52.16      6.40   1000000         0
1647.44/1647.94	c       171       360    332.74     56.00      5.94   1000000         0
1648.74/1649.24	c       166       293    333.43     51.43      6.48   1000000         0
1650.04/1650.54	c       168       426    344.21     56.53      6.09   1000000         0
1651.34/1651.84	c       184       272    345.61     55.93      6.18   1000000         0
1652.64/1653.13	c       164       317    338.52     58.22      5.81   1000000         0
1653.95/1654.43	c       184       359    338.33     55.89      6.05   1000000         0
1655.24/1655.73	c       141       265    330.33     49.68      6.65   1000000         0
1656.54/1657.02	c       173       335    339.86     55.42      6.13   1000000         0
1657.84/1658.33	c       132       330    346.64     53.94      6.43   1000000         0
1659.14/1659.63	c       174       416    342.44     52.80      6.49   1000000         0
1660.44/1660.93	c       193       315    347.04     61.43      5.65   1000000         0
1661.74/1662.22	c       175       421    331.82     57.58      5.76   1000000         0
1663.04/1663.52	c       189       300    344.73     49.80      6.92   1000000         0
1664.34/1664.82	c       177       344    341.47     55.03      6.20   1000000         0
1665.63/1666.12	c       147       388    333.01     50.61      6.58   1000000         0
1666.93/1667.42	c       190       263    347.24     53.30      6.51   1000000         0
1668.24/1668.72	c       187       290    345.66     55.70      6.21   1000000         0
1669.53/1670.02	c       181       326    340.78     54.67      6.23   1000000         0
1670.83/1671.32	c       171       333    337.53     54.74      6.17   1000000         0
1672.13/1672.62	c       180       313    342.93     58.85      5.83   1000000         0
1673.43/1673.91	c       174       440    333.99     52.75      6.33   1000000         0
1674.74/1675.21	c       182       312    334.29     51.18      6.53   1000000         0
1676.03/1676.51	c       144       256    351.82     53.05      6.63   1000000         0
1677.33/1677.80	c       168       278    328.94     54.35      6.05   1000000         0
1678.63/1679.10	c       151       293    344.71     59.08      5.84   1000000         0
1679.93/1680.40	c       178       435    337.90     52.00      6.50   1000000         0
1681.23/1681.70	c       164       278    348.03     49.99      6.96   1000000         0
1682.54/1683.00	c       173       404    348.96     55.06      6.34   1000000         0
1683.83/1684.30	c       150       328    337.62     59.79      5.65   1000000         0
1685.13/1685.60	c       161       360    340.00     54.24      6.27   1000000         0
1686.43/1686.90	c       128       466    338.29     56.02      6.04   1000000         0
1687.73/1688.20	c       163       446    340.20     56.97      5.97   1000000         0
1689.03/1689.50	c       140       409    350.55     54.26      6.46   1000000         0
1690.33/1690.81	c       199       236    342.80     58.84      5.83   1000000         0
1691.63/1692.11	c       199       356    356.77     59.20      6.03   1000000         0
1692.93/1693.41	c       200       284    342.79     51.39      6.67   1000000         0
1694.23/1694.70	c       160       334    332.99     56.92      5.85   1000000         0
1695.53/1696.00	c       186       315    348.20     52.94      6.58   1000000         0
1696.73/1697.30	c       184       372    346.65     54.83      6.32   1000000         0
1698.13/1698.60	c       164       391    341.26     57.10      5.98   1000000         0
1699.43/1699.91	c       187       367    350.09     56.95      6.15   1000000         0
1700.73/1701.21	c       180       309    343.83     58.22      5.91   1000000         0
1702.02/1702.51	c       175       363    352.34     58.01      6.07   1000000         0
1703.33/1703.81	c       170       330    338.61     55.98      6.05   1000000         0
1704.62/1705.11	c       142       307    334.06     50.00      6.68   1000000         0
1705.92/1706.42	c       182       341    340.34     46.16      7.37   1000000         0
1707.22/1707.71	c       184       435    333.48     48.93      6.82   1000000         0
1708.52/1709.01	c       163       361    345.68     56.39      6.13   1000000         0
1709.82/1710.31	c       180       355    337.36     52.18      6.47   1000000         0
1711.13/1711.61	c       133       400    337.80     55.27      6.11   1000000         0
1712.42/1712.91	c       185       336    342.52     57.82      5.92   1000000         0
1713.72/1714.20	c       175       316    338.41     53.66      6.31   1000000         0
1715.02/1715.50	c       188       388    348.33     52.61      6.62   1000000         0
1716.32/1716.80	c       185       391    338.41     56.68      5.97   1000000         0
1717.52/1718.10	c       167       320    346.50     60.73      5.71   1000000         0
1718.92/1719.40	c       185       330    357.41     56.10      6.37   1000000         0
1720.22/1720.70	c       164       285    335.52     53.34      6.29   1000000         0
1721.42/1721.99	c       140       309    333.10     59.14      5.63   1000000         0
1722.72/1723.29	c       166       308    338.46     55.72      6.07   1000000         0
1724.02/1724.59	c       154       333    333.09     56.73      5.87   1000000         0
1725.33/1725.89	c       165       346    336.14     52.75      6.37   1000000         0
1726.62/1727.19	c       177       302    336.66     55.27      6.09   1000000         0
1727.92/1728.49	c       178       294    339.83     53.32      6.37   1000000         0
1729.22/1729.79	c       145       257    344.92     53.15      6.49   1000000         0
1730.52/1731.09	c       161       384    345.49     61.97      5.58   1000000         0
1731.82/1732.39	c       147       306    346.45     58.14      5.96   1000000         0
1733.12/1733.69	c       171       421    339.68     52.44      6.48   1000000         0
1734.42/1734.99	c       186       363    341.21     52.07      6.55   1000000         0
1735.72/1736.29	c       197       351    344.05     55.06      6.25   1000000         0
1737.02/1737.59	c       181       373    344.67     54.13      6.37   1000000         0
1738.32/1738.89	c       142       352    333.01     56.13      5.93   1000000         0
1739.62/1740.19	c       164       358    340.64     54.29      6.27   1000000         0
1740.92/1741.48	c       173       342    334.04     55.70      6.00   1000000         0
1742.22/1742.78	c       183       313    346.28     57.31      6.04   1000000         0
1743.51/1744.08	c       169       308    336.70     58.94      5.71   1000000         0
1744.81/1745.38	c       177       254    345.34     56.53      6.11   1000000         0
1746.11/1746.68	c       173       352    342.24     54.81      6.24   1000000         0
1747.42/1747.98	c       186       299    340.25     56.65      6.01   1000000         0
1748.71/1749.27	c       184       349    340.41     54.92      6.20   1000000         0
1750.01/1750.57	c       196       394    344.10     55.74      6.17   1000000         0
1751.31/1751.87	c       153       193    325.66     59.73      5.45   1000000         0
1752.61/1753.16	c       178       471    333.85     52.16      6.40   1000000         0
1753.92/1754.47	c       192       321    345.01     51.45      6.71   1000000         0
1755.21/1755.77	c       152       284    342.36     55.93      6.12   1000000         0
1756.51/1757.06	c       181       432    342.94     58.87      5.83   1000000         0
1757.81/1758.36	c       174       336    334.75     52.19      6.41   1000000         0
1759.11/1759.66	c       178       339    341.53     51.02      6.69   1000000         0
1760.41/1760.96	c       180       389    346.99     56.51      6.14   1000000         0
1761.72/1762.26	c       161       432    336.77     55.90      6.02   1000000         0
1763.01/1763.55	c       140       390    343.20     50.02      6.86   1000000         0
1764.31/1764.86	c       184       395    347.23     57.12      6.08   1000000         0
1765.61/1766.16	c       182       300    334.86     53.99      6.20   1000000         0
1766.91/1767.46	c       191       403    345.03     55.34      6.23   1000000         0
1768.22/1768.76	c       163       341    344.28     54.78      6.28   1000000         0
1769.51/1770.06	c       188       273    338.05     58.82      5.75   1000000         0
1770.81/1771.36	c       165       437    337.53     55.27      6.11   1000000         0
1772.11/1772.66	c       154       403    333.66     54.48      6.12   1000000         0
1773.41/1773.96	c       168       298    337.04     55.74      6.05   1000000         0
1774.71/1775.26	c       178       292    333.41     55.55      6.00   1000000         0
1776.01/1776.56	c       175       434    351.19     56.06      6.26   1000000         0
1777.31/1777.86	c       162       300    336.34     55.26      6.09   1000000         0
1778.60/1779.16	c       198       344    344.14     53.01      6.49   1000000         0
1779.90/1780.46	c       177       376    333.70     52.68      6.33   1000000         0
1781.20/1781.76	c       159       254    342.42     56.28      6.08   1000000         0
1782.51/1783.05	c       140       379    331.47     53.47      6.20   1000000         0
1783.80/1784.35	c       172       412    343.33     56.78      6.05   1000000         0
1785.10/1785.65	c       186       379    340.95     60.71      5.62   1000000         0
1786.40/1786.96	c       173       310    347.56     63.42      5.48   1000000         0
1787.70/1788.26	c       169       369    338.10     55.13      6.13   1000000         0
1789.00/1789.56	c       152       426    336.56     58.03      5.80   1000000         0
1790.31/1790.85	c       186       332    330.29     51.70      6.39   1000000         0
1791.60/1792.15	c       186       455    341.68     52.58      6.50   1000000         0
1792.90/1793.45	c       180       423    336.28     58.26      5.77   1000000         0
1794.20/1794.75	c       185       277    344.24     56.83      6.06   1000000         0
1795.50/1796.05	c       190       395    352.11     51.09      6.89   1000000         0
1796.81/1797.35	c       156       404    350.57     58.90      5.95   1000000         0
1798.10/1798.65	c       158       369    342.83     58.89      5.82   1000000         0
1799.40/1799.95	c       155       383    344.28     60.80      5.66   1000000         0
1800.01/1800.50	HOME/run: line 2: 22914 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-2685532-1278441593/watcher-2685532-1278441593 -o /tmp/evaluation-result-2685532-1278441593/solver-2685532-1278441593 -C 1800 -W 2000 -M 1800 run HOME/instance-2685532-1278441593.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.07 1.02 1.08 3/106 22913
/proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) R 22911 22913 22163 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906286997 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0

[startup+0.0850539 s]
/proc/loadavg: 1.07 1.02 1.08 3/106 22913
/proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101055 s]
/proc/loadavg: 1.07 1.02 1.08 3/106 22913
/proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301068 s]
/proc/loadavg: 1.07 1.02 1.08 3/106 22913
/proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701094 s]
/proc/loadavg: 1.07 1.02 1.08 3/106 22913
/proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50115 s]
/proc/loadavg: 1.07 1.02 1.08 2/108 22915
/proc/meminfo: memFree=1453676/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1.49
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 149 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10125 s]
/proc/loadavg: 1.07 1.02 1.08 2/108 22915
/proc/meminfo: memFree=1453428/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=3.09
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 309 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526638 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30146 s]
/proc/loadavg: 1.07 1.02 1.08 2/108 22916
/proc/meminfo: memFree=1453428/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=6.29
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 629 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7009 s]
/proc/loadavg: 1.06 1.01 1.07 2/108 22916
/proc/meminfo: memFree=1453304/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=12.69
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 1269 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5007 s]
/proc/loadavg: 1.05 1.01 1.07 2/108 22916
/proc/meminfo: memFree=1453304/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=25.48
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 2548 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1004 s]
/proc/loadavg: 1.03 1.01 1.07 2/108 22916
/proc/meminfo: memFree=1453304/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=51.07
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 5107 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.07 2/108 22918
/proc/meminfo: memFree=1453180/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=102.27
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 10227 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 22920
/proc/meminfo: memFree=1453056/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=162.25
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 16225 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526670 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 22921
/proc/meminfo: memFree=1453056/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=222.23
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 22223 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 22923
/proc/meminfo: memFree=1452932/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=282.21
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 28221 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 22924
/proc/meminfo: memFree=1452932/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=342.19
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 34219 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 22926
/proc/meminfo: memFree=1452932/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=402.17
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 40217 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1121.99
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 112198 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22947
/proc/meminfo: memFree=1451568/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1181.98
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 118197 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22948
/proc/meminfo: memFree=1451320/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1241.96
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 124195 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22959
/proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1301.93
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 130192 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22961
/proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1361.91
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 136190 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22962
/proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1421.9
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 142189 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22964
/proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1481.88
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 148187 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22965
/proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1541.86
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 154185 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22967
/proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1601.85
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 160183 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22969
/proc/meminfo: memFree=1450204/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1661.84
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 166182 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22970
/proc/meminfo: memFree=1450204/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1721.82
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 172180 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22972
/proc/meminfo: memFree=1450080/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1781.8
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 178178 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526359 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.8
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 22972
/proc/meminfo: memFree=1450080/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1800.01
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 179999 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22972
/proc/meminfo: memFree=1450080/2059040 swapFree=4192956/4192956
[pid=22913] ppid=22911 vsize=8700 CPUtime=0
/proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22913/statm: 2175 243 204 178 0 68 0
[pid=22914] ppid=22913 vsize=40452 CPUtime=1800.01
/proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 179999 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22914/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.025996
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.79157 second user time and 8.74167 second system time

The end

Launcher Data

Begin job on node030 at 2010-07-06 20:39:53
IDJOB=2685532
IDBENCH=76143
IDSOLVER=1171
FILE ID=node030/2685532-1278441593
PBS_JOBID= 11233448
Free space on /tmp= 62504 MiB

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

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

MD5SUM BENCH= 199890e645cc457b6a007529ee1e952d
RANDOM SEED=1069906423

node030.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.217
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.43
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.217
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:       1458428 kB
Buffers:        105984 kB
Cached:         361252 kB
SwapCached:          0 kB
Active:         174684 kB
Inactive:       352756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1458428 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1504 kB
Writeback:           0 kB
AnonPages:       60080 kB
Mapped:          14536 kB
Slab:            51240 kB
PageTables:       4068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180060 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62504 MiB
End job on node030 at 2010-07-06 21:09:53