Trace number 2669869

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.09 1800.61

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
MD5SUMe5d29c8d327340997e74cb5790fdc500
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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.028994
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2355
Total number of constraints6744
Number of constraints which are clauses6568
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints176
Minimum length of a constraint1
Maximum length of a constraint9
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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.02	c PB-wave - v2
0.00/0.02	c command line = ./PB-wave
0.00/0.02	c seed = 96998956
0.00/0.02	c cutoff = 1000000
0.00/0.02	c tries = 1000000
0.00/0.02	c heuristic = c best, noise 50 / 100
0.00/0.02	#var 2355 #con 6744
0.00/0.02	mode is SAT
0.00/0.02	c tail starts after flip = 7065
0.00/0.02	c numatom = 2355, numclause = 6744, numliterals = 16840
0.00/0.02	c wff read in
0.00/0.02	c 
0.00/0.02	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.02	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.02	c       this      this      this      this      this      this   success   success       until         std
0.00/0.02	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.02	c
1.29/1.33	c        51       134    116.93     21.02      5.56   1000000         0
2.59/2.64	c        53       112    118.22     20.43      5.79   1000000         0
3.89/3.94	c        52       114    116.09     20.82      5.58   1000000         0
5.19/5.25	c        50       117    113.34     20.36      5.57   1000000         0
6.49/6.57	c        50       104    113.98     22.53      5.06   1000000         0
7.79/7.87	c        52       124    115.45     19.91      5.80   1000000         0
9.09/9.19	c        55       101    116.98     22.27      5.25   1000000         0
10.39/10.50	c        44       102    115.88     21.14      5.48   1000000         0
11.79/11.81	c        51       107    114.07     21.88      5.21   1000000         0
13.09/13.11	c        51       118    117.33     22.50      5.21   1000000         0
14.39/14.43	c        45       145    116.42     24.59      4.73   1000000         0
15.68/15.73	c        45       139    115.26     20.33      5.67   1000000         0
16.98/17.04	c        49       121    116.84     21.54      5.42   1000000         0
18.28/18.35	c        52       133    118.12     20.91      5.65   1000000         0
19.58/19.66	c        55       115    117.05     19.83      5.90   1000000         0
20.89/20.98	c        51       103    113.41     20.49      5.53   1000000         0
22.18/22.28	c        55        88    116.65     22.34      5.22   1000000         0
23.48/23.59	c        49       130    116.13     22.51      5.16   1000000         0
24.88/24.91	c        52        84    117.71     22.39      5.26   1000000         0
26.18/26.22	c        51       167    115.26     21.05      5.48   1000000         0
27.49/27.54	c        56       118    117.19     20.39      5.75   1000000         0
28.78/28.85	c        47       107    116.34     21.03      5.53   1000000         0
30.08/30.16	c        52       105    117.27     21.14      5.55   1000000         0
31.38/31.47	c        50       141    115.33     21.98      5.25   1000000         0
32.68/32.79	c        50       131    116.58     21.01      5.55   1000000         0
34.08/34.10	c        51       120    116.95     21.85      5.35   1000000         0
35.38/35.41	c        55       125    120.79     23.37      5.17   1000000         0
36.68/36.72	c        41       119    113.16     21.23      5.33   1000000         0
37.98/38.03	c        57       104    117.12     22.16      5.29   1000000         0
39.28/39.34	c        44       101    112.78     20.00      5.64   1000000         0
40.58/40.65	c        46       136    113.49     21.31      5.33   1000000         0
41.88/41.96	c        49        98    115.77     22.37      5.18   1000000         0
43.18/43.28	c        50       107    114.44     21.42      5.34   1000000         0
44.58/44.60	c        57       179    116.57     19.43      6.00   1000000         0
45.87/45.91	c        56       116    114.50     19.39      5.90   1000000         0
47.17/47.22	c        53       102    114.91     20.56      5.59   1000000         0
48.48/48.53	c        52       114    115.33     21.30      5.41   1000000         0
49.77/49.85	c        53       110    116.37     22.21      5.24   1000000         0
51.07/51.15	c        45       105    113.71     20.26      5.61   1000000         0
52.37/52.46	c        57       115    115.74     21.92      5.28   1000000         0
53.67/53.77	c        53       112    116.39     22.46      5.18   1000000         0
54.98/55.08	c        57       141    118.86     21.88      5.43   1000000         0
56.27/56.38	c        52        88    119.28     20.78      5.74   1000000         0
57.57/57.69	c        48       118    119.45     22.01      5.43   1000000         0
58.97/59.00	c        54       124    118.89     22.80      5.22   1000000         0
60.27/60.32	c        49       104    111.95     21.44      5.22   1000000         0
61.58/61.63	c        51       111    116.92     21.69      5.39   1000000         0
62.87/62.94	c        51       115    114.31     20.55      5.56   1000000         0
64.17/64.25	c        56        96    116.68     22.35      5.22   1000000         0
65.47/65.56	c        49       138    114.43     20.63      5.55   1000000         0
66.77/66.87	c        54       104    116.44     22.12      5.26   1000000         0
68.07/68.18	c        53       125    114.57     21.96      5.22   1000000         0
69.37/69.49	c        48       141    118.70     20.29      5.85   1000000         0
70.77/70.81	c        49       139    118.44     22.48      5.27   1000000         0
72.07/72.12	c        55       123    116.97     20.48      5.71   1000000         0
73.37/73.43	c        56       133    115.12     20.71      5.56   1000000         0
74.67/74.74	c        57       122    117.16     20.68      5.67   1000000         0
75.97/76.06	c        52        99    115.35     23.06      5.00   1000000         0
77.27/77.37	c        47       103    117.15     20.58      5.69   1000000         0
78.57/78.68	c        48        94    114.72     21.15      5.42   1000000         0
79.96/80.00	c        48       121    115.73     21.64      5.35   1000000         0
81.26/81.31	c        48       132    116.71     22.93      5.09   1000000         0
82.57/82.63	c        50       117    117.69     22.48      5.24   1000000         0
83.86/83.93	c        53       122    117.46     22.57      5.21   1000000         0
85.16/85.24	c        44       104    117.27     21.19      5.53   1000000         0
86.46/86.56	c        49        89    114.07     21.03      5.42   1000000         0
87.76/87.86	c        50        84    115.64     20.99      5.51   1000000         0
89.07/89.18	c        53       100    116.21     23.11      5.03   1000000         0
90.36/90.49	c        47       115    115.00     22.34      5.15   1000000         0
91.76/91.80	c        55       107    120.00     22.26      5.39   1000000         0
93.06/93.11	c        53       108    118.34     22.42      5.28   1000000         0
94.36/94.42	c        59       111    117.78     21.11      5.58   1000000         0
95.67/95.73	c        57       131    118.81     21.61      5.50   1000000         0
96.96/97.03	c        57       117    118.66     19.95      5.95   1000000         0
98.26/98.35	c        52       127    116.92     21.97      5.32   1000000         0
99.56/99.65	c        50        90    118.67     22.28      5.33   1000000         0
100.86/100.96	c        54       124    115.95     21.58      5.37   1000000         0
102.16/102.27	c        55        90    114.85     20.41      5.63   1000000         0
103.47/103.58	c        52       107    114.22     20.60      5.54   1000000         0
104.76/104.89	c        50       114    117.50     24.18      4.86   1000000         0
106.15/106.21	c        47        89    114.70     20.52      5.59   1000000         0
107.45/107.52	c        54       110    113.05     20.49      5.52   1000000         0
108.75/108.83	c        50       156    115.78     20.95      5.53   1000000         0
110.06/110.15	c        55       129    115.53     21.75      5.31   1000000         0
111.35/111.45	c        46       108    112.37     20.34      5.53   1000000         0
112.65/112.76	c        56        85    114.88     20.56      5.59   1000000         0
113.95/114.08	c        46       124    113.40     21.23      5.34   1000000         0
115.25/115.39	c        55       104    119.00     22.07      5.39   1000000         0
116.66/116.71	c        44       143    116.69     21.73      5.37   1000000         0
117.95/118.03	c        50       119    117.23     22.03      5.32   1000000         0
119.25/119.33	c        53       135    117.62     20.64      5.70   1000000         0
120.55/120.64	c        52       124    117.46     20.77      5.66   1000000         0
121.85/121.95	c        54        99    116.82     20.42      5.72   1000000         0
123.16/123.27	c        52        99    115.03     18.91      6.08   1000000         0
124.45/124.57	c        47       112    114.08     19.32      5.90   1000000         0
125.75/125.88	c        52       136    115.91     22.28      5.20   1000000         0
127.15/127.20	c        54       184    119.20     20.84      5.72   1000000         0
128.45/128.51	c        42       104    117.52     21.03      5.59   1000000         0
129.76/129.82	c        57       127    116.31     20.66      5.63   1000000         0
131.05/131.13	c        50        71    114.66     21.30      5.38   1000000         0
132.35/132.44	c        51       124    115.19     21.48      5.36   1000000         0
133.65/133.75	c        39        79    114.34     23.09      4.95   1000000         0
134.95/135.06	c        46        99    117.86     21.08      5.59   1000000         0
136.25/136.38	c        55       101    114.52     20.16      5.68   1000000         0
137.56/137.69	c        38        94    115.67     20.92      5.53   1000000         0
138.95/139.01	c        54       103    113.97     21.11      5.40   1000000         0
140.25/140.32	c        49       129    116.01     21.25      5.46   1000000         0
141.55/141.62	c        52       128    120.09     21.08      5.70   1000000         0
142.85/142.94	c        46       104    115.49     23.14      4.99   1000000         0
144.15/144.25	c        57       127    119.76     21.35      5.61   1000000         0
145.45/145.56	c        48       119    116.51     20.28      5.74   1000000         0
146.74/146.87	c        51        90    116.44     22.65      5.14   1000000         0
148.04/148.18	c        58       123    119.37     20.88      5.72   1000000         0
149.34/149.49	c        50       123    115.18     20.23      5.69   1000000         0
150.65/150.80	c        37       107    113.73     19.52      5.83   1000000         0
152.04/152.11	c        46       130    114.50     20.39      5.62   1000000         0
153.34/153.41	c        56        90    116.39     21.85      5.33   1000000         0
154.64/154.72	c        53        75    115.65     19.92      5.81   1000000         0
155.94/156.04	c        49       142    118.56     23.69      5.00   1000000         0
157.25/157.34	c        53       121    118.13     20.72      5.70   1000000         0
158.54/158.66	c        55       155    115.28     21.40      5.39   1000000         0
159.84/159.96	c        53       131    116.25     20.82      5.58   1000000         0
161.14/161.27	c        50        99    117.23     21.40      5.48   1000000         0
162.44/162.58	c        53       117    115.47     21.75      5.31   1000000         0
163.74/163.88	c        54       149    116.50     20.58      5.66   1000000         0
165.05/165.19	c        50       103    117.95     22.97      5.13   1000000         0
166.44/166.50	c        57       129    116.82     21.40      5.46   1000000         0
167.74/167.81	c        52       124    114.63     19.74      5.81   1000000         0
169.04/169.11	c        60       145    120.26     21.02      5.72   1000000         0
170.34/170.42	c        52       156    116.63     23.14      5.04   1000000         0
171.64/171.73	c        52       139    117.51     21.39      5.49   1000000         0
172.94/173.05	c        52        95    118.98     22.29      5.34   1000000         0
174.24/174.35	c        45        64    115.48     21.82      5.29   1000000         0
175.54/175.67	c        53       132    118.35     24.66      4.80   1000000         0
176.84/176.98	c        48       104    115.87     21.75      5.33   1000000         0
178.14/178.29	c        57       107    116.84     19.50      5.99   1000000         0
179.53/179.60	c        45       100    115.65     21.52      5.37   1000000         0
180.83/180.92	c        44        89    117.62     22.67      5.19   1000000         0
182.13/182.23	c        52       130    115.04     21.70      5.30   1000000         0
183.43/183.54	c        42       124    112.64     20.79      5.42   1000000         0
184.74/184.86	c        53       135    114.74     21.28      5.39   1000000         0
186.03/186.17	c        52       126    113.37     19.92      5.69   1000000         0
187.33/187.48	c        55       128    116.66     20.54      5.68   1000000         0
188.63/188.79	c        55       123    116.84     21.33      5.48   1000000         0
190.03/190.10	c        54       135    117.33     20.71      5.67   1000000         0
191.34/191.41	c        47       106    115.00     20.91      5.50   1000000         0
192.63/192.72	c        46        98    112.65     20.51      5.49   1000000         0
193.93/194.04	c        52       101    115.24     22.09      5.22   1000000         0
195.23/195.35	c        54        95    114.02     19.31      5.91   1000000         0
196.53/196.67	c        54        82    116.68     23.18      5.03   1000000         0
197.83/197.98	c        44       112    118.59     22.06      5.38   1000000         0
199.14/199.29	c        51       116    116.08     21.02      5.52   1000000         0
200.53/200.60	c        54       126    117.95     21.11      5.59   1000000         0
201.83/201.91	c        52       104    117.22     21.64      5.42   1000000         0
203.13/203.21	c        51       142    117.36     22.04      5.32   1000000         0
204.43/204.52	c        47       121    115.95     20.87      5.55   1000000         0
205.73/205.84	c        41       135    115.77     21.73      5.33   1000000         0
207.03/207.15	c        52       116    117.56     21.73      5.41   1000000         0
208.33/208.45	c        42       101    116.21     22.29      5.21   1000000         0
209.63/209.76	c        54        83    117.64     22.21      5.30   1000000         0
210.93/211.07	c        56       109    118.14     22.55      5.24   1000000         0
212.23/212.39	c        50       114    117.00     22.03      5.31   1000000         0
213.63/213.70	c        55       130    117.41     22.40      5.24   1000000         0
214.93/215.01	c        55       109    115.40     20.74      5.56   1000000         0
216.22/216.32	c        51       146    115.98     22.74      5.10   1000000         0
217.52/217.63	c        52       151    117.40     20.75      5.66   1000000         0
218.83/218.95	c        51       126    114.87     22.34      5.14   1000000         0
220.12/220.26	c        50       107    116.68     23.64      4.94   1000000         0
221.42/221.58	c        46        94    114.84     21.25      5.40   1000000         0
222.72/222.89	c        42       116    114.74     20.07      5.72   1000000         0
224.12/224.20	c        48       118    117.59     20.84      5.64   1000000         0
225.43/225.53	c        46       106    117.08     19.98      5.86   1000000         0
226.72/226.84	c        48       117    117.88     22.33      5.28   1000000         0
228.02/228.16	c        48       100    115.12     21.83      5.27   1000000         0
229.32/229.46	c        55       114    119.03     22.36      5.32   1000000         0
230.62/230.77	c        51        87    117.52     22.11      5.32   1000000         0
231.92/232.09	c        51        99    115.31     20.82      5.54   1000000         0
233.32/233.40	c        56       149    119.00     21.12      5.63   1000000         0
234.62/234.72	c        52       108    115.73     20.34      5.69   1000000         0
235.92/236.03	c        52       101    114.52     23.76      4.82   1000000         0
237.22/237.34	c        52       103    115.33     19.85      5.81   1000000         0
238.52/238.65	c        44        92    117.94     22.42      5.26   1000000         0
239.82/239.96	c        45        91    118.33     21.82      5.42   1000000         0
241.12/241.26	c        53       119    117.26     20.71      5.66   1000000         0
242.42/242.58	c        49       143    116.89     20.44      5.72   1000000         0
243.71/243.89	c        52       100    117.17     20.27      5.78   1000000         0
245.11/245.20	c        52       124    118.35     21.26      5.57   1000000         0
246.42/246.51	c        58       154    117.83     22.00      5.36   1000000         0
247.71/247.82	c        57        90    117.42     21.50      5.46   1000000         0
249.01/249.13	c        52       109    114.69     21.00      5.46   1000000         0
250.31/250.44	c        50       107    120.20     21.66      5.55   1000000         0
251.61/251.75	c        42       117    115.42     22.26      5.18   1000000         0
252.92/253.07	c        51       154    116.46     23.24      5.01   1000000         0
254.21/254.38	c        49        96    115.40     20.39      5.66   1000000         0
255.51/255.69	c        54       101    116.16     22.91      5.07   1000000         0
256.91/257.00	c        44       118    119.07     21.60      5.51   1000000         0
258.21/258.32	c        53       106    117.11     20.93      5.59   1000000         0
259.52/259.63	c        45        98    117.70     23.51      5.01   1000000         0
260.81/260.93	c        50       133    119.24     21.75      5.48   1000000         0
262.11/262.24	c        50       142    117.21     21.86      5.36   1000000         0
263.41/263.55	c        44       112    112.88     21.59      5.23   1000000         0
264.71/264.86	c        50       133    117.00     20.52      5.70   1000000         0
266.01/266.18	c        54       124    115.16     22.68      5.08   1000000         0
267.32/267.48	c        55       153    116.81     21.59      5.41   1000000         0
268.71/268.80	c        42       115    116.71     21.89      5.33   1000000         0
270.01/270.12	c        44       121    114.37     20.08      5.70   1000000         0
271.31/271.43	c        47       109    117.04     20.07      5.83   1000000         0
272.61/272.74	c        43       128    117.59     21.42      5.49   1000000         0
273.91/274.04	c        49       119    117.80     21.96      5.37   1000000         0
275.21/275.35	c        40       120    113.48     20.16      5.63   1000000         0
276.51/276.67	c        51       126    115.31     21.00      5.49   1000000         0
277.81/277.98	c        49       106    119.27     20.62      5.79   1000000         0
279.11/279.28	c        50       101    114.68     20.97      5.47   1000000         0
280.41/280.59	c        52       120    116.30     21.43      5.43   1000000         0
281.81/281.90	c        52        90    115.08     21.50      5.35   1000000         0
283.10/283.22	c        49       121    116.61     20.70      5.63   1000000         0
284.40/284.52	c        49        97    115.99     20.80      5.58   1000000         0
285.70/285.83	c        50       122    118.90     21.25      5.60   1000000         0
287.01/287.15	c        48       126    114.20     21.33      5.35   1000000         0
288.30/288.45	c        60       125    118.18     22.13      5.34   1000000         0
289.60/289.76	c        48       127    118.55     22.07      5.37   1000000         0
290.90/291.07	c        47       134    114.08     21.40      5.33   1000000         0
292.20/292.38	c        52        96    114.47     21.78      5.26   1000000         0
293.50/293.68	c        54       123    116.50     21.47      5.43   1000000         0
294.81/294.99	c        50       132    120.59     22.10      5.46   1000000         0
296.20/296.30	c        54       130    119.58     21.80      5.49   1000000         0
297.50/297.61	c        52        99    117.95     22.14      5.33   1000000         0
298.80/298.91	c        53       101    118.27     19.84      5.96   1000000         0
300.10/300.23	c        47       132    116.12     22.06      5.26   1000000         0
301.41/301.54	c        52       108    118.43     23.20      5.11   1000000         0
302.70/302.86	c        56        98    117.81     21.57      5.46   1000000         0
304.00/304.17	c        54       111    114.37     19.91      5.74   1000000         0
305.30/305.48	c        56       131    118.72     22.62      5.25   1000000         0
306.70/306.80	c        55       108    116.37     21.21      5.49   1000000         0
308.00/308.11	c        46       115    114.17     20.86      5.47   1000000         0
309.30/309.43	c        46        99    120.46     22.99      5.24   1000000         0
310.59/310.73	c        53       122    115.68     21.28      5.44   1000000         0
311.89/312.04	c        56       115    117.95     22.22      5.31   1000000         0
313.19/313.35	c        49       122    116.66     21.92      5.32   1000000         0
314.50/314.67	c        55       112    118.22     21.94      5.39   1000000         0
315.79/315.98	c        45        83    117.34     22.87      5.13   1000000         0
317.09/317.29	c        51       108    120.17     21.21      5.66   1000000         0
318.39/318.60	c        55       137    117.35     19.99      5.87   1000000         0
319.79/319.92	c        47       130    113.44     23.96      4.73   1000000         0
321.10/321.23	c        46       111    116.90     21.85      5.35   1000000         0
322.39/322.54	c        44       117    114.86     20.12      5.71   1000000         0
323.69/323.85	c        56        89    117.16     20.76      5.64   1000000         0
324.99/325.16	c        40        92    119.25     22.70      5.25   1000000         0
326.29/326.47	c        56       122    119.61     22.43      5.33   1000000         0
327.59/327.79	c        55       107    115.77     20.94      5.53   1000000         0
328.99/329.10	c        49       101    116.67     22.35      5.22   1000000         0
330.29/330.41	c        46        90    113.80     22.33      5.10   1000000         0
331.59/331.73	c        55       105    114.17     20.71      5.51   1000000         0
332.89/333.03	c        48       111    114.04     21.10      5.40   1000000         0
334.19/334.34	c        48       133    115.66     21.51      5.38   1000000         0
335.50/335.64	c        47       135    117.86     21.32      5.53   1000000         0
336.79/336.96	c        54       115    117.00     23.18      5.05   1000000         0
338.09/338.27	c        52       107    118.12     21.19      5.57   1000000         0
339.39/339.58	c        50       124    116.32     19.53      5.96   1000000         0
340.79/340.90	c        54       123    117.63     21.53      5.46   1000000         0
342.09/342.21	c        53       119    117.62     20.46      5.75   1000000         0
343.39/343.52	c        48       139    114.96     21.46      5.36   1000000         0
344.69/344.83	c        49       125    116.47     20.78      5.60   1000000         0
345.98/346.15	c        48        89    114.87     21.91      5.24   1000000         0
347.28/347.46	c        47       115    114.79     22.86      5.02   1000000         0
348.59/348.76	c        52       130    114.17     21.99      5.19   1000000         0
349.88/350.08	c        49       123    117.14     20.98      5.58   1000000         0
351.18/351.39	c        52       119    115.83     21.21      5.46   1000000         0
352.58/352.71	c        47       121    115.12     21.46      5.36   1000000         0
353.88/354.02	c        56       123    118.17     21.36      5.53   1000000         0
355.19/355.33	c        46       143    117.24     21.40      5.48   1000000         0
356.48/356.64	c        47       131    118.43     20.96      5.65   1000000         0
357.78/357.95	c        48        94    112.24     20.78      5.40   1000000         0
359.08/359.26	c        48       103    116.36     21.37      5.44   1000000         0
360.38/360.57	c        55       142    118.18     21.51      5.50   1000000         0
361.68/361.89	c        40       160    114.25     21.76      5.25   1000000         0
363.08/363.20	c        50       120    115.88     20.45      5.67   1000000         0
364.38/364.51	c        51       100    114.84     21.95      5.23   1000000         0
365.68/365.82	c        53       103    116.15     21.10      5.50   1000000         0
366.98/367.15	c        48       102    114.10     20.40      5.59   1000000         0
368.28/368.46	c        51       102    117.53     21.25      5.53   1000000         0
369.59/369.76	c        51        92    116.95     21.64      5.40   1000000         0
370.88/371.08	c        51       134    115.49     20.96      5.51   1000000         0
372.18/372.39	c        49        92    118.46     22.68      5.22   1000000         0
373.48/373.70	c        50       122    117.24     21.12      5.55   1000000         0
374.88/375.01	c        47        95    115.48     21.63      5.34   1000000         0
376.18/376.31	c        52       115    117.94     21.27      5.55   1000000         0
377.48/377.62	c        48       129    114.90     19.87      5.78   1000000         0
378.78/378.93	c        49       182    118.09     21.09      5.60   1000000         0
380.08/380.25	c        46       169    115.42     20.58      5.61   1000000         0
381.38/381.56	c        52       138    115.18     21.24      5.42   1000000         0
382.68/382.88	c        53       138    116.78     21.27      5.49   1000000         0
383.97/384.19	c        57        90    115.82     22.18      5.22   1000000         0
385.37/385.50	c        48        75    116.66     21.97      5.31   1000000         0
386.67/386.82	c        57       115    118.97     21.15      5.62   1000000         0
387.97/388.14	c        45       102    116.20     22.64      5.13   1000000         0
389.28/389.45	c        53       137    115.85     20.60      5.62   1000000         0
390.57/390.75	c        51       123    115.98     21.31      5.44   1000000         0
391.87/392.06	c        55       117    116.23     22.39      5.19   1000000         0
393.17/393.37	c        56       133    117.98     22.00      5.36   1000000         0
394.47/394.68	c        52       185    118.10     20.50      5.76   1000000         0
395.77/395.99	c        52       115    117.88     21.82      5.40   1000000         0
397.17/397.30	c        53       118    114.84     21.21      5.41   1000000         0
398.47/398.61	c        52       128    116.56     22.45      5.19   1000000         0
399.77/399.93	c        50       136    114.83     20.56      5.58   1000000         0
401.07/401.25	c        44        88    113.78     21.56      5.28   1000000         0
402.37/402.56	c        52        79    117.93     22.28      5.29   1000000         0
403.68/403.87	c        51       112    115.19     20.39      5.65   1000000         0
404.97/405.18	c        47        82    117.34     20.96      5.60   1000000         0
406.37/406.50	c        58        79    118.40     21.94      5.40   1000000         0
407.67/407.80	c        54       100    119.93     20.37      5.89   1000000         0
408.97/409.12	c        51       128    115.25     20.60      5.59   1000000         0
410.27/410.43	c        48       154    116.98     20.17      5.80   1000000         0
411.57/411.73	c        49       111    118.58     21.30      5.57   1000000         0
412.87/413.05	c        53       145    116.53     21.67      5.38   1000000         0
414.17/414.36	c        50       103    113.01     23.87      4.74   1000000         0
415.47/415.67	c        50       157    115.82     22.06      5.25   1000000         0
416.77/416.98	c        44       103    114.95     21.21      5.42   1000000         0
418.07/418.30	c        51       136    115.69     21.35      5.42   1000000         0
419.47/419.62	c        52        92    114.49     20.64      5.55   1000000         0
420.77/420.93	c        51       122    115.00     21.71      5.30   1000000         0
422.06/422.24	c        54       115    115.44     22.60      5.11   1000000         0
423.37/423.56	c        47       142    116.13     20.31      5.72   1000000         0
424.66/424.87	c        52       119    118.03     19.78      5.97   1000000         0
425.96/426.19	c        53        83    116.59     22.09      5.28   1000000         0
427.36/427.50	c        56       141    115.59     21.89      5.28   1000000         0
428.66/428.82	c        41       131    116.55     21.96      5.31   1000000         0
429.97/430.13	c        45       120    116.18     19.84      5.86   1000000         0
431.26/431.45	c        50       109    117.35     20.80      5.64   1000000         0
432.56/432.76	c        47       133    115.96     23.43      4.95   1000000         0
433.86/434.06	c        46       110    117.20     21.85      5.36   1000000         0
435.16/435.38	c        52       163    115.10     22.48      5.12   1000000         0
436.46/436.69	c        53       138    116.30     23.26      5.00   1000000         0
437.86/438.02	c        53       125    114.84     21.30      5.39   1000000         0
439.16/439.34	c        42       134    117.40     21.32      5.51   1000000         0
440.46/440.64	c        47       156    117.51     22.02      5.34   1000000         0
441.76/441.95	c        53       108    118.06     21.36      5.53   1000000         0
443.06/443.26	c        46       101    115.64     20.45      5.65   1000000         0
444.37/444.57	c        50       112    118.14     20.75      5.69   1000000         0
445.66/445.88	c        43       164    114.40     20.88      5.48   1000000         0
446.96/447.19	c        38       127    116.88     22.02      5.31   1000000         0
448.36/448.50	c        58        89    118.01     21.22      5.56   1000000         0
449.66/449.81	c        55        95    117.26     21.25      5.52   1000000         0
450.96/451.12	c        47       118    115.94     20.54      5.65   1000000         0
452.26/452.43	c        44        84    116.11     21.65      5.36   1000000         0
453.56/453.75	c        48       119    114.79     23.14      4.96   1000000         0
454.85/455.06	c        54       105    116.77     21.56      5.42   1000000         0
456.15/456.37	c        48       137    119.56     24.26      4.93   1000000         0
457.46/457.69	c        54       111    118.44     21.58      5.49   1000000         0
458.85/459.00	c        50       103    116.20     20.42      5.69   1000000         0
460.15/460.31	c        53       114    116.70     20.84      5.60   1000000         0
461.45/461.62	c        42       128    115.86     22.84      5.07   1000000         0
462.75/462.92	c        54       101    117.32     23.61      4.97   1000000         0
464.06/464.23	c        54       135    117.44     21.96      5.35   1000000         0
465.35/465.55	c        52       106    116.30     19.73      5.90   1000000         0
466.65/466.86	c        49       154    117.78     22.05      5.34   1000000         0
467.95/468.17	c        53       194    116.79     21.52      5.43   1000000         0
469.25/469.47	c        50       161    114.79     20.65      5.56   1000000         0
470.55/470.79	c        47       119    116.75     20.43      5.71   1000000         0
471.95/472.10	c        56       100    117.99     20.54      5.74   1000000         0
473.25/473.41	c        52       129    117.63     21.56      5.46   1000000         0
474.55/474.73	c        54       105    118.10     19.92      5.93   1000000         0
475.85/476.04	c        52       109    115.29     21.76      5.30   1000000         0
477.15/477.35	c        53       124    118.03     19.53      6.04   1000000         0
478.46/478.68	c        51       132    116.63     21.26      5.49   1000000         0
479.75/479.99	c        52       150    115.29     20.09      5.74   1000000         0
481.05/481.30	c        48       122    117.84     22.15      5.32   1000000         0
482.45/482.61	c        55       113    117.18     20.49      5.72   1000000         0
483.75/483.93	c        48       103    116.04     20.34      5.70   1000000         0
485.05/485.24	c        54       113    117.94     20.56      5.74   1000000         0
486.35/486.54	c        55       136    116.31     21.31      5.46   1000000         0
487.65/487.85	c        54       113    117.24     22.44      5.22   1000000         0
488.95/489.17	c        53       125    118.28     20.25      5.84   1000000         0
490.24/490.48	c        48       132    117.29     22.11      5.31   1000000         0
491.65/491.81	c        44       146    114.65     20.10      5.71   1000000         0
492.94/493.12	c        51       110    118.05     21.32      5.54   1000000         0
494.24/494.42	c        55       119    116.46     21.13      5.51   1000000         0
495.54/495.73	c        41       116    115.18     20.66      5.57   1000000         0
496.84/497.05	c        54       111    115.28     20.98      5.49   1000000         0
498.15/498.37	c        56       141    115.01     19.76      5.82   1000000         0
499.44/499.68	c        53       132    116.32     19.78      5.88   1000000         0
500.74/500.99	c        46        97    113.79     20.11      5.66   1000000         0
502.14/502.31	c        48        93    114.45     20.62      5.55   1000000         0
503.44/503.61	c        48       124    115.94     19.96      5.81   1000000         0
504.75/504.91	c        49       107    117.03     20.76      5.64   1000000         0
506.04/506.22	c        51        89    117.64     22.81      5.16   1000000         0
507.34/507.54	c        45        97    114.48     19.40      5.90   1000000         0
508.64/508.85	c        45       132    115.88     21.77      5.32   1000000         0
509.94/510.16	c        50       134    117.92     21.01      5.61   1000000         0
511.24/511.47	c        51       119    116.11     20.74      5.60   1000000         0
512.55/512.78	c        53        94    117.40     21.13      5.56   1000000         0
513.84/514.09	c        57       106    116.26     21.33      5.45   1000000         0
515.24/515.40	c        48       148    114.18     21.28      5.37   1000000         0
516.54/516.71	c        51        76    117.74     19.20      6.13   1000000         0
517.84/518.02	c        51       153    117.18     20.96      5.59   1000000         0
519.14/519.34	c        45        96    115.32     20.98      5.50   1000000         0
520.44/520.65	c        53       125    118.00     22.96      5.14   1000000         0
521.74/521.96	c        51       144    117.87     21.39      5.51   1000000         0
523.04/523.27	c        42       123    116.28     21.78      5.34   1000000         0
524.33/524.58	c        51       124    115.81     22.37      5.18   1000000         0
525.64/525.88	c        46       147    117.34     20.59      5.70   1000000         0
526.93/527.18	c        45       132    116.04     22.37      5.19   1000000         0
528.23/528.49	c        53       115    117.19     20.77      5.64   1000000         0
529.63/529.80	c        53        96    114.95     21.15      5.43   1000000         0
530.93/531.11	c        51       146    115.54     20.23      5.71   1000000         0
532.24/532.43	c        51       118    113.81     20.16      5.65   1000000         0
533.53/533.74	c        54       112    115.21     20.90      5.51   1000000         0
534.83/535.06	c        50       117    120.00     22.00      5.45   1000000         0
536.13/536.37	c        51       123    117.11     22.20      5.28   1000000         0
537.43/537.68	c        52       108    117.03     21.81      5.37   1000000         0
538.73/538.99	c        52        98    116.07     21.31      5.45   1000000         0
540.13/540.31	c        47       109    113.99     22.50      5.07   1000000         0
541.43/541.62	c        53        98    116.17     19.93      5.83   1000000         0
542.73/542.93	c        50       117    116.31     20.94      5.56   1000000         0
544.03/544.24	c        51       136    114.15     22.27      5.13   1000000         0
545.33/545.56	c        54       104    113.78     21.23      5.36   1000000         0
546.64/546.87	c        55        91    116.42     23.83      4.89   1000000         0
547.93/548.17	c        50       115    115.25     21.05      5.47   1000000         0
549.23/549.48	c        50       130    118.27     20.98      5.64   1000000         0
550.53/550.79	c        51        77    112.61     20.47      5.50   1000000         0
551.83/552.10	c        53        93    115.38     21.01      5.49   1000000         0
553.23/553.41	c        51        79    117.50     22.20      5.29   1000000         0
554.53/554.72	c        53       132    118.16     21.86      5.40   1000000         0
555.83/556.04	c        48       111    113.11     19.79      5.71   1000000         0
557.13/557.35	c        49       100    119.07     22.53      5.29   1000000         0
558.43/558.66	c        50       130    116.06     21.46      5.41   1000000         0
559.73/559.98	c        53       101    114.87     23.31      4.93   1000000         0
561.02/561.29	c        46       101    117.22     20.23      5.79   1000000         0
562.32/562.60	c        46       128    115.42     21.02      5.49   1000000         0
563.72/563.91	c        54       120    114.90     19.97      5.75   1000000         0
565.02/565.22	c        52        89    115.00     21.19      5.43   1000000         0
566.33/566.53	c        53       104    116.16     21.03      5.52   1000000         0
567.62/567.84	c        46       112    115.98     21.13      5.49   1000000         0
568.92/569.16	c        50       135    115.77     20.16      5.74   1000000         0
570.22/570.46	c        47       161    118.27     21.06      5.62   1000000         0
571.52/571.77	c        51       150    114.31     21.91      5.22   1000000         0
572.82/573.09	c        50       125    118.44     22.34      5.30   1000000         0
574.22/574.40	c        56       102    116.11     20.37      5.70   1000000         0
575.52/575.72	c        51        89    116.95     22.16      5.28   1000000         0
576.82/577.03	c        51       113    117.19     21.14      5.54   1000000         0
578.12/578.34	c        51        86    116.33     21.34      5.45   1000000         0
579.42/579.64	c        53       132    114.74     21.44      5.35   1000000         0
580.73/580.96	c        50       106    115.97     22.56      5.14   1000000         0
582.02/582.28	c        51       131    116.94     21.33      5.48   1000000         0
583.32/583.59	c        51       148    114.46     20.49      5.59   1000000         0
584.62/584.89	c        49       104    114.18     21.64      5.28   1000000         0
586.02/586.21	c        52        98    116.59     18.89      6.17   1000000         0
587.32/587.52	c        54        96    115.56     21.57      5.36   1000000         0
588.62/588.83	c        46       121    117.47     21.89      5.37   1000000         0
589.92/590.14	c        48       120    120.06     22.81      5.26   1000000         0
591.22/591.45	c        59       124    117.37     19.43      6.04   1000000         0
592.51/592.76	c        52        98    117.11     21.84      5.36   1000000         0
593.82/594.07	c        47       112    114.53     20.51      5.58   1000000         0
595.12/595.38	c        55        91    119.87     22.27      5.38   1000000         0
596.42/596.69	c        52       124    114.41     22.43      5.10   1000000         0
597.72/597.99	c        53       120    116.47     20.60      5.65   1000000         0
599.01/599.30	c        48       108    118.44     23.18      5.11   1000000         0
600.42/600.61	c        51       112    118.30     21.67      5.46   1000000         0
601.71/601.91	c        51       123    116.32     19.99      5.82   1000000         0
603.01/603.22	c        57        72    116.05     20.02      5.80   1000000         0
604.31/604.53	c        53        81    114.63     20.92      5.48   1000000         0
605.61/605.84	c        52       119    114.86     19.83      5.79   1000000         0
606.91/607.15	c        50       116    115.09     21.50      5.35   1000000         0
608.22/608.47	c        51       130    114.75     23.23      4.94   1000000         0
609.51/609.79	c        51       111    116.74     22.99      5.08   1000000         0
610.81/611.09	c        51        99    117.29     21.56      5.44   1000000         0
612.11/612.39	c        46       125    118.35     23.36      5.07   1000000         0
613.51/613.70	c        41       115    117.64     21.71      5.42   1000000         0
614.82/615.02	c        52       104    116.07     21.66      5.36   1000000         0
616.11/616.33	c        53       126    118.75     23.35      5.09   1000000         0
617.41/617.63	c        49       129    116.20     21.51      5.40   1000000         0
618.71/618.94	c        41       135    116.37     21.35      5.45   1000000         0
620.01/620.26	c        43       121    116.62     23.82      4.90   1000000         0
621.32/621.56	c        48       114    117.58     21.76      5.40   1000000         0
622.61/622.87	c        52        92    114.88     21.82      5.26   1000000         0
623.91/624.19	c        55       126    117.06     20.11      5.82   1000000         0
625.31/625.51	c        50        86    116.87     21.56      5.42   1000000         0
626.61/626.82	c        47       133    116.39     19.67      5.92   1000000         0
627.91/628.14	c        51       139    118.59     21.07      5.63   1000000         0
629.21/629.45	c        51       140    116.44     19.72      5.90   1000000         0
630.51/630.77	c        52       135    118.56     21.03      5.64   1000000         0
631.80/632.08	c        43        95    116.56     22.10      5.27   1000000         0
633.10/633.38	c        48       107    117.13     21.62      5.42   1000000         0
634.40/634.70	c        43       137    115.60     21.99      5.26   1000000         0
635.80/636.00	c        48       127    114.53     21.09      5.43   1000000         0
637.10/637.32	c        46       115    119.20     21.47      5.55   1000000         0
638.40/638.62	c        53       107    118.29     21.81      5.42   1000000         0
639.70/639.93	c        57       101    120.74     21.50      5.62   1000000         0
641.00/641.25	c        54       118    117.51     20.56      5.71   1000000         0
642.31/642.56	c        46       117    117.24     21.54      5.44   1000000         0
643.60/643.88	c        52        89    116.63     21.48      5.43   1000000         0
644.90/645.19	c        48        82    117.06     21.50      5.45   1000000         0
646.30/646.50	c        46       143    113.48     20.94      5.42   1000000         0
647.60/647.81	c        52       116    118.48     19.44      6.09   1000000         0
648.91/649.13	c        46       105    116.21     22.03      5.28   1000000         0
650.20/650.44	c        48       153    115.33     21.98      5.25   1000000         0
651.50/651.75	c        52       118    114.60     21.52      5.32   1000000         0
652.80/653.06	c        50       100    114.61     20.05      5.72   1000000         0
654.10/654.38	c        48        88    116.89     22.35      5.23   1000000         0
655.41/655.69	c        54        88    116.34     20.85      5.58   1000000         0
656.80/657.00	c        52        92    115.53     22.41      5.16   1000000         0
658.10/658.31	c        53        89    118.22     21.81      5.42   1000000         0
659.40/659.62	c        44       121    115.01     22.61      5.09   1000000         0
660.70/660.93	c        51       113    118.51     21.29      5.57   1000000         0
662.00/662.23	c        53       117    114.74     21.70      5.29   1000000         0
663.30/663.55	c        46        96    112.92     20.16      5.60   1000000         0
664.60/664.86	c        43       142    119.33     21.67      5.51   1000000         0
665.90/666.18	c        55       109    118.60     23.10      5.13   1000000         0
667.20/667.49	c        50       113    114.63     21.12      5.43   1000000         0
668.50/668.79	c        42       112    118.62     22.23      5.34   1000000         0
669.89/670.10	c        52       116    114.69     22.09      5.19   1000000         0
671.19/671.41	c        53       136    118.42     22.45      5.28   1000000         0
672.49/672.72	c        54       116    118.07     21.07      5.60   1000000         0
673.79/674.04	c        54       116    114.51     20.88      5.48   1000000         0
675.09/675.34	c        52       120    115.76     20.11      5.76   1000000         0
676.40/676.65	c        49       126    115.02     21.16      5.44   1000000         0
677.69/677.96	c        56       127    117.63     23.88      4.93   1000000         0
678.99/679.26	c        56        87    116.33     20.77      5.60   1000000         0
680.29/680.58	c        40       118    116.96     21.87      5.35   1000000         0
681.59/681.89	c        55        89    117.61     20.39      5.77   1000000         0
682.90/683.20	c        55        98    118.02     23.43      5.04   1000000         0
684.29/684.52	c        53       119    115.25     20.87      5.52   1000000         0
685.59/685.83	c        56       144    116.95     20.83      5.61   1000000         0
686.89/687.13	c        46       107    117.35     21.91      5.36   1000000         0
688.19/688.44	c        40       111    113.08     21.59      5.24   1000000         0
689.50/689.75	c        40       112    115.28     21.88      5.27   1000000         0
690.79/691.06	c        42       113    119.68     21.92      5.46   1000000         0
692.09/692.37	c        57       145    118.86     19.84      5.99   1000000         0
693.39/693.67	c        54       116    118.22     20.16      5.87   1000000         0
694.69/694.98	c        52        84    117.48     20.37      5.77   1000000         0
695.99/696.29	c        53       133    114.96     22.63      5.08   1000000         0
697.29/697.60	c        56       125    114.48     20.78      5.51   1000000         0
698.69/698.90	c        49       114    114.87     22.13      5.19   1000000         0
699.99/700.22	c        57       130    116.52     20.51      5.68   1000000         0
701.29/701.53	c        47       100    118.34     21.10      5.61   1000000         0
702.59/702.84	c        53       125    115.36     19.05      6.06   1000000         0
703.89/704.15	c        47       117    114.40     20.53      5.57   1000000         0
705.18/705.46	c        49       131    114.11     20.12      5.67   1000000         0
706.48/706.78	c        57       109    117.74     23.10      5.10   1000000         0
707.78/708.09	c        59       106    117.37     21.29      5.51   1000000         0
709.18/709.40	c        55       119    115.19     20.64      5.58   1000000         0
710.49/710.71	c        53       109    117.67     22.12      5.32   1000000         0
711.78/712.02	c        47       107    113.91     19.76      5.76   1000000         0
713.08/713.33	c        52       119    116.56     21.53      5.41   1000000         0
714.38/714.65	c        46       121    112.50     20.37      5.52   1000000         0
715.68/715.96	c        53        99    118.33     21.09      5.61   1000000         0
716.99/717.27	c        53        90    116.15     22.47      5.17   1000000         0
718.28/718.59	c        42       100    116.22     20.71      5.61   1000000         0
719.68/719.90	c        51       197    117.16     22.44      5.22   1000000         0
720.98/721.21	c        48       147    119.04     22.11      5.38   1000000         0
722.28/722.52	c        55       126    115.15     22.76      5.06   1000000         0
723.59/723.83	c        47       120    116.86     23.36      5.00   1000000         0
724.88/725.14	c        44        92    116.75     23.06      5.06   1000000         0
726.18/726.47	c        43       114    115.07     21.81      5.28   1000000         0
727.48/727.78	c        45       121    117.34     21.82      5.38   1000000         0
728.78/729.09	c        52       132    120.92     20.94      5.77   1000000         0
730.18/730.41	c        53       140    116.78     21.16      5.52   1000000         0
731.48/731.72	c        54       131    116.09     20.58      5.64   1000000         0
732.78/733.03	c        39       119    118.03     23.33      5.06   1000000         0
734.08/734.34	c        55       132    120.06     22.13      5.43   1000000         0
735.38/735.66	c        51        96    117.74     21.80      5.40   1000000         0
736.68/736.97	c        51       150    116.10     22.69      5.12   1000000         0
737.98/738.28	c        56       127    119.66     22.45      5.33   1000000         0
739.28/739.59	c        53        96    114.38     20.86      5.48   1000000         0
740.68/740.90	c        52       141    117.50     21.83      5.38   1000000         0
741.98/742.22	c        53       100    115.96     20.60      5.63   1000000         0
743.28/743.52	c        53        86    117.15     20.62      5.68   1000000         0
744.58/744.84	c        51       103    113.12     20.51      5.51   1000000         0
745.87/746.15	c        49       110    116.49     21.61      5.39   1000000         0
747.17/747.47	c        48       107    118.02     22.24      5.31   1000000         0
748.47/748.78	c        49       123    118.11     20.49      5.76   1000000         0
749.77/750.09	c        53       109    120.22     21.87      5.50   1000000         0
751.08/751.40	c        50       120    115.59     20.99      5.51   1000000         0
752.47/752.71	c        40       126    113.52     21.65      5.24   1000000         0
753.77/754.02	c        54       111    115.89     22.59      5.13   1000000         0
755.07/755.33	c        54       103    119.68     21.48      5.57   1000000         0
756.37/756.64	c        59       101    116.61     22.39      5.21   1000000         0
757.68/757.94	c        48        99    116.09     24.06      4.82   1000000         0
758.97/759.25	c        54        90    115.82     21.06      5.50   1000000         0
760.27/760.56	c        55       117    115.38     19.11      6.04   1000000         0
761.57/761.86	c        46       109    117.35     22.14      5.30   1000000         0
762.87/763.17	c        55       120    117.69     21.85      5.39   1000000         0
764.17/764.47	c        55       102    116.34     20.71      5.62   1000000         0
765.48/765.78	c        52       110    118.48     22.37      5.30   1000000         0
766.77/767.09	c        52       120    116.44     21.44      5.43   1000000         0
768.17/768.40	c        53       109    115.71     21.75      5.32   1000000         0
769.47/769.71	c        57        77    117.05     22.58      5.18   1000000         0
770.77/771.03	c        46       133    116.13     21.54      5.39   1000000         0
772.07/772.34	c        47       108    117.85     19.29      6.11   1000000         0
773.37/773.65	c        47       122    115.53     20.40      5.66   1000000         0
774.67/774.97	c        52       120    118.17     22.98      5.14   1000000         0
775.97/776.28	c        47        95    116.50     21.57      5.40   1000000         0
777.36/777.60	c        56       123    115.35     20.72      5.57   1000000         0
778.57/778.90	c        56       110    116.82     22.40      5.21   1000000         0
779.96/780.21	c        49       115    114.66     18.66      6.14   1000000         0
781.26/781.52	c        44       110    112.83     20.97      5.38   1000000         0
782.56/782.83	c        49        99    116.10     20.48      5.67   1000000         0
783.86/784.14	c        51       110    114.93     21.35      5.38   1000000         0
785.17/785.45	c        54        96    117.28     20.47      5.73   1000000         0
786.46/786.76	c        47       125    118.01     21.01      5.62   1000000         0
787.76/788.08	c        50        96    116.23     21.25      5.47   1000000         0
789.16/789.40	c        50       114    117.32     19.43      6.04   1000000         0
790.46/790.71	c        57       142    117.49     21.77      5.40   1000000         0
791.77/792.02	c        52       109    113.19     20.51      5.52   1000000         0
793.06/793.35	c        52        86    114.91     19.62      5.86   1000000         0
794.36/794.66	c        51       110    116.94     21.25      5.50   1000000         0
795.66/795.97	c        53       105    114.84     20.88      5.50   1000000         0
796.96/797.28	c        44        98    115.35     21.04      5.48   1000000         0
798.37/798.60	c        53        96    114.33     19.61      5.83   1000000         0
799.66/799.91	c        57       123    117.45     21.14      5.56   1000000         0
800.96/801.23	c        51       106    114.57     23.05      4.97   1000000         0
802.26/802.55	c        46       120    114.05     21.31      5.35   1000000         0
803.56/803.87	c        40       102    112.45     21.85      5.15   1000000         0
804.86/805.18	c        46       129    115.30     21.43      5.38   1000000         0
806.16/806.48	c        52       101    119.33     22.39      5.33   1000000         0
807.46/807.79	c        55        86    118.94     19.84      6.00   1000000         0
808.86/809.10	c        44       114    118.51     20.33      5.83   1000000         0
810.16/810.40	c        44       104    118.12     23.51      5.03   1000000         0
811.46/811.71	c        50        83    118.99     20.92      5.69   1000000         0
812.76/813.02	c        53       105    119.78     22.78      5.26   1000000         0
814.06/814.34	c        50       106    115.11     21.50      5.35   1000000         0
815.35/815.66	c        35       114    115.32     22.63      5.10   1000000         0
816.65/816.96	c        59       120    117.12     20.20      5.80   1000000         0
817.95/818.27	c        56       134    119.81     21.65      5.53   1000000         0
819.26/819.58	c        52        81    118.70     20.21      5.87   1000000         0
820.65/820.91	c        55       109    117.84     19.82      5.95   1000000         0
821.95/822.22	c        56        79    118.37     22.14      5.35   1000000         0
823.25/823.52	c        54       116    120.04     23.81      5.04   1000000         0
824.55/824.83	c        49        79    112.43     21.48      5.24   1000000         0
825.86/826.15	c        50       125    116.43     21.08      5.52   1000000         0
827.15/827.47	c        53       123    115.67     21.27      5.44   1000000         0
828.45/828.78	c        55        82    115.03     21.19      5.43   1000000         0
829.75/830.09	c        58       128    120.09     22.78      5.27   1000000         0
831.15/831.40	c        50       122    116.45     20.17      5.77   1000000         0
832.45/832.72	c        58       119    117.55     20.80      5.65   1000000         0
833.75/834.03	c        50       144    115.74     20.60      5.62   1000000         0
835.05/835.34	c        55       116    118.62     19.98      5.94   1000000         0
836.35/836.65	c        53       157    116.43     21.04      5.53   1000000         0
837.65/837.97	c        51       115    115.07     20.97      5.49   1000000         0
838.95/839.28	c        43       116    117.95     21.98      5.37   1000000         0
840.25/840.59	c        47       117    119.50     22.18      5.39   1000000         0
841.65/841.90	c        51        99    116.48     21.36      5.45   1000000         0
842.94/843.20	c        49       127    115.95     21.63      5.36   1000000         0
844.24/844.52	c        48       127    114.81     20.97      5.47   1000000         0
845.54/845.82	c        50       101    115.37     22.60      5.11   1000000         0
846.85/847.15	c        54       131    114.82     21.63      5.31   1000000         0
848.14/848.46	c        47       114    117.53     23.35      5.03   1000000         0
849.44/849.77	c        51       146    115.25     21.15      5.45   1000000         0
850.74/851.07	c        46       108    117.87     21.68      5.44   1000000         0
852.04/852.38	c        54       123    114.25     21.01      5.44   1000000         0
853.35/853.69	c        40        98    115.58     20.37      5.67   1000000         0
854.64/854.99	c        55        88    117.70     21.45      5.49   1000000         0
856.04/856.30	c        55       147    119.60     21.04      5.69   1000000         0
857.34/857.60	c        54       140    121.09     21.60      5.61   1000000         0
858.64/858.92	c        49        87    113.64     21.96      5.17   1000000         0
859.95/860.24	c        53       109    116.28     21.17      5.49   1000000         0
861.24/861.55	c        42        84    117.06     22.08      5.30   1000000         0
862.54/862.86	c        53       111    119.58     22.03      5.43   1000000         0
863.84/864.17	c        51       115    117.08     21.74      5.39   1000000         0
865.14/865.47	c        44        93    118.15     22.88      5.17   1000000         0
866.44/866.79	c        45        91    115.11     20.16      5.71   1000000         0
867.75/868.09	c        47       113    114.21     20.84      5.48   1000000         0
869.14/869.41	c        51       125    113.61     21.08      5.39   1000000         0
870.44/870.72	c        57        89    117.20     20.81      5.63   1000000         0
871.74/872.03	c        53       142    116.43     21.62      5.39   1000000         0
873.04/873.34	c        55        93    118.21     22.20      5.32   1000000         0
874.34/874.66	c        52       109    116.82     22.47      5.20   1000000         0
875.64/875.98	c        51        89    115.32     21.36      5.40   1000000         0
876.94/877.29	c        46        78    117.87     21.50      5.48   1000000         0
878.24/878.60	c        51       133    115.71     21.02      5.50   1000000         0
879.64/879.91	c        51       115    113.46     20.07      5.65   1000000         0
880.94/881.21	c        54        95    118.15     21.17      5.58   1000000         0
882.23/882.53	c        51       113    115.85     21.46      5.40   1000000         0
883.53/883.83	c        54       125    116.70     20.87      5.59   1000000         0
884.83/885.14	c        55       120    118.35     22.12      5.35   1000000         0
886.13/886.45	c        53       127    115.36     20.33      5.67   1000000         0
887.44/887.77	c        45       125    116.24     21.66      5.37   1000000         0
888.73/889.08	c        52        95    118.54     22.05      5.38   1000000         0
890.03/890.39	c        52       160    116.95     21.13      5.53   1000000         0
891.33/891.69	c        48        89    115.51     20.13      5.74   1000000         0
892.73/893.00	c        47        89    116.51     20.28      5.75   1000000         0
894.04/894.31	c        51       133    117.04     19.84      5.90   1000000         0
895.33/895.62	c        46       113    117.39     22.35      5.25   1000000         0
896.63/896.93	c        52        91    118.86     22.78      5.22   1000000         0
897.93/898.25	c        50        91    115.14     19.91      5.78   1000000         0
899.23/899.56	c        46       117    117.30     23.34      5.03   1000000         0
900.53/900.87	c        53       119    116.91     21.24      5.50   1000000         0
901.84/902.18	c        50        98    115.56     21.75      5.31   1000000         0
903.13/903.49	c        53       113    114.22     19.70      5.80   1000000         0
904.53/904.80	c        50        93    112.90     21.99      5.13   1000000         0
905.83/906.12	c        40       121    112.60     21.37      5.27   1000000         0
907.13/907.44	c        52       106    116.02     19.98      5.81   1000000         0
908.43/908.74	c        53        98    116.49     21.54      5.41   1000000         0
909.73/910.05	c        54        75    116.50     21.81      5.34   1000000         0
911.03/911.37	c        57       117    118.16     21.47      5.50   1000000         0
912.33/912.68	c        47        87    116.14     19.61      5.92   1000000         0
913.63/913.99	c        52       143    114.56     20.65      5.55   1000000         0
914.93/915.30	c        44       137    115.26     23.28      4.95   1000000         0
916.32/916.61	c        49        95    115.31     20.95      5.50   1000000         0
917.62/917.92	c        53       160    117.58     21.98      5.35   1000000         0
918.92/919.23	c        45       118    115.22     21.19      5.44   1000000         0
920.22/920.55	c        52       115    116.56     20.40      5.71   1000000         0
921.53/921.86	c        52        99    117.01     21.19      5.52   1000000         0
922.82/923.17	c        48       128    114.76     19.65      5.84   1000000         0
924.12/924.48	c        53        81    115.72     19.20      6.03   1000000         0
925.42/925.79	c        52       129    115.85     20.90      5.54   1000000         0
926.82/927.10	c        49       107    117.92     20.55      5.74   1000000         0
928.13/928.41	c        51       126    114.32     20.35      5.62   1000000         0
929.42/929.72	c        51       119    115.98     20.97      5.53   1000000         0
930.72/931.05	c        49       121    118.49     21.97      5.39   1000000         0
932.02/932.35	c        48        65    114.88     21.51      5.34   1000000         0
933.32/933.67	c        48       101    114.16     22.01      5.19   1000000         0
934.62/934.98	c        48        91    118.36     21.84      5.42   1000000         0
935.93/936.29	c        46        92    114.13     22.72      5.02   1000000         0
937.32/937.61	c        48        97    116.01     19.91      5.83   1000000         0
938.62/938.91	c        50        89    118.61     21.61      5.49   1000000         0
939.92/940.22	c        48       109    117.50     21.67      5.42   1000000         0
941.22/941.53	c        49        91    117.46     21.12      5.56   1000000         0
942.53/942.85	c        49       111    116.33     20.96      5.55   1000000         0
943.82/944.16	c        51       123    117.77     21.65      5.44   1000000         0
945.12/945.47	c        51       115    114.74     21.07      5.45   1000000         0
946.42/946.79	c        54       128    115.84     21.72      5.33   1000000         0
947.82/948.11	c        46       108    114.86     23.38      4.91   1000000         0
949.12/949.42	c        43       132    117.52     21.85      5.38   1000000         0
950.42/950.73	c        54       114    117.13     20.57      5.69   1000000         0
951.71/952.04	c        47       110    115.69     22.80      5.07   1000000         0
953.01/953.35	c        49       114    117.35     21.33      5.50   1000000         0
954.31/954.66	c        51       128    116.49     21.14      5.51   1000000         0
955.62/955.97	c        49       108    117.33     21.18      5.54   1000000         0
956.91/957.28	c        55       108    116.24     20.36      5.71   1000000         0
958.21/958.59	c        52       125    115.90     20.29      5.71   1000000         0
959.61/959.90	c        52        78    118.86     20.58      5.78   1000000         0
960.91/961.20	c        53        98    117.93     21.82      5.40   1000000         0
962.22/962.51	c        57       121    117.05     20.28      5.77   1000000         0
963.51/963.83	c        54       119    119.52     20.57      5.81   1000000         0
964.81/965.13	c        45        99    116.14     21.09      5.51   1000000         0
966.11/966.45	c        54       131    116.74     21.69      5.38   1000000         0
967.41/967.75	c        55       137    116.97     22.21      5.27   1000000         0
968.71/969.06	c        54        96    115.76     20.45      5.66   1000000         0
970.02/970.37	c        56        97    118.48     21.17      5.60   1000000         0
971.31/971.68	c        52        94    116.23     21.76      5.34   1000000         0
972.61/972.99	c        47       130    116.56     20.80      5.60   1000000         0
974.01/974.31	c        48       147    115.45     20.64      5.59   1000000         0
975.31/975.61	c        53       126    118.29     21.21      5.58   1000000         0
976.62/976.92	c        48       144    112.23     20.59      5.45   1000000         0
977.91/978.23	c        56        85    115.59     20.44      5.66   1000000         0
979.21/979.54	c        48        95    115.22     20.67      5.57   1000000         0
980.51/980.85	c        51       110    116.40     21.84      5.33   1000000         0
981.81/982.16	c        46       107    115.47     22.87      5.05   1000000         0
983.11/983.48	c        48       123    116.48     22.09      5.27   1000000         0
984.41/984.80	c        48       113    118.18     22.47      5.26   1000000         0
985.81/986.11	c        55       145    120.69     20.48      5.89   1000000         0
987.10/987.43	c        50       113    114.88     19.29      5.96   1000000         0
988.40/988.74	c        49       106    118.56     20.96      5.66   1000000         0
989.71/990.06	c        52        99    114.81     21.11      5.44   1000000         0
991.00/991.37	c        56       102    117.23     20.52      5.71   1000000         0
992.30/992.69	c        51       113    115.06     20.89      5.51   1000000         0
993.70/994.00	c        48       101    117.07     21.49      5.45   1000000         0
995.00/995.31	c        54       125    117.04     22.04      5.31   1000000         0
996.31/996.63	c        47       125    116.99     21.11      5.54   1000000         0
997.60/997.94	c        45       120    115.49     22.90      5.04   1000000         0
998.90/999.24	c        55       124    117.09     21.24      5.51   1000000         0
1000.20/1000.55	c        49        72    115.12     20.96      5.49   1000000         0
1001.50/1001.85	c        50       128    115.94     19.64      5.90   1000000         0
1002.80/1003.17	c        53       124    116.99     22.15      5.28   1000000         0
1004.11/1004.48	c        52       133    118.05     21.16      5.58   1000000         0
1005.50/1005.80	c        49       143    114.08     20.16      5.66   1000000         0
1006.80/1007.12	c        51       128    116.62     19.88      5.87   1000000         0
1008.10/1008.43	c        53       123    117.92     19.80      5.95   1000000         0
1009.40/1009.74	c        49       109    118.22     22.62      5.23   1000000         0
1010.71/1011.05	c        51       140    114.78     21.07      5.45   1000000         0
1012.00/1012.36	c        50       108    115.47     20.82      5.55   1000000         0
1013.30/1013.67	c        51       138    115.83     20.62      5.62   1000000         0
1014.60/1014.98	c        47       112    117.23     20.11      5.83   1000000         0
1015.90/1016.28	c        54       143    117.37     20.46      5.74   1000000         0
1017.20/1017.59	c        53       129    119.32     21.74      5.49   1000000         0
1018.50/1018.90	c        46       120    119.31     22.38      5.33   1000000         0
1019.90/1020.20	c        42       172    114.13     21.06      5.42   1000000         0
1021.20/1021.51	c        52       101    118.61     20.94      5.67   1000000         0
1022.50/1022.82	c        52       108    115.10     21.88      5.26   1000000         0
1023.80/1024.13	c        45       100    117.92     20.42      5.78   1000000         0
1025.10/1025.44	c        56       141    117.72     20.88      5.64   1000000         0
1026.39/1026.75	c        55       111    117.69     21.21      5.55   1000000         0
1027.69/1028.06	c        47       105    115.94     21.45      5.40   1000000         0
1028.99/1029.37	c        54       121    116.84     21.86      5.34   1000000         0
1030.29/1030.68	c        49       135    118.29     20.44      5.79   1000000         0
1031.60/1031.99	c        59       123    117.05     20.36      5.75   1000000         0
1032.99/1033.30	c        51        99    114.62     22.24      5.15   1000000         0
1034.29/1034.61	c        48       114    115.59     22.51      5.14   1000000         0
1035.59/1035.92	c        48        86    114.19     22.53      5.07   1000000         0
1036.89/1037.24	c        47        86    114.69     21.76      5.27   1000000         0
1038.20/1038.54	c        53       108    116.16     21.36      5.44   1000000         0
1039.49/1039.86	c        54       124    117.84     21.65      5.44   1000000         0
1040.79/1041.17	c        55        82    117.77     22.34      5.27   1000000         0
1042.09/1042.49	c        48       117    115.35     22.00      5.24   1000000         0
1043.49/1043.81	c        44       130    115.24     19.64      5.87   1000000         0
1044.80/1045.11	c        49       117    117.54     21.70      5.42   1000000         0
1046.09/1046.42	c        57        93    120.08     21.05      5.70   1000000         0
1047.39/1047.73	c        49       123    116.73     22.94      5.09   1000000         0
1048.69/1049.04	c        50       105    114.49     20.38      5.62   1000000         0
1049.99/1050.35	c        41        72    117.66     22.69      5.19   1000000         0
1051.30/1051.66	c        53        97    116.90     22.56      5.18   1000000         0
1052.59/1052.98	c        44        99    116.84     21.47      5.44   1000000         0
1053.89/1054.29	c        51       150    115.86     21.59      5.37   1000000         0
1055.29/1055.61	c        51       144    114.67     19.67      5.83   1000000         0
1056.59/1056.92	c        53       124    118.90     20.60      5.77   1000000         0
1057.89/1058.23	c        48        93    118.66     24.28      4.89   1000000         0
1059.19/1059.54	c        56       110    116.81     20.04      5.83   1000000         0
1060.49/1060.85	c        45       119    117.32     21.38      5.49   1000000         0
1061.79/1062.16	c        56       103    117.14     22.19      5.28   1000000         0
1063.08/1063.47	c        58       106    119.68     21.90      5.47   1000000         0
1064.38/1064.79	c        53       121    118.51     23.52      5.04   1000000         0
1065.78/1066.10	c        50       164    115.79     20.27      5.71   1000000         0
1067.08/1067.42	c        46       121    116.94     22.60      5.18   1000000         0
1068.38/1068.73	c        45        95    116.71     21.17      5.51   1000000         0
1069.68/1070.04	c        50       125    117.41     20.46      5.74   1000000         0
1070.98/1071.34	c        39       105    115.32     21.34      5.40   1000000         0
1072.29/1072.65	c        46       121    118.73     21.50      5.52   1000000         0
1073.58/1073.96	c        47        97    116.08     21.37      5.43   1000000         0
1074.88/1075.27	c        49       136    116.68     21.55      5.42   1000000         0
1076.18/1076.59	c        45       143    111.07     21.03      5.28   1000000         0
1077.58/1077.90	c        49       157    117.39     22.57      5.20   1000000         0
1078.89/1079.22	c        49       119    115.46     20.54      5.62   1000000         0
1080.18/1080.53	c        52       105    117.72     21.59      5.45   1000000         0
1081.48/1081.84	c        51       152    118.01     21.64      5.45   1000000         0
1082.78/1083.15	c        51       119    116.31     21.59      5.39   1000000         0
1084.08/1084.47	c        46        99    115.31     21.79      5.29   1000000         0
1085.38/1085.78	c        47       104    114.89     21.54      5.33   1000000         0
1086.68/1087.09	c        45       137    118.66     22.50      5.27   1000000         0
1088.08/1088.40	c        45       105    116.42     20.85      5.58   1000000         0
1089.38/1089.71	c        51       114    118.22     21.15      5.59   1000000         0
1090.68/1091.02	c        50       137    115.82     20.45      5.66   1000000         0
1091.98/1092.34	c        47       116    116.07     21.04      5.52   1000000         0
1093.28/1093.65	c        56        82    119.25     23.49      5.08   1000000         0
1094.58/1094.96	c        52       114    114.63     21.11      5.43   1000000         0
1095.88/1096.27	c        48       116    117.29     23.16      5.06   1000000         0
1097.17/1097.58	c        48       100    120.64     22.04      5.47   1000000         0
1098.47/1098.90	c        47       105    118.31     21.72      5.45   1000000         0
1099.87/1100.20	c        52       126    117.64     21.49      5.47   1000000         0
1101.17/1101.51	c        46       146    119.51     22.75      5.25   1000000         0
1102.47/1102.82	c        54       118    115.16     19.96      5.77   1000000         0
1103.77/1104.12	c        54        87    116.19     20.39      5.70   1000000         0
1105.07/1105.44	c        55       122    115.71     20.67      5.60   1000000         0
1106.38/1106.75	c        42       112    113.30     21.65      5.23   1000000         0
1107.67/1108.06	c        45        90    117.05     20.93      5.59   1000000         0
1108.97/1109.37	c        52       144    117.05     20.68      5.66   1000000         0
1110.27/1110.69	c        54       137    116.45     20.84      5.59   1000000         0
1111.57/1112.00	c        50       129    116.14     21.46      5.41   1000000         0
1112.98/1113.31	c        56       100    116.75     21.52      5.42   1000000         0
1114.27/1114.62	c        51        93    115.46     20.89      5.53   1000000         0
1115.57/1115.92	c        51       120    117.97     21.20      5.56   1000000         0
1116.87/1117.23	c        53       127    119.50     21.65      5.52   1000000         0
1118.17/1118.54	c        51       127    115.74     22.23      5.21   1000000         0
1119.48/1119.86	c        58       112    116.22     21.74      5.35   1000000         0
1120.77/1121.17	c        55       126    115.54     21.39      5.40   1000000         0
1122.07/1122.49	c        55       123    117.25     20.17      5.81   1000000         0
1123.37/1123.79	c        52       105    116.32     20.05      5.80   1000000         0
1124.77/1125.11	c        54       115    116.41     22.96      5.07   1000000         0
1126.07/1126.42	c        45        81    115.75     24.71      4.68   1000000         0
1127.37/1127.73	c        56       100    118.95     21.06      5.65   1000000         0
1128.67/1129.04	c        49       132    116.19     21.77      5.34   1000000         0
1129.97/1130.35	c        53        72    117.34     23.54      4.99   1000000         0
1131.27/1131.66	c        50       103    114.77     20.45      5.61   1000000         0
1132.56/1132.97	c        54       106    115.50     21.75      5.31   1000000         0
1133.87/1134.28	c        56       110    114.66     21.42      5.35   1000000         0
1135.26/1135.60	c        55        84    116.21     23.57      4.93   1000000         0
1136.56/1136.90	c        54       127    117.59     22.63      5.20   1000000         0
1137.86/1138.22	c        47       131    115.51     21.59      5.35   1000000         0
1139.16/1139.53	c        52        84    117.12     20.31      5.77   1000000         0
1140.47/1140.84	c        54       153    117.14     21.30      5.50   1000000         0
1141.76/1142.15	c        56       114    119.74     22.04      5.43   1000000         0
1143.06/1143.46	c        52        97    117.44     22.57      5.20   1000000         0
1144.36/1144.78	c        52        98    115.31     20.55      5.61   1000000         0
1145.66/1146.09	c        55        85    118.62     23.79      4.99   1000000         0
1146.97/1147.40	c        45       109    113.98     20.22      5.64   1000000         0
1148.36/1148.71	c        52        99    116.85     21.08      5.54   1000000         0
1149.66/1150.02	c        45       102    114.14     21.19      5.39   1000000         0
1150.96/1151.33	c        50       104    119.96     23.62      5.08   1000000         0
1152.26/1152.64	c        52       116    116.37     21.55      5.40   1000000         0
1153.57/1153.96	c        49       106    115.70     21.22      5.45   1000000         0
1154.86/1155.27	c        48        96    116.86     21.89      5.34   1000000         0
1156.16/1156.59	c        53       144    114.85     20.68      5.55   1000000         0
1157.56/1157.90	c        53       131    114.39     20.35      5.62   1000000         0
1158.86/1159.21	c        45       117    119.35     19.49      6.12   1000000         0
1160.16/1160.52	c        45       110    116.31     21.77      5.34   1000000         0
1161.46/1161.83	c        52       118    116.66     21.05      5.54   1000000         0
1162.76/1163.14	c        55       111    117.59     21.17      5.56   1000000         0
1164.06/1164.46	c        57       142    117.88     21.88      5.39   1000000         0
1165.36/1165.77	c        46       114    114.66     21.83      5.25   1000000         0
1166.65/1167.08	c        49       114    119.73     21.41      5.59   1000000         0
1167.96/1168.39	c        50       109    116.61     21.43      5.44   1000000         0
1169.25/1169.70	c        48        95    118.10     22.68      5.21   1000000         0
1170.65/1171.00	c        57       136    117.53     20.76      5.66   1000000         0
1171.95/1172.31	c        45       111    115.01     20.56      5.59   1000000         0
1173.25/1173.62	c        47        89    116.42     22.02      5.29   1000000         0
1174.56/1174.94	c        50       144    114.71     20.54      5.58   1000000         0
1175.85/1176.25	c        56        96    117.18     20.66      5.67   1000000         0
1177.15/1177.56	c        51       114    116.32     20.36      5.71   1000000         0
1178.45/1178.86	c        47       109    117.92     20.47      5.76   1000000         0
1179.75/1180.17	c        50       129    116.62     21.65      5.39   1000000         0
1181.06/1181.49	c        57       114    118.32     20.82      5.68   1000000         0
1182.45/1182.80	c        50       140    117.62     20.38      5.77   1000000         0
1183.75/1184.11	c        50       115    115.61     21.02      5.50   1000000         0
1185.05/1185.42	c        52       107    117.00     21.26      5.50   1000000         0
1186.35/1186.73	c        53       111    114.24     20.14      5.67   1000000         0
1187.66/1188.04	c        41       161    118.13     21.28      5.55   1000000         0
1188.95/1189.35	c        55       115    120.29     21.70      5.54   1000000         0
1190.25/1190.66	c        45       125    116.58     20.85      5.59   1000000         0
1191.55/1191.98	c        49        98    112.71     20.14      5.59   1000000         0
1192.85/1193.29	c        52        95    115.47     20.17      5.72   1000000         0
1194.25/1194.61	c        54       138    117.98     22.29      5.29   1000000         0
1195.55/1195.91	c        57       120    117.90     20.47      5.76   1000000         0
1196.85/1197.22	c        54       130    118.58     20.95      5.66   1000000         0
1198.15/1198.53	c        45       125    116.81     20.21      5.78   1000000         0
1199.45/1199.84	c        51       152    115.44     19.52      5.91   1000000         0
1200.74/1201.14	c        49       103    116.35     22.53      5.16   1000000         0
1202.05/1202.45	c        53       104    117.86     21.63      5.45   1000000         0
1203.34/1203.76	c        50       101    114.03     22.38      5.10   1000000         0
1204.64/1205.07	c        42       107    114.69     19.86      5.78   1000000         0
1205.94/1206.38	c        47       108    115.31     21.22      5.43   1000000         0
1207.24/1207.69	c        50       107    118.57     21.69      5.47   1000000         0
1208.65/1209.01	c        55        96    114.76     20.47      5.61   1000000         0
1209.94/1210.31	c        50       138    117.92     22.62      5.21   1000000         0
1211.24/1211.62	c        51       141    116.57     21.35      5.46   1000000         0
1212.54/1212.94	c        52       111    116.64     20.93      5.57   1000000         0
1213.84/1214.25	c        43        90    115.76     20.55      5.63   1000000         0
1215.15/1215.56	c        51       111    118.40     19.92      5.94   1000000         0
1216.44/1216.87	c        46       138    116.72     20.57      5.67   1000000         0
1217.74/1218.18	c        55       122    117.32     21.82      5.38   1000000         0
1219.04/1219.48	c        54       129    115.93     22.11      5.24   1000000         0
1220.34/1220.78	c        49       153    117.40     20.53      5.72   1000000         0
1221.75/1222.10	c        52       110    115.04     21.42      5.37   1000000         0
1223.04/1223.43	c        52       113    113.69     21.67      5.25   1000000         0
1224.34/1224.74	c        49       161    115.31     22.23      5.19   1000000         0
1225.64/1226.05	c        46       120    114.92     21.04      5.46   1000000         0
1226.94/1227.36	c        51       114    116.84     21.58      5.41   1000000         0
1228.24/1228.67	c        50       110    117.79     20.88      5.64   1000000         0
1229.54/1229.97	c        58       126    118.24     21.68      5.45   1000000         0
1230.83/1231.28	c        46        94    117.73     22.52      5.23   1000000         0
1232.13/1232.59	c        53       109    117.47     20.37      5.77   1000000         0
1233.53/1233.90	c        49       116    116.31     22.56      5.16   1000000         0
1234.83/1235.21	c        50       101    117.26     20.88      5.61   1000000         0
1236.14/1236.53	c        51       124    116.19     21.29      5.46   1000000         0
1237.43/1237.85	c        51       113    115.15     22.01      5.23   1000000         0
1238.73/1239.16	c        45       106    115.27     21.07      5.47   1000000         0
1240.03/1240.47	c        44       132    113.85     21.08      5.40   1000000         0
1241.33/1241.78	c        54       118    116.14     23.30      4.98   1000000         0
1242.64/1243.09	c        51       124    116.03     20.46      5.67   1000000         0
1244.03/1244.40	c        49       151    113.88     21.37      5.33   1000000         0
1245.33/1245.71	c        54        84    116.10     20.83      5.57   1000000         0
1246.63/1247.03	c        53        91    116.39     20.86      5.58   1000000         0
1247.93/1248.33	c        49       112    116.56     20.51      5.68   1000000         0
1249.24/1249.65	c        52        97    114.99     22.26      5.17   1000000         0
1250.53/1250.97	c        46       109    115.31     21.40      5.39   1000000         0
1251.83/1252.28	c        40       138    115.65     20.29      5.70   1000000         0
1253.13/1253.59	c        53       108    117.26     20.45      5.73   1000000         0
1254.53/1254.91	c        52       118    115.05     20.93      5.50   1000000         0
1255.84/1256.22	c        48        85    119.40     20.93      5.70   1000000         0
1257.13/1257.53	c        56       118    115.51     21.72      5.32   1000000         0
1258.43/1258.85	c        50       116    117.08     20.45      5.73   1000000         0
1259.73/1260.16	c        49       142    114.53     22.44      5.10   1000000         0
1261.03/1261.46	c        54       134    118.19     20.87      5.66   1000000         0
1262.33/1262.77	c        57       129    114.73     20.83      5.51   1000000         0
1263.63/1264.09	c        46       130    113.61     22.30      5.09   1000000         0
1264.93/1265.39	c        57       127    118.00     20.91      5.64   1000000         0
1266.33/1266.71	c        50       106    115.49     20.73      5.57   1000000         0
1267.63/1268.01	c        52       116    115.92     21.76      5.33   1000000         0
1268.92/1269.33	c        57       105    117.15     20.34      5.76   1000000         0
1270.23/1270.64	c        52       109    116.61     20.35      5.73   1000000         0
1271.52/1271.96	c        46       151    115.31     22.89      5.04   1000000         0
1272.82/1273.27	c        39       105    114.31     21.45      5.33   1000000         0
1274.12/1274.57	c        52       128    119.14     22.54      5.29   1000000         0
1275.42/1275.88	c        55       121    118.88     21.82      5.45   1000000         0
1276.73/1277.20	c        49       101    115.68     22.87      5.06   1000000         0
1278.12/1278.52	c        52       102    114.65     21.16      5.42   1000000         0
1279.42/1279.84	c        49        97    115.83     21.71      5.34   1000000         0
1280.72/1281.16	c        43        90    116.78     20.28      5.76   1000000         0
1282.02/1282.47	c        48       120    116.46     21.79      5.35   1000000         0
1283.33/1283.79	c        51        88    114.83     21.82      5.26   1000000         0
1284.62/1285.10	c        55       107    115.17     21.70      5.31   1000000         0
1286.02/1286.41	c        52       144    113.07     20.11      5.62   1000000         0
1287.32/1287.72	c        50       120    116.81     22.63      5.16   1000000         0
1288.62/1289.03	c        59       114    118.96     20.63      5.77   1000000         0
1289.92/1290.33	c        55        99    117.19     22.33      5.25   1000000         0
1291.22/1291.65	c        55        90    119.85     21.66      5.53   1000000         0
1292.52/1292.97	c        57       110    116.77     19.41      6.01   1000000         0
1293.82/1294.28	c        50       124    113.13     19.64      5.76   1000000         0
1295.12/1295.59	c        51       108    117.77     20.33      5.79   1000000         0
1296.52/1296.90	c        50       101    116.89     22.78      5.13   1000000         0
1297.82/1298.21	c        60       106    117.51     20.88      5.63   1000000         0
1299.12/1299.53	c        47       115    118.76     20.73      5.73   1000000         0
1300.42/1300.83	c        56       105    118.23     22.81      5.18   1000000         0
1301.72/1302.15	c        59       121    118.55     21.86      5.42   1000000         0
1303.01/1303.47	c        48       119    117.75     20.52      5.74   1000000         0
1304.32/1304.79	c        56       109    117.49     20.46      5.74   1000000         0
1305.71/1306.10	c        54       119    119.00     19.79      6.01   1000000         0
1307.01/1307.40	c        52       123    118.25     20.22      5.85   1000000         0
1308.31/1308.71	c        48        91    115.22     22.39      5.14   1000000         0
1309.61/1310.02	c        44        98    114.43     20.70      5.53   1000000         0
1310.92/1311.33	c        52       144    118.81     21.36      5.56   1000000         0
1312.21/1312.64	c        55        97    118.71     21.26      5.58   1000000         0
1313.51/1313.95	c        50       112    116.39     21.61      5.39   1000000         0
1314.81/1315.26	c        53       132    117.34     23.27      5.04   1000000         0
1316.11/1316.57	c        50        89    114.90     22.31      5.15   1000000         0
1317.42/1317.88	c        53        97    118.39     21.48      5.51   1000000         0
1318.71/1319.19	c        49       120    117.68     22.66      5.19   1000000         0
1320.01/1320.50	c        49       114    115.96     22.39      5.18   1000000         0
1321.41/1321.80	c        53        97    116.07     21.04      5.52   1000000         0
1322.71/1323.11	c        52        98    118.37     21.79      5.43   1000000         0
1324.02/1324.42	c        57        98    118.40     22.29      5.31   1000000         0
1325.31/1325.74	c        51        97    114.51     20.52      5.58   1000000         0
1326.61/1327.05	c        41        87    116.43     20.53      5.67   1000000         0
1327.91/1328.36	c        51        98    116.43     21.34      5.46   1000000         0
1329.21/1329.67	c        50       112    116.52     21.82      5.34   1000000         0
1330.51/1330.99	c        42        99    114.77     22.21      5.17   1000000         0
1331.81/1332.29	c        56       107    116.61     22.27      5.24   1000000         0
1333.21/1333.61	c        50        88    115.05     21.24      5.42   1000000         0
1334.51/1334.93	c        48        91    117.52     22.98      5.11   1000000         0
1335.81/1336.23	c        57       111    117.71     19.84      5.93   1000000         0
1337.10/1337.55	c        53       113    115.62     21.89      5.28   1000000         0
1338.41/1338.86	c        50       166    116.94     21.32      5.48   1000000         0
1339.70/1340.18	c        51        93    114.04     21.76      5.24   1000000         0
1341.00/1341.49	c        53       101    116.79     20.46      5.71   1000000         0
1342.40/1342.81	c        49       135    116.71     21.80      5.35   1000000         0
1343.70/1344.12	c        52       132    114.20     20.60      5.54   1000000         0
1345.01/1345.44	c        46        90    116.28     22.17      5.24   1000000         0
1346.30/1346.75	c        55       139    117.29     21.63      5.42   1000000         0
1347.60/1348.06	c        53        86    113.93     20.25      5.63   1000000         0
1348.90/1349.38	c        48        99    116.20     21.43      5.42   1000000         0
1350.20/1350.69	c        47       133    118.79     21.46      5.53   1000000         0
1351.51/1351.99	c        49       131    117.92     20.19      5.84   1000000         0
1352.80/1353.29	c        55       106    116.47     20.45      5.70   1000000         0
1354.20/1354.61	c        54       106    118.51     21.85      5.42   1000000         0
1355.50/1355.92	c        49        96    117.37     20.33      5.77   1000000         0
1356.80/1357.22	c        56        99    119.44     22.02      5.42   1000000         0
1358.11/1358.54	c        50       106    115.50     21.02      5.49   1000000         0
1359.40/1359.85	c        49       109    116.61     22.12      5.27   1000000         0
1360.70/1361.16	c        49       116    118.46     21.47      5.52   1000000         0
1362.00/1362.47	c        47        98    115.69     20.55      5.63   1000000         0
1363.30/1363.79	c        56       102    117.55     22.61      5.20   1000000         0
1364.70/1365.10	c        55       118    117.45     22.16      5.30   1000000         0
1366.00/1366.41	c        55        93    116.08     23.57      4.93   1000000         0
1367.30/1367.72	c        58       107    118.97     20.87      5.70   1000000         0
1368.60/1369.03	c        54       110    119.14     21.33      5.59   1000000         0
1369.90/1370.35	c        52       107    114.86     21.03      5.46   1000000         0
1371.20/1371.65	c        57        88    117.51     20.47      5.74   1000000         0
1372.50/1372.96	c        54       157    115.44     21.92      5.27   1000000         0
1373.80/1374.27	c        51       111    119.73     21.45      5.58   1000000         0
1375.09/1375.58	c        58       154    116.82     20.62      5.67   1000000         0
1376.39/1376.89	c        53       114    117.16     19.57      5.99   1000000         0
1377.79/1378.20	c        54       151    116.28     20.31      5.73   1000000         0
1379.10/1379.51	c        44       146    116.92     20.89      5.60   1000000         0
1380.39/1380.83	c        51       121    117.12     23.50      4.98   1000000         0
1381.69/1382.14	c        54       108    118.40     21.94      5.40   1000000         0
1382.99/1383.45	c        44       112    117.38     22.35      5.25   1000000         0
1384.29/1384.76	c        50        64    117.47     21.33      5.51   1000000         0
1385.60/1386.07	c        51       116    119.36     20.96      5.70   1000000         0
1386.89/1387.38	c        50       119    118.08     22.96      5.14   1000000         0
1388.19/1388.69	c        48       130    115.93     21.71      5.34   1000000         0
1389.49/1389.99	c        51       137    117.81     21.31      5.53   1000000         0
1390.89/1391.31	c        49       101    120.17     20.71      5.80   1000000         0
1392.20/1392.62	c        50       137    116.96     20.93      5.59   1000000         0
1393.49/1393.92	c        49       124    115.98     21.02      5.52   1000000         0
1394.79/1395.24	c        47       130    117.72     24.62      4.78   1000000         0
1396.09/1396.55	c        43       113    115.75     21.71      5.33   1000000         0
1397.39/1397.86	c        52       140    118.47     22.54      5.25   1000000         0
1398.69/1399.18	c        41       111    113.09     21.91      5.16   1000000         0
1399.99/1400.49	c        44       111    114.88     21.44      5.36   1000000         0
1401.39/1401.80	c        48       104    115.46     22.73      5.08   1000000         0
1402.69/1403.11	c        52       145    115.97     21.33      5.44   1000000         0
1403.99/1404.42	c        55       120    117.66     21.20      5.55   1000000         0
1405.29/1405.74	c        47       104    115.66     21.57      5.36   1000000         0
1406.59/1407.05	c        48        83    117.49     22.18      5.30   1000000         0
1407.88/1408.36	c        47        72    114.88     20.96      5.48   1000000         0
1409.18/1409.67	c        57       140    117.20     20.04      5.85   1000000         0
1410.48/1410.97	c        52       111    116.33     20.96      5.55   1000000         0
1411.78/1412.29	c        45       112    115.81     20.27      5.71   1000000         0
1413.09/1413.60	c        49       145    117.11     21.34      5.49   1000000         0
1414.48/1414.92	c        51        97    116.06     20.65      5.62   1000000         0
1415.78/1416.22	c        55       102    116.41     22.35      5.21   1000000         0
1417.08/1417.53	c        54       124    115.38     20.73      5.57   1000000         0
1418.38/1418.84	c        52       144    115.49     22.31      5.18   1000000         0
1419.69/1420.16	c        51       107    115.81     20.79      5.57   1000000         0
1420.98/1421.47	c        45        93    112.99     22.07      5.12   1000000         0
1422.28/1422.77	c        56       107    116.91     21.18      5.52   1000000         0
1423.58/1424.08	c        48       145    115.95     20.80      5.57   1000000         0
1424.88/1425.39	c        48        95    115.09     21.24      5.42   1000000         0
1426.28/1426.70	c        52       169    115.94     20.98      5.53   1000000         0
1427.58/1428.01	c        48       105    118.55     22.62      5.24   1000000         0
1428.88/1429.33	c        46       113    115.43     21.39      5.40   1000000         0
1430.18/1430.64	c        55       119    117.92     21.38      5.52   1000000         0
1431.48/1431.95	c        55       113    117.03     19.63      5.96   1000000         0
1432.78/1433.26	c        49       111    116.94     21.58      5.42   1000000         0
1434.08/1434.58	c        50       114    117.24     20.95      5.60   1000000         0
1435.37/1435.89	c        46       100    114.40     23.16      4.94   1000000         0
1436.77/1437.21	c        52       131    115.54     21.49      5.38   1000000         0
1438.07/1438.51	c        55        97    120.23     22.93      5.24   1000000         0
1439.37/1439.82	c        49       115    115.62     20.40      5.67   1000000         0
1440.68/1441.13	c        56       140    119.31     21.72      5.49   1000000         0
1441.97/1442.43	c        55       133    115.46     22.04      5.24   1000000         0
1443.27/1443.74	c        53       120    115.26     20.91      5.51   1000000         0
1444.57/1445.06	c        52        98    113.82     21.06      5.41   1000000         0
1445.87/1446.37	c        57       102    118.63     19.76      6.00   1000000         0
1447.18/1447.68	c        50       102    115.60     19.48      5.94   1000000         0
1448.57/1449.00	c        49       117    116.76     20.11      5.81   1000000         0
1449.87/1450.31	c        56       119    116.62     20.40      5.72   1000000         0
1451.17/1451.62	c        44       148    114.48     22.62      5.06   1000000         0
1452.47/1452.94	c        36       110    118.18     23.11      5.11   1000000         0
1453.78/1454.26	c        58       125    119.06     19.77      6.02   1000000         0
1455.07/1455.57	c        50        88    116.83     23.30      5.01   1000000         0
1456.37/1456.88	c        50        82    117.98     21.31      5.54   1000000         0
1457.77/1458.20	c        56       144    119.71     22.07      5.43   1000000         0
1459.07/1459.50	c        53       118    119.02     21.40      5.56   1000000         0
1460.37/1460.81	c        57       135    115.50     21.61      5.35   1000000         0
1461.67/1462.12	c        58       124    115.50     21.13      5.47   1000000         0
1462.97/1463.43	c        47       145    119.20     22.96      5.19   1000000         0
1464.27/1464.74	c        50       100    115.98     20.29      5.72   1000000         0
1465.56/1466.05	c        56        98    115.43     20.81      5.55   1000000         0
1466.86/1467.36	c        44       126    115.40     21.25      5.43   1000000         0
1468.17/1468.66	c        49       111    115.67     21.42      5.40   1000000         0
1469.46/1469.97	c        52       130    117.01     22.07      5.30   1000000         0
1470.76/1471.29	c        46       106    116.57     20.40      5.72   1000000         0
1472.16/1472.61	c        55       117    117.83     21.34      5.52   1000000         0
1473.46/1473.92	c        48       137    115.71     22.94      5.04   1000000         0
1474.77/1475.24	c        45       124    117.90     21.79      5.41   1000000         0
1476.06/1476.55	c        49       130    117.70     22.18      5.31   1000000         0
1477.36/1477.86	c        55       117    115.05     22.10      5.21   1000000         0
1478.66/1479.17	c        54        99    115.69     21.93      5.28   1000000         0
1479.96/1480.49	c        49       111    113.63     19.06      5.96   1000000         0
1481.27/1481.80	c        49       104    114.72     21.21      5.41   1000000         0
1482.66/1483.10	c        58        72    121.26     22.24      5.45   1000000         0
1483.96/1484.41	c        49       141    115.88     19.89      5.83   1000000         0
1485.26/1485.71	c        50       103    116.39     21.26      5.47   1000000         0
1486.56/1487.02	c        50        89    116.66     22.44      5.20   1000000         0
1487.86/1488.34	c        58       131    115.15     22.20      5.19   1000000         0
1489.16/1489.65	c        44       113    113.48     22.64      5.01   1000000         0
1490.46/1490.95	c        42       124    116.63     20.54      5.68   1000000         0
1491.76/1492.27	c        47       114    114.65     22.43      5.11   1000000         0
1493.06/1493.57	c        47       124    114.73     23.56      4.87   1000000         0
1494.36/1494.88	c        51       111    115.95     21.68      5.35   1000000         0
1495.66/1496.19	c        51       137    114.36     22.07      5.18   1000000         0
1496.96/1497.50	c        53       123    117.08     20.65      5.67   1000000         0
1498.36/1498.82	c        50       144    117.09     21.53      5.44   1000000         0
1499.66/1500.13	c        54       143    113.51     20.76      5.47   1000000         0
1500.95/1501.45	c        45        93    115.86     20.62      5.62   1000000         0
1502.26/1502.76	c        50       128    118.43     21.55      5.50   1000000         0
1503.56/1504.06	c        49       123    114.88     20.38      5.64   1000000         0
1504.86/1505.37	c        46       121    115.40     21.45      5.38   1000000         0
1506.16/1506.69	c        47       124    114.11     22.15      5.15   1000000         0
1507.56/1508.01	c        47        99    118.34     21.41      5.53   1000000         0
1508.87/1509.31	c        56       115    116.32     20.25      5.74   1000000         0
1510.16/1510.63	c        48       131    113.52     21.85      5.19   1000000         0
1511.46/1511.94	c        48       113    114.92     21.13      5.44   1000000         0
1512.76/1513.25	c        50       127    113.26     21.12      5.36   1000000         0
1514.06/1514.57	c        53       124    115.95     20.55      5.64   1000000         0
1515.37/1515.87	c        56        94    116.65     20.84      5.60   1000000         0
1516.66/1517.18	c        58       136    119.01     20.57      5.79   1000000         0
1518.06/1518.50	c        54       109    116.54     21.66      5.38   1000000         0
1519.36/1519.81	c        49       134    113.35     20.35      5.57   1000000         0
1520.66/1521.12	c        49       104    114.27     23.75      4.81   1000000         0
1521.96/1522.43	c        55       122    118.52     22.47      5.27   1000000         0
1523.26/1523.73	c        49       105    116.42     22.87      5.09   1000000         0
1524.56/1525.04	c        45       114    116.36     20.00      5.82   1000000         0
1525.86/1526.34	c        47       104    118.94     22.12      5.38   1000000         0
1527.15/1527.65	c        51       115    118.46     22.30      5.31   1000000         0
1528.45/1528.97	c        56        94    117.05     22.21      5.27   1000000         0
1529.76/1530.27	c        50       107    116.60     20.97      5.56   1000000         0
1531.05/1531.59	c        47        83    112.62     21.90      5.14   1000000         0
1532.45/1532.90	c        50       128    115.38     22.88      5.04   1000000         0
1533.75/1534.22	c        49       138    114.83     22.25      5.16   1000000         0
1535.05/1535.53	c        48        99    117.21     23.74      4.94   1000000         0
1536.36/1536.85	c        44        84    112.87     21.63      5.22   1000000         0
1537.65/1538.15	c        49       119    114.24     20.86      5.48   1000000         0
1538.95/1539.47	c        49        90    118.08     22.46      5.26   1000000         0
1540.25/1540.78	c        50       108    116.29     21.97      5.29   1000000         0
1541.55/1542.09	c        53       127    116.36     21.49      5.42   1000000         0
1542.86/1543.40	c        50       104    115.78     22.19      5.22   1000000         0
1544.25/1544.72	c        46        85    113.72     22.36      5.09   1000000         0
1545.55/1546.04	c        53        88    118.34     21.52      5.50   1000000         0
1546.85/1547.35	c        49       112    115.26     21.01      5.49   1000000         0
1548.15/1548.66	c        45       121    117.60     20.34      5.78   1000000         0
1549.45/1549.98	c        55       106    116.61     22.24      5.24   1000000         0
1550.75/1551.29	c        56       106    120.87     21.24      5.69   1000000         0
1552.15/1552.60	c        46        92    115.92     20.74      5.59   1000000         0
1553.45/1553.91	c        44       134    116.09     20.34      5.71   1000000         0
1554.75/1555.23	c        53        85    115.11     20.75      5.55   1000000         0
1556.05/1556.54	c        50       100    116.01     19.82      5.85   1000000         0
1557.35/1557.85	c        46        84    117.08     21.97      5.33   1000000         0
1558.65/1559.15	c        49        77    114.03     20.85      5.47   1000000         0
1559.94/1560.47	c        43       103    114.45     21.27      5.38   1000000         0
1561.24/1561.77	c        54        96    117.49     21.53      5.46   1000000         0
1562.54/1563.08	c        49       120    117.17     21.10      5.55   1000000         0
1563.85/1564.39	c        46       106    114.89     23.18      4.96   1000000         0
1565.24/1565.70	c        51       120    118.18     20.66      5.72   1000000         0
1566.54/1567.01	c        56        86    119.73     21.95      5.45   1000000         0
1567.84/1568.33	c        49       116    115.04     21.35      5.39   1000000         0
1569.14/1569.63	c        45       126    114.79     20.71      5.54   1000000         0
1570.45/1570.95	c        51       114    118.35     22.77      5.20   1000000         0
1571.74/1572.26	c        50       105    117.55     20.78      5.66   1000000         0
1573.04/1573.56	c        57        81    118.65     22.71      5.22   1000000         0
1574.34/1574.88	c        53       115    115.61     22.95      5.04   1000000         0
1575.64/1576.18	c        54       102    116.63     22.47      5.19   1000000         0
1576.95/1577.49	c        49       104    117.07     21.30      5.49   1000000         0
1578.34/1578.80	c        38       108    117.83     22.57      5.22   1000000         0
1579.64/1580.13	c        52       138    115.19     20.48      5.62   1000000         0
1580.94/1581.45	c        52       134    115.51     21.27      5.43   1000000         0
1582.24/1582.76	c        41       121    111.63     21.55      5.18   1000000         0
1583.55/1584.07	c        50       115    119.86     21.05      5.69   1000000         0
1584.84/1585.37	c        47       127    118.85     22.03      5.40   1000000         0
1586.14/1586.68	c        52       115    114.38     21.74      5.26   1000000         0
1587.44/1587.99	c        53       115    117.26     20.90      5.61   1000000         0
1588.84/1589.30	c        51       111    113.50     20.98      5.41   1000000         0
1590.14/1590.62	c        53       139    116.81     22.90      5.10   1000000         0
1591.44/1591.93	c        51        99    113.76     21.72      5.24   1000000         0
1592.74/1593.25	c        46       132    114.02     21.74      5.25   1000000         0
1594.03/1594.56	c        52       120    117.04     22.24      5.26   1000000         0
1595.33/1595.87	c        44       133    118.11     20.60      5.73   1000000         0
1596.63/1597.19	c        57       116    117.09     20.76      5.64   1000000         0
1598.03/1598.51	c        46        81    113.99     20.61      5.53   1000000         0
1599.33/1599.82	c        51        90    115.20     22.24      5.18   1000000         0
1600.63/1601.13	c        50        92    118.54     23.88      4.96   1000000         0
1601.93/1602.45	c        48       138    115.90     20.52      5.65   1000000         0
1603.23/1603.75	c        46       166    114.66     22.07      5.19   1000000         0
1604.54/1605.07	c        41       124    115.96     20.36      5.69   1000000         0
1605.83/1606.38	c        55       122    117.52     22.07      5.32   1000000         0
1607.23/1607.70	c        49       149    117.63     21.87      5.38   1000000         0
1608.53/1609.01	c        48        98    114.16     20.67      5.52   1000000         0
1609.83/1610.31	c        53       145    118.13     23.01      5.13   1000000         0
1611.14/1611.62	c        50       143    115.11     20.64      5.58   1000000         0
1612.43/1612.94	c        54       113    118.47     20.70      5.72   1000000         0
1613.73/1614.25	c        46       136    115.06     20.47      5.62   1000000         0
1615.03/1615.55	c        47       122    117.16     20.83      5.62   1000000         0
1616.33/1616.86	c        53       149    115.45     22.28      5.18   1000000         0
1617.64/1618.17	c        53        95    116.69     21.66      5.39   1000000         0
1618.93/1619.49	c        52       107    114.82     22.49      5.11   1000000         0
1620.33/1620.80	c        50       114    120.63     23.18      5.20   1000000         0
1621.63/1622.11	c        50       122    115.49     22.36      5.17   1000000         0
1622.93/1623.42	c        48       139    117.25     22.54      5.20   1000000         0
1624.23/1624.73	c        53        99    114.55     21.01      5.45   1000000         0
1625.53/1626.05	c        54       127    114.87     20.95      5.48   1000000         0
1626.83/1627.37	c        51       102    119.75     22.24      5.38   1000000         0
1628.12/1628.68	c        48        94    118.45     21.66      5.47   1000000         0
1629.42/1629.99	c        45        89    117.42     22.50      5.22   1000000         0
1630.83/1631.30	c        51       109    117.05     22.38      5.23   1000000         0
1632.12/1632.61	c        53       105    116.04     21.05      5.51   1000000         0
1633.42/1633.93	c        46        84    116.86     21.96      5.32   1000000         0
1634.72/1635.23	c        56       124    117.82     21.83      5.40   1000000         0
1636.02/1636.54	c        55       132    117.14     21.86      5.36   1000000         0
1637.32/1637.85	c        49       133    115.42     20.65      5.59   1000000         0
1638.63/1639.16	c        51       118    119.28     20.24      5.89   1000000         0
1639.92/1640.47	c        48       113    117.11     22.15      5.29   1000000         0
1641.22/1641.77	c        46        88    115.18     21.80      5.28   1000000         0
1642.52/1643.09	c        56       130    116.64     21.13      5.52   1000000         0
1643.82/1644.39	c        48        84    120.90     21.69      5.57   1000000         0
1645.13/1645.70	c        54       143    116.53     22.48      5.18   1000000         0
1646.52/1647.00	c        54       108    115.22     21.87      5.27   1000000         0
1647.82/1648.31	c        50       148    114.33     20.84      5.49   1000000         0
1649.12/1649.62	c        48        84    113.16     21.97      5.15   1000000         0
1650.42/1650.94	c        46       134    115.39     22.45      5.14   1000000         0
1651.73/1652.25	c        56       111    117.39     22.08      5.32   1000000         0
1653.02/1653.57	c        57       116    118.23     21.35      5.54   1000000         0
1654.32/1654.88	c        49       118    116.59     20.62      5.66   1000000         0
1655.62/1656.19	c        52       124    115.27     21.11      5.46   1000000         0
1657.02/1657.50	c        49       114    117.47     23.37      5.03   1000000         0
1658.22/1658.79	c        51       120    117.11     22.23      5.27   1000000         0
1659.62/1660.10	c        51        76    116.74     21.78      5.36   1000000         0
1660.92/1661.42	c        53       126    115.63     22.34      5.18   1000000         0
1662.22/1662.72	c        50       117    114.27     21.24      5.38   1000000         0
1663.52/1664.04	c        54       103    115.57     20.87      5.54   1000000         0
1664.81/1665.35	c        45        76    118.29     23.38      5.06   1000000         0
1666.12/1666.66	c        50       142    115.80     20.44      5.66   1000000         0
1667.41/1667.96	c        55       120    118.84     22.20      5.35   1000000         0
1668.71/1669.27	c        56       106    118.41     20.79      5.69   1000000         0
1670.01/1670.57	c        54       113    120.01     22.18      5.41   1000000         0
1671.31/1671.89	c        53       128    114.01     19.72      5.78   1000000         0
1672.62/1673.20	c        53       147    118.04     20.47      5.77   1000000         0
1674.01/1674.51	c        47        73    115.19     20.67      5.57   1000000         0
1675.31/1675.82	c        52       103    115.75     21.82      5.30   1000000         0
1676.61/1677.13	c        52        97    117.40     21.65      5.42   1000000         0
1677.91/1678.45	c        51       106    116.15     23.44      4.96   1000000         0
1679.22/1679.76	c        48       111    115.96     21.42      5.41   1000000         0
1680.51/1681.07	c        49       102    115.69     23.09      5.01   1000000         0
1681.81/1682.37	c        43       100    115.64     22.43      5.16   1000000         0
1683.11/1683.68	c        51       106    116.39     21.97      5.30   1000000         0
1684.41/1684.99	c        49       135    112.00     21.89      5.12   1000000         0
1685.82/1686.31	c        51       126    114.22     21.95      5.20   1000000         0
1687.11/1687.61	c        56       121    115.75     21.51      5.38   1000000         0
1688.41/1688.92	c        52       139    117.34     20.64      5.68   1000000         0
1689.71/1690.23	c        45       157    114.38     20.87      5.48   1000000         0
1691.01/1691.54	c        49       114    117.98     22.94      5.14   1000000         0
1692.31/1692.85	c        49       109    115.14     21.05      5.47   1000000         0
1693.61/1694.16	c        48       101    117.06     20.98      5.58   1000000         0
1694.91/1695.47	c        47       149    118.38     21.16      5.59   1000000         0
1696.21/1696.77	c        53       116    115.75     21.81      5.31   1000000         0
1697.50/1698.09	c        47        99    115.60     20.64      5.60   1000000         0
1698.90/1699.40	c        47       134    115.22     21.31      5.41   1000000         0
1700.21/1700.71	c        52       113    117.41     22.32      5.26   1000000         0
1701.51/1702.03	c        48       111    114.22     22.29      5.12   1000000         0
1702.81/1703.33	c        51       142    116.40     19.76      5.89   1000000         0
1704.10/1704.65	c        49       118    118.98     21.38      5.57   1000000         0
1705.40/1705.96	c        51        87    116.80     21.72      5.38   1000000         0
1706.71/1707.27	c        46       114    118.01     21.33      5.53   1000000         0
1708.00/1708.59	c        49       111    117.09     22.37      5.23   1000000         0
1709.30/1709.89	c        52       104    116.91     20.68      5.65   1000000         0
1710.70/1711.21	c        47       143    117.68     22.05      5.34   1000000         0
1712.00/1712.51	c        48       132    116.90     20.91      5.59   1000000         0
1713.31/1713.81	c        52       110    116.62     20.08      5.81   1000000         0
1714.60/1715.13	c        50        96    117.36     20.36      5.76   1000000         0
1715.90/1716.45	c        52       120    113.17     21.26      5.32   1000000         0
1717.20/1717.77	c        55       144    114.73     20.94      5.48   1000000         0
1718.50/1719.08	c        51        93    119.64     21.59      5.54   1000000         0
1719.80/1720.38	c        51       128    116.63     20.59      5.66   1000000         0
1721.20/1721.70	c        55        88    117.32     21.59      5.43   1000000         0
1722.50/1723.01	c        53       128    120.69     22.80      5.29   1000000         0
1723.80/1724.32	c        54       115    118.89     22.20      5.36   1000000         0
1725.10/1725.63	c        49        98    113.92     20.90      5.45   1000000         0
1726.40/1726.94	c        51       125    114.38     21.38      5.35   1000000         0
1727.70/1728.26	c        49       148    116.13     20.57      5.64   1000000         0
1729.00/1729.57	c        55       105    116.88     20.89      5.60   1000000         0
1730.29/1730.89	c        55       142    116.45     20.73      5.62   1000000         0
1731.59/1732.19	c        45        99    117.99     22.95      5.14   1000000         0
1732.99/1733.51	c        51       147    117.09     23.00      5.09   1000000         0
1734.30/1734.82	c        54       125    118.16     21.59      5.47   1000000         0
1735.59/1736.13	c        53       132    115.19     21.80      5.28   1000000         0
1736.89/1737.44	c        54        95    115.23     21.08      5.47   1000000         0
1738.19/1738.74	c        54       122    115.50     21.99      5.25   1000000         0
1739.49/1740.05	c        51       104    114.81     20.41      5.63   1000000         0
1740.80/1741.37	c        55        84    115.58     21.27      5.43   1000000         0
1742.09/1742.68	c        52       141    117.70     22.38      5.26   1000000         0
1743.39/1743.99	c        56       135    117.13     21.72      5.39   1000000         0
1744.79/1745.30	c        39       131    114.87     21.07      5.45   1000000         0
1746.09/1746.61	c        50        87    118.75     23.01      5.16   1000000         0
1747.40/1747.92	c        50        94    118.42     21.89      5.41   1000000         0
1748.69/1749.23	c        54       113    116.96     25.05      4.67   1000000         0
1749.99/1750.53	c        49       117    116.89     22.50      5.20   1000000         0
1751.29/1751.84	c        49       149    117.98     21.60      5.46   1000000         0
1752.59/1753.14	c        48       125    119.17     20.57      5.79   1000000         0
1753.89/1754.45	c        53        99    114.16     22.51      5.07   1000000         0
1755.20/1755.76	c        46       121    115.95     20.91      5.54   1000000         0
1756.49/1757.08	c        50        90    114.06     22.18      5.14   1000000         0
1757.89/1758.40	c        48       126    113.14     21.80      5.19   1000000         0
1759.19/1759.71	c        55       103    117.93     21.72      5.43   1000000         0
1760.49/1761.02	c        54       144    117.86     20.65      5.71   1000000         0
1761.79/1762.34	c        48        93    114.23     20.32      5.62   1000000         0
1763.09/1763.65	c        42       124    115.85     21.22      5.46   1000000         0
1764.38/1764.96	c        50       138    120.03     22.30      5.38   1000000         0
1765.68/1766.28	c        44       112    114.65     20.67      5.55   1000000         0
1766.98/1767.59	c        53       123    115.78     21.50      5.38   1000000         0
1768.29/1768.90	c        52       126    117.78     22.57      5.22   1000000         0
1769.68/1770.21	c        49        93    114.73     19.97      5.75   1000000         0
1770.98/1771.52	c        58       124    121.09     23.63      5.13   1000000         0
1772.28/1772.83	c        49       125    114.85     22.12      5.19   1000000         0
1773.58/1774.14	c        56        91    114.74     20.87      5.50   1000000         0
1774.89/1775.45	c        52       117    116.52     23.23      5.02   1000000         0
1776.18/1776.77	c        53       102    113.59     19.84      5.73   1000000         0
1777.48/1778.08	c        43       121    117.49     22.97      5.11   1000000         0
1778.78/1779.39	c        49        99    115.58     21.59      5.35   1000000         0
1780.08/1780.69	c        48       119    118.17     22.74      5.20   1000000         0
1781.49/1782.00	c        55       117    116.97     22.26      5.26   1000000         0
1782.78/1783.31	c        52       119    116.86     20.86      5.60   1000000         0
1784.08/1784.63	c        54        96    116.91     21.11      5.54   1000000         0
1785.38/1785.94	c        48        99    117.38     21.61      5.43   1000000         0
1786.68/1787.25	c        52       102    115.53     19.66      5.88   1000000         0
1787.98/1788.56	c        52       104    114.67     20.93      5.48   1000000         0
1789.28/1789.87	c        55       117    118.10     21.43      5.51   1000000         0
1790.58/1791.19	c        53       103    117.36     20.60      5.70   1000000         0
1791.98/1792.50	c        47        70    119.93     23.10      5.19   1000000         0
1793.28/1793.81	c        56       119    117.47     20.56      5.71   1000000         0
1794.58/1795.12	c        53       118    117.85     19.59      6.01   1000000         0
1795.88/1796.43	c        55       127    115.90     22.77      5.09   1000000         0
1797.18/1797.73	c        56       108    116.04     21.83      5.31   1000000         0
1798.48/1799.05	c        49       108    114.21     20.38      5.60   1000000         0
1799.77/1800.37	c        48        82    116.15     21.36      5.44   1000000         0
1800.08/1800.60	HOME/run: line 2:  9798 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-2669869-1276610784/watcher-2669869-1276610784 -o /tmp/evaluation-result-2669869-1276610784/solver-2669869-1276610784 -C 1800 -W 2000 -M 1800 run HOME/instance-2669869-1276610784.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.00 1.00 1.00 3/106 9797
/proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0

[startup+0.106975 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9797
/proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200985 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9797
/proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300994 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9797
/proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701035 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9797
/proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50112 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9799
/proc/meminfo: memFree=1519856/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1.49
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 149 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10028 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9799
/proc/meminfo: memFree=1519608/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=3.09
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 309 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525769 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9799
/proc/meminfo: memFree=1519484/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=6.29
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 629 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525821 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9799
/proc/meminfo: memFree=1519360/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=12.69
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 1269 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9799
/proc/meminfo: memFree=1519360/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=25.48
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 2548 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526787 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9801
/proc/meminfo: memFree=1519360/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=51.07
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 5107 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9801
/proc/meminfo: memFree=1519112/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=102.27
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 10227 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134519876 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9803
/proc/meminfo: memFree=1518864/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=162.24
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 16224 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134571284 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9805
/proc/meminfo: memFree=1518864/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=222.23
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 22223 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134527015 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9807
/proc/meminfo: memFree=1518740/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=282.21
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 28221 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9809
/proc/meminfo: memFree=1518616/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=342.19
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 34219 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134537251 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9809
/proc/meminfo: memFree=1518492/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=402.17
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 40217 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=9798] ppid=9797 vsize=40452 CPUtime=1121.97
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 112197 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9831
/proc/meminfo: memFree=1516880/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1181.95
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 118195 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526903 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 9833
/proc/meminfo: memFree=1516632/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1241.93
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 124193 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 9833
/proc/meminfo: memFree=1516384/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1301.92
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 130192 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 9835
/proc/meminfo: memFree=1516384/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1361.9
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 136190 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526500 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9837
/proc/meminfo: memFree=1516260/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1421.89
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 142189 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9839
/proc/meminfo: memFree=1516136/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1481.86
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 148186 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9841
/proc/meminfo: memFree=1516012/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1541.86
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 154185 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 9844
/proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1601.83
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 160182 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 9846
/proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1661.82
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 166181 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9848
/proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1721.8
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 172179 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526157 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9850
/proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1781.78
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 178177 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.78
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 9850
/proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1800.08
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 180007 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9850
/proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956
[pid=9797] ppid=9795 vsize=8700 CPUtime=0
/proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9797/statm: 2175 244 204 178 0 68 0
[pid=9798] ppid=9797 vsize=40452 CPUtime=1800.08
/proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 180007 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9798/statm: 10113 788 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1800.08
CPU system time (s): 0.012998
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1231
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5090

runsolver used 3.22551 second user time and 8.33373 second system time

The end

Launcher Data

Begin job on node045 at 2010-06-15 16:06:24
IDJOB=2669869
IDBENCH=1464
IDSOLVER=1171
FILE ID=node045/2669869-1276610784
PBS_JOBID= 11172250
Free space on /tmp= 62460 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669869-1276610784/watcher-2669869-1276610784 -o /tmp/evaluation-result-2669869-1276610784/solver-2669869-1276610784 -C 1800 -W 2000 -M 1800  run HOME/instance-2669869-1276610784.opb

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

MD5SUM BENCH= e5d29c8d327340997e74cb5790fdc500
RANDOM SEED=1049160570

node045.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.247
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.49
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.247
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1523616 kB
Buffers:         67172 kB
Cached:         341732 kB
SwapCached:          0 kB
Active:         186228 kB
Inactive:       282108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1523616 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             888 kB
Writeback:          12 kB
AnonPages:       59424 kB
Mapped:          15428 kB
Slab:            45380 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180968 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= 62460 MiB
End job on node045 at 2010-06-15 16:36:25