Trace number 2669860

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.1 1800.61

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
MD5SUM02e31ca1ab9f95407d6e9ec422f4634a
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.03223
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables9071
Total number of constraints25914
Number of constraints which are clauses25190
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints724
Minimum length of a constraint1
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c PB-wave - v2
0.00/0.07	c command line = ./PB-wave
0.00/0.07	c seed = 36594891
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 9071 #con 25914
0.00/0.07	mode is SAT
0.00/0.07	c tail starts after flip = 27213
0.00/0.07	c numatom = 9071, numclause = 25914, numliterals = 66470
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.91	c       322       498    536.88    135.68      3.96   1000000         0
3.69/3.74	c       276       495    511.90    122.81      4.17   1000000         0
5.50/5.56	c       354       446    536.04    130.27      4.11   1000000         0
7.29/7.38	c       348       481    539.63    127.81      4.22   1000000         0
9.19/9.20	c       318       438    516.26    125.83      4.10   1000000         0
10.99/11.04	c       302       537    530.43    135.40      3.92   1000000         0
12.79/12.86	c       331       530    547.11    134.63      4.06   1000000         0
14.68/14.70	c       268       459    494.75    121.54      4.07   1000000         0
16.49/16.52	c       310       457    516.51    116.88      4.42   1000000         0
18.28/18.35	c       340       533    523.09    128.81      4.06   1000000         0
20.08/20.17	c       348       380    534.97    132.91      4.03   1000000         0
21.99/22.01	c       259       505    505.71    122.18      4.14   1000000         0
23.78/23.84	c       289       356    523.52    153.97      3.40   1000000         0
25.58/25.67	c       339       507    548.98    141.51      3.88   1000000         0
27.38/27.50	c       330       389    518.14    131.98      3.93   1000000         0
29.28/29.32	c       333       406    531.82    134.52      3.95   1000000         0
31.08/31.15	c       347       400    552.34    145.00      3.81   1000000         0
32.88/32.98	c       333       416    543.32    144.91      3.75   1000000         0
34.78/34.81	c       314       523    514.39    134.28      3.83   1000000         0
36.58/36.65	c       336       496    534.55    123.62      4.32   1000000         0
38.38/38.48	c       334       453    538.44    129.75      4.15   1000000         0
40.28/40.31	c       329       529    526.41    141.16      3.73   1000000         0
42.08/42.14	c       300       487    519.22    137.61      3.77   1000000         0
43.88/43.96	c       367       501    550.00    140.29      3.92   1000000         0
45.68/45.79	c       338       548    533.91    126.50      4.22   1000000         0
47.57/47.62	c       330       466    535.48    136.72      3.92   1000000         0
49.37/49.46	c       325       410    528.80    161.50      3.27   1000000         0
51.27/51.30	c       338       493    538.89    144.09      3.74   1000000         0
53.07/53.13	c       295       432    513.52    126.74      4.05   1000000         0
54.87/54.96	c       319       522    521.01    144.09      3.62   1000000         0
56.67/56.79	c       317       512    525.39    124.77      4.21   1000000         0
58.57/58.64	c       278       421    505.81    160.78      3.15   1000000         0
60.37/60.48	c       343       542    526.66    134.15      3.93   1000000         0
62.27/62.32	c       308       517    532.98    136.21      3.91   1000000         0
64.07/64.15	c       324       433    516.23    136.65      3.78   1000000         0
65.87/66.00	c       327       369    531.41    138.24      3.84   1000000         0
67.77/67.84	c       319       455    521.39    123.15      4.23   1000000         0
69.57/69.67	c       356       441    543.35    137.43      3.95   1000000         0
71.48/71.50	c       334       492    533.47    133.96      3.98   1000000         0
73.27/73.34	c       317       502    527.20    146.08      3.61   1000000         0
75.07/75.18	c       265       470    514.56    141.33      3.64   1000000         0
76.97/77.01	c       354       513    533.75    126.87      4.21   1000000         0
78.77/78.85	c       350       528    553.51    120.99      4.57   1000000         0
80.57/80.68	c       300       427    516.90    129.44      3.99   1000000         0
82.47/82.51	c       282       437    515.96    138.88      3.72   1000000         0
84.27/84.36	c       324       464    535.70    137.71      3.89   1000000         0
86.07/86.19	c       284       558    540.72    138.80      3.90   1000000         0
87.97/88.02	c       327       511    522.48    140.94      3.71   1000000         0
89.76/89.85	c       321       470    522.81    145.79      3.59   1000000         0
91.56/91.67	c       317       500    534.50    136.79      3.91   1000000         0
93.47/93.51	c       305       436    495.75    114.67      4.32   1000000         0
95.26/95.34	c       362       468    561.20    140.56      3.99   1000000         0
97.06/97.16	c       338       426    509.37    136.79      3.72   1000000         0
98.86/99.00	c       316       448    514.35    131.52      3.91   1000000         0
100.76/100.82	c       325       452    533.27    138.36      3.85   1000000         0
102.56/102.66	c       320       435    509.93    127.05      4.01   1000000         0
104.36/104.48	c       330       415    530.50    141.17      3.76   1000000         0
106.26/106.30	c       328       473    522.03    130.89      3.99   1000000         0
108.06/108.13	c       317       430    520.71    129.50      4.02   1000000         0
109.86/109.95	c       343       506    537.78    127.36      4.22   1000000         0
111.66/111.77	c       320       482    505.76    133.23      3.80   1000000         0
113.56/113.61	c       322       493    527.99    129.64      4.07   1000000         0
115.36/115.44	c       356       484    524.00    113.97      4.60   1000000         0
117.16/117.28	c       327       477    542.10    136.08      3.98   1000000         0
119.06/119.11	c       332       498    537.37    127.00      4.23   1000000         0
120.86/120.95	c       325       505    509.70    139.73      3.65   1000000         0
122.66/122.77	c       338       569    526.21    128.78      4.09   1000000         0
124.56/124.61	c       355       525    544.27    116.33      4.68   1000000         0
126.35/126.44	c       314       484    523.92    148.30      3.53   1000000         0
128.15/128.27	c       327       430    520.90    131.77      3.95   1000000         0
130.05/130.11	c       314       449    507.57    139.60      3.64   1000000         0
131.85/131.93	c       322       443    526.27    135.58      3.88   1000000         0
133.65/133.76	c       335       451    528.96    138.53      3.82   1000000         0
135.45/135.58	c       315       510    525.52    133.72      3.93   1000000         0
137.35/137.42	c       319       512    542.87    140.96      3.85   1000000         0
139.15/139.24	c       322       507    523.56    131.77      3.97   1000000         0
140.95/141.06	c       330       456    539.37    126.98      4.25   1000000         0
142.75/142.90	c       309       476    519.13    141.34      3.67   1000000         0
144.65/144.73	c       325       412    516.07    138.62      3.72   1000000         0
146.45/146.56	c       329       474    522.07    132.95      3.93   1000000         0
148.25/148.38	c       358       423    549.13    112.87      4.87   1000000         0
150.15/150.21	c       252       491    511.54    127.20      4.02   1000000         0
151.95/152.04	c       337       616    543.90    143.50      3.79   1000000         0
153.75/153.86	c       271       412    500.56    119.78      4.18   1000000         0
155.65/155.70	c       320       532    519.45    129.00      4.03   1000000         0
157.45/157.53	c       319       464    520.23    121.52      4.28   1000000         0
159.25/159.35	c       328       428    528.81    146.32      3.61   1000000         0
161.05/161.19	c       307       412    526.57    148.10      3.56   1000000         0
162.94/163.02	c       308       388    512.48    139.77      3.67   1000000         0
164.74/164.86	c       298       348    504.83    133.05      3.79   1000000         0
166.54/166.68	c       315       563    525.63    130.67      4.02   1000000         0
168.44/168.51	c       322       430    512.27    136.86      3.74   1000000         0
170.24/170.34	c       346       485    538.46    130.76      4.12   1000000         0
172.04/172.17	c       336       433    526.68    115.24      4.57   1000000         0
173.94/174.00	c       304       561    522.43    137.33      3.80   1000000         0
175.74/175.84	c       301       427    523.59    144.74      3.62   1000000         0
177.54/177.67	c       339       474    551.62    133.18      4.14   1000000         0
179.44/179.51	c       297       486    505.35    129.49      3.90   1000000         0
181.24/181.32	c       339       467    537.61    121.13      4.44   1000000         0
183.04/183.16	c       330       467    528.10    130.44      4.05   1000000         0
184.94/185.00	c       310       515    533.01    124.65      4.28   1000000         0
186.74/186.84	c       349       422    537.62    117.93      4.56   1000000         0
188.54/188.66	c       309       490    529.51    124.34      4.26   1000000         0
190.44/190.50	c       312       552    533.62    135.75      3.93   1000000         0
192.24/192.33	c       321       475    532.40    125.82      4.23   1000000         0
194.04/194.16	c       319       455    529.72    124.25      4.26   1000000         0
195.84/196.00	c       338       400    534.92    135.23      3.96   1000000         0
197.73/197.82	c       336       476    536.03    136.64      3.92   1000000         0
199.53/199.65	c       287       425    512.87    133.22      3.85   1000000         0
201.34/201.48	c       285       426    534.05    139.11      3.84   1000000         0
203.23/203.32	c       335       449    539.36    119.73      4.50   1000000         0
205.03/205.15	c       328       357    557.09    136.91      4.07   1000000         0
206.84/206.97	c       324       562    518.58    134.64      3.85   1000000         0
208.73/208.81	c       326       429    531.18    148.50      3.58   1000000         0
210.53/210.64	c       309       508    537.10    140.74      3.82   1000000         0
212.34/212.48	c       286       461    503.58    130.20      3.87   1000000         0
214.23/214.31	c       336       535    521.52    121.70      4.29   1000000         0
216.03/216.14	c       318       501    525.83    135.79      3.87   1000000         0
217.84/217.98	c       330       430    532.62    130.97      4.07   1000000         0
219.73/219.80	c       289       470    512.99    135.37      3.79   1000000         0
221.53/221.63	c       317       464    516.12    128.30      4.02   1000000         0
223.34/223.46	c       349       490    516.49    115.54      4.47   1000000         0
225.23/225.30	c       276       482    528.59    137.39      3.85   1000000         0
227.03/227.13	c       326       494    527.10    132.98      3.96   1000000         0
228.83/228.96	c       337       464    532.49    135.45      3.93   1000000         0
230.62/230.78	c       311       496    533.50    124.89      4.27   1000000         0
232.52/232.61	c       328       509    525.10    132.49      3.96   1000000         0
234.33/234.43	c       371       497    540.84    113.09      4.78   1000000         0
236.12/236.26	c       342       455    526.07    136.02      3.87   1000000         0
237.92/238.08	c       332       408    528.37    138.05      3.83   1000000         0
239.83/239.91	c       308       442    521.81    134.51      3.88   1000000         0
241.62/241.74	c       288       474    506.40    143.21      3.54   1000000         0
243.42/243.57	c       333       451    532.13    123.23      4.32   1000000         0
245.23/245.40	c       313       395    525.33    142.64      3.68   1000000         0
247.12/247.24	c       352       464    519.28    136.09      3.82   1000000         0
248.92/249.06	c       327       484    520.83    131.47      3.96   1000000         0
250.73/250.89	c       306       506    521.41    142.19      3.67   1000000         0
252.62/252.73	c       304       508    536.78    137.45      3.91   1000000         0
254.42/254.56	c       334       575    535.64    143.54      3.73   1000000         0
256.23/256.40	c       293       456    517.42    142.58      3.63   1000000         0
258.12/258.23	c       329       517    521.43    135.13      3.86   1000000         0
259.92/260.05	c       326       434    529.89    134.43      3.94   1000000         0
261.72/261.88	c       339       497    526.81    126.54      4.16   1000000         0
263.61/263.71	c       314       501    522.93    138.51      3.78   1000000         0
265.41/265.54	c       346       502    544.43    127.62      4.27   1000000         0
267.22/267.39	c       310       531    510.02    137.71      3.70   1000000         0
269.11/269.21	c       317       516    522.02    127.52      4.09   1000000         0
270.91/271.04	c       303       395    524.43    136.11      3.85   1000000         0
272.72/272.86	c       312       434    530.64    145.10      3.66   1000000         0
274.51/274.69	c       346       522    529.94    141.27      3.75   1000000         0
276.41/276.54	c       327       469    528.39    145.45      3.63   1000000         0
278.22/278.37	c       364       497    537.80    134.29      4.00   1000000         0
280.11/280.20	c       324       469    516.78    128.47      4.02   1000000         0
281.91/282.03	c       324       500    524.15    135.03      3.88   1000000         0
283.72/283.86	c       330       499    520.87    143.68      3.63   1000000         0
285.51/285.68	c       341       510    529.12    128.76      4.11   1000000         0
287.41/287.53	c       291       559    533.41    151.58      3.52   1000000         0
289.22/289.36	c       334       479    535.54    137.62      3.89   1000000         0
291.01/291.19	c       316       485    542.47    136.97      3.96   1000000         0
292.91/293.02	c       284       450    507.74    145.03      3.50   1000000         0
294.71/294.86	c       331       414    524.17    125.03      4.19   1000000         0
296.61/296.70	c       346       493    527.67    123.27      4.28   1000000         0
298.41/298.52	c       331       489    524.82    131.20      4.00   1000000         0
300.21/300.35	c       370       540    537.92    118.87      4.53   1000000         0
302.01/302.20	c       310       473    526.29    141.02      3.73   1000000         0
303.90/304.02	c       324       461    524.69    130.34      4.03   1000000         0
305.71/305.84	c       305       513    533.30    120.16      4.44   1000000         0
307.50/307.67	c       334       558    517.09    122.72      4.21   1000000         0
309.30/309.49	c       330       491    562.57    125.78      4.47   1000000         0
311.21/311.33	c       336       403    516.62    142.07      3.64   1000000         0
313.00/313.16	c       303       445    527.64    139.19      3.79   1000000         0
314.80/314.99	c       295       475    534.32    139.07      3.84   1000000         0
316.71/316.83	c       314       481    531.70    145.01      3.67   1000000         0
318.50/318.65	c       338       405    526.17    127.21      4.14   1000000         0
320.30/320.47	c       332       361    536.78    120.49      4.46   1000000         0
322.21/322.31	c       348       511    526.10    127.43      4.13   1000000         0
324.00/324.13	c       301       533    520.62    130.19      4.00   1000000         0
325.80/325.96	c       336       533    525.19    116.45      4.51   1000000         0
327.71/327.81	c       300       473    537.96    125.78      4.28   1000000         0
329.50/329.64	c       325       490    518.17    122.34      4.24   1000000         0
331.30/331.47	c       382       519    548.11    125.29      4.37   1000000         0
333.20/333.31	c       313       541    528.76    131.11      4.03   1000000         0
335.00/335.14	c       307       473    536.46    130.07      4.12   1000000         0
336.80/336.96	c       349       439    522.14    121.61      4.29   1000000         0
338.59/338.78	c       327       555    549.93    135.31      4.06   1000000         0
340.49/340.61	c       298       375    517.97    155.27      3.34   1000000         0
342.29/342.43	c       334       484    542.81    138.02      3.93   1000000         0
344.09/344.25	c       301       448    524.18    139.13      3.77   1000000         0
345.89/346.08	c       318       519    546.38    131.95      4.14   1000000         0
347.79/347.91	c       337       534    529.25    133.13      3.98   1000000         0
349.59/349.74	c       364       480    550.43    119.15      4.62   1000000         0
351.39/351.58	c       320       574    519.28    139.07      3.73   1000000         0
353.30/353.40	c       331       458    517.91    126.56      4.09   1000000         0
355.10/355.23	c       305       452    530.07    129.04      4.11   1000000         0
356.90/357.06	c       299       484    517.48    132.20      3.91   1000000         0
358.70/358.88	c       325       478    526.65    136.33      3.86   1000000         0
360.60/360.72	c       307       601    531.38    139.66      3.80   1000000         0
362.40/362.55	c       315       575    531.04    139.15      3.82   1000000         0
364.20/364.38	c       292       494    516.21    150.18      3.44   1000000         0
366.10/366.20	c       323       430    531.74    118.51      4.49   1000000         0
367.90/368.03	c       304       488    512.05    146.93      3.49   1000000         0
369.70/369.86	c       363       581    535.64    134.95      3.97   1000000         0
371.49/371.67	c       342       477    538.66    127.41      4.23   1000000         0
373.39/373.51	c       315       472    530.66    141.61      3.75   1000000         0
375.19/375.34	c       326       505    533.47    114.35      4.67   1000000         0
376.98/377.19	c       326       445    538.11    132.33      4.07   1000000         0
378.88/379.03	c       306       384    533.91    134.80      3.96   1000000         0
380.68/380.86	c       333       490    538.24    130.48      4.12   1000000         0
382.47/382.69	c       337       473    515.51    129.30      3.99   1000000         0
384.37/384.52	c       351       480    533.58    129.11      4.13   1000000         0
386.18/386.36	c       340       483    514.12    120.66      4.26   1000000         0
387.98/388.19	c       327       544    527.06    134.93      3.91   1000000         0
389.87/390.01	c       327       488    537.86    133.55      4.03   1000000         0
391.67/391.86	c       318       480    536.99    141.46      3.80   1000000         0
393.57/393.70	c       317       422    524.87    137.25      3.82   1000000         0
395.37/395.53	c       324       539    525.18    128.32      4.09   1000000         0
397.17/397.37	c       353       433    534.51    130.81      4.09   1000000         0
399.07/399.21	c       325       479    514.62    126.03      4.08   1000000         0
400.87/401.03	c       330       439    522.18    136.32      3.83   1000000         0
402.67/402.87	c       332       493    508.73    111.43      4.57   1000000         0
404.57/404.70	c       326       515    525.68    134.10      3.92   1000000         0
406.37/406.53	c       348       470    535.85    133.27      4.02   1000000         0
408.17/408.36	c       293       476    512.82    125.85      4.07   1000000         0
410.07/410.20	c       302       491    521.45    133.97      3.89   1000000         0
411.87/412.04	c       356       426    540.75    134.82      4.01   1000000         0
413.67/413.87	c       331       520    541.63    132.12      4.10   1000000         0
415.47/415.69	c       359       550    535.86    129.79      4.13   1000000         0
417.37/417.53	c       346       472    532.52    140.16      3.80   1000000         0
419.17/419.36	c       333       468    541.84    132.47      4.09   1000000         0
420.97/421.19	c       325       566    522.03    132.04      3.95   1000000         0
422.86/423.03	c       315       379    506.14    126.30      4.01   1000000         0
424.66/424.87	c       315       439    512.27    131.37      3.90   1000000         0
426.46/426.70	c       325       472    531.53    128.93      4.12   1000000         0
428.36/428.53	c       306       451    525.21    151.61      3.46   1000000         0
430.16/430.36	c       328       453    535.18    145.79      3.67   1000000         0
431.96/432.19	c       342       461    532.39    120.76      4.41   1000000         0
433.86/434.04	c       317       480    502.57    123.49      4.07   1000000         0
435.66/435.87	c       310       477    508.24    129.69      3.92   1000000         0
437.56/437.70	c       310       522    507.43    130.23      3.90   1000000         0
439.36/439.53	c       348       466    544.22    138.88      3.92   1000000         0
441.16/441.35	c       333       463    523.56    141.83      3.69   1000000         0
442.96/443.19	c       309       478    521.44    141.66      3.68   1000000         0
444.86/445.02	c       272       338    532.77    132.99      4.01   1000000         0
446.66/446.84	c       344       350    531.42    133.39      3.98   1000000         0
448.46/448.67	c       308       520    524.49    125.69      4.17   1000000         0
450.26/450.48	c       320       434    528.02    130.22      4.05   1000000         0
452.16/452.33	c       302       412    494.17    126.27      3.91   1000000         0
453.96/454.16	c       317       544    522.07    135.85      3.84   1000000         0
455.76/455.98	c       367       466    546.19    132.98      4.11   1000000         0
457.66/457.81	c       295       422    523.36    141.90      3.69   1000000         0
459.46/459.64	c       306       362    507.43    132.04      3.84   1000000         0
461.26/461.47	c       317       400    536.14    142.50      3.76   1000000         0
463.06/463.29	c       302       473    532.04    119.88      4.44   1000000         0
464.95/465.12	c       339       483    527.71    136.46      3.87   1000000         0
466.75/466.96	c       310       501    528.20    145.50      3.63   1000000         0
468.56/468.79	c       317       474    518.35    130.54      3.97   1000000         0
470.45/470.62	c       308       476    518.12    135.25      3.83   1000000         0
472.25/472.44	c       279       464    513.70    140.22      3.66   1000000         0
474.06/474.28	c       317       448    529.70    130.06      4.07   1000000         0
475.95/476.10	c       326       442    515.00    131.30      3.92   1000000         0
477.75/477.94	c       329       407    518.65    146.75      3.53   1000000         0
479.56/479.76	c       333       452    523.92    130.10      4.03   1000000         0
481.35/481.59	c       326       527    532.77    136.48      3.90   1000000         0
483.25/483.43	c       320       488    503.04    127.97      3.93   1000000         0
485.06/485.27	c       288       488    513.91    137.35      3.74   1000000         0
486.95/487.11	c       299       514    516.20    148.63      3.47   1000000         0
488.75/488.96	c       340       569    522.04    129.02      4.05   1000000         0
490.56/490.79	c       309       463    505.89    128.08      3.95   1000000         0
492.45/492.63	c       326       466    525.11    141.84      3.70   1000000         0
494.25/494.47	c       344       435    526.98    131.87      4.00   1000000         0
496.15/496.31	c       297       376    522.97    138.91      3.76   1000000         0
497.95/498.15	c       322       476    525.73    140.54      3.74   1000000         0
499.75/499.98	c       324       451    546.30    140.90      3.88   1000000         0
501.64/501.81	c       325       471    522.25    139.49      3.74   1000000         0
503.44/503.64	c       344       435    528.07    121.64      4.34   1000000         0
505.24/505.47	c       287       530    522.67    122.88      4.25   1000000         0
507.05/507.30	c       329       475    525.15    120.38      4.36   1000000         0
508.94/509.13	c       306       453    502.69    141.09      3.56   1000000         0
510.74/510.97	c       338       446    551.72    136.86      4.03   1000000         0
512.64/512.80	c       311       437    502.18    128.84      3.90   1000000         0
514.44/514.62	c       347       554    526.05    135.00      3.90   1000000         0
516.24/516.45	c       340       506    542.52    120.44      4.50   1000000         0
518.05/518.28	c       298       482    552.45    131.40      4.20   1000000         0
519.94/520.11	c       306       425    526.77    140.06      3.76   1000000         0
521.74/521.93	c       309       521    517.83    139.04      3.72   1000000         0
523.55/523.76	c       309       469    535.10    137.20      3.90   1000000         0
525.34/525.58	c       310       482    530.12    132.06      4.01   1000000         0
527.24/527.41	c       311       441    529.09    123.82      4.27   1000000         0
529.05/529.22	c       339       478    543.65    146.91      3.70   1000000         0
530.84/531.05	c       325       546    525.38    133.35      3.94   1000000         0
532.64/532.88	c       289       530    532.45    139.23      3.82   1000000         0
534.54/534.71	c       325       459    544.97    120.80      4.51   1000000         0
536.34/536.54	c       365       426    523.30    128.13      4.08   1000000         0
538.14/538.38	c       322       550    520.65    137.44      3.79   1000000         0
539.94/540.20	c       314       434    531.03    157.37      3.37   1000000         0
541.84/542.03	c       279       441    525.67    146.15      3.60   1000000         0
543.63/543.86	c       339       484    534.14    134.81      3.96   1000000         0
545.54/545.71	c       271       554    504.61    126.61      3.99   1000000         0
547.33/547.54	c       344       446    543.59    128.89      4.22   1000000         0
549.13/549.37	c       335       476    513.23    132.45      3.87   1000000         0
551.04/551.20	c       326       480    543.43    149.50      3.63   1000000         0
552.83/553.03	c       321       453    534.50    138.46      3.86   1000000         0
554.63/554.87	c       292       401    511.80    131.45      3.89   1000000         0
556.54/556.71	c       315       524    515.74    137.86      3.74   1000000         0
558.33/558.54	c       318       500    525.71    132.25      3.98   1000000         0
560.13/560.37	c       322       498    534.37    132.91      4.02   1000000         0
561.94/562.20	c       326       409    518.43    120.82      4.29   1000000         0
563.83/564.02	c       306       470    528.12    144.61      3.65   1000000         0
565.63/565.85	c       320       459    518.09    135.95      3.81   1000000         0
567.44/567.67	c       310       512    519.87    138.97      3.74   1000000         0
569.33/569.50	c       286       512    531.78    126.93      4.19   1000000         0
571.13/571.32	c       290       508    507.70    126.00      4.03   1000000         0
572.93/573.15	c       306       518    522.27    129.18      4.04   1000000         0
574.73/574.97	c       316       520    526.64    132.96      3.96   1000000         0
576.53/576.80	c       321       549    528.94    128.99      4.10   1000000         0
578.43/578.62	c       361       524    535.72    123.30      4.34   1000000         0
580.22/580.45	c       337       505    519.16    116.98      4.44   1000000         0
582.02/582.27	c       344       487    523.23    108.41      4.83   1000000         0
583.82/584.09	c       354       443    523.44    118.17      4.43   1000000         0
585.72/585.92	c       318       458    536.40    134.78      3.98   1000000         0
587.52/587.75	c       337       528    548.67    131.43      4.17   1000000         0
589.32/589.58	c       314       489    526.18    129.23      4.07   1000000         0
591.22/591.41	c       311       516    534.08    152.43      3.50   1000000         0
593.02/593.23	c       335       521    526.87    127.53      4.13   1000000         0
594.82/595.08	c       325       417    529.75    146.82      3.61   1000000         0
596.72/596.90	c       332       579    518.18    127.93      4.05   1000000         0
598.52/598.73	c       359       481    533.40    120.18      4.44   1000000         0
600.32/600.56	c       271       461    509.84    149.51      3.41   1000000         0
602.22/602.40	c       313       420    517.55    135.80      3.81   1000000         0
604.02/604.22	c       337       549    524.66    129.60      4.05   1000000         0
605.82/606.05	c       336       484    528.86    125.66      4.21   1000000         0
607.62/607.87	c       323       495    538.09    138.59      3.88   1000000         0
609.52/609.71	c       336       584    526.27    118.95      4.42   1000000         0
611.32/611.53	c       320       553    534.09    123.83      4.31   1000000         0
613.12/613.35	c       326       490    526.45    129.61      4.06   1000000         0
614.92/615.18	c       318       419    515.57    114.36      4.51   1000000         0
616.82/617.02	c       349       459    538.79    128.53      4.19   1000000         0
618.61/618.85	c       343       509    545.02    125.42      4.35   1000000         0
620.41/620.68	c       333       507    545.32    131.41      4.15   1000000         0
622.31/622.52	c       298       466    509.95    136.47      3.74   1000000         0
624.11/624.35	c       322       506    526.67    140.59      3.75   1000000         0
625.91/626.18	c       335       566    523.64    108.52      4.83   1000000         0
627.81/628.01	c       319       476    534.41    130.78      4.09   1000000         0
629.61/629.84	c       289       509    516.51    119.88      4.31   1000000         0
631.41/631.67	c       303       487    506.33    139.40      3.63   1000000         0
633.31/633.51	c       331       549    537.22    130.34      4.12   1000000         0
635.11/635.32	c       330       512    523.31    128.84      4.06   1000000         0
636.91/637.15	c       340       438    531.94    125.90      4.23   1000000         0
638.71/638.98	c       308       438    528.78    134.30      3.94   1000000         0
640.61/640.82	c       295       499    523.79    133.83      3.91   1000000         0
642.41/642.65	c       320       527    520.82    122.58      4.25   1000000         0
644.21/644.47	c       321       502    525.49    135.08      3.89   1000000         0
646.11/646.30	c       322       450    524.57    130.73      4.01   1000000         0
647.91/648.12	c       347       509    538.12    143.37      3.75   1000000         0
649.71/649.96	c       324       481    524.82    156.05      3.36   1000000         0
651.61/651.80	c       322       536    535.59    121.27      4.42   1000000         0
653.41/653.63	c       299       505    514.40    142.00      3.62   1000000         0
655.20/655.45	c       315       408    514.98    118.57      4.34   1000000         0
657.01/657.27	c       307       443    532.53    129.41      4.12   1000000         0
658.90/659.10	c       341       483    534.00    134.94      3.96   1000000         0
660.70/660.93	c       357       480    523.26    122.23      4.28   1000000         0
662.50/662.76	c       314       508    517.18    132.32      3.91   1000000         0
664.31/664.59	c       312       438    537.68    147.40      3.65   1000000         0
666.20/666.43	c       328       428    514.98    112.14      4.59   1000000         0
668.00/668.27	c       306       421    518.65    130.23      3.98   1000000         0
669.90/670.10	c       348       495    529.44    119.38      4.44   1000000         0
671.70/671.94	c       311       436    526.47    145.41      3.62   1000000         0
673.50/673.76	c       323       529    537.54    132.72      4.05   1000000         0
675.31/675.60	c       283       509    524.01    118.19      4.43   1000000         0
677.20/677.42	c       333       543    532.06    138.49      3.84   1000000         0
679.00/679.25	c       334       507    528.85    123.87      4.27   1000000         0
680.81/681.09	c       331       507    530.95    144.36      3.68   1000000         0
682.70/682.92	c       311       434    528.33    142.31      3.71   1000000         0
684.50/684.75	c       328       433    526.46    136.23      3.86   1000000         0
686.30/686.59	c       305       464    515.87    112.68      4.58   1000000         0
688.20/688.43	c       300       445    523.04    137.41      3.81   1000000         0
690.00/690.27	c       333       462    519.93    131.15      3.96   1000000         0
691.80/692.09	c       350       552    534.88    124.25      4.31   1000000         0
693.70/693.92	c       366       466    533.26    108.92      4.90   1000000         0
695.50/695.75	c       318       513    528.25    138.73      3.81   1000000         0
697.30/697.57	c       369       439    554.89    129.32      4.29   1000000         0
699.19/699.41	c       328       562    517.08    123.41      4.19   1000000         0
700.99/701.24	c       322       529    535.32    139.41      3.84   1000000         0
702.80/703.07	c       336       412    536.72    144.14      3.72   1000000         0
704.59/704.89	c       298       558    532.77    126.74      4.20   1000000         0
706.49/706.73	c       332       531    528.50    138.46      3.82   1000000         0
708.30/708.57	c       325       366    511.63    140.86      3.63   1000000         0
710.19/710.41	c       338       486    522.65    123.98      4.22   1000000         0
711.99/712.24	c       325       481    523.06    130.63      4.00   1000000         0
713.80/714.07	c       345       404    523.16    128.92      4.06   1000000         0
715.69/715.91	c       331       544    538.04    128.47      4.19   1000000         0
717.49/717.73	c       330       539    529.88    132.22      4.01   1000000         0
719.30/719.56	c       328       457    521.80    133.92      3.90   1000000         0
721.19/721.40	c       326       471    526.47    158.13      3.33   1000000         0
722.99/723.23	c       334       509    527.35    126.19      4.18   1000000         0
724.79/725.07	c       313       423    510.68    131.83      3.87   1000000         0
726.68/726.92	c       300       506    511.82    142.87      3.58   1000000         0
728.48/728.75	c       322       537    530.71    139.89      3.79   1000000         0
730.29/730.57	c       322       447    539.18    131.24      4.11   1000000         0
732.18/732.41	c       337       475    517.58    128.47      4.03   1000000         0
733.98/734.25	c       300       479    517.76    132.67      3.90   1000000         0
735.79/736.07	c       330       392    546.53    150.24      3.64   1000000         0
737.68/737.90	c       334       561    534.29    131.16      4.07   1000000         0
739.48/739.73	c       322       503    525.74    132.03      3.98   1000000         0
741.29/741.57	c       337       442    529.48    136.14      3.89   1000000         0
743.18/743.40	c       335       435    520.76    137.36      3.79   1000000         0
744.98/745.23	c       325       415    520.30    125.52      4.15   1000000         0
746.79/747.07	c       345       525    535.03    143.54      3.73   1000000         0
748.58/748.89	c       328       545    527.39    122.54      4.30   1000000         0
750.48/750.73	c       342       541    537.53    127.14      4.23   1000000         0
752.28/752.56	c       319       483    503.21    132.21      3.81   1000000         0
754.18/754.40	c       322       538    506.81    130.83      3.87   1000000         0
755.98/756.23	c       332       522    528.96    114.01      4.64   1000000         0
757.78/758.07	c       285       403    515.43    133.51      3.86   1000000         0
759.68/759.90	c       350       439    531.06    149.44      3.55   1000000         0
761.48/761.72	c       335       444    535.99    133.40      4.02   1000000         0
763.28/763.55	c       327       520    539.30    149.06      3.62   1000000         0
765.07/765.39	c       320       435    523.96    149.06      3.52   1000000         0
766.97/767.22	c       323       499    525.13    139.39      3.77   1000000         0
768.78/769.05	c       344       486    523.76    124.31      4.21   1000000         0
770.57/770.87	c       327       479    516.08    125.14      4.12   1000000         0
772.47/772.70	c       326       476    535.23    138.57      3.86   1000000         0
774.28/774.53	c       325       503    514.23    129.00      3.99   1000000         0
776.07/776.36	c       330       464    542.26    131.46      4.12   1000000         0
777.97/778.20	c       353       544    527.13    129.80      4.06   1000000         0
779.78/780.04	c       328       432    524.20    142.79      3.67   1000000         0
781.57/781.88	c       291       456    513.63    139.13      3.69   1000000         0
783.47/783.72	c       313       513    525.63    110.02      4.78   1000000         0
785.28/785.55	c       294       464    513.25    128.00      4.01   1000000         0
787.07/787.39	c       311       415    532.79    135.48      3.93   1000000         0
788.97/789.22	c       321       477    534.84    137.08      3.90   1000000         0
790.77/791.04	c       330       511    520.71    121.18      4.30   1000000         0
792.57/792.87	c       332       559    527.52    122.92      4.29   1000000         0
794.47/794.70	c       347       424    524.63    140.63      3.73   1000000         0
796.27/796.53	c       328       503    519.84    126.64      4.10   1000000         0
798.07/798.37	c       322       535    522.89    131.45      3.98   1000000         0
799.96/800.20	c       320       541    530.29    131.15      4.04   1000000         0
801.77/802.03	c       347       415    534.05    117.33      4.55   1000000         0
803.56/803.88	c       299       463    512.96    122.50      4.19   1000000         0
805.46/805.71	c       343       495    530.80    142.39      3.73   1000000         0
807.27/807.54	c       312       374    516.09    135.19      3.82   1000000         0
809.06/809.38	c       357       488    532.20    115.92      4.59   1000000         0
810.96/811.20	c       344       430    529.61    134.02      3.95   1000000         0
812.77/813.03	c       310       509    525.97    143.93      3.65   1000000         0
814.56/814.85	c       330       620    527.46    126.88      4.16   1000000         0
816.36/816.68	c       332       504    526.30    120.92      4.35   1000000         0
818.27/818.51	c       310       515    537.16    143.01      3.76   1000000         0
820.06/820.35	c       291       536    511.98    127.98      4.00   1000000         0
821.86/822.19	c       353       486    534.55    134.87      3.96   1000000         0
823.77/824.01	c       325       572    517.81    129.24      4.01   1000000         0
825.56/825.84	c       290       516    513.01    138.82      3.70   1000000         0
827.36/827.65	c       306       399    529.86    144.02      3.68   1000000         0
829.16/829.48	c       319       460    507.56    125.01      4.06   1000000         0
831.06/831.32	c       328       468    524.16    137.34      3.82   1000000         0
832.86/833.14	c       317       553    501.85    133.06      3.77   1000000         0
834.66/834.98	c       326       422    518.57    137.76      3.76   1000000         0
836.55/836.82	c       299       423    521.98    136.83      3.81   1000000         0
838.35/838.65	c       241       437    510.75    135.87      3.76   1000000         0
840.16/840.49	c       340       451    538.73    127.99      4.21   1000000         0
842.05/842.31	c       301       442    518.04    136.39      3.80   1000000         0
843.85/844.15	c       337       534    540.50    128.62      4.20   1000000         0
845.66/845.97	c       312       516    532.06    139.70      3.81   1000000         0
847.55/847.80	c       314       520    536.85    143.47      3.74   1000000         0
849.35/849.63	c       325       504    518.24    139.30      3.72   1000000         0
851.15/851.47	c       326       465    515.09    133.33      3.86   1000000         0
853.05/853.30	c       339       431    521.12    134.61      3.87   1000000         0
854.85/855.13	c       324       479    528.22    137.97      3.83   1000000         0
856.65/856.95	c       333       503    511.06    129.48      3.95   1000000         0
858.45/858.78	c       332       467    518.89    121.19      4.28   1000000         0
860.35/860.62	c       314       477    506.84    116.81      4.34   1000000         0
862.15/862.46	c       336       509    531.36    145.39      3.65   1000000         0
863.94/864.28	c       317       469    532.12    131.71      4.04   1000000         0
865.84/866.12	c       289       477    503.09    138.72      3.63   1000000         0
867.65/867.93	c       321       449    530.06    131.97      4.02   1000000         0
869.44/869.75	c       314       453    503.99    129.13      3.90   1000000         0
871.24/871.57	c       325       399    547.52    141.69      3.86   1000000         0
873.15/873.40	c       305       485    514.63    124.55      4.13   1000000         0
874.94/875.21	c       349       499    540.84    139.90      3.87   1000000         0
876.74/877.06	c       343       467    543.77    135.65      4.01   1000000         0
878.54/878.88	c       332       511    526.03    123.82      4.25   1000000         0
880.44/880.72	c       326       449    527.22    126.07      4.18   1000000         0
882.24/882.55	c       292       370    529.43    132.78      3.99   1000000         0
884.04/884.38	c       333       577    527.27    134.22      3.93   1000000         0
885.94/886.22	c       337       419    544.37    132.00      4.12   1000000         0
887.74/888.04	c       341       487    550.97    130.64      4.22   1000000         0
889.54/889.88	c       330       491    537.36    147.09      3.65   1000000         0
891.44/891.71	c       289       425    500.44    127.25      3.93   1000000         0
893.24/893.54	c       321       400    529.02    116.39      4.55   1000000         0
895.04/895.36	c       306       611    530.28    136.06      3.90   1000000         0
896.94/897.20	c       348       521    537.69    123.72      4.35   1000000         0
898.74/899.04	c       307       379    515.20    158.97      3.24   1000000         0
900.54/900.87	c       309       473    522.02    129.46      4.03   1000000         0
902.33/902.69	c       308       401    527.71    141.60      3.73   1000000         0
904.13/904.49	c       327       462    527.06    126.81      4.16   1000000         0
906.03/906.33	c       297       420    510.35    151.54      3.37   1000000         0
907.83/908.18	c       314       379    530.15    144.92      3.66   1000000         0
909.73/910.00	c       326       437    525.05    126.97      4.14   1000000         0
911.53/911.83	c       292       475    512.18    137.64      3.72   1000000         0
913.33/913.66	c       309       474    530.14    129.12      4.11   1000000         0
915.13/915.48	c       337       539    528.41    136.33      3.88   1000000         0
917.03/917.31	c       330       474    528.85    125.60      4.21   1000000         0
918.83/919.15	c       323       553    514.83    124.42      4.14   1000000         0
920.63/920.98	c       326       503    545.27    133.21      4.09   1000000         0
922.53/922.82	c       262       456    488.98    131.29      3.72   1000000         0
924.33/924.65	c       316       477    513.79    130.27      3.94   1000000         0
926.13/926.47	c       344       421    526.76    133.60      3.94   1000000         0
928.02/928.30	c       342       454    529.59    109.89      4.82   1000000         0
929.82/930.13	c       341       468    549.90    131.78      4.17   1000000         0
931.62/931.96	c       328       385    516.94    114.41      4.52   1000000         0
933.42/933.79	c       323       540    537.88    120.01      4.48   1000000         0
935.32/935.64	c       273       474    516.35    155.83      3.31   1000000         0
937.12/937.47	c       304       475    515.51    130.58      3.95   1000000         0
939.02/939.31	c       324       437    513.91    118.24      4.35   1000000         0
940.82/941.14	c       312       478    537.24    131.61      4.08   1000000         0
942.62/942.98	c       284       424    532.41    133.75      3.98   1000000         0
944.52/944.81	c       283       398    507.99    129.66      3.92   1000000         0
946.32/946.63	c       327       529    535.45    125.65      4.26   1000000         0
948.12/948.46	c       317       365    519.25    136.73      3.80   1000000         0
949.92/950.29	c       317       449    523.85    114.32      4.58   1000000         0
951.82/952.13	c       333       526    521.57    143.56      3.63   1000000         0
953.62/953.96	c       347       515    534.62    123.38      4.33   1000000         0
955.52/955.80	c       314       478    504.01    131.26      3.84   1000000         0
957.32/957.60	c       331       443    533.83    127.32      4.19   1000000         0
959.12/959.44	c       333       497    538.77    134.35      4.01   1000000         0
960.92/961.27	c       330       444    515.83    126.60      4.07   1000000         0
962.81/963.10	c       336       440    534.69    133.17      4.02   1000000         0
964.61/964.93	c       326       477    522.88    140.88      3.71   1000000         0
966.41/966.75	c       323       438    512.11    134.28      3.81   1000000         0
968.21/968.58	c       339       471    526.98    135.48      3.89   1000000         0
970.11/970.41	c       336       473    535.73    131.31      4.08   1000000         0
971.91/972.23	c       310       395    526.00    131.26      4.01   1000000         0
973.71/974.07	c       348       468    536.87    127.13      4.22   1000000         0
975.52/975.89	c       350       378    522.98    122.86      4.26   1000000         0
977.41/977.72	c       326       443    524.42    135.64      3.87   1000000         0
979.21/979.55	c       344       486    531.68    139.00      3.82   1000000         0
981.01/981.39	c       340       490    547.03    139.92      3.91   1000000         0
982.91/983.23	c       310       493    517.90    128.81      4.02   1000000         0
984.71/985.06	c       321       452    537.21    124.28      4.32   1000000         0
986.51/986.90	c       316       490    534.89    128.26      4.17   1000000         0
988.40/988.72	c       365       512    538.59    129.31      4.17   1000000         0
990.20/990.55	c       257       407    523.88    136.72      3.83   1000000         0
992.01/992.39	c       319       577    519.89    134.63      3.86   1000000         0
993.90/994.22	c       336       476    538.88    144.17      3.74   1000000         0
995.70/996.05	c       361       498    557.30    128.93      4.32   1000000         0
997.51/997.89	c       294       441    510.05    150.25      3.39   1000000         0
999.40/999.73	c       305       422    515.95    131.12      3.94   1000000         0
1001.20/1001.56	c       308       611    535.09    123.16      4.34   1000000         0
1003.01/1003.39	c       329       509    522.69    138.47      3.77   1000000         0
1004.90/1005.22	c       260       435    501.94    141.69      3.54   1000000         0
1006.70/1007.06	c       339       406    527.19    127.02      4.15   1000000         0
1008.60/1008.90	c       310       469    537.17    148.28      3.62   1000000         0
1010.40/1010.73	c       337       503    538.83    134.46      4.01   1000000         0
1012.20/1012.56	c       320       485    520.51    129.20      4.03   1000000         0
1014.01/1014.39	c       311       510    510.80    140.75      3.63   1000000         0
1015.90/1016.24	c       326       465    520.97    138.21      3.77   1000000         0
1017.70/1018.07	c       309       467    520.50    127.74      4.07   1000000         0
1019.51/1019.89	c       306       493    515.90    128.80      4.01   1000000         0
1021.40/1021.72	c       357       562    545.43    130.41      4.18   1000000         0
1023.19/1023.55	c       279       548    507.37    124.18      4.09   1000000         0
1025.00/1025.39	c       330       389    546.43    115.55      4.73   1000000         0
1026.89/1027.22	c       326       530    516.01    134.68      3.83   1000000         0
1028.69/1029.06	c       343       514    538.52    126.10      4.27   1000000         0
1030.50/1030.89	c       347       423    541.75    144.96      3.74   1000000         0
1032.39/1032.71	c       317       457    524.66    122.52      4.28   1000000         0
1034.19/1034.54	c       312       437    513.24    122.41      4.19   1000000         0
1036.00/1036.38	c       307       533    524.65    121.19      4.33   1000000         0
1037.89/1038.22	c       277       451    530.29    143.08      3.71   1000000         0
1039.69/1040.04	c       295       534    532.58    135.46      3.93   1000000         0
1041.49/1041.87	c       331       470    522.95    131.81      3.97   1000000         0
1043.39/1043.70	c       335       439    542.67    146.73      3.70   1000000         0
1045.19/1045.54	c       309       448    540.62    147.48      3.67   1000000         0
1046.99/1047.38	c       311       461    543.83    143.93      3.78   1000000         0
1048.89/1049.21	c       319       484    525.48    142.08      3.70   1000000         0
1050.69/1051.03	c       322       426    511.10    130.70      3.91   1000000         0
1052.49/1052.85	c       322       513    533.69    111.75      4.78   1000000         0
1054.28/1054.69	c       315       511    511.18    132.39      3.86   1000000         0
1056.18/1056.52	c       301       482    499.34    139.66      3.58   1000000         0
1057.99/1058.35	c       313       507    519.06    130.97      3.96   1000000         0
1059.78/1060.17	c       341       415    519.19    127.60      4.07   1000000         0
1061.58/1061.99	c       314       533    508.59    127.20      4.00   1000000         0
1063.49/1063.83	c       311       480    520.21    118.83      4.38   1000000         0
1065.28/1065.66	c       333       526    523.67    125.20      4.18   1000000         0
1067.08/1067.49	c       300       427    511.42    142.55      3.59   1000000         0
1068.99/1069.32	c       353       502    523.51    126.99      4.12   1000000         0
1070.78/1071.16	c       346       508    559.88    116.45      4.81   1000000         0
1072.58/1072.99	c       316       372    518.28    149.06      3.48   1000000         0
1074.49/1074.82	c       334       457    528.47    135.65      3.90   1000000         0
1076.28/1076.65	c       322       445    533.49    131.40      4.06   1000000         0
1078.08/1078.49	c       313       544    534.27    147.25      3.63   1000000         0
1079.98/1080.33	c       320       534    519.95    140.75      3.69   1000000         0
1081.78/1082.16	c       301       492    529.23    122.52      4.32   1000000         0
1083.58/1083.99	c       316       454    515.14    134.79      3.82   1000000         0
1085.48/1085.84	c       326       543    525.38    128.56      4.09   1000000         0
1087.37/1087.70	c       319       411    507.54    132.30      3.84   1000000         0
1089.17/1089.54	c       318       401    519.90    141.07      3.69   1000000         0
1090.98/1091.36	c       309       432    511.04    123.49      4.14   1000000         0
1092.77/1093.19	c       305       492    514.32    128.89      3.99   1000000         0
1094.67/1095.03	c       336       520    519.37    137.66      3.77   1000000         0
1096.48/1096.85	c       351       571    540.76    130.55      4.14   1000000         0
1098.27/1098.69	c       344       520    537.93    151.16      3.56   1000000         0
1100.17/1100.53	c       329       608    531.31    129.65      4.10   1000000         0
1101.98/1102.36	c       319       412    522.22    135.02      3.87   1000000         0
1103.77/1104.18	c       327       498    549.02    131.18      4.19   1000000         0
1105.67/1106.01	c       315       438    517.53    125.18      4.13   1000000         0
1107.48/1107.84	c       280       510    509.07    126.10      4.04   1000000         0
1109.27/1109.68	c       349       350    545.22    136.71      3.99   1000000         0
1111.17/1111.51	c       337       514    534.75    129.09      4.14   1000000         0
1112.97/1113.35	c       322       384    516.32    129.85      3.98   1000000         0
1114.77/1115.18	c       325       454    543.91    138.71      3.92   1000000         0
1116.67/1117.02	c       269       468    506.25    143.44      3.53   1000000         0
1118.47/1118.85	c       287       578    522.96    161.98      3.23   1000000         0
1120.27/1120.67	c       271       464    529.17    154.26      3.43   1000000         0
1122.17/1122.50	c       319       421    527.68    141.16      3.74   1000000         0
1123.97/1124.32	c       303       540    509.43    135.83      3.75   1000000         0
1125.76/1126.16	c       279       464    507.60    140.97      3.60   1000000         0
1127.56/1127.99	c       328       423    531.82    130.41      4.08   1000000         0
1129.47/1129.81	c       348       522    544.79    133.13      4.09   1000000         0
1131.26/1131.64	c       346       551    532.74    132.37      4.02   1000000         0
1133.06/1133.45	c       382       555    563.80    127.25      4.43   1000000         0
1134.87/1135.28	c       329       451    531.63    141.22      3.76   1000000         0
1136.76/1137.12	c       350       471    535.08    132.50      4.04   1000000         0
1138.56/1138.94	c       282       437    508.86    133.33      3.82   1000000         0
1140.37/1140.76	c       327       538    528.10    154.51      3.42   1000000         0
1142.16/1142.59	c       306       439    507.31    126.06      4.02   1000000         0
1144.06/1144.42	c       321       456    517.70    130.56      3.97   1000000         0
1145.86/1146.26	c       312       379    526.35    141.89      3.71   1000000         0
1147.66/1148.09	c       299       441    515.95    137.17      3.76   1000000         0
1149.56/1149.91	c       292       455    526.63    125.95      4.18   1000000         0
1151.36/1151.76	c       332       475    518.19    129.43      4.00   1000000         0
1153.15/1153.58	c       324       486    514.73    120.89      4.26   1000000         0
1155.06/1155.41	c       335       513    543.78    142.11      3.83   1000000         0
1156.86/1157.23	c       307       499    538.86    131.44      4.10   1000000         0
1158.65/1159.05	c       300       565    546.98    146.15      3.74   1000000         0
1160.45/1160.88	c       299       488    501.25    123.92      4.04   1000000         0
1162.36/1162.72	c       289       443    527.62    138.84      3.80   1000000         0
1164.15/1164.56	c       340       489    537.01    135.09      3.98   1000000         0
1165.95/1166.38	c       329       447    525.14    133.01      3.95   1000000         0
1167.86/1168.22	c       316       452    500.59    141.79      3.53   1000000         0
1169.65/1170.05	c       332       435    523.07    131.16      3.99   1000000         0
1171.45/1171.88	c       299       453    524.89    140.27      3.74   1000000         0
1173.36/1173.71	c       323       508    516.09    138.70      3.72   1000000         0
1175.15/1175.55	c       323       465    507.03    131.65      3.85   1000000         0
1176.95/1177.38	c       339       420    533.04    124.99      4.26   1000000         0
1178.86/1179.21	c       333       487    518.29    128.73      4.03   1000000         0
1180.65/1181.04	c       295       502    546.71    123.41      4.43   1000000         0
1182.45/1182.87	c       311       526    520.93    137.43      3.79   1000000         0
1184.35/1184.70	c       302       506    525.22    148.77      3.53   1000000         0
1186.15/1186.54	c       323       452    509.60    124.76      4.08   1000000         0
1187.95/1188.37	c       356       464    532.24    125.72      4.23   1000000         0
1189.75/1190.19	c       303       540    507.72    132.27      3.84   1000000         0
1191.65/1192.02	c       343       534    543.74    135.90      4.00   1000000         0
1193.44/1193.84	c       364       443    546.29    125.11      4.37   1000000         0
1195.24/1195.68	c       332       421    512.45    126.24      4.06   1000000         0
1197.14/1197.51	c       303       439    518.10    143.81      3.60   1000000         0
1198.94/1199.34	c       302       483    521.47    123.74      4.21   1000000         0
1200.74/1201.17	c       285       446    509.58    133.39      3.82   1000000         0
1202.54/1202.99	c       321       519    535.04    134.71      3.97   1000000         0
1204.44/1204.83	c       330       423    511.96    142.92      3.58   1000000         0
1206.24/1206.66	c       333       464    526.77    137.04      3.84   1000000         0
1208.04/1208.49	c       308       454    515.94    131.25      3.93   1000000         0
1209.94/1210.34	c       290       524    514.07    144.74      3.55   1000000         0
1211.74/1212.17	c       328       449    533.23    131.35      4.06   1000000         0
1213.64/1214.00	c       321       430    523.37    122.89      4.26   1000000         0
1215.44/1215.84	c       344       459    538.74    142.23      3.79   1000000         0
1217.24/1217.67	c       325       487    521.52    133.82      3.90   1000000         0
1219.14/1219.50	c       336       468    538.31    131.96      4.08   1000000         0
1220.94/1221.34	c       314       424    522.27    115.47      4.52   1000000         0
1222.74/1223.17	c       343       567    527.65    135.32      3.90   1000000         0
1224.63/1225.02	c       325       527    526.86    131.37      4.01   1000000         0
1226.43/1226.84	c       339       482    529.70    115.34      4.59   1000000         0
1228.23/1228.67	c       314       517    510.55    135.29      3.77   1000000         0
1230.13/1230.51	c       314       507    516.97    139.50      3.71   1000000         0
1231.93/1232.35	c       317       463    512.06    139.37      3.67   1000000         0
1233.73/1234.19	c       334       575    536.19    133.50      4.02   1000000         0
1235.63/1236.02	c       306       420    547.03    146.61      3.73   1000000         0
1237.43/1237.85	c       332       529    519.38    130.28      3.99   1000000         0
1239.23/1239.68	c       334       497    538.65    150.31      3.58   1000000         0
1241.13/1241.51	c       320       526    532.47    120.88      4.41   1000000         0
1242.93/1243.34	c       320       403    527.16    135.42      3.89   1000000         0
1244.73/1245.17	c       353       449    538.08    122.64      4.39   1000000         0
1246.63/1247.01	c       342       395    531.34    127.02      4.18   1000000         0
1248.43/1248.82	c       328       584    532.58    132.49      4.02   1000000         0
1250.23/1250.64	c       351       446    522.56    130.65      4.00   1000000         0
1252.03/1252.47	c       347       432    539.87    131.70      4.10   1000000         0
1253.93/1254.30	c       335       475    527.71    126.88      4.16   1000000         0
1255.73/1256.12	c       360       466    544.19    117.06      4.65   1000000         0
1257.53/1257.95	c       342       527    532.26    134.75      3.95   1000000         0
1259.33/1259.78	c       319       441    527.01    123.20      4.28   1000000         0
1261.23/1261.61	c       312       476    523.41    134.33      3.90   1000000         0
1263.02/1263.45	c       283       459    517.60    128.78      4.02   1000000         0
1264.82/1265.29	c       308       539    524.30    117.37      4.47   1000000         0
1266.72/1267.12	c       337       524    530.94    138.82      3.82   1000000         0
1268.52/1268.96	c       303       462    518.50    141.39      3.67   1000000         0
1270.32/1270.79	c       344       454    529.09    122.40      4.32   1000000         0
1272.22/1272.63	c       300       483    514.69    138.06      3.73   1000000         0
1274.02/1274.45	c       322       504    518.76    140.02      3.71   1000000         0
1275.82/1276.29	c       323       412    517.56    138.31      3.74   1000000         0
1277.72/1278.11	c       329       506    532.64    153.01      3.48   1000000         0
1279.52/1279.93	c       299       408    526.19    129.70      4.06   1000000         0
1281.32/1281.76	c       327       429    530.87    135.94      3.91   1000000         0
1283.22/1283.60	c       341       496    542.15    119.32      4.54   1000000         0
1285.02/1285.43	c       281       489    518.12    139.48      3.71   1000000         0
1286.82/1287.25	c       310       587    508.08    118.99      4.27   1000000         0
1288.62/1289.07	c       331       470    532.51    146.93      3.62   1000000         0
1290.42/1290.89	c       291       494    512.56    137.41      3.73   1000000         0
1292.32/1292.73	c       344       552    534.08    126.42      4.22   1000000         0
1294.12/1294.56	c       326       493    537.18    135.39      3.97   1000000         0
1296.01/1296.40	c       343       456    547.06    133.99      4.08   1000000         0
1297.81/1298.24	c       306       488    504.15    141.44      3.56   1000000         0
1299.61/1300.09	c       281       324    520.88    133.91      3.89   1000000         0
1301.52/1301.92	c       326       487    533.41    130.14      4.10   1000000         0
1303.31/1303.75	c       341       426    547.21    140.07      3.91   1000000         0
1305.11/1305.56	c       312       449    505.92    124.33      4.07   1000000         0
1307.01/1307.40	c       299       432    511.36    126.99      4.03   1000000         0
1308.81/1309.24	c       325       552    539.64    145.70      3.70   1000000         0
1310.61/1311.06	c       305       438    511.07    136.37      3.75   1000000         0
1312.41/1312.89	c       322       475    518.43    136.38      3.80   1000000         0
1314.31/1314.72	c       322       440    532.03    146.55      3.63   1000000         0
1316.11/1316.55	c       333       490    522.19    114.27      4.57   1000000         0
1317.91/1318.38	c       318       420    529.63    134.80      3.93   1000000         0
1319.81/1320.21	c       306       472    511.17    138.44      3.69   1000000         0
1321.61/1322.05	c       313       477    517.07    146.39      3.53   1000000         0
1323.41/1323.89	c       328       398    519.23    125.02      4.15   1000000         0
1325.31/1325.72	c       352       526    526.69    122.34      4.31   1000000         0
1327.11/1327.55	c       319       516    529.54    130.77      4.05   1000000         0
1328.91/1329.39	c       328       509    521.63    157.41      3.31   1000000         0
1330.81/1331.23	c       313       451    528.64    122.31      4.32   1000000         0
1332.61/1333.06	c       346       464    532.08    126.21      4.22   1000000         0
1334.41/1334.90	c       350       469    538.79    133.62      4.03   1000000         0
1336.30/1336.73	c       311       509    508.69    135.15      3.76   1000000         0
1338.10/1338.55	c       312       528    536.96    140.84      3.81   1000000         0
1339.90/1340.37	c       351       539    531.19    123.48      4.30   1000000         0
1341.80/1342.21	c       327       471    534.54    140.15      3.81   1000000         0
1343.60/1344.03	c       336       446    538.87    148.54      3.63   1000000         0
1345.40/1345.86	c       314       501    525.88    124.63      4.22   1000000         0
1347.21/1347.69	c       357       500    544.15    126.49      4.30   1000000         0
1349.10/1349.52	c       307       481    531.29    144.08      3.69   1000000         0
1350.90/1351.35	c       332       385    520.74    130.51      3.99   1000000         0
1352.71/1353.18	c       340       517    536.99    141.82      3.79   1000000         0
1354.60/1355.01	c       317       480    524.64    141.70      3.70   1000000         0
1356.40/1356.84	c       309       546    517.25    132.80      3.90   1000000         0
1358.21/1358.67	c       332       408    527.18    136.21      3.87   1000000         0
1360.10/1360.51	c       284       493    514.40    132.83      3.87   1000000         0
1361.90/1362.34	c       317       446    528.66    131.82      4.01   1000000         0
1363.70/1364.16	c       324       576    543.38    118.38      4.59   1000000         0
1365.50/1365.97	c       330       464    537.62    116.14      4.63   1000000         0
1367.40/1367.80	c       348       486    541.74    136.29      3.97   1000000         0
1369.20/1369.63	c       300       533    530.45    149.62      3.55   1000000         0
1371.00/1371.45	c       323       507    511.30    121.16      4.22   1000000         0
1372.79/1373.28	c       335       541    531.25    141.18      3.76   1000000         0
1374.60/1375.10	c       322       461    521.40    118.10      4.41   1000000         0
1376.49/1376.94	c       331       470    518.48    144.74      3.58   1000000         0
1378.29/1378.78	c       315       549    535.24    141.11      3.79   1000000         0
1380.10/1380.60	c       319       543    508.89    129.96      3.92   1000000         0
1381.99/1382.42	c       311       452    508.04    123.22      4.12   1000000         0
1383.79/1384.26	c       315       326    514.78    143.40      3.59   1000000         0
1385.60/1386.09	c       348       427    518.94    140.68      3.69   1000000         0
1387.49/1387.91	c       346       455    521.95    120.61      4.33   1000000         0
1389.29/1389.74	c       318       487    510.16    117.00      4.36   1000000         0
1391.10/1391.56	c       334       415    531.63    128.95      4.12   1000000         0
1392.89/1393.39	c       320       464    515.93    131.89      3.91   1000000         0
1394.79/1395.23	c       315       423    521.00    136.37      3.82   1000000         0
1396.60/1397.06	c       327       446    504.27    126.84      3.98   1000000         0
1398.39/1398.89	c       366       627    547.72    131.43      4.17   1000000         0
1400.29/1400.71	c       321       478    525.36    130.40      4.03   1000000         0
1402.09/1402.55	c       315       594    533.06    133.30      4.00   1000000         0
1403.89/1404.38	c       310       527    547.70    150.34      3.64   1000000         0
1405.79/1406.22	c       327       472    529.21    131.31      4.03   1000000         0
1407.59/1408.04	c       335       445    528.77    137.45      3.85   1000000         0
1409.38/1409.86	c       331       512    520.51    117.32      4.44   1000000         0
1411.28/1411.70	c       301       414    516.99    141.63      3.65   1000000         0
1413.09/1413.54	c       315       488    517.48    132.74      3.90   1000000         0
1414.88/1415.38	c       337       400    521.42    126.62      4.12   1000000         0
1416.78/1417.21	c       287       513    531.60    144.56      3.68   1000000         0
1418.59/1419.03	c       326       510    524.78    123.72      4.24   1000000         0
1420.38/1420.87	c       340       602    537.34    128.32      4.19   1000000         0
1422.28/1422.71	c       289       394    500.96    139.08      3.60   1000000         0
1424.09/1424.54	c       323       441    518.81    125.68      4.13   1000000         0
1425.88/1426.39	c       316       496    528.16    129.08      4.09   1000000         0
1427.78/1428.22	c       318       547    515.55    124.25      4.15   1000000         0
1429.59/1430.04	c       325       380    519.12    131.45      3.95   1000000         0
1431.38/1431.86	c       317       415    523.54    135.43      3.87   1000000         0
1433.28/1433.70	c       330       451    540.72    139.37      3.88   1000000         0
1435.08/1435.53	c       331       404    516.08    135.50      3.81   1000000         0
1436.88/1437.35	c       324       500    534.10    144.72      3.69   1000000         0
1438.68/1439.18	c       302       437    535.25    132.50      4.04   1000000         0
1440.58/1441.02	c       336       419    522.11    113.47      4.60   1000000         0
1442.38/1442.84	c       296       444    525.68    122.87      4.28   1000000         0
1444.18/1444.67	c       293       470    517.90    126.02      4.11   1000000         0
1446.08/1446.50	c       329       500    528.89    131.67      4.02   1000000         0
1447.87/1448.32	c       350       469    536.15    137.69      3.89   1000000         0
1449.67/1450.14	c       344       437    536.71    127.26      4.22   1000000         0
1451.47/1451.98	c       300       449    506.14    133.88      3.78   1000000         0
1453.37/1453.83	c       316       458    504.19    137.41      3.67   1000000         0
1455.17/1455.66	c       352       476    539.77    150.46      3.59   1000000         0
1456.97/1457.49	c       345       440    533.24    130.23      4.09   1000000         0
1458.87/1459.32	c       332       411    525.46    142.10      3.70   1000000         0
1460.67/1461.15	c       325       411    519.75    130.50      3.98   1000000         0
1462.47/1462.99	c       336       564    523.44    124.17      4.22   1000000         0
1464.37/1464.83	c       313       522    537.24    127.88      4.20   1000000         0
1466.17/1466.66	c       346       598    529.85    120.69      4.39   1000000         0
1468.08/1468.51	c       364       411    542.22    122.56      4.42   1000000         0
1469.87/1470.35	c       335       500    518.45    129.08      4.02   1000000         0
1471.67/1472.18	c       321       422    533.02    132.00      4.04   1000000         0
1473.57/1474.01	c       329       422    531.34    134.01      3.97   1000000         0
1475.37/1475.85	c       346       504    541.80    131.12      4.13   1000000         0
1477.17/1477.69	c       321       477    517.91    122.67      4.22   1000000         0
1479.07/1479.52	c       328       523    509.73    136.49      3.73   1000000         0
1480.87/1481.36	c       325       471    513.81    134.70      3.81   1000000         0
1482.67/1483.19	c       337       433    534.45    129.29      4.13   1000000         0
1484.57/1485.02	c       318       440    505.02    133.12      3.79   1000000         0
1486.36/1486.86	c       337       400    536.35    138.25      3.88   1000000         0
1488.16/1488.68	c       319       555    526.95    138.79      3.80   1000000         0
1490.07/1490.52	c       335       515    530.11    139.90      3.79   1000000         0
1491.86/1492.35	c       330       456    516.89    115.15      4.49   1000000         0
1493.66/1494.18	c       293       435    524.92    143.60      3.66   1000000         0
1495.57/1496.02	c       341       488    519.30    130.11      3.99   1000000         0
1497.36/1497.84	c       317       507    516.92    131.85      3.92   1000000         0
1499.16/1499.67	c       322       466    522.68    137.96      3.79   1000000         0
1501.07/1501.51	c       330       435    537.13    129.71      4.14   1000000         0
1502.86/1503.34	c       324       434    536.51    129.76      4.13   1000000         0
1504.66/1505.18	c       334       511    525.69    132.16      3.98   1000000         0
1506.57/1507.00	c       278       296    524.36    141.61      3.70   1000000         0
1508.36/1508.84	c       343       405    524.48    139.94      3.75   1000000         0
1510.16/1510.67	c       322       510    537.41    127.76      4.21   1000000         0
1512.06/1512.50	c       367       480    548.89    133.81      4.10   1000000         0
1513.86/1514.32	c       305       498    517.61    122.84      4.21   1000000         0
1515.66/1516.14	c       336       516    535.36    132.13      4.05   1000000         0
1517.46/1517.97	c       300       466    542.30    145.95      3.72   1000000         0
1519.36/1519.80	c       301       429    519.58    131.89      3.94   1000000         0
1521.16/1521.63	c       340       536    533.86    145.89      3.66   1000000         0
1522.96/1523.47	c       334       526    532.88    138.30      3.85   1000000         0
1524.76/1525.29	c       306       464    519.76    138.15      3.76   1000000         0
1526.65/1527.12	c       307       464    543.58    131.02      4.15   1000000         0
1528.45/1528.95	c       354       509    542.11    141.89      3.82   1000000         0
1530.25/1530.77	c       350       449    546.47    137.72      3.97   1000000         0
1532.15/1532.60	c       342       507    526.31    132.07      3.99   1000000         0
1533.95/1534.44	c       311       470    517.90    128.38      4.03   1000000         0
1535.75/1536.26	c       314       504    519.92    152.83      3.40   1000000         0
1537.55/1538.10	c       337       500    534.54    140.79      3.80   1000000         0
1539.45/1539.92	c       298       369    534.01    135.32      3.95   1000000         0
1541.25/1541.75	c       318       496    539.02    127.05      4.24   1000000         0
1543.05/1543.58	c       323       517    526.23    126.29      4.17   1000000         0
1544.95/1545.40	c       319       504    532.30    144.08      3.69   1000000         0
1546.75/1547.24	c       305       589    509.24    157.57      3.23   1000000         0
1548.55/1549.08	c       346       491    541.21    127.04      4.26   1000000         0
1550.45/1550.91	c       236       516    518.22    136.74      3.79   1000000         0
1552.25/1552.75	c       347       484    531.94    116.40      4.57   1000000         0
1554.05/1554.57	c       318       404    519.08    124.06      4.18   1000000         0
1555.95/1556.40	c       333       528    523.81    124.61      4.20   1000000         0
1557.75/1558.24	c       290       499    522.36    141.02      3.70   1000000         0
1559.55/1560.07	c       308       480    522.12    125.82      4.15   1000000         0
1561.34/1561.89	c       306       345    522.19    145.64      3.59   1000000         0
1563.24/1563.71	c       335       506    520.38    124.58      4.18   1000000         0
1565.04/1565.53	c       301       559    528.49    143.33      3.69   1000000         0
1566.84/1567.36	c       358       459    518.53    118.96      4.36   1000000         0
1568.64/1569.19	c       314       447    536.54    142.85      3.76   1000000         0
1570.54/1571.01	c       340       508    525.40    127.53      4.12   1000000         0
1572.34/1572.84	c       326       541    518.23    137.91      3.76   1000000         0
1574.14/1574.67	c       342       463    538.84    130.17      4.14   1000000         0
1576.04/1576.51	c       326       431    535.34    129.39      4.14   1000000         0
1577.84/1578.34	c       345       500    549.23    145.25      3.78   1000000         0
1579.64/1580.17	c       324       450    545.20    145.18      3.76   1000000         0
1581.54/1582.01	c       312       549    530.48    126.65      4.19   1000000         0
1583.34/1583.84	c       299       385    538.01    140.91      3.82   1000000         0
1585.14/1585.67	c       333       467    517.87    123.91      4.18   1000000         0
1587.04/1587.51	c       347       451    525.43    129.82      4.05   1000000         0
1588.84/1589.34	c       328       497    527.45    124.30      4.24   1000000         0
1590.64/1591.17	c       312       430    526.61    134.98      3.90   1000000         0
1592.45/1592.99	c       334       404    549.80    125.21      4.39   1000000         0
1594.34/1594.84	c       288       428    529.56    135.47      3.91   1000000         0
1596.14/1596.66	c       355       470    544.30    144.00      3.78   1000000         0
1597.95/1598.49	c       323       489    527.73    133.99      3.94   1000000         0
1599.84/1600.33	c       320       508    520.86    129.36      4.03   1000000         0
1601.64/1602.15	c       311       466    523.80    139.43      3.76   1000000         0
1603.45/1603.99	c       339       582    520.95    130.64      3.99   1000000         0
1605.34/1605.80	c       339       507    537.07    144.87      3.71   1000000         0
1607.14/1607.63	c       347       481    528.07    116.03      4.55   1000000         0
1608.95/1609.46	c       325       520    513.15    118.41      4.33   1000000         0
1610.84/1611.30	c       344       542    529.65    129.10      4.10   1000000         0
1612.64/1613.13	c       315       545    543.75    145.75      3.73   1000000         0
1614.45/1614.96	c       345       535    532.73    135.88      3.92   1000000         0
1616.24/1616.79	c       281       478    534.28    120.83      4.42   1000000         0
1618.14/1618.63	c       313       511    511.09    127.61      4.01   1000000         0
1619.94/1620.46	c       347       465    534.36    141.09      3.79   1000000         0
1621.74/1622.29	c       317       515    529.81    143.00      3.70   1000000         0
1623.64/1624.15	c       311       519    517.60    133.19      3.89   1000000         0
1625.44/1625.98	c       292       419    521.43    131.12      3.98   1000000         0
1627.33/1627.82	c       333       415    524.73    144.26      3.64   1000000         0
1629.13/1629.65	c       326       427    537.39    131.23      4.10   1000000         0
1630.94/1631.48	c       294       564    510.81    127.18      4.02   1000000         0
1632.83/1633.32	c       343       486    535.81    131.50      4.07   1000000         0
1634.63/1635.15	c       304       469    519.54    124.87      4.16   1000000         0
1636.44/1636.98	c       303       529    521.06    138.24      3.77   1000000         0
1638.33/1638.82	c       290       435    519.79    150.13      3.46   1000000         0
1640.13/1640.66	c       340       481    519.47    132.15      3.93   1000000         0
1641.94/1642.49	c       301       493    521.94    143.27      3.64   1000000         0
1643.83/1644.33	c       321       416    508.86    132.80      3.83   1000000         0
1645.63/1646.17	c       358       486    524.39    119.00      4.41   1000000         0
1647.53/1648.00	c       304       454    520.14    133.73      3.89   1000000         0
1649.33/1649.83	c       332       473    526.12    143.68      3.66   1000000         0
1651.13/1651.66	c       349       503    546.64    132.61      4.12   1000000         0
1652.94/1653.50	c       330       466    534.58    140.76      3.80   1000000         0
1654.83/1655.33	c       327       400    525.19    145.42      3.61   1000000         0
1656.63/1657.16	c       352       490    556.49    153.08      3.64   1000000         0
1658.43/1658.99	c       319       391    531.54    141.97      3.74   1000000         0
1660.33/1660.82	c       329       462    530.51    131.97      4.02   1000000         0
1662.12/1662.65	c       338       454    528.11    132.13      4.00   1000000         0
1663.93/1664.49	c       318       451    512.27    129.24      3.96   1000000         0
1665.82/1666.32	c       314       443    507.12    118.37      4.28   1000000         0
1667.62/1668.15	c       272       486    520.87    127.57      4.08   1000000         0
1669.43/1669.98	c       315       515    518.50    148.28      3.50   1000000         0
1671.32/1671.81	c       317       494    517.24    128.61      4.02   1000000         0
1673.12/1673.63	c       339       420    544.29    127.98      4.25   1000000         0
1674.93/1675.46	c       344       573    543.57    132.10      4.11   1000000         0
1676.82/1677.30	c       331       431    526.36    116.32      4.53   1000000         0
1678.62/1679.13	c       337       519    525.97    128.25      4.10   1000000         0
1680.43/1680.95	c       287       537    530.32    134.45      3.94   1000000         0
1682.22/1682.78	c       338       478    532.28    130.48      4.08   1000000         0
1684.12/1684.62	c       328       383    535.17    121.57      4.40   1000000         0
1685.92/1686.43	c       347       467    548.08    137.81      3.98   1000000         0
1687.72/1688.27	c       332       411    543.94    121.29      4.48   1000000         0
1689.52/1690.10	c       323       515    515.69    133.15      3.87   1000000         0
1691.42/1691.93	c       260       395    510.96    149.81      3.41   1000000         0
1693.22/1693.76	c       308       496    531.51    120.50      4.41   1000000         0
1695.12/1695.60	c       314       481    514.54    135.74      3.79   1000000         0
1696.92/1697.43	c       312       478    513.80    122.00      4.21   1000000         0
1698.71/1699.25	c       341       464    542.16    135.31      4.01   1000000         0
1700.51/1701.08	c       331       609    520.24    124.15      4.19   1000000         0
1702.42/1702.91	c       335       581    544.03    114.84      4.74   1000000         0
1704.21/1704.74	c       313       449    529.45    135.34      3.91   1000000         0
1706.01/1706.57	c       316       457    512.60    109.51      4.68   1000000         0
1707.92/1708.40	c       351       462    532.14    110.66      4.81   1000000         0
1709.71/1710.24	c       313       543    544.14    134.75      4.04   1000000         0
1711.51/1712.07	c       298       448    540.08    133.62      4.04   1000000         0
1713.32/1713.90	c       322       452    521.83    120.22      4.34   1000000         0
1715.21/1715.73	c       318       416    507.09    137.08      3.70   1000000         0
1717.01/1717.56	c       320       428    526.93    148.97      3.54   1000000         0
1718.82/1719.38	c       316       407    524.34    140.24      3.74   1000000         0
1720.71/1721.22	c       280       491    514.88    142.33      3.62   1000000         0
1722.51/1723.05	c       286       432    509.86    137.36      3.71   1000000         0
1724.31/1724.87	c       334       522    541.28    127.70      4.24   1000000         0
1726.21/1726.71	c       315       541    524.33    137.16      3.82   1000000         0
1728.01/1728.55	c       305       484    519.03    136.53      3.80   1000000         0
1729.81/1730.37	c       336       474    523.51    145.19      3.61   1000000         0
1731.70/1732.20	c       335       558    523.19    141.07      3.71   1000000         0
1733.50/1734.03	c       295       435    528.95    137.36      3.85   1000000         0
1735.31/1735.86	c       295       497    521.13    132.97      3.92   1000000         0
1737.10/1737.69	c       326       377    527.19    139.13      3.79   1000000         0
1739.00/1739.52	c       288       411    502.17    133.29      3.77   1000000         0
1740.81/1741.36	c       326       521    532.96    136.88      3.89   1000000         0
1742.70/1743.20	c       340       470    533.43    140.04      3.81   1000000         0
1744.50/1745.03	c       311       494    527.51    135.11      3.90   1000000         0
1746.31/1746.87	c       328       374    523.32    122.48      4.27   1000000         0
1748.20/1748.70	c       336       463    522.60    138.25      3.78   1000000         0
1750.00/1750.53	c       303       420    536.32    143.85      3.73   1000000         0
1751.81/1752.36	c       334       470    526.61    131.18      4.01   1000000         0
1753.60/1754.20	c       343       469    529.51    134.74      3.93   1000000         0
1755.50/1756.03	c       327       526    513.29    131.45      3.90   1000000         0
1757.30/1757.87	c       322       472    516.24    142.80      3.62   1000000         0
1759.10/1759.69	c       294       383    518.13    137.27      3.77   1000000         0
1761.00/1761.52	c       314       468    525.57    138.08      3.81   1000000         0
1762.80/1763.36	c       314       429    505.91    138.65      3.65   1000000         0
1764.60/1765.19	c       320       501    515.05    130.87      3.94   1000000         0
1766.50/1767.03	c       311       442    519.71    141.80      3.67   1000000         0
1768.30/1768.86	c       320       566    538.19    143.13      3.76   1000000         0
1770.19/1770.70	c       292       395    509.17    143.92      3.54   1000000         0
1772.00/1772.53	c       333       483    519.33    124.17      4.18   1000000         0
1773.80/1774.36	c       318       497    541.96    144.38      3.75   1000000         0
1775.59/1776.19	c       338       438    532.73    139.25      3.83   1000000         0
1777.49/1778.02	c       307       510    522.96    137.28      3.81   1000000         0
1779.30/1779.85	c       274       545    527.28    146.76      3.59   1000000         0
1781.09/1781.69	c       304       596    520.92    136.26      3.82   1000000         0
1782.99/1783.52	c       328       471    540.12    144.68      3.73   1000000         0
1784.80/1785.35	c       308       471    530.24    144.15      3.68   1000000         0
1786.59/1787.19	c       295       444    518.60    123.95      4.18   1000000         0
1788.49/1789.01	c       331       478    517.07    139.75      3.70   1000000         0
1790.30/1790.85	c       330       446    535.97    148.27      3.61   1000000         0
1792.09/1792.67	c       324       369    517.62    116.29      4.45   1000000         0
1793.99/1794.51	c       323       459    511.15    132.49      3.86   1000000         0
1795.79/1796.33	c       318       433    528.18    133.41      3.96   1000000         0
1797.59/1798.17	c       347       470    519.72    139.06      3.74   1000000         0
1799.49/1800.00	c       320       528    530.87    141.61      3.75   1000000         0
1800.09/1800.60	HOME/run: line 2: 12406 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-2669860-1276610084/watcher-2669860-1276610084 -o /tmp/evaluation-result-2669860-1276610084/solver-2669860-1276610084 -C 1800 -W 2000 -M 1800 run HOME/instance-2669860-1276610084.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12405
/proc/meminfo: memFree=1414108/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) R 12403 12405 11991 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210369429 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0

[startup+0.101566 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12405
/proc/meminfo: memFree=1414108/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201574 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12405
/proc/meminfo: memFree=1414108/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301582 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12405
/proc/meminfo: memFree=1414108/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701616 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12405
/proc/meminfo: memFree=1414108/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12407
/proc/meminfo: memFree=1409504/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1.49
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1155 0 0 0 149 0 0 0 25 0 1 0 2302876 41422848 1084 1992294400 134512640 135071400 4289127024 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1084 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10182 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12407
/proc/meminfo: memFree=1409380/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=3.09
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1163 0 0 0 309 0 0 0 25 0 1 0 2302876 41422848 1092 1992294400 134512640 135071400 4289127024 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1092 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30109 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12407
/proc/meminfo: memFree=1409256/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=6.29
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 629 0 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526587 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12407
/proc/meminfo: memFree=1409008/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=12.69
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 1269 0 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12407
/proc/meminfo: memFree=1409008/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=25.48
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 2548 0 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12407
/proc/meminfo: memFree=1408884/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=51.07
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 5107 0 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12409
/proc/meminfo: memFree=1408636/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=102.27
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 10227 0 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12411
/proc/meminfo: memFree=1408388/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=162.24
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 16224 0 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.309 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 12413
/proc/meminfo: memFree=1408388/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=222.24
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 22224 0 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.12 1.04 1.01 2/108 12415
/proc/meminfo: memFree=1408264/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=282.21
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 28221 0 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134547326 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.12 1.04 1.00 2/108 12415
/proc/meminfo: memFree=1408140/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=342.19
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 34219 0 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/108 12426
/proc/meminfo: memFree=1407148/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=402.17
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 40216 1 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1121.97
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 112196 1 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12448
/proc/meminfo: memFree=1406156/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1181.95
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 118194 1 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12448
/proc/meminfo: memFree=1406032/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1241.93
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 124192 1 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12450
/proc/meminfo: memFree=1405784/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1301.92
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 130191 1 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12452
/proc/meminfo: memFree=1405660/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1361.9
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 136189 1 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12454
/proc/meminfo: memFree=1405536/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1421.89
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 142188 1 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12456
/proc/meminfo: memFree=1405536/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1481.87
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 148186 1 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12456
/proc/meminfo: memFree=1405412/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1541.86
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 154185 1 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134519831 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12458
/proc/meminfo: memFree=1405288/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1601.84
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 160182 2 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12460
/proc/meminfo: memFree=1405040/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1661.83
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 166181 2 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12462
/proc/meminfo: memFree=1405040/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1721.81
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 172179 2 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12464
/proc/meminfo: memFree=1404916/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1781.79
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 178177 2 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12464
/proc/meminfo: memFree=1404916/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1800.09
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 180007 2 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
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.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12464
/proc/meminfo: memFree=1404916/2059040 swapFree=4192956/4192956
[pid=12405] ppid=12403 vsize=8700 CPUtime=0
/proc/12405/stat : 12405 (run) S 12403 12405 11991 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 2302876 8908800 244 1992294400 4194304 4922060 140734642783856 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12405/statm: 2175 244 204 178 0 68 0
[pid=12406] ppid=12405 vsize=40452 CPUtime=1800.09
/proc/12406/stat : 12406 (PB-wave) R 12405 12405 11991 0 -1 4202496 1164 0 0 0 180007 2 0 0 25 0 1 0 2302876 41422848 1093 1992294400 134512640 135071400 4289127024 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12406/statm: 10113 1093 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1800.08
CPU system time (s): 0.025996
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.80257 second user time and 8.73767 second system time

The end

Launcher Data 

Begin job on node031 at 2010-06-15 15:54:44
IDJOB=2669860
IDBENCH=1454
IDSOLVER=1171
FILE ID=node031/2669860-1276610084
PBS_JOBID= 11172252
Free space on /tmp= 62580 MiB

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

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

MD5SUM BENCH= 02e31ca1ab9f95407d6e9ec422f4634a
RANDOM SEED=978210628

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1414504 kB
Buffers:         69840 kB
Cached:         432340 kB
SwapCached:          0 kB
Active:         213256 kB
Inactive:       348616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1414504 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1376 kB
Writeback:           0 kB
AnonPages:       59716 kB
Mapped:          15492 kB
Slab:            60572 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node031 at 2010-06-15 16:24:45