Trace number 2669871

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.07 1800.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
MD5SUM03090e2b7426cc03a4be73b62ee3d658
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 benchmark5.11022
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4622
Total number of constraints12569
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
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 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
Number of bits of the biggest sum of numbers8
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.03	c PB-wave - v2
0.00/0.03	c command line = ./PB-wave
0.00/0.03	c seed = 102841612
0.00/0.03	c cutoff = 1000000
0.00/0.03	c tries = 1000000
0.00/0.03	c heuristic = c best, noise 50 / 100
0.00/0.03	#var 4622 #con 12569
0.00/0.03	mode is SAT
0.00/0.03	c tail starts after flip = 13866
0.00/0.03	c numatom = 4622, numclause = 12569, numliterals = 35913
0.00/0.03	c wff read in
0.00/0.03	c 
0.00/0.03	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.03	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.03	c       this      this      this      this      this      this   success   success       until         std
0.00/0.03	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.03	c
1.59/1.61	c       128       278    253.09     43.19      5.86   1000000         0
3.09/3.18	c       156       288    264.37     46.33      5.71   1000000         0
4.69/4.74	c       154       294    267.16     48.19      5.54   1000000         0
6.29/6.30	c       155       224    262.50     44.78      5.86   1000000         0
7.79/7.87	c       145       292    250.87     46.03      5.45   1000000         0
9.39/9.44	c       143       222    259.72     42.50      6.11   1000000         0
10.89/11.00	c       145       213    259.10     47.17      5.49   1000000         0
12.49/12.56	c       146       219    271.68     51.82      5.24   1000000         0
14.09/14.12	c       145       235    260.22     44.94      5.79   1000000         0
15.69/15.70	c       150       230    259.23     50.07      5.18   1000000         0
17.19/17.25	c       138       253    258.48     37.66      6.86   1000000         0
18.78/18.82	c       146       213    259.22     39.58      6.55   1000000         0
20.38/20.40	c       144       235    255.60     48.02      5.32   1000000         0
21.89/21.96	c       149       243    263.94     45.82      5.76   1000000         0
23.48/23.53	c       159       249    262.97     43.74      6.01   1000000         0
25.08/25.11	c       143       270    254.54     47.26      5.39   1000000         0
26.58/26.67	c       144       257    263.91     44.94      5.87   1000000         0
28.18/28.26	c       116       243    255.66     49.35      5.18   1000000         0
29.77/29.82	c       149       252    268.61     45.65      5.88   1000000         0
31.27/31.37	c       152       271    267.09     44.73      5.97   1000000         0
32.88/32.95	c       133       278    263.47     54.78      4.81   1000000         0
34.47/34.51	c       141       240    258.99     42.80      6.05   1000000         0
35.97/36.07	c       124       231    265.82     49.04      5.42   1000000         0
37.57/37.62	c       155       231    267.81     47.07      5.69   1000000         0
39.17/39.20	c       161       298    262.50     41.47      6.33   1000000         0
40.68/40.77	c       145       271    254.04     41.18      6.17   1000000         0
42.27/42.34	c       121       267    258.35     52.29      4.94   1000000         0
43.88/43.90	c       141       252    259.83     47.66      5.45   1000000         0
45.37/45.47	c       126       205    261.88     51.14      5.12   1000000         0
46.97/47.06	c       139       258    251.01     39.51      6.35   1000000         0
48.57/48.62	c       143       182    262.16     45.87      5.72   1000000         0
50.07/50.19	c       136       280    255.58     40.28      6.34   1000000         0
51.68/51.76	c       162       287    262.74     45.92      5.72   1000000         0
53.27/53.32	c       147       239    264.27     48.82      5.41   1000000         0
54.77/54.88	c       142       229    259.44     40.59      6.39   1000000         0
56.37/56.46	c       132       251    252.58     47.22      5.35   1000000         0
57.97/58.03	c       121       248    253.36     50.18      5.05   1000000         0
59.57/59.61	c       126       258    255.75     45.00      5.68   1000000         0
61.07/61.18	c       140       204    255.60     45.98      5.56   1000000         0
62.67/62.74	c       146       249    258.65     40.02      6.46   1000000         0
64.17/64.29	c       139       274    262.79     45.52      5.77   1000000         0
65.77/65.85	c       128       240    259.60     43.90      5.91   1000000         0
67.36/67.42	c       125       277    259.46     48.02      5.40   1000000         0
68.96/69.00	c       133       163    256.26     51.52      4.97   1000000         0
70.46/70.58	c       135       206    252.85     43.25      5.85   1000000         0
72.06/72.16	c       120       257    255.72     46.33      5.52   1000000         0
73.67/73.73	c       141       316    255.97     41.90      6.11   1000000         0
75.16/75.29	c       143       261    263.10     49.13      5.36   1000000         0
76.76/76.85	c       143       338    261.72     44.57      5.87   1000000         0
78.36/78.41	c       146       272    258.66     45.20      5.72   1000000         0
79.86/79.99	c       140       200    260.92     47.40      5.50   1000000         0
81.46/81.57	c       143       252    257.78     48.58      5.31   1000000         0
83.06/83.14	c       137       263    260.53     47.49      5.49   1000000         0
84.57/84.70	c       148       226    265.36     48.41      5.48   1000000         0
86.16/86.26	c       131       261    255.61     39.95      6.40   1000000         0
87.76/87.84	c       129       304    256.05     42.65      6.00   1000000         0
89.36/89.40	c       142       215    261.81     43.11      6.07   1000000         0
90.86/90.97	c       154       226    262.02     44.41      5.90   1000000         0
92.46/92.52	c       161       256    266.12     40.49      6.57   1000000         0
94.06/94.11	c       141       266    252.21     47.10      5.36   1000000         0
95.56/95.67	c       140       231    260.56     44.10      5.91   1000000         0
97.16/97.24	c       146       235    256.72     46.13      5.57   1000000         0
98.75/98.80	c       146       265    264.53     43.71      6.05   1000000         0
100.25/100.37	c       139       227    261.27     46.69      5.60   1000000         0
101.85/101.94	c       145       251    256.01     45.01      5.69   1000000         0
103.45/103.51	c       130       240    256.10     47.70      5.37   1000000         0
104.95/105.07	c       152       207    262.26     48.88      5.36   1000000         0
106.56/106.62	c       149       241    264.55     46.49      5.69   1000000         0
108.05/108.19	c       124       289    250.13     44.79      5.58   1000000         0
109.65/109.76	c       146       198    267.01     44.62      5.98   1000000         0
111.25/111.34	c       143       294    256.15     42.00      6.10   1000000         0
112.85/112.91	c       140       275    255.64     45.05      5.67   1000000         0
114.36/114.47	c       146       292    262.51     43.13      6.09   1000000         0
115.95/116.05	c       128       196    248.15     43.23      5.74   1000000         0
117.56/117.63	c       141       266    265.63     51.11      5.20   1000000         0
119.15/119.21	c       136       230    259.42     46.34      5.60   1000000         0
120.65/120.78	c       146       310    261.13     43.20      6.05   1000000         0
122.25/122.36	c       138       304    258.66     47.49      5.45   1000000         0
123.85/123.92	c       141       253    260.05     44.48      5.85   1000000         0
125.35/125.49	c       138       257    264.14     49.13      5.38   1000000         0
126.95/127.06	c       140       274    257.79     41.00      6.29   1000000         0
128.55/128.63	c       148       312    267.08     41.76      6.40   1000000         0
130.14/130.21	c       140       278    257.29     44.43      5.79   1000000         0
131.64/131.77	c       142       232    267.93     46.68      5.74   1000000         0
133.24/133.33	c       129       193    261.60     45.21      5.79   1000000         0
134.84/134.91	c       129       221    251.97     41.39      6.09   1000000         0
136.35/136.49	c       141       202    253.51     43.03      5.89   1000000         0
137.94/138.04	c       150       240    266.48     46.62      5.72   1000000         0
139.55/139.63	c       151       242    260.03     47.53      5.47   1000000         0
141.14/141.20	c       125       236    247.57     49.54      5.00   1000000         0
142.64/142.77	c       116       246    257.39     49.90      5.16   1000000         0
144.24/144.33	c       140       229    252.58     43.16      5.85   1000000         0
145.74/145.89	c       140       276    259.63     45.28      5.73   1000000         0
147.35/147.46	c       145       296    257.63     42.83      6.02   1000000         0
148.94/149.04	c       139       234    257.12     46.53      5.53   1000000         0
150.55/150.60	c       115       249    260.54     43.65      5.97   1000000         0
152.04/152.17	c       139       217    262.80     44.01      5.97   1000000         0
153.64/153.73	c       153       244    262.98     45.62      5.76   1000000         0
155.24/155.30	c       143       225    259.24     50.82      5.10   1000000         0
156.74/156.86	c       142       252    265.59     49.64      5.35   1000000         0
158.34/158.43	c       132       174    257.27     43.46      5.92   1000000         0
159.84/159.99	c       159       221    267.54     43.82      6.10   1000000         0
161.44/161.56	c       152       296    259.36     42.96      6.04   1000000         0
163.03/163.13	c       145       196    256.12     49.01      5.23   1000000         0
164.63/164.70	c       156       193    264.96     48.86      5.42   1000000         0
166.13/166.26	c       146       268    266.32     46.07      5.78   1000000         0
167.73/167.82	c       138       246    269.88     41.73      6.47   1000000         0
169.24/169.40	c       139       276    258.04     42.95      6.01   1000000         0
170.83/170.97	c       151       232    261.29     48.17      5.42   1000000         0
172.43/172.54	c       146       221    263.04     45.71      5.75   1000000         0
174.03/174.10	c       132       262    264.85     50.39      5.26   1000000         0
175.53/175.68	c       135       210    255.37     43.41      5.88   1000000         0
177.13/177.26	c       144       302    251.97     42.86      5.88   1000000         0
178.73/178.82	c       136       248    265.91     43.60      6.10   1000000         0
180.24/180.39	c       142       212    259.05     46.30      5.60   1000000         0
181.83/181.96	c       145       247    255.36     45.37      5.63   1000000         0
183.43/183.54	c       132       193    254.95     45.59      5.59   1000000         0
184.93/185.08	c       137       234    267.08     42.47      6.29   1000000         0
186.53/186.67	c       133       276    258.11     50.01      5.16   1000000         0
188.13/188.25	c       160       225    259.61     45.65      5.69   1000000         0
189.73/189.81	c       134       290    261.50     47.23      5.54   1000000         0
191.23/191.38	c       156       269    264.05     50.30      5.25   1000000         0
192.82/192.95	c       136       248    262.77     44.50      5.91   1000000         0
194.42/194.51	c       142       244    260.06     43.47      5.98   1000000         0
195.92/196.08	c       149       284    262.94     45.63      5.76   1000000         0
197.52/197.64	c       128       184    259.83     46.91      5.54   1000000         0
199.12/199.21	c       136       253    258.37     42.11      6.14   1000000         0
200.62/200.77	c       142       258    255.38     41.85      6.10   1000000         0
202.23/202.36	c       115       259    258.18     45.36      5.69   1000000         0
203.82/203.92	c       141       275    260.64     46.43      5.61   1000000         0
205.32/205.49	c       146       296    263.97     43.04      6.13   1000000         0
206.92/207.06	c       150       237    262.67     45.65      5.75   1000000         0
208.52/208.63	c       154       249    259.20     44.49      5.83   1000000         0
210.12/210.21	c       152       292    257.28     43.17      5.96   1000000         0
211.62/211.76	c       126       248    262.27     43.73      6.00   1000000         0
213.23/213.34	c       145       234    260.31     47.95      5.43   1000000         0
214.82/214.91	c       139       194    254.71     49.16      5.18   1000000         0
216.32/216.48	c       143       229    257.76     44.89      5.74   1000000         0
217.92/218.06	c       132       276    251.58     40.32      6.24   1000000         0
219.52/219.63	c       141       244    259.49     44.18      5.87   1000000         0
221.12/221.21	c       122       223    253.66     48.64      5.22   1000000         0
222.62/222.78	c       141       219    256.98     40.91      6.28   1000000         0
224.22/224.35	c       131       235    259.93     49.53      5.25   1000000         0
225.81/225.91	c       152       273    260.15     42.05      6.19   1000000         0
227.31/227.46	c       138       319    262.84     43.86      5.99   1000000         0
228.91/229.04	c       133       284    252.79     45.55      5.55   1000000         0
230.51/230.61	c       142       252    260.61     47.87      5.44   1000000         0
232.02/232.16	c       143       244    265.55     44.76      5.93   1000000         0
233.61/233.73	c       135       269    259.28     45.93      5.65   1000000         0
235.11/235.29	c       139       220    263.06     43.82      6.00   1000000         0
236.71/236.86	c       144       273    262.93     45.16      5.82   1000000         0
238.31/238.45	c       137       200    254.03     49.96      5.08   1000000         0
239.91/240.02	c       143       248    259.40     43.70      5.94   1000000         0
241.51/241.60	c       141       258    259.22     44.70      5.80   1000000         0
243.02/243.15	c       141       306    260.45     43.14      6.04   1000000         0
244.61/244.73	c       145       260    262.03     45.27      5.79   1000000         0
246.11/246.29	c       118       266    259.28     50.21      5.16   1000000         0
247.71/247.86	c       149       243    263.83     43.19      6.11   1000000         0
249.31/249.43	c       143       209    261.85     43.24      6.06   1000000         0
250.91/251.00	c       146       321    257.14     41.34      6.22   1000000         0
252.41/252.56	c       144       268    255.64     42.51      6.01   1000000         0
254.01/254.13	c       141       235    256.11     47.22      5.42   1000000         0
255.61/255.71	c       155       254    257.61     39.03      6.60   1000000         0
257.10/257.27	c       147       237    262.40     38.95      6.74   1000000         0
258.70/258.84	c       145       260    258.62     49.03      5.28   1000000         0
260.20/260.39	c       133       175    263.44     45.34      5.81   1000000         0
261.80/261.97	c       129       270    250.77     45.84      5.47   1000000         0
263.40/263.54	c       129       247    251.07     48.20      5.21   1000000         0
264.91/265.10	c       132       209    255.92     45.63      5.61   1000000         0
266.50/266.67	c       145       257    261.04     44.60      5.85   1000000         0
268.10/268.24	c       150       284    259.41     46.35      5.60   1000000         0
269.69/269.82	c       130       272    261.44     53.60      4.88   1000000         0
271.19/271.38	c       138       239    262.24     47.83      5.48   1000000         0
272.79/272.94	c       138       247    262.63     50.23      5.23   1000000         0
274.39/274.51	c       133       274    257.21     43.47      5.92   1000000         0
275.90/276.07	c       148       265    263.92     43.67      6.04   1000000         0
277.49/277.66	c       134       266    250.40     42.54      5.89   1000000         0
279.09/279.23	c       154       247    265.20     44.33      5.98   1000000         0
280.59/280.79	c       151       256    263.80     48.16      5.48   1000000         0
282.19/282.37	c       156       219    255.22     41.47      6.15   1000000         0
283.79/283.94	c       132       169    261.82     47.19      5.55   1000000         0
285.39/285.50	c       130       232    259.17     48.64      5.33   1000000         0
286.90/287.07	c       155       231    264.84     42.93      6.17   1000000         0
288.49/288.65	c       147       261    260.14     50.99      5.10   1000000         0
290.09/290.21	c       130       248    255.33     43.24      5.90   1000000         0
291.59/291.79	c       143       259    259.20     44.83      5.78   1000000         0
293.19/293.35	c       152       299    263.44     43.63      6.04   1000000         0
294.79/294.92	c       138       319    261.75     49.53      5.28   1000000         0
296.29/296.50	c       146       221    252.65     46.01      5.49   1000000         0
297.89/298.06	c       147       247    263.53     46.69      5.64   1000000         0
299.49/299.63	c       153       278    265.36     48.55      5.47   1000000         0
301.09/301.21	c       137       298    249.63     40.52      6.16   1000000         0
302.58/302.79	c       149       232    262.22     47.62      5.51   1000000         0
304.18/304.36	c       148       202    263.57     46.57      5.66   1000000         0
305.78/305.93	c       140       263    255.03     44.58      5.72   1000000         0
307.38/307.50	c       144       279    260.95     45.38      5.75   1000000         0
308.89/309.09	c       145       269    252.32     40.52      6.23   1000000         0
310.48/310.65	c       146       221    258.19     45.75      5.64   1000000         0
312.08/312.22	c       149       269    257.13     47.13      5.46   1000000         0
313.58/313.78	c       125       254    256.94     48.82      5.26   1000000         0
315.18/315.34	c       133       236    264.73     51.33      5.16   1000000         0
316.78/316.90	c       137       272    259.12     44.91      5.77   1000000         0
318.28/318.48	c       141       272    253.05     48.19      5.25   1000000         0
319.89/320.05	c       146       314    266.06     50.01      5.32   1000000         0
321.48/321.62	c       129       218    249.25     41.65      5.99   1000000         0
322.98/323.19	c       149       241    262.38     47.78      5.49   1000000         0
324.58/324.77	c       144       256    251.20     45.25      5.55   1000000         0
326.18/326.34	c       138       285    259.86     50.28      5.17   1000000         0
327.78/327.92	c       128       254    259.68     46.11      5.63   1000000         0
329.38/329.50	c       135       214    252.19     41.24      6.11   1000000         0
330.88/331.08	c       139       271    255.66     42.14      6.07   1000000         0
332.48/332.64	c       154       197    269.16     48.50      5.55   1000000         0
333.98/334.19	c       153       240    267.71     49.06      5.46   1000000         0
335.58/335.75	c       141       207    261.44     48.39      5.40   1000000         0
337.18/337.31	c       148       228    270.86     46.70      5.80   1000000         0
338.68/338.87	c       140       283    259.46     44.19      5.87   1000000         0
340.28/340.46	c       147       225    258.92     42.78      6.05   1000000         0
341.88/342.02	c       140       216    253.28     47.53      5.33   1000000         0
343.37/343.58	c       153       282    260.25     42.70      6.10   1000000         0
344.97/345.15	c       149       266    258.92     47.40      5.46   1000000         0
346.57/346.72	c       159       303    256.68     44.19      5.81   1000000         0
348.07/348.29	c       144       248    259.11     44.68      5.80   1000000         0
349.68/349.86	c       141       271    261.72     47.72      5.48   1000000         0
351.27/351.44	c       139       232    255.91     47.55      5.38   1000000         0
352.88/353.01	c       135       200    254.24     45.04      5.64   1000000         0
354.37/354.58	c       139       276    264.31     42.68      6.19   1000000         0
355.97/356.15	c       145       259    258.80     46.29      5.59   1000000         0
357.57/357.71	c       144       290    260.49     43.43      6.00   1000000         0
359.07/359.27	c       131       282    260.62     47.16      5.53   1000000         0
360.68/360.84	c       137       227    258.75     47.28      5.47   1000000         0
362.27/362.41	c       156       238    262.24     48.41      5.42   1000000         0
363.77/363.96	c       139       225    266.38     50.62      5.26   1000000         0
365.37/365.52	c       149       237    258.57     43.15      5.99   1000000         0
366.87/367.09	c       144       280    265.03     46.95      5.65   1000000         0
368.47/368.66	c       150       210    263.98     43.79      6.03   1000000         0
370.07/370.23	c       142       299    260.34     45.36      5.74   1000000         0
371.57/371.80	c       138       278    262.99     50.73      5.18   1000000         0
373.17/373.36	c       141       331    261.91     43.21      6.06   1000000         0
374.77/374.93	c       142       205    262.76     45.05      5.83   1000000         0
376.27/376.49	c       137       244    257.68     42.04      6.13   1000000         0
377.86/378.06	c       142       228    254.34     46.01      5.53   1000000         0
379.46/379.62	c       117       257    255.96     44.79      5.71   1000000         0
380.96/381.19	c       147       277    265.47     41.22      6.44   1000000         0
382.57/382.75	c       134       183    256.32     46.24      5.54   1000000         0
384.16/384.32	c       141       309    255.80     45.82      5.58   1000000         0
385.76/385.90	c       158       235    258.17     41.28      6.25   1000000         0
387.26/387.47	c       151       197    257.08     40.63      6.33   1000000         0
388.86/389.04	c       147       212    260.84     39.05      6.68   1000000         0
390.46/390.60	c       140       283    260.06     45.45      5.72   1000000         0
391.96/392.19	c       127       247    253.23     47.88      5.29   1000000         0
393.57/393.76	c       127       266    250.69     43.03      5.83   1000000         0
395.16/395.34	c       148       256    256.97     39.18      6.56   1000000         0
396.66/396.89	c       149       226    264.37     44.84      5.90   1000000         0
398.26/398.46	c       146       263    255.71     46.85      5.46   1000000         0
399.86/400.04	c       136       288    255.26     44.51      5.73   1000000         0
401.46/401.61	c       123       267    253.85     47.78      5.31   1000000         0
402.95/403.17	c       139       316    262.23     47.11      5.57   1000000         0
404.56/404.73	c       145       206    259.52     45.12      5.75   1000000         0
406.15/406.31	c       136       272    266.01     47.60      5.59   1000000         0
407.65/407.87	c       132       277    261.59     48.33      5.41   1000000         0
409.25/409.44	c       143       322    263.64     48.04      5.49   1000000         0
410.85/411.01	c       150       257    264.62     50.04      5.29   1000000         0
412.36/412.57	c       139       211    260.35     43.14      6.03   1000000         0
413.95/414.14	c       147       226    256.52     46.05      5.57   1000000         0
415.56/415.72	c       154       200    264.18     44.78      5.90   1000000         0
417.05/417.28	c       141       285    262.53     51.35      5.11   1000000         0
418.65/418.85	c       138       253    254.49     47.91      5.31   1000000         0
420.25/420.42	c       145       273    265.40     48.80      5.44   1000000         0
421.75/422.00	c       151       196    255.08     45.98      5.55   1000000         0
423.36/423.54	c       150       257    267.63     43.09      6.21   1000000         0
424.95/425.11	c       126       192    254.06     45.37      5.60   1000000         0
426.45/426.69	c       135       312    262.70     48.86      5.38   1000000         0
428.05/428.25	c       155       258    262.26     38.19      6.87   1000000         0
429.65/429.80	c       159       256    266.04     45.24      5.88   1000000         0
431.15/431.39	c       147       284    262.93     47.94      5.48   1000000         0
432.75/432.96	c       144       246    259.93     44.64      5.82   1000000         0
434.35/434.53	c       146       227    259.42     48.68      5.33   1000000         0
435.85/436.09	c       161       262    263.31     47.83      5.50   1000000         0
437.45/437.65	c       155       286    265.15     41.69      6.36   1000000         0
439.05/439.23	c       138       204    252.40     48.55      5.20   1000000         0
440.65/440.80	c       129       243    255.15     47.54      5.37   1000000         0
442.14/442.39	c       140       316    265.76     47.20      5.63   1000000         0
443.74/443.96	c       154       275    261.04     41.32      6.32   1000000         0
445.35/445.53	c       148       191    264.75     43.12      6.14   1000000         0
446.94/447.11	c       147       224    262.19     45.96      5.71   1000000         0
448.44/448.69	c       142       186    255.52     43.59      5.86   1000000         0
450.04/450.27	c       140       252    253.27     41.51      6.10   1000000         0
451.64/451.84	c       146       266    258.35     47.30      5.46   1000000         0
453.14/453.39	c       136       216    256.82     39.87      6.44   1000000         0
454.74/454.96	c       137       287    259.60     43.38      5.98   1000000         0
456.35/456.54	c       144       200    255.29     43.96      5.81   1000000         0
457.84/458.09	c       125       292    262.61     46.35      5.67   1000000         0
459.44/459.67	c       146       259    265.58     41.89      6.34   1000000         0
461.04/461.25	c       131       231    259.43     46.03      5.64   1000000         0
462.64/462.82	c       139       282    259.83     48.37      5.37   1000000         0
464.14/464.38	c       139       252    257.55     47.43      5.43   1000000         0
465.74/465.95	c       147       242    264.52     47.99      5.51   1000000         0
467.34/467.52	c       140       298    262.33     48.37      5.42   1000000         0
468.84/469.09	c       146       216    250.19     47.13      5.31   1000000         0
470.44/470.67	c       126       216    264.62     48.54      5.45   1000000         0
472.04/472.25	c       134       214    252.14     40.55      6.22   1000000         0
473.63/473.81	c       149       234    257.99     42.53      6.07   1000000         0
475.13/475.39	c       144       259    256.28     46.26      5.54   1000000         0
476.73/476.96	c       151       258    260.69     49.35      5.28   1000000         0
478.34/478.53	c       145       173    266.02     45.70      5.82   1000000         0
479.83/480.10	c       124       239    257.67     42.92      6.00   1000000         0
481.43/481.66	c       135       279    260.15     44.63      5.83   1000000         0
483.03/483.24	c       152       225    256.04     42.11      6.08   1000000         0
484.63/484.80	c       146       236    263.69     46.22      5.71   1000000         0
486.13/486.35	c       149       235    262.13     42.51      6.17   1000000         0
487.73/487.92	c       140       245    259.99     48.46      5.37   1000000         0
489.24/489.48	c       155       298    264.32     47.90      5.52   1000000         0
490.83/491.04	c       147       255    262.20     45.72      5.74   1000000         0
492.43/492.61	c       150       276    257.16     46.05      5.58   1000000         0
493.93/494.18	c       150       273    258.69     42.88      6.03   1000000         0
495.53/495.76	c       145       255    260.62     45.45      5.73   1000000         0
497.13/497.35	c       128       267    255.67     47.52      5.38   1000000         0
498.73/498.92	c       140       295    264.38     45.01      5.87   1000000         0
500.23/500.47	c       147       197    265.70     44.67      5.95   1000000         0
501.83/502.04	c       144       326    255.85     44.45      5.76   1000000         0
503.43/503.62	c       147       289    261.07     47.35      5.51   1000000         0
504.93/505.19	c       155       216    261.98     44.53      5.88   1000000         0
506.53/506.76	c       141       261    264.52     46.16      5.73   1000000         0
508.13/508.34	c       141       209    260.66     49.96      5.22   1000000         0
509.73/509.92	c       126       207    259.07     48.12      5.38   1000000         0
511.24/511.49	c       142       261    254.53     47.98      5.30   1000000         0
512.83/513.06	c       131       244    252.24     38.71      6.52   1000000         0
514.43/514.65	c       145       270    254.94     41.83      6.10   1000000         0
516.03/516.22	c       143       311    263.34     51.71      5.09   1000000         0
517.53/517.79	c       140       226    257.54     42.21      6.10   1000000         0
519.13/519.37	c       127       285    257.92     50.81      5.08   1000000         0
520.73/520.94	c       140       254    261.65     45.54      5.75   1000000         0
522.34/522.51	c       149       214    259.86     43.40      5.99   1000000         0
523.83/524.08	c       142       192    255.30     41.64      6.13   1000000         0
525.43/525.65	c       136       228    258.38     44.57      5.80   1000000         0
527.03/527.21	c       162       225    261.32     42.21      6.19   1000000         0
528.53/528.79	c       135       293    252.38     49.28      5.12   1000000         0
530.13/530.37	c       126       246    252.30     49.59      5.09   1000000         0
531.73/531.94	c       125       237    257.27     47.31      5.44   1000000         0
533.33/533.51	c       141       224    259.67     42.65      6.09   1000000         0
534.83/535.08	c       140       273    262.38     43.05      6.10   1000000         0
536.43/536.63	c       151       219    262.32     44.72      5.87   1000000         0
538.03/538.20	c       148       234    262.95     46.61      5.64   1000000         0
539.52/539.78	c       132       282    261.73     46.02      5.69   1000000         0
541.12/541.35	c       140       275    255.74     49.16      5.20   1000000         0
542.72/542.92	c       119       245    255.77     47.28      5.41   1000000         0
544.23/544.49	c       141       234    256.54     45.40      5.65   1000000         0
545.82/546.05	c       150       184    263.17     45.05      5.84   1000000         0
547.42/547.62	c       150       241    255.11     47.42      5.38   1000000         0
548.92/549.19	c       145       275    261.46     45.17      5.79   1000000         0
550.52/550.75	c       149       277    267.48     43.65      6.13   1000000         0
552.12/552.32	c       139       199    263.43     47.79      5.51   1000000         0
553.62/553.88	c       137       249    262.89     52.15      5.04   1000000         0
555.23/555.45	c       141       236    253.81     40.86      6.21   1000000         0
556.82/557.02	c       124       253    254.66     47.02      5.42   1000000         0
558.32/558.59	c       148       225    259.79     44.07      5.90   1000000         0
559.92/560.15	c       140       284    264.30     49.49      5.34   1000000         0
561.52/561.71	c       150       238    260.24     45.31      5.74   1000000         0
563.02/563.28	c       143       239    260.39     44.76      5.82   1000000         0
564.62/564.84	c       154       299    260.95     44.64      5.85   1000000         0
566.22/566.41	c       145       252    262.45     46.59      5.63   1000000         0
567.72/567.98	c       147       239    258.51     39.42      6.56   1000000         0
569.32/569.55	c       133       279    258.60     49.26      5.25   1000000         0
570.92/571.12	c       139       231    258.74     49.28      5.25   1000000         0
572.41/572.68	c       149       301    264.19     43.30      6.10   1000000         0
574.02/574.23	c       143       273    260.74     47.53      5.49   1000000         0
575.51/575.80	c       144       249    261.03     43.51      6.00   1000000         0
577.11/577.37	c       153       208    253.41     47.05      5.39   1000000         0
578.71/578.93	c       130       267    257.71     46.01      5.60   1000000         0
580.21/580.49	c       130       236    260.90     45.15      5.78   1000000         0
581.81/582.06	c       140       266    259.47     41.55      6.25   1000000         0
583.41/583.64	c       147       214    266.55     48.25      5.52   1000000         0
584.92/585.20	c       129       215    265.04     44.06      6.02   1000000         0
586.51/586.78	c       141       207    256.87     44.13      5.82   1000000         0
588.11/588.35	c       147       286    258.56     42.47      6.09   1000000         0
589.71/589.94	c       133       265    245.68     45.11      5.45   1000000         0
591.31/591.50	c       142       252    260.39     48.26      5.40   1000000         0
592.81/593.07	c       146       305    255.40     40.96      6.23   1000000         0
594.41/594.63	c       138       261    267.22     42.69      6.26   1000000         0
595.91/596.20	c       145       232    266.67     51.18      5.21   1000000         0
597.51/597.77	c       145       281    259.49     41.82      6.20   1000000         0
599.11/599.34	c       135       206    257.58     52.05      4.95   1000000         0
600.71/600.90	c       134       255    261.44     48.13      5.43   1000000         0
602.21/602.47	c       136       225    255.63     46.10      5.55   1000000         0
603.81/604.04	c       141       330    259.01     46.63      5.56   1000000         0
605.40/605.61	c       122       225    259.66     44.25      5.87   1000000         0
606.91/607.18	c       116       279    262.02     49.06      5.34   1000000         0
608.50/608.75	c       147       273    261.13     44.16      5.91   1000000         0
610.10/610.32	c       128       258    251.54     44.11      5.70   1000000         0
611.60/611.88	c       150       250    260.53     41.63      6.26   1000000         0
613.20/613.43	c       144       306    265.59     43.31      6.13   1000000         0
614.80/615.00	c       150       273    254.73     46.31      5.50   1000000         0
616.30/616.58	c       129       247    257.60     48.79      5.28   1000000         0
617.91/618.16	c       149       208    264.91     44.72      5.92   1000000         0
619.50/619.74	c       138       234    257.50     44.70      5.76   1000000         0
621.10/621.30	c       134       262    257.96     47.65      5.41   1000000         0
622.60/622.87	c       135       243    258.35     47.86      5.40   1000000         0
624.20/624.43	c       148       291    266.82     38.74      6.89   1000000         0
625.80/626.00	c       158       256    264.48     44.14      5.99   1000000         0
627.30/627.56	c       136       238    255.38     42.81      5.97   1000000         0
628.90/629.14	c       140       257    258.18     44.14      5.85   1000000         0
630.50/630.71	c       141       248    264.97     47.88      5.53   1000000         0
631.99/632.28	c       141       281    259.31     50.54      5.13   1000000         0
633.59/633.84	c       139       244    261.38     44.99      5.81   1000000         0
635.19/635.42	c       145       279    254.94     48.49      5.26   1000000         0
636.70/636.98	c       152       261    271.33     46.40      5.85   1000000         0
638.29/638.54	c       140       257    267.45     51.76      5.17   1000000         0
639.90/640.12	c       140       195    256.90     46.27      5.55   1000000         0
641.39/641.67	c       150       250    263.34     45.71      5.76   1000000         0
642.99/643.25	c       138       327    256.45     44.64      5.75   1000000         0
644.59/644.83	c       145       204    258.77     50.13      5.16   1000000         0
646.09/646.39	c       151       217    269.07     51.07      5.27   1000000         0
647.70/647.96	c       127       220    253.92     49.17      5.16   1000000         0
649.29/649.52	c       140       263    257.82     47.52      5.43   1000000         0
650.79/651.09	c       140       238    266.65     49.46      5.39   1000000         0
652.39/652.65	c       141       250    262.43     44.24      5.93   1000000         0
653.99/654.22	c       131       248    258.39     44.11      5.86   1000000         0
655.59/655.80	c       151       261    258.18     44.18      5.84   1000000         0
657.09/657.36	c       140       235    263.27     43.29      6.08   1000000         0
658.69/658.94	c       129       303    251.20     52.13      4.82   1000000         0
660.29/660.51	c       139       250    260.01     46.23      5.62   1000000         0
661.79/662.08	c       147       241    255.02     42.06      6.06   1000000         0
663.39/663.64	c       133       259    268.85     47.83      5.62   1000000         0
664.98/665.21	c       145       270    257.46     42.04      6.12   1000000         0
666.48/666.78	c       129       293    255.89     47.41      5.40   1000000         0
668.08/668.36	c       136       285    257.85     44.82      5.75   1000000         0
669.69/669.94	c       144       214    255.26     44.72      5.71   1000000         0
671.28/671.51	c       148       304    265.01     41.98      6.31   1000000         0
672.78/673.06	c       158       252    262.33     42.69      6.14   1000000         0
674.38/674.61	c       140       336    260.87     43.84      5.95   1000000         0
675.88/676.18	c       156       277    265.57     44.01      6.03   1000000         0
677.48/677.77	c       146       182    253.95     46.85      5.42   1000000         0
679.08/679.33	c       128       256    261.13     47.85      5.46   1000000         0
680.59/680.90	c       128       242    254.33     45.75      5.56   1000000         0
682.18/682.47	c       140       235    252.29     46.00      5.48   1000000         0
683.78/684.03	c       129       286    249.34     42.00      5.94   1000000         0
685.38/685.60	c       130       269    263.36     43.53      6.05   1000000         0
686.88/687.16	c       141       227    261.88     48.08      5.45   1000000         0
688.48/688.74	c       135       226    260.18     43.22      6.02   1000000         0
690.08/690.31	c       138       178    253.13     43.93      5.76   1000000         0
691.58/691.88	c       143       211    259.79     46.63      5.57   1000000         0
693.18/693.47	c       129       230    254.97     47.03      5.42   1000000         0
694.78/695.04	c       134       232    255.88     44.97      5.69   1000000         0
696.38/696.60	c       150       256    254.42     44.53      5.71   1000000         0
697.87/698.18	c       147       274    257.97     48.92      5.27   1000000         0
699.47/699.74	c       145       274    260.68     43.80      5.95   1000000         0
701.07/701.30	c       146       250    260.25     45.06      5.78   1000000         0
702.58/702.86	c       145       240    260.04     43.46      5.98   1000000         0
704.17/704.42	c       144       267    257.37     46.53      5.53   1000000         0
705.67/705.98	c       140       242    257.14     45.48      5.65   1000000         0
707.27/707.55	c       143       238    263.31     48.25      5.46   1000000         0
708.87/709.12	c       136       210    261.81     46.75      5.60   1000000         0
710.38/710.67	c       151       264    257.23     41.35      6.22   1000000         0
711.97/712.22	c       145       228    260.75     46.84      5.57   1000000         0
713.47/713.79	c       154       286    259.83     44.44      5.85   1000000         0
715.07/715.38	c       145       287    258.65     49.52      5.22   1000000         0
716.67/716.94	c       148       252    264.31     43.93      6.02   1000000         0
718.27/718.52	c       148       234    253.24     39.68      6.38   1000000         0
719.77/720.08	c       141       261    267.43     43.61      6.13   1000000         0
721.37/721.65	c       150       266    256.32     44.43      5.77   1000000         0
722.97/723.20	c       149       224    266.78     49.27      5.41   1000000         0
724.47/724.76	c       153       206    263.81     42.52      6.20   1000000         0
726.07/726.34	c       129       266    247.73     45.38      5.46   1000000         0
727.66/727.91	c       149       250    259.37     48.58      5.34   1000000         0
729.16/729.47	c       148       258    265.54     44.93      5.91   1000000         0
730.76/731.03	c       157       246    260.35     39.99      6.51   1000000         0
732.27/732.60	c       148       287    262.30     48.62      5.39   1000000         0
733.86/734.17	c       138       261    260.47     48.46      5.38   1000000         0
735.46/735.73	c       138       260    257.84     47.00      5.49   1000000         0
737.06/737.31	c       139       234    253.04     47.31      5.35   1000000         0
738.56/738.88	c       140       255    263.32     44.50      5.92   1000000         0
740.16/740.45	c       131       279    254.76     47.92      5.32   1000000         0
741.76/742.02	c       136       295    262.38     47.37      5.54   1000000         0
743.27/743.58	c       144       252    265.05     46.67      5.68   1000000         0
744.86/745.16	c       125       313    256.71     44.72      5.74   1000000         0
746.46/746.72	c       159       232    264.89     39.99      6.62   1000000         0
747.96/748.29	c       153       288    259.54     45.00      5.77   1000000         0
749.56/749.86	c       150       215    263.64     50.48      5.22   1000000         0
751.16/751.43	c       139       250    255.38     45.97      5.56   1000000         0
752.66/752.99	c       148       245    264.25     41.45      6.37   1000000         0
754.26/754.56	c       145       247    262.46     40.42      6.49   1000000         0
755.86/756.11	c       142       238    260.41     44.53      5.85   1000000         0
757.36/757.68	c       135       258    260.00     50.17      5.18   1000000         0
758.96/759.26	c       143       257    256.48     49.28      5.20   1000000         0
760.55/760.85	c       122       201    252.74     47.80      5.29   1000000         0
762.15/762.42	c       140       260    260.57     45.19      5.77   1000000         0
763.75/764.00	c       144       200    252.63     41.92      6.03   1000000         0
765.26/765.56	c       146       289    265.68     45.44      5.85   1000000         0
766.85/767.13	c       131       248    255.55     46.45      5.50   1000000         0
768.45/768.71	c       128       252    252.73     48.69      5.19   1000000         0
769.95/770.28	c       153       251    258.69     42.50      6.09   1000000         0
771.55/771.84	c       150       242    259.47     46.02      5.64   1000000         0
773.06/773.39	c       151       283    268.76     49.12      5.47   1000000         0
774.65/774.97	c       143       295    250.17     45.65      5.48   1000000         0
776.26/776.52	c       137       275    261.16     44.77      5.83   1000000         0
777.75/778.09	c       137       329    254.27     45.41      5.60   1000000         0
779.35/779.66	c       131       281    259.85     43.55      5.97   1000000         0
780.95/781.23	c       139       226    257.87     48.29      5.34   1000000         0
782.55/782.81	c       149       225    254.83     46.14      5.52   1000000         0
784.05/784.37	c       140       244    256.43     48.29      5.31   1000000         0
785.65/785.94	c       128       257    257.10     41.75      6.16   1000000         0
787.25/787.52	c       143       261    260.95     43.15      6.05   1000000         0
788.75/789.09	c       143       237    258.53     54.09      4.78   1000000         0
790.34/790.65	c       132       210    259.04     44.33      5.84   1000000         0
791.94/792.20	c       138       325    266.44     45.92      5.80   1000000         0
793.44/793.78	c       139       259    259.51     40.49      6.41   1000000         0
795.05/795.36	c       120       256    255.18     44.64      5.72   1000000         0
796.64/796.93	c       139       202    260.92     46.23      5.64   1000000         0
798.25/798.50	c       135       256    256.95     49.71      5.17   1000000         0
799.74/800.06	c       140       270    262.01     47.87      5.47   1000000         0
801.34/801.62	c       156       313    266.54     47.64      5.60   1000000         0
802.94/803.20	c       146       263    257.17     45.27      5.68   1000000         0
804.44/804.75	c       142       219    265.35     45.65      5.81   1000000         0
806.05/806.31	c       117       248    259.03     45.18      5.73   1000000         0
807.54/807.89	c       148       316    253.35     41.32      6.13   1000000         0
809.14/809.46	c       142       187    257.45     46.44      5.54   1000000         0
810.74/811.02	c       153       281    255.33     47.10      5.42   1000000         0
812.24/812.58	c       148       271    258.93     43.02      6.02   1000000         0
813.84/814.16	c       135       208    253.22     50.95      4.97   1000000         0
815.44/815.72	c       136       219    258.13     45.57      5.66   1000000         0
816.94/817.28	c       130       245    258.03     44.08      5.85   1000000         0
818.54/818.85	c       141       282    257.82     43.53      5.92   1000000         0
820.14/820.43	c       135       226    254.91     44.28      5.76   1000000         0
821.73/822.00	c       150       256    261.97     43.13      6.07   1000000         0
823.23/823.56	c       142       226    260.72     43.09      6.05   1000000         0
824.83/825.13	c       141       240    255.44     42.47      6.01   1000000         0
826.43/826.70	c       137       238    258.01     50.95      5.06   1000000         0
827.94/828.28	c       136       235    252.79     44.49      5.68   1000000         0
829.53/829.87	c       143       234    257.17     49.14      5.23   1000000         0
831.13/831.44	c       140       220    253.46     48.09      5.27   1000000         0
832.73/833.01	c       146       229    260.04     41.84      6.21   1000000         0
834.23/834.58	c       146       308    258.05     46.12      5.59   1000000         0
835.83/836.14	c       133       251    260.76     47.25      5.52   1000000         0
837.43/837.71	c       152       209    263.74     46.97      5.61   1000000         0
838.94/839.29	c       151       211    258.01     46.64      5.53   1000000         0
840.53/840.86	c       149       240    262.61     46.32      5.67   1000000         0
842.13/842.44	c       129       260    261.68     50.53      5.18   1000000         0
843.73/844.00	c       130       279    259.51     51.79      5.01   1000000         0
845.23/845.57	c       151       292    254.86     45.04      5.66   1000000         0
846.83/847.13	c       158       250    263.60     43.05      6.12   1000000         0
848.43/848.72	c       123       232    254.63     48.65      5.23   1000000         0
849.93/850.29	c       134       285    264.23     48.37      5.46   1000000         0
851.53/851.84	c       142       254    268.29     46.41      5.78   1000000         0
853.03/853.39	c       149       280    263.64     48.52      5.43   1000000         0
854.63/854.96	c       142       257    256.42     42.77      6.00   1000000         0
856.22/856.53	c       136       230    271.69     46.07      5.90   1000000         0
857.82/858.10	c       136       294    257.12     47.22      5.44   1000000         0
859.32/859.67	c       132       269    259.14     45.98      5.64   1000000         0
860.93/861.24	c       141       262    258.94     49.24      5.26   1000000         0
862.42/862.80	c       150       227    261.77     51.44      5.09   1000000         0
864.02/864.37	c       150       290    260.08     46.28      5.62   1000000         0
865.62/865.94	c       133       288    257.32     44.32      5.81   1000000         0
867.22/867.51	c       137       269    259.14     43.84      5.91   1000000         0
868.73/869.08	c       154       302    259.57     38.57      6.73   1000000         0
870.32/870.65	c       142       251    253.07     47.64      5.31   1000000         0
871.93/872.22	c       140       251    260.96     49.05      5.32   1000000         0
873.42/873.77	c       140       241    262.02     48.64      5.39   1000000         0
875.02/875.34	c       146       283    259.42     42.01      6.17   1000000         0
876.62/876.91	c       127       196    253.63     46.80      5.42   1000000         0
878.12/878.48	c       139       214    262.22     45.31      5.79   1000000         0
879.73/880.04	c       137       285    265.06     46.19      5.74   1000000         0
881.32/881.61	c       152       272    252.74     48.71      5.19   1000000         0
882.82/883.17	c       136       218    263.05     48.65      5.41   1000000         0
884.42/884.73	c       123       202    262.82     49.73      5.28   1000000         0
885.92/886.29	c       152       255    260.94     45.35      5.75   1000000         0
887.52/887.85	c       147       277    272.97     49.40      5.53   1000000         0
889.11/889.42	c       131       254    255.31     46.14      5.53   1000000         0
890.62/890.98	c       140       256    256.50     39.97      6.42   1000000         0
892.21/892.55	c       134       300    252.99     44.82      5.64   1000000         0
893.81/894.12	c       143       233    259.12     42.68      6.07   1000000         0
895.41/895.70	c       142       272    255.04     43.07      5.92   1000000         0
896.91/897.25	c       159       262    258.14     42.56      6.06   1000000         0
898.51/898.83	c       150       295    258.76     46.64      5.55   1000000         0
900.01/900.39	c       152       257    262.89     42.55      6.18   1000000         0
901.62/901.97	c       145       239    262.60     44.17      5.94   1000000         0
903.21/903.54	c       117       313    262.96     46.53      5.65   1000000         0
904.81/905.10	c       136       229    255.77     45.70      5.60   1000000         0
906.31/906.67	c       139       258    260.69     48.87      5.33   1000000         0
907.91/908.25	c       146       246    252.99     43.51      5.81   1000000         0
909.51/909.81	c       136       251    265.07     45.02      5.89   1000000         0
911.01/911.38	c       146       213    259.15     46.77      5.54   1000000         0
912.61/912.95	c       140       250    257.12     49.98      5.14   1000000         0
914.21/914.53	c       139       294    255.42     48.80      5.23   1000000         0
915.71/916.09	c       132       315    260.08     47.01      5.53   1000000         0
917.31/917.65	c       157       261    261.78     41.01      6.38   1000000         0
918.90/919.21	c       157       248    269.00     49.01      5.49   1000000         0
920.41/920.78	c       144       286    268.38     46.88      5.73   1000000         0
922.00/922.34	c       133       258    254.34     45.89      5.54   1000000         0
923.61/923.93	c       135       282    256.42     46.60      5.50   1000000         0
925.20/925.50	c       143       219    259.19     46.27      5.60   1000000         0
926.70/927.06	c       153       230    261.71     47.31      5.53   1000000         0
928.30/928.64	c       117       233    256.21     44.45      5.76   1000000         0
929.80/930.18	c       154       259    265.61     48.49      5.48   1000000         0
931.41/931.74	c       126       206    262.52     45.13      5.82   1000000         0
933.00/933.31	c       133       265    258.63     44.81      5.77   1000000         0
934.50/934.88	c       141       250    259.23     48.19      5.38   1000000         0
936.10/936.45	c       149       283    262.09     49.63      5.28   1000000         0
937.70/938.01	c       145       251    269.76     48.93      5.51   1000000         0
939.20/939.56	c       155       258    264.84     46.47      5.70   1000000         0
940.80/941.13	c       124       197    256.04     48.44      5.29   1000000         0
942.30/942.69	c       158       239    272.43     47.65      5.72   1000000         0
943.90/944.25	c       149       233    263.69     45.28      5.82   1000000         0
945.50/945.82	c       141       242    266.65     44.74      5.96   1000000         0
947.00/947.39	c       149       276    256.36     42.32      6.06   1000000         0
948.60/948.95	c       139       296    257.00     43.18      5.95   1000000         0
950.19/950.52	c       126       259    263.52     47.88      5.50   1000000         0
951.69/952.09	c       139       247    259.48     46.92      5.53   1000000         0
953.30/953.67	c       140       219    249.22     45.94      5.42   1000000         0
954.89/955.23	c       139       226    261.53     44.57      5.87   1000000         0
956.49/956.81	c       121       245    256.43     43.72      5.87   1000000         0
957.99/958.37	c       142       294    268.19     42.90      6.25   1000000         0
959.59/959.95	c       130       196    262.35     44.82      5.85   1000000         0
961.19/961.53	c       143       299    268.11     45.55      5.89   1000000         0
962.79/963.10	c       141       251    264.13     49.45      5.34   1000000         0
964.30/964.67	c       148       239    262.39     46.14      5.69   1000000         0
965.89/966.24	c       141       271    252.56     46.15      5.47   1000000         0
967.49/967.81	c        98       238    257.93     48.18      5.35   1000000         0
968.99/969.37	c       135       328    268.14     45.45      5.90   1000000         0
970.59/970.93	c       153       272    260.28     43.59      5.97   1000000         0
972.19/972.51	c       145       207    256.91     46.88      5.48   1000000         0
973.69/974.08	c       146       267    253.21     47.56      5.32   1000000         0
975.29/975.65	c       142       248    261.12     46.99      5.56   1000000         0
976.89/977.20	c       163       207    268.28     44.96      5.97   1000000         0
978.39/978.78	c       144       283    251.17     42.94      5.85   1000000         0
979.99/980.34	c       156       323    264.41     44.72      5.91   1000000         0
981.59/981.92	c       137       313    256.37     44.74      5.73   1000000         0
983.09/983.49	c       141       243    252.61     43.25      5.84   1000000         0
984.68/985.04	c       155       272    261.85     48.86      5.36   1000000         0
986.29/986.61	c       151       257    265.75     51.85      5.13   1000000         0
987.78/988.18	c       149       236    257.51     43.31      5.95   1000000         0
989.38/989.74	c       150       254    263.41     49.44      5.33   1000000         0
990.98/991.30	c       147       261    262.96     44.71      5.88   1000000         0
992.48/992.86	c       137       233    264.45     41.53      6.37   1000000         0
994.09/994.43	c       145       273    256.09     47.14      5.43   1000000         0
995.58/996.00	c       155       305    267.05     46.42      5.75   1000000         0
997.18/997.56	c       131       297    261.43     42.61      6.14   1000000         0
998.78/999.13	c       137       222    263.18     46.76      5.63   1000000         0
1000.28/1000.69	c       137       219    258.94     48.22      5.37   1000000         0
1001.88/1002.25	c       144       296    256.56     48.02      5.34   1000000         0
1003.48/1003.83	c       117       215    255.27     47.90      5.33   1000000         0
1004.98/1005.39	c       148       274    267.54     45.23      5.92   1000000         0
1006.58/1006.95	c       146       227    261.30     44.95      5.81   1000000         0
1008.18/1008.52	c       122       301    254.11     43.05      5.90   1000000         0
1009.67/1010.09	c       150       285    266.31     44.45      5.99   1000000         0
1011.27/1011.66	c       141       219    259.46     46.36      5.60   1000000         0
1012.87/1013.24	c       133       275    251.34     48.73      5.16   1000000         0
1014.47/1014.80	c       143       296    258.31     45.60      5.67   1000000         0
1015.98/1016.37	c       148       227    264.43     49.32      5.36   1000000         0
1017.57/1017.93	c       143       279    256.57     46.53      5.51   1000000         0
1019.17/1019.51	c       138       250    253.69     43.82      5.79   1000000         0
1020.67/1021.08	c       139       269    263.81     49.21      5.36   1000000         0
1022.27/1022.65	c       151       274    269.02     46.01      5.85   1000000         0
1023.87/1024.22	c       143       270    262.54     46.67      5.62   1000000         0
1025.47/1025.80	c       149       211    257.86     46.49      5.55   1000000         0
1026.98/1027.38	c       124       206    258.79     50.65      5.11   1000000         0
1028.57/1028.94	c       142       293    263.91     46.96      5.62   1000000         0
1030.17/1030.50	c       133       227    260.24     47.99      5.42   1000000         0
1031.67/1032.08	c       143       234    253.25     40.33      6.28   1000000         0
1033.27/1033.66	c       129       224    255.30     45.56      5.60   1000000         0
1034.87/1035.24	c       131       298    261.22     48.89      5.34   1000000         0
1036.47/1036.80	c       132       258    263.13     50.02      5.26   1000000         0
1037.97/1038.36	c       149       300    260.31     42.74      6.09   1000000         0
1039.57/1039.93	c       133       268    256.35     47.95      5.35   1000000         0
1041.17/1041.51	c       154       278    258.85     45.31      5.71   1000000         0
1042.67/1043.08	c       150       309    258.67     41.07      6.30   1000000         0
1044.26/1044.65	c       148       275    259.43     45.30      5.73   1000000         0
1045.86/1046.21	c       145       231    261.58     49.14      5.32   1000000         0
1047.36/1047.78	c       156       241    257.38     43.04      5.98   1000000         0
1048.97/1049.35	c       136       174    258.02     45.76      5.64   1000000         0
1050.56/1050.94	c       124       263    253.79     45.63      5.56   1000000         0
1052.16/1052.52	c       122       264    253.81     43.10      5.89   1000000         0
1053.66/1054.07	c       141       272    261.64     43.07      6.07   1000000         0
1055.26/1055.63	c       154       235    263.33     44.77      5.88   1000000         0
1056.86/1057.20	c       152       261    262.57     47.02      5.58   1000000         0
1058.36/1058.78	c       151       209    256.43     43.61      5.88   1000000         0
1059.97/1060.36	c       137       237    255.21     42.36      6.02   1000000         0
1061.56/1061.92	c       130       210    255.20     44.06      5.79   1000000         0
1063.06/1063.48	c       149       276    259.69     41.30      6.29   1000000         0
1064.66/1065.05	c       142       310    257.51     44.06      5.84   1000000         0
1066.26/1066.61	c       135       233    260.24     46.59      5.59   1000000         0
1067.76/1068.19	c       151       269    265.58     43.95      6.04   1000000         0
1069.36/1069.75	c       137       252    268.29     44.61      6.01   1000000         0
1070.96/1071.31	c       150       277    269.72     50.52      5.34   1000000         0
1072.46/1072.89	c       142       235    254.61     43.99      5.79   1000000         0
1074.06/1074.45	c       128       231    262.31     50.78      5.17   1000000         0
1075.66/1076.02	c       147       301    263.22     44.88      5.87   1000000         0
1077.16/1077.59	c       136       213    258.46     47.40      5.45   1000000         0
1078.76/1079.15	c       140       245    258.89     46.17      5.61   1000000         0
1080.35/1080.72	c       158       236    267.69     48.41      5.53   1000000         0
1081.96/1082.31	c       135       220    252.97     45.32      5.58   1000000         0
1083.45/1083.88	c       144       223    262.63     48.00      5.47   1000000         0
1085.05/1085.45	c       125       251    260.14     42.99      6.05   1000000         0
1086.65/1087.02	c       141       276    261.67     44.23      5.92   1000000         0
1088.15/1088.59	c       148       265    263.31     42.68      6.17   1000000         0
1089.76/1090.15	c       148       218    256.65     46.36      5.54   1000000         0
1091.35/1091.71	c       148       229    265.21     43.58      6.09   1000000         0
1092.85/1093.27	c       130       210    256.86     43.02      5.97   1000000         0
1094.45/1094.83	c       146       294    261.43     46.29      5.65   1000000         0
1096.05/1096.40	c       125       293    257.23     46.75      5.50   1000000         0
1097.55/1097.98	c       148       212    256.59     44.73      5.74   1000000         0
1099.15/1099.56	c       135       212    250.84     42.30      5.93   1000000         0
1100.76/1101.12	c       145       259    262.46     46.89      5.60   1000000         0
1102.25/1102.69	c       147       218    262.36     44.96      5.84   1000000         0
1103.85/1104.25	c       143       271    259.24     44.39      5.84   1000000         0
1105.44/1105.81	c       137       241    269.35     49.45      5.45   1000000         0
1106.94/1107.39	c       144       244    258.19     46.42      5.56   1000000         0
1108.54/1108.97	c       141       256    259.49     42.07      6.17   1000000         0
1110.14/1110.54	c       134       262    259.73     46.32      5.61   1000000         0
1111.65/1112.10	c       145       292    265.62     39.75      6.68   1000000         0
1113.24/1113.66	c       136       200    262.83     47.49      5.53   1000000         0
1114.84/1115.23	c       134       261    251.36     48.93      5.14   1000000         0
1116.44/1116.80	c       136       261    264.56     47.10      5.62   1000000         0
1117.94/1118.37	c       138       261    259.14     43.88      5.91   1000000         0
1119.54/1119.94	c       134       223    256.73     43.21      5.94   1000000         0
1121.14/1121.51	c       146       294    258.20     52.54      4.91   1000000         0
1122.65/1123.08	c       138       247    266.07     49.69      5.35   1000000         0
1124.24/1124.63	c       139       287    266.35     47.60      5.60   1000000         0
1125.84/1126.20	c       153       262    261.12     44.85      5.82   1000000         0
1127.34/1127.77	c       149       303    262.50     46.93      5.59   1000000         0
1128.94/1129.33	c       144       288    259.40     40.14      6.46   1000000         0
1130.54/1130.90	c       143       234    258.84     44.21      5.86   1000000         0
1132.04/1132.47	c       130       274    254.54     44.75      5.69   1000000         0
1133.64/1134.04	c       156       312    260.51     41.22      6.32   1000000         0
1135.24/1135.61	c       126       239    262.58     48.38      5.43   1000000         0
1136.74/1137.19	c       128       243    251.09     43.56      5.76   1000000         0
1138.33/1138.75	c       130       217    260.80     47.63      5.48   1000000         0
1139.93/1140.32	c       149       265    259.71     46.46      5.59   1000000         0
1141.44/1141.88	c       140       264    265.44     46.34      5.73   1000000         0
1143.03/1143.47	c       142       248    259.28     49.39      5.25   1000000         0
1144.64/1145.02	c       160       236    273.10     47.01      5.81   1000000         0
1146.13/1146.59	c       133       277    263.43     50.81      5.18   1000000         0
1147.73/1148.15	c       144       255    260.95     40.47      6.45   1000000         0
1149.33/1149.73	c       148       251    255.08     49.75      5.13   1000000         0
1150.93/1151.31	c       147       272    257.10     45.06      5.71   1000000         0
1152.44/1152.87	c       114       305    263.80     46.16      5.72   1000000         0
1154.03/1154.44	c       144       270    261.37     46.73      5.59   1000000         0
1155.53/1155.99	c       151       284    266.31     40.49      6.58   1000000         0
1157.13/1157.56	c       122       215    260.56     52.65      4.95   1000000         0
1158.73/1159.13	c       142       248    260.40     42.84      6.08   1000000         0
1160.33/1160.70	c       158       249    259.78     43.29      6.00   1000000         0
1161.83/1162.27	c       155       274    262.23     46.09      5.69   1000000         0
1163.43/1163.85	c       112       239    253.69     40.47      6.27   1000000         0
1165.03/1165.41	c       143       301    265.55     47.01      5.65   1000000         0
1166.53/1166.98	c       152       249    264.20     49.93      5.29   1000000         0
1168.13/1168.55	c       148       229    260.14     46.40      5.61   1000000         0
1169.73/1170.10	c       127       255    261.95     56.90      4.60   1000000         0
1171.22/1171.68	c       143       240    254.76     48.04      5.30   1000000         0
1172.82/1173.26	c       139       184    255.94     45.42      5.64   1000000         0
1174.43/1174.82	c       141       274    270.05     46.41      5.82   1000000         0
1175.92/1176.39	c       149       237    260.70     47.72      5.46   1000000         0
1177.52/1177.96	c       136       257    253.48     42.45      5.97   1000000         0
1179.12/1179.53	c       141       213    253.15     45.21      5.60   1000000         0
1180.62/1181.08	c       158       257    259.00     49.04      5.28   1000000         0
1182.22/1182.66	c       146       253    256.66     42.14      6.09   1000000         0
1183.82/1184.23	c       145       215    265.43     46.97      5.65   1000000         0
1185.33/1185.80	c       132       259    252.05     41.72      6.04   1000000         0
1186.92/1187.38	c       148       269    261.31     46.83      5.58   1000000         0
1188.52/1188.93	c       141       225    265.26     45.52      5.83   1000000         0
1190.12/1190.51	c       138       242    260.83     44.18      5.90   1000000         0
1191.62/1192.08	c       131       231    264.32     51.49      5.13   1000000         0
1193.22/1193.64	c       143       292    262.54     52.22      5.03   1000000         0
1194.82/1195.22	c       123       212    259.16     45.60      5.68   1000000         0
1196.32/1196.80	c       125       255    254.85     49.02      5.20   1000000         0
1197.92/1198.37	c       140       276    259.18     45.78      5.66   1000000         0
1199.52/1199.94	c       146       246    258.69     42.15      6.14   1000000         0
1201.12/1201.51	c       136       263    260.32     44.60      5.84   1000000         0
1202.62/1203.08	c       141       212    260.28     45.27      5.75   1000000         0
1204.21/1204.65	c       135       246    259.48     47.58      5.45   1000000         0
1205.81/1206.22	c       126       251    249.21     41.65      5.98   1000000         0
1207.32/1207.80	c       145       220    256.76     46.00      5.58   1000000         0
1208.91/1209.38	c       146       277    260.56     45.07      5.78   1000000         0
1210.51/1210.95	c       137       244    254.60     42.48      5.99   1000000         0
1212.11/1212.53	c       155       277    259.40     44.93      5.77   1000000         0
1213.71/1214.10	c       135       257    255.56     45.86      5.57   1000000         0
1215.21/1215.68	c       142       278    258.43     45.52      5.68   1000000         0
1216.81/1217.27	c       131       231    245.83     44.74      5.49   1000000         0
1218.42/1218.83	c       138       269    261.82     50.55      5.18   1000000         0
1220.01/1220.41	c       144       277    251.49     48.05      5.23   1000000         0
1221.51/1221.97	c       144       220    268.32     45.47      5.90   1000000         0
1223.11/1223.56	c       122       280    253.27     48.02      5.27   1000000         0
1224.71/1225.12	c       152       282    265.47     46.46      5.71   1000000         0
1226.21/1226.69	c       144       259    258.33     39.70      6.51   1000000         0
1227.81/1228.27	c       142       269    262.36     44.40      5.91   1000000         0
1229.41/1229.85	c       126       247    261.30     48.49      5.39   1000000         0
1231.01/1231.43	c       144       185    258.92     43.23      5.99   1000000         0
1232.61/1233.00	c       141       246    264.90     45.38      5.84   1000000         0
1234.11/1234.56	c       148       200    259.16     47.36      5.47   1000000         0
1235.71/1236.12	c       156       239    269.30     41.12      6.55   1000000         0
1237.30/1237.71	c       127       208    256.67     44.73      5.74   1000000         0
1238.80/1239.27	c       140       274    265.56     44.22      6.01   1000000         0
1240.41/1240.84	c       118       274    253.19     46.05      5.50   1000000         0
1242.00/1242.43	c       141       287    255.38     44.86      5.69   1000000         0
1243.61/1244.00	c       136       237    257.11     45.29      5.68   1000000         0
1245.10/1245.56	c       136       220    258.67     49.03      5.28   1000000         0
1246.70/1247.14	c       139       235    256.27     43.49      5.89   1000000         0
1248.30/1248.70	c       155       270    256.80     43.53      5.90   1000000         0
1249.80/1250.27	c       139       294    260.75     50.23      5.19   1000000         0
1251.41/1251.83	c       137       275    259.25     45.30      5.72   1000000         0
1252.90/1253.39	c       156       234    260.61     46.01      5.66   1000000         0
1254.50/1254.97	c       142       205    249.49     47.01      5.31   1000000         0
1256.10/1256.54	c       127       272    256.77     44.08      5.83   1000000         0
1257.70/1258.11	c       139       276    257.42     42.84      6.01   1000000         0
1259.20/1259.66	c       143       246    260.54     46.54      5.60   1000000         0
1260.80/1261.23	c       147       243    257.64     51.22      5.03   1000000         0
1262.31/1262.80	c       145       286    259.65     44.70      5.81   1000000         0
1263.90/1264.37	c       120       247    258.83     44.66      5.80   1000000         0
1265.50/1265.94	c       145       297    258.98     44.69      5.80   1000000         0
1267.10/1267.50	c       147       235    259.89     44.30      5.87   1000000         0
1268.60/1269.08	c       146       240    258.50     49.16      5.26   1000000         0
1270.19/1270.65	c       145       268    254.17     43.21      5.88   1000000         0
1271.79/1272.21	c       149       285    265.62     45.49      5.84   1000000         0
1273.30/1273.78	c       139       239    257.78     46.47      5.55   1000000         0
1274.89/1275.35	c       134       237    258.68     42.84      6.04   1000000         0
1276.49/1276.91	c       157       179    267.35     49.05      5.45   1000000         0
1277.99/1278.47	c       152       281    270.93     46.84      5.78   1000000         0
1279.59/1280.03	c       139       243    264.40     42.88      6.17   1000000         0
1281.10/1281.59	c       147       203    255.15     43.27      5.90   1000000         0
1282.69/1283.17	c       147       207    257.43     47.40      5.43   1000000         0
1284.30/1284.73	c       134       233    255.89     46.25      5.53   1000000         0
1285.89/1286.31	c       145       344    261.63     45.30      5.78   1000000         0
1287.39/1287.87	c       136       210    267.45     49.11      5.45   1000000         0
1288.99/1289.44	c       132       271    267.46     49.42      5.41   1000000         0
1290.59/1291.02	c       143       250    253.96     43.97      5.78   1000000         0
1292.19/1292.60	c       136       245    249.92     41.21      6.07   1000000         0
1293.69/1294.15	c       152       260    266.72     43.03      6.20   1000000         0
1295.30/1295.71	c       153       188    256.37     40.26      6.37   1000000         0
1296.79/1297.28	c       146       224    255.74     47.33      5.40   1000000         0
1298.39/1298.85	c       142       221    258.12     46.31      5.57   1000000         0
1299.99/1300.41	c       152       214    266.28     49.58      5.37   1000000         0
1301.49/1301.98	c       143       263    254.88     43.66      5.84   1000000         0
1303.09/1303.55	c       148       275    261.23     44.24      5.90   1000000         0
1304.68/1305.13	c       136       295    250.77     44.45      5.64   1000000         0
1306.29/1306.71	c       140       294    250.06     46.78      5.35   1000000         0
1307.78/1308.27	c       151       273    258.50     44.25      5.84   1000000         0
1309.38/1309.85	c       139       342    259.89     44.19      5.88   1000000         0
1310.98/1311.40	c       163       302    268.76     40.96      6.56   1000000         0
1312.48/1312.97	c       140       267    261.85     45.23      5.79   1000000         0
1314.09/1314.52	c       143       226    263.05     41.82      6.29   1000000         0
1315.58/1316.08	c       132       228    260.92     51.18      5.10   1000000         0
1317.18/1317.64	c       159       271    265.76     41.45      6.41   1000000         0
1318.78/1319.22	c       144       252    253.61     44.63      5.68   1000000         0
1320.28/1320.78	c       133       280    263.32     46.91      5.61   1000000         0
1321.88/1322.35	c       146       285    260.88     47.46      5.50   1000000         0
1323.48/1323.92	c       148       241    258.51     43.66      5.92   1000000         0
1324.98/1325.49	c       136       209    259.31     47.43      5.47   1000000         0
1326.58/1327.06	c       147       255    266.01     44.80      5.94   1000000         0
1328.18/1328.64	c       138       317    250.41     44.36      5.65   1000000         0
1329.78/1330.21	c       140       248    255.57     47.11      5.43   1000000         0
1331.28/1331.77	c       145       272    260.78     44.61      5.85   1000000         0
1332.88/1333.34	c       122       255    256.06     41.71      6.14   1000000         0
1334.48/1334.91	c       133       225    258.90     49.75      5.20   1000000         0
1335.98/1336.48	c       137       290    261.44     52.71      4.96   1000000         0
1337.57/1338.05	c       134       215    259.04     43.69      5.93   1000000         0
1339.17/1339.62	c       151       258    262.97     39.21      6.71   1000000         0
1340.67/1341.18	c       130       213    255.77     43.59      5.87   1000000         0
1342.27/1342.75	c       150       235    260.05     40.51      6.42   1000000         0
1343.87/1344.31	c       150       240    261.26     43.46      6.01   1000000         0
1345.37/1345.88	c       145       262    264.21     42.99      6.15   1000000         0
1346.98/1347.44	c       131       294    255.45     45.96      5.56   1000000         0
1348.57/1349.03	c       128       224    258.44     47.69      5.42   1000000         0
1350.17/1350.61	c       124       267    255.03     57.76      4.42   1000000         0
1351.67/1352.18	c       154       265    259.85     41.41      6.27   1000000         0
1353.27/1353.75	c       143       234    261.76     51.14      5.12   1000000         0
1354.87/1355.32	c       154       223    267.46     45.47      5.88   1000000         0
1356.37/1356.88	c       149       313    261.04     43.40      6.01   1000000         0
1357.97/1358.45	c       149       267    266.84     48.35      5.52   1000000         0
1359.57/1360.02	c       140       288    259.71     46.02      5.64   1000000         0
1361.17/1361.60	c       136       225    255.99     45.87      5.58   1000000         0
1362.67/1363.17	c       139       244    255.09     48.52      5.26   1000000         0
1364.27/1364.74	c       153       230    261.30     47.53      5.50   1000000         0
1365.77/1366.29	c       148       316    263.25     49.33      5.34   1000000         0
1367.37/1367.85	c       155       224    261.22     47.98      5.44   1000000         0
1368.97/1369.41	c       142       249    262.77     48.67      5.40   1000000         0
1370.46/1370.99	c       139       267    257.49     47.77      5.39   1000000         0
1372.06/1372.55	c       132       204    256.92     44.99      5.71   1000000         0
1373.66/1374.14	c       148       275    253.28     42.36      5.98   1000000         0
1375.26/1375.71	c       138       284    255.49     42.69      5.98   1000000         0
1376.77/1377.28	c       137       214    262.37     44.28      5.93   1000000         0
1378.36/1378.85	c       140       210    259.09     45.22      5.73   1000000         0
1379.97/1380.40	c       157       267    262.86     46.37      5.67   1000000         0
1381.46/1381.98	c       131       251    252.68     48.40      5.22   1000000         0
1383.06/1383.54	c       132       247    263.05     51.77      5.08   1000000         0
1384.66/1385.11	c       132       275    257.62     44.18      5.83   1000000         0
1386.16/1386.68	c       155       239    265.53     43.81      6.06   1000000         0
1387.77/1388.24	c       142       256    264.60     47.93      5.52   1000000         0
1389.36/1389.81	c       137       230    255.27     41.23      6.19   1000000         0
1390.86/1391.36	c       158       265    266.13     46.07      5.78   1000000         0
1392.46/1392.93	c       131       221    266.78     45.66      5.84   1000000         0
1394.06/1394.50	c       140       265    259.32     47.28      5.48   1000000         0
1395.56/1396.08	c       132       280    253.00     42.78      5.91   1000000         0
1397.16/1397.64	c       147       257    264.40     47.98      5.51   1000000         0
1398.76/1399.23	c       137       240    250.84     49.93      5.02   1000000         0
1400.26/1400.79	c       147       316    262.87     43.96      5.98   1000000         0
1401.85/1402.36	c       141       310    266.59     55.20      4.83   1000000         0
1403.45/1403.93	c       152       229    264.16     47.74      5.53   1000000         0
1405.05/1405.50	c       149       232    263.56     52.12      5.06   1000000         0
1406.65/1407.10	c       139       231    254.77     46.72      5.45   1000000         0
1408.15/1408.67	c       135       190    255.75     47.89      5.34   1000000         0
1409.76/1410.22	c       155       236    272.38     44.49      6.12   1000000         0
1411.25/1411.78	c       161       235    264.52     40.69      6.50   1000000         0
1412.85/1413.35	c       154       222    261.94     43.41      6.03   1000000         0
1414.45/1414.92	c       132       212    255.49     47.98      5.32   1000000         0
1415.95/1416.49	c       128       313    259.96     45.40      5.73   1000000         0
1417.55/1418.06	c       144       254    251.02     41.47      6.05   1000000         0
1419.15/1419.62	c       148       238    266.53     48.67      5.48   1000000         0
1420.66/1421.19	c       141       213    255.24     43.85      5.82   1000000         0
1422.25/1422.75	c       142       230    259.59     42.77      6.07   1000000         0
1423.85/1424.32	c       142       240    263.39     47.83      5.51   1000000         0
1425.35/1425.89	c       136       243    256.17     48.08      5.33   1000000         0
1426.95/1427.45	c       137       227    261.04     48.45      5.39   1000000         0
1428.55/1429.02	c       146       203    260.22     44.09      5.90   1000000         0
1430.05/1430.59	c       143       279    263.08     49.21      5.35   1000000         0
1431.65/1432.16	c       142       275    251.80     42.43      5.93   1000000         0
1433.25/1433.73	c       133       269    258.31     48.20      5.36   1000000         0
1434.84/1435.31	c       139       225    258.82     45.15      5.73   1000000         0
1436.34/1436.87	c       140       324    266.16     48.98      5.43   1000000         0
1437.94/1438.45	c       147       267    259.34     46.33      5.60   1000000         0
1439.54/1440.01	c       116       240    266.77     49.81      5.36   1000000         0
1441.04/1441.59	c       130       267    252.43     43.95      5.74   1000000         0
1442.65/1443.16	c       137       306    262.45     47.54      5.52   1000000         0
1444.24/1444.72	c       131       266    258.75     42.75      6.05   1000000         0
1445.84/1446.30	c       134       251    250.38     48.00      5.22   1000000         0
1447.34/1447.87	c       139       303    261.98     40.35      6.49   1000000         0
1448.94/1449.42	c       153       228    261.29     47.91      5.45   1000000         0
1450.54/1451.00	c       145       246    256.46     44.80      5.72   1000000         0
1452.04/1452.57	c       122       175    254.02     49.22      5.16   1000000         0
1453.65/1454.14	c       144       270    258.02     44.24      5.83   1000000         0
1455.24/1455.71	c       140       237    258.10     45.47      5.68   1000000         0
1456.74/1457.29	c       128       259    252.78     41.56      6.08   1000000         0
1458.34/1458.85	c       149       243    259.52     45.44      5.71   1000000         0
1459.94/1460.41	c       153       306    258.90     46.21      5.60   1000000         0
1461.44/1461.98	c       150       270    255.92     43.01      5.95   1000000         0
1463.04/1463.54	c       134       223    255.49     44.25      5.77   1000000         0
1464.64/1465.13	c       133       236    256.31     50.99      5.03   1000000         0
1466.14/1466.69	c       136       212    255.26     45.41      5.62   1000000         0
1467.74/1468.25	c       139       199    256.25     46.82      5.47   1000000         0
1469.34/1469.83	c       150       263    260.53     47.97      5.43   1000000         0
1470.84/1471.40	c       144       245    262.21     46.47      5.64   1000000         0
1472.44/1472.96	c       151       287    264.56     48.23      5.48   1000000         0
1474.03/1474.54	c       141       240    262.65     48.59      5.41   1000000         0
1475.64/1476.12	c       135       257    252.33     46.08      5.48   1000000         0
1477.13/1477.68	c       118       323    258.13     45.71      5.65   1000000         0
1478.73/1479.26	c       150       231    261.51     44.99      5.81   1000000         0
1480.33/1480.84	c       128       237    250.77     51.01      4.92   1000000         0
1481.93/1482.41	c       135       267    264.36     42.73      6.19   1000000         0
1483.44/1483.99	c       148       252    252.48     46.00      5.49   1000000         0
1485.03/1485.57	c       134       241    253.43     49.15      5.16   1000000         0
1486.64/1487.14	c       138       188    256.48     47.34      5.42   1000000         0
1488.13/1488.69	c       145       205    264.30     42.08      6.28   1000000         0
1489.73/1490.25	c       150       245    263.24     44.88      5.87   1000000         0
1491.33/1491.81	c       149       305    259.02     46.16      5.61   1000000         0
1492.83/1493.39	c       138       306    258.45     44.50      5.81   1000000         0
1494.44/1494.96	c       134       279    253.51     45.38      5.59   1000000         0
1496.03/1496.52	c       149       201    264.24     43.35      6.10   1000000         0
1497.53/1498.09	c       142       259    256.81     50.03      5.13   1000000         0
1499.13/1499.66	c       149       287    255.65     44.13      5.79   1000000         0
1500.73/1501.23	c       145       241    261.58     49.78      5.25   1000000         0
1502.23/1502.79	c       135       245    259.69     46.27      5.61   1000000         0
1503.83/1504.35	c       157       271    256.57     42.48      6.04   1000000         0
1505.43/1505.92	c       154       246    261.01     42.47      6.15   1000000         0
1506.92/1507.49	c       136       245    259.09     45.96      5.64   1000000         0
1508.52/1509.06	c       146       277    262.70     45.51      5.77   1000000         0
1510.12/1510.63	c       148       300    253.02     45.32      5.58   1000000         0
1511.72/1512.20	c       149       282    265.13     48.78      5.44   1000000         0
1513.22/1513.78	c       138       197    258.82     44.44      5.82   1000000         0
1514.82/1515.34	c       139       192    261.88     46.85      5.59   1000000         0
1516.43/1516.91	c       140       255    254.34     41.37      6.15   1000000         0
1517.92/1518.47	c       133       217    259.65     50.56      5.14   1000000         0
1519.52/1520.04	c       142       230    251.98     45.98      5.48   1000000         0
1521.12/1521.60	c       135       226    260.62     51.34      5.08   1000000         0
1522.62/1523.15	c       145       186    261.46     44.21      5.91   1000000         0
1524.22/1524.72	c       143       293    257.40     40.27      6.39   1000000         0
1525.72/1526.29	c       151       229    257.09     42.14      6.10   1000000         0
1527.33/1527.85	c       144       268    257.03     40.69      6.32   1000000         0
1528.92/1529.42	c       153       213    264.27     47.93      5.51   1000000         0
1530.42/1530.98	c       148       240    255.67     45.68      5.60   1000000         0
1532.02/1532.55	c       114       266    256.59     49.04      5.23   1000000         0
1533.62/1534.11	c       154       231    264.33     46.31      5.71   1000000         0
1535.12/1535.69	c       138       216    255.08     49.57      5.15   1000000         0
1536.72/1537.26	c       136       227    259.55     45.56      5.70   1000000         0
1538.32/1538.84	c       148       231    262.20     44.74      5.86   1000000         0
1539.91/1540.41	c       150       225    261.31     46.58      5.61   1000000         0
1541.41/1541.98	c       124       229    256.98     46.91      5.48   1000000         0
1543.01/1543.56	c       126       269    252.78     44.90      5.63   1000000         0
1544.61/1545.13	c       138       253    252.76     46.33      5.46   1000000         0
1546.12/1546.69	c       147       241    263.48     47.23      5.58   1000000         0
1547.71/1548.27	c       125       267    254.05     45.92      5.53   1000000         0
1549.32/1549.83	c       138       272    264.13     50.87      5.19   1000000         0
1550.91/1551.40	c       145       210    256.12     43.33      5.91   1000000         0
1552.41/1552.97	c       135       224    253.19     54.23      4.67   1000000         0
1554.01/1554.53	c       153       315    262.38     48.04      5.46   1000000         0
1555.61/1556.10	c       153       273    260.71     41.05      6.35   1000000         0
1557.11/1557.67	c       140       214    254.31     46.53      5.47   1000000         0
1558.71/1559.23	c       124       247    260.19     50.18      5.18   1000000         0
1560.31/1560.81	c       141       252    255.39     48.61      5.25   1000000         0
1561.81/1562.38	c       140       281    254.74     46.78      5.45   1000000         0
1563.41/1563.96	c       143       238    250.02     40.91      6.11   1000000         0
1565.01/1565.52	c       139       212    259.61     46.40      5.60   1000000         0
1566.50/1567.09	c       141       235    264.37     47.19      5.60   1000000         0
1568.11/1568.67	c       122       233    254.35     49.15      5.17   1000000         0
1569.70/1570.25	c       141       265    252.28     46.88      5.38   1000000         0
1571.31/1571.83	c       128       280    252.87     44.16      5.73   1000000         0
1572.90/1573.41	c       151       236    264.55     45.81      5.78   1000000         0
1574.40/1574.99	c       146       242    255.09     46.89      5.44   1000000         0
1576.00/1576.56	c       141       184    258.10     47.56      5.43   1000000         0
1577.60/1578.12	c       149       252    258.79     41.53      6.23   1000000         0
1579.11/1579.68	c       134       237    260.24     46.18      5.64   1000000         0
1580.70/1581.26	c       138       181    255.53     45.89      5.57   1000000         0
1582.31/1582.83	c       136       270    256.84     48.08      5.34   1000000         0
1583.90/1584.41	c       135       248    258.87     47.28      5.48   1000000         0
1585.40/1585.96	c       148       290    267.21     47.19      5.66   1000000         0
1587.00/1587.53	c       119       261    259.90     49.31      5.27   1000000         0
1588.50/1589.10	c       144       238    259.65     44.07      5.89   1000000         0
1590.10/1590.67	c       122       249    253.25     41.61      6.09   1000000         0
1591.70/1592.24	c       139       288    257.32     43.73      5.88   1000000         0
1593.30/1593.82	c       139       371    252.52     40.65      6.21   1000000         0
1594.90/1595.40	c       137       210    259.20     44.69      5.80   1000000         0
1596.40/1596.98	c       138       223    250.77     45.77      5.48   1000000         0
1598.00/1598.56	c       140       256    260.68     49.69      5.25   1000000         0
1599.59/1600.13	c       133       187    252.12     48.93      5.15   1000000         0
1601.19/1601.71	c       148       256    250.87     44.02      5.70   1000000         0
1602.69/1603.26	c       161       253    276.62     48.20      5.74   1000000         0
1604.30/1604.82	c       141       236    266.21     45.44      5.86   1000000         0
1605.79/1606.39	c       135       214    255.46     48.79      5.24   1000000         0
1607.39/1607.97	c       146       223    255.20     39.45      6.47   1000000         0
1608.99/1609.55	c       126       329    255.51     42.76      5.98   1000000         0
1610.59/1611.13	c       138       237    259.52     49.64      5.23   1000000         0
1612.19/1612.70	c       133       271    254.21     49.54      5.13   1000000         0
1613.69/1614.27	c       135       243    258.69     54.47      4.75   1000000         0
1615.30/1615.84	c       141       224    253.76     44.02      5.76   1000000         0
1616.89/1617.40	c       159       319    265.54     49.32      5.38   1000000         0
1618.39/1618.97	c       155       246    260.55     40.47      6.44   1000000         0
1619.99/1620.53	c       140       244    255.30     48.47      5.27   1000000         0
1621.59/1622.11	c       140       262    254.37     39.84      6.38   1000000         0
1623.10/1623.67	c       137       244    257.03     46.48      5.53   1000000         0
1624.69/1625.24	c       142       297    260.86     47.82      5.46   1000000         0
1626.29/1626.81	c       132       246    257.61     45.08      5.71   1000000         0
1627.79/1628.36	c       123       245    260.75     43.38      6.01   1000000         0
1629.39/1629.93	c       130       282    264.20     47.85      5.52   1000000         0
1630.99/1631.50	c       149       270    260.95     48.72      5.36   1000000         0
1632.48/1633.07	c       156       300    260.10     46.46      5.60   1000000         0
1634.09/1634.64	c       151       214    265.51     50.07      5.30   1000000         0
1635.68/1636.21	c       147       323    257.49     42.55      6.05   1000000         0
1637.18/1637.78	c       150       245    255.82     44.15      5.79   1000000         0
1638.78/1639.34	c       139       213    258.06     46.32      5.57   1000000         0
1640.38/1640.91	c       136       299    262.95     41.92      6.27   1000000         0
1641.88/1642.48	c       142       233    253.81     49.09      5.17   1000000         0
1643.48/1644.05	c       142       225    254.03     43.65      5.82   1000000         0
1645.09/1645.62	c       140       283    255.18     43.33      5.89   1000000         0
1646.58/1647.19	c       146       313    252.66     40.25      6.28   1000000         0
1648.18/1648.75	c       147       344    258.48     44.03      5.87   1000000         0
1649.78/1650.33	c       130       283    257.38     42.92      6.00   1000000         0
1651.38/1651.90	c       131       258    263.32     48.30      5.45   1000000         0
1652.88/1653.47	c       145       239    260.35     46.39      5.61   1000000         0
1654.48/1655.04	c       150       270    267.28     42.40      6.30   1000000         0
1656.09/1656.62	c       136       243    252.21     48.14      5.24   1000000         0
1657.58/1658.18	c       135       231    265.86     52.25      5.09   1000000         0
1659.18/1659.76	c       135       269    255.05     45.51      5.60   1000000         0
1660.78/1661.33	c       131       221    257.52     45.55      5.65   1000000         0
1662.28/1662.89	c       124       233    268.35     43.68      6.14   1000000         0
1663.88/1664.46	c       131       216    256.45     48.86      5.25   1000000         0
1665.48/1666.03	c       150       236    257.86     44.08      5.85   1000000         0
1666.98/1667.60	c       156       292    266.35     46.14      5.77   1000000         0
1668.57/1669.17	c       144       303    259.23     52.09      4.98   1000000         0
1670.17/1670.74	c       134       265    259.56     50.69      5.12   1000000         0
1671.77/1672.31	c       143       256    259.96     47.17      5.51   1000000         0
1673.37/1673.91	c       139       254    252.26     44.44      5.68   1000000         0
1674.87/1675.47	c       130       268    261.35     49.47      5.28   1000000         0
1676.47/1677.05	c       142       223    253.42     45.78      5.54   1000000         0
1678.08/1678.62	c       147       294    264.13     45.59      5.79   1000000         0
1679.57/1680.20	c       154       265    256.94     41.69      6.16   1000000         0
1681.17/1681.77	c       147       261    261.61     46.73      5.60   1000000         0
1682.77/1683.34	c       128       258    264.09     50.53      5.23   1000000         0
1684.37/1684.91	c       146       225    254.44     44.99      5.66   1000000         0
1685.87/1686.47	c       129       267    254.28     45.48      5.59   1000000         0
1687.47/1688.03	c       145       235    262.07     42.46      6.17   1000000         0
1688.98/1689.59	c       152       343    270.17     47.41      5.70   1000000         0
1690.57/1691.16	c       146       234    251.87     39.70      6.34   1000000         0
1692.17/1692.74	c       134       229    255.47     41.97      6.09   1000000         0
1693.77/1694.31	c       126       365    257.10     51.62      4.98   1000000         0
1695.27/1695.89	c       134       225    254.60     47.56      5.35   1000000         0
1696.87/1697.46	c       152       230    257.12     45.05      5.71   1000000         0
1698.47/1699.03	c       122       232    256.88     44.21      5.81   1000000         0
1699.97/1700.59	c       151       239    260.65     43.90      5.94   1000000         0
1701.57/1702.16	c       157       302    262.61     43.30      6.07   1000000         0
1703.16/1703.74	c       146       245    252.69     43.87      5.76   1000000         0
1704.76/1705.31	c       134       272    250.68     40.47      6.19   1000000         0
1706.26/1706.88	c       118       275    256.39     47.24      5.43   1000000         0
1707.86/1708.45	c       146       283    259.81     47.73      5.44   1000000         0
1709.46/1710.01	c       129       208    259.15     42.43      6.11   1000000         0
1710.97/1711.58	c       152       272    263.74     55.75      4.73   1000000         0
1712.56/1713.14	c       131       256    262.76     47.31      5.55   1000000         0
1714.16/1714.70	c       157       274    265.20     44.75      5.93   1000000         0
1715.66/1716.26	c       136       322    258.24     44.99      5.74   1000000         0
1717.26/1717.83	c       144       281    255.22     42.27      6.04   1000000         0
1718.77/1719.39	c       143       249    263.08     44.94      5.85   1000000         0
1720.36/1720.96	c       153       249    268.01     43.68      6.14   1000000         0
1721.97/1722.52	c       146       205    259.79     42.33      6.14   1000000         0
1723.56/1724.10	c       150       274    263.44     45.47      5.79   1000000         0
1725.06/1725.66	c       124       242    257.62     47.23      5.45   1000000         0
1726.66/1727.24	c       141       195    260.92     47.18      5.53   1000000         0
1728.16/1728.79	c       138       253    266.25     50.08      5.32   1000000         0
1729.76/1730.37	c       152       284    257.19     45.73      5.62   1000000         0
1731.36/1731.93	c       146       243    258.91     45.87      5.64   1000000         0
1732.86/1733.49	c       152       298    266.15     50.62      5.26   1000000         0
1734.46/1735.05	c       154       287    266.92     45.51      5.87   1000000         0
1736.06/1736.61	c       140       235    260.86     44.77      5.83   1000000         0
1737.55/1738.18	c       141       241    257.39     44.20      5.82   1000000         0
1739.15/1739.74	c       157       289    263.94     47.05      5.61   1000000         0
1740.76/1741.31	c       138       267    265.23     46.48      5.71   1000000         0
1742.25/1742.87	c       153       266    261.00     42.34      6.16   1000000         0
1743.85/1744.43	c       132       269    266.96     48.08      5.55   1000000         0
1745.35/1745.99	c       135       251    258.82     46.01      5.63   1000000         0
1746.95/1747.55	c       131       267    264.43     44.82      5.90   1000000         0
1748.55/1749.11	c       149       220    269.50     43.66      6.17   1000000         0
1750.05/1750.69	c       135       215    252.19     46.57      5.41   1000000         0
1751.66/1752.27	c       125       219    255.86     50.25      5.09   1000000         0
1753.25/1753.85	c       150       234    260.07     47.10      5.52   1000000         0
1754.85/1755.43	c       147       242    253.52     44.32      5.72   1000000         0
1756.35/1756.99	c       163       264    264.72     45.30      5.84   1000000         0
1757.95/1758.57	c       142       294    253.91     49.30      5.15   1000000         0
1759.55/1760.14	c       147       263    260.00     44.06      5.90   1000000         0
1761.15/1761.70	c       158       253    261.46     42.74      6.12   1000000         0
1762.65/1763.27	c       148       262    257.84     43.14      5.98   1000000         0
1764.25/1764.83	c       157       221    268.20     51.25      5.23   1000000         0
1765.85/1766.40	c       154       309    267.65     50.77      5.27   1000000         0
1767.35/1767.96	c       149       235    265.67     47.71      5.57   1000000         0
1768.95/1769.53	c       156       300    261.06     43.36      6.02   1000000         0
1770.55/1771.10	c       125       237    254.60     42.19      6.04   1000000         0
1772.04/1772.67	c       140       232    261.36     50.65      5.16   1000000         0
1773.65/1774.23	c       149       249    266.15     50.64      5.26   1000000         0
1775.24/1775.81	c       134       250    258.06     45.85      5.63   1000000         0
1776.74/1777.38	c       151       260    253.04     45.12      5.61   1000000         0
1778.34/1778.95	c       138       223    256.61     47.98      5.35   1000000         0
1779.94/1780.53	c       135       186    250.29     40.96      6.11   1000000         0
1781.45/1782.10	c       131       236    256.14     41.77      6.13   1000000         0
1783.04/1783.65	c       148       239    264.09     53.40      4.95   1000000         0
1784.65/1785.21	c       150       246    267.10     48.12      5.55   1000000         0
1786.14/1786.79	c       142       210    254.82     46.05      5.53   1000000         0
1787.74/1788.37	c       153       300    258.77     44.83      5.77   1000000         0
1789.34/1789.94	c       161       287    258.24     42.97      6.01   1000000         0
1790.94/1791.50	c       153       231    259.16     47.43      5.46   1000000         0
1792.45/1793.06	c       139       292    265.60     46.98      5.65   1000000         0
1794.04/1794.62	c       156       287    266.39     46.13      5.77   1000000         0
1795.54/1796.19	c       146       247    259.49     47.56      5.46   1000000         0
1797.14/1797.74	c       149       263    272.01     48.74      5.58   1000000         0
1798.74/1799.30	c       144       204    259.22     40.54      6.39   1000000         0
1800.05/1800.61	HOME/run: line 2:  9792 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-2669871-1276610790/watcher-2669871-1276610790 -o /tmp/evaluation-result-2669871-1276610790/solver-2669871-1276610790 -C 1800 -W 2000 -M 1800 run HOME/instance-2669871-1276610790.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 9791
/proc/meminfo: memFree=1528796/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) R 9789 9791 9318 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217199509 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0

[startup+0.0491019 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9791
/proc/meminfo: memFree=1528796/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.102109 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9791
/proc/meminfo: memFree=1528796/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300132 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9791
/proc/meminfo: memFree=1528796/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700178 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9791
/proc/meminfo: memFree=1528796/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9793
/proc/meminfo: memFree=1525184/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1.49
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 954 0 0 0 149 0 0 0 25 0 1 0 2372591 41422848 884 1992294400 134512640 135071400 4291964400 18446744073709551615 134519837 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 884 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10145 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9793
/proc/meminfo: memFree=1524936/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=3.09
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 309 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30182 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9793
/proc/meminfo: memFree=1524812/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=6.29
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 629 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526832 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9793
/proc/meminfo: memFree=1524688/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=12.69
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 1269 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9793
/proc/meminfo: memFree=1524688/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=25.48
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 2548 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9793
/proc/meminfo: memFree=1524688/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=51.07
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 5107 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526243 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9795
/proc/meminfo: memFree=1524440/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=102.26
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 10226 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9797
/proc/meminfo: memFree=1524192/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=162.24
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 16224 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134525633 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9799
/proc/meminfo: memFree=1524192/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=222.22
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 22222 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9801
/proc/meminfo: memFree=1524192/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=282.19
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 28219 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134527015 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9801
/proc/meminfo: memFree=1524068/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=342.17
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 34217 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 49152

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9803
/proc/meminfo: memFree=1524068/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=402.16
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 40216 0 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134519831 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=9792] ppid=9791 vsize=40452 CPUtime=1061.96
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 106195 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9823
/proc/meminfo: memFree=1522456/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1121.94
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 112193 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9825
/proc/meminfo: memFree=1522332/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1181.92
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 118191 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9825
/proc/meminfo: memFree=1522084/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1241.9
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 124189 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526359 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9827
/proc/meminfo: memFree=1521836/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1301.89
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 130188 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9829
/proc/meminfo: memFree=1521836/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1361.87
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 136186 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9831
/proc/meminfo: memFree=1521836/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1421.86
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 142185 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9833
/proc/meminfo: memFree=1521712/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1481.83
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 148182 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9833
/proc/meminfo: memFree=1521712/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1541.81
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 154180 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9838
/proc/meminfo: memFree=1520596/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1601.79
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 160178 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9840
/proc/meminfo: memFree=1520596/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1661.78
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 166177 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9842
/proc/meminfo: memFree=1520596/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1721.76
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 172175 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9844
/proc/meminfo: memFree=1520348/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1781.74
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 178173 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134537147 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9844
/proc/meminfo: memFree=1520348/2059040 swapFree=4192956/4192956
[pid=9791] ppid=9789 vsize=8700 CPUtime=0
/proc/9791/stat : 9791 (run) S 9789 9791 9318 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2372591 8908800 243 1992294400 4194304 4922060 140737109376464 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9791/statm: 2175 243 204 178 0 68 0
[pid=9792] ppid=9791 vsize=40452 CPUtime=1800.05
/proc/9792/stat : 9792 (PB-wave) R 9791 9791 9318 0 -1 4202496 962 0 0 0 180004 1 0 0 25 0 1 0 2372591 41422848 892 1992294400 134512640 135071400 4291964400 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9792/statm: 10113 892 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.62
CPU time (s): 1800.07
CPU user time (s): 1800.05
CPU system time (s): 0.018997
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.80257 second user time and 8.76267 second system time

The end

Launcher Data 

Begin job on node088 at 2010-06-15 16:06:30
IDJOB=2669871
IDBENCH=1467
IDSOLVER=1171
FILE ID=node088/2669871-1276610790
PBS_JOBID= 11172270
Free space on /tmp= 62564 MiB

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

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

MD5SUM BENCH= 03090e2b7426cc03a4be73b62ee3d658
RANDOM SEED=372421212

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
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.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1529316 kB
Buffers:         68224 kB
Cached:         334868 kB
SwapCached:          0 kB
Active:         187944 kB
Inactive:       275064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1529316 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1056 kB
Writeback:           0 kB
AnonPages:       59864 kB
Mapped:          15620 kB
Slab:            45088 kB
PageTables:       3968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182260 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= 62560 MiB
End job on node088 at 2010-06-15 16:36:31