0.00/0.14	c PB-wave - v2
0.00/0.14	c command line = ./PB-wave
0.00/0.14	c seed = 17027385
0.00/0.14	c cutoff = 1000000
0.00/0.14	c tries = 1000000
0.00/0.14	c heuristic = c best, noise 50 / 100
0.00/0.14	#var 15106 #con 51743
0.00/0.14	mode is SAT
0.00/0.14	c tail starts after flip = 45318
0.00/0.14	c numatom = 15106, numclause = 51743, numliterals = 138726
0.00/0.14	c wff read in
0.00/0.14	c 
0.00/0.14	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.14	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.14	c       this      this      this      this      this      this   success   success       until         std
0.00/0.14	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.14	c
1.69/1.78	c       177       433    422.58    122.66      3.45   1000000         0
3.39/3.41	c       194       385    408.41    118.44      3.45   1000000         0
4.99/5.04	c       221       412    426.66    122.70      3.48   1000000         0
6.59/6.68	c       188       377    422.12    104.76      4.03   1000000         0
8.28/8.30	c       180       420    408.64    110.26      3.71   1000000         0
9.89/9.93	c       227       500    430.52     94.95      4.53   1000000         0
11.48/11.57	c       180       401    427.27    118.02      3.62   1000000         0
13.09/13.20	c       172       378    414.84    120.98      3.43   1000000         0
14.78/14.82	c       223       426    421.04    104.78      4.02   1000000         0
16.39/16.45	c       208       347    415.96    107.66      3.86   1000000         0
17.98/18.09	c       207       422    429.32    104.43      4.11   1000000         0
19.69/19.72	c       207       401    416.35    118.30      3.52   1000000         0
21.28/21.35	c       195       448    427.82    112.46      3.80   1000000         0
22.88/22.98	c       209       323    415.94    115.19      3.61   1000000         0
24.58/24.61	c       226       300    432.79    110.65      3.91   1000000         0
26.18/26.25	c       221       374    444.30    112.17      3.96   1000000         0
27.78/27.88	c       217       427    424.92    117.62      3.61   1000000         0
29.48/29.51	c       159       385    419.25    108.49      3.86   1000000         0
31.08/31.14	c       207       456    423.07    109.03      3.88   1000000         0
32.68/32.78	c       206       351    429.47    103.30      4.16   1000000         0
34.37/34.41	c       195       386    420.61    112.64      3.73   1000000         0
35.97/36.04	c       221       377    427.78     98.86      4.33   1000000         0
37.57/37.67	c       219       499    423.40    102.07      4.15   1000000         0
39.27/39.30	c       152       337    412.64    130.57      3.16   1000000         0
40.87/40.93	c       199       415    432.08    102.18      4.23   1000000         0
42.47/42.57	c       212       306    431.99     99.73      4.33   1000000         0
44.17/44.20	c       213       451    432.46    124.44      3.48   1000000         0
45.77/45.85	c       229       502    445.64    104.34      4.27   1000000         0
47.37/47.49	c       240       455    433.64    105.69      4.10   1000000         0
49.07/49.12	c       184       341    416.88    102.44      4.07   1000000         0
50.67/50.74	c       190       453    410.22    100.34      4.09   1000000         0
52.27/52.38	c       218       459    420.36     88.82      4.73   1000000         0
53.97/54.01	c       202       436    422.96     98.06      4.31   1000000         0
55.57/55.63	c       173       334    407.29     89.76      4.54   1000000         0
57.17/57.27	c       201       470    423.43    100.85      4.20   1000000         0
58.77/58.89	c       204       405    412.09     96.15      4.29   1000000         0
60.47/60.52	c       157       241    406.06     98.29      4.13   1000000         0
62.07/62.15	c       191       476    436.90    122.79      3.56   1000000         0
63.67/63.79	c       164       388    423.19    124.06      3.41   1000000         0
65.37/65.41	c       182       395    417.76    110.07      3.80   1000000         0
66.97/67.04	c       189       469    439.88     97.33      4.52   1000000         0
68.56/68.68	c       177       375    421.92    114.64      3.68   1000000         0
70.27/70.32	c       258       474    445.71    102.01      4.37   1000000         0
71.86/71.95	c       208       366    423.32    103.21      4.10   1000000         0
73.46/73.57	c       151       448    409.02    104.80      3.90   1000000         0
75.06/75.19	c       159       454    403.99     95.58      4.23   1000000         0
76.76/76.82	c       181       406    416.49     96.51      4.32   1000000         0
78.36/78.44	c       179       393    416.80    105.19      3.96   1000000         0
79.96/80.07	c       203       274    420.95     94.74      4.44   1000000         0
81.66/81.70	c       233       485    428.70     95.22      4.50   1000000         0
83.26/83.33	c       181       412    417.86    108.31      3.86   1000000         0
84.86/84.98	c       243       442    452.25     96.02      4.71   1000000         0
86.56/86.61	c       219       402    433.63    127.98      3.39   1000000         0
88.16/88.25	c       177       330    418.88    115.59      3.62   1000000         0
89.76/89.87	c       176       337    408.86     94.02      4.35   1000000         0
91.46/91.50	c       185       472    430.33    126.71      3.40   1000000         0
93.05/93.12	c       198       384    404.78     92.26      4.39   1000000         0
94.65/94.75	c       202       329    416.92    108.36      3.85   1000000         0
96.25/96.38	c       207       431    416.82    111.47      3.74   1000000         0
97.95/98.02	c       166       378    419.90    104.30      4.03   1000000         0
99.55/99.64	c       227       439    438.15     99.59      4.40   1000000         0
101.16/101.28	c       206       458    422.51    111.90      3.78   1000000         0
102.85/102.91	c       220       455    422.47    109.33      3.86   1000000         0
104.46/104.53	c       189       385    408.24    113.26      3.60   1000000         0
106.05/106.15	c       217       342    395.57     93.19      4.24   1000000         0
107.66/107.78	c       174       310    414.83    110.69      3.75   1000000         0
109.35/109.41	c       163       326    419.71    117.80      3.56   1000000         0
110.96/111.05	c       199       384    419.79    102.29      4.10   1000000         0
112.55/112.68	c       173       386    430.85    131.19      3.28   1000000         0
114.25/114.31	c       175       348    424.20    106.02      4.00   1000000         0
115.85/115.95	c       192       498    424.84    100.08      4.25   1000000         0
117.45/117.57	c       189       339    415.57    106.99      3.88   1000000         0
119.14/119.21	c       207       311    440.90    101.30      4.35   1000000         0
120.74/120.84	c       199       380    418.66    110.83      3.78   1000000         0
122.34/122.47	c       213       534    416.09    110.80      3.76   1000000         0
123.94/124.09	c       185       398    405.90     98.59      4.12   1000000         0
125.64/125.72	c       208       340    415.13    110.01      3.77   1000000         0
127.24/127.35	c       215       385    418.12     99.21      4.21   1000000         0
128.84/128.97	c       216       426    410.95     95.66      4.30   1000000         0
130.54/130.61	c       183       335    425.25    105.58      4.03   1000000         0
132.14/132.25	c       200       368    430.86    103.60      4.16   1000000         0
133.74/133.88	c       207       436    431.73    115.95      3.72   1000000         0
135.44/135.50	c       223       514    414.93    119.70      3.47   1000000         0
137.04/137.13	c       226       505    424.06    106.68      3.98   1000000         0
138.64/138.76	c       177       430    413.53    115.44      3.58   1000000         0
140.24/140.39	c       197       387    421.89    112.28      3.76   1000000         0
141.94/142.03	c       220       467    436.27     95.09      4.59   1000000         0
143.54/143.66	c       148       212    424.20    124.04      3.42   1000000         0
145.14/145.29	c       184       339    425.55    106.26      4.00   1000000         0
146.84/146.92	c       192       363    426.11     96.26      4.43   1000000         0
148.44/148.55	c       212       409    420.33     92.72      4.53   1000000         0
150.04/150.18	c       169       468    425.92    119.27      3.57   1000000         0
151.74/151.81	c       210       335    418.54    100.12      4.18   1000000         0
153.33/153.45	c       193       433    431.00    109.45      3.94   1000000         0
154.94/155.07	c       212       467    407.24    100.82      4.04   1000000         0
156.63/156.71	c       214       308    425.79    113.92      3.74   1000000         0
158.24/158.33	c       187       355    404.94    106.67      3.80   1000000         0
159.83/159.96	c       198       278    414.42     89.56      4.63   1000000         0
161.43/161.58	c       220       456    414.37     98.17      4.22   1000000         0
163.13/163.22	c       229       309    425.64    104.81      4.06   1000000         0
164.73/164.85	c       181       439    421.60    130.04      3.24   1000000         0
166.33/166.48	c       191       420    418.33    125.01      3.35   1000000         0
168.03/168.12	c       213       436    435.33    107.77      4.04   1000000         0
169.63/169.75	c       179       408    420.84    105.97      3.97   1000000         0
171.23/171.39	c       226       312    421.33    106.65      3.95   1000000         0
172.94/173.01	c       176       445    419.68     91.57      4.58   1000000         0
174.53/174.64	c       203       379    415.83    109.38      3.80   1000000         0
176.13/176.27	c       212       485    402.13    115.82      3.47   1000000         0
177.83/177.90	c       208       384    416.36     90.56      4.60   1000000         0
179.43/179.53	c       213       544    423.23    109.91      3.85   1000000         0
181.03/181.16	c       165       382    426.21    113.73      3.75   1000000         0
182.63/182.78	c       158       310    398.96    124.36      3.21   1000000         0
184.33/184.41	c       219       453    404.75     96.49      4.19   1000000         0
185.93/186.04	c       172       351    416.46    117.17      3.55   1000000         0
187.53/187.66	c       194       411    417.89    115.80      3.61   1000000         0
189.14/189.30	c       177       382    426.32    103.60      4.11   1000000         0
190.83/190.91	c       185       339    393.63     96.11      4.10   1000000         0
192.44/192.55	c       215       411    435.55    106.34      4.10   1000000         0
194.03/194.18	c       201       476    419.51    127.16      3.30   1000000         0
195.74/195.81	c       232       350    427.10    115.91      3.68   1000000         0
197.33/197.45	c       213       260    428.99    108.90      3.94   1000000         0
198.93/199.07	c       199       358    412.46    106.25      3.88   1000000         0
200.63/200.70	c       205       500    421.45    110.26      3.82   1000000         0
202.23/202.34	c       220       528    436.66    108.30      4.03   1000000         0
203.83/203.97	c       206       349    411.96     92.50      4.45   1000000         0
205.53/205.60	c       217       461    423.56    109.26      3.88   1000000         0
207.12/207.23	c       199       283    405.92    106.30      3.82   1000000         0
208.72/208.87	c       193       365    420.98    109.02      3.86   1000000         0
210.42/210.50	c       214       510    427.70    105.41      4.06   1000000         0
212.02/212.13	c       165       331    400.04     89.66      4.46   1000000         0
213.62/213.76	c       130       311    421.54    116.49      3.62   1000000         0
215.22/215.39	c       209       311    419.26     95.04      4.41   1000000         0
216.92/217.02	c       180       475    410.17    107.84      3.80   1000000         0
218.52/218.64	c       216       440    415.08    109.89      3.78   1000000         0
220.12/220.26	c       177       386    409.54    126.76      3.23   1000000         0
221.72/221.89	c       165       316    403.95    116.54      3.47   1000000         0
223.42/223.51	c       182       322    408.11    111.95      3.65   1000000         0
225.02/225.14	c       218       513    415.32    100.52      4.13   1000000         0
226.62/226.77	c       197       429    418.41    117.69      3.56   1000000         0
228.22/228.38	c       167       264    391.03    121.50      3.22   1000000         0
229.92/230.02	c       212       453    413.06    105.02      3.93   1000000         0
231.52/231.64	c       182       364    411.46    112.30      3.66   1000000         0
233.12/233.27	c       171       435    404.89    145.23      2.79   1000000         0
234.82/234.91	c       167       584    424.78    117.90      3.60   1000000         0
236.42/236.55	c       219       412    435.39    130.03      3.35   1000000         0
238.01/238.18	c       200       467    427.75    113.09      3.78   1000000         0
239.72/239.81	c       213       450    431.79    117.15      3.69   1000000         0
241.31/241.44	c       214       379    406.37    109.82      3.70   1000000         0
242.92/243.07	c       195       421    434.87    103.70      4.19   1000000         0
244.61/244.70	c       222       357    413.98    109.51      3.78   1000000         0
246.22/246.33	c       229       401    426.43     99.43      4.29   1000000         0
247.81/247.96	c       224       380    413.19     96.45      4.28   1000000         0
249.41/249.59	c       183       413    428.92    111.23      3.86   1000000         0
251.11/251.22	c       213       439    418.90    106.21      3.94   1000000         0
252.71/252.85	c       155       426    401.69    100.88      3.98   1000000         0
254.31/254.47	c       207       433    421.49     83.82      5.03   1000000         0
256.01/256.10	c       204       371    418.07     88.92      4.70   1000000         0
257.61/257.73	c       212       506    416.01     97.16      4.28   1000000         0
259.21/259.37	c       225       512    448.30    114.55      3.91   1000000         0
260.91/261.01	c       216       477    436.10    111.69      3.90   1000000         0
262.51/262.63	c       181       376    418.07    112.50      3.72   1000000         0
264.11/264.28	c       172       303    442.14    107.42      4.12   1000000         0
265.80/265.91	c       202       494    418.09     99.98      4.18   1000000         0
267.40/267.55	c       182       494    426.41    121.22      3.52   1000000         0
269.00/269.17	c       200       354    417.50    116.99      3.57   1000000         0
270.70/270.80	c       243       424    419.98    103.02      4.08   1000000         0
272.30/272.44	c       223       257    424.18    111.55      3.80   1000000         0
273.90/274.07	c       189       504    409.83    128.78      3.18   1000000         0
275.50/275.69	c       169       376    415.95     97.56      4.26   1000000         0
277.20/277.33	c       213       317    427.97    111.33      3.84   1000000         0
278.80/278.95	c       156       472    412.72    106.54      3.87   1000000         0
280.41/280.59	c       225       397    434.58    112.71      3.86   1000000         0
282.10/282.22	c       235       407    428.02    114.34      3.74   1000000         0
283.71/283.86	c       243       564    435.04    109.56      3.97   1000000         0
285.30/285.49	c       184       392    427.85    101.00      4.24   1000000         0
287.01/287.12	c       166       429    408.75    103.56      3.95   1000000         0
288.60/288.74	c       219       430    419.71     94.69      4.43   1000000         0
290.20/290.38	c       226       515    428.38    112.29      3.81   1000000         0
291.90/292.00	c       154       325    412.09    108.03      3.81   1000000         0
293.50/293.65	c       184       448    434.53    104.98      4.14   1000000         0
295.10/295.28	c       212       404    429.83    101.73      4.23   1000000         0
296.80/296.91	c       186       409    429.19    109.80      3.91   1000000         0
298.39/298.54	c       170       391    420.84    103.89      4.05   1000000         0
299.99/300.17	c       189       429    417.15     91.68      4.55   1000000         0
301.69/301.80	c       189       444    409.92    106.81      3.84   1000000         0
303.29/303.42	c       194       392    402.52    112.35      3.58   1000000         0
304.89/305.06	c       199       447    421.13    112.06      3.76   1000000         0
306.49/306.69	c       190       520    435.69     93.96      4.64   1000000         0
308.19/308.32	c       198       353    422.34    111.95      3.77   1000000         0
309.79/309.95	c       188       524    406.46    104.09      3.90   1000000         0
311.39/311.58	c       214       409    425.64     91.03      4.68   1000000         0
313.09/313.22	c       197       419    433.95     98.24      4.42   1000000         0
314.69/314.84	c       172       468    420.72     99.95      4.21   1000000         0
316.29/316.47	c       214       338    419.30     95.77      4.38   1000000         0
317.99/318.10	c       197       369    431.33     94.17      4.58   1000000         0
319.59/319.73	c       214       522    420.31    107.60      3.91   1000000         0
321.19/321.36	c       205       373    415.80     98.61      4.22   1000000         0
322.79/322.99	c       209       459    426.25    109.05      3.91   1000000         0
324.49/324.62	c       238       338    421.21    111.29      3.78   1000000         0
326.09/326.27	c       194       523    444.84    113.98      3.90   1000000         0
327.79/327.90	c       166       449    418.41    129.98      3.22   1000000         0
329.38/329.54	c       175       321    421.89    107.91      3.91   1000000         0
330.99/331.16	c       223       405    406.39    101.68      4.00   1000000         0
332.58/332.79	c       146       406    418.35    107.08      3.91   1000000         0
334.29/334.43	c       220       327    419.60    108.12      3.88   1000000         0
335.88/336.06	c       216       399    427.89    111.12      3.85   1000000         0
337.49/337.69	c       213       286    424.34    102.15      4.15   1000000         0
339.18/339.32	c       204       357    419.38    118.61      3.54   1000000         0
340.79/340.96	c       235       388    439.93    112.19      3.92   1000000         0
342.38/342.59	c       169       402    425.35     90.56      4.70   1000000         0
344.09/344.22	c       238       471    436.94    106.15      4.12   1000000         0
345.68/345.85	c       168       255    405.86     90.23      4.50   1000000         0
347.28/347.48	c       164       422    424.38    114.74      3.70   1000000         0
348.98/349.11	c       195       361    423.90    105.11      4.03   1000000         0
350.58/350.74	c       159       372    404.53    125.91      3.21   1000000         0
352.18/352.37	c       188       360    410.94     96.05      4.28   1000000         0
353.88/354.00	c       193       512    417.05     81.54      5.11   1000000         0
355.48/355.63	c       167       292    415.29    109.79      3.78   1000000         0
357.07/357.25	c       221       559    408.47    100.53      4.06   1000000         0
358.67/358.87	c       234       451    403.97     97.60      4.14   1000000         0
360.37/360.50	c       156       314    415.36     91.35      4.55   1000000         0
361.97/362.14	c       205       550    431.65    109.21      3.95   1000000         0
363.57/363.78	c       224       358    433.11     92.46      4.68   1000000         0
365.27/365.40	c       198       439    403.25    101.88      3.96   1000000         0
366.87/367.05	c       226       417    457.46    117.67      3.89   1000000         0
368.47/368.68	c       225       368    425.88     90.80      4.69   1000000         0
370.17/370.31	c       174       369    425.75    104.05      4.09   1000000         0
371.77/371.93	c       141       423    415.44    105.23      3.95   1000000         0
373.37/373.56	c       199       463    414.41    100.61      4.12   1000000         0
374.98/375.19	c       209       422    429.88    107.26      4.01   1000000         0
376.67/376.81	c       140       514    414.95    118.92      3.49   1000000         0
378.28/378.43	c       192       470    409.54    102.04      4.01   1000000         0
379.87/380.08	c       220       422    439.18    113.13      3.88   1000000         0
381.57/381.71	c       186       353    426.60    112.41      3.80   1000000         0
383.17/383.34	c       201       505    422.41     93.43      4.52   1000000         0
384.77/384.96	c       206       408    411.88     99.66      4.13   1000000         0
386.47/386.60	c       256       472    442.22     95.77      4.62   1000000         0
388.07/388.23	c       189       378    414.31    111.14      3.73   1000000         0
389.66/389.86	c       199       446    427.57    103.59      4.13   1000000         0
391.37/391.50	c       191       308    432.42    119.84      3.61   1000000         0
392.96/393.12	c       201       438    406.76    101.65      4.00   1000000         0
394.56/394.75	c       200       519    420.00    101.35      4.14   1000000         0
396.16/396.38	c       212       484    414.31    119.25      3.47   1000000         0
397.86/398.01	c       223       492    422.98     94.39      4.48   1000000         0
399.46/399.65	c       165       405    437.04    120.24      3.63   1000000         0
401.06/401.28	c       196       374    409.28    112.85      3.63   1000000         0
402.76/402.91	c       148       502    417.98    123.38      3.39   1000000         0
404.36/404.53	c       175       556    416.25     88.64      4.70   1000000         0
405.96/406.16	c       167       469    405.32    118.48      3.42   1000000         0
407.56/407.78	c       187       431    411.09    105.56      3.89   1000000         0
409.26/409.42	c       204       419    426.79    109.12      3.91   1000000         0
410.86/411.05	c       198       431    424.26    102.39      4.14   1000000         0
412.46/412.68	c       214       307    429.15     88.84      4.83   1000000         0
414.16/414.30	c       182       597    411.19     93.64      4.39   1000000         0
415.76/415.93	c       229       448    419.45    104.26      4.02   1000000         0
417.35/417.56	c       212       469    423.16    110.79      3.82   1000000         0
418.96/419.18	c       177       413    422.19    110.07      3.84   1000000         0
420.65/420.81	c       170       341    415.35    120.80      3.44   1000000         0
422.26/422.45	c       198       365    418.09    125.18      3.34   1000000         0
423.85/424.09	c       221       389    444.10    116.46      3.81   1000000         0
425.56/425.71	c       160       495    402.51    114.96      3.50   1000000         0
427.15/427.33	c       204       283    422.45     97.95      4.31   1000000         0
428.76/428.96	c       226       404    414.90     87.02      4.77   1000000         0
430.35/430.59	c       194       372    416.74     98.31      4.24   1000000         0
432.06/432.23	c       221       465    418.96    106.45      3.94   1000000         0
433.65/433.84	c       190       320    401.79    106.36      3.78   1000000         0
435.25/435.47	c       169       348    410.55    108.22      3.79   1000000         0
436.85/437.09	c       171       494    414.38    103.11      4.02   1000000         0
438.55/438.72	c       204       438    414.87    100.04      4.15   1000000         0
440.15/440.35	c       164       372    419.43    109.90      3.82   1000000         0
441.75/441.99	c       203       438    434.56    119.63      3.63   1000000         0
443.44/443.61	c       179       459    421.97    102.48      4.12   1000000         0
445.04/445.25	c       223       398    412.71     93.47      4.42   1000000         0
446.64/446.87	c       190       439    412.96    103.61      3.99   1000000         0
448.34/448.51	c       228       323    423.56     95.29      4.45   1000000         0
449.94/450.14	c       180       389    413.48     92.75      4.46   1000000         0
451.54/451.77	c       186       501    423.99    121.11      3.50   1000000         0
453.24/453.41	c       235       303    448.37    105.53      4.25   1000000         0
454.84/455.04	c       186       356    410.95    102.49      4.01   1000000         0
456.44/456.68	c       203       380    437.84    100.33      4.36   1000000         0
458.14/458.32	c       185       380    429.32    113.00      3.80   1000000         0
459.74/459.95	c       200       359    430.51    106.26      4.05   1000000         0
461.34/461.58	c       211       358    415.20    108.57      3.82   1000000         0
463.04/463.21	c       197       451    409.59    100.38      4.08   1000000         0
464.64/464.84	c       180       367    412.52     86.24      4.78   1000000         0
466.25/466.46	c       181       413    413.08    108.33      3.81   1000000         0
467.84/468.09	c       229       348    419.73    102.11      4.11   1000000         0
469.54/469.72	c       203       451    405.94    102.33      3.97   1000000         0
471.14/471.35	c       182       457    423.49     96.90      4.37   1000000         0
472.74/472.97	c       166       518    412.30    114.91      3.59   1000000         0
474.43/474.62	c       242       393    446.34     99.14      4.50   1000000         0
476.04/476.24	c       162       330    415.97     91.27      4.56   1000000         0
477.63/477.87	c       165       353    410.56    118.14      3.48   1000000         0
479.34/479.50	c       217       404    424.96     99.02      4.29   1000000         0
480.93/481.13	c       189       367    419.77    117.50      3.57   1000000         0
482.53/482.77	c       207       343    427.56    122.29      3.50   1000000         0
484.13/484.39	c       198       480    421.43    116.79      3.61   1000000         0
485.83/486.03	c       240       401    423.34    108.53      3.90   1000000         0
487.43/487.65	c       188       461    408.36    104.09      3.92   1000000         0
489.03/489.27	c       194       502    409.33    106.59      3.84   1000000         0
490.73/490.90	c       189       290    416.69    107.04      3.89   1000000         0
492.33/492.54	c       203       286    420.93    101.91      4.13   1000000         0
493.93/494.17	c       235       343    434.75     91.65      4.74   1000000         0
495.63/495.80	c       208       483    426.41    103.67      4.11   1000000         0
497.23/497.43	c       201       418    419.51    100.67      4.17   1000000         0
498.83/499.06	c       203       307    415.90     98.22      4.23   1000000         0
500.43/500.69	c       218       345    417.86    102.94      4.06   1000000         0
502.13/502.31	c       128       463    409.66    128.22      3.20   1000000         0
503.73/503.93	c       179       300    404.74    114.20      3.54   1000000         0
505.33/505.56	c       163       351    421.47    108.89      3.87   1000000         0
506.93/507.19	c       229       445    412.22     95.55      4.31   1000000         0
508.62/508.81	c       239       424    418.96    101.38      4.13   1000000         0
510.23/510.45	c       178       331    417.22     90.00      4.64   1000000         0
511.82/512.07	c       186       551    414.31     79.40      5.22   1000000         0
513.43/513.70	c       205       392    416.06    112.65      3.69   1000000         0
515.12/515.33	c       213       252    420.97    103.73      4.06   1000000         0
516.73/516.95	c       180       368    415.37    116.04      3.58   1000000         0
518.32/518.59	c       186       354    431.91    123.98      3.48   1000000         0
520.03/520.21	c       160       453    410.79     96.46      4.26   1000000         0
521.62/521.84	c       195       428    425.26    111.11      3.83   1000000         0
523.22/523.47	c       187       378    409.12    108.05      3.79   1000000         0
524.92/525.10	c       200       434    416.19     84.19      4.94   1000000         0
526.52/526.73	c       210       543    421.08     94.41      4.46   1000000         0
528.12/528.36	c       164       322    412.96    102.31      4.04   1000000         0
529.82/530.00	c       192       374    435.08    104.21      4.18   1000000         0
531.42/531.62	c       223       440    417.87    101.17      4.13   1000000         0
533.02/533.25	c       172       378    416.76    117.29      3.55   1000000         0
534.62/534.89	c       171       465    424.74    101.15      4.20   1000000         0
536.32/536.52	c       225       342    418.37     94.26      4.44   1000000         0
537.92/538.14	c       170       469    408.49     89.66      4.56   1000000         0
539.51/539.76	c       182       434    411.23    100.03      4.11   1000000         0
541.11/541.40	c       209       394    415.66    114.38      3.63   1000000         0
542.81/543.02	c       163       447    412.70    112.95      3.65   1000000         0
544.41/544.66	c       214       434    430.20    104.27      4.13   1000000         0
546.01/546.29	c       199       434    425.82    104.77      4.06   1000000         0
547.71/547.91	c       183       385    427.41    101.58      4.21   1000000         0
549.31/549.55	c       197       381    430.81    115.79      3.72   1000000         0
550.92/551.18	c       142       417    411.22    122.89      3.35   1000000         0
552.61/552.81	c       215       420    419.58    107.00      3.92   1000000         0
554.22/554.44	c       226       426    432.55    106.91      4.05   1000000         0
555.81/556.07	c       209       399    414.17    104.08      3.98   1000000         0
557.52/557.70	c       215       313    439.71     84.81      5.18   1000000         0
559.11/559.33	c       192       466    423.10    121.30      3.49   1000000         0
560.71/560.96	c       185       233    402.68     93.44      4.31   1000000         0
562.31/562.58	c       215       427    418.60    107.13      3.91   1000000         0
564.01/564.21	c       212       404    419.48    100.63      4.17   1000000         0
565.61/565.86	c       174       384    423.85     94.72      4.48   1000000         0
567.20/567.49	c       201       299    430.53    111.55      3.86   1000000         0
568.90/569.13	c       227       419    438.73    103.63      4.23   1000000         0
570.50/570.76	c       221       343    433.44    108.89      3.98   1000000         0
572.10/572.39	c       215       293    424.28    102.90      4.12   1000000         0
573.80/574.02	c       181       428    425.05    115.87      3.67   1000000         0
575.40/575.64	c       163       372    401.73    115.96      3.46   1000000         0
577.00/577.27	c       195       366    421.38    107.16      3.93   1000000         0
578.70/578.90	c       199       418    424.96    108.39      3.92   1000000         0
580.30/580.54	c       188       544    421.56    130.12      3.24   1000000         0
581.90/582.17	c       219       366    431.41    114.27      3.78   1000000         0
583.50/583.79	c       203       487    406.44    109.73      3.70   1000000         0
585.20/585.43	c       187       414    422.89     94.38      4.48   1000000         0
586.80/587.05	c       191       466    401.14     96.06      4.18   1000000         0
588.40/588.69	c       223       452    424.36    100.36      4.23   1000000         0
590.10/590.32	c       220       402    416.24    101.10      4.12   1000000         0
591.70/591.95	c       185       511    431.66    108.55      3.98   1000000         0
593.30/593.57	c       188       382    394.54    100.35      3.93   1000000         0
594.90/595.19	c       188       456    404.36     96.96      4.17   1000000         0
596.60/596.83	c       219       392    421.83    104.32      4.04   1000000         0
598.20/598.45	c       220       284    414.53    127.95      3.24   1000000         0
599.79/600.08	c       170       353    423.25    118.77      3.56   1000000         0
601.50/601.72	c       188       376    437.94    134.36      3.26   1000000         0
603.09/603.36	c       221       446    439.79    100.82      4.36   1000000         0
604.70/605.00	c       253       382    431.83    112.39      3.84   1000000         0
606.39/606.61	c       112       410    404.23    111.41      3.63   1000000         0
608.00/608.24	c       204       348    418.42    100.26      4.17   1000000         0
609.59/609.87	c       199       609    419.35     89.89      4.66   1000000         0
611.30/611.50	c       171       358    420.64    132.85      3.17   1000000         0
612.89/613.13	c       189       351    423.79    105.29      4.03   1000000         0
614.49/614.77	c       190       397    419.95    130.21      3.23   1000000         0
616.09/616.38	c       186       344    399.05     88.66      4.50   1000000         0
617.79/618.01	c       230       301    425.10    109.83      3.87   1000000         0
619.39/619.64	c       183       398    419.54    108.55      3.86   1000000         0
620.99/621.28	c       150       286    409.40    127.37      3.21   1000000         0
622.69/622.91	c       197       441    420.70     94.24      4.46   1000000         0
624.29/624.55	c       145       493    425.14    105.14      4.04   1000000         0
625.89/626.17	c       181       342    406.80     99.98      4.07   1000000         0
627.59/627.80	c       194       462    411.13     96.61      4.26   1000000         0
629.19/629.43	c       207       459    406.21    115.74      3.51   1000000         0
630.78/631.06	c       184       388    410.82    122.47      3.35   1000000         0
632.38/632.67	c       138       375    393.72     88.68      4.44   1000000         0
634.08/634.31	c       146       386    439.28    123.85      3.55   1000000         0
635.68/635.94	c       177       526    416.00     93.67      4.44   1000000         0
637.28/637.57	c       202       384    421.76     93.72      4.50   1000000         0
638.89/639.19	c       202       342    412.78     95.32      4.33   1000000         0
640.58/640.83	c       223       537    428.66    105.01      4.08   1000000         0
642.19/642.47	c       201       390    415.71     98.26      4.23   1000000         0
643.88/644.11	c       213       480    444.31    100.85      4.41   1000000         0
645.49/645.74	c       230       444    428.40    114.82      3.73   1000000         0
647.08/647.38	c       196       413    443.88    115.78      3.83   1000000         0
648.79/649.02	c       185       367    418.97    100.92      4.15   1000000         0
650.38/650.64	c       200       561    407.59    106.75      3.82   1000000         0
651.98/652.26	c       228       376    417.72     90.37      4.62   1000000         0
653.58/653.89	c       185       523    424.85    111.88      3.80   1000000         0
655.28/655.52	c       200       407    416.81     94.04      4.43   1000000         0
656.88/657.15	c       185       406    405.99    103.45      3.92   1000000         0
658.47/658.78	c       217       412    438.68    110.45      3.97   1000000         0
660.17/660.42	c       207       503    409.88     99.52      4.12   1000000         0
661.77/662.05	c       217       429    427.20    114.37      3.74   1000000         0
663.37/663.69	c       172       412    425.28    130.69      3.25   1000000         0
665.07/665.32	c       187       365    415.09    113.34      3.66   1000000         0
666.67/666.94	c       167       359    406.60     99.11      4.10   1000000         0
668.27/668.58	c       217       491    427.12    105.73      4.04   1000000         0
669.97/670.22	c       235       475    433.98    111.26      3.90   1000000         0
671.57/671.84	c       211       431    413.51    106.96      3.87   1000000         0
673.17/673.47	c       200       498    406.29     94.83      4.28   1000000         0
674.87/675.10	c       191       434    423.08    111.99      3.78   1000000         0
676.47/676.73	c       164       409    414.14    115.03      3.60   1000000         0
678.07/678.35	c       217       404    405.26     94.78      4.28   1000000         0
679.67/679.98	c       187       506    408.84     94.34      4.33   1000000         0
681.37/681.61	c       230       332    430.04    102.56      4.19   1000000         0
682.97/683.25	c       229       579    439.33    101.29      4.34   1000000         0
684.57/684.87	c       214       445    416.12    103.72      4.01   1000000         0
686.27/686.52	c       187       474    435.80    113.71      3.83   1000000         0
687.87/688.15	c       198       486    417.28    113.68      3.67   1000000         0
689.47/689.78	c       197       370    419.49    114.07      3.68   1000000         0
691.16/691.41	c       190       441    428.92    104.60      4.10   1000000         0
692.77/693.04	c       226       431    421.00    103.99      4.05   1000000         0
694.36/694.67	c       187       376    415.87    117.27      3.55   1000000         0
695.97/696.29	c       221       455    406.57     95.00      4.28   1000000         0
697.66/697.92	c       217       432    409.32     96.73      4.23   1000000         0
699.27/699.55	c       205       424    431.68    103.89      4.16   1000000         0
700.86/701.19	c       189       347    429.25    115.50      3.72   1000000         0
702.57/702.82	c       211       306    430.03    115.88      3.71   1000000         0
704.16/704.44	c       185       291    399.23    107.98      3.70   1000000         0
705.76/706.07	c       189       504    413.20    115.80      3.57   1000000         0
707.36/707.70	c       210       480    426.50    110.00      3.88   1000000         0
709.06/709.34	c       204       299    433.43    116.99      3.70   1000000         0
710.66/710.97	c       163       301    419.12    115.17      3.64   1000000         0
712.36/712.60	c       190       411    424.24    104.31      4.07   1000000         0
713.96/714.23	c       184       428    419.00     96.38      4.35   1000000         0
715.56/715.86	c       197       380    424.79     99.76      4.26   1000000         0
717.16/717.50	c       206       321    422.96    109.99      3.85   1000000         0
718.86/719.13	c       183       470    416.46    116.83      3.56   1000000         0
720.46/720.76	c       172       409    419.57    117.77      3.56   1000000         0
722.05/722.39	c       199       518    421.18    109.44      3.85   1000000         0
723.75/724.02	c       145       371    412.57    107.12      3.85   1000000         0
725.35/725.64	c       220       397    414.00     95.60      4.33   1000000         0
726.95/727.27	c       215       458    423.28    108.81      3.89   1000000         0
728.65/728.91	c       221       447    445.40    122.07      3.65   1000000         0
730.25/730.53	c       190       438    411.22    109.95      3.74   1000000         0
731.85/732.15	c       196       331    406.07     84.39      4.81   1000000         0
733.46/733.78	c       209       389    413.83    101.66      4.07   1000000         0
735.15/735.41	c       195       478    437.16    107.97      4.05   1000000         0
736.76/737.03	c       138       324    390.70    102.31      3.82   1000000         0
738.35/738.65	c       152       426    402.43    111.29      3.62   1000000         0
739.96/740.28	c       212       491    427.51    113.53      3.77   1000000         0
741.65/741.92	c       226       418    442.87     94.83      4.67   1000000         0
743.25/743.55	c       148       173    425.82    106.03      4.02   1000000         0
744.85/745.18	c       165       351    419.20     97.25      4.31   1000000         0
746.55/746.81	c       202       311    424.52    117.30      3.62   1000000         0
748.15/748.45	c       237       437    448.01     88.36      5.07   1000000         0
749.75/750.08	c       204       426    424.91     99.03      4.29   1000000         0
751.44/751.71	c       191       324    405.01     94.71      4.28   1000000         0
753.04/753.33	c       184       353    409.63    103.16      3.97   1000000         0
754.64/754.97	c       224       477    425.47    101.64      4.19   1000000         0
756.34/756.60	c       225       434    432.10    114.89      3.76   1000000         0
757.94/758.23	c       224       477    424.16     84.75      5.00   1000000         0
759.54/759.86	c       204       426    427.15    110.63      3.86   1000000         0
761.24/761.50	c       221       383    433.63    107.86      4.02   1000000         0
762.84/763.14	c       202       399    431.02    104.33      4.13   1000000         0
764.44/764.77	c       223       318    426.48     94.67      4.50   1000000         0
766.04/766.39	c       211       337    409.07     95.19      4.30   1000000         0
767.74/768.02	c       187       333    416.71    113.20      3.68   1000000         0
769.34/769.64	c       196       429    411.16     96.04      4.28   1000000         0
770.94/771.28	c       193       334    420.98    107.00      3.93   1000000         0
772.64/772.91	c       193       449    421.53    109.00      3.87   1000000         0
774.24/774.53	c       194       444    415.18     99.22      4.18   1000000         0
775.84/776.17	c       222       303    428.91    109.46      3.92   1000000         0
777.44/777.79	c       212       390    423.58    107.85      3.93   1000000         0
779.13/779.43	c       243       473    436.04     89.25      4.89   1000000         0
780.74/781.06	c       213       348    417.44    115.89      3.60   1000000         0
782.33/782.69	c       204       377    411.45    104.98      3.92   1000000         0
784.04/784.32	c       161       456    424.47    106.70      3.98   1000000         0
785.63/785.95	c       196       449    424.26     94.79      4.48   1000000         0
787.24/787.60	c       197       492    451.23    101.93      4.43   1000000         0
788.93/789.23	c       176       473    418.77    104.41      4.01   1000000         0
790.54/790.86	c       194       369    430.75    113.98      3.78   1000000         0
792.13/792.48	c       183       316    400.21     94.84      4.22   1000000         0
793.84/794.12	c       218       349    433.76    114.71      3.78   1000000         0
795.43/795.74	c       163       485    403.62     93.31      4.33   1000000         0
797.03/797.36	c       206       455    404.57     98.34      4.11   1000000         0
798.63/798.98	c       196       309    411.48     94.07      4.37   1000000         0
800.33/800.61	c       132       368    409.60     96.58      4.24   1000000         0
801.93/802.24	c       189       333    410.94    111.19      3.70   1000000         0
803.53/803.87	c       213       285    419.07     89.30      4.69   1000000         0
805.23/805.50	c       191       409    417.67     97.13      4.30   1000000         0
806.83/807.13	c       181       447    415.20     86.48      4.80   1000000         0
808.42/808.76	c       214       367    436.47     93.68      4.66   1000000         0
810.02/810.39	c       190       360    411.04    103.27      3.98   1000000         0
811.72/812.02	c       221       400    420.46    118.44      3.55   1000000         0
813.32/813.66	c       123       488    424.66    123.31      3.44   1000000         0
814.92/815.30	c       191       382    431.41    115.49      3.74   1000000         0
816.62/816.94	c       190       302    438.93    110.01      3.99   1000000         0
818.22/818.57	c       219       338    428.82    113.08      3.79   1000000         0
819.92/820.21	c       177       429    421.72    107.16      3.94   1000000         0
821.52/821.84	c       184       273    410.15    115.55      3.55   1000000         0
823.12/823.46	c       207       408    414.00     94.86      4.36   1000000         0
824.82/825.10	c       213       517    429.93    117.56      3.66   1000000         0
826.42/826.73	c       138       381    407.43     97.51      4.18   1000000         0
828.03/828.37	c       192       486    423.39    116.02      3.65   1000000         0
829.72/830.00	c       223       435    430.18     95.26      4.52   1000000         0
831.32/831.64	c       233       388    435.57    111.37      3.91   1000000         0
832.92/833.27	c       189       426    434.61    130.89      3.32   1000000         0
834.62/834.91	c       184       449    438.77    109.68      4.00   1000000         0
836.22/836.54	c       220       354    424.06    112.51      3.77   1000000         0
837.82/838.16	c       209       378    420.37    117.79      3.57   1000000         0
839.51/839.81	c       202       353    436.76    148.41      2.94   1000000         0
841.12/841.44	c       219       418    417.82    109.58      3.81   1000000         0
842.71/843.07	c       194       498    416.53     98.33      4.24   1000000         0
844.42/844.71	c       207       497    432.03    100.64      4.29   1000000         0
846.01/846.34	c       197       384    430.77    117.60      3.66   1000000         0
847.61/847.98	c       230       349    437.36    122.27      3.58   1000000         0
849.31/849.61	c       190       331    414.42     93.25      4.44   1000000         0
850.91/851.24	c       199       361    416.36    111.66      3.73   1000000         0
852.51/852.87	c       186       325    416.92     90.59      4.60   1000000         0
854.21/854.51	c       193       386    424.77    124.82      3.40   1000000         0
855.81/856.15	c       192       471    427.26    103.87      4.11   1000000         0
857.41/857.78	c       223       502    427.82    117.30      3.65   1000000         0
859.11/859.41	c       205       354    437.74    104.69      4.18   1000000         0
860.71/861.04	c       224       341    414.46    100.65      4.12   1000000         0
862.30/862.68	c       218       310    429.61    107.46      4.00   1000000         0
864.00/864.30	c       213       371    413.31    108.34      3.81   1000000         0
865.60/865.93	c       193       389    416.93    110.70      3.77   1000000         0
867.20/867.56	c       163       376    414.10    122.50      3.38   1000000         0
868.80/869.19	c       219       583    433.03    113.81      3.80   1000000         0
870.50/870.84	c       237       459    434.53     97.66      4.45   1000000         0
872.10/872.47	c       230       350    429.34     88.85      4.83   1000000         0
873.80/874.10	c       199       453    423.72     93.10      4.55   1000000         0
875.40/875.75	c       245       546    440.96    111.47      3.96   1000000         0
877.00/877.37	c       205       463    416.45    103.02      4.04   1000000         0
878.70/879.01	c       237       503    444.36     93.08      4.77   1000000         0
880.30/880.64	c       199       390    410.02    105.29      3.89   1000000         0
881.90/882.27	c       181       408    410.56    108.36      3.79   1000000         0
883.60/883.90	c       231       353    428.79     87.74      4.89   1000000         0
885.20/885.53	c       196       392    411.27    124.10      3.31   1000000         0
886.80/887.16	c       201       394    406.45    106.13      3.83   1000000         0
888.40/888.79	c       182       320    414.14    109.16      3.79   1000000         0
890.09/890.42	c       153       398    425.87    114.02      3.74   1000000         0
891.70/892.05	c       224       412    427.55     96.49      4.43   1000000         0
893.29/893.69	c       199       343    428.99    136.78      3.14   1000000         0
895.00/895.31	c       202       411    422.17    101.45      4.16   1000000         0
896.59/896.95	c       181       361    435.57    100.39      4.34   1000000         0
898.19/898.58	c       200       334    417.32    103.21      4.04   1000000         0
899.89/900.21	c       226       337    413.83     96.10      4.31   1000000         0
901.49/901.84	c       195       398    409.57     90.24      4.54   1000000         0
903.09/903.47	c       186       395    427.49    117.42      3.64   1000000         0
904.79/905.10	c       225       413    417.54    104.48      4.00   1000000         0
906.39/906.73	c       199       235    423.73    103.56      4.09   1000000         0
907.99/908.35	c       184       486    415.60    111.10      3.74   1000000         0
909.69/910.00	c       210       428    433.89    100.09      4.33   1000000         0
911.29/911.63	c       240       429    421.12     90.95      4.63   1000000         0
912.89/913.25	c       140       343    406.32    116.94      3.47   1000000         0
914.49/914.87	c       167       275    408.44    126.24      3.24   1000000         0
916.19/916.51	c       247       478    442.33    120.91      3.66   1000000         0
917.79/918.14	c       197       398    420.21     97.85      4.29   1000000         0
919.39/919.77	c       122       448    401.77    104.88      3.83   1000000         0
920.98/921.39	c       194       475    404.92    104.05      3.89   1000000         0
922.68/923.03	c       150       393    431.73    114.93      3.76   1000000         0
924.28/924.66	c       207       391    428.37    116.99      3.66   1000000         0
925.89/926.30	c       195       369    426.05    111.12      3.83   1000000         0
927.58/927.93	c       187       287    432.60    104.88      4.12   1000000         0
929.19/929.56	c       228       420    417.01    112.75      3.70   1000000         0
930.78/931.19	c       189       414    427.48    106.88      4.00   1000000         0
932.49/932.81	c       194       472    415.27    118.16      3.51   1000000         0
934.08/934.44	c       192       406    403.40     94.54      4.27   1000000         0
935.69/936.08	c       215       451    442.75    114.47      3.87   1000000         0
937.38/937.71	c       116       458    415.93    109.61      3.79   1000000         0
938.99/939.34	c       224       437    426.07    109.44      3.89   1000000         0
940.58/940.98	c       164       330    427.44    105.22      4.06   1000000         0
942.28/942.61	c       163       423    429.25    107.93      3.98   1000000         0
943.88/944.24	c       184       401    427.28    117.60      3.63   1000000         0
945.48/945.87	c       159       351    415.70     99.84      4.16   1000000         0
947.18/947.50	c       206       465    408.41    100.90      4.05   1000000         0
948.77/949.13	c       215       690    422.76    103.21      4.10   1000000         0
950.37/950.76	c       215       507    421.99    108.72      3.88   1000000         0
952.07/952.40	c       235       440    428.40     99.81      4.29   1000000         0
953.67/954.03	c       225       332    415.36     97.17      4.27   1000000         0
955.27/955.65	c       200       488    422.64    103.53      4.08   1000000         0
956.87/957.28	c       188       346    420.55    108.07      3.89   1000000         0
958.57/958.90	c       234       386    422.25    108.12      3.91   1000000         0
960.17/960.53	c       239       591    415.28    106.09      3.91   1000000         0
961.77/962.15	c       181       402    388.09    105.31      3.69   1000000         0
963.37/963.78	c       221       474    428.56    103.01      4.16   1000000         0
965.07/965.41	c       230       338    422.59    110.11      3.84   1000000         0
966.67/967.04	c       181       382    412.56    107.18      3.85   1000000         0
968.27/968.68	c       212       372    434.50    111.28      3.90   1000000         0
969.97/970.31	c       183       402    412.73    127.24      3.24   1000000         0
971.57/971.94	c       211       389    431.62    112.35      3.84   1000000         0
973.17/973.58	c       224       335    427.62     98.82      4.33   1000000         0
974.87/975.21	c       198       367    432.57    105.92      4.08   1000000         0
976.47/976.84	c       171       398    408.34     95.94      4.26   1000000         0
978.07/978.47	c       231       390    420.69    126.79      3.32   1000000         0
979.67/980.10	c       206       476    425.58    101.76      4.18   1000000         0
981.36/981.73	c       173       500    431.63     97.87      4.41   1000000         0
982.97/983.37	c       171       489    417.76    114.75      3.64   1000000         0
984.66/985.00	c       192       487    426.04    110.68      3.85   1000000         0
986.27/986.64	c       193       448    434.77    107.97      4.03   1000000         0
987.86/988.26	c       133       367    414.37    106.59      3.89   1000000         0
989.57/989.90	c       217       360    438.13    106.34      4.12   1000000         0
991.16/991.54	c       155       382    421.46    122.95      3.43   1000000         0
992.76/993.17	c       227       359    424.74    113.91      3.73   1000000         0
994.36/994.79	c       178       393    406.43    109.42      3.71   1000000         0
996.06/996.42	c       208       380    424.66    101.83      4.17   1000000         0
997.66/998.05	c       192       471    408.54    108.34      3.77   1000000         0
999.26/999.67	c       168       415    408.94     92.62      4.42   1000000         0
1000.96/1001.30	c       205       371    413.82    115.33      3.59   1000000         0
1002.56/1002.92	c       205       545    417.42    100.94      4.14   1000000         0
1004.16/1004.55	c       200       399    421.72    109.95      3.84   1000000         0
1005.76/1006.20	c       240       411    438.17    117.84      3.72   1000000         0
1007.46/1007.83	c       183       332    426.49    101.12      4.22   1000000         0
1009.06/1009.46	c       174       510    410.10     86.86      4.72   1000000         0
1010.66/1011.08	c       167       470    401.97    106.28      3.78   1000000         0
1012.35/1012.70	c       203       338    411.99     95.54      4.31   1000000         0
1013.95/1014.33	c       166       417    409.26    101.08      4.05   1000000         0
1015.55/1015.96	c       160       371    413.24    108.09      3.82   1000000         0
1017.16/1017.58	c       171       496    413.39     97.64      4.23   1000000         0
1018.85/1019.20	c       204       412    404.91     95.13      4.26   1000000         0
1020.46/1020.83	c       204       391    427.15    101.44      4.21   1000000         0
1022.05/1022.46	c       191       345    411.75    102.32      4.02   1000000         0
1023.66/1024.09	c       188       372    399.83    110.48      3.62   1000000         0
1025.35/1025.71	c       218       298    419.41     97.67      4.29   1000000         0
1026.96/1027.34	c       215       353    414.67    112.96      3.67   1000000         0
1028.55/1028.98	c       212       342    441.21    101.03      4.37   1000000         0
1030.26/1030.62	c       178       385    439.42     98.34      4.47   1000000         0
1031.85/1032.24	c       197       306    416.46     95.00      4.38   1000000         0
1033.45/1033.88	c       203       363    427.27     96.81      4.41   1000000         0
1035.15/1035.51	c       228       387    422.87    110.39      3.83   1000000         0
1036.75/1037.16	c       212       430    446.40    112.16      3.98   1000000         0
1038.35/1038.79	c       247       527    432.62    109.29      3.96   1000000         0
1040.04/1040.42	c       225       393    432.11     93.59      4.62   1000000         0
1041.64/1042.06	c       171       375    433.89     97.73      4.44   1000000         0
1043.24/1043.69	c       221       537    420.49    114.60      3.67   1000000         0
1044.94/1045.32	c       218       373    429.09    102.10      4.20   1000000         0
1046.54/1046.96	c       224       393    432.48     91.53      4.72   1000000         0
1048.14/1048.59	c       224       597    415.09     97.57      4.25   1000000         0
1049.84/1050.22	c       197       490    429.39    100.70      4.26   1000000         0
1051.44/1051.85	c       204       421    418.75    109.08      3.84   1000000         0
1053.04/1053.49	c       188       361    428.28    104.36      4.10   1000000         0
1054.74/1055.12	c       226       404    425.05    109.88      3.87   1000000         0
1056.34/1056.75	c       216       472    409.40     87.95      4.66   1000000         0
1057.94/1058.37	c       168       346    405.11    106.39      3.81   1000000         0
1059.64/1060.02	c       194       382    440.51    113.79      3.87   1000000         0
1061.24/1061.63	c       169       513    405.41     95.01      4.27   1000000         0
1062.84/1063.26	c       216       468    411.11    107.81      3.81   1000000         0
1064.44/1064.89	c       222       412    429.00     97.90      4.38   1000000         0
1066.14/1066.53	c       195       362    434.89    112.34      3.87   1000000         0
1067.74/1068.16	c       208       296    416.89    103.43      4.03   1000000         0
1069.34/1069.78	c       216       271    411.52    108.03      3.81   1000000         0
1071.04/1071.41	c       136       442    402.34    100.17      4.02   1000000         0
1072.63/1073.04	c       204       429    423.85    113.40      3.74   1000000         0
1074.24/1074.66	c       197       429    421.17    100.51      4.19   1000000         0
1075.93/1076.30	c       232       333    440.33    110.38      3.99   1000000         0
1077.54/1077.93	c       189       439    412.23     97.15      4.24   1000000         0
1079.13/1079.55	c       182       342    410.18     99.76      4.11   1000000         0
1080.73/1081.18	c       191       407    413.93    115.90      3.57   1000000         0
1082.43/1082.83	c       242       402    449.37    106.82      4.21   1000000         0
1084.03/1084.46	c       170       396    415.69    108.65      3.83   1000000         0
1085.63/1086.09	c       202       209    423.18    118.42      3.57   1000000         0
1087.33/1087.71	c       143       214    405.97    123.15      3.30   1000000         0
1088.93/1089.34	c       206       487    433.76    116.15      3.73   1000000         0
1090.53/1090.98	c       230       363    419.68    122.03      3.44   1000000         0
1092.23/1092.60	c       186       377    400.82    103.19      3.88   1000000         0
1093.83/1094.23	c       192       491    405.41     90.76      4.47   1000000         0
1095.43/1095.85	c       200       363    427.46     92.40      4.63   1000000         0
1097.03/1097.48	c       166       496    417.59    101.97      4.10   1000000         0
1098.72/1099.10	c       171       384    403.68    104.12      3.88   1000000         0
1100.32/1100.73	c       230       465    425.57     97.35      4.37   1000000         0
1101.92/1102.36	c       165       451    416.06    123.95      3.36   1000000         0
1103.52/1103.99	c       170       321    417.53     98.06      4.26   1000000         0
1105.22/1105.62	c       198       447    419.03    105.64      3.97   1000000         0
1106.82/1107.26	c       225       349    430.59    116.95      3.68   1000000         0
1108.43/1108.89	c       182       310    430.83    118.84      3.63   1000000         0
1110.12/1110.52	c       177       361    410.19    101.60      4.04   1000000         0
1111.73/1112.16	c       181       428    445.39     98.97      4.50   1000000         0
1113.32/1113.79	c       199       369    415.61    113.21      3.67   1000000         0
1115.03/1115.41	c       189       379    405.03    110.36      3.67   1000000         0
1116.62/1117.03	c       219       432    409.33    110.39      3.71   1000000         0
1118.23/1118.68	c       232       489    438.25    120.58      3.63   1000000         0
1119.92/1120.30	c       169       481    412.91    108.29      3.81   1000000         0
1121.52/1121.94	c       185       374    418.22    107.77      3.88   1000000         0
1123.12/1123.56	c       197       294    400.48    114.70      3.49   1000000         0
1124.72/1125.19	c       145       323    417.70    109.50      3.81   1000000         0
1126.42/1126.82	c       208       377    424.85    101.37      4.19   1000000         0
1128.01/1128.44	c       154       530    408.21    111.16      3.67   1000000         0
1129.61/1130.07	c       175       464    424.30    100.51      4.22   1000000         0
1131.31/1131.70	c       148       344    415.38    112.70      3.69   1000000         0
1132.91/1133.34	c       208       428    416.74    101.74      4.10   1000000         0
1134.51/1134.96	c       195       325    418.54    133.46      3.14   1000000         0
1136.11/1136.58	c       191       406    414.64    111.38      3.72   1000000         0
1137.81/1138.21	c       199       495    421.45     95.83      4.40   1000000         0
1139.41/1139.84	c       204       640    424.73    105.46      4.03   1000000         0
1141.01/1141.48	c       202       356    415.73    103.56      4.01   1000000         0
1142.71/1143.10	c       176       380    415.07    107.35      3.87   1000000         0
1144.31/1144.74	c       189       535    433.73    107.21      4.05   1000000         0
1145.91/1146.37	c       189       448    418.42    105.62      3.96   1000000         0
1147.61/1148.00	c       197       410    419.00     99.78      4.20   1000000         0
1149.21/1149.63	c       203       467    409.97     95.97      4.27   1000000         0
1150.81/1151.25	c       197       476    415.82     93.90      4.43   1000000         0
1152.41/1152.87	c       206       441    421.62    105.46      4.00   1000000         0
1154.11/1154.50	c       171       374    424.24    111.79      3.79   1000000         0
1155.71/1156.13	c       202       378    405.58    109.99      3.69   1000000         0
1157.31/1157.76	c       204       300    442.85     95.09      4.66   1000000         0
1158.91/1159.39	c       192       384    426.03     98.44      4.33   1000000         0
1160.60/1161.02	c       216       316    428.56    123.13      3.48   1000000         0
1162.21/1162.65	c       203       492    436.58    119.18      3.66   1000000         0
1163.80/1164.29	c       220       478    425.31    107.62      3.95   1000000         0
1165.51/1165.92	c       198       368    413.17    109.60      3.77   1000000         0
1167.10/1167.55	c       217       379    432.77     98.91      4.38   1000000         0
1168.70/1169.19	c       195       474    430.32     98.11      4.39   1000000         0
1170.40/1170.81	c       206       408    416.40     94.70      4.40   1000000         0
1172.00/1172.45	c       189       320    430.73    122.31      3.52   1000000         0
1173.60/1174.08	c       208       378    419.11    120.60      3.48   1000000         0
1175.30/1175.70	c       198       359    417.02    128.44      3.25   1000000         0
1176.90/1177.33	c       152       300    405.85     95.63      4.24   1000000         0
1178.50/1178.96	c       211       281    427.78    107.62      3.97   1000000         0
1180.20/1180.60	c       206       371    419.83    104.66      4.01   1000000         0
1181.80/1182.23	c       196       344    428.31    118.19      3.62   1000000         0
1183.40/1183.86	c       210       376    430.23    105.60      4.07   1000000         0
1185.00/1185.49	c       177       495    417.50     95.85      4.36   1000000         0
1186.70/1187.11	c       202       305    415.00     91.65      4.53   1000000         0
1188.30/1188.74	c       206       393    413.62    106.87      3.87   1000000         0
1189.89/1190.38	c       206       393    432.38    124.89      3.46   1000000         0
1191.59/1192.01	c       176       280    417.50    102.04      4.09   1000000         0
1193.19/1193.65	c       207       363    434.63    110.32      3.94   1000000         0
1194.79/1195.27	c       196       543    420.61    125.92      3.34   1000000         0
1196.49/1196.90	c       185       326    411.74    113.04      3.64   1000000         0
1198.09/1198.52	c       182       351    405.92    105.18      3.86   1000000         0
1199.70/1200.15	c       213       403    426.71     94.74      4.50   1000000         0
1201.29/1201.77	c       169       483    411.84    110.18      3.74   1000000         0
1202.90/1203.40	c       191       420    416.66    111.37      3.74   1000000         0
1204.59/1205.02	c       163       449    404.00     94.19      4.29   1000000         0
1206.19/1206.65	c       176       425    435.80    114.75      3.80   1000000         0
1207.79/1208.29	c       185       368    422.94    103.16      4.10   1000000         0
1209.49/1209.92	c       234       369    425.63    119.63      3.56   1000000         0
1211.09/1211.55	c       228       394    417.71    111.67      3.74   1000000         0
1212.69/1213.18	c       207       397    422.84    123.49      3.42   1000000         0
1214.38/1214.81	c       174       420    429.88    107.47      4.00   1000000         0
1215.98/1216.43	c       185       355    399.55     99.26      4.03   1000000         0
1217.58/1218.05	c       205       475    420.74    105.45      3.99   1000000         0
1219.18/1219.68	c       189       417    414.23    104.38      3.97   1000000         0
1220.88/1221.31	c       222       379    427.79    109.92      3.89   1000000         0
1222.48/1222.94	c       196       369    407.37    105.03      3.88   1000000         0
1224.08/1224.57	c       206       428    427.33    119.19      3.59   1000000         0
1225.78/1226.20	c       195       476    417.43    104.12      4.01   1000000         0
1227.38/1227.84	c       183       416    439.30    115.63      3.80   1000000         0
1228.98/1229.47	c       224       473    422.67    103.59      4.08   1000000         0
1230.58/1231.09	c       160       356    405.62    104.89      3.87   1000000         0
1232.28/1232.72	c       197       338    429.45    113.52      3.78   1000000         0
1233.88/1234.35	c       170       431    414.59    115.26      3.60   1000000         0
1235.48/1235.98	c       182       355    409.16    108.31      3.78   1000000         0
1237.18/1237.61	c       222       418    427.46    109.48      3.90   1000000         0
1238.79/1239.23	c       214       360    408.58    105.88      3.86   1000000         0
1240.39/1240.86	c       216       311    424.29    107.08      3.96   1000000         0
1242.08/1242.50	c       134       377    423.95    109.58      3.87   1000000         0
1243.69/1244.13	c       225       348    423.37     99.86      4.24   1000000         0
1245.28/1245.76	c       184       392    426.96    125.50      3.40   1000000         0
1246.89/1247.39	c       181       229    411.12    130.38      3.15   1000000         0
1248.58/1249.02	c       238       344    433.71     99.23      4.37   1000000         0
1250.19/1250.65	c       198       453    411.99    121.31      3.40   1000000         0
1251.78/1252.28	c       182       301    422.53    119.25      3.54   1000000         0
1253.49/1253.91	c       188       463    417.92     96.35      4.34   1000000         0
1255.08/1255.56	c       189       493    439.36    130.44      3.37   1000000         0
1256.68/1257.19	c       214       324    436.29    104.28      4.18   1000000         0
1258.38/1258.83	c       200       424    421.08    106.82      3.94   1000000         0
1259.98/1260.45	c       218       347    412.60    120.38      3.43   1000000         0
1261.58/1262.08	c       183       358    411.69    106.93      3.85   1000000         0
1263.28/1263.71	c       199       422    427.06     93.65      4.56   1000000         0
1264.88/1265.35	c       220       427    432.71    105.63      4.10   1000000         0
1266.48/1266.97	c       144       378    393.08    106.58      3.69   1000000         0
1268.18/1268.60	c       221       298    426.13    101.59      4.19   1000000         0
1269.77/1270.22	c       173       261    407.37     96.12      4.24   1000000         0
1271.37/1271.85	c       202       361    430.64    106.62      4.04   1000000         0
1272.97/1273.49	c       167       436    426.65    109.15      3.91   1000000         0
1274.67/1275.11	c       213       389    410.55     81.38      5.04   1000000         0
1276.27/1276.74	c       200       454    408.86    121.12      3.38   1000000         0
1277.87/1278.37	c       212       347    426.58    105.53      4.04   1000000         0
1279.57/1280.01	c       198       381    421.68    119.41      3.53   1000000         0
1281.17/1281.63	c       209       396    418.32     92.88      4.50   1000000         0
1282.77/1283.26	c       204       482    410.36    102.30      4.01   1000000         0
1284.38/1284.89	c       209       396    424.24    108.33      3.92   1000000         0
1286.07/1286.52	c       192       387    408.97    111.17      3.68   1000000         0
1287.68/1288.15	c       232       285    423.64     99.74      4.25   1000000         0
1289.27/1289.77	c       177       437    420.81    110.31      3.81   1000000         0
1290.97/1291.41	c       175       361    419.64    107.83      3.89   1000000         0
1292.57/1293.04	c       206       333    423.79    112.93      3.75   1000000         0
1294.17/1294.66	c       162       397    402.13     98.05      4.10   1000000         0
1295.77/1296.29	c       214       407    419.11     93.24      4.49   1000000         0
1297.47/1297.92	c       185       486    433.56     95.64      4.53   1000000         0
1299.06/1299.55	c       187       399    415.06    105.35      3.94   1000000         0
1300.66/1301.18	c       184       404    416.52    120.32      3.46   1000000         0
1302.36/1302.81	c       182       320    411.91    119.59      3.44   1000000         0
1303.96/1304.44	c       244       403    428.11     93.60      4.57   1000000         0
1305.56/1306.07	c       144       335    405.33    107.38      3.77   1000000         0
1307.26/1307.71	c       221       388    435.46    105.81      4.12   1000000         0
1308.86/1309.35	c       208       272    432.69    111.86      3.87   1000000         0
1310.46/1310.97	c       169       350    410.44    101.22      4.06   1000000         0
1312.16/1312.61	c       167       441    432.46    108.11      4.00   1000000         0
1313.76/1314.24	c       183       422    417.36     91.78      4.55   1000000         0
1315.36/1315.87	c       184       532    420.61    102.33      4.11   1000000         0
1317.06/1317.50	c       227       349    433.65    110.91      3.91   1000000         0
1318.66/1319.13	c       235       403    417.50    110.13      3.79   1000000         0
1320.26/1320.77	c       216       422    436.75    124.77      3.50   1000000         0
1321.96/1322.40	c       180       327    432.57    112.47      3.85   1000000         0
1323.56/1324.02	c       175       313    407.65    110.39      3.69   1000000         0
1325.16/1325.64	c       196       413    400.43     93.11      4.30   1000000         0
1326.75/1327.27	c       156       332    421.90    110.10      3.83   1000000         0
1328.45/1328.91	c       212       399    429.07    100.20      4.28   1000000         0
1330.05/1330.54	c       230       383    427.74     87.66      4.88   1000000         0
1331.66/1332.17	c       188       303    417.03    127.18      3.28   1000000         0
1333.25/1333.79	c       186       372    408.84     94.40      4.33   1000000         0
1334.96/1335.42	c       163       485    430.92    135.53      3.18   1000000         0
1336.55/1337.05	c       212       383    411.77    103.50      3.98   1000000         0
1338.16/1338.68	c       181       380    413.12    107.72      3.83   1000000         0
1339.85/1340.32	c       203       291    425.63    110.35      3.86   1000000         0
1341.46/1341.95	c       201       416    415.08     92.28      4.50   1000000         0
1343.05/1343.57	c       180       430    409.68    115.55      3.55   1000000         0
1344.75/1345.20	c       220       370    432.07    112.03      3.86   1000000         0
1346.35/1346.85	c       234       430    442.55    145.69      3.04   1000000         0
1347.95/1348.48	c       209       435    432.22    107.62      4.02   1000000         0
1349.65/1350.10	c       181       335    396.78    108.04      3.67   1000000         0
1351.25/1351.73	c       180       485    421.99     97.47      4.33   1000000         0
1352.85/1353.37	c       196       341    418.22    101.20      4.13   1000000         0
1354.45/1354.99	c       181       421    400.94    117.38      3.42   1000000         0
1356.14/1356.63	c       219       482    430.84    106.57      4.04   1000000         0
1357.74/1358.25	c       193       412    400.66    108.68      3.69   1000000         0
1359.34/1359.89	c       210       323    417.79     93.44      4.47   1000000         0
1361.04/1361.52	c       206       465    428.64    119.75      3.58   1000000         0
1362.64/1363.16	c       182       505    419.93    107.56      3.90   1000000         0
1364.24/1364.78	c       204       428    418.10    113.54      3.68   1000000         0
1365.94/1366.41	c       219       370    416.98    126.24      3.30   1000000         0
1367.54/1368.04	c       205       315    414.27    109.31      3.79   1000000         0
1369.14/1369.67	c       193       493    422.88     93.17      4.54   1000000         0
1370.84/1371.30	c       197       483    433.52     98.78      4.39   1000000         0
1372.44/1372.94	c       220       369    421.89     98.50      4.28   1000000         0
1374.04/1374.56	c       162       396    408.35    113.12      3.61   1000000         0
1375.64/1376.19	c       194       433    418.40     90.41      4.63   1000000         0
1377.34/1377.82	c       200       332    425.68    112.69      3.78   1000000         0
1378.94/1379.45	c       180       449    424.34    112.25      3.78   1000000         0
1380.54/1381.09	c       188       367    426.99     93.12      4.59   1000000         0
1382.24/1382.72	c       228       368    413.94     93.93      4.41   1000000         0
1383.83/1384.35	c       219       361    425.49    121.54      3.50   1000000         0
1385.44/1385.97	c       211       499    411.88    103.15      3.99   1000000         0
1387.13/1387.60	c       233       387    432.51    102.61      4.22   1000000         0
1388.74/1389.23	c       170       544    429.12    113.39      3.78   1000000         0
1390.33/1390.86	c       177       436    420.56    109.40      3.84   1000000         0
1392.04/1392.50	c       191       386    413.40     99.67      4.15   1000000         0
1393.63/1394.12	c       213       361    410.34    109.31      3.75   1000000         0
1395.23/1395.74	c       128       485    417.84     92.70      4.51   1000000         0
1396.83/1397.37	c       191       536    418.18    100.70      4.15   1000000         0
1398.53/1399.01	c       228       412    442.71     99.70      4.44   1000000         0
1400.13/1400.64	c       213       428    415.26    103.18      4.02   1000000         0
1401.73/1402.28	c       188       458    420.19    114.23      3.68   1000000         0
1403.43/1403.93	c       219       309    435.30    101.55      4.29   1000000         0
1405.03/1405.55	c       220       519    411.45    102.80      4.00   1000000         0
1406.63/1407.17	c       230       471    407.55    107.72      3.78   1000000         0
1408.32/1408.80	c       187       445    419.10     94.21      4.45   1000000         0
1409.92/1410.44	c       206       380    426.89    120.84      3.53   1000000         0
1411.52/1412.06	c       191       382    410.22    110.61      3.71   1000000         0
1413.22/1413.70	c       195       412    429.05    121.39      3.53   1000000         0
1414.82/1415.32	c       183       405    418.44    121.17      3.45   1000000         0
1416.42/1416.95	c       201       310    416.29    104.26      3.99   1000000         0
1418.02/1418.58	c       198       214    416.09     97.31      4.28   1000000         0
1419.72/1420.22	c       213       425    448.71    101.54      4.42   1000000         0
1421.32/1421.85	c       168       454    408.46    102.00      4.00   1000000         0
1422.93/1423.48	c       202       319    422.90    121.28      3.49   1000000         0
1424.62/1425.12	c       217       369    428.43    100.40      4.27   1000000         0
1426.23/1426.75	c       205       347    416.55    110.04      3.79   1000000         0
1427.82/1428.38	c       218       430    437.86     99.76      4.39   1000000         0
1429.53/1430.01	c       214       419    411.84    102.87      4.00   1000000         0
1431.12/1431.64	c       218       383    431.43     99.84      4.32   1000000         0
1432.72/1433.28	c       218       265    434.24    114.15      3.80   1000000         0
1434.42/1434.91	c       234       448    422.00     89.87      4.70   1000000         0
1436.02/1436.54	c       206       386    421.15    116.51      3.61   1000000         0
1437.62/1438.17	c       199       374    410.48    107.30      3.83   1000000         0
1439.21/1439.79	c       202       342    403.73    108.70      3.71   1000000         0
1440.91/1441.42	c       225       372    419.69     99.61      4.21   1000000         0
1442.51/1443.05	c       207       464    430.77    100.71      4.28   1000000         0
1444.11/1444.69	c       200       336    418.96    124.68      3.36   1000000         0
1445.81/1446.31	c       188       392    412.05    121.38      3.39   1000000         0
1447.41/1447.94	c       210       341    415.71    106.66      3.90   1000000         0
1449.01/1449.56	c       142       462    389.75    108.68      3.59   1000000         0
1450.71/1451.20	c       210       310    428.75    104.50      4.10   1000000         0
1452.31/1452.82	c       188       374    413.87     94.70      4.37   1000000         0
1453.91/1454.44	c       214       483    404.56     92.33      4.38   1000000         0
1455.51/1456.07	c       234       336    432.20     99.98      4.32   1000000         0
1457.21/1457.70	c       226       402    409.81     90.29      4.54   1000000         0
1458.81/1459.32	c       153       426    420.06    101.02      4.16   1000000         0
1460.41/1460.95	c       189       415    413.32    111.66      3.70   1000000         0
1462.01/1462.58	c       185       375    425.08    102.28      4.16   1000000         0
1463.71/1464.21	c       186       482    425.16     98.71      4.31   1000000         0
1465.31/1465.85	c       182       562    427.42    116.68      3.66   1000000         0
1466.91/1467.47	c       187       373    414.29    117.62      3.52   1000000         0
1468.60/1469.10	c       180       346    409.15    120.28      3.40   1000000         0
1470.21/1470.73	c       203       363    415.43    138.31      3.00   1000000         0
1471.80/1472.37	c       240       371    429.15    104.62      4.10   1000000         0
1473.41/1473.99	c       216       450    417.57    109.36      3.82   1000000         0
1475.10/1475.62	c       205       420    403.92    103.55      3.90   1000000         0
1476.71/1477.24	c       187       357    408.95     93.14      4.39   1000000         0
1478.30/1478.86	c       209       415    400.58     89.85      4.46   1000000         0
1479.90/1480.49	c       208       418    414.34    100.93      4.11   1000000         0
1481.60/1482.11	c       201       454    414.77    127.55      3.25   1000000         0
1483.20/1483.74	c       205       440    417.83    119.70      3.49   1000000         0
1484.80/1485.37	c       159       567    412.26    130.50      3.16   1000000         0
1486.40/1486.99	c       171       493    408.01     99.56      4.10   1000000         0
1488.10/1488.62	c       217       498    418.04    106.07      3.94   1000000         0
1489.70/1490.24	c       210       344    412.65     97.12      4.25   1000000         0
1491.30/1491.87	c       191       362    402.99     91.94      4.38   1000000         0
1493.00/1493.51	c       213       320    428.02     99.28      4.31   1000000         0
1494.60/1495.14	c       219       410    421.88    102.33      4.12   1000000         0
1496.20/1496.76	c       185       399    395.36    106.42      3.72   1000000         0
1497.80/1498.39	c       209       447    416.39    109.48      3.80   1000000         0
1499.50/1500.01	c       206       287    410.92    100.77      4.08   1000000         0
1501.09/1501.63	c       139       374    394.53    110.12      3.58   1000000         0
1502.69/1503.26	c       231       415    422.50    111.04      3.81   1000000         0
1504.30/1504.89	c       196       547    420.52    117.32      3.58   1000000         0
1505.99/1506.52	c       213       296    421.67    115.11      3.66   1000000         0
1507.60/1508.14	c       208       388    411.82     89.18      4.62   1000000         0
1509.19/1509.78	c       144       527    429.66    105.05      4.09   1000000         0
1510.90/1511.41	c       185       410    415.88     99.57      4.18   1000000         0
1512.49/1513.04	c       204       454    409.99    110.59      3.71   1000000         0
1514.10/1514.68	c       236       431    443.63    102.31      4.34   1000000         0
1515.79/1516.31	c       204       371    429.52    129.50      3.32   1000000         0
1517.40/1517.94	c       223       368    437.32    106.86      4.09   1000000         0
1518.99/1519.58	c       175       450    422.74    117.09      3.61   1000000         0
1520.69/1521.21	c       219       296    429.20    107.17      4.00   1000000         0
1522.29/1522.85	c       226       429    428.70    118.79      3.61   1000000         0
1523.89/1524.48	c       203       482    424.23    101.26      4.19   1000000         0
1525.59/1526.11	c       183       395    419.42    117.35      3.57   1000000         0
1527.19/1527.74	c       219       339    432.68    115.08      3.76   1000000         0
1528.79/1529.38	c       208       410    440.65    125.37      3.51   1000000         0
1530.49/1531.01	c       162       547    418.89    107.95      3.88   1000000         0
1532.09/1532.65	c       204       455    423.49    128.32      3.30   1000000         0
1533.68/1534.28	c       194       403    431.67    106.55      4.05   1000000         0
1535.38/1535.91	c       214       344    412.55    104.44      3.95   1000000         0
1536.98/1537.54	c       223       362    427.55    112.19      3.81   1000000         0
1538.58/1539.17	c       193       315    411.31    103.75      3.96   1000000         0
1540.18/1540.79	c       201       462    400.99     99.58      4.03   1000000         0
1541.88/1542.43	c       205       431    423.27    108.78      3.89   1000000         0
1543.48/1544.06	c       179       301    436.22    111.12      3.93   1000000         0
1545.08/1545.69	c       213       417    425.93     95.09      4.48   1000000         0
1546.78/1547.32	c       168       383    416.02    110.05      3.78   1000000         0
1548.38/1548.94	c       172       443    410.12    104.14      3.94   1000000         0
1549.98/1550.57	c       192       335    408.04     89.44      4.56   1000000         0
1551.59/1552.19	c       199       419    407.51    108.17      3.77   1000000         0
1553.28/1553.81	c       167       505    398.80    101.13      3.94   1000000         0
1554.88/1555.44	c       203       381    429.80    115.32      3.73   1000000         0
1556.48/1557.08	c       223       323    443.51     98.63      4.50   1000000         0
1558.18/1558.72	c       213       459    433.19    128.58      3.37   1000000         0
1559.77/1560.35	c       213       400    411.51     90.70      4.54   1000000         0
1561.38/1561.97	c       197       410    416.62    104.02      4.01   1000000         0
1563.07/1563.60	c       210       274    416.27    111.53      3.73   1000000         0
1564.68/1565.22	c       232       421    428.30     99.95      4.29   1000000         0
1566.27/1566.84	c       184       373    420.97    107.13      3.93   1000000         0
1567.87/1568.48	c       203       399    442.24    101.51      4.36   1000000         0
1569.57/1570.10	c       139       492    398.04     90.40      4.40   1000000         0
1571.17/1571.74	c       198       442    432.39    111.60      3.87   1000000         0
1572.77/1573.37	c       145       308    412.98    109.40      3.78   1000000         0
1574.47/1575.00	c       188       447    422.09    107.88      3.91   1000000         0
1576.07/1576.64	c       197       323    437.32    104.24      4.20   1000000         0
1577.67/1578.27	c       133       469    422.31    109.56      3.85   1000000         0
1579.37/1579.90	c       195       295    418.35     96.23      4.35   1000000         0
1580.97/1581.54	c       198       399    435.35    122.04      3.57   1000000         0
1582.57/1583.18	c       225       412    426.56    104.87      4.07   1000000         0
1584.27/1584.82	c       234       306    437.95    114.65      3.82   1000000         0
1585.87/1586.45	c       183       315    424.83    116.37      3.65   1000000         0
1587.47/1588.07	c       152       444    407.97     89.81      4.54   1000000         0
1589.17/1589.70	c       195       284    430.95    112.58      3.83   1000000         0
1590.76/1591.33	c       189       324    418.40    111.46      3.75   1000000         0
1592.36/1592.96	c       158       366    416.07    103.03      4.04   1000000         0
1594.06/1594.61	c       207       406    432.90    105.70      4.10   1000000         0
1595.66/1596.24	c       201       527    432.04    102.60      4.21   1000000         0
1597.26/1597.88	c       200       335    434.37     95.21      4.56   1000000         0
1598.96/1599.51	c       221       467    417.26    113.70      3.67   1000000         0
1600.56/1601.14	c       201       345    428.03    112.31      3.81   1000000         0
1602.17/1602.78	c       215       497    438.26    104.16      4.21   1000000         0
1603.86/1604.40	c       183       449    408.73     98.40      4.15   1000000         0
1605.47/1606.04	c       209       436    420.85     88.32      4.77   1000000         0
1607.06/1607.66	c       191       243    413.05    107.54      3.84   1000000         0
1608.67/1609.29	c       194       346    425.65    103.46      4.11   1000000         0
1610.36/1610.92	c       188       307    424.41    103.09      4.12   1000000         0
1611.96/1612.54	c       182       387    417.49    122.43      3.41   1000000         0
1613.56/1614.16	c       161       438    404.01    111.49      3.62   1000000         0
1615.26/1615.80	c       205       518    438.94     96.60      4.54   1000000         0
1616.86/1617.43	c       183       377    419.34    121.20      3.46   1000000         0
1618.46/1619.06	c       157       476    409.95    111.69      3.67   1000000         0
1620.16/1620.70	c       206       388    434.21     96.12      4.52   1000000         0
1621.75/1622.33	c       168       416    421.38     97.24      4.33   1000000         0
1623.35/1623.96	c       179       415    415.91    115.03      3.62   1000000         0
1625.05/1625.60	c       190       417    427.54    116.08      3.68   1000000         0
1626.65/1627.23	c       236       404    426.66     91.83      4.65   1000000         0
1628.25/1628.84	c       153       396    400.05     96.54      4.14   1000000         0
1629.85/1630.47	c       189       240    429.64    113.23      3.79   1000000         0
1631.45/1632.09	c       195       348    403.22     98.05      4.11   1000000         0
1633.15/1633.72	c       231       442    427.49    102.68      4.16   1000000         0
1634.75/1635.36	c       214       477    425.60    127.54      3.34   1000000         0
1636.35/1636.99	c       193       366    411.15    109.67      3.75   1000000         0
1638.05/1638.62	c       215       323    417.45     84.18      4.96   1000000         0
1639.65/1640.24	c       217       419    411.98    105.17      3.92   1000000         0
1641.25/1641.89	c       218       435    436.86     94.62      4.62   1000000         0
1642.95/1643.51	c       191       425    404.59    103.99      3.89   1000000         0
1644.55/1645.15	c       232       534    444.42    116.87      3.80   1000000         0
1646.15/1646.79	c       198       362    438.28    130.13      3.37   1000000         0
1647.85/1648.43	c       190       440    437.28    117.52      3.72   1000000         0
1649.45/1650.05	c       197       334    407.99    108.23      3.77   1000000         0
1651.04/1651.68	c       183       364    402.38     92.58      4.35   1000000         0
1652.65/1653.30	c       114       469    406.02    110.42      3.68   1000000         0
1654.34/1654.93	c       178       375    414.41    103.98      3.99   1000000         0
1655.95/1656.55	c       180       408    415.26    124.16      3.34   1000000         0
1657.54/1658.19	c       191       355    413.70    113.33      3.65   1000000         0
1659.25/1659.81	c       199       347    418.16    103.15      4.05   1000000         0
1660.84/1661.44	c       220       480    405.73     86.63      4.68   1000000         0
1662.44/1663.06	c       193       518    414.05     91.11      4.54   1000000         0
1664.04/1664.69	c       162       408    411.37    110.86      3.71   1000000         0
1665.74/1666.32	c       175       341    422.47    114.42      3.69   1000000         0
1667.34/1667.96	c       245       416    456.43    118.40      3.86   1000000         0
1668.94/1669.59	c       183       385    412.48    106.49      3.87   1000000         0
1670.64/1671.22	c       184       361    418.54     97.13      4.31   1000000         0
1672.24/1672.85	c       176       443    411.48    118.63      3.47   1000000         0
1673.84/1674.48	c       157       280    407.10    108.99      3.74   1000000         0
1675.54/1676.12	c       207       403    437.35    108.99      4.01   1000000         0
1677.14/1677.76	c       209       334    431.90     98.46      4.39   1000000         0
1678.74/1679.39	c       235       415    439.80    108.74      4.04   1000000         0
1680.44/1681.03	c       218       387    433.51    122.56      3.54   1000000         0
1682.03/1682.67	c       213       322    430.43    116.20      3.70   1000000         0
1683.63/1684.29	c       220       300    417.94    113.05      3.70   1000000         0
1685.33/1685.93	c       214       423    426.02    101.28      4.21   1000000         0
1686.93/1687.56	c       207       407    414.25    108.61      3.81   1000000         0
1688.53/1689.18	c       176       433    411.84    106.90      3.85   1000000         0
1690.23/1690.82	c       190       384    418.66    114.47      3.66   1000000         0
1691.83/1692.44	c       239       452    419.91     92.00      4.56   1000000         0
1693.44/1694.08	c       198       366    441.06    110.47      3.99   1000000         0
1695.13/1695.72	c       211       389    425.03    112.73      3.77   1000000         0
1696.74/1697.34	c       178       476    427.23    104.56      4.09   1000000         0
1698.33/1698.98	c       169       342    432.46    107.94      4.01   1000000         0
1700.04/1700.62	c       217       405    441.64    118.79      3.72   1000000         0
1701.63/1702.25	c       191       229    422.17    102.02      4.14   1000000         0
1703.24/1703.87	c       176       530    410.29    112.62      3.64   1000000         0
1704.93/1705.50	c       219       422    423.50     79.85      5.30   1000000         0
1706.53/1707.12	c       169       292    398.26     91.78      4.34   1000000         0
1708.13/1708.74	c       179       476    423.08     99.00      4.27   1000000         0
1709.72/1710.38	c       193       384    429.36    120.78      3.55   1000000         0
1711.42/1712.00	c       209       496    422.92    103.49      4.09   1000000         0
1713.02/1713.64	c       232       439    436.10    101.93      4.28   1000000         0
1714.62/1715.27	c       222       351    423.05    101.40      4.17   1000000         0
1716.32/1716.90	c       196       282    416.10     91.04      4.57   1000000         0
1717.92/1718.53	c       179       533    408.29    116.08      3.52   1000000         0
1719.52/1720.16	c       166       437    429.02    110.56      3.88   1000000         0
1721.12/1721.79	c       178       392    422.39     90.70      4.66   1000000         0
1722.82/1723.42	c       195       447    407.54    108.29      3.76   1000000         0
1724.42/1725.05	c       189       196    432.90    115.78      3.74   1000000         0
1726.02/1726.68	c       157       477    426.12    108.10      3.94   1000000         0
1727.72/1728.31	c       143       496    416.90    115.56      3.61   1000000         0
1729.32/1729.95	c       242       373    436.84    107.05      4.08   1000000         0
1730.92/1731.58	c       204       305    428.51    101.88      4.21   1000000         0
1732.62/1733.22	c       168       433    422.20    114.68      3.68   1000000         0
1734.22/1734.85	c       200       384    420.39    111.67      3.76   1000000         0
1735.82/1736.48	c       165       356    422.54     94.86      4.45   1000000         0
1737.51/1738.11	c       207       450    431.78     97.12      4.45   1000000         0
1739.11/1739.73	c       198       395    409.35    124.35      3.29   1000000         0
1740.72/1741.36	c       199       345    411.73    120.82      3.41   1000000         0
1742.41/1743.00	c       180       392    437.74    111.81      3.92   1000000         0
1744.02/1744.63	c       134       151    421.99    102.61      4.11   1000000         0
1745.61/1746.26	c       195       379    422.26    103.51      4.08   1000000         0
1747.22/1747.90	c       228       527    435.57    110.85      3.93   1000000         0
1748.91/1749.52	c       183       445    419.03     80.15      5.23   1000000         0
1750.52/1751.16	c       187       407    423.99    108.17      3.92   1000000         0
1752.11/1752.79	c       190       508    419.82    111.64      3.76   1000000         0
1753.82/1754.44	c       229       514    446.23    125.41      3.56   1000000         0
1755.41/1756.07	c       205       354    417.71    115.09      3.63   1000000         0
1757.01/1757.70	c       161       297    418.93    100.81      4.16   1000000         0
1758.71/1759.33	c       221       293    427.32    100.33      4.26   1000000         0
1760.31/1760.97	c       219       430    420.12    102.36      4.10   1000000         0
1761.91/1762.59	c       197       405    426.20     93.90      4.54   1000000         0
1763.61/1764.23	c       224       365    434.22    104.92      4.14   1000000         0
1765.21/1765.87	c       169       344    429.51    116.12      3.70   1000000         0
1766.81/1767.49	c       219       412    420.54    102.73      4.09   1000000         0
1768.50/1769.12	c       230       384    439.89    100.03      4.40   1000000         0
1770.10/1770.76	c       191       446    420.44    124.01      3.39   1000000         0
1771.70/1772.39	c       205       407    434.80    104.99      4.14   1000000         0
1773.40/1774.02	c       189       380    419.68    139.55      3.01   1000000         0
1775.00/1775.65	c       221       441    421.43    109.32      3.85   1000000         0
1776.60/1777.28	c       215       381    428.34     90.63      4.73   1000000         0
1778.30/1778.91	c       179       458    428.70    123.20      3.48   1000000         0
1779.90/1780.55	c       193       415    429.28    101.85      4.21   1000000         0
1781.50/1782.17	c       187       406    400.99    105.80      3.79   1000000         0
1783.20/1783.81	c       207       410    423.25    108.87      3.89   1000000         0
1784.80/1785.43	c       197       522    419.55    102.85      4.08   1000000         0
1786.40/1787.07	c       209       448    420.59    131.09      3.21   1000000         0
1788.10/1788.71	c       198       413    445.61    100.33      4.44   1000000         0
1789.70/1790.34	c       218       314    428.14    115.79      3.70   1000000         0
1791.30/1791.97	c       183       210    425.29     96.07      4.43   1000000         0
1793.00/1793.61	c       231       481    425.53    113.42      3.75   1000000         0
1794.60/1795.23	c       178       448    422.32    113.40      3.72   1000000         0
1796.20/1796.87	c       193       375    428.98    117.24      3.66   1000000         0
1797.80/1798.49	c       192       268    406.14    106.32      3.82   1000000         0
1799.49/1800.12	c       198       323    426.88     99.37      4.30   1000000         0
1800.01/1800.61	HOME/run: line 2: 19924 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-2685336-1278440592/watcher-2685336-1278440592 -o /tmp/evaluation-result-2685336-1278440592/solver-2685336-1278440592 -C 1800 -W 2000 -M 1800 run HOME/instance-2685336-1278440592.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: 0.86 0.95 1.00 3/106 19923
/proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0

[startup+0.0354779 s]
/proc/loadavg: 0.86 0.95 1.00 3/106 19923
/proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101488 s]
/proc/loadavg: 0.86 0.95 1.00 3/106 19923
/proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301523 s]
/proc/loadavg: 0.86 0.95 1.00 3/106 19923
/proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700593 s]
/proc/loadavg: 0.86 0.95 1.00 3/106 19923
/proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50073 s]
/proc/loadavg: 0.86 0.95 1.00 2/108 19925
/proc/meminfo: memFree=1836312/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1.49
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1572 0 0 0 149 0 0 0 25 0 1 0 12266282 41422848 1502 1992294400 134512640 135071400 4287674768 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1502 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10101 s]
/proc/loadavg: 0.86 0.95 1.00 2/108 19925
/proc/meminfo: memFree=1836064/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=3.09
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 309 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30057 s]
/proc/loadavg: 0.87 0.95 1.00 2/108 19926
/proc/meminfo: memFree=1836064/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=6.28
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 628 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7007 s]
/proc/loadavg: 0.88 0.95 1.00 2/108 19926
/proc/meminfo: memFree=1835940/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=12.68
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 1268 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5019 s]
/proc/loadavg: 0.91 0.95 1.00 2/108 19926
/proc/meminfo: memFree=1835940/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=25.48
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 2548 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1013 s]
/proc/loadavg: 0.94 0.96 1.00 2/108 19927
/proc/meminfo: memFree=1835940/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=51.07
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 5107 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 0.97 0.96 1.00 2/108 19928
/proc/meminfo: memFree=1835816/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=102.26
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 10226 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134571231 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19930
/proc/meminfo: memFree=1835816/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=162.23
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 16223 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19931
/proc/meminfo: memFree=1835816/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=222.22
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 22221 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19933
/proc/meminfo: memFree=1835692/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=282.2
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 28219 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19935
/proc/meminfo: memFree=1835568/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=342.18
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 34217 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19936
/proc/meminfo: memFree=1835444/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=402.16
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 40215 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 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/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1061.94
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 106193 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19955
/proc/meminfo: memFree=1834204/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1121.92
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 112191 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526631 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19957
/proc/meminfo: memFree=1834080/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1181.9
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 118189 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19959
/proc/meminfo: memFree=1833832/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1241.88
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 124186 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134572043 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19960
/proc/meminfo: memFree=1833708/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1301.87
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 130185 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19962
/proc/meminfo: memFree=1833708/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1361.84
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 136182 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19963
/proc/meminfo: memFree=1833584/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1421.83
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 142181 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19965
/proc/meminfo: memFree=1833336/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1481.8
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 148178 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19967
/proc/meminfo: memFree=1833336/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1541.78
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 154176 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19968
/proc/meminfo: memFree=1833212/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1601.76
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 160174 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19970
/proc/meminfo: memFree=1833088/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1661.74
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 166172 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19971
/proc/meminfo: memFree=1833088/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1721.72
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 172170 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526441 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19973
/proc/meminfo: memFree=1832716/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1781.7
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 178168 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 19973
/proc/meminfo: memFree=1832716/2059040 swapFree=4164944/4192956
[pid=19923] ppid=19921 vsize=8700 CPUtime=0
/proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19923/statm: 2175 243 204 178 0 68 0
[pid=19924] ppid=19923 vsize=40452 CPUtime=1800.01
/proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 179999 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19924/statm: 10113 1511 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.01
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.03
CPU user time (s): 1800
CPU system time (s): 0.029995
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.76258 second user time and 8.77966 second system time

The end

Begin job on node048 at 2010-07-06 20:23:12
IDJOB=2685336
IDBENCH=75563
IDSOLVER=1171
FILE ID=node048/2685336-1278440592
PBS_JOBID= 11233477
Free space on /tmp= 62564 MiB

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

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

MD5SUM BENCH= f58343ead1669876e251a6e73da29992
RANDOM SEED=349192877

node048.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.262
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.52
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.262
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1842924 kB
Buffers:          2284 kB
Cached:         106828 kB
SwapCached:       7628 kB
Active:          21084 kB
Inactive:       127868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1842924 kB
SwapTotal:     4192956 kB
SwapFree:      4164944 kB
Dirty:            2596 kB
Writeback:           0 kB
AnonPages:       32088 kB
Mapped:          13684 kB
Slab:            45260 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180096 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= 62564 MiB
End job on node048 at 2010-07-06 20:53:13