Trace number 2685560

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.12 1800.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6015_4-sat.opb
MD5SUM69559824b87170fe6ae330353d26cc7c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.139978
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9272
Total number of constraints28866
Number of constraints which are clauses28566
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint60
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 52
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 391
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.08	c PB-wave - v2
0.00/0.08	c command line = ./PB-wave
0.00/0.08	c seed = 40416710
0.00/0.08	c cutoff = 1000000
0.00/0.08	c tries = 1000000
0.00/0.08	c heuristic = c best, noise 50 / 100
0.00/0.08	#var 9272 #con 28866
0.00/0.08	mode is SAT
0.00/0.08	c tail starts after flip = 27816
0.00/0.08	c numatom = 9272, numclause = 28866, numliterals = 79038
0.00/0.08	c wff read in
0.00/0.08	c 
0.00/0.08	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.08	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.08	c       this      this      this      this      this      this   success   success       until         std
0.00/0.08	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.08	c
1.19/1.28	c       200       329    388.25     67.77      5.73   1000000         0
2.39/2.49	c       242       363    403.66     72.36      5.58   1000000         0
3.69/3.70	c       177       370    388.96     73.11      5.32   1000000         0
4.89/4.91	c       205       411    393.03     72.72      5.40   1000000         0
6.09/6.12	c       192       356    400.37     68.65      5.83   1000000         0
7.29/7.33	c       199       482    401.46     64.73      6.20   1000000         0
8.49/8.54	c       221       378    391.37     79.35      4.93   1000000         0
9.69/9.75	c       208       360    391.92     64.56      6.07   1000000         0
10.89/10.95	c       236       469    394.40     70.81      5.57   1000000         0
12.09/12.16	c       231       322    405.78     65.62      6.18   1000000         0
13.29/13.37	c       182       375    401.64     74.58      5.39   1000000         0
14.49/14.58	c       226       399    394.12     69.26      5.69   1000000         0
15.69/15.79	c       220       400    394.70     70.01      5.64   1000000         0
16.89/16.99	c       203       430    397.94     66.38      5.99   1000000         0
18.19/18.20	c       213       341    393.32     61.51      6.39   1000000         0
19.39/19.41	c       229       321    399.78     76.11      5.25   1000000         0
20.58/20.61	c       208       375    404.11     79.43      5.09   1000000         0
21.78/21.82	c       222       367    395.75     73.38      5.39   1000000         0
22.99/23.03	c       220       400    396.50     63.67      6.23   1000000         0
24.19/24.24	c       232       379    398.12     67.84      5.87   1000000         0
25.38/25.45	c       216       374    394.65     61.25      6.44   1000000         0
26.58/26.66	c       227       300    403.69     68.10      5.93   1000000         0
27.78/27.88	c       219       484    406.44     68.05      5.97   1000000         0
28.98/29.08	c       203       465    396.03     69.18      5.72   1000000         0
30.18/30.29	c       211       372    400.40     69.86      5.73   1000000         0
31.38/31.50	c       232       378    395.36     62.36      6.34   1000000         0
32.68/32.71	c       224       370    398.71     78.10      5.10   1000000         0
33.88/33.91	c       218       358    404.56     70.95      5.70   1000000         0
35.09/35.13	c       220       287    392.33     62.38      6.29   1000000         0
36.29/36.33	c       216       481    390.05     75.14      5.19   1000000         0
37.48/37.54	c       197       553    398.34     65.87      6.05   1000000         0
38.68/38.75	c       171       374    392.59     78.91      4.98   1000000         0
39.88/39.96	c       224       450    399.09     66.57      6.00   1000000         0
41.08/41.17	c       214       412    387.32     64.85      5.97   1000000         0
42.28/42.37	c       219       350    387.79     61.53      6.30   1000000         0
43.48/43.58	c       219       368    400.15     82.57      4.85   1000000         0
44.68/44.79	c       235       387    403.27     63.93      6.31   1000000         0
45.98/46.00	c       242       344    398.10     59.84      6.65   1000000         0
47.18/47.21	c       209       409    383.69     72.29      5.31   1000000         0
48.38/48.42	c       177       449    392.60     73.36      5.35   1000000         0
49.58/49.63	c       250       472    407.54     58.52      6.96   1000000         0
50.78/50.84	c       220       385    397.26     71.69      5.54   1000000         0
51.98/52.05	c       243       339    397.58     68.51      5.80   1000000         0
53.17/53.26	c       186       365    389.79     67.53      5.77   1000000         0
54.37/54.47	c       181       383    389.07     78.71      4.94   1000000         0
55.57/55.68	c       234       357    399.10     64.82      6.16   1000000         0
56.77/56.89	c       226       306    394.57     71.10      5.55   1000000         0
57.97/58.09	c       227       342    396.52     67.13      5.91   1000000         0
59.28/59.30	c       218       363    412.40     70.56      5.85   1000000         0
60.48/60.51	c       191       368    394.86     74.01      5.34   1000000         0
61.67/61.72	c       200       345    397.85     66.75      5.96   1000000         0
62.87/62.93	c       209       246    383.33     63.72      6.02   1000000         0
64.07/64.13	c       208       353    394.49     67.43      5.85   1000000         0
65.27/65.34	c       226       320    388.16     61.22      6.34   1000000         0
66.47/66.55	c       212       340    402.89     72.20      5.58   1000000         0
67.67/67.76	c       217       483    404.34     76.58      5.28   1000000         0
68.87/68.97	c       213       381    394.73     63.19      6.25   1000000         0
70.07/70.18	c       204       410    398.51     62.60      6.37   1000000         0
71.27/71.39	c       216       343    400.16     80.92      4.95   1000000         0
72.48/72.59	c       211       366    382.93     70.75      5.41   1000000         0
73.77/73.80	c       208       385    407.75     59.04      6.91   1000000         0
74.97/75.02	c       236       324    402.66     63.96      6.30   1000000         0
76.17/76.23	c       209       380    387.37     68.43      5.66   1000000         0
77.37/77.43	c       216       396    395.05     58.81      6.72   1000000         0
78.57/78.64	c       216       438    391.79     71.78      5.46   1000000         0
79.77/79.84	c       240       332    386.40     66.93      5.77   1000000         0
80.97/81.06	c       207       400    405.45     66.30      6.12   1000000         0
82.17/82.26	c       207       415    390.36     73.29      5.33   1000000         0
83.37/83.47	c       187       366    393.15     73.39      5.36   1000000         0
84.57/84.68	c       219       422    403.23     77.13      5.23   1000000         0
85.77/85.88	c       214       448    377.12     67.47      5.59   1000000         0
87.06/87.10	c       230       416    412.37     62.85      6.56   1000000         0
88.26/88.31	c       188       317    392.52     67.50      5.82   1000000         0
89.46/89.51	c       223       410    399.91     69.02      5.79   1000000         0
90.66/90.72	c       201       322    398.76     65.19      6.12   1000000         0
91.86/91.94	c       215       413    396.08     73.36      5.40   1000000         0
93.06/93.14	c       233       444    396.54     61.57      6.44   1000000         0
94.26/94.35	c       213       310    394.43     78.33      5.04   1000000         0
95.46/95.56	c       215       336    401.35     71.77      5.59   1000000         0
96.67/96.77	c       196       297    385.04     69.72      5.52   1000000         0
97.87/97.98	c       225       339    386.07     68.86      5.61   1000000         0
99.06/99.19	c       207       336    391.44     65.34      5.99   1000000         0
100.26/100.40	c       217       402    397.46     67.02      5.93   1000000         0
101.56/101.60	c       216       372    398.35     76.85      5.18   1000000         0
102.76/102.82	c       212       430    403.09     66.45      6.07   1000000         0
103.96/104.02	c       219       317    391.68     78.40      5.00   1000000         0
105.16/105.23	c       223       336    398.61     66.60      5.99   1000000         0
106.36/106.44	c       199       334    399.06     77.65      5.14   1000000         0
107.56/107.65	c       244       389    401.51     64.00      6.27   1000000         0
108.77/108.86	c       199       413    402.40     74.77      5.38   1000000         0
109.97/110.07	c       219       394    396.03     64.34      6.15   1000000         0
111.16/111.28	c       220       332    382.35     70.33      5.44   1000000         0
112.36/112.49	c       220       385    402.50     66.28      6.07   1000000         0
113.66/113.70	c       237       361    390.28     65.77      5.93   1000000         0
114.86/114.91	c       223       324    384.83     75.38      5.11   1000000         0
116.06/116.12	c       194       449    390.84     64.04      6.10   1000000         0
117.26/117.33	c       216       312    405.22     69.87      5.80   1000000         0
118.46/118.54	c       199       433    403.63     63.69      6.34   1000000         0
119.66/119.74	c       211       414    407.20     69.67      5.84   1000000         0
120.86/120.95	c       220       350    394.81     60.71      6.50   1000000         0
122.06/122.16	c       216       446    401.42     65.49      6.13   1000000         0
123.26/123.37	c       226       382    403.81     79.07      5.11   1000000         0
124.46/124.58	c       216       397    394.47     62.16      6.35   1000000         0
125.65/125.79	c       222       265    392.05     72.60      5.40   1000000         0
126.95/127.00	c       221       452    396.72     61.49      6.45   1000000         0
128.15/128.21	c       215       359    408.28     66.75      6.12   1000000         0
129.35/129.41	c       198       274    396.17     74.72      5.30   1000000         0
130.55/130.62	c       240       296    401.84     60.78      6.61   1000000         0
131.75/131.83	c       208       406    396.03     67.00      5.91   1000000         0
132.96/133.04	c       219       373    391.88     75.60      5.18   1000000         0
134.16/134.25	c       239       345    394.05     64.15      6.14   1000000         0
135.35/135.46	c       215       430    397.11     78.88      5.03   1000000         0
136.55/136.68	c       222       439    402.67     81.36      4.95   1000000         0
137.75/137.89	c       188       476    397.93     75.09      5.30   1000000         0
139.05/139.10	c       224       464    397.17     77.25      5.14   1000000         0
140.25/140.31	c       231       424    391.65     64.00      6.12   1000000         0
141.45/141.52	c       242       394    397.37     54.56      7.28   1000000         0
142.65/142.72	c       207       316    392.77     67.05      5.86   1000000         0
143.85/143.93	c       176       338    397.43     79.41      5.00   1000000         0
145.06/145.14	c       229       368    391.40     76.26      5.13   1000000         0
146.26/146.36	c       215       386    395.98     74.39      5.32   1000000         0
147.45/147.57	c       236       369    407.51     71.98      5.66   1000000         0
148.65/148.78	c       208       411    395.03     69.52      5.68   1000000         0
149.85/149.99	c       204       277    389.10     65.53      5.94   1000000         0
151.15/151.20	c       221       378    390.47     58.64      6.66   1000000         0
152.35/152.42	c       210       496    395.43     67.69      5.84   1000000         0
153.55/153.63	c       213       438    396.44     71.08      5.58   1000000         0
154.75/154.84	c       211       427    390.90     73.01      5.35   1000000         0
155.95/156.04	c       217       371    389.34     58.18      6.69   1000000         0
157.15/157.25	c       213       409    391.43     78.26      5.00   1000000         0
158.35/158.46	c       239       331    388.51     71.58      5.43   1000000         0
159.54/159.67	c       218       345    392.52     66.76      5.88   1000000         0
160.74/160.87	c       236       374    389.89     64.27      6.07   1000000         0
161.94/162.08	c       215       324    397.67     68.71      5.79   1000000         0
163.14/163.29	c       190       388    402.51     67.51      5.96   1000000         0
164.44/164.50	c       220       356    397.86     71.71      5.55   1000000         0
165.64/165.71	c       237       385    400.39     69.61      5.75   1000000         0
166.84/166.91	c       216       384    382.38     67.73      5.65   1000000         0
168.04/168.12	c       178       428    391.93     67.09      5.84   1000000         0
169.25/169.33	c       204       400    401.34     72.49      5.54   1000000         0
170.45/170.53	c       225       420    397.47     86.08      4.62   1000000         0
171.64/171.74	c       194       375    393.65     70.87      5.55   1000000         0
172.84/172.95	c       229       381    411.44     64.85      6.34   1000000         0
174.04/174.16	c       246       399    401.35     62.69      6.40   1000000         0
175.24/175.37	c       221       406    391.48     67.05      5.84   1000000         0
176.44/176.58	c       157       402    389.56     80.85      4.82   1000000         0
177.64/177.79	c       233       377    393.26     73.15      5.38   1000000         0
178.94/179.00	c       225       436    393.72     63.09      6.24   1000000         0
180.14/180.20	c       177       323    372.01     71.68      5.19   1000000         0
181.35/181.41	c       204       407    390.54     58.93      6.63   1000000         0
182.55/182.62	c       229       426    401.05     71.90      5.58   1000000         0
183.74/183.83	c       234       312    409.54     77.52      5.28   1000000         0
184.94/185.04	c       214       273    397.10     67.10      5.92   1000000         0
186.14/186.25	c       237       379    398.27     63.67      6.26   1000000         0
187.34/187.45	c       209       327    391.10     75.76      5.16   1000000         0
188.54/188.66	c       225       368    400.81     75.81      5.29   1000000         0
189.74/189.87	c       216       366    390.94     69.95      5.59   1000000         0
190.94/191.08	c       222       421    405.72     62.60      6.48   1000000         0
192.14/192.29	c       196       414    396.20     66.13      5.99   1000000         0
193.34/193.50	c       237       399    389.17     61.96      6.28   1000000         0
194.64/194.70	c       210       450    399.29     75.13      5.31   1000000         0
195.84/195.91	c       189       474    396.11     60.80      6.52   1000000         0
197.04/197.12	c       208       442    380.51     63.74      5.97   1000000         0
198.23/198.33	c       219       392    403.37     72.95      5.53   1000000         0
199.43/199.54	c       241       415    406.58     69.19      5.88   1000000         0
200.63/200.74	c       212       406    382.45     74.69      5.12   1000000         0
201.83/201.95	c       211       410    390.47     69.58      5.61   1000000         0
203.03/203.16	c       211       321    399.26     65.39      6.11   1000000         0
204.23/204.37	c       185       274    396.98     73.70      5.39   1000000         0
205.43/205.59	c       200       423    390.72     61.45      6.36   1000000         0
206.64/206.80	c       199       455    402.02     72.22      5.57   1000000         0
207.93/208.01	c       179       364    402.23     67.68      5.94   1000000         0
209.13/209.21	c       186       405    401.71     63.04      6.37   1000000         0
210.33/210.42	c       195       342    385.28     63.08      6.11   1000000         0
211.53/211.64	c       223       445    390.18     70.85      5.51   1000000         0
212.73/212.84	c       207       334    398.05     64.37      6.18   1000000         0
213.93/214.05	c       213       395    393.47     68.40      5.75   1000000         0
215.13/215.25	c       228       433    398.78     60.32      6.61   1000000         0
216.33/216.46	c       207       418    385.82     68.45      5.64   1000000         0
217.53/217.67	c       207       372    390.20     74.98      5.20   1000000         0
218.74/218.88	c       256       378    408.50     65.94      6.19   1000000         0
219.93/220.09	c       222       382    403.59     69.01      5.85   1000000         0
221.23/221.30	c       210       395    399.36     74.62      5.35   1000000         0
222.43/222.51	c       212       335    401.05     72.99      5.49   1000000         0
223.63/223.72	c       177       417    384.42     70.29      5.47   1000000         0
224.83/224.93	c       239       367    388.08     64.68      6.00   1000000         0
226.03/226.13	c       192       415    388.90     67.08      5.80   1000000         0
227.23/227.34	c       243       392    398.60     70.07      5.69   1000000         0
228.43/228.55	c       208       378    398.03     59.77      6.66   1000000         0
229.63/229.77	c       231       411    403.91     74.69      5.41   1000000         0
230.83/230.97	c       171       330    391.68     86.56      4.53   1000000         0
232.03/232.19	c       222       419    400.96     66.00      6.07   1000000         0
233.22/233.40	c       209       423    387.48     64.53      6.00   1000000         0
234.52/234.61	c       234       440    400.24     70.30      5.69   1000000         0
235.72/235.82	c       182       369    409.69     66.02      6.21   1000000         0
236.92/237.02	c       200       430    399.42     68.50      5.83   1000000         0
238.12/238.23	c       178       266    388.17     77.23      5.03   1000000         0
239.32/239.44	c       221       461    390.24     74.83      5.21   1000000         0
240.52/240.64	c       204       334    400.20     74.16      5.40   1000000         0
241.72/241.85	c       197       330    400.10     67.34      5.94   1000000         0
242.93/243.06	c       217       399    392.88     70.06      5.61   1000000         0
244.13/244.27	c       219       404    393.01     57.38      6.85   1000000         0
245.32/245.48	c       167       377    392.12     72.17      5.43   1000000         0
246.52/246.68	c       225       397    402.15     79.82      5.04   1000000         0
247.72/247.89	c       212       290    380.40     61.84      6.15   1000000         0
249.02/249.10	c       226       403    387.29     62.32      6.21   1000000         0
250.22/250.30	c       203       358    388.38     74.72      5.20   1000000         0
251.42/251.52	c       216       278    394.77     61.00      6.47   1000000         0
252.62/252.72	c       220       474    388.61     66.60      5.84   1000000         0
253.82/253.94	c       223       416    406.87     68.96      5.90   1000000         0
255.03/255.14	c       205       333    397.28     75.95      5.23   1000000         0
256.23/256.35	c       230       350    410.18     78.05      5.26   1000000         0
257.42/257.56	c       179       420    395.16     74.51      5.30   1000000         0
258.62/258.77	c       225       573    402.06     66.53      6.04   1000000         0
259.82/259.97	c       223       356    387.37     70.06      5.53   1000000         0
261.02/261.18	c       238       352    393.93     62.07      6.35   1000000         0
262.22/262.39	c       200       391    383.85     65.19      5.89   1000000         0
263.52/263.60	c       218       338    415.76     70.43      5.90   1000000         0
264.72/264.81	c       196       374    404.64     72.64      5.57   1000000         0
265.92/266.01	c       222       473    391.87     64.06      6.12   1000000         0
267.12/267.22	c       231       403    396.43     65.31      6.07   1000000         0
268.32/268.43	c       224       370    398.06     74.07      5.37   1000000         0
269.52/269.64	c       209       412    389.49     67.03      5.81   1000000         0
270.71/270.85	c       238       400    394.04     73.94      5.33   1000000         0
271.91/272.06	c       215       370    403.33     69.36      5.82   1000000         0
273.11/273.27	c       218       331    383.95     61.88      6.20   1000000         0
274.31/274.48	c       200       341    395.56     69.51      5.69   1000000         0
275.51/275.69	c       232       358    392.72     61.12      6.43   1000000         0
276.81/276.90	c       200       268    390.69     66.49      5.88   1000000         0
278.01/278.10	c       229       373    399.91     66.57      6.01   1000000         0
279.22/279.31	c       202       408    392.55     72.40      5.42   1000000         0
280.42/280.52	c       211       332    401.26     78.06      5.14   1000000         0
281.61/281.74	c       222       392    409.71     69.62      5.88   1000000         0
282.81/282.94	c       205       340    387.41     72.41      5.35   1000000         0
284.01/284.16	c       242       356    409.98     70.71      5.80   1000000         0
285.21/285.36	c       234       397    400.07     72.98      5.48   1000000         0
286.41/286.57	c       191       420    394.46     64.84      6.08   1000000         0
287.61/287.78	c       242       308    401.88     62.37      6.44   1000000         0
288.81/289.00	c       183       448    388.58     79.81      4.87   1000000         0
290.11/290.20	c       230       449    414.49     75.09      5.52   1000000         0
291.32/291.41	c       217       389    391.95     74.22      5.28   1000000         0
292.52/292.62	c       219       482    392.14     68.68      5.71   1000000         0
293.71/293.83	c       212       405    413.54     71.52      5.78   1000000         0
294.91/295.04	c       200       414    405.21     82.34      4.92   1000000         0
296.11/296.26	c       235       393    393.01     66.41      5.92   1000000         0
297.31/297.47	c       193       402    405.40     66.94      6.06   1000000         0
298.51/298.68	c       214       520    404.70     71.58      5.65   1000000         0
299.71/299.88	c       168       336    400.08     75.03      5.33   1000000         0
300.91/301.09	c       230       330    396.07     61.26      6.47   1000000         0
302.11/302.29	c       220       411    397.75     64.81      6.14   1000000         0
303.41/303.50	c       218       441    404.18     71.57      5.65   1000000         0
304.61/304.72	c       224       378    403.31     67.31      5.99   1000000         0
305.80/305.92	c       224       448    378.19     65.82      5.75   1000000         0
307.00/307.12	c       221       412    385.72     64.26      6.00   1000000         0
308.20/308.33	c       190       385    380.31     64.39      5.91   1000000         0
309.40/309.54	c       193       362    389.63     75.10      5.19   1000000         0
310.60/310.74	c       233       450    405.11     65.07      6.23   1000000         0
311.80/311.95	c       194       284    396.82     64.81      6.12   1000000         0
313.00/313.16	c       227       510    400.06     68.27      5.86   1000000         0
314.20/314.37	c       199       315    403.71     66.26      6.09   1000000         0
315.40/315.57	c       216       471    397.57     59.75      6.65   1000000         0
316.61/316.78	c       221       321    396.30     73.05      5.43   1000000         0
317.81/317.99	c       195       509    394.51     69.60      5.67   1000000         0
319.10/319.20	c       222       375    390.56     60.75      6.43   1000000         0
320.30/320.40	c       230       381    388.95     72.89      5.34   1000000         0
321.50/321.61	c       225       438    386.37     63.52      6.08   1000000         0
322.70/322.82	c       236       364    402.33     64.44      6.24   1000000         0
323.90/324.03	c       210       354    389.97     71.78      5.43   1000000         0
325.10/325.24	c       238       397    395.25     74.98      5.27   1000000         0
326.30/326.45	c       219       369    385.57     65.30      5.90   1000000         0
327.50/327.65	c       215       395    390.90     71.05      5.50   1000000         0
328.71/328.86	c       216       403    399.24     73.50      5.43   1000000         0
329.91/330.07	c       217       439    388.77     68.98      5.64   1000000         0
331.10/331.28	c       220       416    397.28     59.99      6.62   1000000         0
332.30/332.49	c       214       437    400.02     65.36      6.12   1000000         0
333.60/333.70	c       233       469    399.36     75.47      5.29   1000000         0
334.80/334.91	c       214       396    400.07     60.84      6.58   1000000         0
336.00/336.12	c       228       342    399.84     70.94      5.64   1000000         0
337.20/337.33	c       224       333    390.27     70.00      5.58   1000000         0
338.40/338.54	c       215       356    384.23     66.69      5.76   1000000         0
339.59/339.74	c       249       372    404.04     59.52      6.79   1000000         0
340.80/340.95	c       213       349    380.91     61.10      6.23   1000000         0
342.00/342.16	c       212       330    403.79     64.98      6.21   1000000         0
343.19/343.37	c       219       413    401.06     69.56      5.77   1000000         0
344.39/344.58	c       200       501    394.15     71.90      5.48   1000000         0
345.59/345.78	c       215       358    396.16     68.14      5.81   1000000         0
346.79/347.00	c       232       435    397.92     64.97      6.12   1000000         0
348.09/348.20	c       203       373    388.77     66.13      5.88   1000000         0
349.29/349.41	c       221       454    393.62     75.27      5.23   1000000         0
350.49/350.62	c       232       371    402.92     71.47      5.64   1000000         0
351.69/351.83	c       213       504    389.63     62.72      6.21   1000000         0
352.90/353.03	c       197       392    395.26     68.48      5.77   1000000         0
354.10/354.24	c       197       463    398.51     69.51      5.73   1000000         0
355.29/355.45	c       211       380    388.96     64.16      6.06   1000000         0
356.49/356.65	c       247       394    395.49     72.06      5.49   1000000         0
357.69/357.86	c       230       326    389.79     65.49      5.95   1000000         0
358.89/359.07	c       207       368    393.77     76.39      5.15   1000000         0
360.09/360.28	c       217       402    415.06     68.28      6.08   1000000         0
361.29/361.49	c       205       406    394.34     71.52      5.51   1000000         0
362.59/362.70	c       205       401    394.89     73.48      5.37   1000000         0
363.79/363.91	c       235       398    392.06     58.15      6.74   1000000         0
364.99/365.12	c       220       374    394.64     67.07      5.88   1000000         0
366.20/366.33	c       225       372    400.15     65.87      6.07   1000000         0
367.39/367.53	c       213       495    395.31     66.24      5.97   1000000         0
368.59/368.74	c       177       372    393.83     73.35      5.37   1000000         0
369.79/369.95	c       225       440    390.44     59.88      6.52   1000000         0
370.99/371.16	c       202       448    388.48     65.94      5.89   1000000         0
372.19/372.37	c       199       459    383.31     66.81      5.74   1000000         0
373.39/373.57	c       220       367    395.73     63.26      6.26   1000000         0
374.59/374.79	c       213       424    398.20     61.23      6.50   1000000         0
375.88/376.00	c       231       459    394.62     68.71      5.74   1000000         0
377.09/377.21	c       218       421    388.59     75.60      5.14   1000000         0
378.29/378.42	c       173       291    395.86     66.51      5.95   1000000         0
379.48/379.62	c       226       409    401.20     60.14      6.67   1000000         0
380.68/380.83	c       247       403    396.26     57.80      6.86   1000000         0
381.88/382.04	c       218       376    395.99     64.86      6.11   1000000         0
383.08/383.25	c       215       338    386.12     59.97      6.44   1000000         0
384.28/384.46	c       222       337    394.55     78.39      5.03   1000000         0
385.48/385.67	c       241       373    412.40     70.44      5.85   1000000         0
386.68/386.88	c       218       372    398.82     66.67      5.98   1000000         0
387.88/388.09	c       221       424    396.10     57.79      6.85   1000000         0
389.08/389.30	c       230       452    396.88     62.94      6.31   1000000         0
390.29/390.50	c       235       436    404.55     78.10      5.18   1000000         0
391.58/391.71	c       218       389    392.56     60.45      6.49   1000000         0
392.78/392.92	c       228       307    392.76     65.31      6.01   1000000         0
393.98/394.12	c       225       416    395.96     60.49      6.55   1000000         0
395.18/395.33	c       214       481    397.95     73.89      5.39   1000000         0
396.38/396.54	c       223       365    402.39     65.07      6.18   1000000         0
397.58/397.74	c       220       522    388.81     71.86      5.41   1000000         0
398.78/398.95	c       216       364    394.18     59.52      6.62   1000000         0
399.98/400.16	c       208       436    399.40     68.11      5.86   1000000         0
401.18/401.37	c       223       339    393.50     66.74      5.90   1000000         0
402.38/402.58	c       227       358    400.75     69.44      5.77   1000000         0
403.58/403.78	c       222       380    400.05     62.86      6.36   1000000         0
404.88/405.00	c       201       357    401.62     66.60      6.03   1000000         0
406.08/406.21	c       247       389    407.16     66.77      6.10   1000000         0
407.28/407.42	c       195       319    378.35     69.56      5.44   1000000         0
408.47/408.63	c       230       346    397.00     77.29      5.14   1000000         0
409.67/409.83	c       240       462    390.44     70.70      5.52   1000000         0
410.87/411.04	c       221       433    391.63     59.23      6.61   1000000         0
412.07/412.25	c       237       398    404.52     70.08      5.77   1000000         0
413.27/413.45	c       216       401    394.43     74.46      5.30   1000000         0
414.48/414.67	c       221       339    402.82     77.46      5.20   1000000         0
415.68/415.87	c       225       430    390.80     71.24      5.49   1000000         0
416.87/417.08	c       218       255    399.36     71.29      5.60   1000000         0
418.07/418.28	c       220       437    417.02     65.32      6.38   1000000         0
419.27/419.49	c       219       412    397.96     59.01      6.74   1000000         0
420.57/420.70	c       212       368    386.02     66.38      5.82   1000000         0
421.77/421.90	c       229       444    399.64     63.10      6.33   1000000         0
422.97/423.11	c       223       332    393.83     68.10      5.78   1000000         0
424.17/424.31	c       209       423    391.69     71.10      5.51   1000000         0
425.37/425.52	c       220       381    393.78     62.07      6.34   1000000         0
426.58/426.73	c       226       346    398.57     70.79      5.63   1000000         0
427.78/427.94	c       216       423    394.09     74.09      5.32   1000000         0
428.97/429.15	c       244       310    397.60     76.75      5.18   1000000         0
430.17/430.37	c       207       393    393.13     66.99      5.87   1000000         0
431.37/431.57	c       230       356    394.27     70.44      5.60   1000000         0
432.57/432.78	c       236       298    388.81     61.77      6.29   1000000         0
433.87/434.00	c       235       404    407.08     62.53      6.51   1000000         0
435.07/435.21	c       221       367    386.63     64.42      6.00   1000000         0
436.27/436.41	c       213       419    392.26     61.28      6.40   1000000         0
437.47/437.62	c       215       352    395.20     71.50      5.53   1000000         0
438.67/438.83	c       233       368    395.97     78.96      5.01   1000000         0
439.87/440.04	c       219       396    391.84     70.87      5.53   1000000         0
441.06/441.25	c       232       381    407.23     73.70      5.53   1000000         0
442.26/442.45	c       202       374    403.69     76.47      5.28   1000000         0
443.46/443.66	c       207       354    381.81     58.53      6.52   1000000         0
444.66/444.87	c       201       351    390.79     63.04      6.20   1000000         0
445.86/446.08	c       218       305    392.00     72.98      5.37   1000000         0
447.06/447.28	c       188       417    397.89     65.78      6.05   1000000         0
448.26/448.49	c       234       307    390.08     70.61      5.52   1000000         0
449.56/449.70	c       223       458    396.59     62.75      6.32   1000000         0
450.77/450.91	c       225       356    407.15     65.69      6.20   1000000         0
451.97/452.12	c       220       427    395.97     65.77      6.02   1000000         0
453.16/453.33	c       236       358    397.13     70.88      5.60   1000000         0
454.36/454.54	c       207       302    399.67     73.95      5.40   1000000         0
455.56/455.75	c       235       487    403.19     72.22      5.58   1000000         0
456.76/456.96	c       164       358    393.08     72.29      5.44   1000000         0
457.96/458.17	c       226       347    391.02     73.37      5.33   1000000         0
459.16/459.38	c       192       389    390.46     67.08      5.82   1000000         0
460.36/460.59	c       221       262    400.39     69.74      5.74   1000000         0
461.66/461.80	c       189       313    386.66     60.90      6.35   1000000         0
462.87/463.01	c       203       348    397.51     59.20      6.71   1000000         0
464.07/464.22	c       241       437    398.00     63.50      6.27   1000000         0
465.26/465.43	c       206       266    391.07     83.59      4.68   1000000         0
466.46/466.64	c       223       426    400.16     69.99      5.72   1000000         0
467.66/467.85	c       208       433    391.97     68.91      5.69   1000000         0
468.86/469.06	c       190       224    384.08     72.81      5.27   1000000         0
470.06/470.26	c       168       450    399.80     70.33      5.68   1000000         0
471.26/471.47	c       214       452    396.58     67.51      5.87   1000000         0
472.46/472.68	c       218       391    405.07     63.61      6.37   1000000         0
473.66/473.89	c       213       408    394.14     61.95      6.36   1000000         0
474.96/475.10	c       185       442    402.70     75.09      5.36   1000000         0
476.16/476.31	c       216       390    396.46     58.12      6.82   1000000         0
477.36/477.52	c       200       363    393.36     84.94      4.63   1000000         0
478.56/478.73	c       210       399    391.11     59.08      6.62   1000000         0
479.76/479.93	c       206       414    387.75     68.41      5.67   1000000         0
480.95/481.14	c       225       359    390.11     61.51      6.34   1000000         0
482.15/482.35	c       206       323    392.78     57.80      6.80   1000000         0
483.35/483.55	c       213       425    388.43     81.42      4.77   1000000         0
484.55/484.76	c       222       374    405.29     74.80      5.42   1000000         0
485.75/485.97	c       214       492    396.53     68.61      5.78   1000000         0
486.95/487.18	c       191       353    386.20     70.46      5.48   1000000         0
488.16/488.38	c       205       364    385.03     73.73      5.22   1000000         0
489.36/489.59	c       219       337    403.46     65.52      6.16   1000000         0
490.65/490.80	c       235       405    403.47     73.70      5.47   1000000         0
491.85/492.01	c       224       378    407.54     64.93      6.28   1000000         0
493.05/493.22	c       245       366    407.91     72.12      5.66   1000000         0
494.25/494.43	c       211       462    397.23     70.09      5.67   1000000         0
495.45/495.64	c       239       356    395.72     58.34      6.78   1000000         0
496.65/496.85	c       193       402    413.77     72.59      5.70   1000000         0
497.85/498.06	c       204       318    381.02     70.65      5.39   1000000         0
499.05/499.26	c       215       394    373.29     56.81      6.57   1000000         0
500.26/500.47	c       223       356    396.21     63.74      6.22   1000000         0
501.46/501.68	c       199       416    389.82     64.10      6.08   1000000         0
502.65/502.89	c       222       429    401.61     66.65      6.03   1000000         0
503.85/504.10	c       211       427    385.46     68.83      5.60   1000000         0
505.15/505.30	c       218       293    394.20     63.59      6.20   1000000         0
506.35/506.51	c       213       428    406.38     77.13      5.27   1000000         0
507.55/507.73	c       250       331    411.47     71.58      5.75   1000000         0
508.75/508.94	c       217       389    385.48     66.39      5.81   1000000         0
509.95/510.15	c       181       312    394.24     72.74      5.42   1000000         0
511.15/511.36	c       214       429    402.71     63.64      6.33   1000000         0
512.35/512.57	c       232       351    396.19     68.74      5.76   1000000         0
513.55/513.78	c       209       327    381.32     65.89      5.79   1000000         0
514.75/514.99	c       227       351    392.80     57.89      6.79   1000000         0
515.95/516.19	c       249       417    397.98     63.44      6.27   1000000         0
517.25/517.40	c       201       318    400.74     67.59      5.93   1000000         0
518.45/518.61	c       259       410    406.70     60.16      6.76   1000000         0
519.64/519.82	c       143       370    394.10     76.95      5.12   1000000         0
520.84/521.03	c       194       366    401.88     66.00      6.09   1000000         0
522.04/522.23	c       231       324    388.85     58.38      6.66   1000000         0
523.24/523.45	c       235       548    399.37     71.01      5.62   1000000         0
524.45/524.65	c       233       375    397.14     63.92      6.21   1000000         0
525.65/525.86	c       199       439    395.14     82.68      4.78   1000000         0
526.84/527.06	c       219       334    394.37     69.09      5.71   1000000         0
528.04/528.27	c       176       437    390.63     67.94      5.75   1000000         0
529.24/529.48	c       226       367    404.39     73.86      5.48   1000000         0
530.44/530.69	c       197       351    388.05     70.73      5.49   1000000         0
531.74/531.90	c       247       391    394.76     55.92      7.06   1000000         0
532.94/533.11	c       211       428    393.87     60.18      6.55   1000000         0
534.14/534.32	c       222       374    400.96     67.66      5.93   1000000         0
535.34/535.53	c       175       378    400.92     64.77      6.19   1000000         0
536.55/536.74	c       208       315    401.19     69.56      5.77   1000000         0
537.75/537.95	c       180       381    396.92     72.94      5.44   1000000         0
538.94/539.15	c       241       417    401.40     77.10      5.21   1000000         0
540.14/540.36	c       212       396    395.95     79.68      4.97   1000000         0
541.34/541.57	c       233       449    395.75     69.68      5.68   1000000         0
542.54/542.77	c       198       382    389.56     64.30      6.06   1000000         0
543.74/543.98	c       219       446    391.80     66.68      5.88   1000000         0
544.94/545.18	c       235       356    402.60     73.23      5.50   1000000         0
546.14/546.39	c       206       382    401.55     79.17      5.07   1000000         0
547.44/547.60	c       178       474    393.23     69.15      5.69   1000000         0
548.64/548.81	c       238       488    399.35     67.26      5.94   1000000         0
549.84/550.02	c       231       397    407.96     65.60      6.22   1000000         0
551.04/551.23	c       214       391    397.32     65.16      6.10   1000000         0
552.24/552.44	c       218       336    401.07     66.29      6.05   1000000         0
553.43/553.64	c       231       265    398.52     73.17      5.45   1000000         0
554.63/554.85	c       183       313    391.60     56.69      6.91   1000000         0
555.83/556.06	c       224       335    390.77     66.84      5.85   1000000         0
557.03/557.26	c       209       468    390.75     72.66      5.38   1000000         0
558.23/558.47	c       218       358    391.02     71.79      5.45   1000000         0
559.43/559.68	c       233       335    381.78     64.85      5.89   1000000         0
560.63/560.89	c       201       361    387.67     73.48      5.28   1000000         0
561.84/562.09	c       216       402    391.38     64.65      6.05   1000000         0
563.13/563.30	c       218       302    393.28     58.01      6.78   1000000         0
564.33/564.51	c       220       360    393.59     60.04      6.56   1000000         0
565.53/565.72	c       221       338    407.01     72.30      5.63   1000000         0
566.73/566.93	c       190       338    396.49     69.00      5.75   1000000         0
567.93/568.14	c       205       422    391.97     68.37      5.73   1000000         0
569.13/569.35	c       206       387    385.40     58.19      6.62   1000000         0
570.33/570.56	c       221       401    393.77     77.29      5.09   1000000         0
571.53/571.76	c       215       477    390.78     73.36      5.33   1000000         0
572.73/572.97	c       205       282    403.36     80.34      5.02   1000000         0
573.94/574.18	c       202       467    387.07     80.45      4.81   1000000         0
575.14/575.38	c       220       468    399.26     71.25      5.60   1000000         0
576.33/576.59	c       191       441    384.78     60.98      6.31   1000000         0
577.63/577.80	c       232       451    384.46     70.20      5.48   1000000         0
578.83/579.01	c       214       536    402.98     66.96      6.02   1000000         0
580.03/580.22	c       226       347    402.77     69.72      5.78   1000000         0
581.23/581.43	c       216       329    386.30     62.94      6.14   1000000         0
582.43/582.64	c       232       466    393.82     60.05      6.56   1000000         0
583.63/583.84	c       216       431    403.49     70.13      5.75   1000000         0
584.83/585.05	c       231       498    406.25     69.70      5.83   1000000         0
586.03/586.27	c       186       288    398.03     69.78      5.70   1000000         0
587.23/587.48	c       179       407    400.50     74.24      5.39   1000000         0
588.53/588.70	c       223       381    393.92     65.64      6.00   1000000         0
589.73/589.90	c       209       384    375.45     66.10      5.68   1000000         0
590.93/591.11	c       230       450    376.68     59.48      6.33   1000000         0
592.12/592.32	c       211       330    395.89     70.63      5.60   1000000         0
593.32/593.52	c       199       346    387.54     64.14      6.04   1000000         0
594.52/594.73	c       220       392    395.38     62.15      6.36   1000000         0
595.72/595.94	c       235       419    398.80     59.17      6.74   1000000         0
596.92/597.15	c       195       355    388.41     76.77      5.06   1000000         0
598.13/598.35	c       160       350    384.25     70.86      5.42   1000000         0
599.33/599.56	c       220       349    394.66     69.35      5.69   1000000         0
600.52/600.77	c       215       438    393.14     67.04      5.86   1000000         0
601.72/601.98	c       220       441    399.84     60.15      6.65   1000000         0
602.92/603.19	c       219       438    387.15     69.58      5.56   1000000         0
604.12/604.39	c       237       341    399.40     66.96      5.96   1000000         0
605.42/605.60	c       185       317    387.60     78.20      4.96   1000000         0
606.62/606.81	c       224       348    394.49     59.02      6.68   1000000         0
607.82/608.02	c       240       313    389.69     63.48      6.14   1000000         0
609.02/609.22	c       212       345    389.09     67.67      5.75   1000000         0
610.23/610.43	c       202       357    397.95     70.53      5.64   1000000         0
611.43/611.64	c       220       434    397.16     61.37      6.47   1000000         0
612.62/612.85	c       220       310    394.56     78.76      5.01   1000000         0
613.82/614.06	c       221       406    393.88     64.70      6.09   1000000         0
615.02/615.27	c       203       454    387.59     63.37      6.12   1000000         0
616.22/616.48	c       208       410    394.60     64.42      6.13   1000000         0
617.42/617.69	c       227       469    400.60     68.77      5.83   1000000         0
618.72/618.90	c       229       358    399.71     68.88      5.80   1000000         0
619.92/620.11	c       217       390    385.90     71.06      5.43   1000000         0
621.12/621.32	c       215       368    397.27     56.95      6.98   1000000         0
622.32/622.53	c       217       316    392.83     76.17      5.16   1000000         0
623.52/623.74	c       226       475    389.93     71.60      5.45   1000000         0
624.72/624.95	c       226       402    391.74     60.31      6.50   1000000         0
625.92/626.16	c       176       347    388.77     76.77      5.06   1000000         0
627.12/627.36	c       184       434    389.14     66.68      5.84   1000000         0
628.32/628.58	c       209       394    394.59     76.25      5.17   1000000         0
629.52/629.79	c       230       361    383.71     59.79      6.42   1000000         0
630.81/631.00	c       208       422    393.14     63.08      6.23   1000000         0
632.01/632.21	c       205       378    397.01     63.63      6.24   1000000         0
633.21/633.42	c       224       335    401.69     87.58      4.59   1000000         0
634.42/634.62	c       204       434    390.62     69.35      5.63   1000000         0
635.62/635.84	c       216       441    399.61     68.46      5.84   1000000         0
636.81/637.04	c       208       428    401.08     65.19      6.15   1000000         0
638.01/638.25	c       236       518    399.68     69.23      5.77   1000000         0
639.21/639.46	c       239       378    392.05     67.87      5.78   1000000         0
640.41/640.68	c       200       392    396.23     70.65      5.61   1000000         0
641.61/641.89	c       232       433    393.80     63.99      6.15   1000000         0
642.91/643.10	c       221       426    396.28     64.38      6.16   1000000         0
644.11/644.31	c       224       429    396.06     72.47      5.47   1000000         0
645.31/645.52	c       253       427    408.10     60.00      6.80   1000000         0
646.52/646.73	c       219       378    394.48     68.25      5.78   1000000         0
647.72/647.94	c       223       274    390.58     71.89      5.43   1000000         0
648.91/649.15	c       187       462    394.59     70.57      5.59   1000000         0
650.11/650.36	c       228       275    390.67     60.92      6.41   1000000         0
651.31/651.57	c       215       438    400.70     58.89      6.80   1000000         0
652.51/652.78	c       207       421    386.58     72.86      5.31   1000000         0
653.71/653.99	c       232       361    410.14     72.89      5.63   1000000         0
655.01/655.20	c       214       346    409.02     71.58      5.71   1000000         0
656.21/656.41	c       230       365    398.76     58.53      6.81   1000000         0
657.41/657.62	c       204       256    391.54     63.40      6.18   1000000         0
658.61/658.83	c       199       441    391.05     72.49      5.39   1000000         0
659.81/660.03	c       241       439    406.26     73.81      5.50   1000000         0
661.01/661.24	c       191       413    379.79     66.54      5.71   1000000         0
662.21/662.45	c       208       412    402.56     66.31      6.07   1000000         0
663.41/663.66	c       220       337    396.23     63.79      6.21   1000000         0
664.60/664.87	c       220       405    380.67     63.07      6.04   1000000         0
665.80/666.08	c       167       414    391.53     64.82      6.04   1000000         0
667.00/667.29	c       224       412    408.28     70.78      5.77   1000000         0
668.30/668.50	c       228       442    394.91     76.57      5.16   1000000         0
669.50/669.71	c       210       289    392.22     66.85      5.87   1000000         0
670.71/670.92	c       245       330    399.05     66.73      5.98   1000000         0
671.91/672.13	c       206       438    399.04     71.90      5.55   1000000         0
673.10/673.34	c       209       379    392.62     70.10      5.60   1000000         0
674.30/674.54	c       182       301    383.75     63.87      6.01   1000000         0
675.50/675.75	c       215       459    393.69     62.87      6.26   1000000         0
676.70/676.96	c       211       463    389.90     66.96      5.82   1000000         0
677.90/678.16	c       222       316    396.90     64.03      6.20   1000000         0
679.10/679.38	c       216       441    396.96     71.49      5.55   1000000         0
680.30/680.58	c       230       351    403.94     65.90      6.13   1000000         0
681.50/681.79	c       245       318    404.21     64.59      6.26   1000000         0
682.81/683.00	c       222       314    390.05     67.63      5.77   1000000         0
684.01/684.21	c       191       412    398.17     71.88      5.54   1000000         0
685.20/685.42	c       220       355    390.53     69.93      5.58   1000000         0
686.40/686.63	c       214       510    390.86     71.18      5.49   1000000         0
687.61/687.83	c       182       398    392.34     69.40      5.65   1000000         0
688.81/689.04	c       187       419    395.75     77.31      5.12   1000000         0
690.01/690.24	c       214       371    386.69     67.45      5.73   1000000         0
691.21/691.45	c       244       397    394.65     65.84      5.99   1000000         0
692.41/692.66	c       204       458    400.72     66.43      6.03   1000000         0
693.61/693.87	c       148       459    384.83     81.36      4.73   1000000         0
694.81/695.08	c       238       391    396.10     70.26      5.64   1000000         0
696.01/696.29	c       228       362    400.48     69.83      5.74   1000000         0
697.30/697.50	c       224       354    396.60     67.30      5.89   1000000         0
698.50/698.71	c       215       289    386.87     70.43      5.49   1000000         0
699.70/699.91	c       231       419    385.14     64.77      5.95   1000000         0
700.90/701.12	c       210       422    396.95     84.20      4.71   1000000         0
702.10/702.33	c       197       483    391.62     63.65      6.15   1000000         0
703.30/703.54	c       228       418    398.47     67.79      5.88   1000000         0
704.50/704.75	c       224       444    398.12     65.95      6.04   1000000         0
705.70/705.95	c       216       402    397.35     65.87      6.03   1000000         0
706.90/707.16	c       224       421    397.06     68.81      5.77   1000000         0
708.11/708.37	c       208       350    391.52     62.71      6.24   1000000         0
709.31/709.58	c       203       399    384.03     63.44      6.05   1000000         0
710.50/710.79	c       190       249    387.21     67.01      5.78   1000000         0
711.80/712.00	c       227       375    393.47     64.05      6.14   1000000         0
713.00/713.21	c       225       356    404.93     73.91      5.48   1000000         0
714.20/714.42	c       222       394    397.20     73.02      5.44   1000000         0
715.40/715.63	c       210       386    397.06     75.38      5.27   1000000         0
716.60/716.84	c       225       439    394.24     60.14      6.55   1000000         0
717.80/718.04	c       216       384    381.20     72.92      5.23   1000000         0
719.00/719.25	c       223       335    393.09     72.12      5.45   1000000         0
720.21/720.46	c       192       421    394.29     74.25      5.31   1000000         0
721.41/721.67	c       225       420    405.21     63.46      6.39   1000000         0
722.60/722.88	c       193       393    403.15     69.29      5.82   1000000         0
723.80/724.09	c       223       407    398.18     70.02      5.69   1000000         0
725.10/725.30	c       214       434    394.38     63.74      6.19   1000000         0
726.30/726.51	c       212       437    399.31     71.24      5.61   1000000         0
727.50/727.71	c       206       402    394.67     68.77      5.74   1000000         0
728.70/728.92	c       222       354    386.02     65.11      5.93   1000000         0
729.90/730.13	c       229       365    397.26     65.52      6.06   1000000         0
731.10/731.33	c       220       326    396.21     69.33      5.71   1000000         0
732.30/732.54	c       224       460    396.35     66.59      5.95   1000000         0
733.50/733.75	c       228       306    397.40     65.79      6.04   1000000         0
734.69/734.97	c       205       384    389.59     69.71      5.59   1000000         0
735.89/736.17	c       170       417    400.70     64.62      6.20   1000000         0
737.09/737.38	c       194       345    389.85     72.48      5.38   1000000         0
738.29/738.59	c       238       349    395.97     65.97      6.00   1000000         0
739.49/739.79	c       232       383    393.64     65.29      6.03   1000000         0
740.79/741.00	c       228       399    400.87     67.89      5.90   1000000         0
741.99/742.21	c       259       340    427.88     62.99      6.79   1000000         0
743.19/743.43	c       201       426    393.01     68.92      5.70   1000000         0
744.40/744.63	c       223       352    398.45     67.09      5.94   1000000         0
745.60/745.84	c       189       399    390.80     68.55      5.70   1000000         0
746.79/747.05	c       243       385    416.73     67.08      6.21   1000000         0
747.99/748.26	c       208       368    385.74     65.87      5.86   1000000         0
749.19/749.47	c       200       478    392.78     80.98      4.85   1000000         0
750.39/750.68	c       230       460    391.10     68.65      5.70   1000000         0
751.59/751.88	c       210       457    395.01     64.21      6.15   1000000         0
752.89/753.10	c       219       379    400.98     67.21      5.97   1000000         0
754.09/754.30	c       201       428    385.39     64.71      5.96   1000000         0
755.29/755.51	c       198       378    390.90     75.50      5.18   1000000         0
756.50/756.72	c       258       411    405.78     81.55      4.98   1000000         0
757.70/757.93	c       211       370    396.07     64.51      6.14   1000000         0
758.89/759.13	c       219       406    384.30     62.72      6.13   1000000         0
760.09/760.35	c       235       338    412.83     78.96      5.23   1000000         0
761.29/761.56	c       232       381    402.24     68.72      5.85   1000000         0
762.49/762.76	c       215       499    395.32     73.08      5.41   1000000         0
763.69/763.97	c       231       446    392.65     69.05      5.69   1000000         0
764.89/765.18	c       170       286    379.18     77.49      4.89   1000000         0
766.09/766.38	c       218       382    390.18     63.28      6.17   1000000         0
767.29/767.59	c       237       301    385.46     62.46      6.17   1000000         0
768.59/768.80	c       237       340    401.79     71.01      5.66   1000000         0
769.79/770.01	c       238       339    386.35     58.60      6.59   1000000         0
770.98/771.22	c       231       379    392.27     63.89      6.14   1000000         0
772.18/772.43	c       241       411    405.85     68.94      5.89   1000000         0
773.38/773.64	c       171       459    402.12     80.05      5.02   1000000         0
774.58/774.85	c       208       406    395.43     68.55      5.77   1000000         0
775.78/776.06	c       203       389    391.81     59.03      6.64   1000000         0
776.98/777.27	c       208       333    378.46     60.40      6.27   1000000         0
778.18/778.48	c       228       428    401.09     65.57      6.12   1000000         0
779.38/779.69	c       198       421    395.27     69.99      5.65   1000000         0
780.69/780.90	c       220       459    389.64     63.06      6.18   1000000         0
781.79/782.10	c       214       393    392.18     65.08      6.03   1000000         0
783.08/783.31	c       214       396    379.95     69.73      5.45   1000000         0
784.28/784.51	c       224       335    399.67     72.57      5.51   1000000         0
785.48/785.73	c       252       366    399.95     62.16      6.43   1000000         0
786.68/786.93	c       226       340    397.73     68.36      5.82   1000000         0
787.88/788.14	c       208       363    395.12     70.70      5.59   1000000         0
789.08/789.35	c       196       378    387.52     72.95      5.31   1000000         0
790.28/790.56	c       210       404    394.06     72.52      5.43   1000000         0
791.48/791.78	c       231       356    397.25     72.62      5.47   1000000         0
792.68/792.98	c       221       420    393.08     72.52      5.42   1000000         0
793.89/794.19	c       208       392    397.20     65.12      6.10   1000000         0
795.18/795.40	c       221       384    386.24     68.46      5.64   1000000         0
796.38/796.61	c       211       335    378.79     69.00      5.49   1000000         0
797.58/797.82	c       246       358    403.76     68.64      5.88   1000000         0
798.78/799.03	c       239       300    404.57     68.16      5.94   1000000         0
799.98/800.23	c       214       326    402.17     71.08      5.66   1000000         0
801.18/801.45	c       231       456    403.22     79.79      5.05   1000000         0
802.38/802.65	c       230       399    393.41     62.74      6.27   1000000         0
803.58/803.86	c       226       472    394.80     78.25      5.05   1000000         0
804.78/805.07	c       230       409    401.82     68.85      5.84   1000000         0
805.98/806.28	c       217       410    387.89     58.96      6.58   1000000         0
807.18/807.49	c       216       396    393.91     64.15      6.14   1000000         0
808.48/808.70	c       239       377    403.29     72.50      5.56   1000000         0
809.67/809.91	c       193       457    395.33     63.58      6.22   1000000         0
810.87/811.11	c       206       444    405.08     67.29      6.02   1000000         0
812.07/812.32	c       225       389    394.36     61.79      6.38   1000000         0
813.27/813.53	c       231       454    399.01     72.25      5.52   1000000         0
814.47/814.74	c       165       369    381.21     71.66      5.32   1000000         0
815.67/815.95	c       246       395    408.01     62.81      6.50   1000000         0
816.87/817.17	c       212       395    391.49     68.84      5.69   1000000         0
818.08/818.37	c       227       515    394.82     65.72      6.01   1000000         0
819.28/819.58	c       211       505    391.09     67.23      5.82   1000000         0
820.47/820.79	c       234       364    397.13     72.10      5.51   1000000         0
821.67/821.99	c       198       271    376.12     54.91      6.85   1000000         0
822.97/823.20	c       232       343    391.05     60.44      6.47   1000000         0
824.17/824.40	c       231       361    394.16     67.86      5.81   1000000         0
825.37/825.61	c       197       394    401.06     65.82      6.09   1000000         0
826.57/826.82	c       222       350    406.04     62.28      6.52   1000000         0
827.77/828.03	c       183       430    398.48     71.39      5.58   1000000         0
828.97/829.24	c       210       282    408.42     68.70      5.95   1000000         0
830.18/830.45	c       184       376    400.26     67.31      5.95   1000000         0
831.38/831.66	c       198       363    386.56     57.91      6.68   1000000         0
832.57/832.87	c       224       444    390.64     73.16      5.34   1000000         0
833.77/834.08	c       214       352    388.95     67.12      5.79   1000000         0
834.97/835.29	c       231       456    400.53     65.49      6.12   1000000         0
836.27/836.50	c       215       389    397.65     61.26      6.49   1000000         0
837.47/837.71	c       227       384    406.28     63.46      6.40   1000000         0
838.67/838.92	c       201       416    385.73     64.63      5.97   1000000         0
839.87/840.13	c       214       346    392.11     68.90      5.69   1000000         0
841.07/841.34	c       216       397    399.30     84.10      4.75   1000000         0
842.27/842.55	c       212       388    376.12     70.92      5.30   1000000         0
843.47/843.76	c       246       388    401.70     70.88      5.67   1000000         0
844.66/844.97	c       178       484    403.48     72.15      5.59   1000000         0
845.86/846.18	c       198       355    400.04     87.93      4.55   1000000         0
847.06/847.39	c       207       456    402.85     69.86      5.77   1000000         0
848.26/848.60	c       202       463    404.92     65.38      6.19   1000000         0
849.56/849.80	c       214       409    391.61     68.02      5.76   1000000         0
850.76/851.01	c       222       326    405.24     65.45      6.19   1000000         0
851.96/852.22	c       180       416    390.71     67.20      5.81   1000000         0
853.16/853.43	c       222       441    400.39     70.86      5.65   1000000         0
854.37/854.63	c       227       391    387.07     65.17      5.94   1000000         0
855.57/855.84	c       217       470    391.28     72.06      5.43   1000000         0
856.76/857.04	c       231       327    393.47     60.63      6.49   1000000         0
857.96/858.25	c       168       392    397.28     84.11      4.72   1000000         0
859.16/859.46	c       237       389    393.15     70.70      5.56   1000000         0
860.36/860.67	c       230       299    401.51     78.38      5.12   1000000         0
861.56/861.88	c       235       470    399.37     67.59      5.91   1000000         0
862.76/863.09	c       224       326    400.19     71.17      5.62   1000000         0
863.96/864.30	c       204       446    380.63     62.01      6.14   1000000         0
865.26/865.50	c       197       452    389.58     66.76      5.84   1000000         0
866.47/866.72	c       220       357    394.98     64.27      6.15   1000000         0
867.67/867.92	c       231       279    396.47     53.58      7.40   1000000         0
868.86/869.13	c       197       381    397.40     88.14      4.51   1000000         0
870.06/870.34	c       226       425    396.27     67.15      5.90   1000000         0
871.26/871.54	c       204       398    395.30     63.30      6.25   1000000         0
872.46/872.75	c       196       422    378.93     67.19      5.64   1000000         0
873.66/873.96	c       158       310    398.00     75.29      5.29   1000000         0
874.86/875.17	c       213       450    391.04     63.42      6.17   1000000         0
876.06/876.37	c       190       354    396.04     64.33      6.16   1000000         0
877.26/877.58	c       208       438    385.21     72.77      5.29   1000000         0
878.46/878.79	c       220       347    396.30     67.35      5.88   1000000         0
879.66/880.00	c       220       350    389.49     59.59      6.54   1000000         0
880.96/881.21	c       212       444    387.92     68.18      5.69   1000000         0
882.15/882.42	c       205       423    398.87     60.31      6.61   1000000         0
883.35/883.62	c       217       391    394.37     66.69      5.91   1000000         0
884.55/884.84	c       199       358    400.33     66.57      6.01   1000000         0
885.75/886.05	c       250       370    404.33     60.12      6.73   1000000         0
886.95/887.26	c       212       330    396.11     69.21      5.72   1000000         0
888.15/888.47	c       225       378    400.30     64.40      6.22   1000000         0
889.35/889.68	c       203       426    392.48     72.28      5.43   1000000         0
890.55/890.89	c       218       409    381.37     68.68      5.55   1000000         0
891.76/892.09	c       214       380    380.16     70.23      5.41   1000000         0
893.05/893.30	c       203       387    374.86     64.08      5.85   1000000         0
894.25/894.51	c       223       420    399.41     58.08      6.88   1000000         0
895.45/895.71	c       212       409    390.29     61.38      6.36   1000000         0
896.65/896.92	c       222       380    396.74     69.48      5.71   1000000         0
897.85/898.13	c       247       468    383.94     58.43      6.57   1000000         0
899.05/899.34	c       220       344    409.91     65.32      6.28   1000000         0
900.25/900.55	c       231       362    393.46     69.10      5.69   1000000         0
901.45/901.75	c       197       354    394.54     65.35      6.04   1000000         0
902.65/902.96	c       205       362    408.43     67.05      6.09   1000000         0
903.86/904.17	c       223       396    389.44     64.71      6.02   1000000         0
905.06/905.38	c       212       452    394.99     67.51      5.85   1000000         0
906.25/906.59	c       233       335    401.42     65.80      6.10   1000000         0
907.55/907.80	c       223       430    402.37     69.32      5.80   1000000         0
908.75/909.01	c       219       333    397.50     65.48      6.07   1000000         0
909.95/910.22	c       231       421    395.94     69.17      5.72   1000000         0
911.15/911.43	c       238       307    398.88     67.28      5.93   1000000         0
912.35/912.64	c       233       382    396.00     77.07      5.14   1000000         0
913.55/913.85	c       231       356    402.08     76.36      5.27   1000000         0
914.75/915.06	c       181       398    384.04     65.39      5.87   1000000         0
915.95/916.27	c       214       309    396.39     61.96      6.40   1000000         0
917.15/917.48	c       205       319    395.30     81.24      4.87   1000000         0
918.35/918.69	c       235       425    412.89     73.08      5.65   1000000         0
919.65/919.90	c       204       495    396.79     70.72      5.61   1000000         0
920.84/921.11	c       204       380    392.40     58.48      6.71   1000000         0
922.04/922.31	c       214       480    410.32     69.89      5.87   1000000         0
923.24/923.52	c       227       341    381.06     68.96      5.53   1000000         0
924.44/924.73	c       220       402    410.61     75.06      5.47   1000000         0
925.64/925.94	c       246       448    400.65     66.60      6.02   1000000         0
926.84/927.15	c       211       320    409.54     77.88      5.26   1000000         0
928.05/928.36	c       216       348    405.10     74.13      5.47   1000000         0
929.25/929.56	c       234       407    400.88     84.84      4.72   1000000         0
930.44/930.78	c       222       320    405.42     73.89      5.49   1000000         0
931.64/931.99	c       220       461    411.62     71.27      5.78   1000000         0
932.94/933.20	c       210       378    402.29     74.07      5.43   1000000         0
934.14/934.41	c       220       527    397.72     74.43      5.34   1000000         0
935.34/935.61	c       195       310    394.94     75.65      5.22   1000000         0
936.54/936.82	c       213       411    390.61     58.52      6.67   1000000         0
937.74/938.03	c       233       399    390.31     63.68      6.13   1000000         0
938.94/939.24	c       203       245    393.78     67.14      5.86   1000000         0
940.15/940.45	c       184       344    379.44     68.69      5.52   1000000         0
941.35/941.65	c       219       446    390.28     64.11      6.09   1000000         0
942.54/942.86	c       216       356    395.59     57.74      6.85   1000000         0
943.74/944.07	c       217       376    395.27     66.91      5.91   1000000         0
944.94/945.28	c       174       387    382.90     70.13      5.46   1000000         0
946.14/946.49	c       220       413    397.49     73.95      5.37   1000000         0
947.44/947.70	c       213       389    399.92     79.22      5.05   1000000         0
948.64/948.91	c       234       424    388.94     59.21      6.57   1000000         0
949.84/950.12	c       232       358    397.03     72.35      5.49   1000000         0
951.04/951.33	c       223       517    386.19     65.48      5.90   1000000         0
952.24/952.54	c       206       397    398.17     65.96      6.04   1000000         0
953.44/953.74	c       239       316    394.72     71.72      5.50   1000000         0
954.64/954.95	c       226       459    384.37     58.55      6.57   1000000         0
955.83/956.16	c       236       359    402.08     71.36      5.63   1000000         0
957.03/957.37	c       197       472    388.32     59.97      6.48   1000000         0
958.23/958.58	c       239       421    393.86     67.82      5.81   1000000         0
959.43/959.79	c       224       324    397.39     71.92      5.53   1000000         0
960.73/961.00	c       226       323    400.01     69.50      5.76   1000000         0
961.93/962.21	c       242       456    396.59     65.43      6.06   1000000         0
963.13/963.41	c       209       417    395.79     65.39      6.05   1000000         0
964.34/964.62	c       184       374    384.66     68.05      5.65   1000000         0
965.54/965.83	c       200       250    376.61     66.92      5.63   1000000         0
966.73/967.04	c       241       365    400.22     66.63      6.01   1000000         0
967.93/968.25	c       209       345    396.74     68.67      5.78   1000000         0
969.13/969.46	c       225       373    395.73     60.42      6.55   1000000         0
970.33/970.68	c       216       430    397.45     70.41      5.64   1000000         0
971.53/971.88	c       198       320    402.92     75.11      5.36   1000000         0
972.73/973.09	c       241       287    399.56     61.59      6.49   1000000         0
974.03/974.30	c       226       373    404.38     77.17      5.24   1000000         0
975.23/975.50	c       190       360    395.58     63.46      6.23   1000000         0
976.43/976.71	c       203       385    386.53     70.95      5.45   1000000         0
977.63/977.91	c       193       424    387.65     68.91      5.63   1000000         0
978.83/979.12	c       205       327    392.16     60.45      6.49   1000000         0
980.03/980.33	c       198       362    402.54     74.26      5.42   1000000         0
981.23/981.54	c       211       313    386.04     75.82      5.09   1000000         0
982.43/982.75	c       237       441    393.57     58.77      6.70   1000000         0
983.63/983.96	c       245       408    395.30     56.32      7.02   1000000         0
984.83/985.16	c       220       375    391.63     67.62      5.79   1000000         0
986.03/986.37	c       228       403    386.88     64.10      6.04   1000000         0
987.22/987.58	c       189       420    388.75     81.68      4.76   1000000         0
988.42/988.79	c       253       412    388.93     53.74      7.24   1000000         0
989.63/989.99	c       219       426    407.29     71.55      5.69   1000000         0
990.92/991.20	c       234       558    390.61     61.65      6.34   1000000         0
992.12/992.41	c       206       362    395.59     63.52      6.23   1000000         0
993.32/993.62	c       220       504    413.07     68.62      6.02   1000000         0
994.52/994.83	c       226       428    397.24     70.77      5.61   1000000         0
995.72/996.04	c       234       385    402.58     80.45      5.00   1000000         0
996.92/997.25	c       206       348    404.53     71.53      5.66   1000000         0
998.12/998.46	c       218       389    389.97     64.62      6.03   1000000         0
999.32/999.66	c       240       379    387.22     64.00      6.05   1000000         0
1000.52/1000.87	c       223       291    390.32     65.43      5.97   1000000         0
1001.73/1002.08	c       224       357    405.72     78.81      5.15   1000000         0
1002.93/1003.28	c       223       400    380.69     65.27      5.83   1000000         0
1004.12/1004.49	c       232       342    409.03     83.28      4.91   1000000         0
1005.42/1005.70	c       204       348    395.75     78.73      5.03   1000000         0
1006.62/1006.90	c       179       356    388.14     80.67      4.81   1000000         0
1007.82/1008.11	c       176       472    384.64     70.88      5.43   1000000         0
1009.02/1009.31	c       216       417    398.46     74.64      5.34   1000000         0
1010.22/1010.52	c       216       417    388.39     70.80      5.49   1000000         0
1011.42/1011.73	c       229       428    406.68     76.35      5.33   1000000         0
1012.62/1012.94	c       226       292    400.48     82.77      4.84   1000000         0
1013.82/1014.15	c       181       400    404.98     81.17      4.99   1000000         0
1015.02/1015.36	c       239       442    405.66     72.77      5.57   1000000         0
1016.22/1016.56	c       229       371    391.22     61.77      6.33   1000000         0
1017.42/1017.77	c       212       407    383.74     60.96      6.29   1000000         0
1018.62/1018.98	c       232       429    391.01     66.39      5.89   1000000         0
1019.82/1020.19	c       230       401    405.78     70.61      5.75   1000000         0
1021.11/1021.40	c       228       375    392.20     70.35      5.58   1000000         0
1022.31/1022.61	c       188       358    384.34     70.46      5.45   1000000         0
1023.51/1023.82	c       226       514    393.37     69.29      5.68   1000000         0
1024.71/1025.03	c       233       285    399.91     80.55      4.96   1000000         0
1025.92/1026.24	c       218       315    395.70     74.36      5.32   1000000         0
1027.12/1027.46	c       226       418    400.79     68.96      5.81   1000000         0
1028.31/1028.67	c       224       341    401.25     70.91      5.66   1000000         0
1029.51/1029.88	c       230       351    394.24     67.62      5.83   1000000         0
1030.71/1031.08	c       210       350    390.05     70.06      5.57   1000000         0
1031.91/1032.29	c       196       336    406.37     71.33      5.70   1000000         0
1033.21/1033.50	c       203       501    390.02     63.28      6.16   1000000         0
1034.41/1034.72	c       176       388    387.99     67.39      5.76   1000000         0
1035.61/1035.92	c       241       359    404.60     67.67      5.98   1000000         0
1036.81/1037.13	c       238       378    406.68     65.40      6.22   1000000         0
1038.02/1038.34	c       243       366    404.92     75.19      5.39   1000000         0
1039.22/1039.55	c       204       462    388.89     69.05      5.63   1000000         0
1040.41/1040.75	c       239       430    400.25     65.38      6.12   1000000         0
1041.61/1041.96	c       244       332    392.38     55.96      7.01   1000000         0
1042.81/1043.17	c       186       378    397.61     71.16      5.59   1000000         0
1044.01/1044.38	c       217       319    400.43     69.37      5.77   1000000         0
1045.21/1045.59	c       217       407    388.30     59.78      6.50   1000000         0
1046.51/1046.80	c       200       361    398.44     70.95      5.62   1000000         0
1047.71/1048.01	c       222       371    385.54     56.08      6.87   1000000         0
1048.91/1049.21	c       205       331    396.08     69.96      5.66   1000000         0
1050.11/1050.42	c       239       352    397.35     60.96      6.52   1000000         0
1051.31/1051.63	c       206       363    395.06     74.17      5.33   1000000         0
1052.51/1052.84	c       246       436    401.58     70.43      5.70   1000000         0
1053.71/1054.05	c       248       310    397.47     68.31      5.82   1000000         0
1054.91/1055.26	c       199       362    391.74     76.50      5.12   1000000         0
1056.11/1056.47	c       200       414    393.56     68.88      5.71   1000000         0
1057.31/1057.67	c       172       407    388.31     73.28      5.30   1000000         0
1058.50/1058.89	c       204       392    397.39     60.26      6.59   1000000         0
1059.70/1060.09	c       172       457    387.67     78.73      4.92   1000000         0
1061.00/1061.30	c       231       431    386.56     72.22      5.35   1000000         0
1062.21/1062.50	c       230       468    386.04     59.33      6.51   1000000         0
1063.41/1063.71	c       220       470    392.17     68.87      5.69   1000000         0
1064.60/1064.92	c       171       442    387.76     77.66      4.99   1000000         0
1065.80/1066.13	c       222       345    396.20     64.27      6.16   1000000         0
1067.00/1067.34	c       164       379    400.05     65.95      6.07   1000000         0
1068.20/1068.55	c       183       359    401.86     59.59      6.74   1000000         0
1069.40/1069.76	c       235       440    406.21     70.90      5.73   1000000         0
1070.60/1070.97	c       177       412    400.40     71.63      5.59   1000000         0
1071.80/1072.18	c       220       318    388.95     65.66      5.92   1000000         0
1073.00/1073.38	c       220       497    393.08     63.71      6.17   1000000         0
1074.20/1074.59	c       217       310    396.05     63.19      6.27   1000000         0
1075.41/1075.80	c       219       253    391.36     71.30      5.49   1000000         0
1076.70/1077.01	c       206       318    388.70     68.33      5.69   1000000         0
1077.90/1078.22	c       212       362    401.22     76.73      5.23   1000000         0
1079.10/1079.43	c       204       366    395.88     72.50      5.46   1000000         0
1080.30/1080.64	c       212       305    392.31     72.60      5.40   1000000         0
1081.50/1081.85	c       227       371    409.75     69.26      5.92   1000000         0
1082.70/1083.06	c       148       421    394.09     72.02      5.47   1000000         0
1083.90/1084.26	c       232       372    386.85     67.53      5.73   1000000         0
1085.10/1085.48	c       194       425    404.99     69.83      5.80   1000000         0
1086.30/1086.69	c       235       398    401.48     73.46      5.47   1000000         0
1087.50/1087.90	c       219       377    396.27     70.38      5.63   1000000         0
1088.80/1089.11	c       227       445    401.98     65.05      6.18   1000000         0
1090.00/1090.32	c       199       377    395.47     66.36      5.96   1000000         0
1091.20/1091.53	c       232       448    410.19     74.47      5.51   1000000         0
1092.39/1092.74	c       198       423    404.51     76.64      5.28   1000000         0
1093.59/1093.95	c       213       390    398.74     78.83      5.06   1000000         0
1094.79/1095.16	c       203       232    391.71     78.51      4.99   1000000         0
1095.99/1096.37	c       216       327    404.48     66.36      6.09   1000000         0
1097.19/1097.58	c       229       336    398.68     66.05      6.04   1000000         0
1098.39/1098.78	c       231       366    392.75     63.96      6.14   1000000         0
1099.60/1100.00	c       231       474    411.61     70.75      5.82   1000000         0
1100.89/1101.20	c       190       442    396.87     65.34      6.07   1000000         0
1102.09/1102.41	c       245       373    409.51     70.27      5.83   1000000         0
1103.29/1103.62	c       204       456    408.47     68.68      5.95   1000000         0
1104.49/1104.83	c       207       391    394.84     74.93      5.27   1000000         0
1105.69/1106.04	c       222       418    396.47     64.09      6.19   1000000         0
1106.89/1107.25	c       241       382    393.23     60.16      6.54   1000000         0
1108.09/1108.46	c       192       341    395.27     68.72      5.75   1000000         0
1109.29/1109.67	c       217       358    395.00     64.68      6.11   1000000         0
1110.49/1110.87	c       193       410    388.41     68.67      5.66   1000000         0
1111.70/1112.08	c       229       456    404.58     63.41      6.38   1000000         0
1112.90/1113.29	c       200       405    395.29     64.43      6.13   1000000         0
1114.09/1114.49	c       230       331    392.63     66.93      5.87   1000000         0
1115.39/1115.71	c       208       328    408.04     68.92      5.92   1000000         0
1116.59/1116.91	c       203       369    384.69     74.58      5.16   1000000         0
1117.79/1118.12	c       220       445    380.53     67.32      5.65   1000000         0
1118.99/1119.33	c       234       422    410.33     60.09      6.83   1000000         0
1120.19/1120.54	c       189       415    402.14     71.17      5.65   1000000         0
1121.39/1121.75	c       190       386    392.14     66.84      5.87   1000000         0
1122.59/1122.95	c       222       390    386.26     59.62      6.48   1000000         0
1123.79/1124.16	c       229       428    404.39     74.37      5.44   1000000         0
1124.99/1125.37	c       192       389    401.03     67.91      5.91   1000000         0
1126.18/1126.58	c       210       415    397.66     76.88      5.17   1000000         0
1127.38/1127.79	c       228       373    399.89     63.22      6.32   1000000         0
1128.68/1129.00	c       206       395    407.50     71.39      5.71   1000000         0
1129.88/1130.21	c       229       445    396.71     70.01      5.67   1000000         0
1131.08/1131.42	c       215       455    401.08     62.85      6.38   1000000         0
1132.28/1132.62	c       236       477    390.80     62.35      6.27   1000000         0
1133.48/1133.83	c       219       440    400.40     77.07      5.20   1000000         0
1134.68/1135.04	c       189       369    381.00     64.04      5.95   1000000         0
1135.89/1136.25	c       202       328    381.48     70.57      5.41   1000000         0
1137.09/1137.46	c       205       442    391.05     61.93      6.31   1000000         0
1138.28/1138.66	c       194       472    398.63     79.04      5.04   1000000         0
1139.48/1139.87	c       240       380    397.84     69.57      5.72   1000000         0
1140.68/1141.08	c       244       349    395.07     62.39      6.33   1000000         0
1141.88/1142.29	c       218       340    387.51     56.82      6.82   1000000         0
1143.08/1143.49	c       208       390    399.07     64.86      6.15   1000000         0
1144.38/1144.71	c       213       420    399.20     72.31      5.52   1000000         0
1145.58/1145.91	c       220       513    397.49     71.20      5.58   1000000         0
1146.78/1147.13	c       191       439    388.92     66.21      5.87   1000000         0
1147.99/1148.34	c       219       376    398.94     62.64      6.37   1000000         0
1149.19/1149.54	c       230       393    389.02     60.47      6.43   1000000         0
1150.38/1150.75	c       199       295    397.87     62.21      6.40   1000000         0
1151.58/1151.96	c       199       349    408.70     77.55      5.27   1000000         0
1152.78/1153.17	c       199       400    390.87     73.63      5.31   1000000         0
1153.98/1154.38	c       199       398    388.75     59.50      6.53   1000000         0
1155.18/1155.58	c       223       320    398.46     81.54      4.89   1000000         0
1156.38/1156.79	c       230       402    395.19     73.58      5.37   1000000         0
1157.68/1158.00	c       200       393    394.62     70.63      5.59   1000000         0
1158.88/1159.22	c       201       357    398.04     65.64      6.06   1000000         0
1160.08/1160.43	c       175       368    402.22     67.07      6.00   1000000         0
1161.28/1161.64	c       200       329    394.12     68.70      5.74   1000000         0
1162.48/1162.85	c       166       341    391.91     69.15      5.67   1000000         0
1163.68/1164.06	c       212       403    407.30     62.75      6.49   1000000         0
1164.87/1165.26	c       243       330    392.01     64.20      6.11   1000000         0
1166.07/1166.47	c       224       400    396.41     66.80      5.93   1000000         0
1167.27/1167.68	c       163       353    386.22     77.29      5.00   1000000         0
1168.47/1168.89	c       227       383    395.23     65.05      6.08   1000000         0
1169.77/1170.10	c       222       406    406.04     74.36      5.46   1000000         0
1170.97/1171.31	c       244       389    397.09     69.22      5.74   1000000         0
1172.18/1172.53	c       237       463    405.68     71.33      5.69   1000000         0
1173.38/1173.74	c       207       462    389.75     69.34      5.62   1000000         0
1174.57/1174.95	c       223       478    401.29     69.52      5.77   1000000         0
1175.77/1176.15	c       230       353    402.87     64.76      6.22   1000000         0
1176.97/1177.36	c       211       335    391.36     71.71      5.46   1000000         0
1178.17/1178.57	c       190       304    389.65     80.98      4.81   1000000         0
1179.37/1179.77	c       232       391    400.35     70.00      5.72   1000000         0
1180.57/1180.99	c       163       369    401.24     67.54      5.94   1000000         0
1181.77/1182.19	c       198       455    399.95     73.67      5.43   1000000         0
1183.07/1183.40	c       250       441    416.33     69.74      5.97   1000000         0
1184.28/1184.61	c       229       328    387.56     58.54      6.62   1000000         0
1185.48/1185.82	c       238       389    397.71     64.61      6.16   1000000         0
1186.67/1187.03	c       233       296    398.19     69.47      5.73   1000000         0
1187.87/1188.24	c       226       319    394.95     73.60      5.37   1000000         0
1189.07/1189.44	c       224       429    394.75     63.18      6.25   1000000         0
1190.27/1190.65	c       246       481    413.13     69.67      5.93   1000000         0
1191.47/1191.86	c       188       357    394.76     68.71      5.75   1000000         0
1192.67/1193.07	c       190       384    392.95     63.36      6.20   1000000         0
1193.87/1194.28	c       207       341    403.18     71.15      5.67   1000000         0
1195.06/1195.49	c       205       383    393.65     66.92      5.88   1000000         0
1196.37/1196.70	c       221       390    380.30     69.52      5.47   1000000         0
1197.57/1197.90	c       209       351    402.89     74.17      5.43   1000000         0
1198.76/1199.12	c       234       407    405.71     74.85      5.42   1000000         0
1199.96/1200.33	c       214       357    409.73     65.38      6.27   1000000         0
1201.16/1201.54	c       199       482    386.52     70.14      5.51   1000000         0
1202.36/1202.75	c       224       382    404.17     71.83      5.63   1000000         0
1203.56/1203.95	c       180       305    390.66     67.44      5.79   1000000         0
1204.76/1205.16	c       218       391    397.15     67.43      5.89   1000000         0
1205.96/1206.36	c       244       440    392.81     66.38      5.92   1000000         0
1207.16/1207.57	c       207       352    397.64     79.32      5.01   1000000         0
1208.36/1208.77	c       211       375    381.59     60.59      6.30   1000000         0
1209.57/1209.98	c       180       483    387.42     62.55      6.19   1000000         0
1210.77/1211.19	c       197       506    395.19     75.15      5.26   1000000         0
1212.06/1212.40	c       196       309    386.55     62.92      6.14   1000000         0
1213.26/1213.61	c       230       334    396.52     63.79      6.22   1000000         0
1214.46/1214.82	c       188       454    380.79     71.96      5.29   1000000         0
1215.66/1216.03	c       246       417    390.36     65.17      5.99   1000000         0
1216.86/1217.24	c       214       331    398.82     67.16      5.94   1000000         0
1218.06/1218.45	c       199       356    390.61     82.27      4.75   1000000         0
1219.26/1219.66	c       192       435    402.84     64.42      6.25   1000000         0
1220.46/1220.87	c       227       272    404.70     83.70      4.83   1000000         0
1221.66/1222.10	c       180       451    396.02     80.75      4.90   1000000         0
1222.94/1223.30	c       215       351    399.64     72.76      5.49   1000000         0
1224.14/1224.51	c       186       369    388.35     75.57      5.14   1000000         0
1225.34/1225.73	c       218       401    394.26     60.38      6.53   1000000         0
1226.54/1226.93	c       230       392    391.26     68.15      5.74   1000000         0
1227.74/1228.14	c       192       428    389.67     75.39      5.17   1000000         0
1228.94/1229.35	c       248       315    404.21     65.00      6.22   1000000         0
1230.14/1230.56	c       207       400    399.02     64.69      6.17   1000000         0
1231.34/1231.77	c       229       398    403.88     69.04      5.85   1000000         0
1232.54/1232.98	c       198       449    387.60     66.30      5.85   1000000         0
1233.75/1234.19	c       198       438    396.22     65.81      6.02   1000000         0
1234.95/1235.39	c       225       327    404.68     79.51      5.09   1000000         0
1236.24/1236.60	c       215       389    395.36     64.59      6.12   1000000         0
1237.44/1237.81	c       238       454    402.93     66.97      6.02   1000000         0
1238.64/1239.02	c       208       420    400.20     68.62      5.83   1000000         0
1239.84/1240.22	c       203       430    395.36     66.40      5.95   1000000         0
1241.04/1241.44	c       208       475    409.47     68.31      5.99   1000000         0
1242.24/1242.64	c       214       232    394.99     69.02      5.72   1000000         0
1243.44/1243.85	c       201       401    400.47     71.20      5.62   1000000         0
1244.64/1245.06	c       160       361    401.99     76.19      5.28   1000000         0
1245.85/1246.28	c       225       427    398.77     69.80      5.71   1000000         0
1247.05/1247.48	c       200       371    389.40     73.60      5.29   1000000         0
1248.24/1248.69	c       227       424    393.88     60.07      6.56   1000000         0
1249.54/1249.90	c       202       356    385.35     76.97      5.01   1000000         0
1250.74/1251.11	c       217       406    405.52     74.34      5.45   1000000         0
1251.94/1252.32	c       230       449    393.34     68.09      5.78   1000000         0
1253.14/1253.52	c       237       433    402.43     70.19      5.73   1000000         0
1254.34/1254.73	c       223       367    394.66     67.84      5.82   1000000         0
1255.54/1255.94	c       228       395    396.86     61.67      6.43   1000000         0
1256.74/1257.15	c       196       296    396.63     71.61      5.54   1000000         0
1257.94/1258.36	c       231       362    397.10     69.76      5.69   1000000         0
1259.14/1259.57	c       215       388    404.93     65.83      6.15   1000000         0
1260.34/1260.78	c       205       415    400.06     77.74      5.15   1000000         0
1261.54/1261.99	c       232       314    405.15     77.26      5.24   1000000         0
1262.74/1263.19	c       206       388    381.02     60.81      6.27   1000000         0
1264.03/1264.40	c       235       345    391.18     69.30      5.64   1000000         0
1265.23/1265.61	c       222       356    402.10     70.24      5.72   1000000         0
1266.43/1266.83	c       246       424    400.23     73.74      5.43   1000000         0
1267.63/1268.04	c       225       352    395.72     59.41      6.66   1000000         0
1268.83/1269.25	c       221       483    412.52     77.98      5.29   1000000         0
1270.04/1270.46	c       221       384    391.11     66.86      5.85   1000000         0
1271.24/1271.67	c       230       424    397.32     71.38      5.57   1000000         0
1272.43/1272.87	c       180       407    399.17     76.93      5.19   1000000         0
1273.63/1274.08	c       172       231    386.66     70.11      5.52   1000000         0
1274.83/1275.29	c       227       354    409.28     61.52      6.65   1000000         0
1276.13/1276.50	c       209       406    377.98     63.44      5.96   1000000         0
1277.33/1277.72	c       218       394    396.11     77.02      5.14   1000000         0
1278.53/1278.93	c       210       408    403.88     69.83      5.78   1000000         0
1279.73/1280.14	c       211       438    394.35     65.57      6.01   1000000         0
1280.93/1281.35	c       192       401    390.27     71.74      5.44   1000000         0
1282.14/1282.55	c       185       472    396.40     68.27      5.81   1000000         0
1283.34/1283.76	c       231       401    392.60     66.22      5.93   1000000         0
1284.53/1284.98	c       244       444    396.81     62.87      6.31   1000000         0
1285.73/1286.18	c       200       345    384.84     62.73      6.13   1000000         0
1286.93/1287.40	c       224       349    398.27     65.56      6.07   1000000         0
1288.23/1288.61	c       201       368    390.23     70.18      5.56   1000000         0
1289.43/1289.81	c       226       383    392.17     70.97      5.53   1000000         0
1290.63/1291.02	c       183       301    391.77     71.62      5.47   1000000         0
1291.83/1292.23	c       218       398    388.80     79.59      4.89   1000000         0
1293.03/1293.44	c       231       362    399.40     68.92      5.80   1000000         0
1294.23/1294.65	c       218       467    401.54     59.17      6.79   1000000         0
1295.43/1295.85	c       232       446    389.72     69.80      5.58   1000000         0
1296.62/1297.07	c       221       414    386.39     63.61      6.07   1000000         0
1297.82/1298.28	c       228       436    381.48     67.76      5.63   1000000         0
1299.02/1299.49	c       187       469    390.73     64.97      6.01   1000000         0
1300.22/1300.69	c       209       403    381.79     69.74      5.47   1000000         0
1301.52/1301.90	c       200       541    386.63     75.17      5.14   1000000         0
1302.72/1303.11	c       210       400    400.63     80.98      4.95   1000000         0
1303.92/1304.33	c       200       319    392.51     77.49      5.07   1000000         0
1305.12/1305.54	c       236       347    393.63     67.39      5.84   1000000         0
1306.33/1306.74	c       230       345    400.78     72.86      5.50   1000000         0
1307.53/1307.95	c       232       406    400.49     69.19      5.79   1000000         0
1308.72/1309.16	c       205       317    399.19     63.47      6.29   1000000         0
1309.92/1310.37	c       218       341    388.13     64.21      6.05   1000000         0
1311.12/1311.58	c       226       319    394.05     73.97      5.33   1000000         0
1312.32/1312.79	c       219       370    396.09     74.23      5.34   1000000         0
1313.62/1314.00	c       186       365    395.95     60.76      6.52   1000000         0
1314.82/1315.21	c       225       394    388.63     76.29      5.09   1000000         0
1316.02/1316.42	c       222       369    396.72     58.72      6.76   1000000         0
1317.22/1317.63	c       247       492    398.39     67.70      5.89   1000000         0
1318.43/1318.83	c       211       460    392.97     57.94      6.78   1000000         0
1319.63/1320.05	c       218       254    397.06     70.83      5.61   1000000         0
1320.82/1321.26	c       225       510    391.77     73.14      5.36   1000000         0
1322.02/1322.47	c       214       396    400.17     62.78      6.37   1000000         0
1323.22/1323.68	c       220       462    397.65     66.14      6.01   1000000         0
1324.42/1324.89	c       235       332    411.74     77.02      5.35   1000000         0
1325.62/1326.10	c       212       326    396.29     81.29      4.88   1000000         0
1326.92/1327.30	c       167       436    390.88     70.73      5.53   1000000         0
1328.12/1328.51	c       230       397    394.77     72.66      5.43   1000000         0
1329.32/1329.72	c       221       384    388.08     60.59      6.41   1000000         0
1330.52/1330.93	c       221       484    396.40     56.67      7.00   1000000         0
1331.72/1332.13	c       193       326    396.18     65.60      6.04   1000000         0
1332.91/1333.34	c       173       368    389.47     74.99      5.19   1000000         0
1334.11/1334.54	c       245       480    401.54     66.71      6.02   1000000         0
1335.31/1335.75	c       220       354    402.74     73.11      5.51   1000000         0
1336.51/1336.96	c       193       384    384.29     72.24      5.32   1000000         0
1337.71/1338.17	c       223       380    402.69     74.21      5.43   1000000         0
1338.91/1339.37	c       212       471    399.80     63.46      6.30   1000000         0
1340.11/1340.58	c       180       379    389.15     70.16      5.55   1000000         0
1341.31/1341.79	c       203       390    386.85     73.63      5.25   1000000         0
1342.62/1343.00	c       160       310    390.31     79.12      4.93   1000000         0
1343.82/1344.21	c       198       352    406.60     80.97      5.02   1000000         0
1345.01/1345.42	c       220       401    397.04     73.43      5.41   1000000         0
1346.21/1346.63	c       217       444    397.77     67.58      5.89   1000000         0
1347.41/1347.84	c       215       394    394.95     63.72      6.20   1000000         0
1348.61/1349.05	c       209       278    393.81     69.70      5.65   1000000         0
1349.81/1350.25	c       203       405    394.02     64.63      6.10   1000000         0
1351.01/1351.46	c       189       355    391.03     67.85      5.76   1000000         0
1352.21/1352.67	c       214       380    397.71     73.23      5.43   1000000         0
1353.41/1353.88	c       215       357    390.62     80.07      4.88   1000000         0
1354.61/1355.09	c       225       400    396.18     68.27      5.80   1000000         0
1355.82/1356.30	c       240       337    402.45     71.08      5.66   1000000         0
1357.11/1357.50	c       196       329    384.49     62.60      6.14   1000000         0
1358.31/1358.71	c       221       338    397.23     72.48      5.48   1000000         0
1359.51/1359.92	c       196       385    380.74     69.18      5.50   1000000         0
1360.71/1361.13	c       236       416    403.02     70.26      5.74   1000000         0
1361.91/1362.34	c       203       402    391.28     65.65      5.96   1000000         0
1363.11/1363.55	c       229       438    402.73     58.39      6.90   1000000         0
1364.31/1364.76	c       216       559    402.44     74.83      5.38   1000000         0
1365.51/1365.97	c       222       351    385.43     59.15      6.52   1000000         0
1366.70/1367.18	c       187       422    410.06     78.00      5.26   1000000         0
1367.91/1368.39	c       219       384    395.61     63.11      6.27   1000000         0
1369.11/1369.60	c       215       435    396.00     68.04      5.82   1000000         0
1370.40/1370.80	c       235       311    402.49     69.91      5.76   1000000         0
1371.60/1372.01	c       234       500    405.53     73.79      5.50   1000000         0
1372.80/1373.23	c       215       320    399.70     62.51      6.39   1000000         0
1374.00/1374.44	c       216       385    405.61     74.24      5.46   1000000         0
1375.20/1375.65	c       229       350    397.45     61.35      6.48   1000000         0
1376.40/1376.86	c       214       396    396.94     73.55      5.40   1000000         0
1377.60/1378.07	c       183       354    383.49     67.79      5.66   1000000         0
1378.80/1379.28	c       207       465    382.22     64.75      5.90   1000000         0
1380.01/1380.49	c       241       472    410.39     66.58      6.16   1000000         0
1381.21/1381.69	c       232       353    402.08     70.56      5.70   1000000         0
1382.50/1382.91	c       218       421    401.11     68.95      5.82   1000000         0
1383.70/1384.11	c       236       384    404.21     67.21      6.01   1000000         0
1384.90/1385.33	c       208       378    401.75     63.57      6.32   1000000         0
1386.10/1386.54	c       205       337    387.47     68.53      5.65   1000000         0
1387.30/1387.75	c       230       380    391.35     65.68      5.96   1000000         0
1388.50/1388.95	c       220       432    394.83     63.16      6.25   1000000         0
1389.70/1390.16	c       213       307    403.71     73.90      5.46   1000000         0
1390.90/1391.37	c       211       465    389.78     68.77      5.67   1000000         0
1392.10/1392.58	c       225       339    385.05     56.00      6.88   1000000         0
1393.30/1393.79	c       245       349    404.28     63.16      6.40   1000000         0
1394.60/1395.00	c       225       330    395.08     59.98      6.59   1000000         0
1395.80/1396.21	c       208       442    394.47     68.46      5.76   1000000         0
1397.00/1397.42	c       216       418    394.09     59.15      6.66   1000000         0
1398.20/1398.63	c       232       419    410.61     68.70      5.98   1000000         0
1399.40/1399.84	c       205       319    393.81     69.48      5.67   1000000         0
1400.60/1401.04	c       220       382    385.86     60.20      6.41   1000000         0
1401.79/1402.25	c       180       456    398.95     66.61      5.99   1000000         0
1402.99/1403.47	c       200       330    376.60     74.74      5.04   1000000         0
1404.20/1404.67	c       234       418    384.63     71.82      5.36   1000000         0
1405.40/1405.88	c       218       435    395.00     74.47      5.30   1000000         0
1406.59/1407.09	c       219       422    401.48     73.92      5.43   1000000         0
1407.89/1408.30	c       224       404    406.12     68.35      5.94   1000000         0
1409.09/1409.50	c       172       268    395.34     77.30      5.11   1000000         0
1410.29/1410.72	c       196       449    407.45     83.83      4.86   1000000         0
1411.49/1411.93	c       173       314    386.51     60.81      6.36   1000000         0
1412.69/1413.14	c       216       428    393.56     65.85      5.98   1000000         0
1413.89/1414.34	c       244       399    390.76     66.27      5.90   1000000         0
1415.09/1415.56	c       188       410    395.51     63.51      6.23   1000000         0
1416.30/1416.77	c       206       345    391.30     67.85      5.77   1000000         0
1417.50/1417.98	c       233       464    397.26     66.94      5.93   1000000         0
1418.69/1419.19	c       228       360    394.30     64.04      6.16   1000000         0
1419.89/1420.39	c       224       439    399.15     75.08      5.32   1000000         0
1421.19/1421.60	c       207       375    390.56     65.80      5.94   1000000         0
1422.39/1422.81	c       219       318    397.11     75.15      5.28   1000000         0
1423.59/1424.02	c       219       363    390.63     67.11      5.82   1000000         0
1424.79/1425.22	c       225       365    391.43     65.35      5.99   1000000         0
1425.99/1426.43	c       214       263    391.43     74.35      5.27   1000000         0
1427.19/1427.64	c       239       354    394.25     69.67      5.66   1000000         0
1428.39/1428.85	c       226       323    390.61     64.33      6.07   1000000         0
1429.59/1430.06	c       201       434    407.74     74.96      5.44   1000000         0
1430.79/1431.27	c       225       447    393.17     58.76      6.69   1000000         0
1431.99/1432.48	c       254       319    405.44     65.43      6.20   1000000         0
1433.19/1433.68	c       203       411    401.14     76.31      5.26   1000000         0
1434.38/1434.89	c       208       347    405.27     76.20      5.32   1000000         0
1435.68/1436.10	c       208       370    395.85     66.37      5.96   1000000         0
1436.88/1437.31	c       215       504    402.01     72.11      5.58   1000000         0
1438.08/1438.52	c       212       320    397.41     63.50      6.26   1000000         0
1439.28/1439.73	c       209       435    392.99     75.78      5.19   1000000         0
1440.49/1440.93	c       205       384    391.65     67.61      5.79   1000000         0
1441.69/1442.14	c       226       359    399.67     65.09      6.14   1000000         0
1442.88/1443.34	c       234       344    399.91     62.72      6.38   1000000         0
1444.08/1444.55	c       196       367    386.49     59.39      6.51   1000000         0
1445.28/1445.76	c       220       383    387.88     68.42      5.67   1000000         0
1446.48/1446.97	c       224       343    406.03     63.54      6.39   1000000         0
1447.68/1448.18	c       195       510    387.06     79.16      4.89   1000000         0
1448.88/1449.39	c       233       475    394.53     67.81      5.82   1000000         0
1450.08/1450.59	c       213       271    407.81     74.17      5.50   1000000         0
1451.38/1451.81	c       232       387    395.14     70.87      5.58   1000000         0
1452.59/1453.01	c       178       391    384.34     66.71      5.76   1000000         0
1453.79/1454.22	c       179       443    389.54     74.21      5.25   1000000         0
1454.98/1455.43	c       216       395    400.38     72.63      5.51   1000000         0
1456.18/1456.64	c       224       354    392.10     65.26      6.01   1000000         0
1457.38/1457.84	c       227       401    397.63     77.77      5.11   1000000         0
1458.58/1459.06	c       205       361    388.23     69.30      5.60   1000000         0
1459.78/1460.26	c       218       367    391.86     59.17      6.62   1000000         0
1460.98/1461.47	c       205       389    394.74     71.73      5.50   1000000         0
1462.19/1462.68	c       193       394    403.66     71.74      5.63   1000000         0
1463.39/1463.89	c       229       381    395.49     58.80      6.73   1000000         0
1464.59/1465.09	c       221       325    392.22     65.60      5.98   1000000         0
1465.79/1466.30	c       195       373    395.28     64.57      6.12   1000000         0
1467.08/1467.50	c       225       477    389.57     58.20      6.69   1000000         0
1468.28/1468.71	c       213       347    399.16     67.35      5.93   1000000         0
1469.48/1469.92	c       221       368    390.98     64.37      6.07   1000000         0
1470.68/1471.13	c       221       370    392.80     68.05      5.77   1000000         0
1471.88/1472.34	c       190       388    397.59     80.99      4.91   1000000         0
1473.08/1473.55	c       231       438    396.60     72.18      5.49   1000000         0
1474.28/1474.76	c       179       313    387.04     70.45      5.49   1000000         0
1475.48/1475.96	c       217       352    384.04     65.33      5.88   1000000         0
1476.68/1477.17	c       226       431    416.79     66.97      6.22   1000000         0
1477.89/1478.38	c       206       382    390.27     69.60      5.61   1000000         0
1479.09/1479.59	c       215       448    397.30     65.75      6.04   1000000         0
1480.38/1480.80	c       177       382    385.24     65.92      5.84   1000000         0
1481.58/1482.00	c       231       504    391.05     81.92      4.77   1000000         0
1482.78/1483.22	c       224       402    395.35     64.48      6.13   1000000         0
1483.98/1484.42	c       201       432    381.57     69.95      5.45   1000000         0
1485.18/1485.63	c       176       356    397.46     64.27      6.18   1000000         0
1486.38/1486.84	c       217       360    396.04     64.86      6.11   1000000         0
1487.58/1488.05	c       200       325    390.30     72.41      5.39   1000000         0
1488.78/1489.25	c       202       343    387.76     73.59      5.27   1000000         0
1489.99/1490.46	c       206       469    392.52     63.34      6.20   1000000         0
1491.19/1491.67	c       244       287    403.04     70.14      5.75   1000000         0
1492.38/1492.88	c       201       260    390.96     68.70      5.69   1000000         0
1493.58/1494.08	c       175       323    383.49     69.60      5.51   1000000         0
1494.78/1495.29	c       228       361    395.48     60.88      6.50   1000000         0
1496.08/1496.50	c       213       316    384.43     64.06      6.00   1000000         0
1497.28/1497.71	c       203       452    388.51     64.35      6.04   1000000         0
1498.48/1498.92	c       222       364    406.01     74.69      5.44   1000000         0
1499.68/1500.13	c       223       367    383.84     66.29      5.79   1000000         0
1500.88/1501.33	c       207       363    391.24     73.31      5.34   1000000         0
1502.08/1502.54	c       216       394    387.53     78.75      4.92   1000000         0
1503.28/1503.75	c       218       318    406.44     70.96      5.73   1000000         0
1504.47/1504.96	c       235       380    396.83     74.64      5.32   1000000         0
1505.67/1506.17	c       196       312    390.44     73.94      5.28   1000000         0
1506.87/1507.38	c       212       384    402.45     72.42      5.56   1000000         0
1508.07/1508.59	c       233       279    394.67     69.09      5.71   1000000         0
1509.37/1509.80	c       189       324    405.07     76.81      5.27   1000000         0
1510.57/1511.01	c       246       488    402.99     63.16      6.38   1000000         0
1511.77/1512.22	c       199       312    381.16     65.09      5.86   1000000         0
1512.97/1513.43	c       225       401    395.76     65.42      6.05   1000000         0
1514.18/1514.64	c       220       334    387.76     60.48      6.41   1000000         0
1515.38/1515.85	c       213       321    397.26     62.75      6.33   1000000         0
1516.57/1517.06	c       199       371    393.52     68.34      5.76   1000000         0
1517.77/1518.27	c       202       283    405.15     76.92      5.27   1000000         0
1518.97/1519.48	c       167       427    398.80     68.58      5.81   1000000         0
1520.17/1520.68	c       216       435    392.15     78.79      4.98   1000000         0
1521.37/1521.89	c       180       349    383.04     71.41      5.36   1000000         0
1522.67/1523.11	c       238       446    405.77     70.26      5.78   1000000         0
1523.87/1524.31	c       217       390    400.90     69.46      5.77   1000000         0
1525.07/1525.52	c       207       371    392.55     78.90      4.98   1000000         0
1526.28/1526.73	c       230       449    397.75     70.54      5.64   1000000         0
1527.48/1527.94	c       179       412    388.14     64.28      6.04   1000000         0
1528.67/1529.15	c       241       428    390.08     60.78      6.42   1000000         0
1529.87/1530.36	c       197       439    410.73     70.88      5.79   1000000         0
1531.07/1531.56	c       215       361    389.69     83.51      4.67   1000000         0
1532.27/1532.77	c       223       366    392.33     63.78      6.15   1000000         0
1533.47/1533.98	c       177       396    389.55     65.22      5.97   1000000         0
1534.67/1535.18	c       205       383    396.79     62.52      6.35   1000000         0
1535.87/1536.39	c       230       339    395.30     70.25      5.63   1000000         0
1537.17/1537.60	c       227       349    402.11     60.65      6.63   1000000         0
1538.37/1538.80	c       198       421    380.92     65.05      5.86   1000000         0
1539.57/1540.01	c       230       396    384.51     56.94      6.75   1000000         0
1540.76/1541.22	c       209       325    393.73     70.74      5.57   1000000         0
1541.96/1542.43	c       212       365    386.22     67.75      5.70   1000000         0
1543.16/1543.63	c       220       417    396.14     54.53      7.26   1000000         0
1544.36/1544.85	c       213       446    392.39     62.09      6.32   1000000         0
1545.56/1546.05	c       240       314    404.87     81.20      4.99   1000000         0
1546.76/1547.26	c       216       305    386.79     75.78      5.10   1000000         0
1547.96/1548.47	c       202       470    396.09     67.64      5.86   1000000         0
1549.16/1549.67	c       159       445    394.38     78.50      5.02   1000000         0
1550.36/1550.88	c       198       474    387.16     59.76      6.48   1000000         0
1551.57/1552.09	c       231       388    395.76     68.40      5.79   1000000         0
1552.86/1553.30	c       235       390    402.64     78.27      5.14   1000000         0
1554.06/1554.51	c       211       364    405.61     79.97      5.07   1000000         0
1555.26/1555.72	c       195       445    381.21     67.53      5.65   1000000         0
1556.46/1556.93	c       207       499    407.93     72.34      5.64   1000000         0
1557.66/1558.14	c       224       349    387.91     65.52      5.92   1000000         0
1558.86/1559.35	c       224       356    403.27     72.43      5.57   1000000         0
1560.06/1560.56	c       234       334    398.77     69.10      5.77   1000000         0
1561.26/1561.77	c       199       377    388.94     63.96      6.08   1000000         0
1562.46/1562.98	c       204       515    386.74     64.63      5.98   1000000         0
1563.67/1564.18	c       207       408    382.46     73.96      5.17   1000000         0
1564.87/1565.39	c       210       388    401.87     80.20      5.01   1000000         0
1566.16/1566.60	c       209       457    384.60     70.99      5.42   1000000         0
1567.36/1567.81	c       177       417    375.67     68.60      5.48   1000000         0
1568.56/1569.02	c       232       360    406.52     73.28      5.55   1000000         0
1569.76/1570.23	c       235       412    397.89     63.40      6.28   1000000         0
1570.96/1571.44	c       225       449    405.09     67.22      6.03   1000000         0
1572.15/1572.65	c       230       387    403.91     59.89      6.74   1000000         0
1573.35/1573.85	c       216       515    381.51     59.72      6.39   1000000         0
1574.55/1575.06	c       209       354    388.48     67.33      5.77   1000000         0
1575.76/1576.27	c       175       428    385.71     71.18      5.42   1000000         0
1576.96/1577.48	c       162       341    400.68     72.23      5.55   1000000         0
1578.15/1578.69	c       139       322    382.16     71.29      5.36   1000000         0
1579.35/1579.89	c       217       474    406.68     69.60      5.84   1000000         0
1580.65/1581.10	c       195       403    392.47     78.77      4.98   1000000         0
1581.85/1582.31	c       230       443    395.30     63.27      6.25   1000000         0
1583.05/1583.53	c       248       399    402.92     74.03      5.44   1000000         0
1584.25/1584.74	c       218       363    401.45     59.70      6.72   1000000         0
1585.45/1585.95	c       207       431    387.97     65.67      5.91   1000000         0
1586.65/1587.16	c       221       319    398.98     67.03      5.95   1000000         0
1587.86/1588.37	c       211       472    390.02     67.67      5.76   1000000         0
1589.06/1589.58	c       210       401    395.82     69.20      5.72   1000000         0
1590.25/1590.78	c       234       304    401.53     61.66      6.51   1000000         0
1591.45/1591.99	c       250       430    409.61     64.01      6.40   1000000         0
1592.75/1593.21	c       205       447    406.16     70.31      5.78   1000000         0
1593.95/1594.42	c       189       308    399.61     73.81      5.41   1000000         0
1595.15/1595.63	c       223       417    389.50     61.85      6.30   1000000         0
1596.35/1596.84	c       209       374    399.41     74.70      5.35   1000000         0
1597.55/1598.05	c       204       397    388.46     69.52      5.59   1000000         0
1598.75/1599.26	c       199       443    402.41     60.47      6.65   1000000         0
1599.95/1600.46	c       216       369    398.88     66.12      6.03   1000000         0
1601.16/1601.67	c       221       339    407.02     64.50      6.31   1000000         0
1602.35/1602.88	c       215       375    394.04     70.55      5.59   1000000         0
1603.55/1604.09	c       180       456    398.70     81.27      4.91   1000000         0
1604.85/1605.30	c       179       439    401.14     83.01      4.83   1000000         0
1606.05/1606.51	c       199       465    387.65     59.95      6.47   1000000         0
1607.25/1607.72	c       260       360    403.10     70.80      5.69   1000000         0
1608.45/1608.93	c       214       287    392.66     61.21      6.41   1000000         0
1609.65/1610.14	c       230       337    384.62     67.05      5.74   1000000         0
1610.85/1611.35	c       211       276    403.68     81.69      4.94   1000000         0
1612.05/1612.56	c       212       518    391.48     64.95      6.03   1000000         0
1613.25/1613.76	c       214       412    384.37     65.30      5.89   1000000         0
1614.44/1614.98	c       246       407    400.64     79.94      5.01   1000000         0
1615.64/1616.19	c       191       381    402.75     71.16      5.66   1000000         0
1616.84/1617.39	c       188       318    398.76     72.38      5.51   1000000         0
1618.14/1618.61	c       192       419    381.44     69.31      5.50   1000000         0
1619.34/1619.82	c       166       361    386.81     62.53      6.19   1000000         0
1620.54/1621.02	c       234       322    393.23     68.92      5.71   1000000         0
1621.74/1622.23	c       231       342    386.68     58.35      6.63   1000000         0
1622.94/1623.44	c       215       426    388.57     71.53      5.43   1000000         0
1624.15/1624.65	c       172       415    400.81     75.83      5.29   1000000         0
1625.35/1625.86	c       209       327    395.81     66.41      5.96   1000000         0
1626.54/1627.07	c       185       353    392.41     67.42      5.82   1000000         0
1627.74/1628.28	c       203       468    387.98     73.81      5.26   1000000         0
1628.94/1629.49	c       220       491    406.29     74.78      5.43   1000000         0
1630.24/1630.70	c       231       497    407.26     66.80      6.10   1000000         0
1631.44/1631.91	c       224       459    392.27     70.02      5.60   1000000         0
1632.64/1633.12	c       225       339    390.58     62.19      6.28   1000000         0
1633.84/1634.33	c       195       346    385.87     78.80      4.90   1000000         0
1635.04/1635.54	c       215       427    388.13     78.77      4.93   1000000         0
1636.24/1636.74	c       196       337    397.44     62.96      6.31   1000000         0
1637.44/1637.95	c       215       432    389.15     66.74      5.83   1000000         0
1638.64/1639.16	c       206       426    397.99     74.29      5.36   1000000         0
1639.84/1640.37	c       241       417    402.58     71.88      5.60   1000000         0
1641.04/1641.58	c       211       474    395.93     79.12      5.00   1000000         0
1642.24/1642.79	c       212       374    391.16     64.42      6.07   1000000         0
1643.54/1644.00	c       185       363    401.72     67.92      5.91   1000000         0
1644.73/1645.21	c       219       370    397.91     69.11      5.76   1000000         0
1645.93/1646.42	c       260       363    407.56     64.69      6.30   1000000         0
1647.13/1647.63	c       214       306    387.17     62.89      6.16   1000000         0
1648.34/1648.84	c       194       328    401.69     78.04      5.15   1000000         0
1649.54/1650.05	c       207       390    388.67     66.96      5.80   1000000         0
1650.73/1651.26	c       206       417    390.40     73.78      5.29   1000000         0
1651.93/1652.46	c       208       387    399.82     73.78      5.42   1000000         0
1653.13/1653.68	c       220       352    405.01     68.41      5.92   1000000         0
1654.33/1654.88	c       217       428    390.32     65.68      5.94   1000000         0
1655.53/1656.09	c       231       391    395.34     59.69      6.62   1000000         0
1656.83/1657.30	c       233       366    391.82     77.03      5.09   1000000         0
1658.03/1658.51	c       243       396    414.89     68.34      6.07   1000000         0
1659.23/1659.72	c       225       368    400.91     76.38      5.25   1000000         0
1660.44/1660.92	c       217       250    400.90     70.10      5.72   1000000         0
1661.64/1662.14	c       214       343    397.20     66.26      5.99   1000000         0
1662.83/1663.34	c       177       408    385.31     69.12      5.57   1000000         0
1664.03/1664.55	c       266       309    399.53     68.54      5.83   1000000         0
1665.23/1665.76	c       221       362    398.15     76.33      5.22   1000000         0
1666.43/1666.97	c       235       365    396.25     64.85      6.11   1000000         0
1667.63/1668.18	c       194       420    389.90     68.58      5.69   1000000         0
1668.83/1669.40	c       230       432    404.43     72.32      5.59   1000000         0
1670.13/1670.61	c       223       315    417.38     73.87      5.65   1000000         0
1671.33/1671.82	c       229       372    401.51     61.27      6.55   1000000         0
1672.53/1673.03	c       197       469    413.84     67.69      6.11   1000000         0
1673.73/1674.24	c       186       371    390.83     59.71      6.55   1000000         0
1674.93/1675.44	c       220       411    393.09     69.25      5.68   1000000         0
1676.13/1676.65	c       223       489    387.80     67.02      5.79   1000000         0
1677.33/1677.86	c       181       329    395.93     81.07      4.88   1000000         0
1678.53/1679.06	c       234       400    391.89     72.28      5.42   1000000         0
1679.73/1680.27	c       212       386    401.41     69.91      5.74   1000000         0
1680.93/1681.48	c       236       377    393.79     60.94      6.46   1000000         0
1682.12/1682.69	c       208       523    388.55     68.27      5.69   1000000         0
1683.32/1683.90	c       195       442    398.85     76.92      5.19   1000000         0
1684.63/1685.11	c       199       436    396.23     72.01      5.50   1000000         0
1685.83/1686.32	c       235       376    407.26     64.07      6.36   1000000         0
1687.02/1687.53	c       225       348    387.84     67.88      5.71   1000000         0
1688.22/1688.74	c       209       394    394.70     69.02      5.72   1000000         0
1689.42/1689.95	c       216       463    404.70     57.26      7.07   1000000         0
1690.62/1691.16	c       220       318    381.66     57.09      6.69   1000000         0
1691.82/1692.36	c       238       321    397.10     68.50      5.80   1000000         0
1693.02/1693.57	c       200       306    393.30     68.12      5.77   1000000         0
1694.22/1694.78	c       209       416    381.40     64.10      5.95   1000000         0
1695.42/1695.99	c       226       343    397.00     60.14      6.60   1000000         0
1696.73/1697.20	c       183       342    391.53     77.21      5.07   1000000         0
1697.93/1698.41	c       208       436    374.66     60.70      6.17   1000000         0
1699.12/1699.62	c       217       340    407.19     73.07      5.57   1000000         0
1700.32/1700.82	c       213       311    406.58     74.07      5.49   1000000         0
1701.52/1702.03	c       223       364    379.12     67.23      5.64   1000000         0
1702.72/1703.24	c       226       331    408.82     68.02      6.01   1000000         0
1703.92/1704.45	c       245       376    407.34     65.83      6.19   1000000         0
1705.12/1705.66	c       189       375    377.80     71.94      5.25   1000000         0
1706.32/1706.87	c       221       378    398.21     69.40      5.74   1000000         0
1707.52/1708.08	c       205       307    389.78     77.83      5.01   1000000         0
1708.72/1709.29	c       234       440    400.02     74.70      5.36   1000000         0
1709.92/1710.50	c       222       354    390.16     61.56      6.34   1000000         0
1711.22/1711.70	c       187       409    387.79     79.53      4.88   1000000         0
1712.42/1712.91	c       205       391    407.43     67.18      6.06   1000000         0
1713.62/1714.12	c       188       296    387.09     64.48      6.00   1000000         0
1714.82/1715.33	c       234       442    400.49     74.43      5.38   1000000         0
1716.02/1716.53	c       216       398    392.75     63.67      6.17   1000000         0
1717.21/1717.75	c       233       435    393.40     65.71      5.99   1000000         0
1718.41/1718.95	c       214       430    391.85     63.00      6.22   1000000         0
1719.61/1720.16	c       178       273    394.69     65.05      6.07   1000000         0
1720.81/1721.37	c       199       448    406.91     72.19      5.64   1000000         0
1722.02/1722.58	c       206       423    379.41     59.51      6.38   1000000         0
1723.22/1723.78	c       170       449    392.02     77.93      5.03   1000000         0
1724.41/1724.99	c       245       417    395.29     65.73      6.01   1000000         0
1725.71/1726.21	c       212       396    387.45     61.36      6.31   1000000         0
1726.91/1727.41	c       218       348    389.59     65.43      5.95   1000000         0
1728.11/1728.63	c       209       449    394.67     64.76      6.09   1000000         0
1729.31/1729.83	c       204       413    397.47     69.00      5.76   1000000         0
1730.51/1731.04	c       216       389    386.27     63.49      6.08   1000000         0
1731.71/1732.25	c       226       495    400.30     73.04      5.48   1000000         0
1732.91/1733.46	c       219       360    400.83     65.51      6.12   1000000         0
1734.12/1734.67	c       226       433    407.28     75.60      5.39   1000000         0
1735.32/1735.88	c       230       319    401.05     68.81      5.83   1000000         0
1736.51/1737.09	c       218       304    390.80     69.66      5.61   1000000         0
1737.81/1738.30	c       184       386    391.25     65.36      5.99   1000000         0
1739.01/1739.51	c       205       391    387.03     59.13      6.55   1000000         0
1740.21/1740.72	c       230       350    402.23     68.89      5.84   1000000         0
1741.41/1741.92	c       243       424    401.62     61.29      6.55   1000000         0
1742.61/1743.13	c       237       384    405.61     76.46      5.30   1000000         0
1743.81/1744.34	c       233       463    404.99     59.48      6.81   1000000         0
1745.01/1745.56	c       251       333    397.75     68.88      5.77   1000000         0
1746.21/1746.76	c       218       383    383.93     71.28      5.39   1000000         0
1747.41/1747.97	c       218       462    409.59     73.50      5.57   1000000         0
1748.61/1749.18	c       248       369    406.79     66.85      6.09   1000000         0
1749.81/1750.38	c       173       446    390.97     72.16      5.42   1000000         0
1751.00/1751.59	c       189       332    393.00     62.06      6.33   1000000         0
1752.30/1752.80	c       211       350    404.04     69.36      5.83   1000000         0
1753.50/1754.01	c       148       412    390.02     63.13      6.18   1000000         0
1754.70/1755.22	c       163       374    385.60     73.87      5.22   1000000         0
1755.90/1756.42	c       214       442    391.95     67.81      5.78   1000000         0
1757.10/1757.64	c       244       337    406.00     82.67      4.91   1000000         0
1758.31/1758.84	c       201       395    389.86     66.99      5.82   1000000         0
1759.51/1760.05	c       217       342    384.16     67.17      5.72   1000000         0
1760.70/1761.26	c       228       429    396.92     63.37      6.26   1000000         0
1761.90/1762.47	c       199       497    383.63     68.16      5.63   1000000         0
1763.10/1763.67	c       196       319    400.48     71.09      5.63   1000000         0
1764.30/1764.88	c       226       313    389.47     63.31      6.15   1000000         0
1765.50/1766.08	c       229       408    391.49     64.95      6.03   1000000         0
1766.70/1767.29	c       220       384    387.20     61.45      6.30   1000000         0
1767.90/1768.50	c       212       312    395.03     69.07      5.72   1000000         0
1769.20/1769.70	c       190       379    398.03     70.68      5.63   1000000         0
1770.41/1770.91	c       220       447    403.41     73.54      5.49   1000000         0
1771.61/1772.12	c       217       336    387.83     77.21      5.02   1000000         0
1772.80/1773.33	c       217       318    396.90     80.15      4.95   1000000         0
1774.00/1774.53	c       205       351    390.65     62.68      6.23   1000000         0
1775.20/1775.74	c       219       392    400.85     70.53      5.68   1000000         0
1776.40/1776.95	c       222       440    404.60     71.66      5.65   1000000         0
1777.60/1778.16	c       202       342    404.59     65.45      6.18   1000000         0
1778.80/1779.37	c       243       397    404.10     67.98      5.94   1000000         0
1780.00/1780.59	c       208       407    396.00     70.33      5.63   1000000         0
1781.30/1781.80	c       227       377    392.27     70.74      5.55   1000000         0
1782.50/1783.01	c       199       416    390.80     69.88      5.59   1000000         0
1783.70/1784.22	c       244       406    397.75     57.45      6.92   1000000         0
1784.90/1785.43	c       202       419    400.40     69.17      5.79   1000000         0
1786.10/1786.64	c       246       403    410.29     70.35      5.83   1000000         0
1787.30/1787.85	c       204       413    393.95     61.72      6.38   1000000         0
1788.50/1789.06	c       216       401    396.33     69.67      5.69   1000000         0
1789.69/1790.26	c       202       458    385.35     72.32      5.33   1000000         0
1790.89/1791.47	c       218       274    394.99     67.25      5.87   1000000         0
1792.09/1792.69	c       246       376    400.72     62.96      6.36   1000000         0
1793.39/1793.90	c       228       362    394.23     67.84      5.81   1000000         0
1794.60/1795.10	c       198       437    384.80     68.43      5.62   1000000         0
1795.80/1796.31	c       211       300    391.07     64.65      6.05   1000000         0
1796.99/1797.52	c       208       420    395.73     73.99      5.35   1000000         0
1798.19/1798.73	c       237       437    414.88     73.67      5.63   1000000         0
1799.39/1799.94	c       226       383    392.36     73.35      5.35   1000000         0
1800.11/1800.61	HOME/run: line 2: 20527 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-2685560-1278441640/watcher-2685560-1278441640 -o /tmp/evaluation-result-2685560-1278441640/solver-2685560-1278441640 -C 1800 -W 2000 -M 1800 run HOME/instance-2685560-1278441640.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.15 1.03 1.01 3/105 20526
/proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) R 20524 20526 19648 0 -1 4202496 344 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407506325 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0

[startup+0.0230379 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 20526
/proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101045 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 20526
/proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 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.15 1.03 1.01 3/105 20526
/proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701113 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 20526
/proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5012 s]
/proc/loadavg: 1.13 1.03 1.01 2/107 20528
/proc/meminfo: memFree=1725344/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1.49
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 149 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134537183 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10139 s]
/proc/loadavg: 1.13 1.03 1.01 2/107 20528
/proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=3.09
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 309 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30075 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 20528
/proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=6.29
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 629 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526661 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7015 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 20528
/proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=12.69
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 1269 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5009 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 20528
/proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=25.48
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 2548 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526287 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1008 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 20530
/proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=51.08
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 5108 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134519928 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 20530
/proc/meminfo: memFree=1724848/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=102.27
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 10227 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526322 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 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.01 1.01 1.00 2/107 20532
/proc/meminfo: memFree=1724724/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=162.24
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 16224 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20534
/proc/meminfo: memFree=1724724/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=222.23
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 22223 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526648 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20536
/proc/meminfo: memFree=1724724/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=282.21
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 28221 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20538
/proc/meminfo: memFree=1724476/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=342.19
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 34219 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20538
/proc/meminfo: memFree=1724476/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=402.18
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 40218 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=20527] ppid=20526 vsize=40452 CPUtime=1062
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 106199 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134525854 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20558
/proc/meminfo: memFree=1722988/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1121.99
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 112198 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134571221 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 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/107 20560
/proc/meminfo: memFree=1722864/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1181.97
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 118196 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134537216 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20571
/proc/meminfo: memFree=1722368/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1241.94
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 124193 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 20571
/proc/meminfo: memFree=1722368/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1301.93
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 130192 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 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.08 1.02 1.00 2/107 20573
/proc/meminfo: memFree=1722368/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1361.91
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 136190 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 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.06 1.03 1.00 2/107 20575
/proc/meminfo: memFree=1722492/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1421.9
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 142189 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 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.08 1.04 1.00 2/107 20577
/proc/meminfo: memFree=1722368/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1481.88
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 148186 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 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.03 1.03 1.00 2/107 20579
/proc/meminfo: memFree=1722244/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1541.86
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 154184 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 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.01 1.02 1.00 3/107 20579
/proc/meminfo: memFree=1722120/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1601.85
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 160183 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 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.05 1.03 1.00 2/107 20581
/proc/meminfo: memFree=1721996/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1661.83
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 166181 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 20583
/proc/meminfo: memFree=1721872/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1721.81
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 172179 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 20585
/proc/meminfo: memFree=1721624/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1781.8
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 178178 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134537141 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 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.6 s]
/proc/loadavg: 1.19 1.07 1.01 2/107 20585
/proc/meminfo: memFree=1721624/2059040 swapFree=4192956/4192956
[pid=20526] ppid=20524 vsize=8700 CPUtime=0
/proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20526/statm: 2175 244 204 178 0 68 0
[pid=20527] ppid=20526 vsize=40452 CPUtime=1800.11
/proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 180009 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134536780 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20527/statm: 10113 1152 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.12
CPU user time (s): 1800.09
CPU system time (s): 0.024996
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.79857 second user time and 8.76867 second system time

The end

Launcher Data

Begin job on node085 at 2010-07-06 20:40:40
IDJOB=2685560
IDBENCH=76458
IDSOLVER=1171
FILE ID=node085/2685560-1278441640
PBS_JOBID= 11233440
Free space on /tmp= 121792 MiB

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

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

MD5SUM BENCH= 69559824b87170fe6ae330353d26cc7c
RANDOM SEED=1316683868

node085.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.215
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.215
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	: 5999.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1730600 kB
Buffers:         22968 kB
Cached:         170980 kB
SwapCached:          0 kB
Active:         121524 kB
Inactive:       132484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1730600 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1916 kB
Writeback:           0 kB
AnonPages:       60020 kB
Mapped:          14392 kB
Slab:            52796 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181708 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= 121792 MiB
End job on node085 at 2010-07-06 21:10:41