0.00/0.13	c PB-wave - v2
0.00/0.13	c command line = ./PB-wave
0.00/0.13	c seed = 52462389
0.00/0.13	c cutoff = 1000000
0.00/0.13	c tries = 1000000
0.00/0.13	c heuristic = c best, noise 50 / 100
0.00/0.13	#var 16214 #con 50734
0.00/0.13	mode is SAT
0.00/0.13	c tail starts after flip = 48642
0.00/0.13	c numatom = 16214, numclause = 50734, numliterals = 123595
0.00/0.13	c wff read in
0.00/0.13	c 
0.00/0.13	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.13	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.13	c       this      this      this      this      this      this   success   success       until         std
0.00/0.13	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.13	c
1.58/1.64	c       429       566    666.17    121.65      5.48   1000000         0
3.08/3.16	c       438       547    679.30    118.15      5.75   1000000         0
4.58/4.67	c       380       715    658.53    109.64      6.01   1000000         0
6.08/6.18	c       434       678    667.33    110.89      6.02   1000000         0
7.59/7.70	c       408       535    664.92    111.63      5.96   1000000         0
9.18/9.20	c       435       651    674.96    101.30      6.66   1000000         0
10.68/10.71	c       429       697    657.11    113.09      5.81   1000000         0
12.18/12.23	c       439       488    669.08     93.44      7.16   1000000         0
13.68/13.73	c       434       556    656.72    133.63      4.91   1000000         0
15.18/15.24	c       420       642    666.03    120.57      5.52   1000000         0
16.68/16.76	c       414       437    673.89    117.51      5.73   1000000         0
18.18/18.27	c       441       663    676.21    102.30      6.61   1000000         0
19.68/19.78	c       397       562    662.74    138.88      4.77   1000000         0
21.28/21.30	c       456       678    669.08    119.96      5.58   1000000         0
22.77/22.82	c       441       734    675.81    116.76      5.79   1000000         0
24.27/24.31	c       357       683    644.77    123.04      5.24   1000000         0
25.77/25.82	c       410       617    663.13    126.18      5.26   1000000         0
27.27/27.33	c       462       648    678.08    122.43      5.54   1000000         0
28.77/28.84	c       398       608    646.81    109.57      5.90   1000000         0
30.27/30.35	c       445       732    663.57    107.44      6.18   1000000         0
31.78/31.86	c       432       638    645.08    103.23      6.25   1000000         0
33.27/33.38	c       485       737    691.41    100.93      6.85   1000000         0
34.77/34.89	c       438       589    664.26    114.98      5.78   1000000         0
36.37/36.40	c       413       597    660.35    107.52      6.14   1000000         0
37.87/37.93	c       464       665    696.00    125.69      5.54   1000000         0
39.37/39.43	c       418       635    651.39    101.59      6.41   1000000         0
40.87/40.95	c       458       684    681.55    113.47      6.01   1000000         0
42.37/42.46	c       412       648    666.36    124.75      5.34   1000000         0
43.87/43.98	c       438       831    667.10     98.26      6.79   1000000         0
45.37/45.49	c       408       489    668.90    129.16      5.18   1000000         0
46.97/47.01	c       444       643    678.22    110.66      6.13   1000000         0
48.47/48.52	c       409       660    678.99     97.22      6.98   1000000         0
49.97/50.03	c       369       661    656.42    101.84      6.45   1000000         0
51.47/51.53	c       409       549    664.12    107.53      6.18   1000000         0
52.96/53.04	c       385       737    659.31    116.77      5.65   1000000         0
54.46/54.55	c       471       610    671.52    109.07      6.16   1000000         0
55.97/56.06	c       472       703    661.63    104.99      6.30   1000000         0
57.46/57.57	c       463       681    671.04    101.04      6.64   1000000         0
58.96/59.08	c       439       665    666.98    113.20      5.89   1000000         0
60.47/60.59	c       436       731    683.26     94.02      7.27   1000000         0
62.06/62.10	c       407       625    646.85    117.29      5.52   1000000         0
63.56/63.61	c       471       598    667.92    119.26      5.60   1000000         0
65.06/65.12	c       460       648    665.86    117.94      5.65   1000000         0
66.56/66.64	c       417       539    683.47    111.49      6.13   1000000         0
68.07/68.16	c       465       481    681.98    104.10      6.55   1000000         0
69.56/69.67	c       423       718    660.87    102.79      6.43   1000000         0
71.06/71.19	c       438       705    685.95    117.27      5.85   1000000         0
72.66/72.70	c       395       585    662.40    115.22      5.75   1000000         0
74.16/74.21	c       411       642    654.42    142.02      4.61   1000000         0
75.66/75.72	c       454       549    664.28    104.67      6.35   1000000         0
77.16/77.23	c       441       680    663.97    121.65      5.46   1000000         0
78.66/78.74	c       414       639    655.48    110.84      5.91   1000000         0
80.16/80.25	c       461       533    673.85    122.71      5.49   1000000         0
81.66/81.75	c       457       504    662.79    102.69      6.45   1000000         0
83.16/83.26	c       411       709    652.36    121.87      5.35   1000000         0
84.66/84.76	c       460       534    653.71    101.42      6.45   1000000         0
86.15/86.28	c       455       579    665.32     90.84      7.32   1000000         0
87.65/87.79	c       385       708    668.29    109.43      6.11   1000000         0
89.15/89.30	c       417       786    662.57    104.36      6.35   1000000         0
90.75/90.81	c       395       642    650.99    115.40      5.64   1000000         0
92.26/92.32	c       443       717    670.40    115.56      5.80   1000000         0
93.75/93.83	c       443       640    656.99    117.07      5.61   1000000         0
95.25/95.34	c       450       603    676.31    115.77      5.84   1000000         0
96.76/96.85	c       427       749    651.97    106.76      6.11   1000000         0
98.25/98.36	c       457       803    679.37    109.96      6.18   1000000         0
99.75/99.88	c       439       710    683.77    135.96      5.03   1000000         0
101.35/101.40	c       468       671    698.83    118.49      5.90   1000000         0
102.85/102.92	c       443       620    678.76    115.27      5.89   1000000         0
104.36/104.42	c       435       655    660.98     91.76      7.20   1000000         0
105.86/105.93	c       457       672    663.65    119.36      5.56   1000000         0
107.36/107.45	c       393       584    671.94    105.15      6.39   1000000         0
108.87/108.96	c       417       829    664.13    137.99      4.81   1000000         0
110.36/110.46	c       427       630    671.05    114.67      5.85   1000000         0
111.86/111.97	c       425       605    648.90    116.74      5.56   1000000         0
113.36/113.48	c       447       738    661.56    123.60      5.35   1000000         0
114.86/114.99	c       361       752    666.33     99.41      6.70   1000000         0
116.36/116.49	c       422       717    665.70     95.88      6.94   1000000         0
117.96/118.01	c       476       666    677.28    120.79      5.61   1000000         0
119.45/119.53	c       410       663    681.31    125.69      5.42   1000000         0
120.96/121.04	c       426       519    658.41    112.11      5.87   1000000         0
122.45/122.57	c       387       662    664.25    101.41      6.55   1000000         0
123.95/124.07	c       416       589    641.41    113.81      5.64   1000000         0
125.45/125.59	c       438       765    678.06    127.56      5.32   1000000         0
127.05/127.10	c       441       589    665.70    115.94      5.74   1000000         0
128.56/128.61	c       437       589    658.75    120.40      5.47   1000000         0
130.05/130.12	c       423       550    661.20     92.86      7.12   1000000         0
131.55/131.62	c       394       620    644.72    102.78      6.27   1000000         0
133.06/133.13	c       438       616    659.84    114.10      5.78   1000000         0
134.55/134.64	c       408       656    678.70    116.11      5.85   1000000         0
136.05/136.15	c       420       623    667.60    131.71      5.07   1000000         0
137.55/137.65	c       438       632    646.12    115.77      5.58   1000000         0
139.05/139.17	c       415       673    674.81    111.64      6.04   1000000         0
140.55/140.68	c       436       698    679.67    123.30      5.51   1000000         0
142.05/142.19	c       445       668    669.45    115.17      5.81   1000000         0
143.65/143.71	c       454       623    674.25    123.31      5.47   1000000         0
145.15/145.21	c       445       686    662.24     95.12      6.96   1000000         0
146.64/146.72	c       425       684    667.77    115.19      5.80   1000000         0
148.14/148.23	c       457       629    652.95    104.77      6.23   1000000         0
149.64/149.74	c       435       688    675.50    105.67      6.39   1000000         0
151.14/151.26	c       388       648    677.44    109.85      6.17   1000000         0
152.64/152.78	c       375       529    674.67    139.77      4.83   1000000         0
154.14/154.29	c       426       707    662.96     99.71      6.65   1000000         0
155.74/155.80	c       449       684    670.68    102.06      6.57   1000000         0
157.25/157.33	c       490       621    682.03    103.66      6.58   1000000         0
158.74/158.84	c       380       700    662.15    105.22      6.29   1000000         0
160.24/160.36	c       418       619    682.32    133.52      5.11   1000000         0
161.74/161.88	c       465       766    694.84    113.27      6.13   1000000         0
163.24/163.39	c       438       763    672.51     98.88      6.80   1000000         0
164.74/164.90	c       444       633    664.85    101.21      6.57   1000000         0
166.34/166.41	c       435       577    654.33    111.91      5.85   1000000         0
167.84/167.93	c       418       619    685.26    113.53      6.04   1000000         0
169.34/169.43	c       413       709    662.93     88.71      7.47   1000000         0
170.84/170.94	c       371       627    672.08    109.18      6.16   1000000         0
172.33/172.46	c       456       534    662.94    127.98      5.18   1000000         0
173.83/173.96	c       433       711    648.49    111.51      5.82   1000000         0
175.33/175.48	c       467       632    673.28    101.44      6.64   1000000         0
176.83/176.99	c       447       500    662.36    124.95      5.30   1000000         0
178.43/178.50	c       448       628    670.92    117.88      5.69   1000000         0
179.93/180.02	c       434       626    660.01    109.97      6.00   1000000         0
181.44/181.53	c       453       497    682.06    109.09      6.25   1000000         0
182.93/183.04	c       441       664    658.79    121.70      5.41   1000000         0
184.43/184.55	c       431       678    660.48    105.37      6.27   1000000         0
185.93/186.06	c       412       789    682.94    110.73      6.17   1000000         0
187.43/187.57	c       399       563    671.30    104.70      6.41   1000000         0
188.93/189.08	c       458       601    664.23    105.30      6.31   1000000         0
190.43/190.58	c       385       598    656.36     95.13      6.90   1000000         0
191.92/192.09	c       441       680    647.56    126.20      5.13   1000000         0
193.53/193.61	c       460       731    697.95    121.50      5.74   1000000         0
195.02/195.12	c       442       619    664.64    108.38      6.13   1000000         0
196.52/196.64	c       435       636    674.96    121.53      5.55   1000000         0
198.02/198.15	c       447       522    673.90    105.33      6.40   1000000         0
199.52/199.66	c       403       697    667.08    114.82      5.81   1000000         0
201.02/201.18	c       428       787    663.72    104.23      6.37   1000000         0
202.52/202.68	c       405       624    651.74    123.63      5.27   1000000         0
204.02/204.19	c       382       693    668.08    128.25      5.21   1000000         0
205.53/205.70	c       433       693    689.05    118.74      5.80   1000000         0
207.12/207.21	c       433       531    659.32    106.96      6.16   1000000         0
208.62/208.71	c       387       642    641.30    133.88      4.79   1000000         0
210.12/210.22	c       439       659    660.15    101.02      6.53   1000000         0
211.62/211.73	c       413       532    667.88    132.43      5.04   1000000         0
213.12/213.25	c       453       629    679.67     95.81      7.09   1000000         0
214.62/214.77	c       450       483    687.47    113.74      6.04   1000000         0
216.12/216.27	c       452       706    653.17     99.43      6.57   1000000         0
217.62/217.79	c       416       696    665.42    110.34      6.03   1000000         0
219.12/219.29	c       460       683    652.02     97.55      6.68   1000000         0
220.72/220.81	c       479       833    699.58    100.56      6.96   1000000         0
222.22/222.32	c       406       658    660.82    103.49      6.39   1000000         0
223.72/223.83	c       445       578    657.41    109.05      6.03   1000000         0
225.22/225.34	c       405       659    662.24    108.41      6.11   1000000         0
226.72/226.85	c       443       594    675.57    121.56      5.56   1000000         0
228.22/228.37	c       464       544    677.77    114.31      5.93   1000000         0
229.72/229.89	c       471       623    679.33    127.06      5.35   1000000         0
231.21/231.39	c       407       629    660.18    116.18      5.68   1000000         0
232.81/232.91	c       466       684    673.45    116.72      5.77   1000000         0
234.31/234.42	c       429       712    669.87    107.39      6.24   1000000         0
235.81/235.93	c       455       651    671.15    140.82      4.77   1000000         0
237.31/237.44	c       422       701    657.67    118.31      5.56   1000000         0
238.81/238.95	c       433       699    663.99    117.17      5.67   1000000         0
240.31/240.46	c       448       736    666.14    119.52      5.57   1000000         0
241.82/241.97	c       408       854    658.45    135.82      4.85   1000000         0
243.31/243.48	c       442       691    670.30    133.38      5.03   1000000         0
244.91/245.01	c       427       650    685.37    126.63      5.41   1000000         0
246.41/246.52	c       394       627    641.17    117.24      5.47   1000000         0
247.91/248.02	c       379       693    657.88    103.34      6.37   1000000         0
249.41/249.53	c       411       641    657.60    125.40      5.24   1000000         0
250.91/251.04	c       456       613    666.67     89.11      7.48   1000000         0
252.41/252.55	c       400       578    675.18    138.06      4.89   1000000         0
253.91/254.05	c       441       561    666.39    120.64      5.52   1000000         0
255.41/255.56	c       404       708    669.88    115.92      5.78   1000000         0
256.91/257.08	c       405       683    685.61    116.74      5.87   1000000         0
258.41/258.59	c       450       783    681.63    112.59      6.05   1000000         0
260.01/260.10	c       425       648    665.44    122.37      5.44   1000000         0
261.50/261.61	c       382       639    664.48    116.37      5.71   1000000         0
263.00/263.13	c       463       723    663.79    116.18      5.71   1000000         0
264.50/264.64	c       455       745    673.65     98.35      6.85   1000000         0
266.01/266.15	c       382       747    664.65    122.97      5.40   1000000         0
267.50/267.66	c       386       495    662.21    132.79      4.99   1000000         0
269.00/269.16	c       378       494    654.01    134.78      4.85   1000000         0
270.51/270.68	c       450       770    668.49    114.75      5.83   1000000         0
272.00/272.18	c       449       620    644.91     91.43      7.05   1000000         0
273.50/273.69	c       445       561    655.18    121.47      5.39   1000000         0
275.10/275.20	c       415       633    655.16    107.37      6.10   1000000         0
276.60/276.72	c       436       536    674.17    114.89      5.87   1000000         0
278.11/278.23	c       435       555    670.83    133.59      5.02   1000000         0
279.60/279.75	c       470       624    686.07    126.56      5.42   1000000         0
281.10/281.26	c       424       677    678.91    136.44      4.98   1000000         0
282.61/282.78	c       459       730    694.02    121.19      5.73   1000000         0
284.10/284.29	c       446       807    643.78    105.09      6.13   1000000         0
285.70/285.80	c       434       689    672.25    122.70      5.48   1000000         0
287.20/287.32	c       429       617    679.59    119.78      5.67   1000000         0
288.70/288.83	c       398       504    652.09    129.31      5.04   1000000         0
290.20/290.34	c       455       554    669.55    115.23      5.81   1000000         0
291.70/291.85	c       422       708    667.88    124.77      5.35   1000000         0
293.20/293.36	c       439       663    672.12    133.87      5.02   1000000         0
294.70/294.88	c       422       567    675.91    124.59      5.42   1000000         0
296.19/296.39	c       414       642    661.20    105.25      6.28   1000000         0
297.69/297.89	c       412       760    649.44    129.85      5.00   1000000         0
299.29/299.40	c       405       683    661.31    123.74      5.34   1000000         0
300.79/300.91	c       425       654    679.34    113.22      6.00   1000000         0
302.30/302.42	c       433       628    656.94     98.47      6.67   1000000         0
303.79/303.93	c       386       731    660.11    146.04      4.52   1000000         0
305.29/305.44	c       456       624    665.16    119.57      5.56   1000000         0
306.80/306.95	c       381       624    654.19    122.50      5.34   1000000         0
308.29/308.46	c       442       719    656.65    109.87      5.98   1000000         0
309.79/309.96	c       416       622    673.25    134.64      5.00   1000000         0
311.29/311.47	c       397       505    667.38    106.86      6.25   1000000         0
312.79/312.99	c       466       604    673.57    114.36      5.89   1000000         0
314.40/314.50	c       452       588    660.62    120.86      5.47   1000000         0
315.89/316.01	c       414       626    652.36    131.63      4.96   1000000         0
317.39/317.51	c       448       676    657.76    105.20      6.25   1000000         0
318.89/319.02	c       441       657    652.39    106.82      6.11   1000000         0
320.39/320.53	c       439       676    665.21    115.83      5.74   1000000         0
321.89/322.04	c       484       700    693.09    119.98      5.78   1000000         0
323.39/323.56	c       432       628    686.85    115.24      5.96   1000000         0
324.89/325.06	c       412       763    650.63    133.35      4.88   1000000         0
326.39/326.57	c       454       817    664.93    107.97      6.16   1000000         0
327.89/328.09	c       397       718    680.70    117.65      5.79   1000000         0
329.38/329.60	c       431       669    662.69    101.20      6.55   1000000         0
330.99/331.11	c       396       594    656.06    119.04      5.51   1000000         0
332.48/332.61	c       428       717    649.29    113.24      5.73   1000000         0
333.98/334.12	c       412       579    655.60    118.91      5.51   1000000         0
335.48/335.62	c       411       731    651.65    104.89      6.21   1000000         0
336.98/337.12	c       398       570    652.19    136.24      4.79   1000000         0
338.48/338.63	c       402       631    658.88    112.19      5.87   1000000         0
339.98/340.15	c       443       688    673.50    132.83      5.07   1000000         0
341.48/341.65	c       407       539    637.74    108.02      5.90   1000000         0
342.99/343.15	c       398       692    671.92    118.88      5.65   1000000         0
344.48/344.66	c       435       660    662.77    110.63      5.99   1000000         0
345.98/346.18	c       385       635    677.69    121.47      5.58   1000000         0
347.49/347.69	c       442       624    647.41    119.75      5.41   1000000         0
349.08/349.20	c       457       739    670.39    118.38      5.66   1000000         0
350.58/350.72	c       412       619    672.62    114.33      5.88   1000000         0
352.08/352.23	c       416       672    667.27    115.21      5.79   1000000         0
353.58/353.74	c       409       719    659.06    126.53      5.21   1000000         0
355.08/355.25	c       428       607    661.89    108.45      6.10   1000000         0
356.58/356.77	c       415       759    683.92    119.91      5.70   1000000         0
358.08/358.29	c       439       500    663.24    111.87      5.93   1000000         0
359.68/359.80	c       427       545    666.07    141.89      4.69   1000000         0
361.17/361.30	c       397       643    640.35    100.23      6.39   1000000         0
362.67/362.81	c       453       662    667.03    102.60      6.50   1000000         0
364.17/364.33	c       408       564    674.82    126.99      5.31   1000000         0
365.67/365.85	c       402       627    675.09    121.46      5.56   1000000         0
367.18/367.36	c       483       662    684.19     93.03      7.35   1000000         0
368.67/368.87	c       467       747    670.55    103.53      6.48   1000000         0
370.17/370.38	c       414       699    664.60    121.97      5.45   1000000         0
371.68/371.89	c       447       640    669.42    111.39      6.01   1000000         0
373.27/373.41	c       443       614    677.33    136.56      4.96   1000000         0
374.77/374.92	c       438       735    663.15    128.15      5.17   1000000         0
376.27/376.43	c       466       633    666.98    108.04      6.17   1000000         0
377.77/377.94	c       400       597    673.93    101.13      6.66   1000000         0
379.28/379.45	c       410       724    670.11     97.88      6.85   1000000         0
380.77/380.96	c       426       635    678.98    105.85      6.41   1000000         0
382.27/382.47	c       457       596    671.94    135.54      4.96   1000000         0
383.77/383.98	c       438       670    654.74    107.67      6.08   1000000         0
385.27/385.49	c       442       541    671.61    111.25      6.04   1000000         0
386.87/387.02	c       435       624    694.18    118.94      5.84   1000000         0
388.37/388.53	c       437       622    687.96    115.92      5.93   1000000         0
389.87/390.05	c       478       659    678.43    112.67      6.02   1000000         0
391.37/391.56	c       412       600    661.57    126.12      5.25   1000000         0
392.87/393.08	c       466       588    662.07    116.47      5.68   1000000         0
394.36/394.59	c       421       698    666.17    122.39      5.44   1000000         0
395.87/396.09	c       474       568    668.81    102.97      6.50   1000000         0
397.46/397.60	c       457       604    676.36    108.24      6.25   1000000         0
398.96/399.12	c       357       651    661.00    108.19      6.11   1000000         0
400.46/400.62	c       436       696    649.24    112.18      5.79   1000000         0
401.96/402.13	c       410       658    658.24     99.04      6.65   1000000         0
403.47/403.64	c       426       723    665.09    123.17      5.40   1000000         0
404.96/405.14	c       397       729    656.10    106.23      6.18   1000000         0
406.46/406.65	c       433       664    655.03    126.40      5.18   1000000         0
407.97/408.16	c       468       665    676.45     94.75      7.14   1000000         0
409.46/409.67	c       442       692    684.64    121.26      5.65   1000000         0
410.96/411.19	c       437       833    678.05    134.59      5.04   1000000         0
412.56/412.70	c       440       672    662.79    119.31      5.56   1000000         0
414.06/414.21	c       407       613    677.38    133.45      5.08   1000000         0
415.56/415.72	c       476       661    672.85    132.37      5.08   1000000         0
417.06/417.24	c       457       698    671.34    107.70      6.23   1000000         0
418.56/418.75	c       406       661    677.64    110.29      6.14   1000000         0
420.06/420.27	c       445       536    682.32    103.92      6.57   1000000         0
421.56/421.78	c       413       625    666.07    137.87      4.83   1000000         0
423.06/423.29	c       404       525    654.83    120.59      5.43   1000000         0
424.56/424.79	c       414       673    640.93    113.36      5.65   1000000         0
426.16/426.30	c       415       606    649.26    116.87      5.56   1000000         0
427.66/427.82	c       475       632    684.43    110.50      6.19   1000000         0
429.15/429.33	c       439       800    671.94    105.48      6.37   1000000         0
430.65/430.83	c       419       682    647.80    127.40      5.08   1000000         0
432.16/432.34	c       465       734    673.19    125.92      5.35   1000000         0
433.65/433.86	c       455       686    682.46    125.65      5.43   1000000         0
435.15/435.36	c       427       541    659.81     97.67      6.76   1000000         0
436.65/436.88	c       415       530    664.97    117.16      5.68   1000000         0
438.15/438.39	c       424       697    667.94    122.84      5.44   1000000         0
439.76/439.90	c       438       580    656.06    117.30      5.59   1000000         0
441.25/441.41	c       455       614    672.48    110.58      6.08   1000000         0
442.75/442.93	c       434       610    669.27     97.64      6.85   1000000         0
444.26/444.44	c       430       628    639.21    107.38      5.95   1000000         0
445.75/445.95	c       396       701    676.04     96.59      7.00   1000000         0
447.25/447.47	c       455       640    689.30    129.34      5.33   1000000         0
448.75/448.98	c       462       671    671.02    116.11      5.78   1000000         0
450.25/450.49	c       432       688    679.86    118.89      5.72   1000000         0
451.85/452.01	c       455       539    674.76    122.21      5.52   1000000         0
453.35/453.53	c       404       731    680.71    130.06      5.23   1000000         0
454.85/455.03	c       455       621    668.16    100.80      6.63   1000000         0
456.35/456.54	c       401       638    651.53    134.58      4.84   1000000         0
457.85/458.06	c       457       723    693.80    127.02      5.46   1000000         0
459.35/459.57	c       410       662    664.69    111.83      5.94   1000000         0
460.84/461.08	c       427       675    662.07    104.64      6.33   1000000         0
462.34/462.58	c       423       619    652.10    105.94      6.16   1000000         0
463.95/464.10	c       439       661    684.21    116.21      5.89   1000000         0
465.44/465.62	c       408       489    665.00    109.99      6.05   1000000         0
466.94/467.13	c       444       749    676.94    122.29      5.54   1000000         0
468.45/468.65	c       435       633    665.49    128.15      5.19   1000000         0
469.94/470.16	c       414       572    662.96    110.56      6.00   1000000         0
471.44/471.66	c       447       650    650.58    116.97      5.56   1000000         0
472.94/473.18	c       457       721    669.72    121.12      5.53   1000000         0
474.54/474.70	c       415       584    702.55    128.15      5.48   1000000         0
476.04/476.21	c       420       524    657.06    117.48      5.59   1000000         0
477.54/477.73	c       473       683    697.58    106.27      6.56   1000000         0
479.04/479.24	c       429       842    660.42    116.42      5.67   1000000         0
480.54/480.75	c       439       605    653.87    123.19      5.31   1000000         0
482.04/482.26	c       463       618    665.78    116.50      5.71   1000000         0
483.54/483.77	c       443       738    667.62    126.28      5.29   1000000         0
485.04/485.28	c       431       540    666.09    107.85      6.18   1000000         0
486.64/486.80	c       465       700    697.40    129.59      5.38   1000000         0
488.14/488.32	c       499       703    680.51    104.37      6.52   1000000         0
489.63/489.83	c       421       669    665.18    113.47      5.86   1000000         0
491.14/491.33	c       359       674    655.97    133.81      4.90   1000000         0
492.65/492.85	c       448       684    676.39    121.38      5.57   1000000         0
494.14/494.36	c       419       648    665.31    105.63      6.30   1000000         0
495.64/495.88	c       427       592    672.66    108.08      6.22   1000000         0
497.14/497.38	c       424       588    649.15     86.03      7.55   1000000         0
498.74/498.90	c       461       612    686.07    112.67      6.09   1000000         0
500.25/500.41	c       446       713    681.14    126.14      5.40   1000000         0
501.74/501.92	c       450       617    667.06    104.76      6.37   1000000         0
503.24/503.43	c       423       680    660.72    120.48      5.48   1000000         0
504.75/504.94	c       432       664    680.36    112.41      6.05   1000000         0
506.24/506.45	c       424       599    657.87    105.21      6.25   1000000         0
507.74/507.96	c       457       673    668.42    117.67      5.68   1000000         0
509.24/509.47	c       388       622    655.77    102.48      6.40   1000000         0
510.74/510.98	c       444       529    670.66    128.16      5.23   1000000         0
512.24/512.49	c       408       632    652.43    119.15      5.48   1000000         0
513.83/514.00	c       420       680    663.59    102.69      6.46   1000000         0
515.33/515.51	c       415       641    660.07    129.22      5.11   1000000         0
516.84/517.03	c       467       739    675.09    108.53      6.22   1000000         0
518.33/518.54	c       394       608    645.11    124.51      5.18   1000000         0
519.83/520.05	c       478       669    673.97    126.64      5.32   1000000         0
521.33/521.56	c       418       700    659.34    114.57      5.75   1000000         0
522.83/523.07	c       378       574    671.26    120.01      5.59   1000000         0
524.33/524.58	c       424       680    642.02    113.47      5.66   1000000         0
525.83/526.09	c       401       639    681.14    120.46      5.65   1000000         0
527.43/527.61	c       406       731    665.95    126.93      5.25   1000000         0
528.94/529.12	c       416       729    663.16    124.71      5.32   1000000         0
530.43/530.63	c       444       537    661.02    114.32      5.78   1000000         0
531.93/532.14	c       453       606    664.00    103.75      6.40   1000000         0
533.43/533.65	c       399       532    643.07    109.30      5.88   1000000         0
534.93/535.15	c       442       711    664.27    102.84      6.46   1000000         0
536.43/536.67	c       408       543    677.43    122.65      5.52   1000000         0
537.93/538.18	c       439       560    648.24    103.76      6.25   1000000         0
539.53/539.70	c       483       683    680.88    122.87      5.54   1000000         0
541.03/541.22	c       465       717    694.25    117.26      5.92   1000000         0
542.53/542.73	c       432       714    657.71    107.09      6.14   1000000         0
544.03/544.24	c       444       695    664.04    139.21      4.77   1000000         0
545.53/545.74	c       407       765    658.75    100.34      6.57   1000000         0
547.02/547.26	c       441       762    670.79     93.75      7.16   1000000         0
548.52/548.77	c       421       683    656.54    130.76      5.02   1000000         0
550.02/550.28	c       458       673    675.66    122.69      5.51   1000000         0
551.52/551.79	c       409       591    652.70    133.28      4.90   1000000         0
553.03/553.30	c       447       677    669.56    109.59      6.11   1000000         0
554.62/554.81	c       443       638    650.67    108.68      5.99   1000000         0
556.12/556.32	c       462       586    664.01    109.89      6.04   1000000         0
557.62/557.84	c       457       633    677.64    116.01      5.84   1000000         0
559.12/559.34	c       441       718    651.24    103.94      6.27   1000000         0
560.62/560.85	c       428       660    661.23    118.73      5.57   1000000         0
562.12/562.37	c       411       605    662.59    103.29      6.41   1000000         0
563.62/563.88	c       443       686    657.38    114.28      5.75   1000000         0
565.13/565.39	c       442       633    677.11    108.39      6.25   1000000         0
566.72/566.90	c       425       646    661.44    103.92      6.36   1000000         0
568.22/568.40	c       435       680    646.72    104.59      6.18   1000000         0
569.72/569.92	c       413       649    681.77    113.42      6.01   1000000         0
571.22/571.43	c       449       615    662.69    114.69      5.78   1000000         0
572.72/572.93	c       473       555    660.58    109.12      6.05   1000000         0
574.22/574.45	c       451       583    662.88    115.85      5.72   1000000         0
575.72/575.96	c       450       635    673.56    101.28      6.65   1000000         0
577.22/577.47	c       388       588    665.81    132.90      5.01   1000000         0
578.72/578.98	c       450       722    649.13    105.89      6.13   1000000         0
580.22/580.48	c       397       572    642.08    111.85      5.74   1000000         0
581.72/581.99	c       420       707    667.50    107.51      6.21   1000000         0
583.31/583.50	c       418       605    659.74     99.63      6.62   1000000         0
584.81/585.00	c       442       538    656.97    108.36      6.06   1000000         0
586.31/586.52	c       430       599    676.69    101.43      6.67   1000000         0
587.81/588.03	c       453       597    684.93    119.71      5.72   1000000         0
589.32/589.54	c       458       806    665.22    123.97      5.37   1000000         0
590.81/591.06	c       430       741    693.03    119.95      5.78   1000000         0
592.31/592.57	c       339       729    656.36    110.17      5.96   1000000         0
593.82/594.08	c       421       599    654.84    110.68      5.92   1000000         0
595.31/595.59	c       409       599    649.55     93.49      6.95   1000000         0
596.81/597.10	c       408       640    649.02    114.71      5.66   1000000         0
598.41/598.60	c       356       501    653.97    123.49      5.30   1000000         0
599.91/600.11	c       356       666    655.99    123.16      5.33   1000000         0
601.42/601.62	c       450       617    657.35    105.79      6.21   1000000         0
602.91/603.14	c       410       677    664.27    130.48      5.09   1000000         0
604.41/604.65	c       382       615    653.30    105.84      6.17   1000000         0
605.92/606.16	c       436       596    675.66    100.94      6.69   1000000         0
607.41/607.68	c       469       640    676.32    118.87      5.69   1000000         0
608.91/609.19	c       411       690    664.94    128.70      5.17   1000000         0
610.51/610.70	c       404       583    662.70    105.65      6.27   1000000         0
612.01/612.22	c       445       642    679.84     91.10      7.46   1000000         0
613.51/613.73	c       413       609    658.82    117.95      5.59   1000000         0
615.01/615.23	c       440       657    657.95     99.37      6.62   1000000         0
616.50/616.74	c       449       743    671.94    122.52      5.48   1000000         0
618.01/618.25	c       458       725    652.18    125.61      5.19   1000000         0
619.50/619.76	c       421       770    653.98    108.14      6.05   1000000         0
621.00/621.27	c       479       571    691.40    112.41      6.15   1000000         0
622.50/622.79	c       426       592    669.43    121.20      5.52   1000000         0
624.10/624.30	c       441       609    671.94    109.74      6.12   1000000         0
625.61/625.82	c       422       631    669.99    117.44      5.71   1000000         0
627.10/627.33	c       442       563    678.18    104.09      6.52   1000000         0
628.60/628.85	c       444       645    677.68    122.97      5.51   1000000         0
630.11/630.36	c       387       605    663.99    127.86      5.19   1000000         0
631.60/631.87	c       452       681    682.00    131.35      5.19   1000000         0
633.10/633.39	c       488       549    695.45    113.07      6.15   1000000         0
634.70/634.90	c       459       716    670.74    117.83      5.69   1000000         0
636.20/636.41	c       453       656    650.76    106.74      6.10   1000000         0
637.71/637.91	c       468       594    673.93    104.90      6.42   1000000         0
639.20/639.44	c       427       640    670.88    120.64      5.56   1000000         0
640.70/640.94	c       451       585    663.70     98.10      6.77   1000000         0
642.21/642.45	c       349       595    653.92    121.45      5.38   1000000         0
643.70/643.96	c       461       605    667.21    102.72      6.50   1000000         0
645.20/645.47	c       406       504    655.04    120.38      5.44   1000000         0
646.70/646.99	c       471       603    681.06    117.15      5.81   1000000         0
648.30/648.51	c       442       652    677.21    112.95      6.00   1000000         0
649.80/650.02	c       396       622    649.13     98.29      6.60   1000000         0
651.29/651.54	c       470       642    694.73    106.07      6.55   1000000         0
652.79/653.05	c       434       635    655.88    116.71      5.62   1000000         0
654.30/654.57	c       437       837    687.31    131.09      5.24   1000000         0
655.79/656.08	c       373       647    666.48    134.13      4.97   1000000         0
657.29/657.59	c       431       666    668.17    106.78      6.26   1000000         0
658.89/659.10	c       461       744    670.59    117.85      5.69   1000000         0
660.39/660.62	c       440       656    686.12    119.37      5.75   1000000         0
661.90/662.13	c       425       623    670.09    111.78      5.99   1000000         0
663.39/663.65	c       455       682    685.47    133.37      5.14   1000000         0
664.89/665.15	c       414       736    662.31    115.05      5.76   1000000         0
666.40/666.66	c       451       609    676.50    121.81      5.55   1000000         0
667.89/668.18	c       400       645    655.58    130.60      5.02   1000000         0
669.39/669.69	c       438       684    667.80    134.17      4.98   1000000         0
670.99/671.21	c       464       565    681.35    111.30      6.12   1000000         0
672.49/672.71	c       444       683    674.99    106.30      6.35   1000000         0
674.00/674.23	c       429       474    662.06    103.40      6.40   1000000         0
675.49/675.74	c       432       641    671.83    128.58      5.23   1000000         0
676.99/677.25	c       450       623    680.23    113.56      5.99   1000000         0
678.49/678.76	c       430       651    663.80    120.33      5.52   1000000         0
679.99/680.27	c       429       637    654.00    108.62      6.02   1000000         0
681.49/681.78	c       426       723    666.08    123.79      5.38   1000000         0
682.99/683.29	c       434       652    644.24    120.73      5.34   1000000         0
684.49/684.80	c       421       585    662.67    101.71      6.52   1000000         0
686.09/686.31	c       438       669    663.51    106.64      6.22   1000000         0
687.58/687.82	c       422       649    679.70    126.77      5.36   1000000         0
689.08/689.32	c       365       634    638.29    109.85      5.81   1000000         0
690.59/690.84	c       474       618    689.77    118.43      5.82   1000000         0
692.08/692.34	c       430       623    653.33    106.25      6.15   1000000         0
693.58/693.85	c       444       666    658.41    127.41      5.17   1000000         0
695.08/695.36	c       410       599    663.10    137.61      4.82   1000000         0
696.58/696.87	c       442       610    668.94    107.75      6.21   1000000         0
698.08/698.39	c       455       584    688.92    122.90      5.61   1000000         0
699.68/699.90	c       425       715    675.00    139.65      4.83   1000000         0
701.18/701.41	c       454       690    673.21    105.79      6.36   1000000         0
702.69/702.92	c       456       628    664.73    115.35      5.76   1000000         0
704.18/704.43	c       455       605    658.46    131.20      5.02   1000000         0
705.68/705.95	c       482       598    679.93    110.77      6.14   1000000         0
707.18/707.46	c       433       734    677.10    138.12      4.90   1000000         0
708.68/708.97	c       433       710    667.43    127.76      5.22   1000000         0
710.18/710.48	c       474       685    668.16    118.39      5.64   1000000         0
711.68/711.99	c       438       654    666.75    115.54      5.77   1000000         0
713.28/713.50	c       460       772    667.39    108.51      6.15   1000000         0
714.78/715.01	c       472       782    687.97    119.74      5.75   1000000         0
716.28/716.53	c       375       686    671.98    136.17      4.93   1000000         0
717.78/718.04	c       473       633    676.82    112.87      6.00   1000000         0
719.27/719.56	c       478       784    666.86    111.80      5.96   1000000         0
720.77/721.07	c       404       669    664.79    119.85      5.55   1000000         0
722.27/722.58	c       437       732    669.03    111.85      5.98   1000000         0
723.77/724.10	c       398       635    687.20    118.79      5.79   1000000         0
725.37/725.60	c       440       828    669.09    100.52      6.66   1000000         0
726.88/727.11	c       465       708    671.16    121.40      5.53   1000000         0
728.37/728.64	c       428       581    677.73    134.69      5.03   1000000         0
729.87/730.15	c       446       680    667.97    105.02      6.36   1000000         0
731.37/731.65	c       394       712    655.34    119.18      5.50   1000000         0
732.87/733.18	c       418       663    674.04    109.05      6.18   1000000         0
734.37/734.70	c       450       467    685.78    114.29      6.00   1000000         0
735.97/736.21	c       427       640    669.91    111.73      6.00   1000000         0
737.47/737.72	c       456       551    665.70    112.60      5.91   1000000         0
738.98/739.23	c       415       645    649.73    102.24      6.35   1000000         0
740.47/740.74	c       439       671    661.90    133.71      4.95   1000000         0
741.97/742.25	c       427       718    659.29    128.79      5.12   1000000         0
743.47/743.77	c       389       642    666.66     98.07      6.80   1000000         0
744.97/745.28	c       456       545    673.52    105.21      6.40   1000000         0
746.47/746.79	c       405       601    672.12    122.56      5.48   1000000         0
748.07/748.30	c       460       631    648.27     98.71      6.57   1000000         0
749.57/749.82	c       499       648    672.73    106.78      6.30   1000000         0
751.07/751.33	c       422       655    667.11    131.14      5.09   1000000         0
752.56/752.84	c       415       660    657.89    108.93      6.04   1000000         0
754.06/754.35	c       442       528    664.23     98.81      6.72   1000000         0
755.56/755.85	c       432       771    646.88    116.63      5.55   1000000         0
757.06/757.37	c       446       678    683.69    116.85      5.85   1000000         0
758.56/758.88	c       403       670    656.94    102.56      6.41   1000000         0
760.06/760.38	c       410       631    659.43    126.51      5.21   1000000         0
761.56/761.89	c       421       509    650.02    119.58      5.44   1000000         0
763.07/763.39	c       374       629    662.43    151.83      4.36   1000000         0
764.66/764.91	c       455       691    680.58    109.73      6.20   1000000         0
766.16/766.42	c       380       880    652.11    111.40      5.85   1000000         0
767.66/767.93	c       444       541    655.81     94.01      6.98   1000000         0
769.16/769.44	c       437       710    672.18    119.06      5.65   1000000         0
770.66/770.94	c       388       602    648.50    128.79      5.04   1000000         0
772.16/772.45	c       451       702    661.98    112.03      5.91   1000000         0
773.66/773.97	c       475       691    667.56    110.53      6.04   1000000         0
775.17/775.48	c       464       657    664.82    106.29      6.25   1000000         0
776.66/776.99	c       452       583    653.55    123.38      5.30   1000000         0
778.16/778.50	c       383       584    659.52    116.04      5.68   1000000         0
779.76/780.00	c       381       612    659.09    117.00      5.63   1000000         0
781.26/781.51	c       455       804    677.94    105.00      6.46   1000000         0
782.76/783.02	c       440       575    654.42    120.25      5.44   1000000         0
784.26/784.53	c       427       588    672.33    112.16      5.99   1000000         0
785.75/786.04	c       412       654    672.77    118.01      5.70   1000000         0
787.26/787.56	c       443       578    689.91    109.66      6.29   1000000         0
788.75/789.06	c       434       696    647.39    122.41      5.29   1000000         0
790.25/790.57	c       464       575    667.73     87.53      7.63   1000000         0
791.76/792.08	c       451       658    669.60    114.26      5.86   1000000         0
793.25/793.59	c       443       595    676.16    133.37      5.07   1000000         0
794.85/795.11	c       426       693    661.52    120.99      5.47   1000000         0
796.35/796.61	c       428       599    669.81    109.42      6.12   1000000         0
797.85/798.14	c       501       629    686.13    104.40      6.57   1000000         0
799.36/799.66	c       403       572    684.30    124.60      5.49   1000000         0
800.85/801.17	c       421       498    663.91    129.85      5.11   1000000         0
802.35/802.67	c       367       748    640.36    117.73      5.44   1000000         0
803.86/804.18	c       454       618    686.30     96.41      7.12   1000000         0
805.45/805.70	c       440       571    676.98    120.31      5.63   1000000         0
806.95/807.22	c       435       658    673.43    104.30      6.46   1000000         0
808.45/808.73	c       461       515    665.54    119.96      5.55   1000000         0
809.95/810.25	c       401       582    674.92     94.69      7.13   1000000         0
811.45/811.77	c       457       770    678.33    102.78      6.60   1000000         0
812.95/813.27	c       461       667    665.99    110.47      6.03   1000000         0
814.45/814.78	c       359       613    661.22    113.66      5.82   1000000         0
816.05/816.30	c       463       735    681.95    102.58      6.65   1000000         0
817.55/817.80	c       438       781    649.88     92.05      7.06   1000000         0
819.05/819.31	c       410       636    654.33    119.02      5.50   1000000         0
820.55/820.82	c       458       683    672.47    113.20      5.94   1000000         0
822.04/822.33	c       452       759    659.27    121.32      5.43   1000000         0
823.55/823.84	c       467       688    684.72    126.35      5.42   1000000         0
825.04/825.36	c       436       751    682.80    103.80      6.58   1000000         0
826.54/826.86	c       429       491    650.41    111.95      5.81   1000000         0
828.05/828.37	c       399       571    657.53    124.12      5.30   1000000         0
829.54/829.89	c       451       744    670.38    122.29      5.48   1000000         0
831.14/831.40	c       411       583    661.29    120.85      5.47   1000000         0
832.64/832.91	c       402       676    665.06     99.82      6.66   1000000         0
834.14/834.42	c       446       602    672.93    123.52      5.45   1000000         0
835.65/835.92	c       429       645    649.19    103.89      6.25   1000000         0
837.14/837.43	c       369       635    661.68    111.81      5.92   1000000         0
838.64/838.93	c       376       569    645.18    115.78      5.57   1000000         0
840.15/840.44	c       460       551    668.93    121.36      5.51   1000000         0
841.64/841.95	c       438       670    658.32    120.02      5.48   1000000         0
843.14/843.47	c       400       688    660.64    113.69      5.81   1000000         0
844.64/844.97	c       435       646    660.95     99.26      6.66   1000000         0
846.14/846.48	c       405       612    671.52    113.61      5.91   1000000         0
847.64/847.99	c       450       584    671.05    118.52      5.66   1000000         0
849.24/849.51	c       459       792    692.21    116.63      5.94   1000000         0
850.74/851.02	c       444       758    683.33    103.12      6.63   1000000         0
852.24/852.53	c       413       631    652.13    109.45      5.96   1000000         0
853.74/854.04	c       416       649    673.50    117.17      5.75   1000000         0
855.23/855.54	c       433       624    653.82    101.55      6.44   1000000         0
856.73/857.04	c       435       720    646.50    105.40      6.13   1000000         0
858.23/858.56	c       454       780    674.97    119.51      5.65   1000000         0
859.73/860.05	c       416       654    653.56    106.24      6.15   1000000         0
861.23/861.56	c       407       781    657.72    113.41      5.80   1000000         0
862.73/863.07	c       413       638    681.18    127.50      5.34   1000000         0
864.24/864.59	c       442       618    677.05    109.49      6.18   1000000         0
865.73/866.09	c       418       555    647.29     87.98      7.36   1000000         0
867.33/867.61	c       457       775    680.42    111.89      6.08   1000000         0
868.83/869.11	c       428       642    663.03    109.66      6.05   1000000         0
870.33/870.62	c       432       590    668.72    108.52      6.16   1000000         0
871.83/872.14	c       468       633    672.07     94.39      7.12   1000000         0
873.33/873.66	c       484       576    688.49    112.07      6.14   1000000         0
874.83/875.17	c       442       717    684.94    116.17      5.90   1000000         0
876.33/876.69	c       427       802    667.71    123.41      5.41   1000000         0
877.93/878.20	c       453       696    681.85    130.44      5.23   1000000         0
879.43/879.72	c       441       590    697.54    110.65      6.30   1000000         0
880.93/881.24	c       431       664    672.22    107.00      6.28   1000000         0
882.42/882.75	c       447       731    661.07    106.42      6.21   1000000         0
883.92/884.26	c       417       713    661.77    121.68      5.44   1000000         0
885.42/885.77	c       443       737    670.44    122.88      5.46   1000000         0
886.92/887.28	c       412       550    681.70    115.13      5.92   1000000         0
888.43/888.78	c       459       572    651.39    117.93      5.52   1000000         0
890.02/890.30	c       438       718    683.98    144.49      4.73   1000000         0
891.52/891.81	c       417       707    665.85    110.38      6.03   1000000         0
893.02/893.31	c       414       651    652.18    102.04      6.39   1000000         0
894.52/894.82	c       442       704    667.90    116.06      5.75   1000000         0
896.02/896.32	c       441       608    634.51    127.71      4.97   1000000         0
897.52/897.84	c       440       598    673.74    125.43      5.37   1000000         0
899.02/899.35	c       438       704    681.63    113.64      6.00   1000000         0
900.53/900.87	c       436       542    679.67    112.93      6.02   1000000         0
902.02/902.39	c       383       657    690.77    122.48      5.64   1000000         0
903.62/903.91	c       442       591    659.23    117.99      5.59   1000000         0
905.12/905.41	c       437       565    652.08    110.12      5.92   1000000         0
906.62/906.93	c       423       544    680.49    103.14      6.60   1000000         0
908.12/908.44	c       422       608    677.52    115.43      5.87   1000000         0
909.62/909.96	c       422       718    697.69    116.74      5.98   1000000         0
911.12/911.48	c       400       582    662.97    127.57      5.20   1000000         0
912.62/912.98	c       441       530    669.52    101.29      6.61   1000000         0
914.12/914.49	c       428       605    650.57    106.03      6.14   1000000         0
915.72/916.00	c       434       605    659.30    100.26      6.58   1000000         0
917.21/917.52	c       439       673    676.67    118.41      5.71   1000000         0
918.71/919.02	c       398       694    652.30    120.54      5.41   1000000         0
920.21/920.54	c       419       691    661.01    127.23      5.20   1000000         0
921.71/922.06	c       449       613    682.99    117.71      5.80   1000000         0
923.21/923.58	c       414       701    664.64    121.25      5.48   1000000         0
924.72/925.09	c       484       682    678.87    103.78      6.54   1000000         0
926.21/926.59	c       436       643    673.73    107.75      6.25   1000000         0
927.81/928.12	c       451       841    682.76    120.64      5.66   1000000         0
929.31/929.62	c       397       682    640.20    121.51      5.27   1000000         0
930.81/931.13	c       370       574    665.81    122.83      5.42   1000000         0
932.31/932.64	c       444       606    664.71    109.30      6.08   1000000         0
933.81/934.14	c       401       610    654.38    155.40      4.21   1000000         0
935.31/935.65	c       364       675    655.34    119.59      5.48   1000000         0
936.82/937.16	c       385       539    649.51    122.52      5.30   1000000         0
938.31/938.67	c       421       610    648.04     99.09      6.54   1000000         0
939.81/940.18	c       409       559    676.82    117.67      5.75   1000000         0
941.31/941.69	c       456       566    678.11    106.39      6.37   1000000         0
942.91/943.21	c       435       577    681.74    120.90      5.64   1000000         0
944.41/944.73	c       452       576    668.50    112.70      5.93   1000000         0
945.91/946.23	c       440       600    642.21    121.61      5.28   1000000         0
947.41/947.73	c       343       625    650.91    111.76      5.82   1000000         0
948.91/949.24	c       452       534    659.70    124.88      5.28   1000000         0
950.40/950.75	c       464       710    662.51    112.98      5.86   1000000         0
951.90/952.26	c       426       613    664.97    131.50      5.06   1000000         0
953.41/953.78	c       452       660    657.92    100.80      6.53   1000000         0
954.90/955.29	c       439       685    665.96    110.53      6.03   1000000         0
956.50/956.80	c       436       651    658.30    116.38      5.66   1000000         0
958.00/958.32	c       459       622    681.83    118.89      5.74   1000000         0
959.50/959.82	c       391       680    651.19    106.94      6.09   1000000         0
961.01/961.33	c       444       634    658.96    117.25      5.62   1000000         0
962.50/962.83	c       420       638    647.29    101.09      6.40   1000000         0
964.00/964.34	c       462       695    670.37    102.93      6.51   1000000         0
965.51/965.86	c       404       645    681.66    107.63      6.33   1000000         0
967.00/967.37	c       434       594    651.09     95.90      6.79   1000000         0
968.50/968.87	c       346       602    668.31    108.55      6.16   1000000         0
970.00/970.39	c       418       582    672.74    112.01      6.01   1000000         0
971.60/971.90	c       439       652    659.62    113.26      5.82   1000000         0
973.11/973.42	c       433       725    688.84    109.92      6.27   1000000         0
974.60/974.94	c       445       679    689.30    106.04      6.50   1000000         0
976.10/976.44	c       374       642    658.41    123.19      5.34   1000000         0
977.60/977.95	c       415       663    656.37    129.17      5.08   1000000         0
979.10/979.47	c       438       706    665.36    110.25      6.04   1000000         0
980.60/980.98	c       439       589    669.66    117.36      5.71   1000000         0
982.10/982.50	c       450       760    674.85    112.76      5.99   1000000         0
983.70/984.01	c       415       580    663.61    111.08      5.97   1000000         0
985.20/985.52	c       426       570    666.06    108.72      6.13   1000000         0
986.69/987.03	c       376       590    658.13    139.21      4.73   1000000         0
988.19/988.54	c       432       696    661.19    139.35      4.74   1000000         0
989.70/990.05	c       441       733    670.62    123.50      5.43   1000000         0
991.19/991.56	c       449       625    670.48    122.46      5.48   1000000         0
992.69/993.07	c       475       745    679.08    103.52      6.56   1000000         0
994.19/994.58	c       456       712    679.12    115.73      5.87   1000000         0
995.79/996.10	c       454       649    665.40     98.81      6.73   1000000         0
997.30/997.61	c       416       710    666.78    115.73      5.76   1000000         0
998.79/999.12	c       409       639    667.16    117.52      5.68   1000000         0
1000.29/1000.63	c       452       650    664.82    114.05      5.83   1000000         0
1001.80/1002.14	c       439       625    662.57    128.08      5.17   1000000         0
1003.29/1003.65	c       416       547    669.64    106.53      6.29   1000000         0
1004.79/1005.16	c       378       548    647.17    116.23      5.57   1000000         0
1006.29/1006.67	c       411       729    652.99    118.69      5.50   1000000         0
1007.79/1008.18	c       439       692    660.34    119.27      5.54   1000000         0
1009.29/1009.69	c       444       666    661.70    124.00      5.34   1000000         0
1010.89/1011.20	c       434       665    651.58    125.81      5.18   1000000         0
1012.39/1012.71	c       439       643    677.99    108.22      6.27   1000000         0
1013.89/1014.23	c       434       734    673.41    116.16      5.80   1000000         0
1015.39/1015.74	c       423       548    673.61    117.06      5.75   1000000         0
1016.89/1017.26	c       431       665    679.63    103.33      6.58   1000000         0
1018.39/1018.77	c       413       700    662.79    126.20      5.25   1000000         0
1019.88/1020.28	c       445       563    659.07    108.74      6.06   1000000         0
1021.38/1021.79	c       459       662    666.08    123.49      5.39   1000000         0
1022.98/1023.31	c       391       523    690.45    117.51      5.88   1000000         0
1024.48/1024.81	c       389       692    667.30    135.59      4.92   1000000         0
1025.99/1026.32	c       420       558    652.50    104.74      6.23   1000000         0
1027.48/1027.84	c       446       651    676.88    113.97      5.94   1000000         0
1028.98/1029.34	c       397       655    656.90    115.18      5.70   1000000         0
1030.48/1030.86	c       454       582    674.46    131.51      5.13   1000000         0
1031.98/1032.38	c       370       737    693.28    126.37      5.49   1000000         0
1033.48/1033.89	c       431       625    674.04    109.20      6.17   1000000         0
1035.08/1035.40	c       455       692    669.26    101.80      6.57   1000000         0
1036.58/1036.91	c       400       586    662.40    108.10      6.13   1000000         0
1038.09/1038.42	c       454       535    668.80     93.02      7.19   1000000         0
1039.58/1039.93	c       479       636    669.50    115.09      5.82   1000000         0
1041.08/1041.44	c       442       592    667.29    101.89      6.55   1000000         0
1042.58/1042.94	c       391       603    658.21    129.98      5.06   1000000         0
1044.08/1044.45	c       371       616    639.28    109.68      5.83   1000000         0
1045.58/1045.96	c       434       710    672.22    116.72      5.76   1000000         0
1047.08/1047.46	c       383       544    661.59    105.06      6.30   1000000         0
1048.58/1048.97	c       429       612    658.83    115.10      5.72   1000000         0
1050.08/1050.48	c       403       779    657.92    130.20      5.05   1000000         0
1051.58/1051.99	c       414       735    656.69    104.80      6.27   1000000         0
1053.07/1053.49	c       427       659    640.43    117.06      5.47   1000000         0
1054.67/1055.00	c       407       549    655.98    128.79      5.09   1000000         0
1056.17/1056.51	c       406       503    676.49    122.45      5.52   1000000         0
1057.67/1058.03	c       441       605    681.01    106.36      6.40   1000000         0
1059.17/1059.54	c       415       638    650.84    122.98      5.29   1000000         0
1060.67/1061.05	c       443       638    675.50    118.31      5.71   1000000         0
1062.18/1062.56	c       439       624    664.99    112.23      5.93   1000000         0
1063.67/1064.08	c       496       701    692.65    110.65      6.26   1000000         0
1065.27/1065.60	c       420       665    680.05    107.29      6.34   1000000         0
1066.77/1067.10	c       323       746    651.01    111.50      5.84   1000000         0
1068.27/1068.61	c       426       816    668.38    107.87      6.20   1000000         0
1069.77/1070.13	c       452       699    676.07    103.95      6.50   1000000         0
1071.27/1071.63	c       390       624    635.66    120.03      5.30   1000000         0
1072.77/1073.14	c       458       669    669.25    106.98      6.26   1000000         0
1074.28/1074.65	c       458       619    654.33     96.67      6.77   1000000         0
1075.77/1076.15	c       394       690    642.67    107.22      5.99   1000000         0
1077.27/1077.67	c       477       530    689.56    111.77      6.17   1000000         0
1078.77/1079.19	c       452       617    696.56    121.30      5.74   1000000         0
1080.37/1080.71	c       480       591    678.75     94.07      7.22   1000000         0
1081.87/1082.22	c       442       682    668.34    107.23      6.23   1000000         0
1083.37/1083.73	c       413       712    659.51    109.53      6.02   1000000         0
1084.87/1085.24	c       432       599    678.25    108.92      6.23   1000000         0
1086.38/1086.75	c       442       596    666.03    121.99      5.46   1000000         0
1087.87/1088.26	c       423       562    667.35    126.06      5.29   1000000         0
1089.37/1089.77	c       440       696    656.61    120.38      5.45   1000000         0
1090.88/1091.28	c       407       592    662.35     96.73      6.85   1000000         0
1092.37/1092.79	c       439       650    673.37    111.84      6.02   1000000         0
1093.97/1094.30	c       377       641    667.16    111.91      5.96   1000000         0
1095.47/1095.82	c       437       695    668.72    127.24      5.26   1000000         0
1096.97/1097.33	c       392       601    650.90    105.97      6.14   1000000         0
1098.48/1098.84	c       456       584    660.09    121.09      5.45   1000000         0
1099.97/1100.35	c       406       542    667.32    114.87      5.81   1000000         0
1101.47/1101.85	c       417       576    645.01     94.24      6.84   1000000         0
1102.98/1103.36	c       418       593    635.18     92.02      6.90   1000000         0
1104.47/1104.86	c       405       743    658.42    128.93      5.11   1000000         0
1105.97/1106.38	c       424       719    666.90    113.02      5.90   1000000         0
1107.47/1107.89	c       460       661    653.49    107.39      6.09   1000000         0
1109.07/1109.40	c       404       626    665.28    122.95      5.41   1000000         0
1110.57/1110.90	c       415       618    655.19    107.38      6.10   1000000         0
1112.06/1112.41	c       428       652    661.43    114.53      5.78   1000000         0
1113.56/1113.92	c       433       711    675.73    113.75      5.94   1000000         0
1115.07/1115.44	c       469       579    678.22    107.30      6.32   1000000         0
1116.56/1116.96	c       434       645    675.88    116.59      5.80   1000000         0
1118.06/1118.47	c       461       671    667.71     99.65      6.70   1000000         0
1119.56/1119.98	c       433       619    662.93    123.84      5.35   1000000         0
1121.06/1121.50	c       467       639    666.26    112.22      5.94   1000000         0
1122.67/1123.03	c       474       670    716.48    105.77      6.77   1000000         0
1124.16/1124.55	c       443       560    677.99     98.78      6.86   1000000         0
1125.66/1126.07	c       472       602    683.23    114.04      5.99   1000000         0
1127.17/1127.58	c       389       761    669.39    126.50      5.29   1000000         0
1128.66/1129.10	c       462       747    690.95    117.97      5.86   1000000         0
1130.26/1130.60	c       446       697    643.36    123.34      5.22   1000000         0
1131.76/1132.11	c       437       628    656.80    127.49      5.15   1000000         0
1133.26/1133.63	c       417       607    667.22    108.15      6.17   1000000         0
1134.77/1135.13	c       465       604    659.41    119.27      5.53   1000000         0
1136.26/1136.65	c       451       720    684.52    123.98      5.52   1000000         0
1137.76/1138.17	c       417       525    671.21    117.53      5.71   1000000         0
1139.26/1139.68	c       458       641    683.24    125.75      5.43   1000000         0
1140.76/1141.19	c       415       677    668.47    101.15      6.61   1000000         0
1142.36/1142.70	c       436       563    662.98    103.80      6.39   1000000         0
1143.86/1144.21	c       374       586    674.25    102.35      6.59   1000000         0
1145.36/1145.72	c       407       663    656.90    124.00      5.30   1000000         0
1146.86/1147.23	c       440       610    658.38    118.98      5.53   1000000         0
1148.35/1148.75	c       420       674    670.90    112.81      5.95   1000000         0
1149.85/1150.26	c       407       726    671.40    127.84      5.25   1000000         0
1151.36/1151.77	c       447       651    669.52    123.53      5.42   1000000         0
1152.85/1153.28	c       413       704    660.69    103.61      6.38   1000000         0
1154.35/1154.79	c       414       627    661.72    122.77      5.39   1000000         0
1155.95/1156.30	c       433       588    671.52    123.33      5.44   1000000         0
1157.45/1157.81	c       421       781    660.18    113.12      5.84   1000000         0
1158.96/1159.32	c       455       667    668.18    109.42      6.11   1000000         0
1160.45/1160.84	c       421       692    681.72    119.57      5.70   1000000         0
1161.95/1162.34	c       428       727    649.43    101.64      6.39   1000000         0
1163.46/1163.86	c       438       519    668.43    110.81      6.03   1000000         0
1164.95/1165.37	c       450       616    671.88    128.91      5.21   1000000         0
1166.45/1166.88	c       395       760    639.22    116.18      5.50   1000000         0
1167.95/1168.39	c       434       625    662.06    120.31      5.50   1000000         0
1169.55/1169.90	c       422       703    666.70    124.90      5.34   1000000         0
1171.05/1171.41	c       451       768    666.74    128.00      5.21   1000000         0
1172.55/1172.91	c       457       697    665.01    116.24      5.72   1000000         0
1174.05/1174.42	c       458       641    658.27    105.88      6.22   1000000         0
1175.55/1175.94	c       430       616    659.06    117.45      5.61   1000000         0
1177.05/1177.44	c       431       580    665.07    103.20      6.44   1000000         0
1178.54/1178.96	c       458       491    684.49    113.14      6.05   1000000         0
1180.04/1180.47	c       463       757    662.40    111.81      5.92   1000000         0
1181.54/1181.99	c       455       728    689.21    128.79      5.35   1000000         0
1183.04/1183.50	c       411       603    660.39    100.69      6.56   1000000         0
1184.64/1185.01	c       480       753    686.70    101.17      6.79   1000000         0
1186.14/1186.53	c       471       745    677.92    102.32      6.63   1000000         0
1187.65/1188.04	c       457       637    658.57     88.99      7.40   1000000         0
1189.14/1189.55	c       436       651    681.92    109.88      6.21   1000000         0
1190.64/1191.06	c       434       653    651.31    121.21      5.37   1000000         0
1192.14/1192.57	c       419       499    652.19    117.36      5.56   1000000         0
1193.64/1194.08	c       418       627    666.68    105.84      6.30   1000000         0
1195.14/1195.59	c       427       624    659.29     97.17      6.78   1000000         0
1196.74/1197.10	c       408       599    677.44    128.89      5.26   1000000         0
1198.24/1198.61	c       442       678    664.32    107.68      6.17   1000000         0
1199.75/1200.12	c       445       723    661.32    110.81      5.97   1000000         0
1201.24/1201.63	c       434       667    660.96    106.36      6.21   1000000         0
1202.74/1203.15	c       429       583    677.75    114.49      5.92   1000000         0
1204.24/1204.65	c       412       634    641.01    133.14      4.81   1000000         0
1205.74/1206.16	c       448       660    650.72    115.23      5.65   1000000         0
1207.24/1207.66	c       401       559    658.21    109.35      6.02   1000000         0
1208.74/1209.17	c       447       744    653.76     93.95      6.96   1000000         0
1210.24/1210.68	c       448       687    659.36    120.03      5.49   1000000         0
1211.74/1212.20	c       449       537    676.83    129.96      5.21   1000000         0
1213.33/1213.71	c       414       434    667.50    111.94      5.96   1000000         0
1214.83/1215.24	c       435       560    696.75    124.69      5.59   1000000         0
1216.33/1216.75	c       419       704    674.78     94.83      7.12   1000000         0
1217.83/1218.26	c       405       680    670.08    127.51      5.26   1000000         0
1219.33/1219.77	c       474       680    681.76    103.95      6.56   1000000         0
1220.83/1221.28	c       451       607    650.99    106.70      6.10   1000000         0
1222.33/1222.79	c       459       732    669.90    114.16      5.87   1000000         0
1223.84/1224.30	c       397       830    651.32    112.97      5.77   1000000         0
1225.43/1225.81	c       437       574    662.47    109.25      6.06   1000000         0
1226.93/1227.32	c       454       607    671.28    115.30      5.82   1000000         0
1228.43/1228.83	c       452       697    666.11    112.02      5.95   1000000         0
1229.93/1230.34	c       422       750    654.02     92.89      7.04   1000000         0
1231.43/1231.85	c       412       594    657.46    112.03      5.87   1000000         0
1232.93/1233.36	c       385       590    677.36    111.73      6.06   1000000         0
1234.43/1234.86	c       361       598    650.29    106.99      6.08   1000000         0
1235.94/1236.36	c       354       674    633.75    104.72      6.05   1000000         0
1237.43/1237.87	c       448       574    667.58    139.59      4.78   1000000         0
1238.93/1239.38	c       424       638    653.19    109.56      5.96   1000000         0
1240.43/1240.89	c       396       636    661.43    112.14      5.90   1000000         0
1242.03/1242.40	c       406       730    660.02     95.87      6.88   1000000         0
1243.52/1243.91	c       383       630    650.25    108.24      6.01   1000000         0
1245.02/1245.42	c       378       639    668.64    115.06      5.81   1000000         0
1246.52/1246.93	c       441       545    670.16    111.35      6.02   1000000         0
1248.03/1248.45	c       382       648    664.67    123.89      5.36   1000000         0
1249.52/1249.95	c       426       820    658.31    113.30      5.81   1000000         0
1251.02/1251.46	c       372       596    655.03    107.20      6.11   1000000         0
1252.53/1252.97	c       411       523    653.35    108.59      6.02   1000000         0
1254.02/1254.47	c       450       555    657.66    117.27      5.61   1000000         0
1255.52/1255.99	c       416       795    681.75    115.77      5.89   1000000         0
1257.02/1257.49	c       410       665    648.99    117.10      5.54   1000000         0
1258.62/1259.00	c       409       641    668.36    111.92      5.97   1000000         0
1260.13/1260.51	c       431       799    666.57    133.83      4.98   1000000         0
1261.62/1262.03	c       413       710    669.18    130.05      5.15   1000000         0
1263.12/1263.54	c       447       885    670.14    115.28      5.81   1000000         0
1264.63/1265.05	c       456       640    670.13    116.98      5.73   1000000         0
1266.12/1266.56	c       408       551    653.64     95.94      6.81   1000000         0
1267.62/1268.07	c       407       603    675.20    123.25      5.48   1000000         0
1269.12/1269.59	c       428       667    673.85     92.23      7.31   1000000         0
1270.72/1271.11	c       486       702    698.78    116.83      5.98   1000000         0
1272.22/1272.62	c       418       671    671.43    100.06      6.71   1000000         0
1273.72/1274.14	c       401       700    672.07    112.72      5.96   1000000         0
1275.22/1275.65	c       384       803    672.08    120.00      5.60   1000000         0
1276.72/1277.18	c       471       548    697.66    107.15      6.51   1000000         0
1278.22/1278.69	c       400       563    673.83    109.11      6.18   1000000         0
1279.71/1280.19	c       443       694    659.16    117.36      5.62   1000000         0
1281.31/1281.70	c       403       545    650.89    121.22      5.37   1000000         0
1282.81/1283.21	c       452       725    675.19    101.91      6.63   1000000         0
1284.32/1284.72	c       462       771    672.99    116.17      5.79   1000000         0
1285.81/1286.23	c       437       614    674.03    108.44      6.22   1000000         0
1287.31/1287.75	c       412       607    663.21     95.43      6.95   1000000         0
1288.82/1289.26	c       418       618    681.62    107.61      6.33   1000000         0
1290.31/1290.78	c       436       694    669.32    126.20      5.30   1000000         0
1291.81/1292.29	c       416       633    657.14    128.11      5.13   1000000         0
1293.41/1293.80	c       425       637    673.62    123.65      5.45   1000000         0
1294.91/1295.31	c       428       792    655.64    118.21      5.55   1000000         0
1296.42/1296.81	c       434       562    649.18    126.37      5.14   1000000         0
1297.91/1298.32	c       366       579    660.38    123.93      5.33   1000000         0
1299.41/1299.84	c       432       675    693.56    128.30      5.41   1000000         0
1300.92/1301.35	c       424       530    675.78    114.31      5.91   1000000         0
1302.41/1302.86	c       400       644    639.13    108.64      5.88   1000000         0
1303.91/1304.37	c       388       652    672.73    113.75      5.91   1000000         0
1305.41/1305.89	c       454       587    664.36    113.66      5.84   1000000         0
1307.01/1307.40	c       407       688    669.14    115.24      5.81   1000000         0
1308.51/1308.91	c       428       643    663.74    117.93      5.63   1000000         0
1310.01/1310.42	c       415       723    688.72    138.04      4.99   1000000         0
1311.51/1311.95	c       408       689    689.71    114.34      6.03   1000000         0
1313.01/1313.46	c       458       647    663.25    106.40      6.23   1000000         0
1314.50/1314.97	c       421       631    648.46    113.27      5.72   1000000         0
1316.00/1316.48	c       438       711    659.66    103.14      6.40   1000000         0
1317.60/1318.00	c       385       739    675.70    114.02      5.93   1000000         0
1319.10/1319.51	c       423       691    679.56    129.03      5.27   1000000         0
1320.61/1321.03	c       470       654    676.35    112.83      5.99   1000000         0
1322.10/1322.55	c       434       823    654.09    108.94      6.00   1000000         0
1323.59/1324.06	c       452       714    651.30    102.08      6.38   1000000         0
1325.10/1325.58	c       459       670    680.57    121.39      5.61   1000000         0
1326.59/1327.09	c       456       597    679.19    114.28      5.94   1000000         0
1328.19/1328.60	c       441       611    667.73    102.98      6.48   1000000         0
1329.69/1330.11	c       410       619    668.39    122.06      5.48   1000000         0
1331.19/1331.62	c       439       637    652.99    115.05      5.68   1000000         0
1332.70/1333.14	c       382       609    668.65    156.93      4.26   1000000         0
1334.19/1334.66	c       444       547    673.63    103.51      6.51   1000000         0
1335.69/1336.17	c       481       629    687.78    103.51      6.64   1000000         0
1337.20/1337.69	c       404       680    665.90    110.38      6.03   1000000         0
1338.69/1339.19	c       461       601    678.21     96.63      7.02   1000000         0
1340.19/1340.69	c       441       575    653.86    111.83      5.85   1000000         0
1341.79/1342.21	c       462       623    686.35    113.20      6.06   1000000         0
1343.29/1343.73	c       481       677    674.87    108.08      6.24   1000000         0
1344.80/1345.24	c       440       703    670.28    112.47      5.96   1000000         0
1346.29/1346.75	c       459       583    663.06    116.59      5.69   1000000         0
1347.79/1348.26	c       441       697    679.49     99.32      6.84   1000000         0
1349.29/1349.78	c       389       736    671.50    126.47      5.31   1000000         0
1350.79/1351.29	c       418       716    671.44    117.90      5.70   1000000         0
1352.39/1352.82	c       457       671    689.58    112.53      6.13   1000000         0
1353.89/1354.34	c       433       611    684.20    121.45      5.63   1000000         0
1355.39/1355.85	c       397       684    659.97    120.44      5.48   1000000         0
1356.89/1357.37	c       454       642    679.67    117.57      5.78   1000000         0
1358.39/1358.87	c       421       693    638.85    124.71      5.12   1000000         0
1359.89/1360.38	c       415       634    654.71    113.68      5.76   1000000         0
1361.39/1361.89	c       479       682    667.76     92.64      7.21   1000000         0
1362.98/1363.40	c       433       654    647.44    126.40      5.12   1000000         0
1364.48/1364.91	c       385       587    659.00    105.65      6.24   1000000         0
1365.98/1366.41	c       392       634    648.03    118.18      5.48   1000000         0
1367.48/1367.92	c       465       565    674.20    112.45      6.00   1000000         0
1368.99/1369.43	c       410       730    661.23    142.27      4.65   1000000         0
1370.48/1370.94	c       427       688    663.24     95.01      6.98   1000000         0
1371.98/1372.46	c       417       544    670.39    118.53      5.66   1000000         0
1373.49/1373.97	c       366       665    669.60    106.48      6.29   1000000         0
1374.98/1375.48	c       409       566    670.61    132.97      5.04   1000000         0
1376.48/1376.98	c       450       641    667.51    125.22      5.33   1000000         0
1377.98/1378.49	c       414       711    645.21     99.78      6.47   1000000         0
1379.58/1380.01	c       468       676    698.73    137.96      5.06   1000000         0
1381.09/1381.52	c       445       519    663.83     91.43      7.26   1000000         0
1382.58/1383.03	c       454       718    687.85    130.32      5.28   1000000         0
1384.08/1384.54	c       463       655    652.43    113.12      5.77   1000000         0
1385.59/1386.06	c       399       719    668.17    122.20      5.47   1000000         0
1387.08/1387.57	c       447       709    678.65    109.36      6.21   1000000         0
1388.58/1389.09	c       443       622    665.15    113.16      5.88   1000000         0
1390.18/1390.61	c       446       582    676.69    101.43      6.67   1000000         0
1391.68/1392.11	c       422       561    647.18    109.30      5.92   1000000         0
1393.18/1393.61	c       417       595    651.85    109.82      5.94   1000000         0
1394.67/1395.13	c       426       667    673.43    111.98      6.01   1000000         0
1396.17/1396.63	c       430       653    655.90    111.17      5.90   1000000         0
1397.68/1398.14	c       435       783    662.03    105.46      6.28   1000000         0
1399.17/1399.64	c       442       718    657.23    110.62      5.94   1000000         0
1400.67/1401.15	c       367       673    672.88    121.51      5.54   1000000         0
1402.17/1402.67	c       467       532    677.50    129.05      5.25   1000000         0
1403.67/1404.19	c       438       666    657.31    137.92      4.77   1000000         0
1405.17/1405.69	c       405       701    642.78    120.86      5.32   1000000         0
1406.77/1407.20	c       440       626    669.28    120.56      5.55   1000000         0
1408.27/1408.71	c       404       631    671.85    102.05      6.58   1000000         0
1409.78/1410.22	c       403       442    671.38    107.00      6.27   1000000         0
1411.27/1411.73	c       400       558    642.76     97.09      6.62   1000000         0
1412.77/1413.23	c       394       657    658.45    113.52      5.80   1000000         0
1414.27/1414.74	c       401       599    667.40    109.97      6.07   1000000         0
1415.77/1416.27	c       424       699    691.61    125.45      5.51   1000000         0
1417.27/1417.78	c       426       712    665.03    118.98      5.59   1000000         0
1418.77/1419.29	c       411       559    663.33    117.57      5.64   1000000         0
1420.37/1420.80	c       424       711    657.10    117.59      5.59   1000000         0
1421.87/1422.31	c       457       733    671.79    110.26      6.09   1000000         0
1423.37/1423.82	c       454       803    673.88    112.86      5.97   1000000         0
1424.87/1425.33	c       475       699    658.94    103.31      6.38   1000000         0
1426.37/1426.85	c       416       614    692.48    112.74      6.14   1000000         0
1427.86/1428.36	c       443       641    661.36    115.19      5.74   1000000         0
1429.36/1429.87	c       451       706    671.70    108.09      6.21   1000000         0
1430.86/1431.39	c       413       616    674.67    118.33      5.70   1000000         0
1432.46/1432.90	c       450       698    664.00    114.93      5.78   1000000         0
1433.97/1434.41	c       430       745    666.99    122.22      5.46   1000000         0
1435.46/1435.93	c       403       546    671.49    141.90      4.73   1000000         0
1436.96/1437.43	c       435       566    643.14    130.96      4.91   1000000         0
1438.46/1438.94	c       434       524    662.46    115.95      5.71   1000000         0
1439.96/1440.44	c       372       608    659.31    116.24      5.67   1000000         0
1441.46/1441.95	c       430       582    650.91    110.62      5.88   1000000         0
1442.96/1443.46	c       437       635    666.38     91.02      7.32   1000000         0
1444.46/1444.97	c       444       602    673.59    111.94      6.02   1000000         0
1445.97/1446.48	c       396       660    666.45    100.37      6.64   1000000         0
1447.46/1447.98	c       437       661    668.02    121.10      5.52   1000000         0
1448.96/1449.49	c       446       531    648.71    109.07      5.95   1000000         0
1450.47/1451.00	c       384       642    666.41    112.93      5.90   1000000         0
1452.06/1452.51	c       446       739    680.00    100.74      6.75   1000000         0
1453.56/1454.02	c       470       618    670.61     96.90      6.92   1000000         0
1455.06/1455.53	c       439       668    679.55    114.09      5.96   1000000         0
1456.56/1457.04	c       403       787    646.77    104.87      6.17   1000000         0
1458.06/1458.54	c       418       632    638.72    117.58      5.43   1000000         0
1459.56/1460.06	c       399       702    660.10    116.21      5.68   1000000         0
1461.05/1461.56	c       425       559    659.81    110.22      5.99   1000000         0
1462.56/1463.07	c       452       608    646.25    110.60      5.84   1000000         0
1464.05/1464.58	c       434       707    666.83    108.15      6.17   1000000         0
1465.55/1466.08	c       427       627    665.28     96.23      6.91   1000000         0
1467.05/1467.59	c       361       650    649.94    113.73      5.71   1000000         0
1468.65/1469.10	c       424       451    665.41    118.13      5.63   1000000         0
1470.16/1470.61	c       499       616    679.22    122.37      5.55   1000000         0
1471.65/1472.13	c       455       664    673.93    108.54      6.21   1000000         0
1473.15/1473.64	c       430       663    677.00    112.77      6.00   1000000         0
1474.66/1475.15	c       426       610    662.32    127.91      5.18   1000000         0
1476.15/1476.66	c       445       581    679.20    121.29      5.60   1000000         0
1477.65/1478.18	c       428       728    662.64    106.96      6.20   1000000         0
1479.15/1479.68	c       409       637    646.99    110.07      5.88   1000000         0
1480.65/1481.19	c       428       714    659.11    132.30      4.98   1000000         0
1482.26/1482.70	c       428       775    680.81    124.04      5.49   1000000         0
1483.75/1484.21	c       435       647    644.30    106.99      6.02   1000000         0
1485.25/1485.72	c       415       665    681.48    137.35      4.96   1000000         0
1486.75/1487.23	c       408       542    676.25    107.92      6.27   1000000         0
1488.25/1488.75	c       444       643    671.83    120.51      5.57   1000000         0
1489.75/1490.27	c       423       689    685.82    106.48      6.44   1000000         0
1491.25/1491.78	c       450       539    665.85    112.73      5.91   1000000         0
1492.75/1493.28	c       407       652    625.81    116.19      5.39   1000000         0
1494.35/1494.80	c       432       542    663.47    108.37      6.12   1000000         0
1495.85/1496.30	c       453       569    653.16     93.26      7.00   1000000         0
1497.35/1497.82	c       409       776    668.58    117.02      5.71   1000000         0
1498.85/1499.33	c       434       587    663.76    106.91      6.21   1000000         0
1500.34/1500.84	c       443       642    657.81    107.48      6.12   1000000         0
1501.84/1502.35	c       400       758    673.53    122.55      5.50   1000000         0
1503.34/1503.86	c       397       643    672.40    111.07      6.05   1000000         0
1504.84/1505.36	c       438       688    650.78    113.79      5.72   1000000         0
1506.34/1506.86	c       427       576    634.48     97.55      6.50   1000000         0
1507.84/1508.38	c       431       707    685.50    120.40      5.69   1000000         0
1509.34/1509.89	c       439       685    670.88    115.81      5.79   1000000         0
1510.85/1511.40	c       460       640    686.06    106.45      6.45   1000000         0
1512.44/1512.92	c       431       604    662.69    124.88      5.31   1000000         0
1513.94/1514.44	c       448       523    684.83    102.02      6.71   1000000         0
1515.44/1515.96	c       386       813    686.17    103.59      6.62   1000000         0
1516.94/1517.46	c       432       628    649.34    110.60      5.87   1000000         0
1518.44/1518.97	c       443       611    667.47    114.25      5.84   1000000         0
1519.94/1520.48	c       432       666    674.78    116.44      5.79   1000000         0
1521.44/1521.99	c       431       551    678.51    125.26      5.42   1000000         0
1522.94/1523.50	c       426       628    643.55    113.76      5.66   1000000         0
1524.54/1525.01	c       419       628    670.71    121.48      5.52   1000000         0
1526.04/1526.52	c       427       601    642.51    104.41      6.15   1000000         0
1527.54/1528.02	c       407       548    662.55    126.68      5.23   1000000         0
1529.04/1529.53	c       442       646    676.34    110.00      6.15   1000000         0
1530.54/1531.04	c       440       555    676.27    110.21      6.14   1000000         0
1532.03/1532.54	c       419       572    646.03    102.75      6.29   1000000         0
1533.53/1534.06	c       440       635    685.62    113.18      6.06   1000000         0
1535.04/1535.57	c       387       582    668.81    158.07      4.23   1000000         0
1536.53/1537.08	c       462       622    672.97    139.82      4.81   1000000         0
1538.03/1538.58	c       431       803    662.13    108.70      6.09   1000000         0
1539.54/1540.09	c       421       769    642.66    120.12      5.35   1000000         0
1541.03/1541.59	c       426       679    651.11    124.45      5.23   1000000         0
1542.63/1543.10	c       482       605    683.73    106.24      6.44   1000000         0
1544.13/1544.62	c       446       568    681.25    104.15      6.54   1000000         0
1545.63/1546.13	c       450       610    663.76    112.42      5.90   1000000         0
1547.14/1547.65	c       460       761    683.85    123.25      5.55   1000000         0
1548.63/1549.15	c       449       675    660.91    133.34      4.96   1000000         0
1550.13/1550.66	c       358       724    653.28    120.04      5.44   1000000         0
1551.64/1552.17	c       440       607    663.92    104.42      6.36   1000000         0
1553.13/1553.67	c       422       719    661.80    118.16      5.60   1000000         0
1554.63/1555.18	c       453       733    661.07    131.18      5.04   1000000         0
1556.23/1556.70	c       468       600    685.16     99.60      6.88   1000000         0
1557.73/1558.20	c       392       693    643.34     99.59      6.46   1000000         0
1559.23/1559.71	c       405       618    645.12    120.22      5.37   1000000         0
1560.73/1561.21	c       403       633    659.60    131.27      5.02   1000000         0
1562.23/1562.72	c       435       693    657.10    116.77      5.63   1000000         0
1563.73/1564.23	c       396       764    649.11    111.84      5.80   1000000         0
1565.23/1565.74	c       395       609    671.27    126.96      5.29   1000000         0
1566.72/1567.25	c       456       717    674.05    110.91      6.08   1000000         0
1568.22/1568.76	c       428       582    645.43    110.04      5.87   1000000         0
1569.72/1570.27	c       406       598    679.97    129.58      5.25   1000000         0
1571.22/1571.78	c       432       668    664.47    108.08      6.15   1000000         0
1572.72/1573.30	c       442       666    679.43    115.11      5.90   1000000         0
1574.32/1574.80	c       444       702    667.37    105.54      6.32   1000000         0
1575.83/1576.31	c       419       585    660.54    120.23      5.49   1000000         0
1577.32/1577.83	c       408       622    672.95    115.96      5.80   1000000         0
1578.82/1579.33	c       442       719    645.59     91.05      7.09   1000000         0
1580.32/1580.85	c       432       677    682.05    121.39      5.62   1000000         0
1581.82/1582.35	c       403       620    666.68    112.06      5.95   1000000         0
1583.32/1583.86	c       469       621    675.86    133.88      5.05   1000000         0
1584.82/1585.38	c       436       690    667.94     91.33      7.31   1000000         0
1586.32/1586.89	c       470       733    666.51    117.04      5.69   1000000         0
1587.83/1588.40	c       423       626    650.53    113.69      5.72   1000000         0
1589.42/1589.90	c       362       749    658.38    115.20      5.72   1000000         0
1590.92/1591.41	c       424       658    686.58    106.76      6.43   1000000         0
1592.42/1592.92	c       476       666    667.40    110.11      6.06   1000000         0
1593.92/1594.43	c       415       667    655.59    103.72      6.32   1000000         0
1595.42/1595.95	c       437       620    674.28    125.22      5.38   1000000         0
1596.92/1597.46	c       449       639    668.83    111.25      6.01   1000000         0
1598.42/1598.98	c       448       649    673.13    119.97      5.61   1000000         0
1599.92/1600.49	c       463       675    662.84    108.95      6.08   1000000         0
1601.51/1602.00	c       451       581    671.68    116.16      5.78   1000000         0
1603.01/1603.52	c       408       749    664.30    102.34      6.49   1000000         0
1604.51/1605.03	c       439       588    671.75    123.52      5.44   1000000         0
1606.01/1606.54	c       378       577    653.10    105.09      6.21   1000000         0
1607.51/1608.05	c       377       600    664.47    131.15      5.07   1000000         0
1609.01/1609.56	c       428       607    666.02    126.61      5.26   1000000         0
1610.51/1611.07	c       449       633    672.99    101.99      6.60   1000000         0
1612.02/1612.58	c       406       601    667.29    117.13      5.70   1000000         0
1613.51/1614.09	c       449       684    667.61    109.08      6.12   1000000         0
1615.11/1615.60	c       367       586    655.10    121.07      5.41   1000000         0
1616.61/1617.11	c       467       635    662.78     90.39      7.33   1000000         0
1618.11/1618.62	c       469       589    676.20    118.34      5.71   1000000         0
1619.61/1620.14	c       434       559    671.31    113.23      5.93   1000000         0
1621.11/1621.66	c       472       568    710.88    146.43      4.85   1000000         0
1622.61/1623.16	c       365       624    646.85    119.69      5.40   1000000         0
1624.12/1624.68	c       450       757    675.92    110.85      6.10   1000000         0
1625.61/1626.19	c       418       660    673.73    122.16      5.52   1000000         0
1627.11/1627.69	c       405       556    652.02    126.87      5.14   1000000         0
1628.71/1629.20	c       355       713    660.53    115.43      5.72   1000000         0
1630.21/1630.70	c       416       601    649.87    130.22      4.99   1000000         0
1631.71/1632.22	c       394       655    675.66    126.32      5.35   1000000         0
1633.21/1633.73	c       422       696    656.02    111.43      5.89   1000000         0
1634.71/1635.24	c       412       718    657.18    119.57      5.50   1000000         0
1636.21/1636.75	c       462       625    666.28    115.31      5.78   1000000         0
1637.71/1638.25	c       417       646    643.53    112.03      5.74   1000000         0
1639.20/1639.75	c       375       580    624.21    124.00      5.03   1000000         0
1640.71/1641.25	c       428       591    663.92    159.28      4.17   1000000         0
1642.20/1642.77	c       415       577    670.82    106.02      6.33   1000000         0
1643.70/1644.27	c       402       629    644.62    110.42      5.84   1000000         0
1645.20/1645.79	c       471       651    697.97    115.79      6.03   1000000         0
1646.80/1647.30	c       440       709    689.57    123.55      5.58   1000000         0
1648.31/1648.81	c       413       702    671.14    105.82      6.34   1000000         0
1649.80/1650.32	c       372       763    666.31    130.77      5.10   1000000         0
1651.30/1651.84	c       446       630    663.34    122.56      5.41   1000000         0
1652.81/1653.35	c       388       618    658.88    125.74      5.24   1000000         0
1654.30/1654.85	c       410       692    643.10     97.75      6.58   1000000         0
1655.80/1656.36	c       450       589    661.63    110.61      5.98   1000000         0
1657.30/1657.87	c       428       592    661.30    113.46      5.83   1000000         0
1658.80/1659.38	c       428       693    673.79    117.12      5.75   1000000         0
1660.30/1660.88	c       412       638    642.48    103.13      6.23   1000000         0
1661.90/1662.40	c       453       620    687.25    125.14      5.49   1000000         0
1663.40/1663.91	c       413       599    673.89    125.46      5.37   1000000         0
1664.90/1665.42	c       387       653    661.26    125.58      5.27   1000000         0
1666.40/1666.93	c       428       623    662.86    119.90      5.53   1000000         0
1667.90/1668.44	c       430       554    654.69    104.35      6.27   1000000         0
1669.40/1669.94	c       443       629    648.20    119.71      5.41   1000000         0
1670.89/1671.46	c       469       615    667.40    103.53      6.45   1000000         0
1672.39/1672.96	c       423       686    658.76    125.99      5.23   1000000         0
1673.89/1674.48	c       445       859    680.49    125.20      5.44   1000000         0
1675.39/1675.99	c       447       556    668.24    117.99      5.66   1000000         0
1677.00/1677.51	c       445       577    685.63    108.09      6.34   1000000         0
1678.49/1679.03	c       480       753    698.02     89.79      7.77   1000000         0
1679.99/1680.55	c       476       681    686.10    116.10      5.91   1000000         0
1681.49/1682.06	c       407       635    671.53    142.44      4.71   1000000         0
1682.99/1683.57	c       437       649    669.08    128.25      5.22   1000000         0
1684.49/1685.08	c       440       736    653.14    105.50      6.19   1000000         0
1686.09/1686.60	c       458       633    679.63    104.58      6.50   1000000         0
1687.59/1688.10	c       444       668    659.06    118.29      5.57   1000000         0
1689.10/1689.61	c       406       581    641.38    110.57      5.80   1000000         0
1690.59/1691.13	c       458       681    691.31    126.38      5.47   1000000         0
1692.09/1692.64	c       410       567    665.85    114.17      5.83   1000000         0
1693.59/1694.15	c       432       749    671.18    116.49      5.76   1000000         0
1695.09/1695.66	c       430       682    650.75     94.25      6.90   1000000         0
1696.59/1697.17	c       457       611    661.62    119.14      5.55   1000000         0
1698.09/1698.68	c       437       655    660.79    107.53      6.15   1000000         0
1699.59/1700.19	c       413       677    671.37    128.93      5.21   1000000         0
1701.09/1701.70	c       452       653    673.84    120.00      5.62   1000000         0
1702.69/1703.22	c       429       685    670.92    123.45      5.43   1000000         0
1704.19/1704.73	c       439       707    661.15    121.08      5.46   1000000         0
1705.69/1706.24	c       359       593    654.37    144.70      4.52   1000000         0
1707.19/1707.75	c       448       573    677.31     92.22      7.34   1000000         0
1708.69/1709.26	c       434       604    653.25    110.52      5.91   1000000         0
1710.19/1710.77	c       435       674    668.37    116.15      5.75   1000000         0
1711.68/1712.28	c       414       701    671.76    115.98      5.79   1000000         0
1713.19/1713.79	c       448       511    665.38    109.15      6.10   1000000         0
1714.68/1715.30	c       411       716    654.00    112.81      5.80   1000000         0
1716.28/1716.80	c       454       578    663.05    120.32      5.51   1000000         0
1717.78/1718.32	c       451       559    683.69    100.31      6.82   1000000         0
1719.28/1719.83	c       429       652    671.86    110.33      6.09   1000000         0
1720.78/1721.35	c       479       676    696.87    116.46      5.98   1000000         0
1722.28/1722.86	c       418       620    651.24    121.73      5.35   1000000         0
1723.78/1724.37	c       432       583    649.90    115.78      5.61   1000000         0
1725.29/1725.89	c       452       644    685.43    111.88      6.13   1000000         0
1726.88/1727.41	c       459       714    672.58     99.06      6.79   1000000         0
1728.38/1728.91	c       428       511    657.35     97.24      6.76   1000000         0
1729.88/1730.43	c       454       536    667.57     95.21      7.01   1000000         0
1731.38/1731.94	c       423       671    671.48    120.32      5.58   1000000         0
1732.88/1733.44	c       418       496    653.41    117.44      5.56   1000000         0
1734.38/1734.95	c       428       665    660.70    107.96      6.12   1000000         0
1735.88/1736.47	c       438       560    682.19    121.46      5.62   1000000         0
1737.38/1737.98	c       421       696    656.83    118.55      5.54   1000000         0
1738.88/1739.49	c       424       608    681.89    122.30      5.58   1000000         0
1740.48/1741.00	c       399       646    668.44    126.70      5.28   1000000         0
1741.98/1742.51	c       429       779    678.25    136.23      4.98   1000000         0
1743.47/1744.03	c       390       576    679.34    126.78      5.36   1000000         0
1744.97/1745.55	c       446       721    683.80    110.96      6.16   1000000         0
1746.47/1747.05	c       439       640    651.79    128.06      5.09   1000000         0
1747.97/1748.57	c       378       747    683.87    121.34      5.64   1000000         0
1749.48/1750.08	c       471       607    690.86     85.64      8.07   1000000         0
1750.97/1751.59	c       352       646    645.97    118.19      5.47   1000000         0
1752.57/1753.10	c       442       644    664.75    108.70      6.12   1000000         0
1754.07/1754.61	c       410       617    659.03    110.58      5.96   1000000         0
1755.57/1756.11	c       411       650    647.14    130.25      4.97   1000000         0
1757.07/1757.62	c       408       839    664.42    110.20      6.03   1000000         0
1758.57/1759.13	c       420       738    667.60    109.56      6.09   1000000         0
1760.07/1760.64	c       375       581    659.44    109.38      6.03   1000000         0
1761.58/1762.16	c       393       644    674.04    115.48      5.84   1000000         0
1763.07/1763.67	c       413       683    686.32    104.59      6.56   1000000         0
1764.57/1765.18	c       416       686    636.11    116.80      5.45   1000000         0
1766.07/1766.69	c       417       630    656.54    127.26      5.16   1000000         0
1767.67/1768.20	c       408       690    668.02    114.06      5.86   1000000         0
1769.17/1769.71	c       425       662    673.90    132.63      5.08   1000000         0
1770.67/1771.22	c       434       647    680.48    107.40      6.34   1000000         0
1772.17/1772.73	c       417       518    657.92    119.89      5.49   1000000         0
1773.67/1774.24	c       415       588    666.98    123.89      5.38   1000000         0
1775.17/1775.75	c       426       483    661.24     95.61      6.92   1000000         0
1776.66/1777.25	c       395       608    642.45    101.28      6.34   1000000         0
1778.17/1778.76	c       376       623    659.50    105.74      6.24   1000000         0
1779.66/1780.26	c       407       643    653.56    102.68      6.36   1000000         0
1781.16/1781.78	c       432       650    679.10    102.44      6.63   1000000         0
1782.66/1783.28	c       432       744    660.45    117.62      5.61   1000000         0
1784.16/1784.80	c       416       638    684.49    119.06      5.75   1000000         0
1785.77/1786.31	c       460       642    679.49    126.87      5.36   1000000         0
1787.26/1787.82	c       393       646    662.97    118.49      5.60   1000000         0
1788.76/1789.33	c       446       568    657.29    104.21      6.31   1000000         0
1790.27/1790.84	c       415       699    672.08    130.10      5.17   1000000         0
1791.76/1792.35	c       414       651    648.79    114.32      5.68   1000000         0
1793.26/1793.87	c       433       683    678.65    118.94      5.71   1000000         0
1794.76/1795.38	c       429       750    663.92    120.02      5.53   1000000         0
1796.26/1796.89	c       434       730    673.51    101.05      6.67   1000000         0
1797.86/1798.40	c       412       674    664.36    104.25      6.37   1000000         0
1799.36/1799.91	c       412       545    652.85    114.01      5.73   1000000         0
1800.07/1800.61	HOME/run: line 2: 23832 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-2685000-1278437940/watcher-2685000-1278437940 -o /tmp/evaluation-result-2685000-1278437940/solver-2685000-1278437940 -C 1800 -W 2000 -M 1800 run HOME/instance-2685000-1278437940.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 0.97 3/106 23831
/proc/meminfo: memFree=1403252/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) R 23829 23831 23341 0 -1 4202496 342 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802987925 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0

[startup+0.070376 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 23831
/proc/meminfo: memFree=1403252/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101379 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 23831
/proc/meminfo: memFree=1403252/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301405 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 23831
/proc/meminfo: memFree=1403252/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700458 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 23831
/proc/meminfo: memFree=1403252/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50056 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23833
/proc/meminfo: memFree=1397160/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1.48
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1529 0 0 0 148 0 0 0 23 0 1 0 12006954 41422848 1459 1992294400 134512640 135071400 4292591632 18446744073709551615 134519880 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1459 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10077 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23833
/proc/meminfo: memFree=1397036/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=3.08
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 308 0 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30119 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23833
/proc/meminfo: memFree=1396788/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=6.28
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 628 0 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23833
/proc/meminfo: memFree=1396664/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=12.68
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 1268 0 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23833
/proc/meminfo: memFree=1396664/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=25.47
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 2547 0 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 49152

[startup+51.1021 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23834
/proc/meminfo: memFree=1396664/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=51.07
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 5107 0 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 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 0.97 2/108 23835
/proc/meminfo: memFree=1396416/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=102.26
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 10226 0 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526372 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23837
/proc/meminfo: memFree=1396416/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=162.24
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 16223 1 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23839
/proc/meminfo: memFree=1396292/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=222.22
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 22221 1 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134525651 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23840
/proc/meminfo: memFree=1396292/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=282.2
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 28219 1 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23841
/proc/meminfo: memFree=1396292/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=342.18
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 34217 1 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23843
/proc/meminfo: memFree=1396044/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=402.16
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 40215 1 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1061.97
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 106195 2 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23863
/proc/meminfo: memFree=1394928/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1121.96
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 112193 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134519712 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23864
/proc/meminfo: memFree=1394680/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1181.94
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 118191 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23865
/proc/meminfo: memFree=1394432/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1241.93
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 124190 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23867
/proc/meminfo: memFree=1394308/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1301.92
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 130189 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526410 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23878
/proc/meminfo: memFree=1393688/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1361.88
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 136185 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23880
/proc/meminfo: memFree=1393688/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1421.87
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 142184 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23881
/proc/meminfo: memFree=1393564/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1481.85
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 148182 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23882
/proc/meminfo: memFree=1393564/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1541.83
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 154180 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23884
/proc/meminfo: memFree=1393564/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1601.81
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 160178 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23886
/proc/meminfo: memFree=1393440/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1661.8
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 166177 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526787 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23888
/proc/meminfo: memFree=1393440/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1721.78
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 172175 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23889
/proc/meminfo: memFree=1393440/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1781.76
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 178173 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134547280 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 23890
/proc/meminfo: memFree=1393440/2059040 swapFree=4192956/4192956
[pid=23831] ppid=23829 vsize=8700 CPUtime=0
/proc/23831/stat : 23831 (run) S 23829 23831 23341 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12006953 8908800 243 1992294400 4194304 4922060 140734526333584 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23831/statm: 2175 243 204 178 0 68 0
[pid=23832] ppid=23831 vsize=40452 CPUtime=1800.07
/proc/23832/stat : 23832 (PB-wave) R 23831 23831 23341 0 -1 4202496 1537 0 0 0 180004 3 0 0 25 0 1 0 12006954 41422848 1467 1992294400 134512640 135071400 4292591632 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23832/statm: 10113 1467 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 6111

runsolver used 2.87356 second user time and 8.69368 second system time

The end

Begin job on node013 at 2010-07-06 19:39:00
IDJOB=2685000
IDBENCH=74245
IDSOLVER=1171
FILE ID=node013/2685000-1278437940
PBS_JOBID= 11233458
Free space on /tmp= 62544 MiB

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

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

MD5SUM BENCH= 5e06e5c20fd624fb2b8af5ee82b93e47
RANDOM SEED=2067182163

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1403772 kB
Buffers:        109184 kB
Cached:         407464 kB
SwapCached:          0 kB
Active:         178464 kB
Inactive:       398424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1403772 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2148 kB
Writeback:           0 kB
AnonPages:       60248 kB
Mapped:          14476 kB
Slab:            56448 kB
PageTables:       4244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179608 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= 62540 MiB
End job on node013 at 2010-07-06 20:09:01