Trace number 2685378

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-wave alpha 2? (TO) 1800.08 1800.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6033_2-unsat.opb
MD5SUM899af7013bffd830ee31db3c8b2bc82e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.173973
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12200
Total number of constraints42056
Number of constraints which are clauses41660
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints396
Minimum length of a constraint1
Maximum length of a constraint18
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 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 116
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.09	c PB-wave - v2
0.00/0.09	c command line = ./PB-wave
0.00/0.09	c seed = 63642810
0.00/0.09	c cutoff = 1000000
0.00/0.09	c tries = 1000000
0.00/0.09	c heuristic = c best, noise 50 / 100
0.00/0.09	#var 12200 #con 42056
0.00/0.09	mode is SAT
0.00/0.09	c tail starts after flip = 36600
0.00/0.09	c numatom = 12200, numclause = 42056, numliterals = 94574
0.00/0.09	c wff read in
0.00/0.09	c 
0.00/0.09	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.09	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.09	c       this      this      this      this      this      this   success   success       until         std
0.00/0.09	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.09	c
1.29/1.34	c       298       436    473.96     62.12      7.63   1000000         0
2.49/2.59	c       321       404    473.85     56.49      8.39   1000000         0
3.79/3.84	c       301       387    472.55     62.04      7.62   1000000         0
4.99/5.08	c       283       449    459.68     61.99      7.41   1000000         0
6.29/6.33	c       267       327    474.98     76.26      6.23   1000000         0
7.49/7.57	c       286       426    464.04     70.66      6.57   1000000         0
8.79/8.82	c       258       420    469.03     63.23      7.42   1000000         0
9.99/10.07	c       285       393    475.25     69.12      6.88   1000000         0
11.29/11.31	c       274       446    458.33     65.52      6.99   1000000         0
12.49/12.57	c       283       478    500.87     64.50      7.76   1000000         0
13.79/13.81	c       240       515    469.75     67.27      6.98   1000000         0
14.98/15.06	c       289       468    480.72     65.75      7.31   1000000         0
16.28/16.31	c       290       575    468.52     64.96      7.21   1000000         0
17.49/17.55	c       294       336    470.17     65.23      7.21   1000000         0
18.78/18.80	c       275       477    474.65     65.74      7.22   1000000         0
19.98/20.04	c       212       478    454.79     60.98      7.46   1000000         0
21.18/21.29	c       285       429    482.66     66.53      7.25   1000000         0
22.48/22.53	c       296       407    466.39     65.27      7.15   1000000         0
23.68/23.78	c       318       529    484.61     70.48      6.88   1000000         0
24.98/25.03	c       256       516    467.82     70.07      6.68   1000000         0
26.18/26.28	c       255       551    480.07     70.37      6.82   1000000         0
27.48/27.54	c       281       493    472.24     69.61      6.78   1000000         0
28.68/28.78	c       318       452    473.31     64.43      7.35   1000000         0
29.98/30.03	c       315       455    476.13     56.45      8.43   1000000         0
31.18/31.28	c       294       542    478.00     69.18      6.91   1000000         0
32.47/32.53	c       309       439    480.55     68.62      7.00   1000000         0
33.67/33.78	c       279       465    482.02     71.79      6.71   1000000         0
34.97/35.04	c       322       414    481.21     74.74      6.44   1000000         0
36.18/36.28	c       305       424    478.80     65.49      7.31   1000000         0
37.47/37.53	c       279       591    461.88     63.16      7.31   1000000         0
38.67/38.77	c       259       439    469.57     71.47      6.57   1000000         0
39.97/40.02	c       297       496    475.41     68.41      6.95   1000000         0
41.17/41.27	c       303       614    482.33     70.88      6.81   1000000         0
42.47/42.52	c       281       457    480.41     57.23      8.39   1000000         0
43.67/43.76	c       294       385    467.27     69.17      6.75   1000000         0
44.99/45.01	c       290       414    468.22     67.93      6.89   1000000         0
46.19/46.26	c       305       506    470.82     61.40      7.67   1000000         0
47.48/47.50	c       289       442    476.25     62.49      7.62   1000000         0
48.68/48.75	c       301       480    476.61     72.52      6.57   1000000         0
49.98/50.00	c       306       438    459.52     61.69      7.45   1000000         0
51.18/51.25	c       293       429    475.32     59.81      7.95   1000000         0
52.48/52.50	c       308       430    470.87     59.98      7.85   1000000         0
53.68/53.75	c       281       483    475.87     73.90      6.44   1000000         0
54.88/55.00	c       247       454    472.18     67.37      7.01   1000000         0
56.18/56.24	c       283       464    467.05     63.13      7.40   1000000         0
57.38/57.49	c       292       427    457.75     57.90      7.91   1000000         0
58.68/58.74	c       307       446    478.97     63.01      7.60   1000000         0
59.87/59.99	c       237       453    475.32     78.85      6.03   1000000         0
61.17/61.24	c       265       543    472.53     68.65      6.88   1000000         0
62.37/62.49	c       289       487    476.07     61.41      7.75   1000000         0
63.68/63.74	c       292       435    478.94     66.13      7.24   1000000         0
64.88/64.99	c       275       471    478.59     59.57      8.03   1000000         0
66.17/66.23	c       260       410    476.74     72.69      6.56   1000000         0
67.37/67.49	c       289       463    475.07     63.77      7.45   1000000         0
68.67/68.73	c       297       462    482.19     61.32      7.86   1000000         0
69.87/69.98	c       259       474    476.07     80.17      5.94   1000000         0
71.17/71.23	c       259       451    468.99     69.05      6.79   1000000         0
72.37/72.48	c       292       519    463.65     63.42      7.31   1000000         0
73.68/73.72	c       314       613    480.80     57.27      8.40   1000000         0
74.87/74.97	c       284       476    465.83     66.27      7.03   1000000         0
76.17/76.22	c       297       415    478.03     63.45      7.53   1000000         0
77.37/77.47	c       286       415    471.07     65.71      7.17   1000000         0
78.67/78.72	c       299       388    476.35     64.17      7.42   1000000         0
79.87/79.96	c       274       452    461.08     61.72      7.47   1000000         0
81.17/81.21	c       302       521    476.90     77.92      6.12   1000000         0
82.37/82.46	c       289       438    470.02     57.44      8.18   1000000         0
83.66/83.70	c       293       466    467.26     60.39      7.74   1000000         0
84.86/84.95	c       305       396    475.69     57.76      8.24   1000000         0
86.06/86.19	c       297       416    481.47     69.96      6.88   1000000         0
87.36/87.44	c       241       578    471.71     68.16      6.92   1000000         0
88.56/88.69	c       312       419    482.51     61.96      7.79   1000000         0
89.86/89.94	c       317       456    491.62     69.14      7.11   1000000         0
91.06/91.19	c       277       452    464.20     66.43      6.99   1000000         0
92.37/92.44	c       310       476    492.31     60.27      8.17   1000000         0
93.56/93.69	c       275       403    480.67     68.36      7.03   1000000         0
94.86/94.94	c       312       354    492.73     69.91      7.05   1000000         0
96.06/96.19	c       306       495    476.01     60.22      7.90   1000000         0
97.36/97.44	c       286       463    480.25     70.64      6.80   1000000         0
98.56/98.69	c       313       457    477.16     61.72      7.73   1000000         0
99.86/99.93	c       305       543    483.78     68.94      7.02   1000000         0
101.07/101.18	c       292       373    477.08     62.47      7.64   1000000         0
102.36/102.44	c       302       462    475.65     61.17      7.78   1000000         0
103.56/103.69	c       307       441    478.28     67.18      7.12   1000000         0
104.86/104.94	c       254       427    475.66     68.57      6.94   1000000         0
106.06/106.19	c       294       417    468.80     71.53      6.55   1000000         0
107.36/107.44	c       284       548    479.59     71.29      6.73   1000000         0
108.55/108.69	c       283       441    466.27     64.20      7.26   1000000         0
109.86/109.93	c       285       509    477.86     67.54      7.08   1000000         0
111.06/111.18	c       264       561    466.62     65.87      7.08   1000000         0
112.35/112.43	c       298       434    473.20     65.90      7.18   1000000         0
113.55/113.67	c       274       440    463.38     72.48      6.39   1000000         0
114.85/114.92	c       283       429    469.71     64.03      7.34   1000000         0
116.05/116.17	c       282       366    471.76     67.45      6.99   1000000         0
117.35/117.42	c       299       531    476.33     60.38      7.89   1000000         0
118.55/118.66	c       291       465    477.13     67.97      7.02   1000000         0
119.86/119.91	c       294       600    472.94     65.79      7.19   1000000         0
121.05/121.16	c       295       379    491.36     69.48      7.07   1000000         0
122.35/122.41	c       313       475    473.74     71.64      6.61   1000000         0
123.55/123.65	c       305       438    470.41     53.91      8.73   1000000         0
124.85/124.90	c       275       585    472.83     65.20      7.25   1000000         0
126.05/126.15	c       289       510    471.61     68.93      6.84   1000000         0
127.35/127.40	c       303       555    478.83     66.58      7.19   1000000         0
128.55/128.65	c       285       511    472.97     74.65      6.34   1000000         0
129.85/129.90	c       259       482    478.60     69.37      6.90   1000000         0
131.05/131.15	c       212       467    469.03     61.43      7.63   1000000         0
132.25/132.39	c       288       415    466.96     68.84      6.78   1000000         0
133.55/133.64	c       312       471    471.03     58.31      8.08   1000000         0
134.75/134.88	c       308       533    468.41     57.40      8.16   1000000         0
136.05/136.13	c       287       490    473.71     72.84      6.50   1000000         0
137.25/137.38	c       299       501    471.15     69.66      6.76   1000000         0
138.55/138.63	c       288       455    464.82     57.63      8.06   1000000         0
139.74/139.88	c       316       508    481.84     66.77      7.22   1000000         0
141.05/141.13	c       284       477    471.26     56.33      8.37   1000000         0
142.25/142.38	c       316       395    480.88     73.74      6.52   1000000         0
143.54/143.63	c       308       545    475.22     60.28      7.88   1000000         0
144.74/144.88	c       285       476    473.50     68.51      6.91   1000000         0
146.04/146.13	c       275       373    479.39     69.15      6.93   1000000         0
147.25/147.38	c       269       381    476.74     75.83      6.29   1000000         0
148.54/148.63	c       279       451    469.43     70.37      6.67   1000000         0
149.74/149.88	c       287       482    490.99     75.79      6.48   1000000         0
151.04/151.13	c       316       426    478.41     71.14      6.72   1000000         0
152.24/152.37	c       305       421    477.66     64.85      7.37   1000000         0
153.54/153.62	c       287       443    463.26     66.19      7.00   1000000         0
154.74/154.87	c       272       524    462.77     67.33      6.87   1000000         0
156.05/156.12	c       277       506    476.19     71.18      6.69   1000000         0
157.25/157.37	c       284       406    483.99     68.69      7.05   1000000         0
158.54/158.62	c       274       467    474.91     65.56      7.24   1000000         0
159.74/159.86	c       296       411    468.24     70.89      6.60   1000000         0
161.04/161.10	c       277       432    450.48     62.52      7.21   1000000         0
162.24/162.35	c       310       650    485.79     68.04      7.14   1000000         0
163.54/163.60	c       253       388    477.49     68.27      6.99   1000000         0
164.74/164.85	c       308       423    474.83     73.20      6.49   1000000         0
165.94/166.10	c       291       403    467.03     68.25      6.84   1000000         0
167.24/167.35	c       331       406    488.67     62.43      7.83   1000000         0
168.44/168.59	c       278       442    460.15     70.56      6.52   1000000         0
169.74/169.84	c       279       439    478.36     78.97      6.06   1000000         0
170.94/171.09	c       242       488    465.39     72.61      6.41   1000000         0
172.23/172.34	c       278       463    486.01     67.42      7.21   1000000         0
173.43/173.59	c       300       366    470.90     59.36      7.93   1000000         0
174.74/174.84	c       306       449    486.56     67.96      7.16   1000000         0
175.94/176.09	c       280       444    462.09     66.33      6.97   1000000         0
177.23/177.33	c       272       518    473.14     58.58      8.08   1000000         0
178.43/178.57	c       294       401    461.85     67.16      6.88   1000000         0
179.73/179.82	c       291       433    469.04     60.24      7.79   1000000         0
180.93/181.07	c       307       501    474.83     72.78      6.52   1000000         0
182.23/182.32	c       286       444    474.80     65.57      7.24   1000000         0
183.43/183.57	c       299       522    474.90     72.88      6.52   1000000         0
184.74/184.81	c       296       476    467.59     71.32      6.56   1000000         0
185.93/186.06	c       298       456    484.33     61.32      7.90   1000000         0
187.23/187.31	c       302       456    468.78     64.15      7.31   1000000         0
188.43/188.56	c       299       424    478.77     61.27      7.81   1000000         0
189.73/189.80	c       262       363    455.44     62.09      7.34   1000000         0
190.93/191.05	c       336       458    480.58     59.83      8.03   1000000         0
192.13/192.29	c       292       528    468.52     67.69      6.92   1000000         0
193.44/193.54	c       292       394    469.75     68.76      6.83   1000000         0
194.64/194.78	c       318       509    476.04     62.10      7.67   1000000         0
195.93/196.03	c       301       419    470.91     55.81      8.44   1000000         0
197.13/197.28	c       308       568    480.15     64.08      7.49   1000000         0
198.43/198.52	c       277       463    464.65     62.78      7.40   1000000         0
199.63/199.76	c       298       466    464.83     59.54      7.81   1000000         0
200.93/201.01	c       300       474    489.44     67.93      7.21   1000000         0
202.13/202.26	c       288       353    470.67     64.01      7.35   1000000         0
203.43/203.50	c       296       482    467.99     62.60      7.48   1000000         0
204.62/204.75	c       247       507    464.66     60.05      7.74   1000000         0
205.82/206.00	c       307       468    471.18     56.61      8.32   1000000         0
207.12/207.25	c       304       454    481.34     72.47      6.64   1000000         0
208.42/208.50	c       290       516    485.92     64.37      7.55   1000000         0
209.62/209.75	c       314       491    479.31     55.54      8.63   1000000         0
210.82/211.00	c       290       429    471.42     62.10      7.59   1000000         0
212.13/212.24	c       273       441    476.89     68.34      6.98   1000000         0
213.33/213.49	c       278       464    467.35     58.74      7.96   1000000         0
214.62/214.74	c       310       480    476.23     58.59      8.13   1000000         0
215.82/215.99	c       273       470    470.49     62.79      7.49   1000000         0
217.12/217.24	c       313       451    480.48     66.60      7.21   1000000         0
218.32/218.48	c       308       426    464.39     58.50      7.94   1000000         0
219.62/219.73	c       302       453    473.73     67.42      7.03   1000000         0
220.82/220.98	c       285       540    484.98     68.94      7.03   1000000         0
222.13/222.23	c       305       504    483.29     68.46      7.06   1000000         0
223.32/223.49	c       301       480    481.81     61.57      7.82   1000000         0
224.62/224.74	c       320       428    489.33     62.56      7.82   1000000         0
225.82/225.98	c       312       426    465.60     64.90      7.17   1000000         0
227.12/227.23	c       285       505    477.75     69.43      6.88   1000000         0
228.31/228.48	c       285       405    466.19     58.48      7.97   1000000         0
229.61/229.73	c       310       488    483.18     63.59      7.60   1000000         0
230.82/230.98	c       282       441    480.19     64.91      7.40   1000000         0
232.11/232.23	c       273       456    462.69     67.10      6.90   1000000         0
233.31/233.48	c       295       427    475.15     68.34      6.95   1000000         0
234.61/234.73	c       291       468    468.24     58.75      7.97   1000000         0
235.81/235.97	c       288       547    481.62     64.57      7.46   1000000         0
237.11/237.22	c       270       532    476.07     74.27      6.41   1000000         0
238.31/238.47	c       309       502    475.82     57.15      8.33   1000000         0
239.62/239.73	c       275       440    477.39     65.54      7.28   1000000         0
240.82/240.97	c       263       460    471.75     66.37      7.11   1000000         0
242.11/242.22	c       277       456    466.01     67.62      6.89   1000000         0
243.31/243.47	c       292       485    479.50     60.27      7.96   1000000         0
244.62/244.72	c       312       499    478.09     67.41      7.09   1000000         0
245.82/245.97	c       307       465    476.60     66.14      7.21   1000000         0
247.12/247.21	c       277       371    474.30     63.49      7.47   1000000         0
248.32/248.46	c       294       528    465.48     66.42      7.01   1000000         0
249.63/249.71	c       308       370    476.87     63.97      7.46   1000000         0
250.82/250.95	c       296       464    472.16     67.29      7.02   1000000         0
252.12/252.20	c       283       410    468.71     60.80      7.71   1000000         0
253.32/253.44	c       285       417    461.35     76.48      6.03   1000000         0
254.61/254.70	c       289       466    475.28     81.72      5.82   1000000         0
255.81/255.94	c       289       373    480.84     63.50      7.57   1000000         0
257.01/257.19	c       272       469    484.23     76.09      6.36   1000000         0
258.32/258.44	c       287       467    475.61     58.49      8.13   1000000         0
259.52/259.68	c       315       442    475.18     58.10      8.18   1000000         0
260.81/260.93	c       285       578    469.98     59.74      7.87   1000000         0
262.01/262.18	c       290       479    479.64     62.00      7.74   1000000         0
263.31/263.42	c       290       456    481.55     58.31      8.26   1000000         0
264.51/264.68	c       300       520    488.58     79.95      6.11   1000000         0
265.81/265.92	c       288       494    474.54     68.23      6.95   1000000         0
267.01/267.17	c       279       558    467.85     69.34      6.75   1000000         0
268.32/268.42	c       279       386    468.81     59.37      7.90   1000000         0
269.51/269.67	c       287       466    476.66     70.68      6.74   1000000         0
270.81/270.92	c       274       433    465.83     60.94      7.64   1000000         0
272.01/272.16	c       306       406    477.11     65.58      7.28   1000000         0
273.31/273.41	c       248       382    468.41     68.53      6.83   1000000         0
274.51/274.65	c       290       510    472.63     68.74      6.88   1000000         0
275.81/275.90	c       322       506    482.71     65.00      7.43   1000000         0
277.01/277.15	c       285       469    476.49     54.98      8.67   1000000         0
278.31/278.40	c       314       462    473.16     56.15      8.43   1000000         0
279.51/279.64	c       287       524    462.96     56.50      8.19   1000000         0
280.71/280.89	c       300       468    458.97     64.94      7.07   1000000         0
282.01/282.13	c       278       545    473.34     64.81      7.30   1000000         0
283.20/283.38	c       298       451    481.48     70.76      6.80   1000000         0
284.50/284.63	c       314       433    477.06     53.42      8.93   1000000         0
285.70/285.88	c       286       482    473.07     71.28      6.64   1000000         0
287.01/287.12	c       215       479    464.74     64.15      7.25   1000000         0
288.20/288.37	c       265       357    475.68     71.15      6.69   1000000         0
289.50/289.62	c       277       454    473.03     70.60      6.70   1000000         0
290.70/290.87	c       318       474    473.19     63.83      7.41   1000000         0
292.00/292.12	c       304       413    465.94     59.98      7.77   1000000         0
293.20/293.37	c       311       458    472.04     61.19      7.71   1000000         0
294.50/294.61	c       275       410    468.12     64.27      7.28   1000000         0
295.71/295.86	c       281       480    478.54     75.82      6.31   1000000         0
297.00/297.10	c       305       429    469.71     66.94      7.02   1000000         0
298.20/298.35	c       254       483    467.82     63.52      7.36   1000000         0
299.40/299.59	c       299       435    467.35     65.29      7.16   1000000         0
300.70/300.85	c       313       539    482.37     73.74      6.54   1000000         0
301.90/302.09	c       304       515    478.53     74.94      6.39   1000000         0
303.20/303.34	c       292       436    477.30     64.25      7.43   1000000         0
304.40/304.59	c       309       533    491.05     65.66      7.48   1000000         0
305.70/305.84	c       307       482    474.07     61.04      7.77   1000000         0
306.90/307.09	c       291       550    482.56     87.33      5.53   1000000         0
308.20/308.34	c       302       464    468.39     63.04      7.43   1000000         0
309.40/309.59	c       323       414    484.67     59.63      8.13   1000000         0
310.70/310.84	c       269       448    454.21     61.12      7.43   1000000         0
311.90/312.09	c       289       540    474.94     72.40      6.56   1000000         0
313.20/313.33	c       280       495    474.21     61.37      7.73   1000000         0
314.40/314.58	c       302       491    462.35     60.28      7.67   1000000         0
315.69/315.82	c       297       478    466.41     59.94      7.78   1000000         0
316.89/317.08	c       294       480    484.19     60.70      7.98   1000000         0
318.19/318.33	c       285       420    482.16     68.79      7.01   1000000         0
319.39/319.58	c       291       502    472.10     68.21      6.92   1000000         0
320.69/320.82	c       282       478    474.46     62.13      7.64   1000000         0
321.89/322.08	c       296       358    480.81     82.20      5.85   1000000         0
323.20/323.33	c       301       474    487.88     72.26      6.75   1000000         0
324.40/324.58	c       288       491    483.66     63.83      7.58   1000000         0
325.69/325.83	c       293       433    479.15     67.73      7.07   1000000         0
326.89/327.09	c       293       417    493.12     62.08      7.94   1000000         0
328.19/328.34	c       275       435    465.32     57.36      8.11   1000000         0
329.39/329.59	c       282       540    457.33     62.77      7.29   1000000         0
330.69/330.83	c       278       504    468.70     60.32      7.77   1000000         0
331.89/332.08	c       314       521    470.97     56.05      8.40   1000000         0
333.19/333.33	c       275       512    474.25     64.95      7.30   1000000         0
334.39/334.58	c       277       402    471.84     66.66      7.08   1000000         0
335.69/335.83	c       276       576    486.40     75.85      6.41   1000000         0
336.89/337.07	c       282       392    473.07     66.29      7.14   1000000         0
338.19/338.32	c       261       430    468.54     75.65      6.19   1000000         0
339.38/339.57	c       319       402    472.59     68.67      6.88   1000000         0
340.68/340.82	c       287       459    476.11     62.16      7.66   1000000         0
341.89/342.06	c       293       478    471.54     70.00      6.74   1000000         0
343.18/343.31	c       277       432    468.24     63.73      7.35   1000000         0
344.38/344.56	c       299       444    483.33     75.64      6.39   1000000         0
345.68/345.81	c       293       557    480.56     66.58      7.22   1000000         0
346.88/347.06	c       302       382    477.47     64.69      7.38   1000000         0
348.18/348.30	c       268       449    466.38     63.59      7.33   1000000         0
349.38/349.55	c       264       463    468.27     69.16      6.77   1000000         0
350.69/350.80	c       299       498    481.09     66.71      7.21   1000000         0
351.89/352.05	c       279       470    482.33     66.62      7.24   1000000         0
353.08/353.29	c       285       545    467.93     57.99      8.07   1000000         0
354.38/354.54	c       313       477    482.74     66.05      7.31   1000000         0
355.58/355.79	c       292       457    483.05     58.51      8.26   1000000         0
356.88/357.04	c       285       504    481.16     68.20      7.06   1000000         0
358.08/358.29	c       286       400    468.70     70.77      6.62   1000000         0
359.38/359.54	c       286       444    470.88     58.75      8.02   1000000         0
360.58/360.79	c       299       542    473.31     74.61      6.34   1000000         0
361.88/362.03	c       285       426    467.66     66.33      7.05   1000000         0
363.08/363.28	c       279       449    476.80     64.75      7.36   1000000         0
364.38/364.53	c       302       459    472.86     71.14      6.65   1000000         0
365.58/365.77	c       252       534    464.02     62.16      7.46   1000000         0
366.88/367.02	c       270       397    467.63     74.49      6.28   1000000         0
368.08/368.28	c       294       538    483.35     61.93      7.80   1000000         0
369.38/369.52	c       305       435    481.69     64.20      7.50   1000000         0
370.58/370.77	c       278       390    472.98     57.47      8.23   1000000         0
371.87/372.02	c       232       422    478.39     68.42      6.99   1000000         0
373.08/373.26	c       302       458    479.20     63.06      7.60   1000000         0
374.37/374.51	c       284       507    460.90     65.40      7.05   1000000         0
375.57/375.76	c       300       421    465.24     60.83      7.65   1000000         0
376.87/377.01	c       293       411    486.22     72.80      6.68   1000000         0
378.07/378.25	c       276       464    469.81     58.94      7.97   1000000         0
379.28/379.50	c       232       396    471.79     72.44      6.51   1000000         0
380.57/380.75	c       282       485    473.83     74.51      6.36   1000000         0
381.77/382.00	c       287       478    473.99     65.21      7.27   1000000         0
383.07/383.25	c       295       418    475.87     70.38      6.76   1000000         0
384.37/384.50	c       248       526    474.53     73.16      6.49   1000000         0
385.57/385.74	c       317       480    487.46     68.94      7.07   1000000         0
386.77/386.99	c       274       417    467.38     58.29      8.02   1000000         0
388.08/388.24	c       316       520    479.75     61.67      7.78   1000000         0
389.28/389.49	c       294       466    477.19     60.22      7.92   1000000         0
390.57/390.73	c       297       425    463.35     60.59      7.65   1000000         0
391.77/391.98	c       288       394    474.75     57.30      8.29   1000000         0
393.07/393.23	c       303       446    478.41     70.52      6.78   1000000         0
394.27/394.47	c       282       411    461.05     58.46      7.89   1000000         0
395.57/395.72	c       289       415    464.68     66.74      6.96   1000000         0
396.77/396.97	c       313       491    476.60     53.82      8.86   1000000         0
398.07/398.21	c       260       485    468.13     68.59      6.83   1000000         0
399.26/399.46	c       279       425    463.63     72.79      6.37   1000000         0
400.56/400.71	c       287       504    487.39     61.55      7.92   1000000         0
401.76/401.96	c       319       445    473.06     58.20      8.13   1000000         0
403.06/403.20	c       299       472    473.99     57.10      8.30   1000000         0
404.26/404.45	c       310       467    472.78     59.54      7.94   1000000         0
405.56/405.70	c       306       489    472.46     61.07      7.74   1000000         0
406.77/406.95	c       268       503    478.06     58.60      8.16   1000000         0
408.06/408.20	c       283       445    482.10     68.94      6.99   1000000         0
409.26/409.44	c       275       494    459.45     62.14      7.39   1000000         0
410.46/410.69	c       306       594    487.99     65.20      7.48   1000000         0
411.76/411.94	c       290       556    475.20     58.93      8.06   1000000         0
412.96/413.19	c       281       432    466.73     72.50      6.44   1000000         0
414.26/414.44	c       303       516    475.16     77.88      6.10   1000000         0
415.46/415.68	c       250       481    472.29     66.55      7.10   1000000         0
416.77/416.93	c       271       477    462.91     71.60      6.47   1000000         0
417.96/418.17	c       241       427    469.98     63.22      7.43   1000000         0
419.26/419.42	c       341       392    482.58     56.23      8.58   1000000         0
420.46/420.67	c       288       403    476.11     63.22      7.53   1000000         0
421.76/421.92	c       258       601    470.65     67.35      6.99   1000000         0
422.96/423.17	c       303       550    475.01     70.02      6.78   1000000         0
424.26/424.42	c       282       438    460.73     69.64      6.62   1000000         0
425.46/425.66	c       287       436    470.25     64.66      7.27   1000000         0
426.76/426.90	c       278       496    466.35     60.15      7.75   1000000         0
427.95/428.15	c       288       468    481.02     58.63      8.20   1000000         0
429.25/429.40	c       297       479    483.25     67.15      7.20   1000000         0
430.45/430.65	c       290       530    473.07     70.42      6.72   1000000         0
431.76/431.90	c       296       338    478.93     72.92      6.57   1000000         0
432.96/433.15	c       298       419    479.13     71.23      6.73   1000000         0
434.27/434.40	c       304       457    486.82     62.84      7.75   1000000         0
435.47/435.64	c       295       449    477.09     66.26      7.20   1000000         0
436.66/436.89	c       320       431    475.29     58.92      8.07   1000000         0
437.96/438.14	c       264       367    467.40     59.26      7.89   1000000         0
439.16/439.39	c       305       386    468.08     62.52      7.49   1000000         0
440.46/440.63	c       294       539    471.48     66.83      7.05   1000000         0
441.66/441.88	c       290       443    469.36     65.47      7.17   1000000         0
442.96/443.13	c       283       434    467.40     63.08      7.41   1000000         0
444.17/444.38	c       312       440    475.69     64.07      7.42   1000000         0
445.46/445.62	c       273       521    459.72     64.79      7.10   1000000         0
446.66/446.87	c       284       427    475.39     63.38      7.50   1000000         0
447.96/448.12	c       309       408    475.53     62.33      7.63   1000000         0
449.16/449.36	c       302       495    470.84     69.70      6.75   1000000         0
450.46/450.61	c       290       447    476.60     68.63      6.94   1000000         0
451.66/451.86	c       318       438    490.44     71.40      6.87   1000000         0
452.96/453.11	c       306       501    476.39     62.26      7.65   1000000         0
454.16/454.36	c       280       427    480.15     63.01      7.62   1000000         0
455.45/455.61	c       268       538    475.97     65.51      7.27   1000000         0
456.65/456.86	c       317       488    481.05     67.58      7.12   1000000         0
457.96/458.10	c       291       455    466.02     74.02      6.30   1000000         0
459.15/459.35	c       313       515    484.44     66.70      7.26   1000000         0
460.45/460.60	c       306       448    466.17     58.69      7.94   1000000         0
461.65/461.84	c       290       526    468.52     66.20      7.08   1000000         0
462.86/463.10	c       305       518    470.41     61.74      7.62   1000000         0
464.15/464.35	c       304       462    488.53     58.21      8.39   1000000         0
465.45/465.60	c       321       430    474.24     65.83      7.20   1000000         0
466.65/466.84	c       256       468    465.17     64.68      7.19   1000000         0
467.85/468.09	c       296       437    477.38     64.17      7.44   1000000         0
469.15/469.34	c       289       468    476.16     68.05      7.00   1000000         0
470.35/470.59	c       272       408    479.05     56.83      8.43   1000000         0
471.66/471.83	c       297       462    473.60     63.52      7.46   1000000         0
472.86/473.08	c       289       619    469.95     61.34      7.66   1000000         0
474.15/474.32	c       306       397    465.46     59.87      7.77   1000000         0
475.35/475.57	c       270       450    465.81     60.93      7.65   1000000         0
476.65/476.82	c       297       509    472.59     54.18      8.72   1000000         0
477.85/478.07	c       238       438    464.95     70.08      6.63   1000000         0
479.15/479.31	c       254       449    474.32     75.92      6.25   1000000         0
480.35/480.57	c       325       533    497.60     68.96      7.22   1000000         0
481.65/481.81	c       279       440    483.64     70.21      6.89   1000000         0
482.85/483.07	c       307       483    486.00     74.77      6.50   1000000         0
484.15/484.31	c       286       514    473.89     69.37      6.83   1000000         0
485.34/485.57	c       277       439    467.65     76.56      6.11   1000000         0
486.64/486.81	c       302       526    482.31     65.21      7.40   1000000         0
487.84/488.06	c       290       649    472.95     64.98      7.28   1000000         0
489.14/489.31	c       295       366    486.30     59.54      8.17   1000000         0
490.35/490.56	c       307       388    472.40     61.13      7.73   1000000         0
491.64/491.80	c       236       387    470.06     69.19      6.79   1000000         0
492.84/493.05	c       316       505    479.99     64.38      7.46   1000000         0
494.04/494.29	c       289       397    468.62     60.53      7.74   1000000         0
495.34/495.54	c       313       455    468.11     70.83      6.61   1000000         0
496.54/496.79	c       318       527    486.61     67.91      7.17   1000000         0
497.84/498.04	c       299       460    483.85     63.71      7.60   1000000         0
499.04/499.29	c       306       383    476.94     63.24      7.54   1000000         0
500.34/500.54	c       261       527    467.37     63.75      7.33   1000000         0
501.54/501.79	c       289       533    465.63     59.95      7.77   1000000         0
502.83/503.04	c       270       502    477.51     62.87      7.59   1000000         0
504.03/504.29	c       268       415    476.54     59.32      8.03   1000000         0
505.33/505.54	c       286       403    475.42     68.86      6.90   1000000         0
506.53/506.79	c       322       509    480.35     68.77      6.98   1000000         0
507.83/508.03	c       291       420    472.36     69.07      6.84   1000000         0
509.04/509.28	c       295       517    473.77     66.17      7.16   1000000         0
510.33/510.53	c       287       520    479.65     65.53      7.32   1000000         0
511.53/511.78	c       296       496    470.54     59.81      7.87   1000000         0
512.83/513.03	c       301       476    483.93     75.81      6.38   1000000         0
514.03/514.27	c       322       482    475.17     59.15      8.03   1000000         0
515.33/515.52	c       295       544    474.08     67.15      7.06   1000000         0
516.53/516.77	c       243       435    476.60     71.23      6.69   1000000         0
517.84/518.02	c       303       432    482.07     67.52      7.14   1000000         0
519.04/519.27	c       308       403    471.50     62.50      7.54   1000000         0
520.33/520.51	c       258       447    467.73     63.86      7.32   1000000         0
521.53/521.77	c       298       467    478.91     64.05      7.48   1000000         0
522.83/523.01	c       265       441    470.15     54.43      8.64   1000000         0
524.03/524.26	c       299       487    463.30     67.69      6.84   1000000         0
525.33/525.51	c       290       487    474.64     58.97      8.05   1000000         0
526.53/526.76	c       299       406    481.15     65.88      7.30   1000000         0
527.84/528.01	c       268       428    470.41     69.23      6.79   1000000         0
529.03/529.26	c       310       437    490.37     65.61      7.47   1000000         0
530.33/530.50	c       277       516    456.46     63.71      7.16   1000000         0
531.53/531.74	c       297       518    468.87     58.33      8.04   1000000         0
532.73/532.99	c       257       519    478.12     67.28      7.11   1000000         0
534.03/534.24	c       312       455    479.13     62.90      7.62   1000000         0
535.23/535.49	c       298       472    483.11     70.69      6.83   1000000         0
536.53/536.73	c       280       483    468.22     64.85      7.22   1000000         0
537.73/537.98	c       293       522    468.89     65.11      7.20   1000000         0
539.03/539.23	c       303       419    477.61     79.74      5.99   1000000         0
540.22/540.48	c       313       498    479.03     69.37      6.90   1000000         0
541.52/541.73	c       281       367    473.13     60.08      7.87   1000000         0
542.72/542.99	c       298       453    475.76     79.63      5.97   1000000         0
544.02/544.24	c       305       430    468.17     59.69      7.84   1000000         0
545.22/545.49	c       271       501    470.35     54.02      8.71   1000000         0
546.53/546.74	c       293       553    470.65     58.20      8.09   1000000         0
547.72/547.99	c       320       518    471.25     70.75      6.66   1000000         0
549.02/549.24	c       262       506    472.42     66.68      7.08   1000000         0
550.22/550.49	c       259       536    469.37     60.83      7.72   1000000         0
551.52/551.73	c       298       427    470.27     64.78      7.26   1000000         0
552.72/552.99	c       292       498    481.69     75.56      6.37   1000000         0
554.02/554.23	c       316       431    466.85     66.96      6.97   1000000         0
555.23/555.47	c       253       483    464.70     61.23      7.59   1000000         0
556.52/556.72	c       307       500    487.18     66.02      7.38   1000000         0
557.72/557.97	c       233       403    464.77     65.71      7.07   1000000         0
559.02/559.22	c       293       477    469.87     66.60      7.06   1000000         0
560.22/560.46	c       262       439    463.50     70.42      6.58   1000000         0
561.52/561.70	c       284       504    461.89     64.95      7.11   1000000         0
562.72/562.95	c       290       423    466.81     56.28      8.29   1000000         0
564.02/564.20	c       266       374    476.59     74.26      6.42   1000000         0
565.22/565.45	c       259       405    472.23     76.45      6.18   1000000         0
566.51/566.70	c       233       425    478.89     76.89      6.23   1000000         0
567.71/567.94	c       268       417    456.98     62.03      7.37   1000000         0
568.92/569.19	c       296       487    471.82     57.09      8.26   1000000         0
570.21/570.44	c       256       425    472.46     71.16      6.64   1000000         0
571.41/571.68	c       289       498    474.17     73.09      6.49   1000000         0
572.71/572.93	c       298       436    461.74     62.05      7.44   1000000         0
573.92/574.17	c       274       546    466.48     67.73      6.89   1000000         0
575.21/575.42	c       272       458    467.77     62.79      7.45   1000000         0
576.41/576.66	c       284       479    478.41     66.04      7.24   1000000         0
577.71/577.91	c       312       586    469.64     59.43      7.90   1000000         0
578.91/579.16	c       277       495    469.82     71.77      6.55   1000000         0
580.21/580.41	c       295       377    474.01     58.87      8.05   1000000         0
581.41/581.65	c       264       492    468.26     71.97      6.51   1000000         0
582.72/582.91	c       290       542    478.73     65.20      7.34   1000000         0
583.92/584.16	c       258       403    469.81     71.39      6.58   1000000         0
585.21/585.40	c       295       453    473.09     65.29      7.25   1000000         0
586.41/586.65	c       280       465    472.15     69.49      6.79   1000000         0
587.71/587.90	c       308       451    485.35     69.01      7.03   1000000         0
588.91/589.15	c       294       468    471.96     56.17      8.40   1000000         0
590.11/590.39	c       207       452    462.59     66.92      6.91   1000000         0
591.41/591.64	c       269       516    474.38     57.84      8.20   1000000         0
592.61/592.89	c       321       476    477.02     68.93      6.92   1000000         0
593.91/594.14	c       290       372    480.45     68.05      7.06   1000000         0
595.11/595.39	c       293       478    473.34     58.55      8.08   1000000         0
596.40/596.64	c       291       449    474.01     59.26      8.00   1000000         0
597.60/597.88	c       253       473    468.27     68.74      6.81   1000000         0
598.90/599.13	c       268       553    476.02     60.58      7.86   1000000         0
600.10/600.38	c       288       489    477.97     70.36      6.79   1000000         0
601.41/601.63	c       290       432    476.79     70.55      6.76   1000000         0
602.61/602.88	c       279       498    477.56     75.30      6.34   1000000         0
603.90/604.12	c       262       523    470.88     64.88      7.26   1000000         0
605.10/605.37	c       281       407    478.03     62.02      7.71   1000000         0
606.40/606.62	c       266       490    460.67     59.43      7.75   1000000         0
607.60/607.86	c       289       470    468.29     68.45      6.84   1000000         0
608.90/609.11	c       296       536    465.24     65.36      7.12   1000000         0
610.10/610.36	c       314       438    484.55     68.31      7.09   1000000         0
611.41/611.61	c       285       457    472.83     63.54      7.44   1000000         0
612.60/612.86	c       283       469    470.72     68.83      6.84   1000000         0
613.90/614.11	c       299       493    465.32     67.72      6.87   1000000         0
615.10/615.36	c       285       430    473.20     65.77      7.19   1000000         0
616.41/616.61	c       237       464    471.18     66.29      7.11   1000000         0
617.61/617.86	c       291       401    480.96     66.08      7.28   1000000         0
618.90/619.11	c       294       441    465.02     63.29      7.35   1000000         0
620.11/620.35	c       285       388    477.08     62.24      7.67   1000000         0
621.41/621.61	c       314       438    482.44     59.06      8.17   1000000         0
622.60/622.85	c       301       522    473.00     74.14      6.38   1000000         0
623.90/624.11	c       289       432    484.40     61.51      7.88   1000000         0
625.10/625.35	c       262       493    471.60     71.07      6.64   1000000         0
626.40/626.60	c       290       529    476.88     66.90      7.13   1000000         0
627.60/627.85	c       282       452    475.30     73.06      6.51   1000000         0
628.91/629.11	c       329       419    483.32     66.13      7.31   1000000         0
630.11/630.35	c       288       463    474.97     56.02      8.48   1000000         0
631.30/631.59	c       305       444    476.35     65.24      7.30   1000000         0
632.60/632.84	c       305       537    473.28     62.43      7.58   1000000         0
633.80/634.09	c       267       555    479.43     72.10      6.65   1000000         0
635.10/635.34	c       310       406    482.29     63.31      7.62   1000000         0
636.30/636.58	c       254       534    460.41     66.70      6.90   1000000         0
637.60/637.83	c       294       445    477.72     62.64      7.63   1000000         0
638.80/639.08	c       296       476    477.34     64.55      7.39   1000000         0
640.10/640.33	c       248       461    483.17     66.24      7.29   1000000         0
641.30/641.58	c       256       424    465.66     66.97      6.95   1000000         0
642.60/642.82	c       273       478    473.23     68.70      6.89   1000000         0
643.80/644.07	c       293       463    467.66     68.48      6.83   1000000         0
645.10/645.32	c       261       557    452.35     71.18      6.36   1000000         0
646.30/646.56	c       306       528    476.56     58.86      8.10   1000000         0
647.60/647.81	c       292       428    482.11     66.64      7.23   1000000         0
648.80/649.06	c       281       624    477.18     69.27      6.89   1000000         0
650.09/650.31	c       279       389    468.44     62.53      7.49   1000000         0
651.29/651.55	c       329       479    475.41     61.26      7.76   1000000         0
652.59/652.80	c       298       434    481.61     60.30      7.99   1000000         0
653.79/654.05	c       277       582    466.69     67.08      6.96   1000000         0
655.09/655.30	c       304       435    459.90     61.12      7.52   1000000         0
656.29/656.54	c       269       413    464.68     71.82      6.47   1000000         0
657.50/657.79	c       280       479    463.47     68.44      6.77   1000000         0
658.79/659.04	c       277       580    478.07     63.59      7.52   1000000         0
659.99/660.29	c       299       486    472.23     71.51      6.60   1000000         0
661.29/661.54	c       283       459    474.37     66.14      7.17   1000000         0
662.49/662.79	c       306       497    484.80     53.99      8.98   1000000         0
663.79/664.04	c       282       469    472.72     56.03      8.44   1000000         0
664.99/665.28	c       288       449    465.44     69.54      6.69   1000000         0
666.30/666.53	c       275       443    471.18     72.95      6.46   1000000         0
667.50/667.77	c       288       495    460.07     61.14      7.53   1000000         0
668.79/669.02	c       266       412    476.14     67.91      7.01   1000000         0
669.99/670.27	c       303       486    474.50     63.43      7.48   1000000         0
671.29/671.51	c       293       529    462.26     69.91      6.61   1000000         0
672.49/672.76	c       282       519    476.47     68.82      6.92   1000000         0
673.79/674.01	c       293       496    460.62     70.76      6.51   1000000         0
674.99/675.26	c       299       528    476.09     58.00      8.21   1000000         0
676.29/676.50	c       302       433    480.70     69.19      6.95   1000000         0
677.49/677.75	c       295       477    468.74     55.10      8.51   1000000         0
678.68/678.99	c       300       458    468.38     59.77      7.84   1000000         0
679.99/680.24	c       254       427    473.54     75.99      6.23   1000000         0
681.19/681.48	c       270       505    471.65     65.63      7.19   1000000         0
682.48/682.74	c       293       517    484.71     71.40      6.79   1000000         0
683.68/683.98	c       325       471    471.35     68.19      6.91   1000000         0
684.99/685.23	c       291       419    478.73     66.24      7.23   1000000         0
686.19/686.48	c       262       488    471.68     70.06      6.73   1000000         0
687.48/687.73	c       302       477    479.06     67.15      7.13   1000000         0
688.68/688.97	c       265       433    470.30     64.31      7.31   1000000         0
689.98/690.22	c       291       520    466.43     59.88      7.79   1000000         0
691.18/691.47	c       269       423    477.96     65.79      7.27   1000000         0
692.48/692.72	c       288       381    474.44     75.02      6.32   1000000         0
693.68/693.96	c       209       466    470.55     60.16      7.82   1000000         0
694.99/695.21	c       317       456    483.13     65.34      7.39   1000000         0
696.18/696.46	c       302       442    468.20     60.76      7.71   1000000         0
697.48/697.71	c       308       479    472.02     61.70      7.65   1000000         0
698.68/698.96	c       308       446    470.25     64.28      7.32   1000000         0
699.98/700.21	c       284       490    468.22     83.24      5.63   1000000         0
701.18/701.45	c       270       422    472.36     75.74      6.24   1000000         0
702.48/702.70	c       296       431    486.11     70.59      6.89   1000000         0
703.69/703.95	c       280       458    479.48     70.00      6.85   1000000         0
704.98/705.20	c       296       551    472.80     64.84      7.29   1000000         0
706.18/706.44	c       293       408    468.77     58.36      8.03   1000000         0
707.38/707.69	c       305       511    476.84     65.52      7.28   1000000         0
708.68/708.95	c       322       477    484.67     66.49      7.29   1000000         0
709.98/710.20	c       263       427    473.15     66.76      7.09   1000000         0
711.18/711.45	c       291       497    487.75     64.73      7.54   1000000         0
712.48/712.70	c       260       451    471.80     72.67      6.49   1000000         0
713.68/713.95	c       311       451    470.26     63.03      7.46   1000000         0
714.88/715.19	c       297       569    466.90     52.86      8.83   1000000         0
716.17/716.44	c       288       518    478.88     64.43      7.43   1000000         0
717.37/717.68	c       295       462    471.08     60.70      7.76   1000000         0
718.67/718.93	c       287       445    472.90     62.29      7.59   1000000         0
719.87/720.18	c       296       506    474.13     60.27      7.87   1000000         0
721.17/721.43	c       286       429    477.39     69.57      6.86   1000000         0
722.38/722.68	c       285       516    478.92     67.45      7.10   1000000         0
723.67/723.93	c       295       528    476.22     66.64      7.15   1000000         0
724.87/725.18	c       308       434    484.30     70.21      6.90   1000000         0
726.17/726.42	c       286       475    470.53     67.27      6.99   1000000         0
727.37/727.67	c       297       520    475.14     57.31      8.29   1000000         0
728.67/728.92	c       321       503    479.00     65.59      7.30   1000000         0
729.87/730.17	c       271       434    463.87     69.52      6.67   1000000         0
731.18/731.42	c       300       504    470.57     62.99      7.47   1000000         0
732.38/732.67	c       308       396    468.11     60.80      7.70   1000000         0
733.67/733.91	c       282       524    461.99     64.40      7.17   1000000         0
734.87/735.16	c       289       518    485.36     71.54      6.78   1000000         0
736.17/736.41	c       294       404    466.83     64.14      7.28   1000000         0
737.37/737.66	c       282       465    469.32     66.49      7.06   1000000         0
738.67/738.90	c       284       495    479.88     65.89      7.28   1000000         0
739.87/740.15	c       291       448    474.26     62.09      7.64   1000000         0
741.07/741.39	c       278       394    474.51     63.26      7.50   1000000         0
742.36/742.64	c       274       537    468.04     63.57      7.36   1000000         0
743.56/743.89	c       322       332    479.46     62.26      7.70   1000000         0
744.86/745.15	c       298       468    479.90     71.85      6.68   1000000         0
746.06/746.39	c       292       489    466.46     65.66      7.10   1000000         0
747.36/747.64	c       298       416    489.52     60.37      8.11   1000000         0
748.56/748.89	c       289       489    479.91     58.37      8.22   1000000         0
749.87/750.14	c       288       516    461.94     58.08      7.95   1000000         0
751.07/751.38	c       297       367    473.34     54.56      8.68   1000000         0
752.36/752.63	c       292       505    472.77     60.45      7.82   1000000         0
753.56/753.88	c       291       483    479.94     57.96      8.28   1000000         0
754.86/755.13	c       279       452    479.76     71.71      6.69   1000000         0
756.06/756.38	c       316       458    470.33     61.14      7.69   1000000         0
757.36/757.62	c       267       411    471.53     66.26      7.12   1000000         0
758.56/758.87	c       268       405    475.04     63.89      7.44   1000000         0
759.86/760.12	c       278       448    476.81     62.34      7.65   1000000         0
761.06/761.37	c       301       386    473.29     69.18      6.84   1000000         0
762.36/762.62	c       231       485    472.09     62.39      7.57   1000000         0
763.55/763.87	c       297       415    480.95     61.41      7.83   1000000         0
764.85/765.12	c       286       531    470.11     76.74      6.13   1000000         0
766.06/766.37	c       305       457    473.48     57.45      8.24   1000000         0
767.35/767.61	c       312       445    471.98     62.79      7.52   1000000         0
768.56/768.86	c       291       422    470.51     64.49      7.30   1000000         0
769.85/770.11	c       314       455    471.59     59.11      7.98   1000000         0
771.05/771.35	c       273       471    468.81     59.03      7.94   1000000         0
772.25/772.59	c       293       403    467.73     64.77      7.22   1000000         0
773.55/773.84	c       276       482    490.52     68.51      7.16   1000000         0
774.75/775.09	c       287       465    478.25     69.12      6.92   1000000         0
776.05/776.34	c       241       480    476.15     65.56      7.26   1000000         0
777.25/777.59	c       325       553    478.65     63.83      7.50   1000000         0
778.56/778.84	c       270       615    479.26     70.42      6.81   1000000         0
779.75/780.09	c       275       404    471.14     69.47      6.78   1000000         0
781.05/781.33	c       294       508    467.26     64.29      7.27   1000000         0
782.25/782.58	c       290       513    481.92     70.83      6.80   1000000         0
783.55/783.83	c       300       380    477.28     68.01      7.02   1000000         0
784.75/785.07	c       258       492    462.34     65.49      7.06   1000000         0
786.05/786.32	c       297       405    473.42     56.71      8.35   1000000         0
787.25/787.57	c       316       375    479.28     61.96      7.73   1000000         0
788.55/788.82	c       292       667    480.58     67.55      7.11   1000000         0
789.75/790.07	c       267       454    468.53     69.95      6.70   1000000         0
791.05/791.31	c       319       422    475.50     74.24      6.41   1000000         0
792.25/792.56	c       296       399    477.65     62.80      7.61   1000000         0
793.54/793.81	c       281       437    470.46     63.67      7.39   1000000         0
794.74/795.06	c       290       431    466.29     65.75      7.09   1000000         0
796.05/796.31	c       295       432    466.88     66.34      7.04   1000000         0
797.26/797.56	c       331       467    482.76     60.72      7.95   1000000         0
798.55/798.80	c       312       456    471.16     52.35      9.00   1000000         0
799.75/800.06	c       310       488    474.60     67.37      7.05   1000000         0
801.05/801.30	c       326       397    483.30     67.15      7.20   1000000         0
802.25/802.55	c       266       452    463.61     69.90      6.63   1000000         0
803.55/803.80	c       254       414    462.44     57.85      7.99   1000000         0
804.75/805.04	c       271       530    469.06     70.93      6.61   1000000         0
805.96/806.29	c       285       445    477.72     62.70      7.62   1000000         0
807.25/807.54	c       303       422    471.46     62.24      7.57   1000000         0
808.45/808.78	c       300       464    468.94     73.71      6.36   1000000         0
809.75/810.03	c       303       457    473.58     71.06      6.66   1000000         0
810.95/811.28	c       298       491    474.88     67.57      7.03   1000000         0
812.25/812.53	c       298       470    479.62     67.70      7.08   1000000         0
813.45/813.78	c       272       535    477.04     68.89      6.93   1000000         0
814.75/815.03	c       275       600    478.54     58.54      8.17   1000000         0
815.95/816.27	c       268       490    473.51     71.33      6.64   1000000         0
817.25/817.52	c       285       466    461.74     67.32      6.86   1000000         0
818.45/818.77	c       303       565    475.84     69.06      6.89   1000000         0
819.75/820.01	c       272       479    469.86     63.44      7.41   1000000         0
820.95/821.26	c       283       518    468.06     59.45      7.87   1000000         0
822.24/822.51	c       272       438    462.41     61.44      7.53   1000000         0
823.44/823.76	c       309       526    472.00     58.67      8.05   1000000         0
824.75/825.01	c       285       443    471.04     68.67      6.86   1000000         0
825.94/826.26	c       263       414    474.78     72.74      6.53   1000000         0
827.24/827.50	c       304       550    468.19     68.16      6.87   1000000         0
828.44/828.75	c       297       493    477.24     64.90      7.35   1000000         0
829.74/830.00	c       275       434    472.60     66.94      7.06   1000000         0
830.94/831.24	c       299       430    476.29     60.16      7.92   1000000         0
832.14/832.49	c       293       510    474.99     59.58      7.97   1000000         0
833.45/833.74	c       254       401    466.62     76.30      6.12   1000000         0
834.65/834.99	c       299       573    471.06     66.52      7.08   1000000         0
835.94/836.23	c       314       443    476.91     59.02      8.08   1000000         0
837.14/837.48	c       300       460    475.72     51.18      9.30   1000000         0
838.44/838.73	c       299       465    466.90     64.83      7.20   1000000         0
839.64/839.98	c       308       490    464.95     69.20      6.72   1000000         0
840.94/841.22	c       255       571    459.28     70.75      6.49   1000000         0
842.14/842.47	c       327       437    474.86     67.85      7.00   1000000         0
843.45/843.71	c       300       466    464.45     56.79      8.18   1000000         0
844.64/844.96	c       314       448    475.09     57.96      8.20   1000000         0
845.94/846.20	c       272       412    461.01     72.09      6.39   1000000         0
847.14/847.45	c       306       391    475.76     64.01      7.43   1000000         0
848.44/848.70	c       307       405    478.27     62.68      7.63   1000000         0
849.64/849.95	c       271       434    471.52     67.29      7.01   1000000         0
850.94/851.20	c       308       561    477.03     59.34      8.04   1000000         0
852.14/852.45	c       291       495    474.42     62.54      7.59   1000000         0
853.43/853.70	c       307       516    480.89     68.27      7.04   1000000         0
854.63/854.94	c       316       416    470.76     57.15      8.24   1000000         0
855.83/856.19	c       283       494    469.36     62.57      7.50   1000000         0
857.13/857.44	c       264       476    467.92     68.66      6.81   1000000         0
858.33/858.69	c       288       584    469.23     59.01      7.95   1000000         0
859.63/859.93	c       298       521    477.06     58.75      8.12   1000000         0
860.83/861.18	c       285       496    474.72     64.57      7.35   1000000         0
862.14/862.43	c       298       500    477.67     70.03      6.82   1000000         0
863.33/863.68	c       298       439    476.94     79.64      5.99   1000000         0
864.63/864.93	c       283       455    459.44     70.56      6.51   1000000         0
865.83/866.18	c       301       496    483.44     73.36      6.59   1000000         0
867.13/867.42	c       289       401    461.16     59.52      7.75   1000000         0
868.33/868.66	c       281       370    461.23     66.98      6.89   1000000         0
869.63/869.91	c       289       445    477.50     66.17      7.22   1000000         0
870.83/871.16	c       239       495    478.32     83.52      5.73   1000000         0
872.13/872.41	c       297       471    467.43     58.82      7.95   1000000         0
873.33/873.65	c       293       539    470.08     69.11      6.80   1000000         0
874.63/874.90	c       274       467    477.29     77.86      6.13   1000000         0
875.82/876.15	c       277       478    473.27     63.56      7.45   1000000         0
877.13/877.40	c       300       488    468.54     61.44      7.63   1000000         0
878.32/878.65	c       304       487    479.62     71.81      6.68   1000000         0
879.52/879.89	c       309       445    470.42     63.82      7.37   1000000         0
880.83/881.14	c       291       387    479.07     64.13      7.47   1000000         0
882.02/882.39	c       296       383    476.90     65.44      7.29   1000000         0
883.32/883.63	c       274       495    461.70     71.51      6.46   1000000         0
884.52/884.88	c       298       453    468.90     70.24      6.68   1000000         0
885.82/886.13	c       300       509    478.98     70.83      6.76   1000000         0
887.02/887.37	c       298       426    459.78     58.50      7.86   1000000         0
888.32/888.62	c       300       481    477.72     58.23      8.20   1000000         0
889.53/889.87	c       239       501    469.89     65.67      7.16   1000000         0
890.82/891.11	c       252       406    473.11     76.60      6.18   1000000         0
892.02/892.37	c       295       507    477.63     69.81      6.84   1000000         0
893.32/893.61	c       302       406    466.49     68.37      6.82   1000000         0
894.52/894.86	c       274       449    464.55     66.37      7.00   1000000         0
895.82/896.10	c       301       434    455.92     59.85      7.62   1000000         0
897.02/897.35	c       290       395    483.63     62.84      7.70   1000000         0
898.32/898.60	c       282       514    476.91     61.94      7.70   1000000         0
899.52/899.85	c       295       555    468.38     58.71      7.98   1000000         0
900.72/901.09	c       298       500    461.25     63.97      7.21   1000000         0
902.02/902.34	c       269       420    477.79     69.26      6.90   1000000         0
903.22/903.59	c       302       541    475.30     65.85      7.22   1000000         0
904.51/904.84	c       275       432    470.28     63.64      7.39   1000000         0
905.71/906.09	c       284       350    477.30     72.82      6.55   1000000         0
907.01/907.34	c       292       377    480.66     75.44      6.37   1000000         0
908.22/908.59	c       300       449    480.23     66.24      7.25   1000000         0
909.51/909.83	c       294       404    477.49     65.24      7.32   1000000         0
910.71/911.08	c       305       393    478.08     68.88      6.94   1000000         0
912.01/912.33	c       303       401    483.30     67.48      7.16   1000000         0
913.21/913.58	c       301       551    477.87     60.95      7.84   1000000         0
914.51/914.82	c       292       432    472.35     63.87      7.40   1000000         0
915.71/916.07	c       271       506    473.47     65.09      7.27   1000000         0
917.02/917.32	c       310       560    477.48     61.94      7.71   1000000         0
918.22/918.57	c       283       440    474.36     68.05      6.97   1000000         0
919.51/919.81	c       280       536    478.45     65.83      7.27   1000000         0
920.71/921.06	c       290       424    461.69     64.27      7.18   1000000         0
922.01/922.31	c       319       540    487.90     64.12      7.61   1000000         0
923.21/923.56	c       300       387    473.14     77.81      6.08   1000000         0
924.50/924.81	c       268       497    468.68     68.61      6.83   1000000         0
925.70/926.07	c       278       453    477.03     68.92      6.92   1000000         0
927.01/927.31	c       285       393    464.92     64.61      7.20   1000000         0
928.20/928.56	c       278       515    478.56     61.58      7.77   1000000         0
929.50/929.81	c       298       463    473.87     61.49      7.71   1000000         0
930.70/931.05	c       270       487    460.72     64.22      7.17   1000000         0
932.00/932.30	c       300       521    470.19     59.42      7.91   1000000         0
933.20/933.55	c       254       495    478.32     74.04      6.46   1000000         0
934.40/934.80	c       309       423    471.06     56.77      8.30   1000000         0
935.72/936.04	c       269       450    474.31     63.02      7.53   1000000         0
936.92/937.28	c       268       471    457.29     63.14      7.24   1000000         0
938.21/938.53	c       301       573    479.75     65.02      7.38   1000000         0
939.41/939.77	c       297       513    469.11     65.29      7.18   1000000         0
940.71/941.02	c       242       522    464.50     67.00      6.93   1000000         0
941.91/942.27	c       291       463    480.72     74.91      6.42   1000000         0
943.21/943.52	c       298       408    470.76     72.41      6.50   1000000         0
944.41/944.76	c       297       470    464.02     62.75      7.39   1000000         0
945.71/946.01	c       260       528    455.33     65.19      6.98   1000000         0
946.91/947.25	c       282       473    476.02     65.30      7.29   1000000         0
948.20/948.50	c       270       516    471.35     71.59      6.58   1000000         0
949.40/949.74	c       296       381    470.30     58.83      7.99   1000000         0
950.70/951.00	c       306       413    481.28     62.84      7.66   1000000         0
951.90/952.24	c       285       442    473.13     69.06      6.85   1000000         0
953.10/953.49	c       314       486    466.09     62.34      7.48   1000000         0
954.41/954.73	c       279       553    465.16     68.43      6.80   1000000         0
955.61/955.98	c       278       466    467.43     60.28      7.75   1000000         0
956.90/957.22	c       301       413    479.88     63.44      7.56   1000000         0
958.10/958.47	c       262       516    468.71     58.96      7.95   1000000         0
959.40/959.71	c       296       457    481.85     58.50      8.24   1000000         0
960.60/960.96	c       285       492    479.55     65.75      7.29   1000000         0
961.90/962.21	c       272       506    475.25     61.44      7.74   1000000         0
963.10/963.46	c       280       410    484.56     75.61      6.41   1000000         0
964.40/964.71	c       296       570    474.38     70.29      6.75   1000000         0
965.60/965.96	c       294       480    468.81     64.43      7.28   1000000         0
966.90/967.21	c       270       523    471.64     69.58      6.78   1000000         0
968.09/968.45	c       297       392    467.53     67.84      6.89   1000000         0
969.39/969.70	c       211       491    459.12     66.85      6.87   1000000         0
970.59/970.94	c       269       458    475.32     64.70      7.35   1000000         0
971.80/972.19	c       267       540    466.87     78.01      5.98   1000000         0
973.10/973.44	c       314       469    484.77     71.37      6.79   1000000         0
974.30/974.68	c       252       435    468.21     64.28      7.28   1000000         0
975.59/975.93	c       333       381    493.79     64.78      7.62   1000000         0
976.79/977.18	c       284       371    466.65     67.18      6.95   1000000         0
978.09/978.43	c       320       499    482.39     59.67      8.08   1000000         0
979.29/979.68	c       272       479    469.51     61.82      7.59   1000000         0
980.59/980.93	c       313       572    475.89     59.30      8.03   1000000         0
981.79/982.18	c       309       542    471.22     54.86      8.59   1000000         0
983.10/983.42	c       307       464    463.49     62.02      7.47   1000000         0
984.29/984.67	c       303       504    472.85     66.65      7.09   1000000         0
985.59/985.92	c       275       529    470.49     66.61      7.06   1000000         0
986.79/987.16	c       246       449    464.50     69.29      6.70   1000000         0
988.09/988.41	c       301       496    469.77     61.41      7.65   1000000         0
989.29/989.66	c       294       426    467.25     66.86      6.99   1000000         0
990.59/990.90	c       288       418    465.51     64.17      7.25   1000000         0
991.79/992.15	c       311       459    482.46     63.16      7.64   1000000         0
993.09/993.40	c       310       413    472.80     67.07      7.05   1000000         0
994.29/994.64	c       290       581    472.87     60.25      7.85   1000000         0
995.49/995.89	c       268       463    476.13     68.84      6.92   1000000         0
996.79/997.14	c       290       545    476.73     58.57      8.14   1000000         0
997.98/998.39	c       321       349    477.10     55.10      8.66   1000000         0
999.28/999.64	c       267       496    468.90     70.45      6.66   1000000         0
1000.48/1000.89	c       280       440    476.35     65.20      7.31   1000000         0
1001.79/1002.13	c       244       518    466.64     70.60      6.61   1000000         0
1002.98/1003.38	c       300       534    475.95     62.14      7.66   1000000         0
1004.28/1004.63	c       301       412    481.94     65.64      7.34   1000000         0
1005.48/1005.88	c       243       571    460.31     65.49      7.03   1000000         0
1006.78/1007.13	c       300       503    483.36     70.29      6.88   1000000         0
1007.98/1008.37	c       287       486    465.81     66.67      6.99   1000000         0
1009.28/1009.62	c       264       517    467.37     68.67      6.81   1000000         0
1010.49/1010.86	c       267       388    459.11     66.80      6.87   1000000         0
1011.78/1012.11	c       266       468    461.26     66.65      6.92   1000000         0
1012.98/1013.36	c       284       535    476.05     69.11      6.89   1000000         0
1014.28/1014.61	c       282       597    481.60     68.45      7.04   1000000         0
1015.48/1015.87	c       273       489    484.35     76.03      6.37   1000000         0
1016.78/1017.11	c       288       490    469.99     72.16      6.51   1000000         0
1017.98/1018.35	c       285       466    461.82     60.47      7.64   1000000         0
1019.29/1019.60	c       317       514    483.34     61.79      7.82   1000000         0
1020.49/1020.85	c       306       491    477.06     58.59      8.14   1000000         0
1021.78/1022.10	c       272       476    467.91     73.43      6.37   1000000         0
1022.98/1023.34	c       297       561    469.04     59.28      7.91   1000000         0
1024.18/1024.59	c       305       362    463.48     62.76      7.39   1000000         0
1025.47/1025.84	c       278       487    461.94     66.53      6.94   1000000         0
1026.67/1027.09	c       269       537    469.24     66.78      7.03   1000000         0
1027.97/1028.34	c       308       410    476.52     73.85      6.45   1000000         0
1029.18/1029.59	c       304       511    470.18     64.61      7.28   1000000         0
1030.47/1030.84	c       306       389    482.26     63.51      7.59   1000000         0
1031.67/1032.08	c       221       492    471.34     62.55      7.53   1000000         0
1032.97/1033.33	c       313       496    479.00     58.81      8.14   1000000         0
1034.17/1034.57	c       291       354    473.47     66.19      7.15   1000000         0
1035.47/1035.82	c       244       468    463.23     68.55      6.76   1000000         0
1036.67/1037.07	c       258       437    468.16     60.27      7.77   1000000         0
1037.98/1038.31	c       314       491    477.66     61.35      7.79   1000000         0
1039.18/1039.56	c       293       370    480.31     72.44      6.63   1000000         0
1040.47/1040.81	c       294       438    476.64     65.56      7.27   1000000         0
1041.67/1042.05	c       288       489    462.16     60.22      7.67   1000000         0
1042.97/1043.30	c       289       498    468.21     65.57      7.14   1000000         0
1044.17/1044.55	c       307       415    476.64     65.28      7.30   1000000         0
1045.47/1045.80	c       273       534    473.17     60.47      7.82   1000000         0
1046.67/1047.05	c       308       519    469.54     62.40      7.52   1000000         0
1047.87/1048.29	c       297       507    478.68     65.16      7.35   1000000         0
1049.17/1049.54	c       280       520    469.53     62.49      7.51   1000000         0
1050.37/1050.79	c       293       398    471.09     76.30      6.17   1000000         0
1051.67/1052.03	c       256       458    466.80     65.61      7.11   1000000         0
1052.87/1053.28	c       281       503    474.92     66.15      7.18   1000000         0
1054.17/1054.53	c       289       493    457.66     61.06      7.49   1000000         0
1055.37/1055.77	c       302       508    472.34     72.88      6.48   1000000         0
1056.68/1057.02	c       290       485    475.81     64.43      7.38   1000000         0
1057.88/1058.26	c       312       468    478.00     60.21      7.94   1000000         0
1059.17/1059.51	c       272       496    480.24     71.36      6.73   1000000         0
1060.37/1060.76	c       293       479    483.87     72.99      6.63   1000000         0
1061.67/1062.01	c       318       436    480.54     60.43      7.95   1000000         0
1062.87/1063.26	c       267       477    474.37     63.29      7.50   1000000         0
1064.17/1064.50	c       248       489    465.58     58.13      8.01   1000000         0
1065.37/1065.75	c       297       440    471.18     63.17      7.46   1000000         0
1066.58/1067.00	c       291       477    476.61     65.15      7.32   1000000         0
1067.87/1068.25	c       319       403    477.40     65.84      7.25   1000000         0
1069.07/1069.49	c       306       509    465.03     64.58      7.20   1000000         0
1070.37/1070.74	c       290       481    469.50     70.45      6.66   1000000         0
1071.57/1071.99	c       297       554    476.83     68.64      6.95   1000000         0
1072.87/1073.24	c       291       545    476.63     58.63      8.13   1000000         0
1074.07/1074.49	c       296       451    480.60     59.29      8.11   1000000         0
1075.37/1075.74	c       268       524    471.48     70.44      6.69   1000000         0
1076.57/1076.99	c       310       415    484.71     55.60      8.72   1000000         0
1077.87/1078.24	c       313       523    480.85     63.95      7.52   1000000         0
1079.07/1079.49	c       265       468    473.74     66.14      7.16   1000000         0
1080.37/1080.74	c       328       501    484.70     62.69      7.73   1000000         0
1081.57/1081.99	c       292       445    477.67     66.80      7.15   1000000         0
1082.87/1083.23	c       311       447    482.22     70.95      6.80   1000000         0
1084.06/1084.48	c       277       387    475.77     67.34      7.07   1000000         0
1085.37/1085.73	c       292       514    475.38     66.40      7.16   1000000         0
1086.56/1086.97	c       299       440    475.60     61.54      7.73   1000000         0
1087.86/1088.22	c       284       551    478.78     62.82      7.62   1000000         0
1089.06/1089.47	c       300       454    473.95     73.96      6.41   1000000         0
1090.36/1090.72	c       298       490    471.79     64.28      7.34   1000000         0
1091.56/1091.97	c       282       498    472.98     66.19      7.15   1000000         0
1092.86/1093.22	c       271       451    469.82     68.98      6.81   1000000         0
1094.07/1094.47	c       311       332    484.36     64.68      7.49   1000000         0
1095.36/1095.72	c       297       449    476.70     69.27      6.88   1000000         0
1096.56/1096.97	c       309       404    488.55     62.89      7.77   1000000         0
1097.86/1098.22	c       291       495    481.79     63.25      7.62   1000000         0
1099.06/1099.47	c       315       472    484.51     69.16      7.01   1000000         0
1100.36/1100.72	c       263       490    475.48     69.15      6.88   1000000         0
1101.56/1101.97	c       299       522    479.92     56.71      8.46   1000000         0
1102.86/1103.21	c       243       444    471.83     70.98      6.65   1000000         0
1104.06/1104.46	c       312       433    477.61     61.92      7.71   1000000         0
1105.35/1105.71	c       297       461    483.92     69.44      6.97   1000000         0
1106.55/1106.96	c       284       568    471.13     63.64      7.40   1000000         0
1107.86/1108.21	c       282       436    463.56     61.04      7.59   1000000         0
1109.05/1109.46	c       247       490    478.87     66.59      7.19   1000000         0
1110.35/1110.70	c       302       458    469.41     59.80      7.85   1000000         0
1111.55/1111.94	c       275       502    463.64     69.86      6.64   1000000         0
1112.76/1113.19	c       310       489    482.52     66.89      7.21   1000000         0
1114.05/1114.44	c       308       431    474.26     62.39      7.60   1000000         0
1115.25/1115.69	c       309       417    477.67     68.75      6.95   1000000         0
1116.55/1116.94	c       314       480    474.29     62.16      7.63   1000000         0
1117.75/1118.18	c       303       431    479.07     68.36      7.01   1000000         0
1119.05/1119.43	c       305       471    470.83     59.35      7.93   1000000         0
1120.25/1120.68	c       290       397    467.06     61.40      7.61   1000000         0
1121.56/1121.93	c       260       342    474.08     69.02      6.87   1000000         0
1122.76/1123.17	c       323       440    475.10     59.76      7.95   1000000         0
1124.05/1124.42	c       285       418    461.80     61.14      7.55   1000000         0
1125.25/1125.67	c       311       385    477.70     56.51      8.45   1000000         0
1126.55/1126.91	c       281       466    469.64     60.11      7.81   1000000         0
1127.75/1128.16	c       276       477    477.54     64.42      7.41   1000000         0
1129.05/1129.41	c       291       491    468.65     66.40      7.06   1000000         0
1130.25/1130.66	c       275       448    474.23     70.93      6.69   1000000         0
1131.55/1131.91	c       240       574    475.71     64.63      7.36   1000000         0
1132.75/1133.15	c       307       429    461.99     61.11      7.56   1000000         0
1134.05/1134.40	c       301       481    471.41     66.41      7.10   1000000         0
1135.24/1135.65	c       255       514    467.93     65.54      7.14   1000000         0
1136.44/1136.89	c       280       543    472.96     63.33      7.47   1000000         0
1137.74/1138.14	c       308       480    477.60     58.74      8.13   1000000         0
1138.94/1139.38	c       286       443    462.90     67.37      6.87   1000000         0
1140.25/1140.63	c       279       416    466.08     60.93      7.65   1000000         0
1141.45/1141.88	c       286       503    481.74     60.24      8.00   1000000         0
1142.74/1143.13	c       302       458    481.97     65.91      7.31   1000000         0
1143.94/1144.38	c       256       491    480.14     69.99      6.86   1000000         0
1145.24/1145.63	c       252       531    467.05     68.54      6.81   1000000         0
1146.44/1146.88	c       305       476    472.38     62.96      7.50   1000000         0
1147.74/1148.12	c       296       523    481.26     58.13      8.28   1000000         0
1148.94/1149.37	c       289       484    471.14     60.22      7.82   1000000         0
1150.25/1150.62	c       289       460    476.27     67.76      7.03   1000000         0
1151.44/1151.86	c       297       483    479.25     66.20      7.24   1000000         0
1152.74/1153.11	c       287       419    474.85     70.46      6.74   1000000         0
1153.94/1154.36	c       283       436    473.68     72.29      6.55   1000000         0
1155.23/1155.61	c       303       482    481.13     63.09      7.63   1000000         0
1156.43/1156.86	c       255       462    451.38     66.90      6.75   1000000         0
1157.73/1158.10	c       277       437    468.28     70.26      6.67   1000000         0
1158.94/1159.36	c       288       642    473.62     76.32      6.21   1000000         0
1160.23/1160.61	c       308       437    480.76     62.10      7.74   1000000         0
1161.43/1161.85	c       309       488    461.08     61.16      7.54   1000000         0
1162.63/1163.09	c       282       401    465.00     60.91      7.63   1000000         0
1163.93/1164.34	c       298       510    471.54     68.42      6.89   1000000         0
1165.13/1165.59	c       262       377    478.35     74.74      6.40   1000000         0
1166.43/1166.85	c       312       506    491.77     69.84      7.04   1000000         0
1167.63/1168.10	c       309       617    480.57     76.97      6.24   1000000         0
1168.94/1169.34	c       306       536    471.57     56.35      8.37   1000000         0
1170.13/1170.59	c       294       436    470.67     68.61      6.86   1000000         0
1171.43/1171.84	c       260       444    468.95     74.08      6.33   1000000         0
1172.63/1173.09	c       300       449    479.51     62.38      7.69   1000000         0
1173.93/1174.34	c       282       487    478.04     73.75      6.48   1000000         0
1175.13/1175.59	c       318       395    480.43     67.23      7.15   1000000         0
1176.43/1176.83	c       288       423    457.07     57.96      7.89   1000000         0
1177.63/1178.08	c       308       498    480.58     64.37      7.47   1000000         0
1178.93/1179.32	c       260       489    469.92     71.09      6.61   1000000         0
1180.13/1180.57	c       261       328    488.82     58.63      8.34   1000000         0
1181.43/1181.82	c       287       554    466.85     61.87      7.54   1000000         0
1182.63/1183.07	c       286       559    483.37     63.02      7.67   1000000         0
1183.93/1184.32	c       285       399    470.85     66.12      7.12   1000000         0
1185.13/1185.57	c       322       437    474.96     60.70      7.83   1000000         0
1186.44/1186.82	c       309       608    473.40     62.39      7.59   1000000         0
1187.64/1188.07	c       287       515    477.46     80.71      5.92   1000000         0
1188.93/1189.32	c       268       455    474.05     63.37      7.48   1000000         0
1190.13/1190.56	c       310       368    476.56     51.01      9.34   1000000         0
1191.43/1191.80	c       289       469    461.30     58.86      7.84   1000000         0
1192.63/1193.05	c       310       525    486.94     68.94      7.06   1000000         0
1193.93/1194.30	c       299       439    479.99     68.18      7.04   1000000         0
1195.13/1195.55	c       270       552    465.89     76.16      6.12   1000000         0
1196.34/1196.80	c       281       405    479.18     67.45      7.10   1000000         0
1197.63/1198.05	c       304       467    475.96     66.27      7.18   1000000         0
1198.93/1199.30	c       291       497    480.52     70.09      6.86   1000000         0
1200.13/1200.55	c       217       348    475.41     73.23      6.49   1000000         0
1201.43/1201.80	c       307       500    480.17     65.47      7.33   1000000         0
1202.63/1203.05	c       301       381    475.69     65.74      7.24   1000000         0
1203.83/1204.29	c       286       402    467.49     62.64      7.46   1000000         0
1205.13/1205.55	c       293       429    477.59     67.19      7.11   1000000         0
1206.33/1206.79	c       293       565    465.10     58.85      7.90   1000000         0
1207.62/1208.04	c       285       474    480.35     60.09      7.99   1000000         0
1208.82/1209.29	c       271       504    469.24     66.08      7.10   1000000         0
1210.12/1210.54	c       311       454    475.34     61.92      7.68   1000000         0
1211.32/1211.78	c       299       441    461.80     66.38      6.96   1000000         0
1212.62/1213.03	c       280       473    477.79     56.83      8.41   1000000         0
1213.82/1214.28	c       297       479    472.22     71.33      6.62   1000000         0
1215.13/1215.52	c       292       427    465.01     56.22      8.27   1000000         0
1216.32/1216.77	c       291       453    473.78     60.57      7.82   1000000         0
1217.62/1218.02	c       269       430    472.32     65.53      7.21   1000000         0
1218.82/1219.27	c       290       430    473.94     66.54      7.12   1000000         0
1220.12/1220.52	c       301       507    467.37     60.25      7.76   1000000         0
1221.32/1221.77	c       301       524    479.30     69.87      6.86   1000000         0
1222.62/1223.01	c       274       537    456.95     58.91      7.76   1000000         0
1223.82/1224.26	c       282       443    472.29     60.25      7.84   1000000         0
1225.12/1225.51	c       294       550    466.50     57.75      8.08   1000000         0
1226.32/1226.75	c       305       420    468.72     62.12      7.55   1000000         0
1227.62/1228.00	c       322       405    489.57     63.07      7.76   1000000         0
1228.82/1229.25	c       296       456    473.60     63.09      7.51   1000000         0
1230.12/1230.50	c       290       570    474.27     60.37      7.86   1000000         0
1231.31/1231.76	c       246       453    483.31     66.72      7.24   1000000         0
1232.62/1233.00	c       312       468    470.72     60.90      7.73   1000000         0
1233.82/1234.25	c       303       498    478.95     61.41      7.80   1000000         0
1235.11/1235.50	c       302       444    470.65     66.09      7.12   1000000         0
1236.31/1236.74	c       268       375    453.40     65.52      6.92   1000000         0
1237.51/1237.99	c       304       417    485.70     72.32      6.72   1000000         0
1238.81/1239.24	c       274       396    466.34     64.98      7.18   1000000         0
1240.01/1240.49	c       303       448    469.65     72.36      6.49   1000000         0
1241.31/1241.74	c       290       510    468.65     63.15      7.42   1000000         0
1242.52/1242.99	c       288       420    474.35     65.50      7.24   1000000         0
1243.81/1244.24	c       289       396    481.14     70.10      6.86   1000000         0
1245.01/1245.49	c       306       492    478.62     68.18      7.02   1000000         0
1246.31/1246.74	c       314       463    478.14     70.52      6.78   1000000         0
1247.51/1247.98	c       270       507    472.02     66.31      7.12   1000000         0
1248.81/1249.23	c       282       557    459.09     60.65      7.57   1000000         0
1250.01/1250.48	c       283       367    468.37     63.22      7.41   1000000         0
1251.32/1251.73	c       281       501    479.87     76.30      6.29   1000000         0
1252.52/1252.97	c       247       573    467.18     80.22      5.82   1000000         0
1253.81/1254.22	c       314       529    483.32     60.97      7.93   1000000         0
1255.01/1255.47	c       289       508    483.78     61.66      7.85   1000000         0
1256.31/1256.72	c       284       456    475.97     70.40      6.76   1000000         0
1257.51/1257.97	c       291       463    473.39     64.82      7.30   1000000         0
1258.81/1259.21	c       281       435    467.55     65.35      7.15   1000000         0
1260.01/1260.46	c       300       305    467.31     65.87      7.09   1000000         0
1261.21/1261.70	c       300       501    470.69     64.63      7.28   1000000         0
1262.51/1262.95	c       294       561    478.32     72.29      6.62   1000000         0
1263.80/1264.20	c       301       417    486.51     65.03      7.48   1000000         0
1265.00/1265.45	c       289       572    469.53     54.76      8.57   1000000         0
1266.30/1266.70	c       289       431    479.18     68.01      7.05   1000000         0
1267.50/1267.95	c       316       521    480.20     68.17      7.04   1000000         0
1268.80/1269.20	c       314       422    483.77     65.28      7.41   1000000         0
1270.01/1270.45	c       305       545    465.62     62.70      7.43   1000000         0
1271.21/1271.70	c       294       488    465.83     66.99      6.95   1000000         0
1272.50/1272.94	c       310       483    459.65     63.30      7.26   1000000         0
1273.70/1274.19	c       318       409    482.25     61.51      7.84   1000000         0
1275.00/1275.44	c       285       484    483.70     66.84      7.24   1000000         0
1276.20/1276.68	c       297       446    469.04     64.77      7.24   1000000         0
1277.50/1277.93	c       280       466    472.05     74.07      6.37   1000000         0
1278.70/1279.18	c       276       459    470.57     69.79      6.74   1000000         0
1280.01/1280.42	c       284       523    462.52     61.62      7.51   1000000         0
1281.20/1281.67	c       307       440    482.06     67.05      7.19   1000000         0
1282.50/1282.92	c       320       456    471.59     67.12      7.03   1000000         0
1283.69/1284.16	c       273       506    470.88     68.51      6.87   1000000         0
1284.99/1285.41	c       283       496    467.11     63.19      7.39   1000000         0
1286.19/1286.66	c       302       435    474.88     67.89      6.99   1000000         0
1287.49/1287.91	c       319       536    480.50     58.30      8.24   1000000         0
1288.70/1289.16	c       274       449    474.44     73.67      6.44   1000000         0
1289.99/1290.40	c       284       464    463.96     61.76      7.51   1000000         0
1291.19/1291.65	c       266       450    472.68     64.53      7.33   1000000         0
1292.39/1292.89	c       299       461    471.40     70.37      6.70   1000000         0
1293.69/1294.14	c       300       406    473.32     67.83      6.98   1000000         0
1294.89/1295.39	c       257       447    476.48     61.94      7.69   1000000         0
1296.19/1296.64	c       299       484    470.73     60.42      7.79   1000000         0
1297.39/1297.89	c       296       455    474.56     69.97      6.78   1000000         0
1298.70/1299.14	c       305       429    482.19     76.20      6.33   1000000         0
1299.89/1300.39	c       277       542    476.08     66.16      7.20   1000000         0
1301.19/1301.64	c       336       498    486.04     60.52      8.03   1000000         0
1302.40/1302.89	c       286       404    470.12     65.27      7.20   1000000         0
1303.70/1304.14	c       303       443    468.79     62.08      7.55   1000000         0
1304.90/1305.39	c       275       480    481.53     69.67      6.91   1000000         0
1306.19/1306.63	c       289       583    469.25     57.55      8.15   1000000         0
1307.40/1307.88	c       278       481    479.52     67.90      7.06   1000000         0
1308.69/1309.13	c       299       370    471.12     67.72      6.96   1000000         0
1309.89/1310.39	c       274       516    462.76     62.33      7.42   1000000         0
1311.19/1311.63	c       290       440    464.91     68.60      6.78   1000000         0
1312.39/1312.88	c       302       459    467.59     69.50      6.73   1000000         0
1313.69/1314.13	c       274       513    465.69     71.82      6.48   1000000         0
1314.89/1315.37	c       313       507    476.69     59.25      8.04   1000000         0
1316.20/1316.62	c       281       464    466.27     62.21      7.50   1000000         0
1317.40/1317.87	c       281       381    492.35     67.85      7.26   1000000         0
1318.69/1319.12	c       311       427    485.54     59.98      8.09   1000000         0
1319.89/1320.37	c       307       428    474.68     58.44      8.12   1000000         0
1321.19/1321.61	c       296       512    478.78     69.62      6.88   1000000         0
1322.39/1322.86	c       298       389    472.11     68.40      6.90   1000000         0
1323.69/1324.11	c       306       568    475.83     65.62      7.25   1000000         0
1324.89/1325.36	c       292       370    463.81     64.88      7.15   1000000         0
1326.09/1326.60	c       296       455    470.41     65.51      7.18   1000000         0
1327.39/1327.85	c       277       335    472.90     58.28      8.11   1000000         0
1328.69/1329.10	c       289       519    479.63     78.74      6.09   1000000         0
1329.89/1330.34	c       292       446    464.92     64.89      7.16   1000000         0
1331.09/1331.59	c       295       420    482.38     65.67      7.35   1000000         0
1332.39/1332.83	c       283       325    475.77     65.55      7.26   1000000         0
1333.59/1334.08	c       292       469    464.88     69.05      6.73   1000000         0
1334.89/1335.33	c       294       507    470.38     59.71      7.88   1000000         0
1336.09/1336.57	c       248       420    472.03     68.81      6.86   1000000         0
1337.38/1337.82	c       306       568    476.92     66.79      7.14   1000000         0
1338.58/1339.07	c       307       528    472.76     56.06      8.43   1000000         0
1339.88/1340.32	c       316       458    479.50     62.07      7.73   1000000         0
1341.08/1341.57	c       261       453    468.55     67.01      6.99   1000000         0
1342.38/1342.82	c       311       405    486.71     70.48      6.91   1000000         0
1343.58/1344.07	c       265       594    473.48     65.39      7.24   1000000         0
1344.89/1345.32	c       288       385    464.83     60.90      7.63   1000000         0
1346.08/1346.56	c       282       452    470.21     62.97      7.47   1000000         0
1347.38/1347.81	c       280       455    470.43     65.43      7.19   1000000         0
1348.58/1349.05	c       282       560    471.89     63.07      7.48   1000000         0
1349.88/1350.30	c       249       495    472.00     71.19      6.63   1000000         0
1351.08/1351.55	c       302       551    477.60     67.06      7.12   1000000         0
1352.28/1352.80	c       299       499    471.36     68.47      6.88   1000000         0
1353.59/1354.04	c       281       429    472.31     74.78      6.32   1000000         0
1354.79/1355.28	c       275       529    463.33     69.03      6.71   1000000         0
1356.08/1356.53	c       267       432    472.01     63.22      7.47   1000000         0
1357.28/1357.77	c       294       572    469.66     65.13      7.21   1000000         0
1358.58/1359.03	c       312       419    479.96     63.31      7.58   1000000         0
1359.78/1360.27	c       304       385    474.14     69.93      6.78   1000000         0
1361.08/1361.52	c       291       478    463.90     63.59      7.30   1000000         0
1362.27/1362.77	c       254       449    474.21     65.30      7.26   1000000         0
1363.58/1364.02	c       285       497    480.07     64.56      7.44   1000000         0
1364.78/1365.27	c       288       512    467.48     68.06      6.87   1000000         0
1366.07/1366.51	c       306       517    473.67     61.88      7.66   1000000         0
1367.27/1367.76	c       295       351    471.58     63.35      7.44   1000000         0
1368.57/1369.00	c       303       502    461.05     66.41      6.94   1000000         0
1369.77/1370.26	c       282       490    470.01     67.58      6.96   1000000         0
1371.07/1371.50	c       280       520    473.47     58.02      8.16   1000000         0
1372.28/1372.75	c       305       454    469.21     61.67      7.61   1000000         0
1373.57/1374.00	c       282       487    477.43     65.44      7.30   1000000         0
1374.77/1375.24	c       294       588    460.11     61.19      7.52   1000000         0
1375.97/1376.49	c       275       474    468.15     57.99      8.07   1000000         0
1377.27/1377.74	c       325       493    476.06     58.71      8.11   1000000         0
1378.47/1378.99	c       291       495    469.50     62.92      7.46   1000000         0
1379.77/1380.24	c       302       466    470.59     67.23      7.00   1000000         0
1380.97/1381.48	c       268       514    475.75     73.14      6.50   1000000         0
1382.28/1382.73	c       285       465    476.51     71.12      6.70   1000000         0
1383.47/1383.98	c       305       451    480.62     62.34      7.71   1000000         0
1384.76/1385.23	c       293       413    476.94     69.32      6.88   1000000         0
1385.96/1386.48	c       312       488    478.38     68.40      6.99   1000000         0
1387.26/1387.73	c       327       440    489.62     60.93      8.04   1000000         0
1388.46/1388.99	c       285       503    476.37     63.87      7.46   1000000         0
1389.76/1390.24	c       280       467    481.60     74.75      6.44   1000000         0
1390.97/1391.48	c       290       485    461.35     76.17      6.06   1000000         0
1392.26/1392.73	c       267       384    460.94     65.70      7.02   1000000         0
1393.46/1393.98	c       317       395    496.33     62.63      7.92   1000000         0
1394.76/1395.23	c       279       437    475.92     79.33      6.00   1000000         0
1395.96/1396.48	c       283       408    472.77     71.70      6.59   1000000         0
1397.26/1397.73	c       263       460    470.66     69.32      6.79   1000000         0
1398.46/1398.97	c       292       455    469.23     70.46      6.66   1000000         0
1399.78/1400.22	c       279       448    478.73     60.42      7.92   1000000         0
1400.98/1401.47	c       299       428    474.07     66.45      7.13   1000000         0
1402.27/1402.72	c       295       493    483.33     57.86      8.35   1000000         0
1403.47/1403.96	c       313       416    460.02     56.92      8.08   1000000         0
1404.77/1405.21	c       308       433    482.69     57.65      8.37   1000000         0
1405.97/1406.46	c       287       511    471.93     73.06      6.46   1000000         0
1407.27/1407.71	c       306       469    480.26     70.81      6.78   1000000         0
1408.47/1408.95	c       253       450    462.87     67.03      6.91   1000000         0
1409.67/1410.20	c       262       438    479.46     69.34      6.91   1000000         0
1410.97/1411.45	c       317       536    480.25     68.93      6.97   1000000         0
1412.17/1412.69	c       281       438    469.96     67.78      6.93   1000000         0
1413.47/1413.94	c       313       427    473.64     62.04      7.63   1000000         0
1414.66/1415.19	c       269       443    472.66     78.02      6.06   1000000         0
1415.96/1416.44	c       281       414    481.83     63.26      7.62   1000000         0
1417.16/1417.68	c       262       404    464.80     74.92      6.20   1000000         0
1418.47/1418.93	c       288       599    470.04     69.82      6.73   1000000         0
1419.67/1420.18	c       295       512    469.17     62.71      7.48   1000000         0
1420.96/1421.43	c       269       428    478.86     53.56      8.94   1000000         0
1422.16/1422.68	c       293       500    474.31     60.82      7.80   1000000         0
1423.46/1423.93	c       294       391    472.65     62.99      7.50   1000000         0
1424.66/1425.18	c       332       431    492.35     60.98      8.07   1000000         0
1425.96/1426.43	c       306       474    479.00     59.80      8.01   1000000         0
1427.16/1427.67	c       284       473    483.22     59.36      8.14   1000000         0
1428.46/1428.92	c       289       538    477.39     62.62      7.62   1000000         0
1429.66/1430.17	c       248       370    486.49     68.83      7.07   1000000         0
1430.96/1431.43	c       307       491    477.12     71.87      6.64   1000000         0
1432.16/1432.67	c       264       385    465.99     62.01      7.51   1000000         0
1433.46/1433.91	c       306       467    466.05     59.32      7.86   1000000         0
1434.65/1435.16	c       292       508    474.82     62.90      7.55   1000000         0
1435.95/1436.41	c       288       434    479.78     70.22      6.83   1000000         0
1437.16/1437.66	c       251       504    468.34     64.46      7.27   1000000         0
1438.45/1438.90	c       286       429    459.24     61.04      7.52   1000000         0
1439.65/1440.15	c       288       431    473.49     63.86      7.41   1000000         0
1440.95/1441.40	c       263       430    464.19     57.34      8.10   1000000         0
1442.15/1442.64	c       267       557    459.18     57.92      7.93   1000000         0
1443.35/1443.89	c       326       489    482.79     64.55      7.48   1000000         0
1444.65/1445.14	c       309       497    473.95     69.06      6.86   1000000         0
1445.85/1446.39	c       300       521    473.95     64.36      7.36   1000000         0
1447.16/1447.64	c       288       461    468.46     64.47      7.27   1000000         0
1448.35/1448.88	c       272       388    457.51     67.35      6.79   1000000         0
1449.65/1450.13	c       275       404    458.62     67.35      6.81   1000000         0
1450.85/1451.37	c       267       441    468.66     68.69      6.82   1000000         0
1452.15/1452.62	c       300       456    467.80     68.17      6.86   1000000         0
1453.35/1453.87	c       297       559    471.42     58.76      8.02   1000000         0
1454.65/1455.12	c       299       462    465.87     67.67      6.88   1000000         0
1455.85/1456.37	c       291       552    474.56     68.57      6.92   1000000         0
1457.15/1457.62	c       305       495    475.08     77.57      6.12   1000000         0
1458.35/1458.86	c       261       509    466.89     65.69      7.11   1000000         0
1459.65/1460.11	c       285       404    474.20     74.12      6.40   1000000         0
1460.85/1461.36	c       311       430    469.23     72.06      6.51   1000000         0
1462.15/1462.60	c       280       422    466.13     60.64      7.69   1000000         0
1463.34/1463.85	c       288       475    475.11     67.04      7.09   1000000         0
1464.65/1465.11	c       291       429    483.83     69.60      6.95   1000000         0
1465.85/1466.36	c       305       470    472.32     63.24      7.47   1000000         0
1467.14/1467.61	c       323       451    465.35     62.24      7.48   1000000         0
1468.34/1468.86	c       292       551    472.13     68.33      6.91   1000000         0
1469.64/1470.10	c       270       490    473.70     74.93      6.32   1000000         0
1470.84/1471.35	c       307       509    478.50     58.47      8.18   1000000         0
1472.14/1472.60	c       307       548    475.81     65.66      7.25   1000000         0
1473.34/1473.85	c       279       498    475.09     65.75      7.23   1000000         0
1474.55/1475.09	c       279       446    472.55     62.20      7.60   1000000         0
1475.84/1476.35	c       298       429    478.71     60.48      7.91   1000000         0
1477.14/1477.60	c       286       463    475.13     66.00      7.20   1000000         0
1478.34/1478.84	c       286       494    472.28     65.15      7.25   1000000         0
1479.64/1480.10	c       284       397    479.27     68.25      7.02   1000000         0
1480.84/1481.35	c       295       482    473.04     66.41      7.12   1000000         0
1482.14/1482.60	c       279       487    470.58     66.31      7.10   1000000         0
1483.35/1483.85	c       308       416    478.33     66.77      7.16   1000000         0
1484.64/1485.10	c       302       460    472.29     63.56      7.43   1000000         0
1485.84/1486.35	c       247       482    468.26     76.36      6.13   1000000         0
1487.04/1487.59	c       281       453    472.38     64.39      7.34   1000000         0
1488.34/1488.84	c       271       476    467.59     75.79      6.17   1000000         0
1489.54/1490.09	c       277       471    484.00     88.27      5.48   1000000         0
1490.84/1491.34	c       240       534    471.20     70.36      6.70   1000000         0
1492.04/1492.58	c       259       489    473.66     65.69      7.21   1000000         0
1493.34/1493.83	c       311       432    471.21     68.61      6.87   1000000         0
1494.54/1495.08	c       299       453    479.83     71.18      6.74   1000000         0
1495.84/1496.33	c       297       520    479.00     66.15      7.24   1000000         0
1497.04/1497.57	c       297       425    473.91     55.95      8.47   1000000         0
1498.34/1498.82	c       283       419    469.36     61.72      7.61   1000000         0
1499.54/1500.07	c       308       532    480.48     63.50      7.57   1000000         0
1500.83/1501.32	c       297       448    470.35     58.92      7.98   1000000         0
1502.04/1502.57	c       269       520    469.04     59.72      7.85   1000000         0
1503.33/1503.82	c       204       396    467.51     66.90      6.99   1000000         0
1504.53/1505.07	c       281       415    471.89     70.10      6.73   1000000         0
1505.83/1506.32	c       314       502    484.44     59.00      8.21   1000000         0
1507.03/1507.57	c       278       405    471.83     68.32      6.91   1000000         0
1508.33/1508.82	c       303       418    475.35     64.15      7.41   1000000         0
1509.53/1510.07	c       315       476    478.86     72.20      6.63   1000000         0
1510.84/1511.32	c       269       564    469.83     62.01      7.58   1000000         0
1512.04/1512.56	c       309       377    483.22     62.79      7.70   1000000         0
1513.33/1513.81	c       300       515    480.78     66.71      7.21   1000000         0
1514.53/1515.06	c       290       375    481.14     72.97      6.59   1000000         0
1515.83/1516.31	c       304       425    483.67     61.45      7.87   1000000         0
1517.03/1517.57	c       297       448    473.32     72.55      6.52   1000000         0
1518.33/1518.81	c       285       519    468.14     68.09      6.87   1000000         0
1519.53/1520.06	c       287       523    475.70     63.16      7.53   1000000         0
1520.83/1521.31	c       256       550    472.31     64.10      7.37   1000000         0
1522.03/1522.55	c       296       450    465.89     58.47      7.97   1000000         0
1523.33/1523.80	c       254       555    466.37     55.30      8.43   1000000         0
1524.53/1525.05	c       281       402    469.11     63.20      7.42   1000000         0
1525.73/1526.30	c       284       557    468.04     71.50      6.55   1000000         0
1527.03/1527.54	c       302       503    469.00     64.44      7.28   1000000         0
1528.23/1528.79	c       269       451    473.34     73.06      6.48   1000000         0
1529.54/1530.04	c       316       447    472.31     54.99      8.59   1000000         0
1530.74/1531.29	c       308       571    477.93     61.85      7.73   1000000         0
1532.03/1532.54	c       262       416    467.82     65.66      7.12   1000000         0
1533.23/1533.78	c       271       439    466.23     66.85      6.97   1000000         0
1534.53/1535.04	c       305       459    493.85     76.15      6.49   1000000         0
1535.73/1536.29	c       300       481    463.90     61.17      7.58   1000000         0
1537.03/1537.53	c       307       422    467.36     61.18      7.64   1000000         0
1538.23/1538.78	c       261       438    466.91     75.06      6.22   1000000         0
1539.54/1540.03	c       279       507    473.39     61.30      7.72   1000000         0
1540.73/1541.27	c       312       359    477.97     59.50      8.03   1000000         0
1542.03/1542.52	c       298       476    480.01     72.75      6.60   1000000         0
1543.23/1543.77	c       291       362    473.44     65.97      7.18   1000000         0
1544.53/1545.01	c       273       485    466.97     62.89      7.42   1000000         0
1545.73/1546.26	c       287       475    469.77     68.72      6.84   1000000         0
1547.02/1547.51	c       289       505    470.14     62.39      7.54   1000000         0
1548.23/1548.76	c       270       439    474.71     83.17      5.71   1000000         0
1549.52/1550.00	c       249       527    477.38     67.72      7.05   1000000         0
1550.72/1551.26	c       289       544    458.23     66.14      6.93   1000000         0
1552.02/1552.50	c       300       542    482.20     72.86      6.62   1000000         0
1553.22/1553.75	c       303       443    463.88     60.51      7.67   1000000         0
1554.52/1555.00	c       284       394    458.80     60.65      7.56   1000000         0
1555.72/1556.25	c       303       514    491.38     67.09      7.32   1000000         0
1556.92/1557.49	c       273       537    474.20     64.67      7.33   1000000         0
1558.23/1558.74	c       308       484    471.58     56.64      8.33   1000000         0
1559.42/1559.99	c       296       419    476.21     62.78      7.59   1000000         0
1560.72/1561.24	c       314       423    478.20     60.94      7.85   1000000         0
1561.92/1562.48	c       243       454    477.28     72.75      6.56   1000000         0
1563.22/1563.73	c       286       378    474.53     61.33      7.74   1000000         0
1564.42/1564.98	c       271       458    474.58     60.64      7.83   1000000         0
1565.72/1566.23	c       301       507    486.69     69.57      7.00   1000000         0
1566.93/1567.48	c       274       437    476.40     61.39      7.76   1000000         0
1568.22/1568.73	c       315       432    478.86     51.34      9.33   1000000         0
1569.42/1569.97	c       243       439    471.07     67.13      7.02   1000000         0
1570.72/1571.22	c       269       480    477.40     67.08      7.12   1000000         0
1571.92/1572.46	c       301       454    478.87     63.39      7.55   1000000         0
1573.22/1573.71	c       296       447    472.77     66.58      7.10   1000000         0
1574.42/1574.96	c       302       564    484.58     65.70      7.38   1000000         0
1575.72/1576.20	c       268       427    470.46     64.39      7.31   1000000         0
1576.92/1577.45	c       283       533    471.05     66.04      7.13   1000000         0
1578.22/1578.70	c       256       397    468.47     63.86      7.34   1000000         0
1579.42/1579.95	c       269       515    486.80     61.21      7.95   1000000         0
1580.71/1581.20	c       288       474    469.96     68.31      6.88   1000000         0
1581.91/1582.45	c       295       546    473.91     70.42      6.73   1000000         0
1583.21/1583.70	c       315       441    481.69     61.46      7.84   1000000         0
1584.41/1584.95	c       257       421    476.03     68.81      6.92   1000000         0
1585.62/1586.20	c       277       585    490.22     62.19      7.88   1000000         0
1586.91/1587.45	c       300       497    487.65     76.32      6.39   1000000         0
1588.21/1588.70	c       303       580    480.89     69.84      6.89   1000000         0
1589.41/1589.96	c       301       450    482.11     63.34      7.61   1000000         0
1590.71/1591.21	c       293       370    473.61     60.25      7.86   1000000         0
1591.91/1592.46	c       288       548    466.80     63.89      7.31   1000000         0
1593.21/1593.71	c       283       471    470.46     64.22      7.33   1000000         0
1594.42/1594.95	c       303       491    470.43     59.03      7.97   1000000         0
1595.71/1596.20	c       308       559    468.74     61.13      7.67   1000000         0
1596.91/1597.44	c       280       444    462.92     59.92      7.73   1000000         0
1598.11/1598.69	c       304       479    469.61     66.35      7.08   1000000         0
1599.41/1599.94	c       290       452    476.99     66.62      7.16   1000000         0
1600.61/1601.18	c       254       485    479.24     69.95      6.85   1000000         0
1601.91/1602.43	c       296       386    477.47     61.89      7.72   1000000         0
1603.11/1603.68	c       280       519    472.56     62.86      7.52   1000000         0
1604.41/1604.94	c       294       459    474.13     75.68      6.26   1000000         0
1605.60/1606.18	c       280       436    475.38     62.45      7.61   1000000         0
1606.90/1607.43	c       262       446    471.87     59.68      7.91   1000000         0
1608.10/1608.68	c       285       352    477.15     65.48      7.29   1000000         0
1609.40/1609.92	c       297       487    468.69     64.25      7.29   1000000         0
1610.60/1611.17	c       300       562    478.61     61.03      7.84   1000000         0
1611.90/1612.42	c       285       438    469.59     76.91      6.11   1000000         0
1613.11/1613.66	c       230       492    468.51     63.10      7.42   1000000         0
1614.40/1614.91	c       323       485    470.60     62.20      7.57   1000000         0
1615.60/1616.17	c       293       466    479.02     63.72      7.52   1000000         0
1616.90/1617.41	c       253       411    469.24     61.23      7.66   1000000         0
1618.10/1618.66	c       257       467    459.77     60.39      7.61   1000000         0
1619.40/1619.90	c       301       524    475.82     73.15      6.50   1000000         0
1620.60/1621.15	c       286       471    473.01     67.37      7.02   1000000         0
1621.91/1622.41	c       266       577    470.93     60.04      7.84   1000000         0
1623.11/1623.65	c       304       416    455.00     54.85      8.30   1000000         0
1624.30/1624.89	c       304       510    459.78     67.82      6.78   1000000         0
1625.60/1626.14	c       278       488    480.78     71.54      6.72   1000000         0
1626.80/1627.39	c       301       433    486.47     57.81      8.41   1000000         0
1628.10/1628.64	c       271       387    463.66     70.22      6.60   1000000         0
1629.30/1629.89	c       285       418    472.79     70.80      6.68   1000000         0
1630.60/1631.14	c       295       492    470.93     66.28      7.10   1000000         0
1631.80/1632.39	c       294       417    487.99     68.25      7.15   1000000         0
1633.10/1633.63	c       287       430    474.92     62.45      7.61   1000000         0
1634.30/1634.88	c       245       596    475.41     64.76      7.34   1000000         0
1635.60/1636.13	c       314       523    476.68     59.20      8.05   1000000         0
1636.80/1637.38	c       271       415    461.57     68.54      6.73   1000000         0
1638.10/1638.63	c       298       501    480.88     62.47      7.70   1000000         0
1639.30/1639.87	c       307       456    482.24     68.53      7.04   1000000         0
1640.60/1641.12	c       318       439    474.23     66.20      7.16   1000000         0
1641.80/1642.37	c       272       481    470.49     75.17      6.26   1000000         0
1643.10/1643.62	c       303       386    480.32     68.57      7.01   1000000         0
1644.29/1644.86	c       277       460    465.05     65.74      7.07   1000000         0
1645.59/1646.11	c       274       488    469.13     57.96      8.09   1000000         0
1646.79/1647.36	c       301       500    479.28     71.62      6.69   1000000         0
1648.09/1648.61	c       290       454    484.72     70.53      6.87   1000000         0
1649.29/1649.86	c       276       457    479.31     76.91      6.23   1000000         0
1650.60/1651.10	c       270       449    472.68     70.25      6.73   1000000         0
1651.79/1652.35	c       239       511    465.38     65.10      7.15   1000000         0
1653.09/1653.60	c       324       470    481.16     66.23      7.27   1000000         0
1654.29/1654.85	c       274       506    474.13     64.50      7.35   1000000         0
1655.59/1656.10	c       287       418    475.16     67.10      7.08   1000000         0
1656.79/1657.35	c       299       427    479.97     63.16      7.60   1000000         0
1658.09/1658.60	c       312       438    482.81     57.35      8.42   1000000         0
1659.30/1659.84	c       300       526    475.39     71.14      6.68   1000000         0
1660.50/1661.09	c       295       423    472.83     59.59      7.93   1000000         0
1661.79/1662.34	c       306       576    469.20     63.33      7.41   1000000         0
1662.99/1663.58	c       294       372    465.06     62.90      7.39   1000000         0
1664.29/1664.83	c       313       444    481.84     65.93      7.31   1000000         0
1665.49/1666.08	c       292       420    466.61     69.65      6.70   1000000         0
1666.79/1667.32	c       305       553    488.86     65.36      7.48   1000000         0
1667.99/1668.57	c       280       528    455.98     63.10      7.23   1000000         0
1669.29/1669.81	c       262       473    475.95     71.21      6.68   1000000         0
1670.49/1671.06	c       277       503    464.08     61.21      7.58   1000000         0
1671.78/1672.31	c       288       350    473.76     66.33      7.14   1000000         0
1672.99/1673.56	c       308       407    469.69     62.02      7.57   1000000         0
1674.28/1674.81	c       272       382    464.77     66.09      7.03   1000000         0
1675.48/1676.05	c       297       415    473.69     59.00      8.03   1000000         0
1676.78/1677.30	c       277       434    464.44     65.17      7.13   1000000         0
1677.99/1678.55	c       282       498    481.02     62.22      7.73   1000000         0
1679.28/1679.80	c       278       428    476.59     67.48      7.06   1000000         0
1680.48/1681.05	c       268       478    486.94     71.78      6.78   1000000         0
1681.68/1682.29	c       276       515    466.80     65.77      7.10   1000000         0
1682.98/1683.54	c       319       563    472.15     59.73      7.90   1000000         0
1684.18/1684.79	c       280       314    470.44     56.08      8.39   1000000         0
1685.48/1686.04	c       280       513    473.29     65.89      7.18   1000000         0
1686.68/1687.29	c       326       445    477.40     57.31      8.33   1000000         0
1687.99/1688.53	c       300       569    479.54     61.21      7.83   1000000         0
1689.18/1689.78	c       284       458    469.79     68.57      6.85   1000000         0
1690.48/1691.03	c       321       423    486.75     57.34      8.49   1000000         0
1691.68/1692.28	c       269       467    471.73     63.95      7.38   1000000         0
1692.98/1693.53	c       268       447    478.52     61.49      7.78   1000000         0
1694.18/1694.77	c       288       472    471.83     62.36      7.57   1000000         0
1695.48/1696.02	c       283       480    464.67     66.92      6.94   1000000         0
1696.68/1697.26	c       278       392    461.10     62.64      7.36   1000000         0
1697.98/1698.52	c       308       503    482.87     62.72      7.70   1000000         0
1699.18/1699.76	c       300       416    469.53     67.60      6.95   1000000         0
1700.48/1701.01	c       267       462    468.42     75.78      6.18   1000000         0
1701.68/1702.26	c       314       449    480.89     55.99      8.59   1000000         0
1702.97/1703.51	c       294       549    482.95     76.60      6.31   1000000         0
1704.17/1704.76	c       318       448    475.89     59.60      7.99   1000000         0
1705.48/1706.00	c       278       470    469.88     69.50      6.76   1000000         0
1706.68/1707.25	c       300       423    486.78     64.69      7.52   1000000         0
1707.97/1708.50	c       283       394    478.56     67.71      7.07   1000000         0
1709.17/1709.75	c       268       526    481.78     57.26      8.41   1000000         0
1710.37/1710.99	c       280       523    476.43     71.62      6.65   1000000         0
1711.67/1712.24	c       316       433    474.02     72.30      6.56   1000000         0
1712.87/1713.49	c       280       400    472.14     60.97      7.74   1000000         0
1714.17/1714.74	c       293       470    482.68     75.64      6.38   1000000         0
1715.38/1715.99	c       295       512    474.55     62.07      7.65   1000000         0
1716.67/1717.23	c       299       478    469.05     68.48      6.85   1000000         0
1717.87/1718.48	c       261       583    468.58     60.51      7.74   1000000         0
1719.17/1719.73	c       291       505    470.20     75.18      6.25   1000000         0
1720.37/1720.98	c       282       489    466.62     67.23      6.94   1000000         0
1721.67/1722.23	c       306       502    488.63     59.38      8.23   1000000         0
1722.87/1723.48	c       321       389    473.54     64.49      7.34   1000000         0
1724.17/1724.73	c       294       473    472.64     73.92      6.39   1000000         0
1725.37/1725.97	c       260       519    473.85     61.70      7.68   1000000         0
1726.67/1727.22	c       297       413    486.19     74.93      6.49   1000000         0
1727.87/1728.47	c       311       384    480.10     66.15      7.26   1000000         0
1729.17/1729.72	c       264       418    472.53     69.86      6.76   1000000         0
1730.36/1730.97	c       276       462    473.66     64.43      7.35   1000000         0
1731.66/1732.22	c       311       504    472.88     70.25      6.73   1000000         0
1732.87/1733.47	c       293       454    468.49     61.40      7.63   1000000         0
1734.17/1734.71	c       319       440    474.03     55.14      8.60   1000000         0
1735.36/1735.96	c       299       387    474.01     71.53      6.63   1000000         0
1736.66/1737.21	c       297       450    470.38     64.17      7.33   1000000         0
1737.86/1738.46	c       296       545    476.26     70.91      6.72   1000000         0
1739.16/1739.71	c       270       435    481.92     70.52      6.83   1000000         0
1740.36/1740.95	c       315       475    470.03     64.83      7.25   1000000         0
1741.66/1742.20	c       282       496    468.41     57.67      8.12   1000000         0
1742.87/1743.45	c       307       502    488.04     70.88      6.89   1000000         0
1744.16/1744.70	c       227       435    475.18     78.78      6.03   1000000         0
1745.36/1745.95	c       263       406    476.38     61.23      7.78   1000000         0
1746.56/1747.19	c       253       611    467.47     66.40      7.04   1000000         0
1747.86/1748.44	c       294       411    480.97     65.13      7.39   1000000         0
1749.06/1749.69	c       272       454    474.97     71.60      6.63   1000000         0
1750.36/1750.93	c       306       466    461.54     57.27      8.06   1000000         0
1751.56/1752.18	c       302       404    468.21     71.32      6.57   1000000         0
1752.86/1753.43	c       277       454    485.23     70.20      6.91   1000000         0
1754.06/1754.69	c       286       485    484.95     65.28      7.43   1000000         0
1755.36/1755.93	c       288       443    471.37     69.02      6.83   1000000         0
1756.55/1757.18	c       272       481    474.52     70.84      6.70   1000000         0
1757.86/1758.43	c       284       427    469.05     60.71      7.73   1000000         0
1759.06/1759.68	c       299       499    479.16     60.82      7.88   1000000         0
1760.35/1760.93	c       299       425    473.74     55.50      8.54   1000000         0
1761.56/1762.18	c       311       391    471.67     64.26      7.34   1000000         0
1762.85/1763.42	c       307       468    473.13     61.26      7.72   1000000         0
1764.05/1764.67	c       302       546    471.02     63.41      7.43   1000000         0
1765.35/1765.92	c       300       505    480.28     68.18      7.04   1000000         0
1766.55/1767.17	c       289       551    461.93     72.66      6.36   1000000         0
1767.85/1768.42	c       258       445    477.09     66.33      7.19   1000000         0
1769.06/1769.66	c       269       516    462.95     63.58      7.28   1000000         0
1770.37/1770.91	c       313       602    470.25     55.02      8.55   1000000         0
1771.57/1772.16	c       282       521    488.65     68.15      7.17   1000000         0
1772.86/1773.41	c       301       405    486.71     62.67      7.77   1000000         0
1774.06/1774.66	c       289       567    465.06     67.89      6.85   1000000         0
1775.36/1775.91	c       261       432    472.39     71.56      6.60   1000000         0
1776.56/1777.15	c       305       426    467.98     73.24      6.39   1000000         0
1777.86/1778.40	c       316       444    479.42     64.75      7.40   1000000         0
1779.06/1779.65	c       314       443    489.43     81.15      6.03   1000000         0
1780.26/1780.90	c       292       578    469.28     72.12      6.51   1000000         0
1781.56/1782.15	c       283       530    470.15     72.89      6.45   1000000         0
1782.85/1783.40	c       304       494    475.89     62.23      7.65   1000000         0
1784.05/1784.65	c       263       479    465.29     57.54      8.09   1000000         0
1785.35/1785.90	c       284       527    468.98     62.57      7.50   1000000         0
1786.55/1787.14	c       291       436    462.85     55.92      8.28   1000000         0
1787.75/1788.39	c       302       442    469.53     70.54      6.66   1000000         0
1789.06/1789.64	c       282       368    468.27     65.04      7.20   1000000         0
1790.26/1790.89	c       280       430    478.75     60.17      7.96   1000000         0
1791.55/1792.14	c       312       448    477.91     79.65      6.00   1000000         0
1792.75/1793.39	c       291       495    483.42     70.64      6.84   1000000         0
1794.05/1794.64	c       296       501    474.77     67.42      7.04   1000000         0
1795.25/1795.89	c       294       544    478.32     65.44      7.31   1000000         0
1796.55/1797.13	c       309       466    473.31     60.24      7.86   1000000         0
1797.75/1798.38	c       289       504    473.09     61.18      7.73   1000000         0
1799.06/1799.63	c       269       511    480.22     62.37      7.70   1000000         0
1800.07/1800.61	HOME/run: line 2: 21038 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-2685378-1278440639/watcher-2685378-1278440639 -o /tmp/evaluation-result-2685378-1278440639/solver-2685378-1278440639 -C 1800 -W 2000 -M 1800 run HOME/instance-2685378-1278440639.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.13 1.07 1.03 3/106 21037
/proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) R 21035 21037 20235 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479636885 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0

[startup+0.049999 s]
/proc/loadavg: 1.13 1.07 1.03 3/106 21037
/proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100999 s]
/proc/loadavg: 1.13 1.07 1.03 3/106 21037
/proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300998 s]
/proc/loadavg: 1.13 1.07 1.03 3/106 21037
/proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700996 s]
/proc/loadavg: 1.13 1.07 1.03 3/106 21037
/proc/meminfo: memFree=1821992/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50099 s]
/proc/loadavg: 1.12 1.07 1.03 2/108 21039
/proc/meminfo: memFree=1816644/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1.49
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 149 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1302 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10098 s]
/proc/loadavg: 1.12 1.07 1.03 2/108 21039
/proc/meminfo: memFree=1816396/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=3.09
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 309 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1302 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30096 s]
/proc/loadavg: 1.12 1.07 1.03 2/108 21039
/proc/meminfo: memFree=1816396/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=6.29
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 629 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1302 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7019 s]
/proc/loadavg: 1.10 1.07 1.03 2/108 21040
/proc/meminfo: memFree=1816288/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=12.69
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 1269 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1302 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.08 1.06 1.03 2/108 21040
/proc/meminfo: memFree=1816288/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=25.48
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1372 0 0 0 2548 0 0 0 25 0 1 0 12274860 41422848 1302 1992294400 134512640 135071400 4287258160 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1302 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1007 s]
/proc/loadavg: 1.05 1.06 1.02 2/108 21041
/proc/meminfo: memFree=1816288/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=51.08
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 5107 1 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.02 1.05 1.02 2/108 21042
/proc/meminfo: memFree=1815916/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=102.27
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 10226 1 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134547284 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.3 s]
/proc/loadavg: 1.01 1.03 1.01 2/108 21044
/proc/meminfo: memFree=1815792/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=162.24
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 16223 1 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526500 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 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.03 1.01 2/108 21045
/proc/meminfo: memFree=1815668/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=222.22
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 22221 1 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 21047
/proc/meminfo: memFree=1815668/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=282.21
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 28219 2 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 21048
/proc/meminfo: memFree=1815544/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=342.18
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 34216 2 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 21050
/proc/meminfo: memFree=1815420/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=402.16
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 40214 2 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 49152

[startup+462.3 s]

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

/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1061.97
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 106190 7 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21069
/proc/meminfo: memFree=1814180/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1121.95
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 112188 7 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21071
/proc/meminfo: memFree=1814056/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1181.93
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 118186 7 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519857 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21072
/proc/meminfo: memFree=1813808/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1241.91
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 124183 8 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21074
/proc/meminfo: memFree=1813560/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1301.91
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 130182 9 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21076
/proc/meminfo: memFree=1813560/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1361.87
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 136178 9 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21077
/proc/meminfo: memFree=1813436/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1421.87
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 142177 10 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21079
/proc/meminfo: memFree=1813436/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1481.84
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 148174 10 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21080
/proc/meminfo: memFree=1813188/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1541.83
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 154172 11 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526538 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21082
/proc/meminfo: memFree=1813064/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1601.81
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 160170 11 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21084
/proc/meminfo: memFree=1813064/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1661.79
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 166168 11 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21085
/proc/meminfo: memFree=1812940/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1721.77
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 172166 11 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526243 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21087
/proc/meminfo: memFree=1812692/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1781.76
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 178164 12 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21087
/proc/meminfo: memFree=1812816/2059040 swapFree=4192956/4192956
[pid=21037] ppid=21035 vsize=8700 CPUtime=0
/proc/21037/stat : 21037 (run) S 21035 21037 20235 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 12274859 8908800 244 1992294400 4194304 4922060 140733579576144 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21037/statm: 2175 244 204 178 0 68 0
[pid=21038] ppid=21037 vsize=40452 CPUtime=1800.07
/proc/21038/stat : 21038 (PB-wave) R 21037 21037 20235 0 -1 4202496 1373 0 0 0 179995 12 0 0 25 0 1 0 12274860 41422848 1303 1992294400 134512640 135071400 4287258160 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21038/statm: 10113 1303 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1799.95
CPU system time (s): 0.12698
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1747
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= 4
involuntary context switches= 8826

runsolver used 3.97839 second user time and 9.2136 second system time

The end

Launcher Data

Begin job on node035 at 2010-07-06 20:23:59
IDJOB=2685378
IDBENCH=75654
IDSOLVER=1171
FILE ID=node035/2685378-1278440639
PBS_JOBID= 11233486
Free space on /tmp= 62492 MiB

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

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

MD5SUM BENCH= 899af7013bffd830ee31db3c8b2bc82e
RANDOM SEED=880841613

node035.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.212
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.42
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.212
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1822512 kB
Buffers:         14584 kB
Cached:          86440 kB
SwapCached:          0 kB
Active:          58076 kB
Inactive:       103304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1822512 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1988 kB
Writeback:           0 kB
AnonPages:       60356 kB
Mapped:          14500 kB
Slab:            53180 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178932 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= 62488 MiB
End job on node035 at 2010-07-06 20:54:00