Trace number 2669887

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-wave alpha 2? (TO) 1800.06 1800.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
MD5SUMd796017ccd28821dde70ee2d87448ada
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.479926
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables9051
Total number of constraints25833
Number of constraints which are clauses24941
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints892
Minimum length of a constraint1
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c PB-wave - v2
0.00/0.06	c command line = ./PB-wave
0.00/0.06	c seed = 106500352
0.00/0.06	c cutoff = 1000000
0.00/0.06	c tries = 1000000
0.00/0.06	c heuristic = c best, noise 50 / 100
0.00/0.06	#var 9051 #con 25833
0.00/0.06	mode is SAT
0.00/0.06	c tail starts after flip = 27153
0.00/0.06	c numatom = 9051, numclause = 25833, numliterals = 67273
0.00/0.06	c wff read in
0.00/0.06	c 
0.00/0.06	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.06	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.06	c       this      this      this      this      this      this   success   success       until         std
0.00/0.06	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.06	c
1.69/1.70	c       315       481    459.74     81.05      5.67   1000000         0
3.30/3.33	c       324       398    481.58     89.93      5.36   1000000         0
4.89/4.96	c       315       456    475.59     96.79      4.91   1000000         0
6.49/6.59	c       334       447    493.93     80.74      6.12   1000000         0
8.19/8.21	c       332       485    480.82     69.08      6.96   1000000         0
9.79/9.84	c       329       534    484.51     69.90      6.93   1000000         0
11.39/11.48	c       305       399    471.86     87.90      5.37   1000000         0
13.09/13.11	c       312       421    467.85     95.57      4.90   1000000         0
14.69/14.73	c       302       479    490.80     91.29      5.38   1000000         0
16.29/16.36	c       356       437    496.43     82.00      6.05   1000000         0
17.89/17.99	c       304       528    493.13     81.90      6.02   1000000         0
19.59/19.62	c       312       429    479.11     84.80      5.65   1000000         0
21.19/21.25	c       349       477    489.65     87.06      5.62   1000000         0
22.79/22.88	c       337       444    478.44     82.16      5.82   1000000         0
24.48/24.52	c       334       473    486.28     88.83      5.47   1000000         0
26.08/26.14	c       328       411    489.24     90.28      5.42   1000000         0
27.68/27.78	c       334       409    492.35     88.49      5.56   1000000         0
29.38/29.40	c       322       419    496.97     92.35      5.38   1000000         0
30.98/31.03	c       323       482    484.78     80.51      6.02   1000000         0
32.58/32.66	c       325       443    486.07     79.25      6.13   1000000         0
34.19/34.29	c       325       453    486.88     83.45      5.83   1000000         0
35.88/35.92	c       344       475    497.81     83.55      5.96   1000000         0
37.49/37.55	c       325       459    483.27     82.34      5.87   1000000         0
39.08/39.19	c       306       458    483.28     88.06      5.49   1000000         0
40.79/40.82	c       301       423    486.25     85.81      5.67   1000000         0
42.38/42.45	c       343       460    490.07     86.99      5.63   1000000         0
43.99/44.08	c       339       488    496.77     96.13      5.17   1000000         0
45.68/45.71	c       330       439    494.34     93.65      5.28   1000000         0
47.29/47.34	c       344       485    487.66     72.48      6.73   1000000         0
48.88/48.97	c       324       478    491.22     88.09      5.58   1000000         0
50.48/50.59	c       339       533    487.69     79.15      6.16   1000000         0
52.18/52.22	c       338       544    497.23     79.84      6.23   1000000         0
53.78/53.84	c       312       416    491.03     99.16      4.95   1000000         0
55.38/55.46	c       329       420    480.14     87.42      5.49   1000000         0
56.98/57.09	c       334       460    486.78     85.28      5.71   1000000         0
58.68/58.72	c       332       493    482.88     92.38      5.23   1000000         0
60.28/60.34	c       327       410    486.15     89.78      5.41   1000000         0
61.88/61.97	c       298       371    477.06     92.08      5.18   1000000         0
63.58/63.60	c       308       459    473.29     88.05      5.38   1000000         0
65.18/65.23	c       326       457    488.64     81.45      6.00   1000000         0
66.77/66.86	c       288       497    476.32     79.59      5.98   1000000         0
68.47/68.50	c       301       480    473.92     86.20      5.50   1000000         0
70.07/70.14	c       346       501    498.78     86.53      5.76   1000000         0
71.67/71.77	c       344       419    484.34     76.24      6.35   1000000         0
73.37/73.41	c       309       490    483.38     76.80      6.29   1000000         0
74.97/75.03	c       317       465    480.00     83.51      5.75   1000000         0
76.57/76.66	c       315       423    501.44     86.32      5.81   1000000         0
78.18/78.29	c       344       435    494.15     79.85      6.19   1000000         0
79.87/79.93	c       291       422    485.58     87.54      5.55   1000000         0
81.48/81.55	c       324       496    488.15     99.70      4.90   1000000         0
83.07/83.19	c       338       398    497.87     86.75      5.74   1000000         0
84.78/84.81	c       325       436    484.13     84.36      5.74   1000000         0
86.37/86.44	c       338       433    490.63     88.14      5.57   1000000         0
87.98/88.07	c       312       444    470.01     94.85      4.96   1000000         0
89.67/89.70	c       316       459    490.18     83.04      5.90   1000000         0
91.28/91.32	c       326       453    496.66     84.06      5.91   1000000         0
92.87/92.95	c       302       455    468.17     90.92      5.15   1000000         0
94.47/94.58	c       318       520    479.67     81.64      5.88   1000000         0
96.17/96.20	c       329       451    474.49     83.25      5.70   1000000         0
97.77/97.84	c       315       456    481.10     84.21      5.71   1000000         0
99.37/99.48	c       347       443    509.83     75.50      6.75   1000000         0
101.07/101.10	c       321       424    470.13     89.12      5.28   1000000         0
102.67/102.74	c       312       524    490.14     74.53      6.58   1000000         0
104.26/104.38	c       336       398    478.43     91.23      5.24   1000000         0
105.96/106.01	c       321       473    490.08     79.35      6.18   1000000         0
107.56/107.64	c       334       440    505.46     92.91      5.44   1000000         0
109.16/109.26	c       337       488    481.37     72.58      6.63   1000000         0
110.86/110.90	c       313       493    486.44    109.03      4.46   1000000         0
112.46/112.54	c       319       544    476.49    100.37      4.75   1000000         0
114.06/114.17	c       316       460    485.07     86.55      5.60   1000000         0
115.66/115.79	c       358       488    499.37     73.22      6.82   1000000         0
117.36/117.43	c       314       432    478.58     95.42      5.02   1000000         0
118.96/119.06	c       319       450    490.36     95.56      5.13   1000000         0
120.56/120.69	c       343       501    490.09     80.36      6.10   1000000         0
122.26/122.32	c       330       399    491.10     88.00      5.58   1000000         0
123.86/123.95	c       325       456    498.37     86.83      5.74   1000000         0
125.47/125.58	c       315       458    487.59    102.70      4.75   1000000         0
127.16/127.21	c       278       451    472.15     79.92      5.91   1000000         0
128.77/128.85	c       326       461    482.23     80.26      6.01   1000000         0
130.36/130.47	c       330       440    484.33     89.32      5.42   1000000         0
132.06/132.10	c       286       377    482.32     84.99      5.68   1000000         0
133.66/133.73	c       343       393    501.11     97.38      5.15   1000000         0
135.26/135.36	c       338       471    497.54     86.26      5.77   1000000         0
136.86/136.99	c       298       456    484.63     94.15      5.15   1000000         0
138.56/138.63	c       346       479    488.92     82.51      5.93   1000000         0
140.16/140.25	c       320       471    492.28     88.72      5.55   1000000         0
141.76/141.88	c       324       429    486.13     93.81      5.18   1000000         0
143.46/143.51	c       326       433    488.30     79.03      6.18   1000000         0
145.05/145.15	c       307       466    479.30    100.60      4.76   1000000         0
146.65/146.78	c       332       495    503.91     96.25      5.24   1000000         0
148.35/148.42	c       338       413    472.23     80.74      5.85   1000000         0
149.95/150.06	c       320       430    492.12     93.03      5.29   1000000         0
151.55/151.69	c       328       497    488.37     72.72      6.72   1000000         0
153.25/153.31	c       305       473    476.02     86.43      5.51   1000000         0
154.85/154.96	c       327       491    489.35     83.25      5.88   1000000         0
156.45/156.58	c       327       433    484.84     81.79      5.93   1000000         0
158.15/158.21	c       344       478    490.93     89.53      5.48   1000000         0
159.75/159.82	c       342       444    502.05     87.43      5.74   1000000         0
161.35/161.45	c       326       473    480.92     90.98      5.29   1000000         0
162.95/163.09	c       340       423    487.61     97.96      4.98   1000000         0
164.65/164.73	c       326       456    493.53     82.99      5.95   1000000         0
166.25/166.36	c       337       480    502.80     87.46      5.75   1000000         0
167.95/168.00	c       324       473    494.51     80.67      6.13   1000000         0
169.55/169.63	c       287       397    469.57     79.57      5.90   1000000         0
171.15/171.27	c       346       436    486.90     69.53      7.00   1000000         0
172.85/172.91	c       335       469    479.11     97.73      4.90   1000000         0
174.45/174.55	c       307       436    480.77     85.31      5.64   1000000         0
176.05/176.18	c       330       461    487.19     86.24      5.65   1000000         0
177.75/177.82	c       346       429    491.69     90.93      5.41   1000000         0
179.35/179.45	c       322       490    495.89     86.28      5.75   1000000         0
180.94/181.08	c       314       508    483.89     92.38      5.24   1000000         0
182.55/182.70	c       340       412    499.89     84.49      5.92   1000000         0
184.24/184.33	c       319       475    480.49     81.69      5.88   1000000         0
185.85/185.97	c       320       383    474.16     78.31      6.05   1000000         0
187.54/187.61	c       305       441    494.87     92.68      5.34   1000000         0
189.15/189.24	c       336       469    479.86     71.45      6.72   1000000         0
190.74/190.88	c       342       409    491.48     91.14      5.39   1000000         0
192.45/192.50	c       360       477    504.44     81.42      6.20   1000000         0
194.04/194.14	c       297       404    473.59     82.84      5.72   1000000         0
195.64/195.78	c       331       465    493.22    100.92      4.89   1000000         0
197.34/197.41	c       313       506    478.95     86.33      5.55   1000000         0
198.94/199.04	c       330       519    503.12     93.82      5.36   1000000         0
200.54/200.67	c       324       431    489.04     99.56      4.91   1000000         0
202.24/202.31	c       304       387    463.64     85.92      5.40   1000000         0
203.84/203.94	c       280       487    480.90     98.66      4.87   1000000         0
205.44/205.57	c       323       478    482.60     98.01      4.92   1000000         0
207.14/207.20	c       287       446    478.19     93.97      5.09   1000000         0
208.74/208.84	c       337       396    491.83     94.35      5.21   1000000         0
210.34/210.47	c       340       453    497.55     93.55      5.32   1000000         0
212.04/212.10	c       360       410    496.94     77.93      6.38   1000000         0
213.64/213.72	c       338       434    499.29     78.51      6.36   1000000         0
215.24/215.37	c       363       454    504.85     89.89      5.62   1000000         0
216.94/217.00	c       305       414    477.54     87.40      5.46   1000000         0
218.53/218.62	c       320       385    485.08     92.48      5.25   1000000         0
220.14/220.25	c       322       467    471.89     81.07      5.82   1000000         0
221.83/221.90	c       312       500    470.31     94.76      4.96   1000000         0
223.43/223.53	c       317       360    481.53     93.19      5.17   1000000         0
225.03/225.17	c       303       387    466.98     93.92      4.97   1000000         0
226.73/226.82	c       309       409    476.82     87.86      5.43   1000000         0
228.33/228.45	c       328       472    478.64     71.20      6.72   1000000         0
229.94/230.07	c       333       505    484.65     83.28      5.82   1000000         0
231.63/231.70	c       341       496    496.49     79.62      6.24   1000000         0
233.24/233.33	c       333       521    492.43     80.93      6.08   1000000         0
234.83/234.98	c       327       475    479.05     85.56      5.60   1000000         0
236.44/236.60	c       308       455    495.75     88.61      5.59   1000000         0
238.13/238.24	c       340       378    495.02     83.80      5.91   1000000         0
239.74/239.87	c       336       461    484.75     89.74      5.40   1000000         0
241.43/241.51	c       335       446    484.66     75.72      6.40   1000000         0
243.04/243.14	c       336       447    498.63     88.90      5.61   1000000         0
244.63/244.78	c       318       516    486.02     79.54      6.11   1000000         0
246.33/246.40	c       338       434    482.44     87.11      5.54   1000000         0
247.93/248.04	c       324       460    486.79     92.01      5.29   1000000         0
249.53/249.68	c       337       460    483.55     78.00      6.20   1000000         0
251.23/251.32	c       339       512    491.06     91.39      5.37   1000000         0
252.83/252.94	c       315       502    469.23     90.62      5.18   1000000         0
254.43/254.56	c       345       383    491.14     88.27      5.56   1000000         0
256.03/256.18	c       344       428    501.77     89.71      5.59   1000000         0
257.72/257.81	c       319       453    481.45     87.78      5.48   1000000         0
259.32/259.43	c       343       467    498.41     89.99      5.54   1000000         0
260.92/261.07	c       315       427    476.45     73.50      6.48   1000000         0
262.62/262.71	c       325       412    473.20     93.38      5.07   1000000         0
264.22/264.34	c       329       523    486.42     87.08      5.59   1000000         0
265.82/265.98	c       308       460    474.71     89.13      5.33   1000000         0
267.52/267.60	c       315       534    485.78     85.88      5.66   1000000         0
269.12/269.23	c       306       427    486.59     89.96      5.41   1000000         0
270.72/270.85	c       335       492    489.47     86.63      5.65   1000000         0
272.32/272.48	c       319       406    482.24     83.70      5.76   1000000         0
274.02/274.11	c       315       441    481.40     84.13      5.72   1000000         0
275.62/275.74	c       338       439    496.30     83.20      5.96   1000000         0
277.23/277.37	c       339       510    489.00     88.38      5.53   1000000         0
278.82/278.99	c       322       469    469.69     91.26      5.15   1000000         0
280.53/280.63	c       316       427    493.46     79.98      6.17   1000000         0
282.12/282.27	c       311       499    481.51     77.20      6.24   1000000         0
283.73/283.90	c       332       436    488.26     84.79      5.76   1000000         0
285.42/285.53	c       330       365    494.24     88.92      5.56   1000000         0
287.03/287.15	c       342       489    494.48     85.57      5.78   1000000         0
288.62/288.78	c       351       502    498.30     86.02      5.79   1000000         0
290.32/290.40	c       327       419    476.60     81.33      5.86   1000000         0
291.92/292.02	c       311       551    474.56     86.49      5.49   1000000         0
293.52/293.65	c       344       477    498.97     93.45      5.34   1000000         0
295.12/295.29	c       349       443    482.18     82.16      5.87   1000000         0
296.82/296.92	c       311       427    467.29     88.67      5.27   1000000         0
298.41/298.56	c       302       472    476.37     87.83      5.42   1000000         0
300.01/300.19	c       305       446    485.63     91.37      5.31   1000000         0
301.71/301.83	c       315       439    485.76     96.31      5.04   1000000         0
303.31/303.47	c       315       498    478.30     93.64      5.11   1000000         0
305.01/305.10	c       347       451    503.38     82.69      6.09   1000000         0
306.61/306.73	c       326       431    482.46     89.83      5.37   1000000         0
308.21/308.35	c       347       390    502.27     85.20      5.90   1000000         0
309.81/309.98	c       353       430    496.59     69.50      7.14   1000000         0
311.51/311.62	c       318       443    485.90     97.21      5.00   1000000         0
313.11/313.25	c       343       430    504.28     93.21      5.41   1000000         0
314.71/314.88	c       290       420    486.24     86.02      5.65   1000000         0
316.41/316.51	c       341       448    486.84     91.87      5.30   1000000         0
318.01/318.13	c       328       480    487.37     90.88      5.36   1000000         0
319.61/319.76	c       317       434    479.57     93.51      5.13   1000000         0
321.22/321.38	c       300       420    470.41     77.24      6.09   1000000         0
322.91/323.01	c       316       479    469.62     81.39      5.77   1000000         0
324.52/324.64	c       328       480    484.77     87.72      5.53   1000000         0
326.11/326.27	c       331       439    480.57     94.21      5.10   1000000         0
327.72/327.90	c       329       416    481.12     88.40      5.44   1000000         0
329.41/329.54	c       322       479    472.72     86.32      5.48   1000000         0
331.01/331.18	c       306       410    471.17     83.53      5.64   1000000         0
332.71/332.82	c       299       515    484.36     99.23      4.88   1000000         0
334.31/334.45	c       333       460    492.48    100.93      4.88   1000000         0
335.91/336.08	c       337       426    486.03     85.42      5.69   1000000         0
337.61/337.72	c       321       494    475.01     79.05      6.01   1000000         0
339.21/339.36	c       301       460    480.19     84.82      5.66   1000000         0
340.80/340.99	c       349       453    485.29     87.86      5.52   1000000         0
342.50/342.61	c       324       394    491.14     99.12      4.96   1000000         0
344.10/344.25	c       337       434    497.60     93.48      5.32   1000000         0
345.70/345.88	c       321       456    478.39     88.88      5.38   1000000         0
347.40/347.51	c       329       480    487.00     87.88      5.54   1000000         0
349.00/349.15	c       291       505    468.30     94.04      4.98   1000000         0
350.60/350.78	c       323       508    473.38     81.04      5.84   1000000         0
352.30/352.40	c       332       491    479.74     75.15      6.38   1000000         0
353.90/354.04	c       320       526    486.38     97.20      5.00   1000000         0
355.50/355.69	c       309       433    472.03     88.97      5.31   1000000         0
357.20/357.30	c       332       445    484.22     83.85      5.77   1000000         0
358.80/358.93	c       336       488    485.97     81.32      5.98   1000000         0
360.40/360.56	c       328       397    487.55     89.99      5.42   1000000         0
362.00/362.18	c       350       481    501.75     84.87      5.91   1000000         0
363.70/363.80	c       342       397    492.43     83.70      5.88   1000000         0
365.30/365.43	c       338       471    488.39     89.42      5.46   1000000         0
366.90/367.05	c       310       432    475.58     93.29      5.10   1000000         0
368.50/368.68	c       334       456    484.91     80.70      6.01   1000000         0
370.20/370.30	c       326       479    476.39     83.36      5.71   1000000         0
371.80/371.95	c       322       482    469.57     91.40      5.14   1000000         0
373.40/373.58	c       330       425    487.96     93.62      5.21   1000000         0
375.10/375.21	c       329       488    495.70     89.46      5.54   1000000         0
376.70/376.86	c       323       474    482.26     82.25      5.86   1000000         0
378.30/378.49	c       326       529    492.76     71.58      6.88   1000000         0
380.00/380.12	c       345       453    483.35     91.66      5.27   1000000         0
381.60/381.75	c       302       376    477.42     93.10      5.13   1000000         0
383.19/383.37	c       302       388    490.22     91.55      5.35   1000000         0
384.90/385.01	c       329       394    473.70     86.79      5.46   1000000         0
386.49/386.65	c       308       402    481.19     95.05      5.06   1000000         0
388.09/388.29	c       315       404    468.76     90.01      5.21   1000000         0
389.79/389.91	c       345       511    503.56     91.40      5.51   1000000         0
391.39/391.54	c       331       516    482.44     83.48      5.78   1000000         0
392.99/393.16	c       345       385    497.79     78.04      6.38   1000000         0
394.59/394.79	c       343       434    497.86    100.45      4.96   1000000         0
396.29/396.42	c       351       428    504.52     89.57      5.63   1000000         0
397.89/398.06	c       352       519    497.20     83.50      5.95   1000000         0
399.49/399.68	c       333       475    485.89     82.50      5.89   1000000         0
401.19/401.31	c       349       475    489.81     80.61      6.08   1000000         0
402.79/402.94	c       351       447    492.19     85.42      5.76   1000000         0
404.39/404.57	c       344       437    490.24     85.95      5.70   1000000         0
406.09/406.20	c       335       466    489.56     79.73      6.14   1000000         0
407.69/407.83	c       344       555    497.22     84.59      5.88   1000000         0
409.29/409.45	c       330       453    476.72     83.72      5.69   1000000         0
410.89/411.08	c       324       443    491.35     86.12      5.71   1000000         0
412.59/412.71	c       319       395    486.70     90.59      5.37   1000000         0
414.19/414.35	c       305       420    473.15     88.27      5.36   1000000         0
415.79/415.99	c       339       393    489.05     75.49      6.48   1000000         0
417.48/417.61	c       306       447    475.12     92.74      5.12   1000000         0
419.09/419.25	c       292       454    473.61     86.82      5.45   1000000         0
420.68/420.88	c       328       420    495.10     94.60      5.23   1000000         0
422.39/422.51	c       344       402    490.79     87.67      5.60   1000000         0
423.98/424.13	c       318       459    487.71     85.06      5.73   1000000         0
425.59/425.76	c       333       402    489.82     91.35      5.36   1000000         0
427.18/427.39	c       323       435    480.42     76.59      6.27   1000000         0
428.89/429.02	c       307       465    477.43     95.00      5.03   1000000         0
430.48/430.66	c       336       452    491.14     88.22      5.57   1000000         0
432.08/432.29	c       313       443    497.78     86.93      5.73   1000000         0
433.78/433.91	c       349       477    489.60     80.60      6.07   1000000         0
435.38/435.54	c       335       444    487.78     85.71      5.69   1000000         0
436.98/437.17	c       313       493    494.95     94.99      5.21   1000000         0
438.68/438.80	c       322       447    483.87     78.68      6.15   1000000         0
440.28/440.43	c       315       503    494.54     84.49      5.85   1000000         0
441.88/442.06	c       315       390    485.87     81.29      5.98   1000000         0
443.58/443.70	c       327       537    480.63     95.47      5.03   1000000         0
445.18/445.33	c       316       495    497.33     81.80      6.08   1000000         0
446.78/446.96	c       327       382    486.46     90.90      5.35   1000000         0
448.38/448.58	c       344       414    486.69     87.76      5.55   1000000         0
450.08/450.21	c       331       516    491.19     73.47      6.69   1000000         0
451.68/451.84	c       339       427    496.86     70.59      7.04   1000000         0
453.28/453.46	c       322       470    480.89     85.80      5.60   1000000         0
454.98/455.10	c       310       424    489.32     84.64      5.78   1000000         0
456.58/456.71	c       320       439    504.30     81.53      6.19   1000000         0
458.18/458.34	c       333       480    485.05     92.45      5.25   1000000         0
459.78/459.98	c       310       468    489.71     90.40      5.42   1000000         0
461.47/461.61	c       313       410    474.99     90.87      5.23   1000000         0
463.08/463.26	c       303       447    463.30     89.80      5.16   1000000         0
464.67/464.89	c       333       481    488.58     88.46      5.52   1000000         0
466.38/466.52	c       314       502    488.32     74.45      6.56   1000000         0
467.97/468.15	c       317       508    488.25     94.05      5.19   1000000         0
469.58/469.79	c       318       350    480.65     85.66      5.61   1000000         0
471.27/471.42	c       328       460    496.25     90.68      5.47   1000000         0
472.88/473.05	c       337       472    499.21     90.18      5.54   1000000         0
474.47/474.68	c       328       470    492.79     88.49      5.57   1000000         0
476.18/476.32	c       331       465    502.48     92.59      5.43   1000000         0
477.77/477.95	c       315       494    483.38     82.11      5.89   1000000         0
479.37/479.58	c       348       473    506.52     82.97      6.10   1000000         0
481.07/481.21	c       349       440    496.35     83.46      5.95   1000000         0
482.67/482.84	c       320       365    479.68     95.53      5.02   1000000         0
484.27/484.46	c       306       350    466.15     96.33      4.84   1000000         0
485.97/486.10	c       310       440    469.01     85.33      5.50   1000000         0
487.57/487.72	c       351       444    485.03     77.53      6.26   1000000         0
489.17/489.36	c       289       378    472.19     96.35      4.90   1000000         0
490.77/490.99	c       340       467    493.08     82.87      5.95   1000000         0
492.47/492.63	c       332       423    489.53     96.29      5.08   1000000         0
494.07/494.27	c       316       411    478.44     89.60      5.34   1000000         0
495.66/495.89	c       315       531    483.36     86.29      5.60   1000000         0
497.36/497.53	c       323       421    484.86     98.56      4.92   1000000         0
498.96/499.16	c       354       497    492.49     71.56      6.88   1000000         0
500.56/500.78	c       332       492    501.77     87.34      5.74   1000000         0
502.26/502.42	c       342       440    494.20     87.15      5.67   1000000         0
503.86/504.04	c       295       414    484.25     88.42      5.48   1000000         0
505.46/505.67	c       340       468    486.51     78.79      6.17   1000000         0
507.16/507.30	c       356       438    506.54     98.37      5.15   1000000         0
508.76/508.91	c       347       504    500.26     97.29      5.14   1000000         0
510.37/510.54	c       296       421    480.11     92.11      5.21   1000000         0
511.96/512.17	c       305       514    480.72     73.20      6.57   1000000         0
513.67/513.80	c       296       511    476.81     92.30      5.17   1000000         0
515.26/515.44	c       287       460    463.95     90.14      5.15   1000000         0
516.87/517.08	c       329       458    492.08     92.14      5.34   1000000         0
518.56/518.71	c       330       460    485.59     89.94      5.40   1000000         0
520.16/520.33	c       316       433    484.52     92.58      5.23   1000000         0
521.76/521.96	c       330       454    483.47     92.20      5.24   1000000         0
523.36/523.58	c       346       425    495.72     98.58      5.03   1000000         0
525.06/525.22	c       305       388    490.74     91.37      5.37   1000000         0
526.66/526.84	c       329       554    482.02     85.25      5.65   1000000         0
528.26/528.47	c       316       412    474.44     92.00      5.16   1000000         0
529.86/530.09	c       336       444    492.96     89.61      5.50   1000000         0
531.56/531.72	c       342       583    488.13     81.09      6.02   1000000         0
533.16/533.34	c       321       461    484.84     91.32      5.31   1000000         0
534.76/534.97	c       297       517    478.34     90.12      5.31   1000000         0
536.46/536.61	c       325       505    493.26     85.65      5.76   1000000         0
538.05/538.24	c       316       460    480.52     81.71      5.88   1000000         0
539.65/539.89	c       323       413    478.56     78.22      6.12   1000000         0
541.35/541.51	c       336       430    500.53     76.19      6.57   1000000         0
542.95/543.14	c       344       393    494.03     81.29      6.08   1000000         0
544.55/544.77	c       307       414    487.20     86.49      5.63   1000000         0
546.25/546.40	c       318       524    489.31     81.78      5.98   1000000         0
547.85/548.03	c       334       434    488.86     83.74      5.84   1000000         0
549.45/549.67	c       329       439    491.10     88.46      5.55   1000000         0
551.06/551.29	c       303       521    471.25     81.96      5.75   1000000         0
552.75/552.94	c       308       478    484.31     82.80      5.85   1000000         0
554.36/554.57	c       325       467    482.40     87.66      5.50   1000000         0
555.95/556.19	c       321       453    504.45     99.87      5.05   1000000         0
557.66/557.82	c       340       441    497.76     94.54      5.27   1000000         0
559.25/559.44	c       350       506    500.08     80.77      6.19   1000000         0
560.85/561.07	c       319       483    492.39     92.90      5.30   1000000         0
562.55/562.71	c       297       416    458.91     88.89      5.16   1000000         0
564.15/564.33	c       345       453    486.42     85.37      5.70   1000000         0
565.75/565.96	c       332       449    486.13     81.26      5.98   1000000         0
567.45/567.60	c       313       407    476.58     84.10      5.67   1000000         0
569.05/569.24	c       321       395    478.07     89.32      5.35   1000000         0
570.65/570.87	c       319       455    498.10     94.13      5.29   1000000         0
572.34/572.51	c       314       432    473.01     79.77      5.93   1000000         0
573.94/574.13	c       335       382    497.50     76.35      6.52   1000000         0
575.54/575.76	c       339       517    490.86     93.50      5.25   1000000         0
577.14/577.38	c       312       476    492.87     88.80      5.55   1000000         0
578.84/579.00	c       332       409    492.58     91.91      5.36   1000000         0
580.44/580.64	c       323       428    483.90     88.37      5.48   1000000         0
582.04/582.27	c       287       430    482.87     89.07      5.42   1000000         0
583.64/583.90	c       343       432    503.20     90.05      5.59   1000000         0
585.34/585.52	c       346       565    489.43     78.27      6.25   1000000         0
586.94/587.16	c       306       408    468.54     81.75      5.73   1000000         0
588.54/588.78	c       341       468    495.17     87.88      5.63   1000000         0
590.24/590.41	c       327       465    501.22     77.54      6.46   1000000         0
591.84/592.06	c       348       444    496.31     95.21      5.21   1000000         0
593.44/593.68	c       333       486    494.15     82.82      5.97   1000000         0
595.14/595.32	c       332       381    487.19    107.24      4.54   1000000         0
596.74/596.95	c       308       455    490.07     88.11      5.56   1000000         0
598.34/598.58	c       344       419    490.47     82.39      5.95   1000000         0
599.94/600.20	c       334       490    489.46     79.46      6.16   1000000         0
601.64/601.83	c       326       462    479.22     89.23      5.37   1000000         0
603.24/603.46	c       339       407    493.03     78.37      6.29   1000000         0
604.84/605.08	c       323       400    474.94     85.60      5.55   1000000         0
606.53/606.71	c       322       429    481.65     86.54      5.57   1000000         0
608.14/608.33	c       342       482    492.53     81.87      6.02   1000000         0
609.73/609.96	c       352       446    495.73     87.86      5.64   1000000         0
611.33/611.59	c       328       401    488.75     78.06      6.26   1000000         0
613.03/613.23	c       323       538    480.67     97.36      4.94   1000000         0
614.63/614.86	c       350       472    494.01     93.60      5.28   1000000         0
616.23/616.49	c       303       544    471.41     86.43      5.45   1000000         0
617.93/618.12	c       320       447    485.80     93.45      5.20   1000000         0
619.53/619.75	c       330       432    495.85     88.91      5.58   1000000         0
621.13/621.39	c       331       446    474.90     77.35      6.14   1000000         0
622.83/623.02	c       329       421    491.39     87.47      5.62   1000000         0
624.43/624.66	c       329       463    491.09     88.36      5.56   1000000         0
626.03/626.28	c       338       480    491.35     85.56      5.74   1000000         0
627.73/627.91	c       336       434    491.79     77.82      6.32   1000000         0
629.33/629.54	c       338       422    490.41     96.38      5.09   1000000         0
630.93/631.18	c       288       508    471.39     91.42      5.16   1000000         0
632.53/632.79	c       344       447    508.43     85.59      5.94   1000000         0
634.23/634.43	c       313       436    490.47     91.68      5.35   1000000         0
635.83/636.05	c       314       519    481.78     96.09      5.01   1000000         0
637.43/637.69	c       314       470    484.72     88.94      5.45   1000000         0
639.13/639.32	c       305       404    483.14     79.89      6.05   1000000         0
640.73/640.94	c       318       465    504.37     93.75      5.38   1000000         0
642.33/642.57	c       314       350    472.56     88.08      5.36   1000000         0
643.93/644.19	c       353       453    501.93     85.55      5.87   1000000         0
645.63/645.82	c       344       405    498.12     80.70      6.17   1000000         0
647.23/647.46	c       306       471    480.81     84.57      5.69   1000000         0
648.83/649.08	c       316       407    493.94     78.42      6.30   1000000         0
650.52/650.70	c       325       481    486.65     86.71      5.61   1000000         0
652.13/652.33	c       298       394    483.09     85.45      5.65   1000000         0
653.72/653.97	c       325       484    484.21     86.61      5.59   1000000         0
655.43/655.61	c       353       408    489.95     85.61      5.72   1000000         0
657.02/657.23	c       310       470    487.95     82.75      5.90   1000000         0
658.62/658.87	c       317       427    470.41     84.17      5.59   1000000         0
660.32/660.50	c       315       538    487.19     82.93      5.87   1000000         0
661.92/662.14	c       317       391    481.77     85.35      5.64   1000000         0
663.52/663.77	c       293       461    488.80    103.70      4.71   1000000         0
665.22/665.40	c       333       535    481.81     86.42      5.58   1000000         0
666.82/667.04	c       325       482    488.80     80.82      6.05   1000000         0
668.42/668.68	c       311       474    464.45     91.95      5.05   1000000         0
670.12/670.31	c       330       450    496.61     88.07      5.64   1000000         0
671.72/671.93	c       335       435    491.82     81.92      6.00   1000000         0
673.32/673.56	c       359       417    494.12     68.54      7.21   1000000         0
674.92/675.19	c       332       484    489.40     90.53      5.41   1000000         0
676.62/676.82	c       339       490    489.67     95.32      5.14   1000000         0
678.22/678.45	c       317       448    482.88     93.09      5.19   1000000         0
679.82/680.08	c       306       368    491.22     97.53      5.04   1000000         0
681.52/681.71	c       326       432    500.58     88.94      5.63   1000000         0
683.12/683.34	c       313       412    497.27     86.73      5.73   1000000         0
684.72/684.98	c       305       483    481.11     79.53      6.05   1000000         0
686.42/686.61	c       356       425    495.66     75.21      6.59   1000000         0
688.02/688.26	c       312       520    475.55     86.03      5.53   1000000         0
689.72/689.90	c       330       390    489.06     93.95      5.21   1000000         0
691.31/691.52	c       341       407    507.53     93.85      5.41   1000000         0
692.92/693.15	c       316       505    479.42     73.20      6.55   1000000         0
694.51/694.79	c       326       422    479.11     75.45      6.35   1000000         0
696.22/696.42	c       298       512    471.27     94.70      4.98   1000000         0
697.81/698.04	c       329       443    498.02     83.23      5.98   1000000         0
699.42/699.67	c       322       436    474.19     88.27      5.37   1000000         0
701.01/701.29	c       288       509    478.21     82.00      5.83   1000000         0
702.72/702.92	c       333       424    482.37     91.42      5.28   1000000         0
704.31/704.54	c       305       535    491.00     83.34      5.89   1000000         0
705.91/706.17	c       322       407    485.26     88.56      5.48   1000000         0
707.61/707.81	c       347       461    478.22     94.31      5.07   1000000         0
709.21/709.44	c       332       399    489.80    101.59      4.82   1000000         0
710.81/711.07	c       312       467    484.45     95.35      5.08   1000000         0
712.51/712.71	c       338       422    478.67     74.74      6.40   1000000         0
714.11/714.35	c       311       462    485.16     84.25      5.76   1000000         0
715.71/715.97	c       338       444    480.82     84.16      5.71   1000000         0
717.41/717.60	c       308       462    473.38     82.83      5.72   1000000         0
719.01/719.23	c       338       465    481.19     80.52      5.98   1000000         0
720.61/720.87	c       332       422    485.50     92.03      5.28   1000000         0
722.31/722.51	c       329       471    488.27     85.24      5.73   1000000         0
723.91/724.15	c       336       396    478.69     87.98      5.44   1000000         0
725.50/725.78	c       328       460    492.57     81.69      6.03   1000000         0
727.20/727.41	c       327       487    492.54     94.22      5.23   1000000         0
728.80/729.05	c       320       476    474.67     93.29      5.09   1000000         0
730.40/730.69	c       327       456    494.17     77.51      6.38   1000000         0
732.10/732.32	c       318       469    474.93     76.92      6.17   1000000         0
733.70/733.95	c       328       402    481.20     90.26      5.33   1000000         0
735.30/735.59	c       318       339    472.22     87.70      5.38   1000000         0
737.00/737.23	c       318       455    480.06     97.08      4.95   1000000         0
738.60/738.86	c       318       448    477.53     79.86      5.98   1000000         0
740.21/740.49	c       320       492    475.86     71.02      6.70   1000000         0
741.90/742.12	c       329       530    480.31     86.29      5.57   1000000         0
743.51/743.75	c       325       471    494.87     83.95      5.89   1000000         0
745.10/745.36	c       313       385    483.88     70.84      6.83   1000000         0
746.71/746.98	c       308       497    492.52     96.21      5.12   1000000         0
748.40/748.61	c       315       473    488.40     89.82      5.44   1000000         0
750.01/750.25	c       309       433    474.26     86.38      5.49   1000000         0
751.60/751.87	c       342       441    491.95     75.60      6.51   1000000         0
753.31/753.50	c       331       486    485.06     76.52      6.34   1000000         0
754.90/755.12	c       340       420    485.33     79.29      6.12   1000000         0
756.50/756.76	c       317       477    490.75     79.91      6.14   1000000         0
758.20/758.40	c       339       459    495.06     90.85      5.45   1000000         0
759.80/760.03	c       334       377    491.48     90.06      5.46   1000000         0
761.40/761.66	c       310       532    489.81     96.01      5.10   1000000         0
763.00/763.28	c       336       430    477.78     86.05      5.55   1000000         0
764.70/764.91	c       326       396    480.73     89.40      5.38   1000000         0
766.30/766.54	c       336       440    477.51     91.09      5.24   1000000         0
767.90/768.17	c       315       401    481.02     95.33      5.05   1000000         0
769.59/769.80	c       331       406    488.24     92.45      5.28   1000000         0
771.19/771.43	c       331       359    488.06     74.66      6.54   1000000         0
772.79/773.06	c       330       432    486.27     83.19      5.85   1000000         0
774.39/774.68	c       342       402    498.75     91.65      5.44   1000000         0
776.09/776.31	c       314       417    480.66     81.78      5.88   1000000         0
777.69/777.94	c       311       398    464.91     91.20      5.10   1000000         0
779.29/779.57	c       317       399    479.74     84.90      5.65   1000000         0
780.90/781.19	c       327       415    492.82     81.78      6.03   1000000         0
782.59/782.83	c       325       451    479.62     93.14      5.15   1000000         0
784.20/784.45	c       311       470    487.03     75.82      6.42   1000000         0
785.79/786.09	c       328       421    475.45     78.51      6.06   1000000         0
787.50/787.73	c       328       435    487.04     87.33      5.58   1000000         0
789.09/789.35	c       287       422    475.41     96.12      4.95   1000000         0
790.70/790.98	c       324       560    485.54     75.87      6.40   1000000         0
792.39/792.62	c       303       391    481.27     91.02      5.29   1000000         0
794.00/794.25	c       284       400    472.52     84.66      5.58   1000000         0
795.59/795.88	c       350       398    495.48     85.66      5.78   1000000         0
797.29/797.50	c       325       468    492.48     75.49      6.52   1000000         0
798.89/799.13	c       327       457    487.18    101.17      4.82   1000000         0
800.49/800.75	c       306       436    487.66     89.21      5.47   1000000         0
802.09/802.39	c       301       479    480.98     89.47      5.38   1000000         0
803.78/804.01	c       332       402    499.56     79.94      6.25   1000000         0
805.39/805.64	c       313       435    478.49     83.06      5.76   1000000         0
806.99/807.28	c       300       501    475.14     96.13      4.94   1000000         0
808.69/808.91	c       301       445    494.21     86.53      5.71   1000000         0
810.29/810.56	c       292       476    486.09     82.41      5.90   1000000         0
811.89/812.18	c       326       405    480.62     89.89      5.35   1000000         0
813.59/813.81	c       335       452    484.29     83.53      5.80   1000000         0
815.19/815.44	c       319       399    488.97     93.35      5.24   1000000         0
816.79/817.08	c       327       497    494.55    100.90      4.90   1000000         0
818.49/818.70	c       327       425    478.15     84.34      5.67   1000000         0
820.09/820.33	c       355       552    503.23     86.07      5.85   1000000         0
821.69/821.96	c       327       510    492.93     89.09      5.53   1000000         0
823.29/823.57	c       337       434    493.58     90.46      5.46   1000000         0
824.99/825.20	c       330       461    475.71     73.53      6.47   1000000         0
826.59/826.83	c       334       388    489.47     85.95      5.69   1000000         0
828.19/828.47	c       335       407    496.67     82.63      6.01   1000000         0
829.89/830.10	c       357       427    494.41     90.48      5.46   1000000         0
831.49/831.74	c       357       563    491.13     79.43      6.18   1000000         0
833.09/833.37	c       305       544    485.22     83.14      5.84   1000000         0
834.69/835.00	c       328       487    480.99     80.41      5.98   1000000         0
836.39/836.62	c       330       538    498.73     93.05      5.36   1000000         0
837.99/838.26	c       312       471    474.07     85.78      5.53   1000000         0
839.58/839.88	c       328       475    485.52     77.76      6.24   1000000         0
841.29/841.51	c       339       383    488.23     83.86      5.82   1000000         0
842.88/843.15	c       326       483    494.53     79.74      6.20   1000000         0
844.48/844.77	c       309       387    483.06     75.43      6.40   1000000         0
846.18/846.40	c       313       412    470.41     76.78      6.13   1000000         0
847.78/848.03	c       316       450    485.11     92.31      5.26   1000000         0
849.38/849.67	c       331       556    482.07     77.88      6.19   1000000         0
851.08/851.30	c       303       487    486.61     89.30      5.45   1000000         0
852.68/852.93	c       333       388    482.57     87.21      5.53   1000000         0
854.28/854.57	c       314       417    467.95     83.99      5.57   1000000         0
855.88/856.19	c       316       525    492.79     79.49      6.20   1000000         0
857.58/857.82	c       351       458    496.08     72.10      6.88   1000000         0
859.18/859.44	c       320       499    482.59     86.83      5.56   1000000         0
860.78/861.06	c       312       397    468.32     94.22      4.97   1000000         0
862.38/862.68	c       327       481    499.83     85.22      5.87   1000000         0
864.08/864.33	c       324       476    487.35     75.77      6.43   1000000         0
865.68/865.95	c       342       461    487.92     86.43      5.65   1000000         0
867.28/867.59	c       325       410    476.30     87.11      5.47   1000000         0
868.98/869.22	c       320       508    486.73     99.91      4.87   1000000         0
870.58/870.84	c       329       484    478.42     88.44      5.41   1000000         0
872.18/872.47	c       348       497    496.09     76.65      6.47   1000000         0
873.87/874.10	c       340       491    497.07     91.06      5.46   1000000         0
875.48/875.74	c       339       441    497.00     91.44      5.44   1000000         0
877.07/877.37	c       345       453    494.11     91.49      5.40   1000000         0
878.68/879.00	c       319       443    485.92     91.54      5.31   1000000         0
880.37/880.63	c       336       392    501.83     89.89      5.58   1000000         0
881.98/882.25	c       353       431    505.34     88.31      5.72   1000000         0
883.57/883.89	c       334       477    486.64     86.74      5.61   1000000         0
885.28/885.51	c       333       489    480.54     95.59      5.03   1000000         0
886.87/887.14	c       326       436    472.90     85.90      5.51   1000000         0
888.47/888.78	c       314       425    479.63     82.00      5.85   1000000         0
890.07/890.39	c       305       390    480.81     97.08      4.95   1000000         0
891.77/892.03	c       327       492    491.89     87.83      5.60   1000000         0
893.37/893.67	c       311       434    472.63     85.19      5.55   1000000         0
895.07/895.30	c       330       395    486.80     87.89      5.54   1000000         0
896.67/896.93	c       342       477    487.83     86.16      5.66   1000000         0
898.27/898.56	c       322       435    482.67     81.27      5.94   1000000         0
899.87/900.18	c       306       415    484.01     83.94      5.77   1000000         0
901.57/901.81	c       332       458    490.37     81.98      5.98   1000000         0
903.17/903.45	c       316       504    486.83     82.88      5.87   1000000         0
904.77/905.08	c       320       421    474.31     89.92      5.28   1000000         0
906.47/906.72	c       309       456    487.92     93.67      5.21   1000000         0
908.07/908.35	c       338       386    485.52     89.08      5.45   1000000         0
909.67/909.99	c       316       423    483.86     93.57      5.17   1000000         0
911.37/911.62	c       317       443    480.93     92.92      5.18   1000000         0
912.97/913.24	c       325       487    494.13     84.73      5.83   1000000         0
914.56/914.88	c       338       404    482.34     80.39      6.00   1000000         0
916.26/916.52	c       313       488    484.40     93.92      5.16   1000000         0
917.86/918.16	c       304       450    468.58     86.10      5.44   1000000         0
919.56/919.80	c       343       454    492.84     80.84      6.10   1000000         0
921.16/921.43	c       286       473    479.39     96.43      4.97   1000000         0
922.77/923.05	c       328       414    482.45     81.81      5.90   1000000         0
924.36/924.67	c       348       438    490.19     79.35      6.18   1000000         0
926.07/926.31	c       327       455    470.73     78.40      6.00   1000000         0
927.66/927.94	c       323       408    503.11     91.68      5.49   1000000         0
929.27/929.58	c       306       413    471.56     94.49      4.99   1000000         0
930.96/931.21	c       318       523    486.51     78.12      6.23   1000000         0
932.57/932.85	c       296       460    483.21     73.84      6.54   1000000         0
934.16/934.48	c       322       434    480.85     79.86      6.02   1000000         0
935.87/936.12	c       314       540    479.80     87.05      5.51   1000000         0
937.46/937.75	c       302       426    476.39     93.53      5.09   1000000         0
939.06/939.38	c       321       492    479.76     83.88      5.72   1000000         0
940.76/941.02	c       303       411    472.07     92.83      5.09   1000000         0
942.36/942.65	c       312       438    481.57     77.57      6.21   1000000         0
943.96/944.28	c       330       411    497.66     91.21      5.46   1000000         0
945.66/945.91	c       337       480    486.45     79.64      6.11   1000000         0
947.26/947.53	c       331       408    489.60     85.33      5.74   1000000         0
948.86/949.16	c       341       479    514.22     78.97      6.51   1000000         0
950.56/950.80	c       317       498    471.28     88.72      5.31   1000000         0
952.15/952.43	c       327       477    486.72     84.01      5.79   1000000         0
953.75/954.05	c       328       477    486.78     79.66      6.11   1000000         0
955.35/955.69	c       332       476    483.72     85.58      5.65   1000000         0
957.05/957.32	c       294       390    480.46     91.66      5.24   1000000         0
958.65/958.95	c       330       460    502.81     87.90      5.72   1000000         0
960.25/960.57	c       343       461    493.61     88.88      5.55   1000000         0
961.95/962.21	c       308       479    479.57     91.23      5.26   1000000         0
963.55/963.84	c       333       418    499.93     88.08      5.68   1000000         0
965.15/965.46	c       346       405    492.37     98.36      5.01   1000000         0
966.76/967.09	c       328       396    474.54     86.68      5.47   1000000         0
968.45/968.72	c       334       506    500.97     91.71      5.46   1000000         0
970.06/970.34	c       316       502    495.40     95.16      5.21   1000000         0
971.65/971.98	c       305       520    469.91     70.32      6.68   1000000         0
973.35/973.60	c       330       443    494.48     86.53      5.71   1000000         0
974.95/975.23	c       315       371    490.13     94.53      5.19   1000000         0
976.55/976.86	c       334       507    483.99     74.52      6.49   1000000         0
978.25/978.50	c       346       465    493.41     85.97      5.74   1000000         0
979.85/980.13	c       315       477    487.19     98.10      4.97   1000000         0
981.45/981.76	c       322       437    478.60     88.26      5.42   1000000         0
983.04/983.39	c       313       412    491.35     87.11      5.64   1000000         0
984.74/985.02	c       330       481    490.06     89.15      5.50   1000000         0
986.34/986.65	c       311       465    482.39     86.07      5.60   1000000         0
987.94/988.29	c       295       460    479.92     80.48      5.96   1000000         0
989.64/989.91	c       323       433    475.96     79.57      5.98   1000000         0
991.24/991.55	c       338       433    482.45     77.67      6.21   1000000         0
992.84/993.18	c       287       406    482.25     94.35      5.11   1000000         0
994.54/994.81	c       341       421    501.94     90.34      5.56   1000000         0
996.14/996.45	c       336       377    476.86     83.74      5.69   1000000         0
997.74/998.06	c       335       432    492.15     97.07      5.07   1000000         0
999.34/999.68	c       327       399    480.75     84.80      5.67   1000000         0
1001.04/1001.31	c       314       495    480.98     83.36      5.77   1000000         0
1002.64/1002.96	c       339       472    506.87     99.70      5.08   1000000         0
1004.24/1004.59	c       322       389    493.53     86.58      5.70   1000000         0
1005.94/1006.22	c       336       398    496.61     84.60      5.87   1000000         0
1007.54/1007.83	c       327       468    499.98     93.54      5.35   1000000         0
1009.14/1009.46	c       336       455    489.26     81.59      6.00   1000000         0
1010.74/1011.09	c       345       461    502.91     85.97      5.85   1000000         0
1012.44/1012.72	c       305       469    479.98     95.13      5.05   1000000         0
1014.04/1014.34	c       328       430    473.36     87.91      5.38   1000000         0
1015.64/1015.97	c       349       487    486.57     82.28      5.91   1000000         0
1017.34/1017.60	c       346       474    502.56     86.22      5.83   1000000         0
1018.94/1019.23	c       344       451    497.62     78.21      6.36   1000000         0
1020.54/1020.85	c       331       520    488.94     82.78      5.91   1000000         0
1022.13/1022.47	c       330       486    494.03     89.26      5.53   1000000         0
1023.84/1024.11	c       328       452    493.19     75.45      6.54   1000000         0
1025.43/1025.74	c       337       486    504.33     94.03      5.36   1000000         0
1027.03/1027.36	c       323       408    481.33     79.74      6.04   1000000         0
1028.63/1028.99	c       303       414    467.66     80.22      5.83   1000000         0
1030.33/1030.62	c       316       401    474.88     83.06      5.72   1000000         0
1031.93/1032.25	c       338       492    499.18     91.10      5.48   1000000         0
1033.53/1033.88	c       340       414    485.46     83.88      5.79   1000000         0
1035.23/1035.51	c       311       376    483.28     83.93      5.76   1000000         0
1036.83/1037.13	c       298       495    479.78     90.77      5.29   1000000         0
1038.43/1038.77	c       308       539    493.24     87.04      5.67   1000000         0
1040.13/1040.40	c       324       510    490.76     85.89      5.71   1000000         0
1041.73/1042.03	c       310       379    487.74     87.09      5.60   1000000         0
1043.33/1043.66	c       341       475    499.29     81.25      6.15   1000000         0
1044.93/1045.28	c       328       431    468.12     86.30      5.42   1000000         0
1046.63/1046.93	c       349       422    495.73     73.25      6.77   1000000         0
1048.23/1048.55	c       330       552    496.27     90.94      5.46   1000000         0
1049.83/1050.19	c       319       469    485.51     71.18      6.82   1000000         0
1051.53/1051.83	c       331       370    504.81     88.37      5.71   1000000         0
1053.13/1053.46	c       308       446    485.25     85.25      5.69   1000000         0
1054.73/1055.09	c       287       443    464.07     91.17      5.09   1000000         0
1056.43/1056.71	c       333       448    492.87     81.42      6.05   1000000         0
1058.03/1058.34	c       283       418    478.34     80.56      5.94   1000000         0
1059.62/1059.97	c       327       509    486.05     87.31      5.57   1000000         0
1061.33/1061.61	c       336       512    493.93     93.79      5.27   1000000         0
1062.92/1063.23	c       298       439    479.08     89.66      5.34   1000000         0
1064.53/1064.86	c       322       401    492.53     86.23      5.71   1000000         0
1066.12/1066.49	c       310       498    485.60     82.50      5.89   1000000         0
1067.83/1068.12	c       328       470    493.53     88.90      5.55   1000000         0
1069.42/1069.74	c       323       557    500.54     91.33      5.48   1000000         0
1071.02/1071.37	c       302       452    478.55     96.43      4.96   1000000         0
1072.72/1073.00	c       330       472    483.63     87.15      5.55   1000000         0
1074.32/1074.63	c       331       447    482.18     78.49      6.14   1000000         0
1075.92/1076.25	c       312       457    484.11     94.10      5.14   1000000         0
1077.52/1077.89	c       310       444    480.27     90.16      5.33   1000000         0
1079.22/1079.53	c       324       451    491.65     83.61      5.88   1000000         0
1080.82/1081.16	c       324       408    478.50     87.87      5.45   1000000         0
1082.42/1082.78	c       332       450    471.38     82.55      5.71   1000000         0
1084.12/1084.41	c       326       459    489.69     89.32      5.48   1000000         0
1085.72/1086.05	c       308       478    469.69     84.52      5.56   1000000         0
1087.32/1087.69	c       316       373    484.81     78.69      6.16   1000000         0
1089.02/1089.31	c       346       482    492.00     84.99      5.79   1000000         0
1090.62/1090.95	c       347       525    488.08     88.12      5.54   1000000         0
1092.22/1092.58	c       332       451    482.43     79.14      6.10   1000000         0
1093.92/1094.22	c       340       380    480.06     83.01      5.78   1000000         0
1095.52/1095.84	c       287       412    473.25     93.23      5.08   1000000         0
1097.12/1097.47	c       337       453    486.60     87.10      5.59   1000000         0
1098.81/1099.11	c       320       491    501.15     89.12      5.62   1000000         0
1100.41/1100.73	c       291       481    476.70     81.48      5.85   1000000         0
1102.02/1102.35	c       343       484    492.45     94.48      5.21   1000000         0
1103.61/1103.99	c       333       538    480.71     92.09      5.22   1000000         0
1105.32/1105.62	c       305       418    479.10     83.67      5.73   1000000         0
1106.91/1107.26	c       320       523    473.26     79.40      5.96   1000000         0
1108.52/1108.90	c       335       456    472.38     81.11      5.82   1000000         0
1110.21/1110.53	c       305       463    494.12     91.84      5.38   1000000         0
1111.82/1112.15	c       313       484    481.40     85.49      5.63   1000000         0
1113.41/1113.78	c       329       406    504.08     85.67      5.88   1000000         0
1115.12/1115.40	c       312       422    474.53     82.54      5.75   1000000         0
1116.71/1117.02	c       336       455    488.68     91.00      5.37   1000000         0
1118.31/1118.67	c       322       470    464.39     81.94      5.67   1000000         0
1120.01/1120.30	c       319       388    482.66     88.07      5.48   1000000         0
1121.61/1121.92	c       359       437    513.10     84.64      6.06   1000000         0
1123.21/1123.55	c       323       531    489.67     83.07      5.89   1000000         0
1124.81/1125.17	c       311       470    488.23     85.68      5.70   1000000         0
1126.51/1126.80	c       294       416    464.18     82.87      5.60   1000000         0
1128.11/1128.43	c       330       457    505.11     87.52      5.77   1000000         0
1129.71/1130.05	c       332       442    478.49     90.91      5.26   1000000         0
1131.31/1131.69	c       309       384    473.46     93.22      5.08   1000000         0
1133.01/1133.31	c       339       409    500.66     77.75      6.44   1000000         0
1134.61/1134.94	c       330       485    494.35     81.07      6.10   1000000         0
1136.21/1136.58	c       334       408    494.90     93.53      5.29   1000000         0
1137.91/1138.22	c       307       407    476.37     94.40      5.05   1000000         0
1139.50/1139.86	c       322       440    489.59     99.48      4.92   1000000         0
1141.10/1141.48	c       342       478    490.67     76.82      6.39   1000000         0
1142.80/1143.12	c       337       530    490.19     86.17      5.69   1000000         0
1144.40/1144.74	c       344       492    488.03     89.23      5.47   1000000         0
1146.01/1146.38	c       319       377    494.22     88.51      5.58   1000000         0
1147.70/1148.01	c       333       432    497.06     88.30      5.63   1000000         0
1149.31/1149.64	c       333       459    502.52     87.15      5.77   1000000         0
1150.90/1151.29	c       294       522    489.46     99.55      4.92   1000000         0
1152.61/1152.91	c       316       393    483.00     84.73      5.70   1000000         0
1154.20/1154.55	c       315       381    476.12     88.17      5.40   1000000         0
1155.81/1156.19	c       293       435    476.00     93.87      5.07   1000000         0
1157.50/1157.81	c       295       478    459.83     93.49      4.92   1000000         0
1159.11/1159.43	c       367       506    497.16     79.59      6.25   1000000         0
1160.70/1161.07	c       329       393    469.24     84.02      5.58   1000000         0
1162.41/1162.70	c       328       449    482.59     86.15      5.60   1000000         0
1164.00/1164.33	c       342       447    476.56     77.27      6.17   1000000         0
1165.60/1165.98	c       312       481    482.12     94.70      5.09   1000000         0
1167.30/1167.61	c       326       451    474.50     90.23      5.26   1000000         0
1168.90/1169.24	c       331       423    487.39     79.62      6.12   1000000         0
1170.50/1170.88	c       296       432    483.84     89.09      5.43   1000000         0
1172.20/1172.50	c       316       432    482.92     89.17      5.42   1000000         0
1173.80/1174.13	c       312       466    476.64     86.59      5.50   1000000         0
1175.40/1175.77	c       326       492    475.97     76.80      6.20   1000000         0
1177.10/1177.40	c       312       447    486.69     96.88      5.02   1000000         0
1178.69/1179.04	c       333       446    492.92     91.09      5.41   1000000         0
1180.29/1180.68	c       305       430    472.60     84.54      5.59   1000000         0
1181.99/1182.31	c       358       405    502.23     85.98      5.84   1000000         0
1183.59/1183.94	c       344       442    491.64     73.30      6.71   1000000         0
1185.19/1185.58	c       336       468    485.62     89.56      5.42   1000000         0
1186.89/1187.22	c       310       497    473.86     91.53      5.18   1000000         0
1188.49/1188.85	c       305       380    474.26     85.54      5.54   1000000         0
1190.09/1190.47	c       326       506    486.55     90.13      5.40   1000000         0
1191.79/1192.11	c       304       408    474.82     94.83      5.01   1000000         0
1193.39/1193.74	c       336       444    492.43     87.61      5.62   1000000         0
1194.99/1195.37	c       330       396    495.94     91.66      5.41   1000000         0
1196.60/1196.99	c       342       497    482.97     88.58      5.45   1000000         0
1198.29/1198.63	c       330       399    478.67     93.12      5.14   1000000         0
1199.90/1200.26	c       332       489    497.51     85.58      5.81   1000000         0
1201.49/1201.89	c       313       437    481.04     93.24      5.16   1000000         0
1203.20/1203.52	c       310       467    478.71     76.97      6.22   1000000         0
1204.79/1205.14	c       338       395    494.84     85.47      5.79   1000000         0
1206.39/1206.77	c       332       464    492.74     79.43      6.20   1000000         0
1208.09/1208.41	c       334       491    463.79     86.14      5.38   1000000         0
1209.69/1210.04	c       345       454    494.38     85.93      5.75   1000000         0
1211.29/1211.68	c       287       446    470.45     97.51      4.82   1000000         0
1212.99/1213.32	c       306       446    480.00     85.47      5.62   1000000         0
1214.59/1214.95	c       331       461    478.30     86.60      5.52   1000000         0
1216.19/1216.60	c       327       491    488.03     86.62      5.63   1000000         0
1217.88/1218.21	c       336       495    496.76     83.84      5.93   1000000         0
1219.48/1219.84	c       316       489    476.07     83.10      5.73   1000000         0
1221.08/1221.47	c       309       500    486.60     88.64      5.49   1000000         0
1222.68/1223.09	c       314       493    479.27     91.69      5.23   1000000         0
1224.38/1224.71	c       321       555    504.11     77.07      6.54   1000000         0
1225.98/1226.34	c       342       505    500.75     85.80      5.84   1000000         0
1227.58/1227.99	c       313       402    484.06     90.08      5.37   1000000         0
1229.28/1229.61	c       332       429    480.40     85.06      5.65   1000000         0
1230.88/1231.23	c       345       490    497.77     85.65      5.81   1000000         0
1232.48/1232.85	c       341       457    494.59     93.93      5.27   1000000         0
1234.08/1234.49	c       308       474    469.54     83.31      5.64   1000000         0
1235.78/1236.11	c       309       412    483.60     82.41      5.87   1000000         0
1237.38/1237.74	c       317       448    484.82     84.48      5.74   1000000         0
1238.98/1239.37	c       313       447    486.30     88.81      5.48   1000000         0
1240.68/1241.01	c       336       441    485.31     75.42      6.43   1000000         0
1242.28/1242.65	c       316       446    476.55     81.21      5.87   1000000         0
1243.89/1244.29	c       311       441    473.36     96.08      4.93   1000000         0
1245.58/1245.91	c       327       525    482.44     88.46      5.45   1000000         0
1247.18/1247.56	c       316       476    479.09     90.62      5.29   1000000         0
1248.78/1249.19	c       324       445    494.81     97.27      5.09   1000000         0
1250.48/1250.82	c       325       380    500.23     94.23      5.31   1000000         0
1252.08/1252.46	c       340       515    499.74     87.47      5.71   1000000         0
1253.68/1254.09	c       311       441    482.87     86.25      5.60   1000000         0
1255.38/1255.73	c       323       459    479.84     83.94      5.72   1000000         0
1256.98/1257.36	c       339       488    485.43     84.13      5.77   1000000         0
1258.57/1259.00	c       307       512    498.77     93.92      5.31   1000000         0
1260.28/1260.63	c       322       456    479.34     86.18      5.56   1000000         0
1261.87/1262.26	c       293       410    468.86    105.54      4.44   1000000         0
1263.47/1263.88	c       313       546    491.35     84.07      5.84   1000000         0
1265.17/1265.51	c       339       478    478.63     91.75      5.22   1000000         0
1266.77/1267.13	c       344       481    502.18     90.48      5.55   1000000         0
1268.37/1268.76	c       299       498    499.00     93.24      5.35   1000000         0
1269.97/1270.38	c       333       503    489.36     75.87      6.45   1000000         0
1271.67/1272.01	c       349       540    505.11     90.00      5.61   1000000         0
1273.27/1273.64	c       348       377    495.64     86.21      5.75   1000000         0
1274.87/1275.26	c       322       578    484.37     78.21      6.19   1000000         0
1276.47/1276.89	c       302       387    490.61     77.68      6.32   1000000         0
1278.17/1278.52	c       323       430    480.58     92.65      5.19   1000000         0
1279.77/1280.15	c       320       437    500.79     91.81      5.45   1000000         0
1281.37/1281.78	c       319       436    491.22     88.61      5.54   1000000         0
1283.07/1283.41	c       316       482    487.95     84.29      5.79   1000000         0
1284.67/1285.05	c       333       435    487.98     88.70      5.50   1000000         0
1286.27/1286.69	c       327       512    486.94     81.37      5.98   1000000         0
1287.97/1288.32	c       304       447    479.70     75.25      6.37   1000000         0
1289.57/1289.95	c       302       380    475.15     73.62      6.45   1000000         0
1291.17/1291.58	c       323       456    478.30     90.43      5.29   1000000         0
1292.87/1293.22	c       315       463    481.42     84.91      5.67   1000000         0
1294.47/1294.85	c       306       449    485.67     87.62      5.54   1000000         0
1296.07/1296.47	c       309       377    470.66     95.28      4.94   1000000         0
1297.77/1298.11	c       313       505    490.40     89.08      5.51   1000000         0
1299.36/1299.73	c       321       484    487.82     82.79      5.89   1000000         0
1300.97/1301.36	c       330       458    495.64    101.48      4.88   1000000         0
1302.56/1302.98	c       325       413    502.27     86.11      5.83   1000000         0
1304.27/1304.62	c       317       398    487.03     81.38      5.98   1000000         0
1305.86/1306.24	c       306       516    461.57     83.12      5.55   1000000         0
1307.46/1307.87	c       325       538    486.06     88.11      5.52   1000000         0
1309.06/1309.49	c       324       462    483.96     75.33      6.42   1000000         0
1310.76/1311.12	c       327       468    471.26     85.49      5.51   1000000         0
1312.36/1312.76	c       325       454    482.08     87.78      5.49   1000000         0
1313.96/1314.40	c       343       463    483.22     80.83      5.98   1000000         0
1315.66/1316.05	c       294       397    460.56     86.18      5.34   1000000         0
1317.26/1317.67	c       294       443    475.70     97.13      4.90   1000000         0
1318.96/1319.30	c       318       513    485.00     88.94      5.45   1000000         0
1320.56/1320.91	c       330       466    493.00     87.38      5.64   1000000         0
1322.16/1322.55	c       342       436    489.15     80.76      6.06   1000000         0
1323.76/1324.18	c       309       422    497.89     98.13      5.07   1000000         0
1325.46/1325.81	c       316       358    480.61     96.79      4.97   1000000         0
1327.06/1327.44	c       313       445    492.77     79.39      6.21   1000000         0
1328.66/1329.08	c       316       508    482.39     84.96      5.68   1000000         0
1330.36/1330.72	c       336       411    475.05     82.97      5.73   1000000         0
1331.96/1332.35	c       323       403    479.00     89.54      5.35   1000000         0
1333.56/1333.99	c       321       373    478.30     90.03      5.31   1000000         0
1335.26/1335.63	c       306       425    456.71     93.83      4.87   1000000         0
1336.86/1337.25	c       326       410    462.31     80.11      5.77   1000000         0
1338.46/1338.89	c       321       520    486.68     94.30      5.16   1000000         0
1340.16/1340.51	c       335       430    490.20     92.37      5.31   1000000         0
1341.76/1342.14	c       306       412    486.31     90.52      5.37   1000000         0
1343.35/1343.76	c       338       420    493.76     98.14      5.03   1000000         0
1344.96/1345.40	c       263       403    473.39     90.24      5.25   1000000         0
1346.65/1347.02	c       298       481    474.05     83.38      5.69   1000000         0
1348.26/1348.65	c       312       399    488.78     95.54      5.12   1000000         0
1349.85/1350.29	c       329       429    492.35     88.11      5.59   1000000         0
1351.56/1351.93	c       318       494    470.68     86.96      5.41   1000000         0
1353.15/1353.55	c       328       511    483.97     90.31      5.36   1000000         0
1354.75/1355.18	c       315       412    487.28     87.79      5.55   1000000         0
1356.45/1356.81	c       314       496    481.57     85.46      5.63   1000000         0
1358.05/1358.45	c       306       448    490.67     84.06      5.84   1000000         0
1359.65/1360.08	c       306       526    494.95     88.77      5.58   1000000         0
1361.35/1361.71	c       330       417    487.37     92.00      5.30   1000000         0
1362.95/1363.34	c       323       429    471.73     87.82      5.37   1000000         0
1364.55/1364.97	c       348       478    495.58     66.96      7.40   1000000         0
1366.25/1366.60	c       318       527    490.70     78.24      6.27   1000000         0
1367.85/1368.23	c       314       425    476.90     86.20      5.53   1000000         0
1369.45/1369.87	c       309       442    476.67     98.63      4.83   1000000         0
1371.15/1371.50	c       322       435    485.17    105.07      4.62   1000000         0
1372.75/1373.12	c       316       414    494.06     96.05      5.14   1000000         0
1374.35/1374.75	c       315       422    477.98     85.87      5.57   1000000         0
1375.94/1376.36	c       344       428    493.76     84.19      5.87   1000000         0
1377.54/1377.99	c       325       457    468.28     88.23      5.31   1000000         0
1379.24/1379.62	c       316       390    493.12     95.61      5.16   1000000         0
1380.84/1381.25	c       321       535    486.32     86.11      5.65   1000000         0
1382.45/1382.87	c       339       433    488.57     81.20      6.02   1000000         0
1384.14/1384.50	c       306       500    482.54     89.21      5.41   1000000         0
1385.75/1386.13	c       324       473    480.90     77.58      6.20   1000000         0
1387.34/1387.75	c       322       428    474.29     85.00      5.58   1000000         0
1388.95/1389.38	c       345       441    488.94     80.50      6.07   1000000         0
1390.64/1391.01	c       328       504    488.20     82.60      5.91   1000000         0
1392.25/1392.65	c       292       479    494.53     92.45      5.35   1000000         0
1393.84/1394.28	c       330       472    498.86     89.84      5.55   1000000         0
1395.55/1395.92	c       327       455    483.11     90.94      5.31   1000000         0
1397.14/1397.55	c       301       467    479.83     99.00      4.85   1000000         0
1398.74/1399.18	c       322       543    486.32     78.34      6.21   1000000         0
1400.44/1400.80	c       345       482    492.49     76.37      6.45   1000000         0
1402.04/1402.43	c       289       415    474.38     90.65      5.23   1000000         0
1403.64/1404.07	c       340       360    490.99    105.24      4.67   1000000         0
1405.34/1405.70	c       324       462    474.94     76.98      6.17   1000000         0
1406.94/1407.33	c       318       542    478.94     77.30      6.20   1000000         0
1408.54/1408.97	c       339       453    496.09     76.31      6.50   1000000         0
1410.24/1410.60	c       296       458    468.73     91.84      5.10   1000000         0
1411.84/1412.24	c       325       454    489.71     96.33      5.08   1000000         0
1413.44/1413.86	c       322       450    475.30     88.51      5.37   1000000         0
1415.03/1415.49	c       306       444    479.06     86.00      5.57   1000000         0
1416.73/1417.12	c       314       539    498.52     93.44      5.34   1000000         0
1418.33/1418.76	c       338       572    492.52     84.16      5.85   1000000         0
1420.03/1420.40	c       323       408    481.33     81.03      5.94   1000000         0
1421.63/1422.03	c       364       460    508.08     80.57      6.31   1000000         0
1423.23/1423.67	c       315       502    472.33     89.29      5.29   1000000         0
1424.83/1425.29	c       304       426    478.75     83.49      5.73   1000000         0
1426.53/1426.94	c       307       430    486.46    102.82      4.73   1000000         0
1428.13/1428.57	c       338       454    483.14     93.18      5.19   1000000         0
1429.83/1430.20	c       318       409    470.13     86.98      5.41   1000000         0
1431.43/1431.83	c       354       521    499.26     78.96      6.32   1000000         0
1433.04/1433.46	c       336       469    485.90     92.85      5.23   1000000         0
1434.63/1435.08	c       332       511    486.37     84.81      5.73   1000000         0
1436.34/1436.71	c       337       462    499.20     86.63      5.76   1000000         0
1437.93/1438.35	c       331       456    472.40     84.66      5.58   1000000         0
1439.54/1439.98	c       335       415    476.18     75.75      6.29   1000000         0
1441.23/1441.61	c       304       469    478.68     94.62      5.06   1000000         0
1442.84/1443.26	c       317       446    479.69     96.06      4.99   1000000         0
1444.43/1444.88	c       321       448    489.17     91.50      5.35   1000000         0
1446.13/1446.52	c       256       431    465.98     97.14      4.80   1000000         0
1447.73/1448.16	c       314       446    476.82     96.87      4.92   1000000         0
1449.33/1449.79	c       342       440    486.05     87.93      5.53   1000000         0
1451.03/1451.43	c       341       453    501.26     82.44      6.08   1000000         0
1452.63/1453.06	c       314       440    475.79     98.45      4.83   1000000         0
1454.22/1454.69	c       328       515    491.08     87.19      5.63   1000000         0
1455.92/1456.32	c       314       505    480.37     93.61      5.13   1000000         0
1457.52/1457.95	c       339       476    493.60     92.18      5.35   1000000         0
1459.12/1459.57	c       329       460    487.21     84.05      5.80   1000000         0
1460.82/1461.20	c       325       424    483.02     78.46      6.16   1000000         0
1462.42/1462.83	c       310       444    482.93     86.29      5.60   1000000         0
1464.02/1464.47	c       329       463    478.18     84.45      5.66   1000000         0
1465.72/1466.10	c       323       481    501.39     94.11      5.33   1000000         0
1467.32/1467.73	c       312       435    496.02     91.73      5.41   1000000         0
1468.92/1469.36	c       322       477    488.11     88.15      5.54   1000000         0
1470.52/1470.99	c       334       550    483.58     80.86      5.98   1000000         0
1472.22/1472.61	c       334       440    494.23     98.21      5.03   1000000         0
1473.82/1474.24	c       325       491    483.73     77.62      6.23   1000000         0
1475.42/1475.88	c       329       488    491.90     95.04      5.18   1000000         0
1477.12/1477.50	c       310       349    502.57     91.58      5.49   1000000         0
1478.72/1479.13	c       336       443    489.37     96.88      5.05   1000000         0
1480.33/1480.75	c       361       463    502.78     79.09      6.36   1000000         0
1481.92/1482.39	c       271       445    462.94     91.47      5.06   1000000         0
1483.63/1484.03	c       306       469    473.12     86.16      5.49   1000000         0
1485.22/1485.66	c       362       468    495.94     73.97      6.70   1000000         0
1486.82/1487.29	c       339       408    487.84     89.91      5.43   1000000         0
1488.52/1488.93	c       326       445    471.83     76.66      6.15   1000000         0
1490.12/1490.56	c       331       406    484.85     92.42      5.25   1000000         0
1491.72/1492.20	c       357       483    504.34     99.15      5.09   1000000         0
1493.42/1493.83	c       328       524    488.98     89.60      5.46   1000000         0
1495.02/1495.46	c       341       473    489.55     79.78      6.14   1000000         0
1496.61/1497.08	c       319       427    482.40     81.95      5.89   1000000         0
1498.31/1498.71	c       342       474    484.28     84.48      5.73   1000000         0
1499.91/1500.35	c       299       398    472.88     87.42      5.41   1000000         0
1501.51/1501.98	c       257       368    464.95     94.86      4.90   1000000         0
1503.21/1503.61	c       343       444    490.66     72.40      6.78   1000000         0
1504.81/1505.24	c       347       514    509.36     89.53      5.69   1000000         0
1506.41/1506.86	c       337       463    496.97     90.11      5.52   1000000         0
1508.01/1508.49	c       312       486    492.56     83.51      5.90   1000000         0
1509.71/1510.13	c       315       403    483.97     84.75      5.71   1000000         0
1511.31/1511.75	c       322       462    482.63     86.27      5.59   1000000         0
1512.91/1513.38	c       324       428    481.57    100.99      4.77   1000000         0
1514.61/1515.00	c       329       427    491.85     95.01      5.18   1000000         0
1516.21/1516.63	c       310       512    482.18     85.15      5.66   1000000         0
1517.81/1518.26	c       338       403    494.96     88.31      5.60   1000000         0
1519.41/1519.89	c       328       437    484.41     89.58      5.41   1000000         0
1521.11/1521.51	c       359       457    500.09     88.12      5.68   1000000         0
1522.71/1523.14	c       358       540    487.82     86.34      5.65   1000000         0
1524.31/1524.77	c       349       361    487.65     82.16      5.94   1000000         0
1526.01/1526.40	c       318       515    477.68     77.47      6.17   1000000         0
1527.61/1528.03	c       285       450    469.60     96.70      4.86   1000000         0
1529.21/1529.66	c       335       514    493.43     77.77      6.35   1000000         0
1530.81/1531.29	c       328       475    476.34     89.55      5.32   1000000         0
1532.51/1532.92	c       340       461    482.43     92.21      5.23   1000000         0
1534.11/1534.54	c       319       404    473.54     74.91      6.32   1000000         0
1535.70/1536.17	c       328       438    483.51     83.49      5.79   1000000         0
1537.41/1537.80	c       293       444    467.78     84.73      5.52   1000000         0
1539.00/1539.42	c       343       433    498.49     90.88      5.49   1000000         0
1540.60/1541.05	c       313       494    494.30     94.02      5.26   1000000         0
1542.20/1542.68	c       323       450    490.68     99.79      4.92   1000000         0
1543.90/1544.32	c       326       501    482.51     92.45      5.22   1000000         0
1545.50/1545.95	c       308       468    476.75     83.92      5.68   1000000         0
1547.10/1547.59	c       331       437    480.42     78.64      6.11   1000000         0
1548.80/1549.22	c       322       428    481.05     85.99      5.59   1000000         0
1550.40/1550.85	c       328       422    473.23     78.86      6.00   1000000         0
1552.00/1552.48	c       356       447    483.25     81.44      5.93   1000000         0
1553.70/1554.10	c       327       513    496.57     89.96      5.52   1000000         0
1555.30/1555.74	c       335       485    489.96     91.15      5.38   1000000         0
1556.90/1557.36	c       357       454    507.40     81.19      6.25   1000000         0
1558.50/1558.99	c       305       553    479.19     83.97      5.71   1000000         0
1560.20/1560.61	c       330       385    485.84     83.62      5.81   1000000         0
1561.80/1562.23	c       325       477    496.04    105.58      4.70   1000000         0
1563.40/1563.87	c       316       496    483.53     88.28      5.48   1000000         0
1565.10/1565.50	c       322       502    492.85     85.04      5.80   1000000         0
1566.70/1567.13	c       329       535    479.15     80.81      5.93   1000000         0
1568.30/1568.76	c       305       403    484.28     85.99      5.63   1000000         0
1569.90/1570.39	c       311       453    486.27     85.38      5.70   1000000         0
1571.60/1572.03	c       336       495    488.68     81.48      6.00   1000000         0
1573.19/1573.66	c       327       499    486.81     89.81      5.42   1000000         0
1574.80/1575.29	c       348       386    501.54     91.77      5.47   1000000         0
1576.49/1576.92	c       335       402    487.93     82.15      5.94   1000000         0
1578.10/1578.56	c       321       432    482.22     85.51      5.64   1000000         0
1579.79/1580.20	c       316       431    477.10     84.93      5.62   1000000         0
1581.40/1581.83	c       313       514    492.28     86.30      5.70   1000000         0
1582.99/1583.46	c       329       469    492.18     86.66      5.68   1000000         0
1584.59/1585.09	c       341       462    492.09     76.08      6.47   1000000         0
1586.29/1586.71	c       331       426    477.62     77.54      6.16   1000000         0
1587.89/1588.35	c       341       445    487.73     86.75      5.62   1000000         0
1589.49/1589.98	c       345       492    482.72     92.30      5.23   1000000         0
1591.09/1591.60	c       332       422    499.48     74.94      6.66   1000000         0
1592.79/1593.23	c       345       466    488.54     93.08      5.25   1000000         0
1594.39/1594.86	c       322       378    480.49     81.69      5.88   1000000         0
1595.99/1596.49	c       331       459    488.28     81.15      6.02   1000000         0
1597.69/1598.13	c       313       490    491.01     90.45      5.43   1000000         0
1599.29/1599.77	c       310       449    473.63     84.49      5.61   1000000         0
1600.99/1601.40	c       314       436    475.70    108.27      4.39   1000000         0
1602.59/1603.02	c       325       419    497.48     81.86      6.08   1000000         0
1604.19/1604.64	c       340       447    490.80     89.91      5.46   1000000         0
1605.79/1606.27	c       350       452    507.44     90.30      5.62   1000000         0
1607.39/1607.89	c       344       496    497.56     85.45      5.82   1000000         0
1609.09/1609.52	c       334       440    484.71     83.64      5.79   1000000         0
1610.69/1611.14	c       330       445    492.80     91.63      5.38   1000000         0
1612.29/1612.77	c       347       447    495.34     88.71      5.58   1000000         0
1613.98/1614.41	c       300       419    473.13     95.30      4.96   1000000         0
1615.59/1616.03	c       330       456    495.89     80.45      6.16   1000000         0
1617.18/1617.67	c       334       452    488.16     77.17      6.33   1000000         0
1618.89/1619.31	c       308       468    464.67     76.77      6.05   1000000         0
1620.48/1620.94	c       326       422    488.91     78.98      6.19   1000000         0
1622.09/1622.58	c       323       479    484.30     92.62      5.23   1000000         0
1623.78/1624.21	c       326       454    486.66     78.45      6.20   1000000         0
1625.39/1625.85	c       296       504    500.85     87.45      5.73   1000000         0
1626.98/1627.47	c       332       430    490.56     98.39      4.99   1000000         0
1628.69/1629.11	c       335       366    482.39     78.94      6.11   1000000         0
1630.28/1630.74	c       325       417    482.23     80.03      6.03   1000000         0
1631.88/1632.37	c       331       458    484.90     81.26      5.97   1000000         0
1633.48/1633.99	c       330       391    477.03     80.19      5.95   1000000         0
1635.18/1635.62	c       320       417    493.59     92.17      5.36   1000000         0
1636.78/1637.25	c       341       436    503.03     81.05      6.21   1000000         0
1638.38/1638.88	c       330       453    500.67     83.47      6.00   1000000         0
1640.08/1640.51	c       306       436    492.37     91.23      5.40   1000000         0
1641.68/1642.14	c       329       524    502.36     81.81      6.14   1000000         0
1643.28/1643.77	c       358       417    514.62     92.65      5.55   1000000         0
1644.98/1645.41	c       308       404    462.95     75.17      6.16   1000000         0
1646.58/1647.05	c       311       484    470.70     98.05      4.80   1000000         0
1648.18/1648.68	c       337       455    504.73     95.46      5.29   1000000         0
1649.88/1650.30	c       299       495    475.32     97.34      4.88   1000000         0
1651.47/1651.94	c       325       541    482.37     89.61      5.38   1000000         0
1653.07/1653.57	c       317       445    468.95     89.66      5.23   1000000         0
1654.67/1655.19	c       324       405    479.45     83.87      5.72   1000000         0
1656.37/1656.82	c       313       452    480.93     80.97      5.94   1000000         0
1657.97/1658.45	c       328       479    480.28     92.28      5.20   1000000         0
1659.58/1660.08	c       318       477    481.26     88.93      5.41   1000000         0
1661.27/1661.70	c       312       436    487.36     98.44      4.95   1000000         0
1662.88/1663.34	c       337       447    487.41     82.75      5.89   1000000         0
1664.47/1664.99	c       303       450    468.95     79.45      5.90   1000000         0
1666.18/1666.61	c       328       360    481.78     89.20      5.40   1000000         0
1667.77/1668.24	c       345       485    495.68     76.17      6.51   1000000         0
1669.38/1669.86	c       327       405    481.40     88.19      5.46   1000000         0
1670.97/1671.49	c       350       548    492.31     88.28      5.58   1000000         0
1672.68/1673.12	c       337       440    485.40     85.82      5.66   1000000         0
1674.27/1674.75	c       341       484    486.36     83.63      5.82   1000000         0
1675.87/1676.38	c       314       488    476.77     78.23      6.09   1000000         0
1677.57/1678.00	c       340       466    501.22     81.95      6.12   1000000         0
1679.17/1679.63	c       313       419    477.01     93.87      5.08   1000000         0
1680.77/1681.27	c       330       444    481.98     92.37      5.22   1000000         0
1682.37/1682.89	c       345       426    493.44     91.61      5.39   1000000         0
1684.07/1684.53	c       317       439    473.65     83.46      5.67   1000000         0
1685.67/1686.15	c       350       478    504.39     90.47      5.58   1000000         0
1687.27/1687.78	c       330       403    485.00     81.16      5.98   1000000         0
1688.97/1689.41	c       330       472    481.74     86.23      5.59   1000000         0
1690.57/1691.04	c       338       510    487.26     79.92      6.10   1000000         0
1692.16/1692.66	c       339       451    488.74     89.04      5.49   1000000         0
1693.76/1694.29	c       316       456    473.08     89.50      5.29   1000000         0
1695.46/1695.91	c       257       460    478.39     82.57      5.79   1000000         0
1697.06/1697.54	c       343       532    496.93     82.86      6.00   1000000         0
1698.66/1699.18	c       318       412    473.88     89.11      5.32   1000000         0
1700.36/1700.80	c       321       559    486.61     77.80      6.25   1000000         0
1701.96/1702.44	c       323       459    480.77     87.16      5.52   1000000         0
1703.57/1704.06	c       333       469    477.50     81.07      5.89   1000000         0
1705.16/1705.68	c       328       476    490.98     77.78      6.31   1000000         0
1706.87/1707.31	c       313       395    478.01    104.28      4.58   1000000         0
1708.46/1708.94	c       333       457    483.48     84.45      5.72   1000000         0
1710.07/1710.57	c       338       490    503.51     93.40      5.39   1000000         0
1711.66/1712.19	c       317       479    480.99     80.24      5.99   1000000         0
1713.37/1713.83	c       324       432    489.36     83.66      5.85   1000000         0
1714.96/1715.45	c       340       480    493.08     77.21      6.39   1000000         0
1716.56/1717.08	c       330       440    490.57     80.56      6.09   1000000         0
1718.26/1718.71	c       335       498    492.32     94.60      5.20   1000000         0
1719.86/1720.33	c       310       532    472.54     74.89      6.31   1000000         0
1721.46/1721.94	c       352       479    495.17     78.91      6.28   1000000         0
1723.06/1723.58	c       317       383    465.96     74.40      6.26   1000000         0
1724.76/1725.21	c       322       411    471.71     74.72      6.31   1000000         0
1726.36/1726.84	c       342       469    489.59     80.17      6.11   1000000         0
1727.96/1728.47	c       306       467    480.67     80.54      5.97   1000000         0
1729.66/1730.11	c       307       416    473.61     89.88      5.27   1000000         0
1731.26/1731.75	c       334       450    485.74     84.03      5.78   1000000         0
1732.86/1733.38	c       328       425    486.14    102.76      4.73   1000000         0
1734.56/1735.02	c       319       435    492.21     89.89      5.48   1000000         0
1736.15/1736.66	c       302       417    474.08     83.93      5.65   1000000         0
1737.75/1738.27	c       322       440    476.37     90.53      5.26   1000000         0
1739.45/1739.90	c       296       439    484.05     80.22      6.03   1000000         0
1741.05/1741.53	c       322       471    484.53     90.40      5.36   1000000         0
1742.65/1743.17	c       297       447    471.01     97.36      4.84   1000000         0
1744.26/1744.79	c       354       405    494.72     81.29      6.09   1000000         0
1745.95/1746.41	c       297       457    484.72     99.14      4.89   1000000         0
1747.56/1748.04	c       322       469    478.55     91.81      5.21   1000000         0
1749.15/1749.68	c       327       499    502.29     92.95      5.40   1000000         0
1750.86/1751.32	c       330       464    488.23     72.40      6.74   1000000         0
1752.45/1752.95	c       332       464    478.57     92.80      5.16   1000000         0
1754.06/1754.59	c       316       460    471.86     90.56      5.21   1000000         0
1755.75/1756.22	c       331       459    488.71     78.28      6.24   1000000         0
1757.36/1757.86	c       308       454    468.98     74.77      6.27   1000000         0
1758.95/1759.49	c       327       496    483.78     99.81      4.85   1000000         0
1760.65/1761.11	c       328       450    488.96     92.34      5.30   1000000         0
1762.25/1762.75	c       338       403    481.27     83.76      5.75   1000000         0
1763.85/1764.37	c       345       457    496.88     88.12      5.64   1000000         0
1765.45/1765.99	c       301       425    489.40    100.87      4.85   1000000         0
1767.15/1767.62	c       292       430    483.72     85.97      5.63   1000000         0
1768.75/1769.24	c       315       436    480.12     81.62      5.88   1000000         0
1770.34/1770.86	c       345       456    504.06     88.92      5.67   1000000         0
1772.04/1772.50	c       350       509    500.84     86.99      5.76   1000000         0
1773.64/1774.13	c       311       446    488.48    100.32      4.87   1000000         0
1775.25/1775.75	c       313       455    494.98    100.58      4.92   1000000         0
1776.94/1777.40	c       336       473    484.67     82.44      5.88   1000000         0
1778.54/1779.03	c       350       569    484.61     85.46      5.67   1000000         0
1780.14/1780.67	c       336       508    495.58     78.60      6.31   1000000         0
1781.84/1782.30	c       331       552    504.45    101.97      4.95   1000000         0
1783.44/1783.93	c       329       472    482.82     93.67      5.15   1000000         0
1785.04/1785.56	c       289       542    474.35     82.66      5.74   1000000         0
1786.64/1787.19	c       305       415    465.67     82.16      5.67   1000000         0
1788.34/1788.83	c       321       434    481.57     78.65      6.12   1000000         0
1789.94/1790.46	c       299       520    465.88     92.90      5.01   1000000         0
1791.64/1792.10	c       332       496    487.16     90.58      5.38   1000000         0
1793.24/1793.73	c       350       522    491.32     84.77      5.80   1000000         0
1794.85/1795.36	c       328       396    479.11     80.66      5.94   1000000         0
1796.44/1796.98	c       335       396    488.52     89.34      5.47   1000000         0
1798.15/1798.61	c       310       512    486.59     81.92      5.94   1000000         0
1799.74/1800.23	c       303       451    488.68     88.42      5.53   1000000         0
1800.05/1800.50	HOME/run: line 2: 10127 Terminated              ./PB-wave < $1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669887-1276611306/watcher-2669887-1276611306 -o /tmp/evaluation-result-2669887-1276611306/solver-2669887-1276611306 -C 1800 -W 2000 -M 1800 run HOME/instance-2669887-1276611306.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10126
/proc/meminfo: memFree=1773776/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) R 10124 10126 9685 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239094677 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0

[startup+0.106957 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10126
/proc/meminfo: memFree=1773776/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200965 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10126
/proc/meminfo: memFree=1773776/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300975 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10126
/proc/meminfo: memFree=1773776/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701014 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10126
/proc/meminfo: memFree=1773776/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10128
/proc/meminfo: memFree=1769296/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1.49
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1158 0 0 0 149 0 0 0 25 0 1 0 2424091 41422848 1088 1992294400 134512640 135071400 4294099504 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1088 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10128
/proc/meminfo: memFree=1769048/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=3.09
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 309 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30155 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10128
/proc/meminfo: memFree=1768924/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=6.29
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 629 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10128
/proc/meminfo: memFree=1768676/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=12.69
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 1269 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134525852 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10130
/proc/meminfo: memFree=1768676/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=25.49
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 2549 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49152

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10130
/proc/meminfo: memFree=1768676/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=51.08
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 5108 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10132
/proc/meminfo: memFree=1768428/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=102.27
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 10227 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10132
/proc/meminfo: memFree=1768304/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=162.25
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 16225 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134547326 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10134
/proc/meminfo: memFree=1768304/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=222.24
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 22224 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10136
/proc/meminfo: memFree=1768304/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=282.22
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 28222 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10138
/proc/meminfo: memFree=1768180/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=342.2
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 34220 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10140
/proc/meminfo: memFree=1768180/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=402.19
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 40219 0 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=10127] ppid=10126 vsize=40452 CPUtime=1062.02
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 106201 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10161
/proc/meminfo: memFree=1766072/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1122.01
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 112200 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526538 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10163
/proc/meminfo: memFree=1766072/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1181.99
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 118198 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10165
/proc/meminfo: memFree=1766072/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1241.98
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 124197 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526840 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 10167
/proc/meminfo: memFree=1765948/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1301.96
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 130195 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10167
/proc/meminfo: memFree=1765948/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1361.95
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 136194 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10169
/proc/meminfo: memFree=1765824/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1421.94
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 142193 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10171
/proc/meminfo: memFree=1765700/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1481.92
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 148191 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526666 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10173
/proc/meminfo: memFree=1765576/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1541.91
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 154190 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134525633 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10175
/proc/meminfo: memFree=1765452/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1601.89
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 160188 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526605 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10175
/proc/meminfo: memFree=1765328/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1661.87
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 166186 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526056 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10177
/proc/meminfo: memFree=1765328/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1721.86
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 172185 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10179
/proc/meminfo: memFree=1764956/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1781.84
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 178183 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134526832 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10179
/proc/meminfo: memFree=1764956/2059040 swapFree=4192956/4192956
[pid=10126] ppid=10124 vsize=8700 CPUtime=0
/proc/10126/stat : 10126 (run) S 10124 10126 9685 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 2424090 8908800 243 1992294400 4194304 4922060 140736124261296 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10126/statm: 2175 243 204 178 0 68 0
[pid=10127] ppid=10126 vsize=40452 CPUtime=1800.05
/proc/10127/stat : 10127 (PB-wave) R 10126 10126 9685 0 -1 4202496 1166 0 0 0 180004 1 0 0 25 0 1 0 2424091 41422848 1096 1992294400 134512640 135071400 4294099504 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10127/statm: 10113 1096 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1800.04
CPU system time (s): 0.019996
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.01154 second user time and 8.5167 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-15 16:15:06
IDJOB=2669887
IDBENCH=1486
IDSOLVER=1171
FILE ID=node089/2669887-1276611306
PBS_JOBID= 11172260
Free space on /tmp= 62556 MiB

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

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

MD5SUM BENCH= d796017ccd28821dde70ee2d87448ada
RANDOM SEED=723276498

node089.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.244
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.48
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.244
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	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1774304 kB
Buffers:         30972 kB
Cached:         131236 kB
SwapCached:          0 kB
Active:          70044 kB
Inactive:       151412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1774304 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1432 kB
Writeback:           0 kB
AnonPages:       59312 kB
Mapped:          15676 kB
Slab:            41624 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182004 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= 62556 MiB
End job on node089 at 2010-06-15 16:45:07