Trace number 2669854

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.09 1800.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb
MD5SUM449faf6379a77b0035cc1474243ef90a
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.118981
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8937
Total number of constraints26319
Number of constraints which are clauses26047
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints272
Minimum length of a constraint1
Maximum length of a constraint9
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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.07	c PB-wave - v2
0.00/0.07	c command line = ./PB-wave
0.00/0.07	c seed = 48460282
0.00/0.07	c cutoff = 1000000
0.00/0.07	c tries = 1000000
0.00/0.07	c heuristic = c best, noise 50 / 100
0.00/0.07	#var 8937 #con 26319
0.00/0.07	mode is SAT
0.00/0.07	c tail starts after flip = 26811
0.00/0.07	c numatom = 8937, numclause = 26319, numliterals = 63089
0.00/0.07	c wff read in
0.00/0.07	c 
0.00/0.07	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.07	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.07	c       this      this      this      this      this      this   success   success       until         std
0.00/0.07	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.07	c
1.89/1.94	c       162       307    274.58     71.75      3.83   1000000         0
3.79/3.80	c       165       249    275.53     72.26      3.81   1000000         0
5.59/5.67	c       157       257    277.20     89.18      3.11   1000000         0
7.49/7.55	c       138       220    271.85     72.70      3.74   1000000         0
9.39/9.42	c       144       278    272.67     78.50      3.47   1000000         0
11.18/11.29	c       153       245    268.06     80.00      3.35   1000000         0
13.09/13.16	c       145       256    263.30     74.65      3.53   1000000         0
14.98/15.02	c       143       242    273.07     82.15      3.32   1000000         0
16.78/16.88	c       137       245    268.97     80.43      3.34   1000000         0
18.69/18.76	c       150       226    274.34     95.20      2.88   1000000         0
20.58/20.62	c       137       306    266.93     81.37      3.28   1000000         0
22.38/22.48	c       159       289    272.84     71.65      3.81   1000000         0
24.28/24.36	c       133       289    267.04     73.94      3.61   1000000         0
26.18/26.24	c       149       250    268.85     75.92      3.54   1000000         0
28.08/28.12	c       139       313    272.34     78.11      3.49   1000000         0
29.88/29.99	c       157       219    268.26     85.58      3.13   1000000         0
31.79/31.85	c       126       203    270.12     81.45      3.32   1000000         0
33.68/33.72	c       165       286    272.81     85.17      3.20   1000000         0
35.48/35.59	c       152       268    273.65     81.94      3.34   1000000         0
37.39/37.47	c       167       217    278.10     95.79      2.90   1000000         0
39.28/39.33	c       145       220    267.61     97.18      2.75   1000000         0
41.18/41.20	c       157       272    272.66     80.49      3.39   1000000         0
42.98/43.08	c       158       247    277.50     96.46      2.88   1000000         0
44.88/44.95	c       160       215    272.06     85.06      3.20   1000000         0
46.78/46.82	c       146       272    278.07     81.82      3.40   1000000         0
48.58/48.68	c       146       282    275.21     88.85      3.10   1000000         0
50.48/50.54	c       149       266    275.57     83.26      3.31   1000000         0
52.37/52.42	c       160       214    277.87     87.88      3.16   1000000         0
54.17/54.29	c       155       248    270.71     94.17      2.87   1000000         0
56.08/56.15	c       136       309    274.99     86.49      3.18   1000000         0
57.97/58.03	c       129       254    269.75     89.01      3.03   1000000         0
59.77/59.89	c       164       256    270.89     73.87      3.67   1000000         0
61.67/61.75	c       158       223    275.10     87.84      3.13   1000000         0
63.57/63.62	c       150       259    267.75     90.32      2.96   1000000         0
65.47/65.50	c       133       247    273.52     85.04      3.22   1000000         0
67.27/67.38	c       152       241    263.64     77.53      3.40   1000000         0
69.18/69.25	c       144       264    283.81     88.30      3.21   1000000         0
71.07/71.11	c       144       240    269.82     84.90      3.18   1000000         0
72.87/72.99	c       157       265    267.15     80.99      3.30   1000000         0
74.78/74.86	c       158       240    274.84     82.43      3.33   1000000         0
76.67/76.73	c       150       280    271.19     84.59      3.21   1000000         0
78.57/78.60	c       168       270    277.28     68.86      4.03   1000000         0
80.37/80.48	c       152       230    274.09     88.37      3.10   1000000         0
82.27/82.34	c       165       310    275.91     88.10      3.13   1000000         0
84.17/84.21	c       168       289    275.98     73.92      3.73   1000000         0
85.97/86.08	c       140       239    272.74     97.13      2.81   1000000         0
87.87/87.95	c       153       238    278.24     86.36      3.22   1000000         0
89.77/89.83	c       143       240    266.59     79.96      3.33   1000000         0
91.57/91.69	c       149       267    267.65     85.80      3.12   1000000         0
93.47/93.57	c       151       272    272.54     86.25      3.16   1000000         0
95.36/95.44	c       156       210    275.82     96.32      2.86   1000000         0
97.26/97.32	c       146       225    275.35     85.52      3.22   1000000         0
99.16/99.20	c       161       265    274.23     74.13      3.70   1000000         0
100.96/101.08	c       163       239    278.46     84.40      3.30   1000000         0
102.86/102.95	c       147       324    270.65     76.91      3.52   1000000         0
104.76/104.83	c       148       284    280.20     84.66      3.31   1000000         0
106.57/106.70	c       142       250    274.96     86.27      3.19   1000000         0
108.46/108.57	c       148       299    274.28     76.78      3.57   1000000         0
110.36/110.44	c       142       294    283.16     89.31      3.17   1000000         0
112.26/112.32	c       162       263    276.32     87.71      3.15   1000000         0
114.06/114.19	c       145       225    267.11     86.90      3.07   1000000         0
115.96/116.07	c       154       281    272.33     76.89      3.54   1000000         0
117.86/117.94	c       151       230    270.07     79.26      3.41   1000000         0
119.77/119.81	c       160       258    272.56    104.75      2.60   1000000         0
121.56/121.66	c       140       234    263.87     67.32      3.92   1000000         0
123.46/123.52	c       151       236    271.64     86.16      3.15   1000000         0
125.26/125.39	c       150       259    269.16     73.99      3.64   1000000         0
127.16/127.25	c       167       323    276.41     90.42      3.06   1000000         0
129.06/129.12	c       155       282    278.11     81.83      3.40   1000000         0
130.86/130.98	c       150       289    269.72     76.55      3.52   1000000         0
132.75/132.84	c       160       265    264.28     75.14      3.52   1000000         0
134.65/134.72	c       153       183    268.15     77.59      3.46   1000000         0
136.45/136.59	c       161       296    280.16     86.78      3.23   1000000         0
138.35/138.47	c       154       263    273.66     81.63      3.35   1000000         0
140.25/140.33	c       145       262    273.29     77.09      3.55   1000000         0
142.15/142.21	c       127       258    271.53     89.05      3.05   1000000         0
143.96/144.08	c       157       234    274.47     85.08      3.23   1000000         0
145.85/145.96	c       149       238    269.94     81.98      3.29   1000000         0
147.75/147.84	c       156       221    271.38     80.67      3.36   1000000         0
149.65/149.72	c       150       261    277.00     75.94      3.65   1000000         0
151.45/151.58	c       150       262    274.76     86.57      3.17   1000000         0
153.35/153.45	c       155       271    273.16     75.11      3.64   1000000         0
155.25/155.33	c       142       239    270.16     78.23      3.45   1000000         0
157.05/157.19	c       163       220    276.35     77.56      3.56   1000000         0
158.95/159.07	c       161       266    269.77     77.23      3.49   1000000         0
160.85/160.93	c       151       300    265.18     78.77      3.37   1000000         0
162.66/162.80	c       146       241    272.83     86.91      3.14   1000000         0
164.55/164.67	c       166       274    279.59     83.13      3.36   1000000         0
166.45/166.54	c       161       277    268.33     74.23      3.61   1000000         0
168.35/168.42	c       152       311    277.45     93.00      2.98   1000000         0
170.15/170.29	c       151       212    282.27     80.97      3.49   1000000         0
172.05/172.17	c       136       272    267.07     74.24      3.60   1000000         0
173.95/174.03	c       150       203    270.05     94.92      2.85   1000000         0
175.85/175.91	c       144       268    270.74     66.96      4.04   1000000         0
177.64/177.77	c       151       214    267.25     91.30      2.93   1000000         0
179.54/179.64	c       151       308    272.25     73.20      3.72   1000000         0
181.45/181.52	c       148       254    268.04     79.57      3.37   1000000         0
183.24/183.39	c       156       255    275.08     78.55      3.50   1000000         0
185.14/185.25	c       147       311    262.85     83.06      3.16   1000000         0
187.04/187.12	c       146       232    265.80     78.57      3.38   1000000         0
188.84/188.99	c       154       266    270.79     87.26      3.10   1000000         0
190.74/190.88	c       147       292    268.72     81.21      3.31   1000000         0
192.64/192.75	c       148       303    275.25     82.63      3.33   1000000         0
194.55/194.62	c       151       261    271.76     80.80      3.36   1000000         0
196.34/196.49	c       149       253    270.34     97.40      2.78   1000000         0
198.24/198.37	c       154       225    274.85     79.09      3.48   1000000         0
200.15/200.24	c       130       253    274.95     82.70      3.32   1000000         0
202.04/202.10	c       135       234    261.66     72.17      3.63   1000000         0
203.84/203.96	c       156       268    269.94     83.78      3.22   1000000         0
205.74/205.83	c       152       229    272.78     90.51      3.01   1000000         0
207.64/207.71	c       150       278    275.52     74.87      3.68   1000000         0
209.44/209.58	c       153       240    267.25     81.83      3.27   1000000         0
211.34/211.46	c       131       210    270.39     79.59      3.40   1000000         0
213.24/213.32	c       153       239    275.47     79.45      3.47   1000000         0
215.14/215.20	c       161       252    277.29     81.42      3.41   1000000         0
216.94/217.08	c       148       258    272.44     77.82      3.50   1000000         0
218.84/218.94	c       143       272    265.34     74.99      3.54   1000000         0
220.73/220.81	c       149       238    264.87     86.56      3.06   1000000         0
222.53/222.67	c       155       294    269.08     77.89      3.45   1000000         0
224.43/224.54	c       146       230    271.86     83.06      3.27   1000000         0
226.33/226.40	c       151       273    269.67     81.47      3.31   1000000         0
228.13/228.26	c       156       324    278.47     82.11      3.39   1000000         0
230.03/230.12	c       135       230    270.82     85.53      3.17   1000000         0
231.83/232.00	c       160       312    276.54     83.03      3.33   1000000         0
233.73/233.87	c       141       308    266.64     77.64      3.43   1000000         0
235.63/235.72	c       160       255    276.69     85.83      3.22   1000000         0
237.44/237.59	c       149       271    266.51     76.85      3.47   1000000         0
239.33/239.48	c       150       296    272.66     95.12      2.87   1000000         0
241.23/241.36	c       157       262    276.37     92.48      2.99   1000000         0
243.13/243.23	c       165       285    278.79     89.71      3.11   1000000         0
245.03/245.10	c       158       222    270.30     80.62      3.35   1000000         0
246.83/246.97	c       141       291    269.64     91.40      2.95   1000000         0
248.73/248.83	c       156       241    271.04     78.68      3.44   1000000         0
250.63/250.71	c       156       249    275.65     79.03      3.49   1000000         0
252.43/252.58	c       138       253    267.76     89.59      2.99   1000000         0
254.33/254.45	c       165       241    280.78     79.53      3.53   1000000         0
256.23/256.33	c       151       247    268.27     78.41      3.42   1000000         0
258.13/258.21	c       138       261    275.55     87.54      3.15   1000000         0
259.93/260.08	c       153       231    278.15     75.36      3.69   1000000         0
261.83/261.95	c       164       266    274.79     73.72      3.73   1000000         0
263.72/263.83	c       156       227    275.21     96.21      2.86   1000000         0
265.52/265.69	c       148       271    271.07     73.68      3.68   1000000         0
267.42/267.56	c       158       243    274.65     81.02      3.39   1000000         0
269.33/269.43	c       158       338    267.14     79.63      3.35   1000000         0
271.12/271.29	c       150       319    272.27     79.68      3.42   1000000         0
273.02/273.16	c       152       308    272.67     92.24      2.96   1000000         0
274.93/275.04	c       150       278    270.82     83.05      3.26   1000000         0
276.82/276.91	c       144       309    270.13     91.63      2.95   1000000         0
278.62/278.77	c       150       244    267.82     84.47      3.17   1000000         0
280.52/280.63	c       157       232    274.37     82.86      3.31   1000000         0
282.42/282.50	c       142       241    267.32     69.93      3.82   1000000         0
284.22/284.37	c       165       229    275.97     72.15      3.82   1000000         0
286.12/286.24	c       169       242    273.05     81.68      3.34   1000000         0
288.03/288.12	c       158       241    278.11     86.22      3.23   1000000         0
289.82/289.98	c       149       265    269.88     82.26      3.28   1000000         0
291.72/291.87	c       164       228    280.21     88.47      3.17   1000000         0
293.63/293.74	c       155       251    265.93     81.98      3.24   1000000         0
295.52/295.61	c       131       245    272.79     82.70      3.30   1000000         0
297.32/297.47	c       152       237    265.17     69.54      3.81   1000000         0
299.22/299.33	c       155       248    277.77     86.18      3.22   1000000         0
301.12/301.20	c       140       250    266.98     84.79      3.15   1000000         0
302.92/303.08	c       158       248    279.00     75.47      3.70   1000000         0
304.82/304.95	c       151       245    275.33     88.45      3.11   1000000         0
306.72/306.82	c       157       282    281.25     94.28      2.98   1000000         0
308.62/308.72	c       155       324    280.33     82.73      3.39   1000000         0
310.41/310.59	c       157       296    268.74     85.72      3.14   1000000         0
312.32/312.44	c       155       220    261.48     69.84      3.74   1000000         0
314.21/314.32	c       149       261    277.60     95.87      2.90   1000000         0
316.01/316.18	c       144       299    267.61     84.06      3.18   1000000         0
317.91/318.06	c       141       262    278.48     81.88      3.40   1000000         0
319.81/319.93	c       138       219    265.05     83.89      3.16   1000000         0
321.71/321.81	c       148       223    275.91     92.22      2.99   1000000         0
323.51/323.67	c       141       231    265.26     79.04      3.36   1000000         0
325.42/325.55	c       147       290    270.64     91.93      2.94   1000000         0
327.31/327.42	c       159       284    271.21     70.66      3.84   1000000         0
329.11/329.28	c       153       239    274.75     82.74      3.32   1000000         0
331.02/331.16	c       154       296    270.73     79.27      3.42   1000000         0
332.91/333.03	c       167       214    277.96     76.42      3.64   1000000         0
334.81/334.91	c       148       249    265.73     91.53      2.90   1000000         0
336.71/336.80	c       142       279    267.91     79.49      3.37   1000000         0
338.51/338.68	c       170       207    275.40     77.56      3.55   1000000         0
340.41/340.55	c       147       248    269.81     96.48      2.80   1000000         0
342.31/342.41	c       157       279    269.71     85.15      3.17   1000000         0
344.11/344.28	c       151       235    272.50     80.63      3.38   1000000         0
346.01/346.15	c       147       281    274.24     79.18      3.46   1000000         0
347.91/348.02	c       149       207    265.06     74.89      3.54   1000000         0
349.71/349.89	c       143       250    274.68     73.02      3.76   1000000         0
351.60/351.76	c       152       261    275.41     80.12      3.44   1000000         0
353.50/353.61	c       127       245    267.74     90.40      2.96   1000000         0
355.30/355.49	c       151       204    273.78     77.29      3.54   1000000         0
357.20/357.35	c       157       241    269.57     77.76      3.47   1000000         0
359.10/359.22	c       155       202    277.88     89.51      3.10   1000000         0
360.90/361.09	c       157       237    269.96     93.55      2.89   1000000         0
362.81/362.96	c       149       224    273.37     83.16      3.29   1000000         0
364.70/364.84	c       155       204    270.32     86.06      3.14   1000000         0
366.60/366.71	c       147       244    267.84     73.72      3.63   1000000         0
368.41/368.58	c       152       222    270.30     84.64      3.19   1000000         0
370.30/370.45	c       161       275    279.05     74.21      3.76   1000000         0
372.20/372.32	c       154       237    264.84     75.03      3.53   1000000         0
374.00/374.19	c       148       251    275.48     84.52      3.26   1000000         0
375.90/376.07	c       145       270    280.83     74.15      3.79   1000000         0
377.80/377.93	c       145       199    266.89     75.40      3.54   1000000         0
379.70/379.80	c       154       280    266.79    101.04      2.64   1000000         0
381.51/381.67	c       161       288    269.84     78.12      3.45   1000000         0
383.40/383.55	c       149       278    273.73     84.52      3.24   1000000         0
385.30/385.42	c       166       243    268.71     59.11      4.55   1000000         0
387.10/387.28	c       144       267    268.38     81.64      3.29   1000000         0
389.00/389.16	c       167       300    276.90     81.31      3.41   1000000         0
390.90/391.04	c       157       321    271.47     78.52      3.46   1000000         0
392.80/392.91	c       135       317    276.30     91.94      3.01   1000000         0
394.60/394.77	c       172       249    275.36     82.97      3.32   1000000         0
396.49/396.63	c       155       226    269.64     86.30      3.12   1000000         0
398.39/398.51	c       150       233    270.43     90.65      2.98   1000000         0
400.20/400.37	c       169       275    274.28     71.53      3.83   1000000         0
402.09/402.25	c       161       323    280.07     85.96      3.26   1000000         0
403.99/404.13	c       156       269    273.51     83.04      3.29   1000000         0
405.80/405.97	c       150       287    260.10     76.78      3.39   1000000         0
407.69/407.84	c       152       320    264.85     78.27      3.38   1000000         0
409.59/409.70	c       153       240    270.61     70.89      3.82   1000000         0
411.39/411.57	c       134       238    276.52     88.03      3.14   1000000         0
413.29/413.45	c       164       278    272.49     67.81      4.02   1000000         0
415.19/415.31	c       154       241    271.72     72.28      3.76   1000000         0
416.99/417.19	c       148       257    264.50     89.66      2.95   1000000         0
418.90/419.07	c       155       280    268.37     80.25      3.34   1000000         0
420.79/420.94	c       139       269    265.95     71.78      3.71   1000000         0
422.69/422.81	c       158       272    269.87     87.78      3.07   1000000         0
424.50/424.67	c       156       286    276.10     77.81      3.55   1000000         0
426.39/426.54	c       139       284    267.32     86.21      3.10   1000000         0
428.29/428.41	c       158       273    269.19     74.41      3.62   1000000         0
430.09/430.26	c       157       306    269.76     71.54      3.77   1000000         0
431.99/432.12	c       139       208    267.72     78.14      3.43   1000000         0
433.79/434.00	c       143       255    269.20     88.72      3.03   1000000         0
435.69/435.87	c       144       228    267.13     67.85      3.94   1000000         0
437.59/437.73	c       141       278    274.58     78.91      3.48   1000000         0
439.49/439.61	c       165       339    274.49     67.57      4.06   1000000         0
441.28/441.48	c       158       186    283.37     93.79      3.02   1000000         0
443.19/443.35	c       147       264    266.36     86.68      3.07   1000000         0
445.08/445.21	c       150       278    270.38     78.30      3.45   1000000         0
446.88/447.09	c       153       241    271.16     89.85      3.02   1000000         0
448.78/448.96	c       148       276    277.26     79.30      3.50   1000000         0
450.68/450.83	c       163       229    273.87     83.56      3.28   1000000         0
452.58/452.70	c       161       305    275.88     83.64      3.30   1000000         0
454.38/454.57	c       128       232    270.34     72.34      3.74   1000000         0
456.29/456.43	c       149       247    265.77     77.52      3.43   1000000         0
458.18/458.31	c       155       223    279.06     85.62      3.26   1000000         0
459.98/460.19	c       172       251    280.91     74.28      3.78   1000000         0
461.89/462.04	c       161       271    272.85     80.14      3.40   1000000         0
463.78/463.91	c       154       224    271.05     81.71      3.32   1000000         0
465.58/465.78	c       157       228    275.90     76.71      3.60   1000000         0
467.48/467.65	c       164       206    275.79     80.86      3.41   1000000         0
469.38/469.51	c       159       281    274.05     73.76      3.72   1000000         0
471.18/471.38	c       133       210    271.15     86.99      3.12   1000000         0
473.08/473.23	c       140       247    261.13     71.55      3.65   1000000         0
474.98/475.10	c       149       234    271.65     88.93      3.05   1000000         0
476.78/476.97	c       157       228    273.11     76.49      3.57   1000000         0
478.68/478.84	c       158       279    278.95     78.15      3.57   1000000         0
480.48/480.70	c       151       250    265.34     77.96      3.40   1000000         0
482.38/482.56	c       145       287    266.22     74.43      3.58   1000000         0
484.28/484.43	c       152       258    275.54     97.03      2.84   1000000         0
486.18/486.30	c       149       276    271.20     83.13      3.26   1000000         0
487.97/488.19	c       152       265    271.11     86.89      3.12   1000000         0
489.87/490.07	c       163       228    280.90     76.43      3.68   1000000         0
491.77/491.95	c       147       256    275.51     74.79      3.68   1000000         0
493.67/493.81	c       159       219    269.52     79.60      3.39   1000000         0
495.46/495.68	c       149       290    274.47     79.54      3.45   1000000         0
497.36/497.56	c       154       265    277.02     84.08      3.29   1000000         0
499.27/499.42	c       153       229    270.63     96.04      2.82   1000000         0
501.16/501.30	c       142       293    266.49     72.66      3.67   1000000         0
502.96/503.18	c       150       250    275.50     79.99      3.44   1000000         0
504.86/505.05	c       167       290    270.06     75.36      3.58   1000000         0
506.76/506.93	c       143       247    273.22     81.88      3.34   1000000         0
508.66/508.80	c       147       305    272.93     84.21      3.24   1000000         0
510.46/510.67	c       162       256    272.72     73.99      3.69   1000000         0
512.36/512.54	c       150       199    275.47     83.62      3.29   1000000         0
514.25/514.40	c       163       244    277.59     74.76      3.71   1000000         0
516.05/516.27	c       158       214    270.90     72.62      3.73   1000000         0
517.96/518.13	c       143       243    269.07     75.72      3.55   1000000         0
519.85/520.02	c       141       279    270.70     70.26      3.85   1000000         0
521.65/521.90	c       163       237    276.56     90.41      3.06   1000000         0
523.55/523.76	c       152       217    270.67     75.39      3.59   1000000         0
525.45/525.63	c       160       213    273.18     85.56      3.19   1000000         0
527.25/527.49	c       141       298    275.69     83.93      3.28   1000000         0
529.15/529.38	c       155       253    278.56     87.61      3.18   1000000         0
531.06/531.25	c       163       255    275.86     91.78      3.01   1000000         0
532.95/533.12	c       147       275    272.90     79.00      3.45   1000000         0
534.75/534.98	c       148       230    271.10     77.07      3.52   1000000         0
536.66/536.85	c       164       275    277.98     92.78      3.00   1000000         0
538.55/538.72	c       162       269    267.97     72.87      3.68   1000000         0
540.45/540.60	c       159       221    280.26     78.64      3.56   1000000         0
542.25/542.48	c       158       283    269.50     83.15      3.24   1000000         0
544.15/544.35	c       145       311    268.80     78.99      3.40   1000000         0
546.05/546.23	c       152       244    273.22     79.73      3.43   1000000         0
547.85/548.09	c       152       283    268.11     77.06      3.48   1000000         0
549.75/549.96	c       148       255    267.51     80.54      3.32   1000000         0
551.65/551.82	c       148       266    271.28     81.49      3.33   1000000         0
553.45/553.69	c       163       226    276.10     77.71      3.55   1000000         0
555.35/555.57	c       154       242    269.18     88.53      3.04   1000000         0
557.25/557.43	c       159       339    274.72     83.68      3.28   1000000         0
559.15/559.31	c       158       275    277.74     69.18      4.01   1000000         0
560.95/561.19	c       160       240    276.67     83.49      3.31   1000000         0
562.85/563.06	c       159       236    270.85     77.29      3.50   1000000         0
564.75/564.93	c       153       264    275.21     88.34      3.12   1000000         0
566.55/566.79	c       149       234    265.84     73.96      3.59   1000000         0
568.46/568.66	c       150       263    269.50     64.92      4.15   1000000         0
570.35/570.53	c       156       258    276.35     79.12      3.49   1000000         0
572.15/572.40	c       163       227    271.64     77.45      3.51   1000000         0
574.06/574.25	c       164       236    276.21     91.78      3.01   1000000         0
575.95/576.12	c       145       190    262.89     76.95      3.42   1000000         0
577.85/578.00	c       133       210    269.31     83.78      3.21   1000000         0
579.65/579.87	c       159       256    276.75     85.03      3.25   1000000         0
581.55/581.74	c       155       195    271.30     70.53      3.85   1000000         0
583.45/583.62	c       162       278    273.04     76.71      3.56   1000000         0
585.35/585.50	c       147       331    270.90     75.91      3.57   1000000         0
587.16/587.37	c       157       255    274.83     81.85      3.36   1000000         0
589.05/589.24	c       152       225    274.40     72.46      3.79   1000000         0
590.95/591.13	c       143       337    278.84     84.39      3.30   1000000         0
592.75/593.00	c       154       240    279.75     81.05      3.45   1000000         0
594.65/594.86	c       160       285    270.70     75.26      3.60   1000000         0
596.55/596.74	c       151       313    267.77     75.35      3.55   1000000         0
598.45/598.61	c       142       270    268.43     63.23      4.25   1000000         0
600.24/600.49	c       146       243    270.41     67.71      3.99   1000000         0
602.14/602.36	c       136       242    265.87     79.24      3.36   1000000         0
604.04/604.21	c       153       265    274.02     90.34      3.03   1000000         0
605.85/606.07	c       162       228    278.22     85.21      3.27   1000000         0
607.74/607.95	c       142       244    282.42     87.49      3.23   1000000         0
609.64/609.84	c       156       309    283.28     96.47      2.94   1000000         0
611.54/611.71	c       152       250    276.21     87.92      3.14   1000000         0
613.34/613.58	c       149       205    268.28     67.37      3.98   1000000         0
615.24/615.45	c       142       189    266.01     70.72      3.76   1000000         0
617.14/617.32	c       155       306    274.23     77.40      3.54   1000000         0
618.94/619.18	c       145       236    266.48     76.32      3.49   1000000         0
620.84/621.06	c       163       268    276.67     78.47      3.53   1000000         0
622.74/622.93	c       152       251    273.41     85.66      3.19   1000000         0
624.55/624.80	c       144       281    268.55     80.51      3.34   1000000         0
626.44/626.66	c       152       207    274.88     84.94      3.24   1000000         0
628.34/628.54	c       142       256    275.77     79.64      3.46   1000000         0
630.24/630.42	c       145       282    273.47     81.30      3.36   1000000         0
632.04/632.29	c       152       246    276.94     83.29      3.32   1000000         0
633.94/634.15	c       144       217    267.82     96.57      2.77   1000000         0
635.84/636.00	c       151       234    270.44     87.10      3.10   1000000         0
637.64/637.86	c       160       209    270.07     70.87      3.81   1000000         0
639.54/639.74	c       143       226    273.00     75.25      3.63   1000000         0
641.44/641.61	c       173       314    274.17     85.31      3.21   1000000         0
643.24/643.47	c       165       281    276.84     83.69      3.31   1000000         0
645.14/645.34	c       142       284    275.06     92.70      2.97   1000000         0
647.04/647.20	c       161       300    270.00     66.49      4.06   1000000         0
648.84/649.08	c       157       223    272.15     90.13      3.02   1000000         0
650.73/650.93	c       147       245    273.98     76.52      3.58   1000000         0
652.63/652.80	c       157       226    268.88     82.67      3.25   1000000         0
654.43/654.68	c       161       240    275.48     85.63      3.22   1000000         0
656.33/656.55	c       151       264    270.96     78.57      3.45   1000000         0
658.23/658.43	c       143       289    264.84     73.40      3.61   1000000         0
660.13/660.32	c       166       240    272.33     83.83      3.25   1000000         0
661.94/662.18	c       151       271    267.93     79.90      3.35   1000000         0
663.83/664.05	c       165       204    273.75     89.56      3.06   1000000         0
665.73/665.92	c       142       233    274.24     96.13      2.85   1000000         0
667.54/667.79	c       154       270    275.47     83.92      3.28   1000000         0
669.43/669.67	c       157       296    272.04     78.55      3.46   1000000         0
671.33/671.53	c       152       257    266.81     77.93      3.42   1000000         0
673.23/673.41	c       165       238    279.72    100.56      2.78   1000000         0
675.03/675.28	c       159       249    269.43     76.10      3.54   1000000         0
676.93/677.15	c       157       238    274.02     94.38      2.90   1000000         0
678.83/679.02	c       147       245    266.86     73.02      3.65   1000000         0
680.63/680.89	c       154       252    274.32     82.42      3.33   1000000         0
682.53/682.78	c       148       247    270.82     91.48      2.96   1000000         0
684.42/684.66	c       152       280    269.62     84.38      3.20   1000000         0
686.32/686.53	c       152       265    268.78     80.93      3.32   1000000         0
688.22/688.40	c       140       217    268.13     89.91      2.98   1000000         0
690.02/690.27	c       157       245    277.97     85.65      3.25   1000000         0
691.92/692.15	c       143       242    274.39     91.32      3.00   1000000         0
693.83/694.01	c       157       227    265.72     73.00      3.64   1000000         0
695.62/695.88	c       134       310    269.59     84.69      3.18   1000000         0
697.52/697.77	c       153       288    280.51     98.71      2.84   1000000         0
699.43/699.67	c       129       259    278.85     89.86      3.10   1000000         0
701.32/701.53	c       153       195    263.82     83.83      3.15   1000000         0
703.22/703.40	c       155       187    269.59     75.01      3.59   1000000         0
705.02/705.27	c       157       256    279.54     80.14      3.49   1000000         0
706.92/707.13	c       162       282    274.20     72.53      3.78   1000000         0
708.82/709.01	c       162       285    275.27     85.00      3.24   1000000         0
710.62/710.87	c       151       277    270.16     84.02      3.22   1000000         0
712.53/712.74	c       157       299    263.38     73.14      3.60   1000000         0
714.42/714.61	c       156       256    276.00     86.95      3.17   1000000         0
716.22/716.47	c       152       225    264.28     75.43      3.50   1000000         0
718.12/718.34	c       142       283    267.91     76.36      3.51   1000000         0
720.02/720.20	c       134       269    266.08     83.03      3.20   1000000         0
721.82/722.06	c       141       271    269.44     87.30      3.09   1000000         0
723.72/723.94	c       157       255    273.17     76.65      3.56   1000000         0
725.62/725.81	c       146       322    273.70     80.58      3.40   1000000         0
727.41/727.68	c       149       270    268.44     73.60      3.65   1000000         0
729.31/729.55	c       142       299    275.46     83.72      3.29   1000000         0
731.22/731.41	c       152       233    270.87     82.31      3.29   1000000         0
733.01/733.29	c       159       240    263.98     65.93      4.00   1000000         0
734.91/735.16	c       157       250    273.90     83.58      3.28   1000000         0
736.82/737.03	c       139       243    276.44     75.74      3.65   1000000         0
738.71/738.91	c       151       239    271.90     73.61      3.69   1000000         0
740.51/740.78	c       147       259    268.53     89.75      2.99   1000000         0
742.41/742.67	c       158       242    274.24     90.62      3.03   1000000         0
744.31/744.53	c       163       233    276.31     77.71      3.56   1000000         0
746.21/746.41	c       148       286    266.86     87.15      3.06   1000000         0
748.01/748.28	c       168       210    274.07     83.79      3.27   1000000         0
749.92/750.14	c       156       231    264.40     69.47      3.81   1000000         0
751.81/752.02	c       136       252    272.76     85.01      3.21   1000000         0
753.61/753.89	c       157       195    268.18     91.59      2.93   1000000         0
755.52/755.76	c       156       230    269.51     92.49      2.91   1000000         0
757.41/757.64	c       165       198    265.90     82.34      3.23   1000000         0
759.31/759.51	c       149       283    274.88     80.03      3.43   1000000         0
761.11/761.38	c       156       252    275.19     89.49      3.07   1000000         0
763.01/763.26	c       136       201    266.41     74.99      3.55   1000000         0
764.91/765.14	c       159       317    275.69     80.11      3.44   1000000         0
766.81/767.01	c       129       281    263.81     78.79      3.35   1000000         0
768.61/768.89	c       146       250    267.16     72.25      3.70   1000000         0
770.50/770.77	c       168       312    274.70     81.92      3.35   1000000         0
772.40/772.63	c       157       276    268.89     78.63      3.42   1000000         0
774.30/774.50	c       142       247    273.09     94.04      2.90   1000000         0
776.10/776.37	c       155       277    272.24     74.28      3.67   1000000         0
778.00/778.24	c       160       192    275.29     84.18      3.27   1000000         0
779.90/780.10	c       159       233    265.84     78.61      3.38   1000000         0
781.70/781.95	c       137       245    273.91     67.20      4.08   1000000         0
783.60/783.83	c       150       237    273.61     91.94      2.98   1000000         0
785.50/785.70	c       164       296    269.98     76.36      3.54   1000000         0
787.31/787.58	c       149       343    265.90     68.67      3.87   1000000         0
789.20/789.45	c       145       242    280.34     80.65      3.48   1000000         0
791.10/791.33	c       151       218    269.96     84.55      3.19   1000000         0
793.00/793.20	c       149       220    274.26     77.53      3.54   1000000         0
794.80/795.06	c       157       290    276.11     82.34      3.35   1000000         0
796.70/796.92	c       136       227    266.13     79.85      3.33   1000000         0
798.60/798.80	c       138       244    275.17     93.88      2.93   1000000         0
800.40/800.66	c       129       248    267.32     70.84      3.77   1000000         0
802.30/802.53	c       158       235    268.12     71.64      3.74   1000000         0
804.10/804.39	c       160       231    271.62     80.15      3.39   1000000         0
806.00/806.27	c       155       312    275.56    102.95      2.68   1000000         0
807.90/808.13	c       155       191    270.98     69.35      3.91   1000000         0
809.70/809.99	c       164       301    282.74     90.03      3.14   1000000         0
811.60/811.88	c       154       206    270.10     86.89      3.11   1000000         0
813.50/813.76	c       144       302    272.76     78.70      3.47   1000000         0
815.40/815.61	c       144       239    270.37     81.15      3.33   1000000         0
817.29/817.51	c       151       247    276.47     88.15      3.14   1000000         0
819.09/819.39	c       160       228    274.02     81.30      3.37   1000000         0
820.99/821.26	c       155       252    268.86     93.02      2.89   1000000         0
822.89/823.12	c       167       250    271.93     67.58      4.02   1000000         0
824.70/824.98	c       149       236    265.57     83.17      3.19   1000000         0
826.59/826.85	c       162       236    277.48     78.25      3.55   1000000         0
828.49/828.73	c       163       239    274.69     79.17      3.47   1000000         0
830.39/830.60	c       165       291    271.87     87.18      3.12   1000000         0
832.19/832.47	c       168       251    277.71     77.46      3.59   1000000         0
834.09/834.34	c       137       258    271.97     87.92      3.09   1000000         0
835.99/836.21	c       132       220    273.03     92.87      2.94   1000000         0
837.79/838.06	c       149       218    272.42     82.57      3.30   1000000         0
839.69/839.93	c       127       205    265.93     86.48      3.08   1000000         0
841.59/841.81	c       153       183    279.05     82.56      3.38   1000000         0
843.40/843.67	c       131       207    261.67     87.13      3.00   1000000         0
845.29/845.54	c       154       239    266.75     80.58      3.31   1000000         0
847.19/847.40	c       162       242    274.17     85.59      3.20   1000000         0
848.99/849.28	c       157       206    274.68    106.59      2.58   1000000         0
850.89/851.15	c       154       269    270.88     95.73      2.83   1000000         0
852.79/853.02	c       158       230    275.43     83.24      3.31   1000000         0
854.69/854.90	c       157       276    276.85     83.72      3.31   1000000         0
856.49/856.77	c       161       258    280.30     80.34      3.49   1000000         0
858.39/858.64	c       155       251    267.14     97.82      2.73   1000000         0
860.29/860.52	c       154       264    274.76     86.88      3.16   1000000         0
862.09/862.40	c       163       267    286.36     88.99      3.22   1000000         0
863.98/864.28	c       153       242    270.11     79.57      3.39   1000000         0
865.88/866.15	c       153       362    278.29     80.04      3.48   1000000         0
867.78/868.02	c       148       293    267.71     76.86      3.48   1000000         0
869.58/869.89	c       159       279    271.67     64.99      4.18   1000000         0
871.48/871.77	c       150       281    273.16     90.26      3.03   1000000         0
873.38/873.64	c       161       259    266.70     80.04      3.33   1000000         0
875.29/875.51	c       148       196    276.98     83.39      3.32   1000000         0
877.08/877.38	c       150       252    272.43     86.94      3.13   1000000         0
878.98/879.26	c       156       284    273.18     78.72      3.47   1000000         0
880.89/881.12	c       153       246    275.72     95.21      2.90   1000000         0
882.68/882.99	c       159       256    270.89     86.71      3.12   1000000         0
884.58/884.87	c       155       241    272.51     68.77      3.96   1000000         0
886.48/886.73	c       145       245    276.20     81.21      3.40   1000000         0
888.38/888.60	c       140       217    271.54     90.85      2.99   1000000         0
890.18/890.48	c       159       218    275.39     80.27      3.43   1000000         0
892.08/892.34	c       160       219    270.94     74.66      3.63   1000000         0
893.98/894.22	c       154       255    277.62     92.12      3.01   1000000         0
895.88/896.11	c       163       221    277.24     83.70      3.31   1000000         0
897.67/897.98	c       161       244    275.36     88.16      3.12   1000000         0
899.58/899.86	c       154       216    275.59     78.43      3.51   1000000         0
901.47/901.73	c       159       274    271.65     68.03      3.99   1000000         0
903.27/903.59	c       154       241    272.29     86.46      3.15   1000000         0
905.17/905.47	c       162       282    274.14     74.83      3.66   1000000         0
907.07/907.33	c       142       250    261.96     78.72      3.33   1000000         0
908.97/909.21	c       148       254    271.67     81.15      3.35   1000000         0
910.77/911.08	c       160       225    274.00     67.95      4.03   1000000         0
912.68/912.95	c       152       294    274.04     83.04      3.30   1000000         0
914.57/914.82	c       159       230    268.87     88.98      3.02   1000000         0
916.37/916.68	c       148       199    268.27     67.39      3.98   1000000         0
918.28/918.55	c       155       203    274.84     79.70      3.45   1000000         0
920.17/920.42	c       137       238    279.25     79.48      3.51   1000000         0
921.97/922.29	c       159       299    277.61     76.33      3.64   1000000         0
923.87/924.17	c       162       258    276.19     90.19      3.06   1000000         0
925.77/926.05	c       148       261    265.92     85.93      3.09   1000000         0
927.67/927.92	c       145       261    267.66     71.56      3.74   1000000         0
929.57/929.80	c       155       323    275.81     71.48      3.86   1000000         0
931.37/931.67	c       155       300    274.40     85.14      3.22   1000000         0
933.27/933.55	c       164       240    271.84     71.93      3.78   1000000         0
935.17/935.42	c       164       282    277.43     74.83      3.71   1000000         0
936.97/937.29	c       148       203    269.30     97.07      2.77   1000000         0
938.87/939.17	c       155       242    268.68     87.49      3.07   1000000         0
940.76/941.05	c       151       280    273.05     87.31      3.13   1000000         0
942.66/942.92	c       153       257    273.66     81.65      3.35   1000000         0
944.46/944.79	c       152       262    274.29     68.62      4.00   1000000         0
946.36/946.65	c       155       260    271.97     73.42      3.70   1000000         0
948.26/948.53	c       145       271    272.10    100.93      2.70   1000000         0
950.17/950.41	c       146       263    276.27     81.11      3.41   1000000         0
951.96/952.29	c       147       222    270.80     80.50      3.36   1000000         0
953.86/954.17	c       154       193    275.48     86.16      3.20   1000000         0
955.76/956.04	c       150       242    267.50     73.94      3.62   1000000         0
957.66/957.91	c       136       278    274.40     84.54      3.25   1000000         0
959.46/959.79	c       158       237    272.65     93.00      2.93   1000000         0
961.36/961.66	c       154       287    277.29     86.05      3.22   1000000         0
963.27/963.53	c       151       255    279.51     76.75      3.64   1000000         0
965.16/965.41	c       150       202    269.22     84.91      3.17   1000000         0
966.96/967.28	c       152       286    271.36     82.22      3.30   1000000         0
968.87/969.15	c       130       249    268.50     87.09      3.08   1000000         0
970.76/971.01	c       149       235    270.35     77.03      3.51   1000000         0
972.56/972.89	c       139       227    267.19     80.70      3.31   1000000         0
974.46/974.76	c       140       263    271.57     80.54      3.37   1000000         0
976.36/976.63	c       151       254    278.62     80.04      3.48   1000000         0
978.26/978.50	c       149       286    272.02     93.65      2.90   1000000         0
980.06/980.38	c       152       280    271.53     71.46      3.80   1000000         0
981.96/982.25	c       145       248    276.39     87.23      3.17   1000000         0
983.85/984.12	c       143       231    273.77     83.48      3.28   1000000         0
985.65/985.99	c       150       278    271.55     83.25      3.26   1000000         0
987.56/987.86	c       146       242    264.03     68.74      3.84   1000000         0
989.45/989.74	c       156       316    271.98     76.39      3.56   1000000         0
991.35/991.60	c       148       263    263.16     83.23      3.16   1000000         0
993.15/993.47	c       155       251    281.05     89.63      3.14   1000000         0
995.05/995.34	c       155       286    265.22     65.56      4.05   1000000         0
996.95/997.21	c       150       253    273.67     79.75      3.43   1000000         0
998.75/999.08	c       155       213    275.19     86.49      3.18   1000000         0
1000.66/1000.95	c       148       212    277.60     76.57      3.63   1000000         0
1002.55/1002.82	c       150       308    265.79     67.16      3.96   1000000         0
1004.35/1004.68	c       150       264    264.87     77.50      3.42   1000000         0
1006.26/1006.55	c       154       220    264.60     73.94      3.58   1000000         0
1008.15/1008.41	c       155       239    271.15     77.97      3.48   1000000         0
1009.95/1010.29	c       142       246    270.00     80.63      3.35   1000000         0
1011.85/1012.15	c       149       256    274.32     75.20      3.65   1000000         0
1013.75/1014.03	c       163       254    274.33     72.89      3.76   1000000         0
1015.55/1015.88	c       162       259    269.97     71.76      3.76   1000000         0
1017.45/1017.76	c       144       262    266.93     80.75      3.31   1000000         0
1019.35/1019.62	c       166       262    268.83     62.00      4.34   1000000         0
1021.15/1021.48	c       157       229    267.55     79.35      3.37   1000000         0
1023.05/1023.34	c       153       282    273.31     76.28      3.58   1000000         0
1024.95/1025.23	c       137       245    276.13     84.35      3.27   1000000         0
1026.84/1027.11	c       158       298    272.43     81.63      3.34   1000000         0
1028.64/1028.98	c       150       210    269.53     89.86      3.00   1000000         0
1030.54/1030.86	c       165       270    276.02     86.75      3.18   1000000         0
1032.44/1032.73	c       132       244    270.49     80.79      3.35   1000000         0
1034.34/1034.61	c       148       307    277.25     84.23      3.29   1000000         0
1036.14/1036.48	c       162       293    275.19     76.33      3.61   1000000         0
1038.05/1038.35	c       156       277    269.86     79.85      3.38   1000000         0
1039.94/1040.22	c       131       280    278.35     81.72      3.41   1000000         0
1041.74/1042.08	c       152       246    261.99     78.05      3.36   1000000         0
1043.65/1043.95	c       159       264    275.94     92.05      3.00   1000000         0
1045.54/1045.83	c       161       216    267.96     88.51      3.03   1000000         0
1047.34/1047.69	c       150       245    264.18     71.12      3.71   1000000         0
1049.24/1049.55	c       157       270    270.42     85.27      3.17   1000000         0
1051.14/1051.42	c       145       241    273.03     81.58      3.35   1000000         0
1052.94/1053.28	c       163       311    266.87     82.86      3.22   1000000         0
1054.84/1055.16	c       160       310    273.66     82.72      3.31   1000000         0
1056.74/1057.02	c       157       267    270.38     88.29      3.06   1000000         0
1058.54/1058.89	c       144       265    272.01     83.08      3.27   1000000         0
1060.43/1060.75	c       148       232    265.62     77.30      3.44   1000000         0
1062.34/1062.63	c       153       261    267.85     75.66      3.54   1000000         0
1064.13/1064.49	c       152       312    269.36     78.18      3.45   1000000         0
1066.03/1066.36	c       161       282    276.44     87.00      3.18   1000000         0
1067.93/1068.23	c       165       251    273.10     81.52      3.35   1000000         0
1069.73/1070.09	c       157       240    275.67     83.81      3.29   1000000         0
1071.63/1071.96	c       151       258    266.39     76.40      3.49   1000000         0
1073.53/1073.83	c       154       301    277.35     72.92      3.80   1000000         0
1075.44/1075.71	c       145       188    270.85     88.35      3.07   1000000         0
1077.23/1077.59	c       154       269    272.03     73.28      3.71   1000000         0
1079.13/1079.45	c       159       263    273.77     84.79      3.23   1000000         0
1081.04/1081.31	c       148       244    265.46     79.02      3.36   1000000         0
1082.83/1083.18	c       141       267    272.57     90.32      3.02   1000000         0
1084.73/1085.06	c       163       251    276.99     77.55      3.57   1000000         0
1086.63/1086.94	c       158       240    269.00     76.62      3.51   1000000         0
1088.53/1088.82	c       154       235    281.57     87.14      3.23   1000000         0
1090.33/1090.68	c       163       266    276.56     78.55      3.52   1000000         0
1092.23/1092.54	c       148       196    273.15     74.88      3.65   1000000         0
1094.13/1094.41	c       159       258    273.95     73.41      3.73   1000000         0
1095.93/1096.28	c       149       323    268.57     77.76      3.45   1000000         0
1097.83/1098.15	c       153       258    264.87     79.17      3.35   1000000         0
1099.73/1100.02	c       158       233    278.57     79.91      3.49   1000000         0
1101.53/1101.88	c       158       257    276.50     86.57      3.19   1000000         0
1103.42/1103.76	c       159       218    280.33     96.80      2.90   1000000         0
1105.32/1105.63	c       152       257    270.46     83.31      3.25   1000000         0
1107.12/1107.49	c       160       290    273.09     82.54      3.31   1000000         0
1109.02/1109.38	c       138       242    277.49     96.95      2.86   1000000         0
1110.92/1111.25	c       163       265    276.12     78.82      3.50   1000000         0
1112.83/1113.12	c       160       315    274.29     84.15      3.26   1000000         0
1114.72/1115.00	c       152       236    268.53     80.69      3.33   1000000         0
1116.52/1116.87	c       152       219    272.12     71.33      3.81   1000000         0
1118.43/1118.74	c       157       259    270.41     86.53      3.13   1000000         0
1120.32/1120.62	c       155       292    273.62     78.05      3.51   1000000         0
1122.12/1122.49	c       152       290    271.75     78.29      3.47   1000000         0
1124.02/1124.37	c       141       261    267.50     75.27      3.55   1000000         0
1125.92/1126.23	c       151       271    275.25     79.13      3.48   1000000         0
1127.72/1128.09	c       141       234    276.08     78.58      3.51   1000000         0
1129.62/1129.97	c       155       272    276.66     79.96      3.46   1000000         0
1131.52/1131.83	c       130       223    268.53     77.07      3.48   1000000         0
1133.42/1133.71	c       152       273    270.88     91.41      2.96   1000000         0
1135.22/1135.58	c       157       267    264.18     69.72      3.79   1000000         0
1137.12/1137.46	c       163       263    277.68    100.46      2.76   1000000         0
1139.02/1139.33	c       143       232    274.73     90.34      3.04   1000000         0
1140.92/1141.20	c       142       265    270.82     76.02      3.56   1000000         0
1142.72/1143.07	c       151       200    271.47     79.91      3.40   1000000         0
1144.62/1144.95	c       157       282    276.64     89.60      3.09   1000000         0
1146.51/1146.82	c       160       218    273.57     79.31      3.45   1000000         0
1148.31/1148.69	c       144       258    268.50     76.36      3.52   1000000         0
1150.22/1150.55	c       153       268    272.41     83.25      3.27   1000000         0
1152.11/1152.43	c       142       228    280.25     75.50      3.71   1000000         0
1154.01/1154.31	c       150       225    277.03     81.86      3.38   1000000         0
1155.82/1156.16	c       160       282    275.82     88.16      3.13   1000000         0
1157.71/1158.03	c       140       206    270.76     67.76      4.00   1000000         0
1159.61/1159.90	c       145       275    271.27     92.58      2.93   1000000         0
1161.41/1161.77	c       160       238    276.44     84.11      3.29   1000000         0
1163.31/1163.64	c       155       226    271.25     75.18      3.61   1000000         0
1165.21/1165.51	c       141       300    269.27     79.76      3.38   1000000         0
1167.01/1167.38	c       160       281    279.93     84.93      3.30   1000000         0
1168.92/1169.26	c       147       262    276.43     75.28      3.67   1000000         0
1170.81/1171.12	c       154       225    275.19     90.86      3.03   1000000         0
1172.61/1172.98	c       140       275    267.25     78.98      3.38   1000000         0
1174.52/1174.85	c       164       249    272.56     70.99      3.84   1000000         0
1176.41/1176.72	c       155       290    271.51     74.86      3.63   1000000         0
1178.21/1178.60	c       161       284    274.45     77.97      3.52   1000000         0
1180.11/1180.46	c       135       364    279.91     99.12      2.82   1000000         0
1182.01/1182.32	c       159       276    274.14     80.48      3.41   1000000         0
1183.81/1184.19	c       136       185    268.78     76.79      3.50   1000000         0
1185.71/1186.07	c       165       301    282.94     94.75      2.99   1000000         0
1187.61/1187.93	c       143       268    267.98     71.31      3.76   1000000         0
1189.41/1189.79	c       143       296    279.28     91.22      3.06   1000000         0
1191.30/1191.65	c       162       249    271.89     69.23      3.93   1000000         0
1193.21/1193.51	c       153       245    271.01     71.81      3.77   1000000         0
1195.00/1195.38	c       146       291    263.19     75.88      3.47   1000000         0
1196.90/1197.25	c       155       242    273.96     75.36      3.64   1000000         0
1198.80/1199.13	c       164       259    269.28     73.39      3.67   1000000         0
1200.70/1201.00	c       152       320    268.29     86.36      3.11   1000000         0
1202.50/1202.88	c       164       220    278.67     82.59      3.37   1000000         0
1204.40/1204.74	c       151       268    262.49     68.58      3.83   1000000         0
1206.31/1206.61	c       153       242    272.15     85.25      3.19   1000000         0
1208.10/1208.48	c       147       223    267.75     77.42      3.46   1000000         0
1210.00/1210.36	c       145       336    274.98     84.05      3.27   1000000         0
1211.91/1212.23	c       153       242    274.67     86.99      3.16   1000000         0
1213.70/1214.09	c       156       257    270.12     75.01      3.60   1000000         0
1215.60/1215.96	c       133       225    272.73     89.19      3.06   1000000         0
1217.50/1217.82	c       145       269    263.78     75.06      3.51   1000000         0
1219.30/1219.68	c       161       209    268.59     77.01      3.49   1000000         0
1221.20/1221.55	c       159       237    273.37     98.02      2.79   1000000         0
1223.10/1223.42	c       163       262    269.29     76.45      3.52   1000000         0
1224.90/1225.28	c       141       233    268.96     88.64      3.03   1000000         0
1226.80/1227.15	c       147       222    274.28     97.16      2.82   1000000         0
1228.70/1229.01	c       148       270    269.33     85.48      3.15   1000000         0
1230.50/1230.88	c       152       202    272.19     76.95      3.54   1000000         0
1232.40/1232.74	c       155       245    279.41     83.78      3.33   1000000         0
1234.30/1234.61	c       150       271    275.35     83.94      3.28   1000000         0
1236.10/1236.48	c       160       287    271.62     74.63      3.64   1000000         0
1237.99/1238.35	c       170       271    276.83     94.95      2.92   1000000         0
1239.89/1240.23	c       135       231    268.03     87.45      3.06   1000000         0
1241.79/1242.11	c       145       202    265.60     73.16      3.63   1000000         0
1243.59/1243.99	c       151       217    270.33     71.56      3.78   1000000         0
1245.49/1245.84	c       151       283    262.15     78.97      3.32   1000000         0
1247.39/1247.71	c       155       252    271.41     90.07      3.01   1000000         0
1249.20/1249.58	c       169       255    278.86     84.81      3.29   1000000         0
1251.09/1251.45	c       156       249    270.04     78.74      3.43   1000000         0
1252.99/1253.33	c       146       284    267.63     84.13      3.18   1000000         0
1254.80/1255.19	c       144       296    271.29     78.21      3.47   1000000         0
1256.69/1257.06	c       151       301    265.57     72.21      3.68   1000000         0
1258.59/1258.94	c       142       249    270.59     75.33      3.59   1000000         0
1260.49/1260.81	c       145       279    273.29     90.50      3.02   1000000         0
1262.29/1262.68	c       161       245    275.09     87.40      3.15   1000000         0
1264.19/1264.56	c       161       228    269.66     79.51      3.39   1000000         0
1266.09/1266.41	c       148       270    267.06     77.27      3.46   1000000         0
1267.89/1268.27	c       154       296    269.79     79.23      3.41   1000000         0
1269.79/1270.16	c       165       292    279.84     81.08      3.45   1000000         0
1271.69/1272.01	c       138       288    270.75     86.35      3.14   1000000         0
1273.49/1273.89	c       163       285    281.31     83.86      3.35   1000000         0
1275.39/1275.76	c       158       236    275.23     82.43      3.34   1000000         0
1277.29/1277.63	c       151       284    265.39     77.27      3.43   1000000         0
1279.19/1279.51	c       139       243    272.40     86.78      3.14   1000000         0
1280.99/1281.38	c       129       252    268.10     80.75      3.32   1000000         0
1282.88/1283.25	c       156       278    272.65     79.08      3.45   1000000         0
1284.78/1285.11	c       150       258    279.69     96.55      2.90   1000000         0
1286.59/1286.98	c       159       272    265.93     69.58      3.82   1000000         0
1288.48/1288.84	c       149       196    271.58     89.10      3.05   1000000         0
1290.38/1290.73	c       158       251    276.25     78.34      3.53   1000000         0
1292.28/1292.61	c       163       240    274.56     93.05      2.95   1000000         0
1294.08/1294.48	c       156       278    276.34     95.55      2.89   1000000         0
1295.98/1296.35	c       163       263    270.61     83.74      3.23   1000000         0
1297.88/1298.21	c       137       290    273.21     85.35      3.20   1000000         0
1299.68/1300.08	c       128       213    270.45     76.52      3.53   1000000         0
1301.58/1301.94	c       164       222    276.08     84.41      3.27   1000000         0
1303.48/1303.81	c       141       280    272.61     91.10      2.99   1000000         0
1305.28/1305.68	c       151       300    267.81     82.58      3.24   1000000         0
1307.18/1307.54	c       143       247    263.60     86.44      3.05   1000000         0
1309.08/1309.42	c       151       252    265.80     71.37      3.72   1000000         0
1310.88/1311.28	c       146       232    280.74     91.11      3.08   1000000         0
1312.78/1313.16	c       155       240    272.83     81.61      3.34   1000000         0
1314.68/1315.04	c       142       257    279.50     76.53      3.65   1000000         0
1316.58/1316.91	c       147       190    271.31     82.55      3.29   1000000         0
1318.37/1318.78	c       139       279    263.28     68.83      3.82   1000000         0
1320.27/1320.66	c       147       253    274.25     79.05      3.47   1000000         0
1322.17/1322.54	c       156       266    278.17     90.56      3.07   1000000         0
1324.08/1324.41	c       157       233    274.31     79.80      3.44   1000000         0
1325.87/1326.28	c       148       227    267.05     77.03      3.47   1000000         0
1327.77/1328.13	c       158       265    277.56     79.90      3.47   1000000         0
1329.58/1330.00	c       166       246    278.53     68.73      4.05   1000000         0
1331.47/1331.87	c       140       274    266.04     81.30      3.27   1000000         0
1333.37/1333.74	c       147       307    264.75     80.34      3.30   1000000         0
1335.27/1335.61	c       163       274    272.71     71.27      3.83   1000000         0
1337.07/1337.48	c       142       273    271.36    100.35      2.70   1000000         0
1338.97/1339.35	c       153       240    275.92     86.99      3.17   1000000         0
1340.87/1341.22	c       158       271    278.68     92.76      3.00   1000000         0
1342.68/1343.10	c       157       281    272.23     80.09      3.40   1000000         0
1344.57/1344.98	c       157       230    272.91     87.03      3.14   1000000         0
1346.47/1346.84	c       155       223    277.13     86.35      3.21   1000000         0
1348.37/1348.70	c       138       295    261.57     75.21      3.48   1000000         0
1350.17/1350.58	c       148       235    273.86     82.46      3.32   1000000         0
1352.07/1352.46	c       142       242    263.05     73.07      3.60   1000000         0
1353.97/1354.33	c       155       256    270.40     70.70      3.82   1000000         0
1355.77/1356.19	c       149       263    273.62     85.39      3.20   1000000         0
1357.67/1358.06	c       170       285    275.21     79.16      3.48   1000000         0
1359.57/1359.94	c       149       236    265.04     79.53      3.33   1000000         0
1361.47/1361.81	c       164       275    275.09     82.38      3.34   1000000         0
1363.26/1363.68	c       137       290    261.61     74.20      3.53   1000000         0
1365.16/1365.55	c       148       286    273.71     85.96      3.18   1000000         0
1367.06/1367.42	c       139       199    267.28     74.06      3.61   1000000         0
1368.86/1369.29	c       159       267    275.88     74.22      3.72   1000000         0
1370.76/1371.16	c       146       225    267.31     86.04      3.11   1000000         0
1372.66/1373.02	c       149       306    271.42     85.70      3.17   1000000         0
1374.46/1374.89	c       154       291    279.13     82.64      3.38   1000000         0
1376.36/1376.76	c       164       235    276.45     83.43      3.31   1000000         0
1378.26/1378.63	c       153       309    272.24     88.13      3.09   1000000         0
1380.17/1380.51	c       169       217    283.31     73.69      3.84   1000000         0
1381.96/1382.39	c       152       223    279.43     83.12      3.36   1000000         0
1383.86/1384.24	c       162       303    273.11     78.62      3.47   1000000         0
1385.76/1386.11	c       147       274    268.91     73.26      3.67   1000000         0
1387.56/1387.98	c       153       268    274.40     82.28      3.34   1000000         0
1389.46/1389.85	c       148       307    267.99     88.40      3.03   1000000         0
1391.36/1391.71	c       149       257    272.32     77.05      3.53   1000000         0
1393.16/1393.58	c       153       247    276.58     88.19      3.14   1000000         0
1395.06/1395.44	c       145       283    264.10     85.92      3.07   1000000         0
1396.96/1397.31	c       141       279    268.10     93.39      2.87   1000000         0
1398.76/1399.19	c       152       261    276.33     88.86      3.11   1000000         0
1400.66/1401.04	c       153       271    266.13     89.95      2.96   1000000         0
1402.56/1402.92	c       158       287    274.53     86.58      3.17   1000000         0
1404.36/1404.78	c       153       220    273.54     78.98      3.46   1000000         0
1406.26/1406.66	c       152       268    270.30     65.04      4.16   1000000         0
1408.15/1408.53	c       137       239    270.49     76.67      3.53   1000000         0
1410.06/1410.41	c       147       283    268.17     75.98      3.53   1000000         0
1411.85/1412.28	c       159       277    270.01     80.93      3.34   1000000         0
1413.75/1414.13	c       150       246    273.20     74.79      3.65   1000000         0
1415.55/1415.99	c       148       347    269.31     79.55      3.39   1000000         0
1417.46/1417.88	c       156       254    276.23     83.36      3.31   1000000         0
1419.35/1419.74	c       154       248    276.35     80.61      3.43   1000000         0
1421.25/1421.62	c       144       280    267.87     67.05      4.00   1000000         0
1423.06/1423.49	c       152       228    277.57     76.96      3.61   1000000         0
1424.95/1425.35	c       164       269    278.14     81.74      3.40   1000000         0
1426.85/1427.20	c       123       262    267.02     82.26      3.25   1000000         0
1428.65/1429.08	c       155       241    271.57     79.03      3.44   1000000         0
1430.55/1430.94	c       154       241    272.15     84.28      3.23   1000000         0
1432.45/1432.82	c       149       176    267.34     85.73      3.12   1000000         0
1434.35/1434.70	c       136       207    274.41     80.78      3.40   1000000         0
1436.16/1436.56	c       154       248    271.57     74.15      3.66   1000000         0
1438.05/1438.43	c       152       280    270.15     70.85      3.81   1000000         0
1439.85/1440.29	c       152       258    263.73     89.92      2.93   1000000         0
1441.75/1442.16	c       142       253    273.03     93.40      2.92   1000000         0
1443.65/1444.02	c       153       333    272.48     97.11      2.81   1000000         0
1445.55/1445.90	c       162       251    275.65     77.76      3.55   1000000         0
1447.35/1447.77	c       158       262    273.66     88.85      3.08   1000000         0
1449.25/1449.65	c       149       198    273.60     85.26      3.21   1000000         0
1451.15/1451.52	c       155       234    269.93     78.84      3.42   1000000         0
1453.05/1453.40	c       156       279    271.81     79.21      3.43   1000000         0
1454.85/1455.27	c       148       262    267.35     91.65      2.92   1000000         0
1456.74/1457.14	c       153       265    265.64     78.78      3.37   1000000         0
1458.64/1459.01	c       156       221    275.33     94.64      2.91   1000000         0
1460.45/1460.90	c       155       279    271.05     75.61      3.59   1000000         0
1462.34/1462.78	c       150       236    267.25     80.54      3.32   1000000         0
1464.24/1464.64	c       158       276    276.66     74.95      3.69   1000000         0
1466.14/1466.53	c       151       215    272.40     70.95      3.84   1000000         0
1467.94/1468.39	c       159       249    271.93     85.16      3.19   1000000         0
1469.84/1470.26	c       155       284    278.83     86.42      3.23   1000000         0
1471.74/1472.14	c       156       262    272.42     74.07      3.68   1000000         0
1473.65/1474.01	c       153       207    271.11     80.22      3.38   1000000         0
1475.44/1475.87	c       148       315    268.66     78.34      3.43   1000000         0
1477.34/1477.73	c       157       321    267.77     79.02      3.39   1000000         0
1479.24/1479.60	c       156       231    274.76     76.39      3.60   1000000         0
1481.04/1481.47	c       155       212    273.68     82.28      3.33   1000000         0
1482.94/1483.34	c       149       258    266.33     84.45      3.15   1000000         0
1484.84/1485.20	c       152       229    267.49     76.77      3.48   1000000         0
1486.64/1487.07	c       127       286    264.90     86.46      3.06   1000000         0
1488.54/1488.94	c       159       273    273.02     76.11      3.59   1000000         0
1490.44/1490.81	c       148       221    273.13     86.69      3.15   1000000         0
1492.24/1492.69	c       164       247    272.19     86.90      3.13   1000000         0
1494.14/1494.55	c       145       260    275.20     84.65      3.25   1000000         0
1496.04/1496.43	c       165       270    270.99     78.51      3.45   1000000         0
1497.94/1498.30	c       157       252    274.53     74.91      3.66   1000000         0
1499.74/1500.18	c       142       226    272.78     95.05      2.87   1000000         0
1501.63/1502.04	c       153       229    268.53     82.45      3.26   1000000         0
1503.53/1503.90	c       146       248    270.52     77.31      3.50   1000000         0
1505.33/1505.77	c       158       251    273.64     80.20      3.41   1000000         0
1507.23/1507.63	c       157       293    271.66     71.47      3.80   1000000         0
1509.13/1509.51	c       142       210    274.75     87.00      3.16   1000000         0
1510.94/1511.38	c       153       274    272.17     72.45      3.76   1000000         0
1512.83/1513.25	c       154       255    272.42     78.69      3.46   1000000         0
1514.73/1515.13	c       158       302    273.51     85.46      3.20   1000000         0
1516.63/1517.01	c       156       259    276.68     89.94      3.08   1000000         0
1518.43/1518.89	c       163       251    278.73     90.66      3.07   1000000         0
1520.33/1520.76	c       152       241    271.16     83.65      3.24   1000000         0
1522.23/1522.63	c       149       308    273.51     77.83      3.51   1000000         0
1524.03/1524.49	c       148       197    279.90     94.69      2.96   1000000         0
1525.93/1526.36	c       143       298    281.36     89.75      3.13   1000000         0
1527.83/1528.22	c       153       223    273.14     66.26      4.12   1000000         0
1529.64/1530.09	c       157       294    275.70     75.27      3.66   1000000         0
1531.53/1531.96	c       147       241    274.85     86.99      3.16   1000000         0
1533.43/1533.84	c       156       290    279.75     96.07      2.91   1000000         0
1535.33/1535.72	c       135       258    264.97     74.73      3.55   1000000         0
1537.13/1537.59	c       147       242    274.11     87.73      3.12   1000000         0
1539.03/1539.46	c       146       299    271.26     91.92      2.95   1000000         0
1540.93/1541.32	c       157       277    265.19     80.24      3.30   1000000         0
1542.73/1543.18	c       148       272    263.91     74.92      3.52   1000000         0
1544.63/1545.04	c       141       256    272.10     82.79      3.29   1000000         0
1546.52/1546.91	c       152       240    268.58     72.55      3.70   1000000         0
1548.33/1548.79	c       150       196    274.99     88.36      3.11   1000000         0
1550.22/1550.66	c       157       251    277.29     87.39      3.17   1000000         0
1552.12/1552.53	c       163       281    272.76     84.78      3.22   1000000         0
1554.02/1554.40	c       142       289    279.20     89.25      3.13   1000000         0
1555.82/1556.27	c       151       232    272.09     73.14      3.72   1000000         0
1557.72/1558.14	c       147       265    276.09     76.55      3.61   1000000         0
1559.62/1560.01	c       153       246    273.10     90.25      3.03   1000000         0
1561.42/1561.87	c       168       248    268.92     65.18      4.13   1000000         0
1563.32/1563.73	c       159       241    272.02     77.13      3.53   1000000         0
1565.22/1565.61	c       151       245    270.45     78.15      3.46   1000000         0
1567.03/1567.47	c       160       250    272.33     79.14      3.44   1000000         0
1568.92/1569.33	c       150       221    274.46     82.14      3.34   1000000         0
1570.82/1571.21	c       160       245    276.76     74.15      3.73   1000000         0
1572.63/1573.08	c       159       240    273.42     68.44      3.99   1000000         0
1574.52/1574.95	c       134       253    265.63     73.29      3.62   1000000         0
1576.42/1576.81	c       152       275    263.42     72.54      3.63   1000000         0
1578.22/1578.67	c       157       225    274.35     89.05      3.08   1000000         0
1580.12/1580.56	c       156       218    275.38     89.47      3.08   1000000         0
1582.02/1582.42	c       135       295    271.05     81.41      3.33   1000000         0
1583.82/1584.29	c       149       244    271.01     83.06      3.26   1000000         0
1585.72/1586.16	c       114       272    262.64     79.23      3.32   1000000         0
1587.62/1588.03	c       155       291    271.77     75.86      3.58   1000000         0
1589.42/1589.89	c       160       222    272.46     71.13      3.83   1000000         0
1591.32/1591.76	c       155       267    271.98     77.89      3.49   1000000         0
1593.21/1593.64	c       163       263    281.97     92.03      3.06   1000000         0
1595.11/1595.51	c       147       229    265.99     83.22      3.20   1000000         0
1596.91/1597.38	c       156       244    277.35     99.74      2.78   1000000         0
1598.81/1599.26	c       153       282    275.17     79.98      3.44   1000000         0
1600.71/1601.14	c       145       213    268.66     90.29      2.98   1000000         0
1602.61/1603.00	c       157       274    285.78     77.56      3.68   1000000         0
1604.42/1604.86	c       160       308    269.19     74.59      3.61   1000000         0
1606.31/1606.73	c       161       250    267.95     71.99      3.72   1000000         0
1608.21/1608.60	c       133       205    268.99     82.49      3.26   1000000         0
1610.02/1610.48	c       167       292    280.14     77.74      3.60   1000000         0
1611.91/1612.34	c       156       277    274.86     84.08      3.27   1000000         0
1613.81/1614.21	c       149       211    270.83     74.19      3.65   1000000         0
1615.61/1616.08	c       138       217    270.95     73.10      3.71   1000000         0
1617.51/1617.93	c       158       257    267.85     59.51      4.50   1000000         0
1619.41/1619.81	c       150       215    268.65     86.77      3.10   1000000         0
1621.21/1621.68	c       155       239    277.10     86.27      3.21   1000000         0
1623.11/1623.55	c       154       267    275.19     77.49      3.55   1000000         0
1625.01/1625.44	c       160       230    271.84     89.33      3.04   1000000         0
1626.91/1627.30	c       156       310    272.54     74.17      3.67   1000000         0
1628.71/1629.18	c       158       212    270.42     72.24      3.74   1000000         0
1630.61/1631.05	c       157       219    270.93     83.97      3.23   1000000         0
1632.51/1632.92	c       154       275    274.17     77.29      3.55   1000000         0
1634.30/1634.79	c       150       300    267.00     75.80      3.52   1000000         0
1636.20/1636.66	c       155       229    268.60     70.80      3.79   1000000         0
1638.10/1638.52	c       141       269    273.76    103.45      2.65   1000000         0
1640.00/1640.40	c       165       233    272.77     82.91      3.29   1000000         0
1641.81/1642.27	c       150       260    274.49     87.12      3.15   1000000         0
1643.70/1644.14	c       158       249    272.10     71.09      3.83   1000000         0
1645.60/1646.02	c       162       330    280.64     74.29      3.78   1000000         0
1647.41/1647.89	c       149       243    274.09     84.87      3.23   1000000         0
1649.30/1649.77	c       154       265    269.99     80.11      3.37   1000000         0
1651.20/1651.63	c       134       267    270.24     88.41      3.06   1000000         0
1653.10/1653.50	c       147       248    268.86     77.36      3.48   1000000         0
1654.90/1655.38	c       160       270    278.83     83.38      3.34   1000000         0
1656.80/1657.25	c       157       216    272.95     94.10      2.90   1000000         0
1658.70/1659.12	c       154       274    273.81     73.27      3.74   1000000         0
1660.51/1661.00	c       143       306    277.35     83.67      3.31   1000000         0
1662.40/1662.87	c       135       293    263.96     87.24      3.03   1000000         0
1664.30/1664.75	c       151       214    277.96     99.99      2.78   1000000         0
1666.20/1666.61	c       144       273    272.75     78.75      3.46   1000000         0
1668.00/1668.48	c       141       218    267.54     73.98      3.62   1000000         0
1669.90/1670.36	c       151       240    268.31     80.79      3.32   1000000         0
1671.80/1672.23	c       145       262    267.17     79.83      3.35   1000000         0
1673.60/1674.09	c       162       246    275.59     80.27      3.43   1000000         0
1675.50/1675.96	c       142       279    271.71     80.17      3.39   1000000         0
1677.39/1677.83	c       161       256    277.64     88.78      3.13   1000000         0
1679.30/1679.71	c       148       265    267.61     75.36      3.55   1000000         0
1681.09/1681.59	c       153       297    274.06     86.41      3.17   1000000         0
1682.99/1683.46	c       142       316    266.60     81.09      3.29   1000000         0
1684.89/1685.32	c       158       211    275.73     79.85      3.45   1000000         0
1686.69/1687.19	c       167       201    272.91     70.84      3.85   1000000         0
1688.59/1689.07	c       158       273    279.93     93.88      2.98   1000000         0
1690.49/1690.93	c       153       255    271.73     73.82      3.68   1000000         0
1692.40/1692.80	c       161       268    272.15     75.83      3.59   1000000         0
1694.19/1694.67	c       148       255    273.65     72.08      3.80   1000000         0
1696.09/1696.53	c       140       284    271.21     85.69      3.17   1000000         0
1697.90/1698.40	c       151       245    263.11     71.40      3.69   1000000         0
1699.79/1700.27	c       149       209    269.72     80.57      3.35   1000000         0
1701.69/1702.13	c       162       230    269.30     75.53      3.57   1000000         0
1703.59/1704.01	c       162       261    278.65     65.39      4.26   1000000         0
1705.39/1705.87	c       155       285    267.81     85.97      3.12   1000000         0
1707.29/1707.73	c       137       262    268.16     85.10      3.15   1000000         0
1709.19/1709.60	c       159       234    272.45     80.87      3.37   1000000         0
1710.99/1711.47	c       160       299    263.97     73.15      3.61   1000000         0
1712.89/1713.33	c       138       215    273.64     94.26      2.90   1000000         0
1714.79/1715.21	c       137       238    270.80     82.46      3.28   1000000         0
1716.59/1717.06	c       151       247    277.15     84.15      3.29   1000000         0
1718.49/1718.94	c       151       264    273.51     90.75      3.01   1000000         0
1720.38/1720.81	c       156       238    269.28     81.82      3.29   1000000         0
1722.19/1722.68	c       151       262    270.89     85.16      3.18   1000000         0
1724.08/1724.55	c       152       248    272.52     78.86      3.46   1000000         0
1725.98/1726.42	c       153       218    273.04     76.99      3.55   1000000         0
1727.78/1728.29	c       155       242    273.49     82.41      3.32   1000000         0
1729.68/1730.17	c       149       266    276.40     82.79      3.34   1000000         0
1731.58/1732.04	c       143       246    269.75     75.60      3.57   1000000         0
1733.48/1733.91	c       156       215    271.15     82.07      3.30   1000000         0
1735.29/1735.78	c       160       291    280.21     78.18      3.58   1000000         0
1737.18/1737.64	c       151       218    269.00     72.58      3.71   1000000         0
1739.08/1739.51	c       141       234    268.43     82.13      3.27   1000000         0
1740.98/1741.40	c       151       240    268.81     93.37      2.88   1000000         0
1742.78/1743.27	c       153       224    264.93     79.40      3.34   1000000         0
1744.68/1745.13	c       156       247    277.54     86.93      3.19   1000000         0
1746.58/1747.01	c       146       218    273.57     91.39      2.99   1000000         0
1748.38/1748.89	c       162       224    278.54     83.54      3.33   1000000         0
1750.28/1750.76	c       158       244    267.25     71.54      3.74   1000000         0
1752.18/1752.63	c       151       244    276.52     80.60      3.43   1000000         0
1753.98/1754.49	c       161       248    273.16     80.96      3.37   1000000         0
1755.88/1756.37	c       156       305    269.43     69.66      3.87   1000000         0
1757.78/1758.24	c       135       298    268.37     84.79      3.17   1000000         0
1759.68/1760.12	c       148       231    275.06     76.06      3.62   1000000         0
1761.48/1761.98	c       158       278    269.33     70.67      3.81   1000000         0
1763.37/1763.87	c       163       279    279.13     79.70      3.50   1000000         0
1765.28/1765.75	c       152       251    273.19     81.02      3.37   1000000         0
1767.18/1767.63	c       144       263    278.23     80.85      3.44   1000000         0
1768.98/1769.49	c       147       207    278.14     87.29      3.19   1000000         0
1770.87/1771.35	c       159       248    271.35     64.93      4.18   1000000         0
1772.78/1773.22	c       142       282    265.56     95.25      2.79   1000000         0
1774.67/1775.10	c       147       224    271.94     74.73      3.64   1000000         0
1776.47/1776.98	c       152       253    269.44     86.97      3.10   1000000         0
1778.37/1778.85	c       165       248    277.96     92.32      3.01   1000000         0
1780.27/1780.71	c       154       249    274.12     84.92      3.23   1000000         0
1782.07/1782.58	c       154       227    270.58     78.30      3.46   1000000         0
1783.97/1784.45	c       159       339    276.76     82.05      3.37   1000000         0
1785.88/1786.31	c       134       234    272.75     82.34      3.31   1000000         0
1787.67/1788.19	c       149       225    269.92     74.96      3.60   1000000         0
1789.57/1790.06	c       151       256    273.33     85.44      3.20   1000000         0
1791.48/1791.93	c       167       241    277.94     84.10      3.31   1000000         0
1793.37/1793.80	c       137       241    263.95     84.02      3.14   1000000         0
1795.17/1795.67	c       143       318    269.04     85.98      3.13   1000000         0
1797.07/1797.53	c       134       212    278.34     91.08      3.06   1000000         0
1798.87/1799.40	c       151       229    271.95     81.19      3.35   1000000         0
1800.07/1800.50	HOME/run: line 2: 10174 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-2669854-1276609968/watcher-2669854-1276609968 -o /tmp/evaluation-result-2669854-1276609968/solver-2669854-1276609968 -C 1800 -W 2000 -M 1800 run HOME/instance-2669854-1276609968.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.03 1.00 3/106 10173
/proc/meminfo: memFree=1515920/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) R 10171 10173 9611 0 -1 4202496 343 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906286997 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0

[startup+0.066965 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 10173
/proc/meminfo: memFree=1515920/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100967 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 10173
/proc/meminfo: memFree=1515920/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300981 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 10173
/proc/meminfo: memFree=1515920/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701008 s]
/proc/loadavg: 1.00 1.03 1.00 3/106 10173
/proc/meminfo: memFree=1515920/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50106 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 10175
/proc/meminfo: memFree=1511440/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1.49
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1147 0 0 0 149 0 0 0 25 0 1 0 2292135 41422848 1077 1992294400 134512640 135071400 4292628064 18446744073709551615 134526627 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1077 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10118 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 10175
/proc/meminfo: memFree=1511192/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=3.09
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 309 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.3014 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 10175
/proc/meminfo: memFree=1511068/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=6.29
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 629 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7008 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 10177
/proc/meminfo: memFree=1510820/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=12.68
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 1268 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526757 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5007 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 10177
/proc/meminfo: memFree=1510820/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=25.48
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 2548 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526629 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1005 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 10177
/proc/meminfo: memFree=1510820/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=51.07
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 5107 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 10179
/proc/meminfo: memFree=1510696/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=102.27
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 10227 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 10181
/proc/meminfo: memFree=1510572/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=162.25
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 16225 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 10181
/proc/meminfo: memFree=1510448/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=222.23
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 22223 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526487 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10183
/proc/meminfo: memFree=1510448/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=282.22
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 28222 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10185
/proc/meminfo: memFree=1510200/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=342.21
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 34221 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10187
/proc/meminfo: memFree=1510076/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=402.19
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 40219 0 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134525888 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1122.02
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 112201 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10216
/proc/meminfo: memFree=1508092/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1182.01
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 118200 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10218
/proc/meminfo: memFree=1507720/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1241.99
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 124198 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10220
/proc/meminfo: memFree=1507596/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1301.99
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 130198 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10222
/proc/meminfo: memFree=1507472/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1361.96
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 136195 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10222
/proc/meminfo: memFree=1507472/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1421.96
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 142195 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10224
/proc/meminfo: memFree=1507348/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1481.94
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 148193 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134525573 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10226
/proc/meminfo: memFree=1507100/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1541.93
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 154192 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526385 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10228
/proc/meminfo: memFree=1506976/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1601.91
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 160190 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10230
/proc/meminfo: memFree=1506852/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1661.9
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 166189 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526787 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10230
/proc/meminfo: memFree=1506728/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1721.88
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 172187 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10232
/proc/meminfo: memFree=1506604/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1781.87
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 178186 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10232
/proc/meminfo: memFree=1506604/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1800.07
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 180006 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526801 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10232
/proc/meminfo: memFree=1506604/2059040 swapFree=4192956/4192956
[pid=10173] ppid=10171 vsize=8700 CPUtime=0
/proc/10173/stat : 10173 (run) S 10171 10173 9611 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 2292135 8908800 244 1992294400 4194304 4922060 140733647206912 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/10173/statm: 2175 244 204 178 0 68 0
[pid=10174] ppid=10173 vsize=40452 CPUtime=1800.07
/proc/10174/stat : 10174 (PB-wave) R 10173 10173 9611 0 -1 4202496 1155 0 0 0 180006 1 0 0 25 0 1 0 2292135 41422848 1085 1992294400 134512640 135071400 4292628064 18446744073709551615 134526801 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10174/statm: 10113 1085 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1800.07
CPU system time (s): 0.020996
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.98754 second user time and 8.5457 second system time

The end

Launcher Data 

Begin job on node030 at 2010-06-15 15:52:48
IDJOB=2669854
IDBENCH=1446
IDSOLVER=1171
FILE ID=node030/2669854-1276609968
PBS_JOBID= 11172255
Free space on /tmp= 62556 MiB

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

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

MD5SUM BENCH= 449faf6379a77b0035cc1474243ef90a
RANDOM SEED=1893252904

node030.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1516440 kB
Buffers:         68512 kB
Cached:         346880 kB
SwapCached:          0 kB
Active:         184220 kB
Inactive:       290940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1516440 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1428 kB
Writeback:          12 kB
AnonPages:       59732 kB
Mapped:          15412 kB
Slab:            45648 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181324 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62556 MiB
End job on node030 at 2010-06-15 16:22:48