0.00/0.04	c PB-wave - v2
0.00/0.04	c command line = ./PB-wave
0.00/0.04	c seed = 42350555
0.00/0.04	c cutoff = 1000000
0.00/0.04	c tries = 1000000
0.00/0.04	c heuristic = c best, noise 50 / 100
0.00/0.04	#var 5072 #con 12829
0.00/0.04	mode is SAT
0.00/0.04	c tail starts after flip = 15216
0.00/0.04	c numatom = 5072, numclause = 12829, numliterals = 43793
0.00/0.04	c wff read in
0.00/0.04	c 
0.00/0.04	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.04	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.04	c       this      this      this      this      this      this   success   success       until         std
0.00/0.04	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.04	c
1.79/1.89	c       114       178    214.25     38.98      5.50   1000000         0
3.69/3.73	c       121       172    220.16     41.81      5.27   1000000         0
5.50/5.57	c       135       204    227.33     38.73      5.87   1000000         0
7.39/7.42	c       126       204    216.49     35.28      6.14   1000000         0
9.19/9.28	c        97       250    213.50     38.78      5.51   1000000         0
11.09/11.11	c       129       166    225.19     41.31      5.45   1000000         0
12.89/12.96	c       121       202    215.47     37.44      5.75   1000000         0
14.78/14.81	c       125       175    222.91     35.84      6.22   1000000         0
16.58/16.66	c        98       228    218.25     39.42      5.54   1000000         0
18.48/18.52	c       112       238    215.29     42.12      5.11   1000000         0
20.28/20.37	c       111       147    217.72     39.89      5.46   1000000         0
22.18/22.21	c       124       193    219.75     42.51      5.17   1000000         0
23.98/24.06	c       127       240    225.53     39.77      5.67   1000000         0
25.88/25.91	c       123       251    222.90     41.32      5.39   1000000         0
27.68/27.76	c       134       226    225.08     36.90      6.10   1000000         0
29.59/29.60	c       126       208    216.86     39.75      5.46   1000000         0
31.38/31.45	c       113       184    213.61     40.70      5.25   1000000         0
33.28/33.30	c       105       235    222.14     37.39      5.94   1000000         0
35.08/35.14	c       120       185    225.84     45.79      4.93   1000000         0
36.88/36.98	c       108       206    224.82     42.95      5.23   1000000         0
38.78/38.83	c       122       225    218.03     40.57      5.37   1000000         0
40.58/40.66	c       108       175    223.79     39.40      5.68   1000000         0
42.48/42.50	c       114       179    218.57     40.82      5.35   1000000         0
44.27/44.36	c       111       288    213.67     40.03      5.34   1000000         0
46.18/46.21	c       111       223    217.55     43.14      5.04   1000000         0
47.97/48.05	c       120       242    220.01     34.52      6.37   1000000         0
49.87/49.90	c       111       216    219.00     41.90      5.23   1000000         0
51.68/51.73	c       127       153    229.56     42.85      5.36   1000000         0
53.47/53.57	c       115       274    224.83     40.72      5.52   1000000         0
55.37/55.42	c       119       182    219.83     39.13      5.62   1000000         0
57.18/57.25	c       119       215    220.81     37.40      5.90   1000000         0
59.07/59.10	c       130       209    223.93     37.87      5.91   1000000         0
60.87/60.95	c       109       214    213.77     38.54      5.55   1000000         0
62.68/62.79	c       124       172    222.46     42.89      5.19   1000000         0
64.57/64.64	c       118       192    220.19     37.99      5.80   1000000         0
66.37/66.47	c       115       223    223.49     43.41      5.15   1000000         0
68.27/68.32	c       128       218    217.07     39.36      5.51   1000000         0
70.06/70.17	c       113       188    220.79     37.95      5.82   1000000         0
71.96/72.02	c       111       243    209.13     36.43      5.74   1000000         0
73.76/73.86	c       121       226    216.91     38.10      5.69   1000000         0
75.56/75.69	c       128       217    225.47     44.58      5.06   1000000         0
77.46/77.54	c       128       261    217.23     39.51      5.50   1000000         0
79.26/79.38	c       135       242    232.82     37.72      6.17   1000000         0
81.16/81.23	c       124       234    217.68     36.76      5.92   1000000         0
82.96/83.08	c       118       241    213.32     39.09      5.46   1000000         0
84.86/84.92	c       122       195    220.79     40.13      5.50   1000000         0
86.66/86.75	c       127       209    229.45     39.61      5.79   1000000         0
88.56/88.60	c       120       226    223.82     38.00      5.89   1000000         0
90.36/90.45	c       116       210    219.43     36.67      5.98   1000000         0
92.16/92.29	c       125       249    223.36     42.03      5.31   1000000         0
94.06/94.16	c       114       228    217.58     37.14      5.86   1000000         0
95.96/96.01	c       100       194    215.15     35.96      5.98   1000000         0
97.76/97.86	c       109       212    210.39     39.40      5.34   1000000         0
99.65/99.70	c       126       215    218.95     40.79      5.37   1000000         0
101.45/101.55	c       115       190    213.04     41.31      5.16   1000000         0
103.26/103.39	c       135       201    225.53     37.01      6.09   1000000         0
105.15/105.24	c       114       214    219.77     39.26      5.60   1000000         0
106.95/107.07	c       121       228    223.72     34.88      6.41   1000000         0
108.86/108.92	c       117       224    220.80     41.62      5.31   1000000         0
110.65/110.75	c       131       205    226.48     39.36      5.75   1000000         0
112.55/112.62	c       115       195    215.72     42.71      5.05   1000000         0
114.36/114.47	c       127       218    219.84     35.68      6.16   1000000         0
116.25/116.31	c       125       204    221.73     36.62      6.06   1000000         0
118.05/118.14	c       122       169    223.32     39.77      5.62   1000000         0
119.85/119.99	c       104       182    217.86     39.59      5.50   1000000         0
121.75/121.82	c       126       177    220.15     35.07      6.28   1000000         0
123.55/123.67	c       118       216    219.95     38.23      5.75   1000000         0
125.44/125.52	c       116       176    216.45     40.10      5.40   1000000         0
127.24/127.38	c       127       205    222.29     35.88      6.20   1000000         0
129.14/129.22	c       127       201    224.67     38.82      5.79   1000000         0
130.94/131.05	c       115       186    217.85     38.21      5.70   1000000         0
132.84/132.92	c       125       207    218.13     40.14      5.43   1000000         0
134.64/134.77	c       118       174    215.43     39.21      5.49   1000000         0
136.54/136.62	c       122       200    217.95     40.26      5.41   1000000         0
138.34/138.46	c       119       161    224.58     33.29      6.75   1000000         0
140.24/140.31	c       118       254    219.65     41.77      5.26   1000000         0
142.04/142.17	c       121       239    216.59     41.03      5.28   1000000         0
143.94/144.02	c       125       205    222.02     36.52      6.08   1000000         0
145.73/145.87	c       117       217    217.78     36.86      5.91   1000000         0
147.63/147.70	c       115       212    223.83     38.61      5.80   1000000         0
149.44/149.55	c       125       227    220.41     38.71      5.69   1000000         0
151.23/151.39	c       109       212    220.71     39.46      5.59   1000000         0
153.13/153.22	c       122       196    223.09     38.69      5.77   1000000         0
154.94/155.06	c       125       206    221.46     37.63      5.89   1000000         0
156.73/156.90	c       123       242    226.46     41.51      5.46   1000000         0
158.63/158.75	c       112       207    216.92     37.53      5.78   1000000         0
160.44/160.59	c       112       168    211.80     33.37      6.35   1000000         0
162.33/162.42	c       132       222    229.16     39.70      5.77   1000000         0
164.13/164.27	c       107       240    221.01     40.43      5.47   1000000         0
166.04/166.11	c       125       199    221.16     40.10      5.52   1000000         0
167.83/167.95	c       111       206    215.13     40.82      5.27   1000000         0
169.63/169.79	c       123       206    224.60     41.00      5.48   1000000         0
171.53/171.64	c       116       199    218.08     36.53      5.97   1000000         0
173.33/173.49	c       120       206    213.81     40.26      5.31   1000000         0
175.23/175.32	c       130       213    222.17     38.00      5.85   1000000         0
177.03/177.17	c       126       256    219.83     39.49      5.57   1000000         0
178.92/179.01	c       114       234    219.75     36.98      5.94   1000000         0
180.72/180.87	c       125       239    221.77     38.27      5.80   1000000         0
182.62/182.70	c       114       179    230.54     39.01      5.91   1000000         0
184.42/184.53	c       129       183    227.48     42.38      5.37   1000000         0
186.22/186.36	c       130       221    222.53     40.28      5.52   1000000         0
188.12/188.21	c       122       194    215.04     40.27      5.34   1000000         0
189.92/190.05	c       123       162    218.41     45.22      4.83   1000000         0
191.82/191.91	c       114       202    218.41     39.12      5.58   1000000         0
193.62/193.75	c       124       167    213.26     41.09      5.19   1000000         0
195.52/195.60	c       120       184    212.90     35.36      6.02   1000000         0
197.32/197.45	c       126       221    226.41     40.50      5.59   1000000         0
199.12/199.28	c       125       211    223.65     32.23      6.94   1000000         0
201.02/201.14	c       111       241    219.51     41.35      5.31   1000000         0
202.82/202.98	c       116       191    218.07     37.12      5.88   1000000         0
204.72/204.82	c       123       268    223.57     37.70      5.93   1000000         0
206.51/206.66	c       120       176    219.71     41.23      5.33   1000000         0
208.41/208.51	c       112       245    215.80     39.51      5.46   1000000         0
210.21/210.36	c       122       220    221.42     40.90      5.41   1000000         0
212.12/212.21	c       131       290    221.49     44.05      5.03   1000000         0
213.91/214.04	c       114       205    222.17     41.82      5.31   1000000         0
215.71/215.87	c       123       235    222.55     37.89      5.87   1000000         0
217.62/217.74	c        87       263    216.76     44.74      4.84   1000000         0
219.41/219.58	c       113       202    222.68     38.45      5.79   1000000         0
221.31/221.43	c       123       207    223.34     41.34      5.40   1000000         0
223.12/223.28	c       109       225    216.81     39.81      5.45   1000000         0
225.01/225.13	c       124       195    221.85     40.13      5.53   1000000         0
226.81/226.98	c       122       221    221.03     35.13      6.29   1000000         0
228.71/228.85	c       111       246    209.78     43.53      4.82   1000000         0
230.51/230.68	c       117       173    218.74     41.97      5.21   1000000         0
232.40/232.52	c       113       251    218.22     45.45      4.80   1000000         0
234.21/234.38	c       107       249    214.66     36.42      5.89   1000000         0
236.10/236.22	c       125       158    221.22     37.57      5.89   1000000         0
237.90/238.09	c       110       217    212.66     38.15      5.57   1000000         0
239.80/239.93	c       111       236    218.63     37.13      5.89   1000000         0
241.60/241.75	c       116       198    220.83     38.09      5.80   1000000         0
243.40/243.58	c       126       188    225.50     41.00      5.50   1000000         0
245.30/245.43	c       127       227    219.73     36.56      6.01   1000000         0
247.10/247.27	c       119       252    222.13     38.66      5.75   1000000         0
249.00/249.14	c       121       158    217.27     41.70      5.21   1000000         0
250.80/250.96	c       128       243    226.35     37.60      6.02   1000000         0
252.70/252.81	c       117       191    215.23     41.76      5.15   1000000         0
254.50/254.67	c       116       167    206.51     40.86      5.05   1000000         0
256.40/256.51	c       129       211    221.88     34.17      6.49   1000000         0
258.20/258.37	c       119       213    215.44     39.33      5.48   1000000         0
260.10/260.23	c       113       261    215.91     42.30      5.10   1000000         0
261.89/262.09	c       124       233    219.70     38.94      5.64   1000000         0
263.80/263.92	c       117       202    217.29     37.17      5.85   1000000         0
265.59/265.79	c       114       195    214.04     40.89      5.23   1000000         0
267.49/267.63	c       111       195    222.24     42.14      5.27   1000000         0
269.30/269.48	c       118       174    214.39     38.03      5.64   1000000         0
271.19/271.32	c       116       205    217.00     41.53      5.22   1000000         0
272.99/273.17	c       118       271    215.19     37.15      5.79   1000000         0
274.90/275.02	c       113       221    219.71     43.78      5.02   1000000         0
276.69/276.87	c       124       178    224.11     34.37      6.52   1000000         0
278.59/278.71	c       130       239    220.51     37.95      5.81   1000000         0
280.40/280.56	c       111       223    218.59     38.12      5.73   1000000         0
282.29/282.41	c       122       228    216.01     39.25      5.50   1000000         0
284.09/284.24	c       112       166    220.30     33.88      6.50   1000000         0
285.99/286.11	c       110       208    212.14     39.72      5.34   1000000         0
287.79/287.95	c       130       253    225.03     38.40      5.86   1000000         0
289.69/289.80	c       129       250    222.56     38.78      5.74   1000000         0
291.49/291.65	c       123       154    219.55     38.90      5.64   1000000         0
293.28/293.49	c       110       213    214.98     36.53      5.88   1000000         0
295.18/295.34	c       108       180    222.94     43.72      5.10   1000000         0
296.98/297.19	c       120       220    215.76     35.54      6.07   1000000         0
298.88/299.02	c       116       191    221.70     39.46      5.62   1000000         0
300.68/300.88	c       123       205    220.91     32.07      6.89   1000000         0
302.58/302.71	c       115       229    221.09     40.12      5.51   1000000         0
304.38/304.54	c       124       212    228.81     43.85      5.22   1000000         0
306.18/306.39	c       111       250    219.86     34.43      6.38   1000000         0
308.08/308.24	c       113       223    218.91     36.98      5.92   1000000         0
309.88/310.07	c       128       205    224.91     35.38      6.36   1000000         0
311.78/311.92	c       121       183    224.47     42.53      5.28   1000000         0
313.58/313.77	c       109       144    213.98     42.14      5.08   1000000         0
315.48/315.62	c       116       230    219.80     35.47      6.20   1000000         0
317.28/317.46	c       121       207    216.97     38.05      5.70   1000000         0
319.17/319.30	c       127       198    228.40     39.94      5.72   1000000         0
320.98/321.14	c       126       222    227.63     35.29      6.45   1000000         0
322.77/322.98	c       129       190    225.46     38.54      5.85   1000000         0
324.67/324.82	c       118       216    220.55     41.56      5.31   1000000         0
326.48/326.66	c       119       222    219.02     42.23      5.19   1000000         0
328.37/328.53	c       108       220    214.01     41.76      5.12   1000000         0
330.17/330.38	c       114       222    218.25     43.66      5.00   1000000         0
332.08/332.23	c       121       217    217.41     39.26      5.54   1000000         0
333.87/334.08	c       114       227    215.51     39.72      5.43   1000000         0
335.77/335.92	c       120       251    218.29     39.60      5.51   1000000         0
337.58/337.76	c       121       185    214.59     36.11      5.94   1000000         0
339.47/339.61	c       117       232    215.67     41.58      5.19   1000000         0
341.27/341.44	c       114       210    224.47     38.91      5.77   1000000         0
343.07/343.29	c       125       285    221.47     41.90      5.29   1000000         0
344.96/345.14	c       127       204    221.97     38.67      5.74   1000000         0
346.86/347.01	c       109       237    218.81     38.31      5.71   1000000         0
348.66/348.86	c       127       242    216.40     36.02      6.01   1000000         0
350.56/350.72	c       110       226    219.17     43.72      5.01   1000000         0
352.36/352.59	c       101       235    209.34     43.61      4.80   1000000         0
354.26/354.43	c       127       237    226.96     41.34      5.49   1000000         0
356.06/356.27	c       119       178    223.58     37.32      5.99   1000000         0
357.96/358.11	c       124       217    218.67     39.00      5.61   1000000         0
359.76/359.96	c       115       173    222.52     40.32      5.52   1000000         0
361.56/361.78	c       119       219    219.18     39.93      5.49   1000000         0
363.46/363.61	c       130       260    219.75     40.21      5.47   1000000         0
365.26/365.47	c       123       225    218.35     36.76      5.94   1000000         0
367.17/367.32	c       120       234    219.70     39.48      5.57   1000000         0
368.96/369.16	c       118       183    220.84     36.33      6.08   1000000         0
370.86/371.01	c       105       184    224.12     45.32      4.95   1000000         0
372.66/372.86	c       122       188    214.60     36.76      5.84   1000000         0
374.55/374.70	c       117       209    220.76     42.81      5.16   1000000         0
376.35/376.54	c       119       171    227.79     40.18      5.67   1000000         0
378.16/378.39	c       116       212    223.07     39.19      5.69   1000000         0
380.05/380.25	c       120       274    221.23     41.31      5.36   1000000         0
381.85/382.09	c       115       199    223.86     38.79      5.77   1000000         0
383.76/383.94	c       113       201    217.40     39.47      5.51   1000000         0
385.55/385.79	c       109       193    223.44     40.88      5.47   1000000         0
387.45/387.63	c       103       249    216.41     35.72      6.06   1000000         0
389.26/389.48	c       124       217    221.29     40.34      5.49   1000000         0
391.15/391.32	c       130       242    220.57     37.36      5.90   1000000         0
392.95/393.17	c       119       226    217.78     47.07      4.63   1000000         0
394.85/395.02	c       123       257    222.34     43.39      5.12   1000000         0
396.65/396.86	c       129       243    222.55     42.77      5.20   1000000         0
398.55/398.71	c       118       245    222.53     37.90      5.87   1000000         0
400.35/400.55	c       105       232    218.58     34.94      6.25   1000000         0
402.24/402.40	c       122       192    217.48     35.89      6.06   1000000         0
404.04/404.25	c       122       149    216.87     39.73      5.46   1000000         0
405.84/406.09	c       113       251    220.65     39.92      5.53   1000000         0
407.74/407.92	c       112       203    220.36     38.77      5.68   1000000         0
409.54/409.76	c       127       201    220.51     37.87      5.82   1000000         0
411.44/411.60	c       117       187    220.49     38.72      5.70   1000000         0
413.24/413.43	c       132       193    223.41     39.47      5.66   1000000         0
415.04/415.27	c       116       191    220.78     41.92      5.27   1000000         0
416.94/417.10	c       121       184    221.80     35.56      6.24   1000000         0
418.74/418.96	c       118       238    215.37     35.62      6.05   1000000         0
420.64/420.80	c       124       242    218.61     35.63      6.14   1000000         0
422.44/422.67	c       114       202    218.17     40.54      5.38   1000000         0
424.34/424.53	c       117       210    220.79     43.88      5.03   1000000         0
426.13/426.37	c       130       222    222.92     34.37      6.49   1000000         0
428.03/428.21	c       114       181    222.28     39.72      5.60   1000000         0
429.84/430.06	c       119       214    219.22     42.65      5.14   1000000         0
431.63/431.89	c       118       199    216.81     40.32      5.38   1000000         0
433.53/433.75	c       115       198    220.92     39.79      5.55   1000000         0
435.34/435.60	c       111       200    213.22     36.62      5.82   1000000         0
437.23/437.43	c       112       208    221.67     39.91      5.55   1000000         0
439.03/439.27	c       122       261    221.77     38.00      5.84   1000000         0
440.94/441.13	c       117       208    210.07     40.46      5.19   1000000         0
442.73/442.98	c       122       215    223.78     39.24      5.70   1000000         0
444.63/444.82	c       116       180    225.11     41.91      5.37   1000000         0
446.43/446.67	c       125       215    224.32     41.72      5.38   1000000         0
448.33/448.50	c       114       215    224.49     39.67      5.66   1000000         0
450.12/450.35	c       129       201    217.70     32.85      6.63   1000000         0
452.02/452.21	c       118       209    219.83     39.43      5.57   1000000         0
453.82/454.06	c       120       205    220.67     36.51      6.04   1000000         0
455.72/455.91	c       115       232    215.56     42.49      5.07   1000000         0
457.52/457.75	c       123       226    219.72     41.30      5.32   1000000         0
459.42/459.61	c       128       232    221.14     39.14      5.65   1000000         0
461.22/461.46	c       117       226    220.34     40.88      5.39   1000000         0
463.12/463.31	c       118       225    218.01     39.68      5.49   1000000         0
464.92/465.16	c       121       174    222.06     40.28      5.51   1000000         0
466.82/467.01	c       108       214    224.39     43.84      5.12   1000000         0
468.62/468.86	c       119       159    220.19     40.14      5.49   1000000         0
470.52/470.71	c       114       248    215.70     41.00      5.26   1000000         0
472.32/472.55	c       123       211    222.61     35.92      6.20   1000000         0
474.22/474.40	c       102       196    218.07     42.62      5.12   1000000         0
476.02/476.24	c       122       245    218.82     38.20      5.73   1000000         0
477.92/478.10	c       121       171    214.13     38.82      5.52   1000000         0
479.71/479.94	c       119       294    217.73     39.56      5.50   1000000         0
481.52/481.78	c       129       202    222.98     35.85      6.22   1000000         0
483.41/483.62	c       130       190    222.68     35.70      6.24   1000000         0
485.21/485.45	c       118       267    224.22     36.21      6.19   1000000         0
487.02/487.30	c       118       213    219.43     41.34      5.31   1000000         0
488.91/489.16	c       118       227    217.46     33.91      6.41   1000000         0
490.81/491.00	c       124       182    217.27     34.08      6.38   1000000         0
492.62/492.84	c       118       228    221.81     37.85      5.86   1000000         0
494.41/494.68	c       121       219    219.11     41.50      5.28   1000000         0
496.31/496.50	c       115       226    225.66     42.79      5.27   1000000         0
498.12/498.35	c       106       265    211.29     42.24      5.00   1000000         0
500.01/500.20	c       129       216    222.60     33.02      6.74   1000000         0
501.80/502.05	c       100       257    208.54     38.24      5.45   1000000         0
503.70/503.90	c       111       191    211.40     37.58      5.63   1000000         0
505.50/505.76	c       117       236    216.99     38.80      5.59   1000000         0
507.30/507.57	c       120       223    223.31     49.50      4.51   1000000         0
509.11/509.39	c       116       175    219.34     37.08      5.92   1000000         0
511.00/511.25	c       105       201    219.57     41.52      5.29   1000000         0
512.90/513.11	c       118       205    213.47     43.04      4.96   1000000         0
514.70/514.94	c       127       224    232.89     41.36      5.63   1000000         0
516.50/516.79	c       122       222    219.80     38.10      5.77   1000000         0
518.40/518.64	c       110       281    219.16     40.77      5.38   1000000         0
520.30/520.50	c       121       231    216.90     39.80      5.45   1000000         0
522.10/522.35	c        90       214    216.60     43.11      5.02   1000000         0
523.90/524.18	c       128       237    220.93     38.36      5.76   1000000         0
525.80/526.02	c       121       177    223.20     40.60      5.50   1000000         0
527.60/527.85	c       122       227    222.52     39.34      5.66   1000000         0
529.40/529.68	c       113       207    225.06     42.12      5.34   1000000         0
531.29/531.52	c       129       208    223.86     34.79      6.43   1000000         0
533.09/533.38	c       116       216    212.15     37.40      5.67   1000000         0
534.99/535.22	c       113       206    220.13     40.44      5.44   1000000         0
536.79/537.07	c       117       233    224.30     37.83      5.93   1000000         0
538.70/538.90	c       120       241    227.17     41.97      5.41   1000000         0
540.49/540.75	c       106       203    217.98     40.04      5.44   1000000         0
542.39/542.61	c       108       174    215.63     39.69      5.43   1000000         0
544.20/544.45	c       133       185    222.70     35.25      6.32   1000000         0
545.99/546.28	c       111       166    221.64     39.85      5.56   1000000         0
547.89/548.14	c       108       172    218.16     45.13      4.83   1000000         0
549.69/550.00	c       123       194    216.34     41.24      5.25   1000000         0
551.59/551.84	c       117       209    219.60     41.42      5.30   1000000         0
553.39/553.68	c       112       268    218.37     40.47      5.40   1000000         0
555.29/555.55	c       116       175    216.09     38.82      5.57   1000000         0
557.19/557.42	c       114       227    216.31     42.87      5.05   1000000         0
558.99/559.27	c       112       195    219.40     38.83      5.65   1000000         0
560.88/561.11	c       120       247    218.63     37.49      5.83   1000000         0
562.68/562.98	c       105       209    209.52     40.12      5.22   1000000         0
564.58/564.82	c       123       221    223.91     38.25      5.85   1000000         0
566.38/566.67	c       103       231    218.39     37.64      5.80   1000000         0
568.28/568.51	c       125       260    221.23     38.54      5.74   1000000         0
570.08/570.35	c       119       253    217.44     37.75      5.76   1000000         0
571.88/572.19	c       118       211    217.61     38.33      5.68   1000000         0
573.78/574.02	c       115       190    219.06     45.98      4.76   1000000         0
575.58/575.87	c       115       193    221.61     36.91      6.00   1000000         0
577.48/577.71	c       133       208    220.37     36.88      5.98   1000000         0
579.28/579.56	c       116       163    214.50     39.98      5.37   1000000         0
581.18/581.41	c       131       179    217.71     36.52      5.96   1000000         0
582.98/583.25	c       103       216    223.18     42.12      5.30   1000000         0
584.88/585.10	c       116       229    215.27     37.86      5.69   1000000         0
586.67/586.95	c       115       192    217.64     37.81      5.76   1000000         0
588.47/588.79	c       118       159    226.93     43.62      5.20   1000000         0
590.38/590.63	c       100       226    219.39     42.12      5.21   1000000         0
592.17/592.47	c       121       269    219.53     44.16      4.97   1000000         0
594.07/594.32	c       125       223    221.61     38.92      5.69   1000000         0
595.88/596.17	c       127       226    219.09     42.41      5.17   1000000         0
597.77/598.02	c       118       227    220.25     34.38      6.41   1000000         0
599.57/599.84	c       123       230    222.15     35.47      6.26   1000000         0
601.38/601.69	c       127       181    223.39     36.68      6.09   1000000         0
603.27/603.57	c       115       180    209.65     38.62      5.43   1000000         0
605.17/605.41	c       135       250    227.00     36.49      6.22   1000000         0
606.97/607.27	c       121       299    220.22     33.91      6.49   1000000         0
608.87/609.11	c       117       187    220.16     39.68      5.55   1000000         0
610.67/610.96	c       120       176    214.38     34.70      6.18   1000000         0
612.57/612.80	c       126       197    223.86     43.03      5.20   1000000         0
614.37/614.63	c       130       210    221.97     38.79      5.72   1000000         0
616.17/616.47	c       117       217    213.07     41.71      5.11   1000000         0
618.06/618.31	c       133       238    230.50     35.90      6.42   1000000         0
619.86/620.14	c       127       199    224.61     37.74      5.95   1000000         0
621.66/621.97	c       126       210    221.04     37.01      5.97   1000000         0
623.56/623.82	c       116       194    216.54     34.67      6.25   1000000         0
625.36/625.68	c       117       206    224.73     40.83      5.50   1000000         0
627.26/627.52	c       119       149    223.92     41.63      5.38   1000000         0
629.06/629.37	c       125       255    221.98     40.39      5.50   1000000         0
630.96/631.21	c       118       187    214.99     39.86      5.39   1000000         0
632.76/633.05	c       121       199    215.28     38.24      5.63   1000000         0
634.66/634.90	c       104       240    217.75     38.68      5.63   1000000         0
636.46/636.73	c       116       180    218.02     38.12      5.72   1000000         0
638.26/638.58	c       123       240    220.83     42.67      5.18   1000000         0
640.16/640.41	c       118       187    217.24     44.32      4.90   1000000         0
641.96/642.26	c       135       219    222.64     36.78      6.05   1000000         0
643.86/644.11	c       115       199    218.56     37.07      5.90   1000000         0
645.65/645.93	c        89       209    221.11     40.45      5.47   1000000         0
647.45/647.77	c       118       222    217.29     33.56      6.47   1000000         0
649.35/649.63	c       117       227    218.67     38.48      5.68   1000000         0
651.15/651.47	c       119       206    219.18     43.07      5.09   1000000         0
653.06/653.32	c       112       223    225.74     37.17      6.07   1000000         0
654.85/655.16	c       121       178    219.56     37.02      5.93   1000000         0
656.65/656.99	c       122       219    222.08     38.59      5.75   1000000         0
658.56/658.81	c       115       219    223.86     41.96      5.33   1000000         0
660.35/660.68	c       120       204    219.56     34.70      6.33   1000000         0
662.25/662.51	c       119       197    216.45     40.14      5.39   1000000         0
664.05/664.35	c       111       214    221.08     38.65      5.72   1000000         0
665.95/666.20	c       118       234    219.12     35.37      6.19   1000000         0
667.75/668.04	c       135       212    225.45     42.17      5.35   1000000         0
669.55/669.87	c       108       222    220.69     40.59      5.44   1000000         0
671.44/671.71	c       125       192    217.26     37.94      5.73   1000000         0
673.24/673.55	c       118       186    221.53     38.29      5.79   1000000         0
675.05/675.40	c       123       209    218.70     39.48      5.54   1000000         0
676.94/677.24	c       121       204    221.76     37.51      5.91   1000000         0
678.74/679.06	c       127       164    226.76     38.84      5.84   1000000         0
680.55/680.90	c       111       188    213.20     33.06      6.45   1000000         0
682.44/682.76	c       118       198    220.63     38.24      5.77   1000000         0
684.24/684.59	c       119       248    218.04     36.91      5.91   1000000         0
686.15/686.43	c       119       209    220.02     34.53      6.37   1000000         0
687.94/688.26	c       134       214    224.91     42.37      5.31   1000000         0
689.84/690.13	c       124       246    219.34     37.12      5.91   1000000         0
691.65/691.97	c       116       224    221.66     41.09      5.39   1000000         0
693.54/693.81	c       113       213    221.43     37.15      5.96   1000000         0
695.34/695.65	c        92       214    218.35     40.17      5.44   1000000         0
697.15/697.50	c       125       221    220.52     36.55      6.03   1000000         0
699.03/699.34	c       130       197    222.28     39.04      5.69   1000000         0
700.83/701.19	c       119       216    216.86     37.08      5.85   1000000         0
702.73/703.04	c       125       169    218.83     38.77      5.64   1000000         0
704.53/704.89	c       115       220    216.11     38.44      5.62   1000000         0
706.43/706.72	c       130       202    223.11     37.30      5.98   1000000         0
708.23/708.55	c       116       251    227.58     39.43      5.77   1000000         0
710.13/710.40	c       107       150    220.50     43.82      5.03   1000000         0
711.93/712.26	c       104       205    212.92     37.41      5.69   1000000         0
713.83/714.10	c       117       174    214.27     36.63      5.85   1000000         0
715.63/715.95	c       114       195    211.90     36.88      5.75   1000000         0
717.53/717.80	c       128       214    218.30     40.13      5.44   1000000         0
719.33/719.63	c       109       237    220.91     42.86      5.15   1000000         0
721.13/721.48	c       113       251    223.57     35.10      6.37   1000000         0
723.03/723.32	c       132       216    222.03     36.61      6.07   1000000         0
724.82/725.18	c       125       238    215.62     38.18      5.65   1000000         0
726.73/727.03	c       102       289    217.68     40.00      5.44   1000000         0
728.52/728.86	c       131       249    221.68     37.01      5.99   1000000         0
730.42/730.71	c       119       205    224.10     35.55      6.30   1000000         0
732.23/732.55	c       110       272    219.95     41.12      5.35   1000000         0
734.02/734.39	c       113       255    220.45     34.37      6.41   1000000         0
735.92/736.26	c       110       222    212.82     40.95      5.20   1000000         0
737.83/738.10	c       126       157    224.81     37.28      6.03   1000000         0
739.62/739.93	c       122       221    224.62     41.93      5.36   1000000         0
741.42/741.78	c       123       176    212.78     38.94      5.46   1000000         0
743.33/743.62	c       124       196    216.15     36.26      5.96   1000000         0
745.12/745.47	c       120       184    220.26     41.03      5.37   1000000         0
747.02/747.32	c       122       192    218.70     37.82      5.78   1000000         0
748.82/749.16	c       125       167    213.29     34.96      6.10   1000000         0
750.71/751.00	c       129       199    220.72     37.08      5.95   1000000         0
752.51/752.87	c       107       197    213.14     45.26      4.71   1000000         0
754.41/754.71	c       120       254    217.96     40.38      5.40   1000000         0
756.21/756.56	c       126       274    221.26     35.50      6.23   1000000         0
758.11/758.42	c       108       179    213.70     41.59      5.14   1000000         0
759.91/760.28	c       112       202    217.91     40.00      5.45   1000000         0
761.81/762.13	c       115       228    222.62     39.97      5.57   1000000         0
763.61/763.99	c       112       181    214.75     39.68      5.41   1000000         0
765.51/765.82	c       123       194    219.91     36.57      6.01   1000000         0
767.31/767.69	c        95       228    217.30     37.39      5.81   1000000         0
769.21/769.53	c       126       217    218.60     44.63      4.90   1000000         0
771.01/771.36	c       125       198    216.21     39.24      5.51   1000000         0
772.91/773.21	c       105       200    216.70     36.63      5.92   1000000         0
774.71/775.05	c       119       212    221.86     34.48      6.43   1000000         0
776.60/776.91	c       104       238    218.98     39.24      5.58   1000000         0
778.41/778.74	c       113       205    215.19     35.95      5.99   1000000         0
780.30/780.60	c       106       239    215.43     37.22      5.79   1000000         0
782.10/782.45	c       133       198    224.12     37.10      6.04   1000000         0
783.91/784.30	c        93       211    219.53     41.16      5.33   1000000         0
785.80/786.15	c       111       194    218.86     40.49      5.41   1000000         0
787.60/787.98	c       110       211    218.14     40.13      5.44   1000000         0
789.51/789.82	c       122       165    214.21     36.95      5.80   1000000         0
791.30/791.66	c       117       251    221.88     39.00      5.69   1000000         0
793.20/793.50	c       101       228    219.58     38.07      5.77   1000000         0
795.01/795.35	c        92       248    219.83     40.25      5.46   1000000         0
796.90/797.20	c       105       179    219.95     42.05      5.23   1000000         0
798.70/799.05	c       116       171    217.26     37.95      5.73   1000000         0
800.50/800.87	c       119       223    224.34     38.27      5.86   1000000         0
802.40/802.73	c       118       223    214.08     37.18      5.76   1000000         0
804.20/804.58	c       115       195    218.68     37.45      5.84   1000000         0
806.09/806.43	c       111       196    210.56     39.12      5.38   1000000         0
807.89/808.28	c       112       207    221.08     44.31      4.99   1000000         0
809.79/810.13	c       114       178    216.00     40.94      5.28   1000000         0
811.59/811.97	c       137       228    228.34     36.03      6.34   1000000         0
813.49/813.81	c       130       178    223.19     41.46      5.38   1000000         0
815.29/815.65	c       117       185    215.63     38.93      5.54   1000000         0
817.19/817.52	c       110       164    212.98     43.96      4.84   1000000         0
818.99/819.37	c       114       198    217.97     40.72      5.35   1000000         0
820.89/821.21	c       114       225    214.99     40.37      5.33   1000000         0
822.69/823.06	c       133       227    218.84     36.37      6.02   1000000         0
824.59/824.92	c       127       189    217.09     36.93      5.88   1000000         0
826.39/826.75	c       120       205    230.52     39.25      5.87   1000000         0
828.19/828.59	c       129       257    221.90     41.00      5.41   1000000         0
830.09/830.42	c       115       231    221.57     45.67      4.85   1000000         0
831.88/832.26	c       119       212    217.02     42.38      5.12   1000000         0
833.78/834.10	c       112       221    221.29     41.05      5.39   1000000         0
835.59/835.92	c       129       196    228.48     35.22      6.49   1000000         0
837.38/837.78	c       102       184    219.26     43.86      5.00   1000000         0
839.28/839.65	c       120       183    213.11     41.74      5.11   1000000         0
841.09/841.48	c       129       222    225.24     37.25      6.05   1000000         0
842.98/843.32	c       118       141    221.51     39.62      5.59   1000000         0
844.78/845.17	c       114       227    225.73     39.67      5.69   1000000         0
846.69/847.02	c       130       216    219.38     35.15      6.24   1000000         0
848.48/848.87	c       121       209    221.81     39.42      5.63   1000000         0
850.38/850.71	c       115       214    217.05     38.46      5.64   1000000         0
852.19/852.56	c       129       209    220.73     35.48      6.22   1000000         0
854.08/854.41	c       126       179    220.68     40.84      5.40   1000000         0
855.88/856.25	c       116       209    215.60     41.36      5.21   1000000         0
857.68/858.09	c       111       213    220.53     47.48      4.64   1000000         0
859.58/859.92	c       129       202    220.35     34.02      6.48   1000000         0
861.37/861.78	c       113       186    212.34     33.48      6.34   1000000         0
863.27/863.62	c       125       285    223.56     32.59      6.86   1000000         0
865.07/865.46	c       112       189    214.77     38.61      5.56   1000000         0
866.97/867.31	c       127       251    225.61     35.34      6.38   1000000         0
868.77/869.17	c       100       159    214.47     43.12      4.97   1000000         0
870.67/871.00	c       112       189    218.78     40.44      5.41   1000000         0
872.47/872.83	c       122       187    221.99     40.70      5.45   1000000         0
874.27/874.67	c       127       182    228.60     35.16      6.50   1000000         0
876.17/876.51	c       105       237    219.17     39.45      5.56   1000000         0
877.97/878.36	c       119       224    218.90     38.55      5.68   1000000         0
879.87/880.22	c       110       222    216.64     41.03      5.28   1000000         0
881.67/882.06	c       119       188    225.50     45.17      4.99   1000000         0
883.57/883.90	c       112       197    217.59     42.89      5.07   1000000         0
885.37/885.76	c       117       208    217.71     40.39      5.39   1000000         0
887.27/887.60	c       114       176    212.10     38.57      5.50   1000000         0
889.07/889.44	c       122       240    218.89     38.68      5.66   1000000         0
890.87/891.27	c       134       211    230.57     38.84      5.94   1000000         0
892.77/893.11	c       107       201    219.55     41.10      5.34   1000000         0
894.56/894.96	c       126       181    220.43     39.61      5.57   1000000         0
896.46/896.80	c       120       236    223.19     41.48      5.38   1000000         0
898.27/898.64	c       115       237    220.39     38.87      5.67   1000000         0
900.06/900.48	c       125       236    221.20     37.08      5.97   1000000         0
901.96/902.34	c       104       167    213.50     41.65      5.13   1000000         0
903.77/904.19	c       126       184    223.54     40.59      5.51   1000000         0
905.66/906.05	c       128       244    226.13     39.92      5.66   1000000         0
907.46/907.88	c       133       222    220.80     38.34      5.76   1000000         0
909.37/909.72	c       125       259    220.56     40.31      5.47   1000000         0
911.16/911.58	c       112       226    213.12     37.13      5.74   1000000         0
913.06/913.43	c       124       205    224.52     39.58      5.67   1000000         0
914.86/915.27	c       110       157    228.26     38.92      5.86   1000000         0
916.76/917.12	c       117       195    218.69     43.71      5.00   1000000         0
918.56/918.99	c       109       195    217.03     41.15      5.27   1000000         0
920.46/920.82	c       121       183    225.97     42.44      5.32   1000000         0
922.25/922.67	c       128       213    217.48     38.22      5.69   1000000         0
924.15/924.52	c       117       206    222.84     34.33      6.49   1000000         0
925.95/926.38	c       108       210    217.66     41.46      5.25   1000000         0
927.85/928.23	c       111       155    221.55     46.87      4.73   1000000         0
929.65/930.08	c       118       258    219.97     39.82      5.52   1000000         0
931.55/931.92	c       118       215    220.44     39.14      5.63   1000000         0
933.35/933.77	c       129       239    224.28     39.02      5.75   1000000         0
935.25/935.61	c       125       197    221.27     43.20      5.12   1000000         0
937.05/937.44	c       123       161    224.94     38.16      5.89   1000000         0
938.96/939.30	c       109       227    213.27     38.55      5.53   1000000         0
940.75/941.13	c       125       203    226.45     37.90      5.97   1000000         0
942.55/942.97	c       116       204    218.04     39.57      5.51   1000000         0
944.45/944.81	c       131       215    224.44     37.44      5.99   1000000         0
946.25/946.67	c       118       219    215.97     40.21      5.37   1000000         0
948.14/948.51	c       123       260    222.88     38.86      5.74   1000000         0
949.95/950.35	c       122       256    219.75     39.86      5.51   1000000         0
951.74/952.19	c       127       221    219.87     38.26      5.75   1000000         0
953.64/954.03	c       124       207    223.97     37.84      5.92   1000000         0
955.45/955.87	c       114       232    220.16     42.12      5.23   1000000         0
957.34/957.70	c       110       241    228.14     41.21      5.54   1000000         0
959.14/959.53	c       126       236    229.04     36.14      6.34   1000000         0
960.95/961.37	c       113       217    224.42     41.37      5.43   1000000         0
962.84/963.20	c       121       245    225.03     42.70      5.27   1000000         0
964.64/965.05	c       115       236    222.64     40.58      5.49   1000000         0
966.45/966.89	c       124       195    224.00     38.98      5.75   1000000         0
968.34/968.73	c       103       194    214.15     44.70      4.79   1000000         0
970.14/970.58	c       114       235    214.74     38.77      5.54   1000000         0
972.04/972.43	c       121       156    223.98     46.07      4.86   1000000         0
973.83/974.29	c       123       245    219.29     41.47      5.29   1000000         0
975.73/976.13	c       113       217    220.86     40.30      5.48   1000000         0
977.54/977.95	c       125       193    226.18     33.92      6.67   1000000         0
979.33/979.79	c       111       231    217.55     35.59      6.11   1000000         0
981.23/981.61	c       136       183    233.34     37.75      6.18   1000000         0
983.04/983.44	c       131       242    223.86     36.88      6.07   1000000         0
984.93/985.32	c       112       205    217.54     43.17      5.04   1000000         0
986.73/987.16	c       121       252    225.51     38.44      5.87   1000000         0
988.63/989.01	c       111       195    219.84     40.82      5.39   1000000         0
990.43/990.87	c       118       224    217.26     36.93      5.88   1000000         0
992.33/992.72	c       122       213    216.29     36.75      5.89   1000000         0
994.13/994.55	c       123       186    221.65     39.95      5.55   1000000         0
996.03/996.40	c       117       226    216.63     40.52      5.35   1000000         0
997.83/998.24	c       102       239    219.96     40.83      5.39   1000000         0
999.63/1000.09	c       117       220    221.31     37.58      5.89   1000000         0
1001.53/1001.93	c       120       249    225.08     42.42      5.31   1000000         0
1003.32/1003.77	c       126       220    220.03     40.12      5.48   1000000         0
1005.22/1005.60	c       124       161    223.86     38.44      5.82   1000000         0
1007.03/1007.43	c       128       188    226.70     39.47      5.74   1000000         0
1008.83/1009.29	c       130       247    223.63     37.53      5.96   1000000         0
1010.73/1011.12	c       117       210    218.35     39.63      5.51   1000000         0
1012.53/1012.95	c       126       219    216.52     36.41      5.95   1000000         0
1014.43/1014.81	c       126       204    219.21     33.40      6.56   1000000         0
1016.23/1016.66	c       122       199    218.52     37.22      5.87   1000000         0
1018.14/1018.51	c       127       208    216.51     39.71      5.45   1000000         0
1019.93/1020.35	c       131       218    222.67     36.95      6.03   1000000         0
1021.83/1022.22	c       104       171    209.92     41.76      5.03   1000000         0
1023.63/1024.07	c       119       198    225.09     41.54      5.42   1000000         0
1025.53/1025.91	c       122       171    222.43     38.67      5.75   1000000         0
1027.32/1027.77	c       131       192    219.74     38.92      5.65   1000000         0
1029.23/1029.62	c       119       191    213.08     38.00      5.61   1000000         0
1031.02/1031.47	c       122       214    220.53     41.88      5.27   1000000         0
1032.92/1033.31	c       117       186    216.21     37.66      5.74   1000000         0
1034.73/1035.15	c       119       187    222.19     34.58      6.43   1000000         0
1036.52/1036.98	c       129       252    223.37     40.53      5.51   1000000         0
1038.42/1038.81	c       121       232    223.50     41.35      5.40   1000000         0
1040.23/1040.66	c       125       219    217.33     36.26      5.99   1000000         0
1042.12/1042.52	c       107       218    217.68     43.02      5.06   1000000         0
1043.92/1044.36	c       137       158    224.57     35.71      6.29   1000000         0
1045.72/1046.19	c       129       175    225.21     39.48      5.70   1000000         0
1047.62/1048.03	c       120       258    219.39     36.71      5.98   1000000         0
1049.42/1049.87	c       111       222    218.15     40.22      5.42   1000000         0
1051.32/1051.71	c       127       205    217.39     35.04      6.20   1000000         0
1053.11/1053.55	c       128       185    226.04     33.38      6.77   1000000         0
1055.01/1055.40	c       123       183    216.60     38.70      5.60   1000000         0
1056.81/1057.24	c       112       222    217.66     35.64      6.11   1000000         0
1058.71/1059.10	c       109       212    220.12     39.75      5.54   1000000         0
1060.51/1060.94	c       122       209    223.33     40.85      5.47   1000000         0
1062.31/1062.79	c       115       192    220.16     38.69      5.69   1000000         0
1064.21/1064.66	c       129       223    221.83     38.54      5.76   1000000         0
1066.11/1066.50	c       116       224    217.42     39.31      5.53   1000000         0
1067.91/1068.36	c       108       189    211.94     41.20      5.14   1000000         0
1069.81/1070.20	c       130       190    226.63     38.61      5.87   1000000         0
1071.61/1072.04	c       110       200    220.10     36.80      5.98   1000000         0
1073.51/1073.90	c       113       229    218.29     35.25      6.19   1000000         0
1075.31/1075.73	c       122       199    224.45     44.06      5.09   1000000         0
1077.11/1077.56	c       127       207    233.07     38.96      5.98   1000000         0
1079.00/1079.41	c       129       195    222.25     38.54      5.77   1000000         0
1080.81/1081.26	c       110       224    219.97     41.62      5.29   1000000         0
1082.70/1083.11	c       121       188    218.60     42.04      5.20   1000000         0
1084.50/1084.96	c       120       204    219.96     41.63      5.28   1000000         0
1086.41/1086.81	c       120       233    215.02     35.62      6.04   1000000         0
1088.20/1088.67	c       110       203    223.16     45.31      4.93   1000000         0
1090.10/1090.53	c       115       244    216.96     36.43      5.95   1000000         0
1091.91/1092.36	c       122       201    222.58     36.17      6.15   1000000         0
1093.80/1094.22	c       119       256    219.27     36.00      6.09   1000000         0
1095.60/1096.05	c       120       225    224.95     36.32      6.19   1000000         0
1097.41/1097.89	c       113       271    220.08     37.51      5.87   1000000         0
1099.30/1099.72	c       125       257    223.20     37.48      5.96   1000000         0
1101.09/1101.57	c       110       173    221.32     38.92      5.69   1000000         0
1102.99/1103.42	c       125       232    222.01     38.98      5.70   1000000         0
1104.79/1105.26	c       121       224    221.76     36.56      6.06   1000000         0
1106.69/1107.10	c       116       224    222.68     36.63      6.08   1000000         0
1108.49/1108.93	c       114       267    218.44     41.03      5.32   1000000         0
1110.29/1110.78	c       127       143    218.18     38.92      5.61   1000000         0
1112.19/1112.62	c       116       148    217.55     40.22      5.41   1000000         0
1113.99/1114.47	c       119       188    221.12     38.21      5.79   1000000         0
1115.89/1116.31	c       118       227    221.95     46.99      4.72   1000000         0
1117.69/1118.15	c       115       275    218.51     39.79      5.49   1000000         0
1119.59/1120.00	c       124       208    221.63     35.19      6.30   1000000         0
1121.39/1121.85	c       117       198    219.10     38.75      5.65   1000000         0
1123.29/1123.70	c       111       220    219.80     42.82      5.13   1000000         0
1125.09/1125.53	c       129       237    225.79     38.41      5.88   1000000         0
1126.89/1127.39	c       116       212    215.86     38.01      5.68   1000000         0
1128.79/1129.22	c       128       231    224.03     35.56      6.30   1000000         0
1130.59/1131.07	c       115       266    215.15     41.43      5.19   1000000         0
1132.49/1132.90	c       117       251    217.83     42.09      5.18   1000000         0
1134.28/1134.75	c       116       201    220.85     38.98      5.67   1000000         0
1136.08/1136.60	c       124       233    215.34     40.91      5.26   1000000         0
1137.99/1138.44	c       114       175    224.38     46.05      4.87   1000000         0
1139.88/1140.30	c       101       263    215.63     37.69      5.72   1000000         0
1141.68/1142.14	c       129       264    218.52     36.13      6.05   1000000         0
1143.59/1144.01	c        99       234    215.82     39.90      5.41   1000000         0
1145.38/1145.86	c       118       191    223.11     45.71      4.88   1000000         0
1147.18/1147.68	c       126       206    223.12     37.95      5.88   1000000         0
1149.09/1149.53	c       116       209    216.87     37.74      5.75   1000000         0
1150.88/1151.39	c       125       224    223.05     40.01      5.57   1000000         0
1152.78/1153.21	c       134       177    223.62     40.43      5.53   1000000         0
1154.58/1155.06	c       113       240    218.60     39.27      5.57   1000000         0
1156.38/1156.88	c       128       190    223.31     41.21      5.42   1000000         0
1158.28/1158.72	c       104       260    216.85     42.29      5.13   1000000         0
1160.08/1160.56	c       129       244    221.22     37.42      5.91   1000000         0
1161.97/1162.41	c       125       172    222.01     44.45      4.99   1000000         0
1163.77/1164.24	c       111       218    218.09     41.74      5.22   1000000         0
1165.58/1166.08	c       102       225    219.06     42.15      5.20   1000000         0
1167.47/1167.92	c       104       195    211.76     36.08      5.87   1000000         0
1169.27/1169.78	c       112       230    220.40     41.87      5.26   1000000         0
1171.17/1171.60	c       116       176    219.40     39.15      5.60   1000000         0
1172.97/1173.46	c       100       206    215.86     40.74      5.30   1000000         0
1174.87/1175.30	c       127       162    219.91     37.71      5.83   1000000         0
1176.67/1177.14	c       128       196    223.55     43.13      5.18   1000000         0
1178.47/1178.99	c       116       236    220.66     42.02      5.25   1000000         0
1180.37/1180.84	c       116       231    222.81     42.40      5.25   1000000         0
1182.17/1182.69	c       117       266    215.82     43.24      4.99   1000000         0
1184.06/1184.52	c       114       157    215.48     42.44      5.08   1000000         0
1185.86/1186.38	c       122       194    219.23     34.47      6.36   1000000         0
1187.76/1188.22	c       108       181    222.02     42.19      5.26   1000000         0
1189.56/1190.05	c       115       228    225.26     39.35      5.72   1000000         0
1191.36/1191.89	c       126       191    218.56     36.30      6.02   1000000         0
1193.26/1193.75	c       120       176    217.45     38.24      5.69   1000000         0
1195.06/1195.59	c       130       228    221.25     40.39      5.48   1000000         0
1196.96/1197.44	c       131       212    223.52     35.22      6.35   1000000         0
1198.76/1199.29	c       120       197    217.28     36.96      5.88   1000000         0
1200.67/1201.13	c       124       220    225.07     40.57      5.55   1000000         0
1202.46/1202.99	c       112       218    210.70     37.97      5.55   1000000         0
1204.36/1204.81	c       111       193    224.23     40.98      5.47   1000000         0
1206.16/1206.67	c       118       225    215.57     37.96      5.68   1000000         0
1208.06/1208.51	c       121       199    219.31     44.35      4.94   1000000         0
1209.86/1210.37	c       112       198    213.27     37.66      5.66   1000000         0
1211.76/1212.23	c       120       207    213.05     38.15      5.58   1000000         0
1213.56/1214.07	c       134       201    222.94     37.73      5.91   1000000         0
1215.46/1215.92	c       107       205    220.45     37.31      5.91   1000000         0
1217.26/1217.77	c       111       208    221.04     40.59      5.45   1000000         0
1219.15/1219.62	c       123       223    227.54     39.08      5.82   1000000         0
1220.95/1221.47	c       117       287    220.49     41.89      5.26   1000000         0
1222.85/1223.32	c       128       220    218.85     39.52      5.54   1000000         0
1224.65/1225.15	c       112       199    217.25     39.60      5.49   1000000         0
1226.55/1227.00	c       122       222    215.82     38.42      5.62   1000000         0
1228.35/1228.84	c       117       199    224.92     41.55      5.41   1000000         0
1230.15/1230.68	c       110       216    220.73     43.29      5.10   1000000         0
1232.05/1232.52	c       125       171    223.97     39.39      5.69   1000000         0
1233.85/1234.37	c       115       136    218.81     35.61      6.15   1000000         0
1235.75/1236.22	c       116       192    213.70     36.53      5.85   1000000         0
1237.55/1238.07	c       124       217    221.64     42.13      5.26   1000000         0
1239.45/1239.93	c       112       226    214.39     37.69      5.69   1000000         0
1241.25/1241.78	c       116       260    221.34     40.11      5.52   1000000         0
1243.15/1243.62	c       118       211    222.71     39.29      5.67   1000000         0
1244.94/1245.46	c       128       217    221.67     39.81      5.57   1000000         0
1246.85/1247.30	c       117       242    218.89     38.41      5.70   1000000         0
1248.64/1249.16	c        98       258    208.59     39.74      5.25   1000000         0
1250.54/1251.00	c       120       229    222.06     41.36      5.37   1000000         0
1252.35/1252.82	c       122       245    216.35     39.98      5.41   1000000         0
1254.14/1254.65	c       131       191    225.59     41.81      5.40   1000000         0
1255.94/1256.50	c       127       203    223.59     47.32      4.72   1000000         0
1257.85/1258.33	c       134       170    223.71     37.07      6.03   1000000         0
1259.64/1260.19	c       119       229    223.25     37.22      6.00   1000000         0
1261.54/1262.02	c       122       199    221.07     36.68      6.03   1000000         0
1263.34/1263.87	c       115       194    225.14     40.66      5.54   1000000         0
1265.24/1265.71	c       119       173    220.56     37.17      5.93   1000000         0
1267.04/1267.55	c       123       233    224.15     40.52      5.53   1000000         0
1268.84/1269.38	c       136       225    228.08     40.22      5.67   1000000         0
1270.73/1271.24	c       128       227    222.33     40.02      5.56   1000000         0
1272.63/1273.10	c       115       180    213.83     39.15      5.46   1000000         0
1274.44/1274.95	c       121       212    220.86     34.68      6.37   1000000         0
1276.33/1276.80	c       124       196    224.32     36.19      6.20   1000000         0
1278.13/1278.66	c       114       211    222.71     41.16      5.41   1000000         0
1279.94/1280.48	c       113       169    221.87     37.86      5.86   1000000         0
1281.83/1282.32	c       104       183    220.19     35.99      6.12   1000000         0
1283.63/1284.18	c       105       199    218.41     42.08      5.19   1000000         0
1285.53/1286.04	c        99       203    212.34     40.77      5.21   1000000         0
1287.33/1287.88	c       102       234    219.17     37.76      5.80   1000000         0
1289.23/1289.73	c       119       226    223.73     41.39      5.41   1000000         0
1291.03/1291.59	c       124       231    214.49     36.03      5.95   1000000         0
1292.93/1293.43	c       134       217    229.23     41.32      5.55   1000000         0
1294.73/1295.27	c       121       197    221.39     34.93      6.34   1000000         0
1296.63/1297.10	c       122       208    225.46     36.08      6.25   1000000         0
1298.43/1298.95	c       108       215    220.76     44.72      4.94   1000000         0
1300.23/1300.79	c       116       172    219.82     39.15      5.61   1000000         0
1302.12/1302.65	c       118       220    218.45     35.87      6.09   1000000         0
1303.92/1304.48	c       126       220    226.70     41.78      5.43   1000000         0
1305.82/1306.33	c       108       257    217.82     42.80      5.09   1000000         0
1307.62/1308.18	c       123       215    220.92     38.24      5.78   1000000         0
1309.53/1310.01	c       124       207    221.17     39.02      5.67   1000000         0
1311.32/1311.87	c       120       204    219.90     41.40      5.31   1000000         0
1313.22/1313.71	c       138       240    227.07     34.69      6.55   1000000         0
1315.03/1315.56	c       130       219    222.41     36.85      6.04   1000000         0
1316.92/1317.40	c       130       279    222.13     37.41      5.94   1000000         0
1318.72/1319.24	c       129       197    224.05     42.28      5.30   1000000         0
1320.53/1321.08	c       111       230    218.59     40.18      5.44   1000000         0
1322.42/1322.92	c       106       183    217.32     37.10      5.86   1000000         0
1324.22/1324.77	c       109       219    219.86     37.50      5.86   1000000         0
1326.02/1326.60	c       115       176    219.80     38.84      5.66   1000000         0
1327.92/1328.42	c       110       213    226.19     44.00      5.14   1000000         0
1329.71/1330.25	c       119       224    217.34     42.12      5.16   1000000         0
1331.52/1332.10	c       126       196    217.55     40.25      5.40   1000000         0
1333.41/1333.94	c       128       242    222.77     36.63      6.08   1000000         0
1335.21/1335.79	c       108       218    214.62     40.53      5.30   1000000         0
1337.12/1337.64	c       111       199    216.23     45.72      4.73   1000000         0
1338.91/1339.48	c       125       217    228.69     39.85      5.74   1000000         0
1340.81/1341.33	c       129       177    220.07     37.59      5.85   1000000         0
1342.62/1343.18	c       120       236    227.55     40.61      5.60   1000000         0
1344.51/1345.02	c       123       249    222.56     40.85      5.45   1000000         0
1346.31/1346.86	c       119       223    225.21     37.20      6.05   1000000         0
1348.21/1348.72	c       123       216    219.89     37.41      5.88   1000000         0
1350.01/1350.58	c       106       213    214.15     40.96      5.23   1000000         0
1351.91/1352.42	c       123       245    221.19     39.84      5.55   1000000         0
1353.71/1354.27	c       128       263    215.54     42.81      5.03   1000000         0
1355.61/1356.12	c       113       202    215.50     36.03      5.98   1000000         0
1357.41/1357.97	c       122       153    218.57     37.11      5.89   1000000         0
1359.30/1359.81	c       122       193    224.69     36.55      6.15   1000000         0
1361.10/1361.67	c       126       223    219.59     39.73      5.53   1000000         0
1363.00/1363.50	c       114       159    220.89     41.90      5.27   1000000         0
1364.80/1365.35	c       127       202    224.04     33.61      6.67   1000000         0
1366.71/1367.21	c       122       198    220.64     37.13      5.94   1000000         0
1368.50/1369.06	c       124       214    221.38     37.80      5.86   1000000         0
1370.40/1370.92	c       117       276    217.04     40.70      5.33   1000000         0
1372.21/1372.75	c       116       156    220.24     40.63      5.42   1000000         0
1374.10/1374.62	c       116       172    218.79     40.54      5.40   1000000         0
1375.90/1376.47	c       128       193    223.80     39.19      5.71   1000000         0
1377.81/1378.32	c       128       198    218.39     39.14      5.58   1000000         0
1379.60/1380.18	c       115       169    216.34     37.45      5.78   1000000         0
1381.49/1382.02	c       123       235    220.26     38.12      5.78   1000000         0
1383.30/1383.86	c       134       193    229.86     36.61      6.28   1000000         0
1385.09/1385.69	c       126       200    222.02     34.82      6.38   1000000         0
1386.99/1387.55	c        99       184    219.34     42.21      5.20   1000000         0
1388.89/1389.40	c       129       268    225.73     40.06      5.64   1000000         0
1390.69/1391.24	c       111       177    226.12     39.77      5.69   1000000         0
1392.49/1393.09	c       109       203    215.25     40.93      5.26   1000000         0
1394.39/1394.93	c       120       174    224.52     35.19      6.38   1000000         0
1396.19/1396.76	c       118       178    224.12     46.85      4.78   1000000         0
1398.09/1398.61	c       125       199    215.65     36.78      5.86   1000000         0
1399.89/1400.45	c       122       169    220.20     40.30      5.46   1000000         0
1401.79/1402.30	c       118       159    226.95     39.06      5.81   1000000         0
1403.59/1404.15	c       125       222    221.06     40.22      5.50   1000000         0
1405.49/1406.00	c       118       198    208.27     38.61      5.39   1000000         0
1407.29/1407.86	c       121       204    219.18     36.47      6.01   1000000         0
1409.08/1409.69	c       103       201    225.05     34.85      6.46   1000000         0
1410.98/1411.53	c       127       255    217.22     40.72      5.33   1000000         0
1412.78/1413.36	c       114       174    221.71     46.08      4.81   1000000         0
1414.68/1415.22	c       122       211    215.17     42.02      5.12   1000000         0
1416.48/1417.06	c       120       203    217.82     38.76      5.62   1000000         0
1418.39/1418.90	c       125       199    218.12     35.49      6.15   1000000         0
1420.18/1420.73	c       116       194    220.28     37.97      5.80   1000000         0
1421.98/1422.57	c       120       199    217.03     36.22      5.99   1000000         0
1423.89/1424.42	c       117       191    217.34     42.13      5.16   1000000         0
1425.68/1426.26	c       116       223    220.96     35.84      6.16   1000000         0
1427.58/1428.12	c       103       182    215.51     39.71      5.43   1000000         0
1429.38/1429.96	c       115       234    218.68     39.71      5.51   1000000         0
1431.18/1431.79	c       128       209    234.59     32.70      7.17   1000000         0
1433.08/1433.64	c       119       210    215.28     37.21      5.79   1000000         0
1434.88/1435.48	c       118       165    215.92     39.90      5.41   1000000         0
1436.77/1437.31	c       124       202    226.13     40.23      5.62   1000000         0
1438.57/1439.17	c       109       187    216.40     39.72      5.45   1000000         0
1440.48/1441.03	c       112       241    218.58     39.92      5.48   1000000         0
1442.27/1442.87	c       120       214    223.77     41.10      5.44   1000000         0
1444.17/1444.71	c       117       194    219.62     40.10      5.48   1000000         0
1445.98/1446.56	c       117       202    214.19     41.51      5.16   1000000         0
1447.87/1448.40	c       118       239    221.24     36.68      6.03   1000000         0
1449.67/1450.25	c       115       226    214.16     36.56      5.86   1000000         0
1451.48/1452.09	c       118       196    219.83     39.12      5.62   1000000         0
1453.37/1453.94	c       122       232    223.36     38.54      5.80   1000000         0
1455.17/1455.79	c       119       206    220.99     37.97      5.82   1000000         0
1457.07/1457.61	c       120       178    217.87     35.57      6.13   1000000         0
1458.87/1459.46	c       128       257    224.33     39.87      5.63   1000000         0
1460.77/1461.30	c       129       224    228.61     41.61      5.49   1000000         0
1462.56/1463.16	c       108       211    212.98     37.62      5.66   1000000         0
1464.46/1465.00	c       131       281    231.02     41.42      5.58   1000000         0
1466.26/1466.85	c       122       228    217.72     33.94      6.41   1000000         0
1468.06/1468.69	c       112       181    222.26     40.79      5.45   1000000         0
1469.96/1470.54	c       121       217    222.93     39.70      5.61   1000000         0
1471.76/1472.39	c       122       212    213.29     40.68      5.24   1000000         0
1473.66/1474.23	c       132       247    227.81     39.03      5.84   1000000         0
1475.46/1476.07	c       113       189    215.16     39.57      5.44   1000000         0
1477.36/1477.94	c       116       189    215.54     35.13      6.13   1000000         0
1479.16/1479.77	c       117       218    225.64     37.00      6.10   1000000         0
1481.07/1481.61	c       115       195    225.49     39.64      5.69   1000000         0
1482.86/1483.43	c       108       241    224.75     36.32      6.19   1000000         0
1484.66/1485.26	c       128       235    219.19     37.99      5.77   1000000         0
1486.56/1487.11	c       116       212    224.49     37.94      5.92   1000000         0
1488.36/1488.96	c       123       227    220.26     42.57      5.17   1000000         0
1490.26/1490.81	c       113       229    219.25     40.65      5.39   1000000         0
1492.06/1492.65	c       126       203    219.85     39.81      5.52   1000000         0
1493.85/1494.49	c       122       184    217.65     43.28      5.03   1000000         0
1495.75/1496.35	c       116       215    218.14     40.31      5.41   1000000         0
1497.66/1498.22	c       114       191    215.17     40.41      5.32   1000000         0
1499.45/1500.07	c       113       199    217.73     37.99      5.73   1000000         0
1501.35/1501.90	c       109       190    223.32     38.13      5.86   1000000         0
1503.16/1503.74	c       131       213    220.56     35.87      6.15   1000000         0
1504.95/1505.59	c       104       166    218.84     41.00      5.34   1000000         0
1506.85/1507.44	c       108       219    219.82     33.88      6.49   1000000         0
1508.75/1509.30	c       119       208    221.33     43.95      5.04   1000000         0
1510.55/1511.13	c       132       238    225.15     39.56      5.69   1000000         0
1512.35/1512.98	c       113       203    219.76     36.56      6.01   1000000         0
1514.25/1514.83	c       116       153    217.94     31.99      6.81   1000000         0
1516.05/1516.68	c       127       205    222.31     38.09      5.84   1000000         0
1517.95/1518.52	c       104       207    214.92     39.48      5.44   1000000         0
1519.75/1520.37	c       113       241    221.16     41.94      5.27   1000000         0
1521.64/1522.21	c       127       192    225.09     44.58      5.05   1000000         0
1523.44/1524.07	c       118       178    218.64     35.62      6.14   1000000         0
1525.34/1525.93	c       108       198    213.24     38.37      5.56   1000000         0
1527.14/1527.77	c       115       271    216.83     38.34      5.66   1000000         0
1529.04/1529.60	c       130       230    220.77     34.76      6.35   1000000         0
1530.84/1531.43	c       113       282    223.75     43.87      5.10   1000000         0
1532.64/1533.28	c       112       236    214.13     40.53      5.28   1000000         0
1534.54/1535.12	c       125       217    218.64     35.09      6.23   1000000         0
1536.34/1536.97	c       118       227    219.43     37.18      5.90   1000000         0
1538.25/1538.80	c       120       267    221.87     38.27      5.80   1000000         0
1540.04/1540.65	c       107       211    220.21     38.33      5.75   1000000         0
1541.84/1542.48	c       137       227    227.02     41.08      5.53   1000000         0
1543.74/1544.32	c       119       243    225.35     38.36      5.87   1000000         0
1545.54/1546.15	c       123       190    218.20     39.51      5.52   1000000         0
1547.43/1548.01	c       128       209    216.76     38.92      5.57   1000000         0
1549.24/1549.85	c       107       191    215.57     39.88      5.41   1000000         0
1551.03/1551.68	c       129       177    221.10     34.73      6.37   1000000         0
1552.93/1553.53	c       120       205    219.49     38.55      5.69   1000000         0
1554.74/1555.38	c       116       238    215.69     37.97      5.68   1000000         0
1556.63/1557.21	c       126       267    222.60     36.22      6.15   1000000         0
1558.43/1559.05	c       112       218    218.38     41.75      5.23   1000000         0
1560.24/1560.90	c       108       199    209.87     37.34      5.62   1000000         0
1562.13/1562.74	c       121       187    216.81     45.51      4.76   1000000         0
1563.93/1564.58	c       106       220    219.12     41.75      5.25   1000000         0
1565.84/1566.44	c       123       191    223.75     37.82      5.92   1000000         0
1567.73/1568.30	c       124       244    221.53     38.74      5.72   1000000         0
1569.53/1570.14	c       110       235    214.01     36.76      5.82   1000000         0
1571.43/1572.00	c       111       192    215.07     40.93      5.26   1000000         0
1573.23/1573.84	c       110       130    216.61     38.29      5.66   1000000         0
1575.03/1575.68	c       114       255    225.19     36.31      6.20   1000000         0
1576.93/1577.51	c       118       211    221.09     40.61      5.44   1000000         0
1578.72/1579.35	c       117       234    225.50     35.69      6.32   1000000         0
1580.52/1581.20	c       106       200    217.74     38.09      5.72   1000000         0
1582.42/1583.04	c       117       187    219.49     38.57      5.69   1000000         0
1584.22/1584.89	c       105       227    219.85     34.58      6.36   1000000         0
1586.12/1586.74	c       118       247    213.92     34.81      6.15   1000000         0
1587.92/1588.57	c       131       229    227.15     38.61      5.88   1000000         0
1589.82/1590.40	c       126       235    224.21     40.70      5.51   1000000         0
1591.62/1592.25	c       134       155    224.07     41.64      5.38   1000000         0
1593.42/1594.08	c       113       221    224.38     41.53      5.40   1000000         0
1595.32/1595.95	c        93       207    213.71     40.00      5.34   1000000         0
1597.12/1597.78	c       120       223    225.12     37.60      5.99   1000000         0
1599.02/1599.62	c       124       230    216.68     42.42      5.11   1000000         0
1600.82/1601.46	c       128       180    218.95     38.02      5.76   1000000         0
1602.72/1603.30	c       118       187    219.09     36.92      5.93   1000000         0
1604.52/1605.12	c       121       209    225.34     40.92      5.51   1000000         0
1606.32/1606.94	c       123       206    220.26     35.06      6.28   1000000         0
1608.11/1608.79	c       119       226    219.82     39.69      5.54   1000000         0
1610.01/1610.63	c       109       186    215.43     39.70      5.43   1000000         0
1611.81/1612.47	c       107       223    221.08     39.98      5.53   1000000         0
1613.71/1614.31	c       126       246    222.92     38.14      5.84   1000000         0
1615.51/1616.14	c       117       176    227.18     39.09      5.81   1000000         0
1617.31/1617.97	c       119       200    221.38     35.46      6.24   1000000         0
1619.21/1619.84	c       124       199    220.37     41.61      5.30   1000000         0
1621.01/1621.70	c       127       202    223.39     37.60      5.94   1000000         0
1622.92/1623.53	c       122       226    219.27     36.34      6.03   1000000         0
1624.71/1625.38	c       106       169    219.18     38.93      5.63   1000000         0
1626.61/1627.22	c       115       224    222.93     39.16      5.69   1000000         0
1628.41/1629.06	c       128       246    227.05     37.23      6.10   1000000         0
1630.31/1630.91	c       121       260    226.56     37.70      6.01   1000000         0
1632.11/1632.73	c       128       207    227.80     41.18      5.53   1000000         0
1633.91/1634.57	c       114       216    221.13     40.28      5.49   1000000         0
1635.81/1636.40	c       129       237    226.89     47.64      4.76   1000000         0
1637.60/1638.24	c       125       177    220.87     35.74      6.18   1000000         0
1639.41/1640.07	c       119       189    222.78     40.13      5.55   1000000         0
1641.30/1641.91	c       126       193    222.46     38.51      5.78   1000000         0
1643.10/1643.75	c       122       216    220.95     38.63      5.72   1000000         0
1644.91/1645.59	c       124       184    220.03     37.74      5.83   1000000         0
1646.80/1647.43	c       123       237    228.90     37.17      6.16   1000000         0
1648.60/1649.26	c       134       207    223.30     38.20      5.85   1000000         0
1650.41/1651.09	c       114       254    223.82     39.51      5.67   1000000         0
1652.30/1652.95	c       120       199    220.61     38.44      5.74   1000000         0
1654.10/1654.79	c       115       224    223.31     38.11      5.86   1000000         0
1656.01/1656.64	c       121       220    217.20     34.87      6.23   1000000         0
1657.80/1658.49	c       114       208    215.55     37.94      5.68   1000000         0
1659.70/1660.35	c       110       206    215.83     38.75      5.57   1000000         0
1661.50/1662.18	c       116       213    222.58     38.92      5.72   1000000         0
1663.39/1664.02	c       130       231    225.22     37.36      6.03   1000000         0
1665.19/1665.86	c       104       236    223.05     39.92      5.59   1000000         0
1667.09/1667.71	c       111       184    224.88     40.36      5.57   1000000         0
1668.89/1669.54	c       111       214    220.17     41.13      5.35   1000000         0
1670.79/1671.40	c       128       212    220.10     40.94      5.38   1000000         0
1672.59/1673.24	c       133       211    226.29     38.17      5.93   1000000         0
1674.39/1675.09	c       112       201    216.05     40.26      5.37   1000000         0
1676.29/1676.94	c       117       232    220.09     35.77      6.15   1000000         0
1678.19/1678.80	c       106       179    212.78     40.73      5.22   1000000         0
1679.99/1680.64	c       116       244    225.02     38.34      5.87   1000000         0
1681.79/1682.48	c       122       233    223.51     36.74      6.08   1000000         0
1683.69/1684.33	c       126       233    224.34     40.57      5.53   1000000         0
1685.49/1686.17	c       126       187    223.82     34.07      6.57   1000000         0
1687.39/1688.00	c       128       260    222.59     39.53      5.63   1000000         0
1689.19/1689.83	c       126       186    225.83     35.89      6.29   1000000         0
1690.98/1691.67	c       126       168    224.81     41.05      5.48   1000000         0
1692.88/1693.52	c       125       228    216.78     34.72      6.24   1000000         0
1694.68/1695.34	c       134       204    228.21     39.74      5.74   1000000         0
1696.48/1697.18	c       126       155    220.38     36.54      6.03   1000000         0
1698.38/1699.02	c       116       237    223.49     39.66      5.63   1000000         0
1700.18/1700.87	c       129       261    223.50     39.27      5.69   1000000         0
1702.09/1702.71	c       115       202    222.46     40.97      5.43   1000000         0
1703.88/1704.56	c       130       219    224.10     42.16      5.32   1000000         0
1705.78/1706.40	c       119       262    221.70     37.23      5.95   1000000         0
1707.59/1708.26	c       116       327    217.98     37.58      5.80   1000000         0
1709.48/1710.11	c       123       213    219.06     41.16      5.32   1000000         0
1711.28/1711.94	c       127       234    224.44     36.90      6.08   1000000         0
1713.08/1713.79	c       123       180    224.30     39.41      5.69   1000000         0
1714.98/1715.65	c        91       174    208.20     41.73      4.99   1000000         0
1716.78/1717.49	c       112       229    208.68     37.94      5.50   1000000         0
1718.68/1719.33	c       118       182    219.79     42.73      5.14   1000000         0
1720.47/1721.17	c       122       178    220.27     38.58      5.71   1000000         0
1722.37/1723.03	c       130       244    219.79     33.37      6.59   1000000         0
1724.18/1724.87	c       119       218    220.03     41.71      5.28   1000000         0
1725.97/1726.69	c       117       259    228.26     37.89      6.02   1000000         0
1727.87/1728.55	c       126       213    221.40     38.64      5.73   1000000         0
1729.77/1730.40	c       128       215    221.34     38.90      5.69   1000000         0
1731.57/1732.25	c       118       213    227.05     41.54      5.47   1000000         0
1733.37/1734.09	c       131       220    226.44     38.26      5.92   1000000         0
1735.27/1735.92	c       119       201    221.83     34.14      6.50   1000000         0
1737.07/1737.78	c       108       225    217.05     39.84      5.45   1000000         0
1738.97/1739.61	c       125       238    230.06     47.68      4.83   1000000         0
1740.77/1741.46	c       122       192    219.03     40.93      5.35   1000000         0
1742.67/1743.30	c       110       231    215.36     40.35      5.34   1000000         0
1744.46/1745.16	c       116       180    217.71     37.88      5.75   1000000         0
1746.36/1747.02	c       105       219    215.48     43.61      4.94   1000000         0
1748.16/1748.86	c       108       218    215.51     42.40      5.08   1000000         0
1750.06/1750.70	c       136       187    225.05     35.24      6.39   1000000         0
1751.86/1752.56	c       111       169    213.93     40.02      5.35   1000000         0
1753.77/1754.43	c        99       169    211.45     40.37      5.24   1000000         0
1755.56/1756.27	c       104       212    218.96     39.77      5.51   1000000         0
1757.46/1758.12	c       116       184    213.63     38.23      5.59   1000000         0
1759.27/1759.96	c       123       176    224.50     37.53      5.98   1000000         0
1761.16/1761.82	c       114       219    212.32     35.32      6.01   1000000         0
1762.96/1763.67	c       120       197    224.97     38.29      5.88   1000000         0
1764.86/1765.53	c       111       243    211.45     41.67      5.07   1000000         0
1766.76/1767.41	c       116       209    219.11     37.32      5.87   1000000         0
1768.56/1769.25	c       116       217    219.96     38.51      5.71   1000000         0
1770.46/1771.12	c       124       164    210.96     39.88      5.29   1000000         0
1772.26/1772.95	c       120       213    226.80     37.65      6.02   1000000         0
1774.16/1774.81	c       111       205    218.72     36.71      5.96   1000000         0
1775.95/1776.65	c       119       231    225.40     43.50      5.18   1000000         0
1777.75/1778.49	c       103       219    215.34     42.85      5.03   1000000         0
1779.65/1780.34	c       114       167    219.14     39.09      5.61   1000000         0
1781.45/1782.19	c       124       201    219.65     35.80      6.14   1000000         0
1783.35/1784.05	c       122       207    224.42     43.99      5.10   1000000         0
1785.15/1785.89	c       122       241    218.41     34.92      6.25   1000000         0
1787.05/1787.73	c       106       196    222.95     42.71      5.22   1000000         0
1788.96/1789.60	c       119       172    212.01     33.67      6.30   1000000         0
1790.75/1791.45	c       115       187    215.93     38.45      5.62   1000000         0
1792.65/1793.30	c       115       190    219.26     38.10      5.75   1000000         0
1794.46/1795.12	c       127       255    234.30     36.59      6.40   1000000         0
1796.25/1796.95	c       125       219    227.39     42.26      5.38   1000000         0
1798.15/1798.80	c       114       197    222.75     40.68      5.48   1000000         0
1799.95/1800.64	c       123       251    219.15     37.15      5.90   1000000         0
1800.06/1800.71	HOME/run: line 2:  4177 Terminated              ./PB-wave < $1

ERROR: no interpretation found !

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669885-1276611242/watcher-2669885-1276611242 -o /tmp/evaluation-result-2669885-1276611242/solver-2669885-1276611242 -C 1800 -W 2000 -M 1800 run HOME/instance-2669885-1276611242.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 4176
/proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0

[startup+0.057615 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4176
/proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101622 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4176
/proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300656 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4176
/proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701725 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4176
/proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4178
/proc/meminfo: memFree=1820244/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1.49
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 982 0 0 0 149 0 0 0 25 0 1 0 36725563 41422848 912 1992294400 134512640 135071400 4291448672 18446744073709551615 134526787 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 912 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4178
/proc/meminfo: memFree=1819996/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=3.09
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 309 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30169 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4178
/proc/meminfo: memFree=1819872/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=6.29
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 629 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4178
/proc/meminfo: memFree=1819748/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=12.69
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 1269 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4178
/proc/meminfo: memFree=1819624/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=25.48
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 2548 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134537183 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4178
/proc/meminfo: memFree=1819500/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=51.07
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 5107 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4180
/proc/meminfo: memFree=1819128/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=102.26
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 10226 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/108 4182
/proc/meminfo: memFree=1818880/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=162.23
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 16223 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/108 4184
/proc/meminfo: memFree=1818880/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=222.21
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 22221 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 4186
/proc/meminfo: memFree=1818756/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=282.19
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 28219 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 4186
/proc/meminfo: memFree=1818508/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=342.17
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 34217 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525852 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 49152

[startup+402.302 s]
/proc/loadavg: 1.08 1.05 1.00 2/108 4188
/proc/meminfo: memFree=1818384/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=402.14
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 40214 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=4177] ppid=4176 vsize=40452 CPUtime=1121.89
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 112188 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4210
/proc/meminfo: memFree=1816896/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1181.87
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 118186 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525968 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4210
/proc/meminfo: memFree=1816524/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1241.85
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 124184 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4212
/proc/meminfo: memFree=1816276/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1301.83
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 130182 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4214
/proc/meminfo: memFree=1816400/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1361.8
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 136179 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525971 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4216
/proc/meminfo: memFree=1816152/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1421.79
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 142178 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4218
/proc/meminfo: memFree=1816028/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1481.76
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 148175 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4218
/proc/meminfo: memFree=1816028/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1541.74
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 154173 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526283 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4220
/proc/meminfo: memFree=1815780/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1601.72
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 160171 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4222
/proc/meminfo: memFree=1815780/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1661.7
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 166169 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526331 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4224
/proc/meminfo: memFree=1815656/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1721.67
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 172166 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4226
/proc/meminfo: memFree=1815408/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1781.65
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 178164 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134519883 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4226
/proc/meminfo: memFree=1815408/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1800.06
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 180005 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4226
/proc/meminfo: memFree=1815408/2059040 swapFree=4136120/4192956
[pid=4176] ppid=4174 vsize=8700 CPUtime=0
/proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4176/statm: 2175 243 204 178 0 68 0
[pid=4177] ppid=4176 vsize=40452 CPUtime=1800.06
/proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 180005 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4177/statm: 10113 920 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.72
CPU time (s): 1800.07
CPU user time (s): 1800.06
CPU system time (s): 0.014997
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.85757 second user time and 8.66668 second system time

The end

Begin job on node014 at 2010-06-15 16:14:02
IDJOB=2669885
IDBENCH=1484
IDSOLVER=1171
FILE ID=node014/2669885-1276611242
PBS_JOBID= 11172259
Free space on /tmp= 62572 MiB

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

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

MD5SUM BENCH= d7f2e5810238fdfe52a90b4b556d26aa
RANDOM SEED=635878719

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1824500 kB
Buffers:         48044 kB
Cached:          98644 kB
SwapCached:      11120 kB
Active:          90504 kB
Inactive:        70772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1824500 kB
SwapTotal:     4192956 kB
SwapFree:      4136120 kB
Dirty:            2472 kB
Writeback:           0 kB
AnonPages:       12636 kB
Mapped:           9356 kB
Slab:            51400 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184264 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= 62572 MiB
End job on node014 at 2010-06-15 16:44:03