Trace number 2669865

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
MD5SUM4d33d3f14b2660aefc9b3a640617db34
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 benchmark2.47362
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables11476
Total number of constraints33090
Number of constraints which are clauses32382
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints708
Minimum length of a constraint1
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c PB-wave - v2
0.00/0.09	c command line = ./PB-wave
0.00/0.09	c seed = 16347520
0.00/0.09	c cutoff = 1000000
0.00/0.09	c tries = 1000000
0.00/0.09	c heuristic = c best, noise 50 / 100
0.00/0.09	#var 11476 #con 33090
0.00/0.09	mode is SAT
0.00/0.09	c tail starts after flip = 34428
0.00/0.09	c numatom = 11476, numclause = 33090, numliterals = 82648
0.00/0.09	c wff read in
0.00/0.09	c 
0.00/0.09	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.09	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.09	c       this      this      this      this      this      this   success   success       until         std
0.00/0.09	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.09	c
1.78/1.89	c       423       518    654.68    179.81      3.64   1000000         0
3.68/3.70	c       408       539    651.38    217.75      2.99   1000000         0
5.39/5.49	c       408       574    694.51    186.33      3.73   1000000         0
7.28/7.30	c       383       562    638.37    210.00      3.04   1000000         0
8.98/9.09	c       418       502    651.29    196.55      3.31   1000000         0
10.78/10.89	c       388       588    633.48    199.16      3.18   1000000         0
12.58/12.68	c       403       510    649.73    187.74      3.46   1000000         0
14.38/14.47	c       395       616    677.31    214.68      3.16   1000000         0
16.18/16.27	c       385       511    620.38    193.84      3.20   1000000         0
17.98/18.06	c       408       550    678.87    183.99      3.69   1000000         0
19.78/19.84	c       403       478    657.81    184.76      3.56   1000000         0
21.58/21.65	c       398       589    658.40    212.96      3.09   1000000         0
23.38/23.44	c       402       646    635.56    186.24      3.41   1000000         0
25.18/25.24	c       374       527    647.43    184.92      3.50   1000000         0
26.97/27.03	c       431       542    670.32    185.74      3.61   1000000         0
28.77/28.83	c       465       523    707.26    170.98      4.14   1000000         0
30.57/30.63	c       407       574    649.58    192.19      3.38   1000000         0
32.37/32.42	c       399       524    646.87    193.11      3.35   1000000         0
34.17/34.21	c       477       602    719.01    170.87      4.21   1000000         0
35.97/36.00	c       374       453    685.12    195.76      3.50   1000000         0
37.67/37.78	c       416       584    666.03    168.78      3.95   1000000         0
39.48/39.57	c       427       583    660.15    210.67      3.13   1000000         0
41.27/41.37	c       392       495    658.70    181.28      3.63   1000000         0
43.07/43.15	c       417       553    681.18    192.08      3.55   1000000         0
44.87/44.95	c       421       611    648.61    186.57      3.48   1000000         0
46.67/46.74	c       420       554    662.91    195.28      3.39   1000000         0
48.47/48.55	c       377       551    632.83    200.51      3.16   1000000         0
50.27/50.33	c       459       577    675.13    178.81      3.78   1000000         0
52.06/52.11	c       428       519    674.49    194.87      3.46   1000000         0
53.87/53.91	c       393       580    640.83    204.28      3.14   1000000         0
55.66/55.70	c       399       528    636.34    193.31      3.29   1000000         0
57.36/57.49	c       404       547    670.11    197.63      3.39   1000000         0
59.27/59.30	c       386       563    639.28    196.93      3.25   1000000         0
60.96/61.10	c       414       562    650.29    192.87      3.37   1000000         0
62.76/62.88	c       407       531    631.08    193.50      3.26   1000000         0
64.56/64.67	c       406       622    640.54    181.84      3.52   1000000         0
66.36/66.46	c       348       499    656.17    200.80      3.27   1000000         0
68.17/68.25	c       460       619    699.45    184.14      3.80   1000000         0
69.96/70.04	c       403       594    664.85    192.75      3.45   1000000         0
71.76/71.84	c       409       558    639.99    195.78      3.27   1000000         0
73.57/73.63	c       384       598    633.28    173.81      3.64   1000000         0
75.36/75.42	c       476       594    692.65    186.48      3.71   1000000         0
77.16/77.21	c       465       547    677.64    188.00      3.60   1000000         0
78.96/79.00	c       407       647    675.43    188.45      3.58   1000000         0
80.66/80.79	c       380       635    638.99    191.71      3.33   1000000         0
82.46/82.58	c       416       584    675.62    181.37      3.73   1000000         0
84.26/84.37	c       336       506    606.83    194.25      3.12   1000000         0
86.05/86.16	c       396       551    655.66    170.38      3.85   1000000         0
87.86/87.94	c       400       600    636.41    181.17      3.51   1000000         0
89.65/89.73	c       415       574    671.80    185.48      3.62   1000000         0
91.45/91.52	c       425       524    651.23    180.75      3.60   1000000         0
93.25/93.30	c       405       611    640.98    175.67      3.65   1000000         0
94.95/95.08	c       413       457    657.00    208.86      3.15   1000000         0
96.75/96.87	c       348       496    653.65    217.59      3.00   1000000         0
98.55/98.67	c       413       572    684.56    189.64      3.61   1000000         0
100.35/100.46	c       362       497    653.16    194.97      3.35   1000000         0
102.15/102.25	c       415       512    644.16    181.88      3.54   1000000         0
103.95/104.04	c       430       532    657.26    173.67      3.78   1000000         0
105.74/105.84	c       432       601    669.99    174.03      3.85   1000000         0
107.54/107.65	c       384       517    642.47    215.00      2.99   1000000         0
109.34/109.43	c       409       527    689.39    175.69      3.92   1000000         0
111.14/111.21	c       447       598    683.22    179.39      3.81   1000000         0
112.94/113.01	c       414       533    671.67    180.32      3.72   1000000         0
114.74/114.81	c       444       575    657.76    190.55      3.45   1000000         0
116.45/116.60	c       394       455    685.78    193.41      3.55   1000000         0
118.34/118.40	c       412       599    668.65    213.90      3.13   1000000         0
120.14/120.20	c       437       536    652.00    182.49      3.57   1000000         0
121.95/122.00	c       388       552    633.14    196.75      3.22   1000000         0
123.74/123.80	c       419       496    648.58    211.97      3.06   1000000         0
125.44/125.59	c       432       497    678.22    184.26      3.68   1000000         0
127.24/127.37	c       405       638    669.26    168.39      3.97   1000000         0
129.04/129.16	c       392       613    676.45    192.03      3.52   1000000         0
130.85/130.95	c       440       536    684.54    185.06      3.70   1000000         0
132.64/132.74	c       389       551    640.00    192.90      3.32   1000000         0
134.44/134.53	c       419       523    675.23    188.56      3.58   1000000         0
136.24/136.34	c       367       594    623.63    195.87      3.18   1000000         0
138.04/138.13	c       423       568    657.96    194.88      3.38   1000000         0
139.84/139.92	c       382       512    623.41    183.40      3.40   1000000         0
141.63/141.72	c       409       557    679.46    188.13      3.61   1000000         0
143.42/143.52	c       427       656    647.89    184.13      3.52   1000000         0
145.22/145.33	c       345       473    608.07    204.68      2.97   1000000         0
147.02/147.11	c       390       526    668.87    173.26      3.86   1000000         0
148.82/148.90	c       404       606    648.26    197.89      3.28   1000000         0
150.53/150.70	c       426       595    678.32    200.28      3.39   1000000         0
152.42/152.50	c       365       625    632.86    193.83      3.26   1000000         0
154.22/154.30	c       412       532    659.06    195.07      3.38   1000000         0
155.92/156.09	c       409       510    667.29    195.18      3.42   1000000         0
157.72/157.89	c       406       552    649.58    184.96      3.51   1000000         0
159.52/159.67	c       408       556    665.35    186.41      3.57   1000000         0
161.32/161.46	c       441       557    668.48    184.77      3.62   1000000         0
163.12/163.26	c       405       646    659.13    196.32      3.36   1000000         0
164.92/165.05	c       393       589    620.54    185.01      3.35   1000000         0
166.72/166.84	c       476       552    677.55    182.36      3.72   1000000         0
168.52/168.62	c       370       585    654.52    184.76      3.54   1000000         0
170.32/170.40	c       414       559    669.54    185.61      3.61   1000000         0
172.11/172.20	c       410       530    632.34    172.84      3.66   1000000         0
173.81/173.99	c       412       525    641.74    185.59      3.46   1000000         0
175.61/175.79	c       388       478    639.15    214.69      2.98   1000000         0
177.41/177.59	c       397       580    646.77    194.45      3.33   1000000         0
179.22/179.37	c       398       506    650.98    183.27      3.55   1000000         0
181.01/181.17	c       465       590    684.18    166.82      4.10   1000000         0
182.81/182.96	c       410       542    666.38    207.74      3.21   1000000         0
184.62/184.75	c       404       640    658.36    206.57      3.19   1000000         0
186.42/186.55	c       373       454    658.84    201.94      3.26   1000000         0
188.22/188.35	c       422       581    656.79    178.07      3.69   1000000         0
190.02/190.14	c       436       547    684.02    183.81      3.72   1000000         0
191.82/191.93	c       443       520    676.02    185.53      3.64   1000000         0
193.62/193.73	c       413       545    635.98    197.26      3.22   1000000         0
195.42/195.53	c       413       587    660.38    187.73      3.52   1000000         0
197.22/197.32	c       415       489    642.31    184.73      3.48   1000000         0
199.02/199.11	c       412       584    660.98    177.88      3.72   1000000         0
200.72/200.90	c       404       495    671.54    195.84      3.43   1000000         0
202.52/202.68	c       470       608    683.91    170.60      4.01   1000000         0
204.31/204.46	c       391       523    659.12    199.61      3.30   1000000         0
206.11/206.27	c       399       544    655.52    190.36      3.44   1000000         0
207.91/208.06	c       406       532    661.12    214.79      3.08   1000000         0
209.71/209.87	c       414       514    651.65    179.70      3.63   1000000         0
211.51/211.67	c       385       597    622.41    206.90      3.01   1000000         0
213.32/213.47	c       420       606    654.08    178.45      3.67   1000000         0
215.10/215.24	c       391       571    672.66    196.31      3.43   1000000         0
216.90/217.02	c       426       614    661.81    178.25      3.71   1000000         0
218.71/218.83	c       395       510    618.12    196.80      3.14   1000000         0
220.50/220.63	c       440       575    646.88    174.34      3.71   1000000         0
222.30/222.42	c       406       524    666.10    179.16      3.72   1000000         0
224.10/224.21	c       404       565    645.46    209.65      3.08   1000000         0
225.90/226.00	c       405       491    649.19    187.91      3.45   1000000         0
227.70/227.80	c       394       527    652.86    185.77      3.51   1000000         0
229.40/229.59	c       374       561    647.25    198.20      3.27   1000000         0
231.20/231.39	c       384       540    642.42    188.78      3.40   1000000         0
233.00/233.18	c       377       495    668.23    191.36      3.49   1000000         0
234.80/234.97	c       442       596    648.71    175.79      3.69   1000000         0
236.60/236.77	c       379       550    645.67    189.81      3.40   1000000         0
238.40/238.57	c       392       498    677.82    212.47      3.19   1000000         0
240.19/240.37	c       391       522    641.41    197.52      3.25   1000000         0
241.99/242.17	c       376       488    612.24    188.54      3.25   1000000         0
243.79/243.96	c       390       541    654.85    186.78      3.51   1000000         0
245.59/245.74	c       391       548    664.89    161.98      4.10   1000000         0
247.40/247.54	c       410       585    665.67    188.16      3.54   1000000         0
249.19/249.33	c       408       596    662.43    201.03      3.30   1000000         0
250.99/251.12	c       444       584    647.81    181.07      3.58   1000000         0
252.80/252.91	c       431       577    646.92    169.09      3.83   1000000         0
254.59/254.70	c       388       531    643.35    193.42      3.33   1000000         0
256.39/256.50	c       374       518    646.30    200.30      3.23   1000000         0
258.19/258.30	c       434       508    648.10    157.72      4.11   1000000         0
259.89/260.09	c       402       610    629.10    172.82      3.64   1000000         0
261.70/261.88	c       413       479    639.16    198.74      3.22   1000000         0
263.49/263.67	c       459       603    690.26    169.78      4.07   1000000         0
265.29/265.46	c       393       678    651.34    168.61      3.86   1000000         0
267.09/267.26	c       403       635    658.69    177.97      3.70   1000000         0
268.89/269.05	c       409       696    661.60    192.57      3.44   1000000         0
270.69/270.84	c       406       541    648.29    184.08      3.52   1000000         0
272.49/272.62	c       366       444    633.68    186.28      3.40   1000000         0
274.28/274.42	c       367       517    597.62    167.90      3.56   1000000         0
276.08/276.20	c       407       551    669.27    176.98      3.78   1000000         0
277.88/278.00	c       423       513    640.20    200.18      3.20   1000000         0
279.58/279.79	c       449       520    664.10    186.11      3.57   1000000         0
281.39/281.56	c       434       582    653.88    180.92      3.61   1000000         0
283.18/283.35	c       427       536    657.96    187.90      3.50   1000000         0
284.98/285.13	c       473       626    689.17    164.09      4.20   1000000         0
286.78/286.92	c       430       513    673.00    175.60      3.83   1000000         0
288.58/288.73	c       394       531    661.57    195.43      3.39   1000000         0
290.38/290.52	c       418       555    650.54    202.61      3.21   1000000         0
292.18/292.31	c       417       536    666.40    193.74      3.44   1000000         0
293.98/294.11	c       426       610    652.96    195.78      3.34   1000000         0
295.79/295.91	c       386       527    660.35    204.17      3.23   1000000         0
297.58/297.70	c       409       526    671.68    168.86      3.98   1000000         0
299.28/299.48	c       411       495    644.25    172.36      3.74   1000000         0
301.08/301.28	c       434       501    656.95    195.97      3.35   1000000         0
302.88/303.07	c       423       492    667.20    196.97      3.39   1000000         0
304.68/304.87	c       419       623    685.94    179.29      3.83   1000000         0
306.48/306.66	c       360       571    648.66    191.95      3.38   1000000         0
308.27/308.45	c       430       516    639.11    187.18      3.41   1000000         0
310.08/310.23	c       426       647    655.09    170.57      3.84   1000000         0
311.87/312.04	c       358       505    634.44    216.52      2.93   1000000         0
313.67/313.83	c       447       619    686.58    200.25      3.43   1000000         0
315.48/315.61	c       458       595    670.18    176.23      3.80   1000000         0
317.27/317.40	c       419       629    677.20    165.48      4.09   1000000         0
318.97/319.19	c       347       517    645.68    206.29      3.13   1000000         0
320.77/320.99	c       401       536    630.85    192.14      3.28   1000000         0
322.57/322.78	c       396       559    644.55    203.68      3.16   1000000         0
324.38/324.58	c       357       539    612.96    196.75      3.12   1000000         0
326.17/326.37	c       390       544    638.32    189.31      3.37   1000000         0
327.97/328.17	c       463       537    689.68    183.95      3.75   1000000         0
329.78/329.94	c       420       442    655.19    173.72      3.77   1000000         0
331.57/331.73	c       378       524    633.40    198.67      3.19   1000000         0
333.37/333.53	c       382       657    647.05    199.85      3.24   1000000         0
335.06/335.28	c       438       534    670.41    177.25      3.78   1000000         0
336.86/337.08	c       375       556    629.21    186.62      3.37   1000000         0
338.67/338.87	c       437       572    670.90    185.64      3.61   1000000         0
340.46/340.66	c       365       473    654.00    188.21      3.47   1000000         0
342.26/342.45	c       408       564    636.24    179.96      3.54   1000000         0
344.07/344.25	c       383       551    638.23    184.67      3.46   1000000         0
345.86/346.05	c       409       530    651.08    196.58      3.31   1000000         0
347.66/347.85	c       386       519    642.09    189.20      3.39   1000000         0
349.46/349.64	c       396       503    641.72    175.29      3.66   1000000         0
351.26/351.42	c       430       630    669.14    202.44      3.31   1000000         0
353.06/353.20	c       402       621    648.12    182.87      3.54   1000000         0
354.86/355.00	c       386       563    619.53    206.16      3.01   1000000         0
356.66/356.80	c       394       568    629.82    188.33      3.34   1000000         0
358.36/358.59	c       408       455    654.82    185.23      3.54   1000000         0
360.16/360.38	c       400       576    638.97    181.67      3.52   1000000         0
361.96/362.17	c       445       570    657.36    189.85      3.46   1000000         0
363.76/363.96	c       409       666    664.15    189.93      3.50   1000000         0
365.56/365.76	c       371       472    642.46    184.90      3.47   1000000         0
367.35/367.54	c       415       500    639.20    171.60      3.72   1000000         0
369.15/369.32	c       430       577    675.96    161.97      4.17   1000000         0
370.95/371.11	c       435       591    661.23    180.53      3.66   1000000         0
372.66/372.90	c       385       509    645.61    198.73      3.25   1000000         0
374.55/374.71	c       374       477    608.54    196.65      3.09   1000000         0
376.35/376.51	c       406       478    644.60    187.85      3.43   1000000         0
378.16/378.30	c       397       504    644.24    185.20      3.48   1000000         0
379.85/380.09	c       366       470    630.60    176.50      3.57   1000000         0
381.65/381.88	c       446       524    690.61    192.47      3.59   1000000         0
383.45/383.67	c       421       482    658.28    174.00      3.78   1000000         0
385.25/385.44	c       428       588    648.34    170.32      3.81   1000000         0
387.06/387.21	c       427       550    652.47    183.15      3.56   1000000         0
388.75/389.00	c       411       545    651.42    181.16      3.60   1000000         0
390.55/390.79	c       446       577    692.23    193.73      3.57   1000000         0
392.35/392.57	c       389       568    663.27    187.23      3.54   1000000         0
394.14/394.36	c       407       516    659.09    179.73      3.67   1000000         0
395.94/396.15	c       413       642    670.66    178.40      3.76   1000000         0
397.74/397.94	c       429       547    662.72    180.15      3.68   1000000         0
399.54/399.74	c       405       596    655.84    185.75      3.53   1000000         0
401.35/401.52	c       422       688    685.07    178.11      3.85   1000000         0
403.14/403.32	c       386       589    651.59    206.36      3.16   1000000         0
404.94/405.12	c       396       508    651.38    217.42      3.00   1000000         0
406.75/406.92	c       364       517    627.48    200.16      3.13   1000000         0
408.54/408.72	c       345       592    648.86    195.90      3.31   1000000         0
410.34/410.51	c       419       479    666.27    194.63      3.42   1000000         0
412.14/412.32	c       406       611    662.86    212.76      3.12   1000000         0
413.94/414.12	c       392       516    658.43    205.13      3.21   1000000         0
415.74/415.91	c       432       448    667.25    173.78      3.84   1000000         0
417.54/417.70	c       373       549    637.95    172.47      3.70   1000000         0
419.24/419.49	c       425       635    674.12    186.02      3.62   1000000         0
421.04/421.28	c       427       587    650.73    176.35      3.69   1000000         0
422.84/423.08	c       386       557    616.43    192.84      3.20   1000000         0
424.64/424.88	c       407       574    653.80    217.29      3.01   1000000         0
426.44/426.68	c       376       612    657.03    190.46      3.45   1000000         0
428.23/428.48	c       389       562    626.65    194.29      3.23   1000000         0
430.03/430.28	c       385       494    647.06    182.94      3.54   1000000         0
431.83/432.07	c       434       555    685.88    176.15      3.89   1000000         0
433.63/433.85	c       383       505    642.79    191.02      3.37   1000000         0
435.44/435.65	c       364       619    658.94    206.33      3.19   1000000         0
437.23/437.45	c       392       493    626.46    195.38      3.21   1000000         0
439.03/439.26	c       433       594    681.71    182.56      3.73   1000000         0
440.84/441.06	c       386       524    640.26    166.38      3.85   1000000         0
442.63/442.84	c       377       553    641.63    173.62      3.70   1000000         0
444.43/444.64	c       380       535    626.70    170.99      3.67   1000000         0
446.23/446.43	c       397       589    644.32    188.01      3.43   1000000         0
448.03/448.21	c       413       636    667.99    181.76      3.68   1000000         0
449.83/450.03	c       342       575    630.24    213.23      2.96   1000000         0
451.63/451.81	c       426       522    679.31    185.08      3.67   1000000         0
453.43/453.61	c       416       515    656.95    192.22      3.42   1000000         0
455.13/455.37	c       426       485    636.96    188.19      3.38   1000000         0
456.92/457.18	c       377       516    656.31    196.73      3.34   1000000         0
458.72/458.97	c       398       555    615.99    173.53      3.55   1000000         0
460.52/460.75	c       407       624    656.16    187.88      3.49   1000000         0
462.32/462.53	c       381       550    666.52    185.00      3.60   1000000         0
464.12/464.33	c       446       568    705.36    184.88      3.82   1000000         0
465.92/466.13	c       409       536    673.79    186.82      3.61   1000000         0
467.72/467.92	c       409       655    667.36    209.62      3.18   1000000         0
469.53/469.72	c       406       496    636.68    171.35      3.72   1000000         0
471.32/471.51	c       392       474    653.70    195.80      3.34   1000000         0
473.12/473.31	c       369       663    664.69    181.70      3.66   1000000         0
474.92/475.10	c       425       518    657.03    183.75      3.58   1000000         0
476.72/476.90	c       399       540    643.91    193.95      3.32   1000000         0
478.42/478.69	c       422       586    662.52    191.05      3.47   1000000         0
480.21/480.48	c       398       453    648.42    179.80      3.61   1000000         0
482.01/482.28	c       392       544    657.05    199.93      3.29   1000000         0
483.82/484.09	c       361       474    639.78    211.46      3.03   1000000         0
485.62/485.89	c       430       540    677.92    199.86      3.39   1000000         0
487.41/487.68	c       407       570    642.26    191.56      3.35   1000000         0
489.22/489.48	c       410       569    676.05    206.43      3.27   1000000         0
491.01/491.28	c       393       420    630.55    190.37      3.31   1000000         0
492.81/493.08	c       369       506    634.11    191.78      3.31   1000000         0
494.61/494.89	c       370       520    650.07    193.02      3.37   1000000         0
496.51/496.70	c       363       465    644.89    195.51      3.30   1000000         0
498.21/498.48	c       406       548    676.32    192.97      3.50   1000000         0
500.01/500.26	c       438       589    701.93    182.79      3.84   1000000         0
501.81/502.07	c       407       617    664.40    184.97      3.59   1000000         0
503.62/503.85	c       429       516    679.07    178.89      3.80   1000000         0
505.41/505.64	c       410       569    665.01    200.31      3.32   1000000         0
507.21/507.43	c       366       509    636.62    203.88      3.12   1000000         0
509.01/509.22	c       420       553    642.10    189.27      3.39   1000000         0
510.81/511.00	c       420       444    653.88    182.67      3.58   1000000         0
512.51/512.79	c       388       537    623.65    212.51      2.93   1000000         0
514.30/514.59	c       397       563    661.51    193.72      3.41   1000000         0
516.10/516.38	c       420       648    651.11    168.95      3.85   1000000         0
517.91/518.18	c       390       544    664.99    207.11      3.21   1000000         0
519.70/519.97	c       437       590    691.84    193.43      3.58   1000000         0
521.50/521.76	c       410       580    639.13    207.63      3.08   1000000         0
523.31/523.55	c       414       603    647.87    186.44      3.47   1000000         0
525.10/525.36	c       370       553    667.65    209.23      3.19   1000000         0
526.90/527.15	c       346       503    637.29    205.57      3.10   1000000         0
528.70/528.95	c       399       526    638.62    172.10      3.71   1000000         0
530.50/530.75	c       417       520    657.78    200.10      3.29   1000000         0
532.30/532.54	c       412       538    689.53    173.46      3.98   1000000         0
534.10/534.32	c       387       549    644.41    198.11      3.25   1000000         0
535.90/536.11	c       366       517    639.39    175.62      3.64   1000000         0
537.61/537.89	c       397       539    647.16    179.96      3.60   1000000         0
539.40/539.70	c       401       581    651.34    213.49      3.05   1000000         0
541.30/541.50	c       404       517    656.90    219.31      3.00   1000000         0
543.00/543.29	c       425       568    679.33    186.21      3.65   1000000         0
544.80/545.08	c       413       548    657.04    180.56      3.64   1000000         0
546.60/546.86	c       437       546    664.87    186.28      3.57   1000000         0
548.40/548.66	c       413       601    657.53    188.71      3.48   1000000         0
550.20/550.47	c       385       477    633.08    210.13      3.01   1000000         0
552.00/552.26	c       387       555    650.72    199.16      3.27   1000000         0
553.79/554.05	c       385       531    664.54    183.90      3.61   1000000         0
555.59/555.86	c       415       529    670.85    184.56      3.63   1000000         0
557.40/557.65	c       392       564    672.63    188.53      3.57   1000000         0
559.19/559.43	c       376       564    619.99    182.25      3.40   1000000         0
560.99/561.21	c       437       568    659.25    179.02      3.68   1000000         0
562.79/563.03	c       382       588    634.86    212.11      2.99   1000000         0
564.59/564.83	c       428       527    648.94    201.17      3.23   1000000         0
566.39/566.63	c       380       446    667.34    190.61      3.50   1000000         0
568.19/568.41	c       426       541    651.87    164.13      3.97   1000000         0
569.99/570.20	c       390       526    630.29    190.86      3.30   1000000         0
571.70/571.99	c       420       650    656.18    172.97      3.79   1000000         0
573.49/573.78	c       391       462    637.99    183.38      3.48   1000000         0
575.29/575.59	c       351       515    638.94    195.71      3.26   1000000         0
577.09/577.37	c       415       563    629.80    189.31      3.33   1000000         0
578.89/579.17	c       400       503    651.15    194.13      3.35   1000000         0
580.69/580.96	c       428       664    667.96    192.61      3.47   1000000         0
582.49/582.77	c       395       535    662.07    202.97      3.26   1000000         0
584.29/584.57	c       428       508    660.99    168.02      3.93   1000000         0
586.09/586.37	c       398       522    629.36    197.16      3.19   1000000         0
587.88/588.16	c       402       581    652.98    181.31      3.60   1000000         0
589.68/589.96	c       355       477    628.62    204.14      3.08   1000000         0
591.49/591.74	c       440       687    677.98    178.23      3.80   1000000         0
593.28/593.54	c       348       584    636.01    191.46      3.32   1000000         0
595.08/595.33	c       351       538    640.99    195.04      3.29   1000000         0
596.88/597.12	c       459       564    692.74    180.04      3.85   1000000         0
598.68/598.91	c       423       451    682.26    192.01      3.55   1000000         0
600.48/600.71	c       405       610    630.34    184.88      3.41   1000000         0
602.28/602.50	c       393       617    624.06    201.31      3.10   1000000         0
603.98/604.29	c       456       626    680.01    200.01      3.40   1000000         0
605.79/606.08	c       502       668    709.13    165.41      4.29   1000000         0
607.58/607.88	c       414       495    657.74    187.54      3.51   1000000         0
609.38/609.67	c       429       488    669.16    193.02      3.47   1000000         0
611.18/611.46	c       390       538    616.75    181.34      3.40   1000000         0
612.98/613.26	c       401       531    662.63    199.10      3.33   1000000         0
614.78/615.06	c       354       656    611.74    200.15      3.06   1000000         0
616.58/616.86	c       405       537    645.90    210.88      3.06   1000000         0
618.38/618.65	c       433       539    644.71    178.43      3.61   1000000         0
620.18/620.46	c       401       536    676.15    200.10      3.38   1000000         0
621.98/622.24	c       443       572    663.96    175.32      3.79   1000000         0
623.77/624.03	c       404       479    628.96    192.83      3.26   1000000         0
625.58/625.80	c       412       557    664.34    196.22      3.39   1000000         0
627.37/627.61	c       348       572    619.13    190.58      3.25   1000000         0
629.17/629.40	c       391       475    637.74    166.78      3.82   1000000         0
630.97/631.20	c       413       551    655.34    179.70      3.65   1000000         0
632.67/633.00	c       435       618    661.17    175.13      3.78   1000000         0
634.48/634.78	c       326       546    665.87    184.42      3.61   1000000         0
636.27/636.56	c       436       565    650.57    179.28      3.63   1000000         0
638.07/638.36	c       403       541    649.27    194.51      3.34   1000000         0
639.88/640.16	c       427       469    652.50    189.49      3.44   1000000         0
641.67/641.96	c       382       472    643.76    202.11      3.19   1000000         0
643.47/643.76	c       446       515    665.93    175.41      3.80   1000000         0
645.27/645.56	c       417       584    632.26    181.54      3.48   1000000         0
647.07/647.35	c       429       571    657.17    198.68      3.31   1000000         0
648.87/649.15	c       384       476    624.31    187.47      3.33   1000000         0
650.67/650.95	c       374       410    651.17    185.06      3.52   1000000         0
652.46/652.74	c       438       532    688.65    177.31      3.88   1000000         0
654.27/654.54	c       376       579    613.64    175.63      3.49   1000000         0
656.06/656.33	c       385       526    668.07    217.13      3.08   1000000         0
657.86/658.12	c       420       494    650.75    182.18      3.57   1000000         0
659.67/659.90	c       420       463    679.47    176.74      3.84   1000000         0
661.46/661.70	c       418       501    624.65    182.73      3.42   1000000         0
663.26/663.51	c       383       576    650.89    210.36      3.09   1000000         0
664.96/665.30	c       366       612    660.92    185.48      3.56   1000000         0
666.76/667.08	c       399       569    659.22    185.98      3.54   1000000         0
668.57/668.87	c       418       514    643.52    187.66      3.43   1000000         0
670.36/670.67	c       408       514    635.67    198.02      3.21   1000000         0
672.16/672.46	c       394       568    666.09    194.55      3.42   1000000         0
673.97/674.26	c       347       591    624.67    210.95      2.96   1000000         0
675.76/676.05	c       432       598    628.82    172.98      3.64   1000000         0
677.56/677.84	c       432       542    662.51    202.51      3.27   1000000         0
679.36/679.63	c       372       547    653.92    195.28      3.35   1000000         0
681.16/681.42	c       388       572    630.88    198.84      3.17   1000000         0
682.96/683.21	c       412       510    665.51    196.00      3.40   1000000         0
684.76/685.00	c       429       487    680.45    179.47      3.79   1000000         0
686.46/686.78	c       405       540    669.76    174.85      3.83   1000000         0
688.26/688.58	c       410       560    659.37    188.41      3.50   1000000         0
690.06/690.38	c       435       554    640.63    181.55      3.53   1000000         0
691.85/692.17	c       391       589    670.51    199.44      3.36   1000000         0
693.65/693.97	c       363       498    625.39    190.85      3.28   1000000         0
695.45/695.77	c       407       501    636.82    185.02      3.44   1000000         0
697.25/697.56	c       381       562    622.25    180.43      3.45   1000000         0
699.05/699.36	c       435       583    661.04    169.77      3.89   1000000         0
700.85/701.13	c       395       492    675.45    192.40      3.51   1000000         0
702.66/702.93	c       378       507    645.05    195.70      3.30   1000000         0
704.45/704.72	c       430       621    681.21    206.87      3.29   1000000         0
706.25/706.52	c       425       625    671.55    168.86      3.98   1000000         0
708.06/708.31	c       379       475    641.72    197.55      3.25   1000000         0
709.85/710.10	c       417       548    654.86    183.15      3.58   1000000         0
711.55/711.89	c       379       560    649.51    198.98      3.26   1000000         0
713.45/713.70	c       408       593    640.97    161.06      3.98   1000000         0
715.15/715.49	c       422       583    629.32    176.44      3.57   1000000         0
716.96/717.28	c       377       466    640.26    176.10      3.64   1000000         0
718.75/719.07	c       422       582    646.09    195.66      3.30   1000000         0
720.55/720.86	c       405       510    658.35    198.47      3.32   1000000         0
722.35/722.64	c       434       525    676.61    177.81      3.81   1000000         0
724.15/724.44	c       394       646    634.53    194.11      3.27   1000000         0
725.95/726.24	c       400       538    630.49    180.99      3.48   1000000         0
727.74/728.03	c       363       500    628.01    204.91      3.06   1000000         0
729.54/729.82	c       380       560    627.16    198.76      3.16   1000000         0
731.34/731.60	c       383       558    682.54    188.33      3.62   1000000         0
733.14/733.41	c       424       521    689.35    192.17      3.59   1000000         0
734.94/735.21	c       386       479    623.97    196.22      3.18   1000000         0
736.65/736.99	c       420       625    648.13    188.20      3.44   1000000         0
738.44/738.77	c       431       582    658.90    160.09      4.12   1000000         0
740.24/740.57	c       357       522    628.64    193.54      3.25   1000000         0
742.04/742.37	c       422       589    660.58    192.64      3.43   1000000         0
743.84/744.16	c       406       516    688.12    185.21      3.72   1000000         0
745.64/745.97	c       358       627    631.80    215.26      2.94   1000000         0
747.44/747.77	c       396       514    667.18    197.93      3.37   1000000         0
749.24/749.56	c       441       516    665.89    173.80      3.83   1000000         0
751.04/751.33	c       423       517    673.66    168.69      3.99   1000000         0
752.84/753.12	c       345       444    645.44    195.13      3.31   1000000         0
754.64/754.92	c       417       496    649.31    187.88      3.46   1000000         0
756.44/756.73	c       351       477    621.74    198.48      3.13   1000000         0
758.23/758.52	c       463       565    676.25    173.79      3.89   1000000         0
760.03/760.32	c       400       528    638.91    190.95      3.35   1000000         0
761.83/762.11	c       396       463    645.81    184.43      3.50   1000000         0
763.63/763.91	c       407       549    655.53    170.11      3.85   1000000         0
765.43/765.70	c       354       610    632.16    175.59      3.60   1000000         0
767.13/767.49	c       396       594    634.77    206.55      3.07   1000000         0
769.03/769.30	c       378       474    647.20    205.34      3.15   1000000         0
770.74/771.08	c       384       506    637.26    186.42      3.42   1000000         0
772.53/772.88	c       423       598    673.83    180.67      3.73   1000000         0
774.33/774.68	c       323       552    643.68    179.20      3.59   1000000         0
776.13/776.48	c       386       518    644.15    190.50      3.38   1000000         0
777.93/778.28	c       424       547    652.19    175.38      3.72   1000000         0
779.73/780.06	c       406       483    660.69    204.82      3.23   1000000         0
781.53/781.85	c       441       603    666.86    170.72      3.91   1000000         0
783.33/783.65	c       417       515    660.62    201.69      3.28   1000000         0
785.13/785.46	c       390       467    643.04    189.81      3.39   1000000         0
786.93/787.25	c       417       633    643.33    183.91      3.50   1000000         0
788.73/789.03	c       360       726    628.97    192.88      3.26   1000000         0
790.53/790.83	c       408       606    663.38    198.32      3.35   1000000         0
792.32/792.62	c       375       540    651.48    199.00      3.27   1000000         0
794.12/794.42	c       386       561    641.39    222.92      2.88   1000000         0
795.92/796.22	c       432       475    680.62    181.37      3.75   1000000         0
797.72/798.01	c       406       541    646.20    197.30      3.28   1000000         0
799.52/799.80	c       451       624    685.62    172.41      3.98   1000000         0
801.22/801.60	c       354       486    667.50    199.24      3.35   1000000         0
803.02/803.39	c       387       497    630.77    182.88      3.45   1000000         0
804.83/805.18	c       411       597    674.35    182.69      3.69   1000000         0
806.62/806.97	c       431       624    649.04    176.61      3.68   1000000         0
808.42/808.76	c       435       572    640.51    179.57      3.57   1000000         0
810.22/810.56	c       379       498    643.14    196.46      3.27   1000000         0
812.02/812.34	c       396       611    646.26    184.77      3.50   1000000         0
813.82/814.16	c       352       464    644.12    203.35      3.17   1000000         0
815.62/815.96	c       384       562    626.76    204.95      3.06   1000000         0
817.42/817.76	c       415       626    658.13    195.49      3.37   1000000         0
819.22/819.56	c       389       521    660.61    210.21      3.14   1000000         0
821.02/821.35	c       413       548    639.59    185.47      3.45   1000000         0
822.82/823.14	c       391       613    674.68    199.93      3.37   1000000         0
824.62/824.93	c       446       573    697.39    193.19      3.61   1000000         0
826.42/826.73	c       382       577    659.35    188.85      3.49   1000000         0
828.22/828.52	c       379       620    647.05    197.51      3.28   1000000         0
830.01/830.31	c       434       492    663.56    174.38      3.81   1000000         0
831.81/832.10	c       412       559    688.86    173.51      3.97   1000000         0
833.52/833.89	c       392       505    631.31    191.96      3.29   1000000         0
835.31/835.69	c       379       497    637.14    188.79      3.37   1000000         0
837.11/837.49	c       464       637    675.91    170.13      3.97   1000000         0
838.92/839.29	c       420       605    649.75    192.95      3.37   1000000         0
840.71/841.07	c       445       574    683.40    194.46      3.51   1000000         0
842.51/842.86	c       372       534    628.78    203.61      3.09   1000000         0
844.31/844.65	c       424       520    637.95    179.75      3.55   1000000         0
846.11/846.45	c       398       610    653.70    199.60      3.27   1000000         0
847.91/848.25	c       382       610    627.12    168.33      3.73   1000000         0
849.71/850.05	c       380       552    645.12    203.31      3.17   1000000         0
851.51/851.84	c       375       611    659.44    202.64      3.25   1000000         0
853.32/853.63	c       423       641    671.26    197.76      3.39   1000000         0
855.11/855.42	c       391       514    654.53    180.73      3.62   1000000         0
856.91/857.23	c       366       507    641.23    219.23      2.92   1000000         0
858.71/859.03	c       386       589    650.93    172.58      3.77   1000000         0
860.50/860.82	c       401       601    674.24    209.99      3.21   1000000         0
862.30/862.60	c       403       497    643.47    183.65      3.50   1000000         0
864.00/864.39	c       374       594    659.74    198.28      3.33   1000000         0
865.80/866.18	c       467       507    695.05    182.83      3.80   1000000         0
867.61/867.99	c       343       579    617.30    194.37      3.18   1000000         0
869.40/869.79	c       350       536    622.93    199.73      3.12   1000000         0
871.20/871.58	c       394       472    643.02    193.71      3.32   1000000         0
873.01/873.38	c       425       483    651.36    170.94      3.81   1000000         0
874.80/875.17	c       400       491    651.12    200.87      3.24   1000000         0
876.60/876.97	c       379       553    660.52    200.42      3.30   1000000         0
878.40/878.76	c       403       564    618.43    201.48      3.07   1000000         0
880.20/880.55	c       367       602    626.04    197.68      3.17   1000000         0
882.00/882.35	c       402       469    639.09    200.45      3.19   1000000         0
883.80/884.15	c       393       456    657.83    181.85      3.62   1000000         0
885.60/885.94	c       420       566    655.47    164.23      3.99   1000000         0
887.41/887.74	c       403       566    662.02    215.15      3.08   1000000         0
889.20/889.54	c       397       541    660.57    191.93      3.44   1000000         0
891.00/891.33	c       433       645    673.94    175.20      3.85   1000000         0
892.80/893.12	c       422       570    655.49    218.04      3.01   1000000         0
894.60/894.90	c       461       655    692.31    168.87      4.10   1000000         0
896.39/896.70	c       367       572    624.55    197.85      3.16   1000000         0
898.09/898.48	c       402       500    644.77    173.75      3.71   1000000         0
899.89/900.27	c       411       567    638.84    189.55      3.37   1000000         0
901.70/902.07	c       369       533    638.76    199.38      3.20   1000000         0
903.49/903.86	c       396       737    647.83    187.39      3.46   1000000         0
905.29/905.66	c       410       534    650.77    177.34      3.67   1000000         0
907.10/907.44	c       466       630    679.04    167.14      4.06   1000000         0
908.89/909.25	c       420       629    653.39    191.21      3.42   1000000         0
910.69/911.05	c       420       602    658.59    216.99      3.04   1000000         0
912.49/912.84	c       390       549    664.53    207.14      3.21   1000000         0
914.29/914.65	c       367       451    636.26    186.05      3.42   1000000         0
916.09/916.46	c       355       597    623.82    189.83      3.29   1000000         0
917.89/918.24	c       419       628    661.22    179.77      3.68   1000000         0
919.69/920.02	c       426       511    626.48    166.18      3.77   1000000         0
921.50/921.81	c       473       594    710.01    174.71      4.06   1000000         0
923.29/923.60	c       389       572    640.87    165.25      3.88   1000000         0
925.09/925.40	c       418       590    664.55    194.75      3.41   1000000         0
926.79/927.20	c       402       540    632.00    174.90      3.61   1000000         0
928.59/928.99	c       415       576    666.13    191.41      3.48   1000000         0
930.39/930.78	c       379       482    657.80    182.85      3.60   1000000         0
932.19/932.58	c       382       549    637.19    198.67      3.21   1000000         0
933.98/934.39	c       439       618    674.18    184.79      3.65   1000000         0
935.79/936.18	c       393       549    629.55    177.04      3.56   1000000         0
937.58/937.97	c       411       603    661.30    198.36      3.33   1000000         0
939.38/939.76	c       408       577    644.95    187.57      3.44   1000000         0
941.19/941.55	c       374       421    629.99    183.85      3.43   1000000         0
942.98/943.34	c       382       474    650.55    221.99      2.93   1000000         0
944.78/945.14	c       410       533    647.59    193.18      3.35   1000000         0
946.58/946.94	c       387       558    641.51    199.80      3.21   1000000         0
948.38/948.73	c       429       628    653.29    164.88      3.96   1000000         0
950.18/950.52	c       413       580    673.49    187.41      3.59   1000000         0
951.98/952.33	c       424       518    637.68    176.90      3.60   1000000         0
953.78/954.12	c       429       545    660.27    187.95      3.51   1000000         0
955.58/955.91	c       452       645    689.03    174.59      3.95   1000000         0
957.28/957.69	c       451       580    655.32    174.52      3.75   1000000         0
959.08/959.49	c       360       445    622.45    184.60      3.37   1000000         0
960.88/961.28	c       394       492    647.20    192.65      3.36   1000000         0
962.68/963.08	c       397       558    639.94    193.39      3.31   1000000         0
964.48/964.86	c       372       451    666.03    178.81      3.72   1000000         0
966.27/966.64	c       408       526    660.19    184.05      3.59   1000000         0
968.07/968.44	c       382       484    622.93    207.12      3.01   1000000         0
969.88/970.24	c       390       548    626.51    190.28      3.29   1000000         0
971.67/972.06	c       326       433    651.77    228.11      2.86   1000000         0
973.47/973.85	c       432       608    648.56    182.37      3.56   1000000         0
975.28/975.65	c       417       583    643.07    182.07      3.53   1000000         0
977.07/977.43	c       403       572    651.81    165.14      3.95   1000000         0
978.87/979.23	c       415       610    643.76    186.87      3.44   1000000         0
980.67/981.03	c       433       534    673.24    191.09      3.52   1000000         0
982.47/982.82	c       405       560    661.32    201.67      3.28   1000000         0
984.27/984.61	c       465       638    667.17    152.59      4.37   1000000         0
986.07/986.40	c       383       527    655.37    185.64      3.53   1000000         0
987.77/988.18	c       451       516    681.97    175.31      3.89   1000000         0
989.57/989.98	c       416       501    674.90    209.29      3.22   1000000         0
991.37/991.77	c       387       513    642.05    198.96      3.23   1000000         0
993.16/993.57	c       422       553    640.17    172.72      3.71   1000000         0
994.96/995.37	c       446       528    646.47    174.53      3.70   1000000         0
996.76/997.16	c       402       570    647.14    189.20      3.42   1000000         0
998.56/998.95	c       424       544    633.02    184.07      3.44   1000000         0
1000.36/1000.74	c       381       549    637.19    191.20      3.33   1000000         0
1002.16/1002.54	c       375       625    650.16    200.98      3.23   1000000         0
1003.97/1004.32	c       413       510    650.87    182.21      3.57   1000000         0
1005.76/1006.12	c       400       558    630.01    186.07      3.39   1000000         0
1007.56/1007.92	c       397       549    640.49    182.93      3.50   1000000         0
1009.36/1009.72	c       410       530    651.54    191.15      3.41   1000000         0
1011.16/1011.50	c       448       599    675.73    179.74      3.76   1000000         0
1012.86/1013.29	c       382       509    640.84    191.60      3.34   1000000         0
1014.66/1015.09	c       408       493    685.59    222.88      3.08   1000000         0
1016.46/1016.89	c       379       585    648.65    192.99      3.36   1000000         0
1018.35/1018.70	c       405       530    646.50    200.09      3.23   1000000         0
1020.05/1020.49	c       491       533    731.71    189.48      3.86   1000000         0
1021.85/1022.28	c       411       646    657.90    182.69      3.60   1000000         0
1023.66/1024.07	c       472       627    705.36    170.87      4.13   1000000         0
1025.45/1025.87	c       410       552    653.44    201.34      3.25   1000000         0
1027.25/1027.65	c       353       473    640.02    208.59      3.07   1000000         0
1029.05/1029.46	c       368       470    635.34    213.48      2.98   1000000         0
1030.85/1031.24	c       350       558    629.39    183.79      3.42   1000000         0
1032.65/1033.05	c       389       428    655.53    189.35      3.46   1000000         0
1034.45/1034.85	c       382       531    628.03    188.80      3.33   1000000         0
1036.25/1036.64	c       408       538    658.07    202.56      3.25   1000000         0
1038.06/1038.43	c       388       495    631.74    194.43      3.25   1000000         0
1039.85/1040.21	c       411       586    663.07    191.89      3.46   1000000         0
1041.65/1042.00	c       469       541    706.57    189.65      3.73   1000000         0
1043.35/1043.79	c       396       550    648.49    166.88      3.89   1000000         0
1045.15/1045.58	c       434       535    643.61    171.98      3.74   1000000         0
1046.95/1047.38	c       422       504    650.59    171.93      3.78   1000000         0
1048.75/1049.18	c       400       582    659.90    201.95      3.27   1000000         0
1050.55/1050.98	c       343       517    615.75    195.84      3.14   1000000         0
1052.35/1052.75	c       422       589    643.22    169.84      3.79   1000000         0
1054.14/1054.54	c       401       514    664.94    189.15      3.52   1000000         0
1055.94/1056.34	c       384       552    627.36    199.61      3.14   1000000         0
1057.75/1058.12	c       445       606    675.93    190.87      3.54   1000000         0
1059.54/1059.92	c       411       565    643.37    189.03      3.40   1000000         0
1061.34/1061.71	c       432       552    651.03    168.11      3.87   1000000         0
1063.14/1063.50	c       398       586    668.76    192.21      3.48   1000000         0
1064.84/1065.29	c       474       720    680.92    173.97      3.91   1000000         0
1066.65/1067.07	c       379       457    668.74    178.64      3.74   1000000         0
1068.44/1068.86	c       400       551    678.24    191.87      3.53   1000000         0
1070.24/1070.66	c       434       586    642.04    189.37      3.39   1000000         0
1072.05/1072.46	c       378       578    643.38    215.47      2.99   1000000         0
1073.84/1074.27	c       363       506    647.04    205.48      3.15   1000000         0
1075.64/1076.06	c       464       580    701.08    176.42      3.97   1000000         0
1077.44/1077.85	c       442       536    675.36    172.06      3.93   1000000         0
1079.23/1079.65	c       411       556    656.34    186.91      3.51   1000000         0
1081.03/1081.44	c       415       579    680.39    183.10      3.72   1000000         0
1082.83/1083.23	c       376       545    633.23    190.75      3.32   1000000         0
1084.63/1085.03	c       356       504    619.38    189.00      3.28   1000000         0
1086.44/1086.81	c       452       574    674.30    177.88      3.79   1000000         0
1088.23/1088.60	c       392       486    646.96    174.58      3.71   1000000         0
1089.93/1090.39	c       363       512    680.55    191.55      3.55   1000000         0
1091.73/1092.19	c       406       644    638.34    190.89      3.34   1000000         0
1093.53/1093.97	c       419       582    664.63    189.79      3.50   1000000         0
1095.32/1095.75	c       421       563    636.66    187.80      3.39   1000000         0
1097.12/1097.54	c       407       532    651.32    202.45      3.22   1000000         0
1098.92/1099.33	c       440       518    676.87    186.24      3.63   1000000         0
1100.73/1101.14	c       384       483    632.41    206.32      3.07   1000000         0
1102.52/1102.93	c       382       556    633.51    201.20      3.15   1000000         0
1104.32/1104.72	c       413       560    647.39    202.60      3.20   1000000         0
1106.13/1106.52	c       414       562    641.19    182.03      3.52   1000000         0
1107.92/1108.31	c       374       493    636.57    207.08      3.07   1000000         0
1109.72/1110.13	c       391       466    604.43    171.27      3.53   1000000         0
1111.52/1111.92	c       436       556    667.15    176.95      3.77   1000000         0
1113.32/1113.73	c       380       513    593.71    186.20      3.19   1000000         0
1115.12/1115.53	c       423       553    668.86    193.42      3.46   1000000         0
1116.92/1117.32	c       355       589    644.15    213.76      3.01   1000000         0
1118.72/1119.12	c       416       558    687.16    195.82      3.51   1000000         0
1120.42/1120.90	c       407       574    663.58    176.83      3.75   1000000         0
1122.32/1122.71	c       401       579    658.69    204.92      3.21   1000000         0
1124.12/1124.51	c       411       531    642.99    169.81      3.79   1000000         0
1125.81/1126.30	c       388       549    613.14    183.91      3.33   1000000         0
1127.61/1128.09	c       428       543    637.53    188.01      3.39   1000000         0
1129.41/1129.87	c       411       536    680.01    170.76      3.98   1000000         0
1131.21/1131.66	c       434       494    698.90    192.32      3.63   1000000         0
1133.01/1133.46	c       402       576    635.88    184.00      3.46   1000000         0
1134.82/1135.26	c       405       545    637.37    173.45      3.67   1000000         0
1136.61/1137.06	c       389       543    654.99    213.73      3.06   1000000         0
1138.41/1138.86	c       362       571    638.12    202.80      3.15   1000000         0
1140.22/1140.64	c       418       578    656.96    191.85      3.42   1000000         0
1142.01/1142.44	c       361       508    630.72    184.77      3.41   1000000         0
1143.81/1144.24	c       418       503    647.64    203.98      3.18   1000000         0
1145.61/1146.03	c       373       526    657.04    186.88      3.52   1000000         0
1147.41/1147.83	c       410       609    652.28    197.57      3.30   1000000         0
1149.21/1149.61	c       418       491    660.25    199.89      3.30   1000000         0
1151.01/1151.40	c       425       537    661.80    194.33      3.41   1000000         0
1152.71/1153.19	c       418       527    674.53    178.49      3.78   1000000         0
1154.51/1154.98	c       378       545    647.32    190.75      3.39   1000000         0
1156.31/1156.77	c       375       608    627.46    190.81      3.29   1000000         0
1158.10/1158.56	c       412       517    650.08    179.05      3.63   1000000         0
1159.90/1160.36	c       426       582    639.68    184.98      3.46   1000000         0
1161.70/1162.15	c       402       460    650.28    204.42      3.18   1000000         0
1163.50/1163.93	c       432       613    657.24    170.42      3.86   1000000         0
1165.30/1165.73	c       436       628    695.82    185.36      3.75   1000000         0
1167.10/1167.53	c       407       634    649.77    195.32      3.33   1000000         0
1168.91/1169.33	c       371       526    624.51    187.11      3.34   1000000         0
1170.70/1171.13	c       362       538    642.37    205.92      3.12   1000000         0
1172.50/1172.92	c       391       681    637.77    177.74      3.59   1000000         0
1174.31/1174.72	c       366       522    621.82    192.03      3.24   1000000         0
1176.10/1176.53	c       376       586    646.82    202.77      3.19   1000000         0
1177.90/1178.32	c       459       621    686.84    167.76      4.09   1000000         0
1179.70/1180.13	c       417       524    655.83    183.42      3.58   1000000         0
1181.50/1181.91	c       386       469    629.73    198.24      3.18   1000000         0
1183.30/1183.70	c       402       497    651.69    187.81      3.47   1000000         0
1185.00/1185.49	c       394       498    655.46    181.44      3.61   1000000         0
1186.80/1187.28	c       370       559    670.63    187.40      3.58   1000000         0
1188.60/1189.08	c       387       504    629.33    200.11      3.14   1000000         0
1190.40/1190.87	c       433       616    656.92    196.80      3.34   1000000         0
1192.19/1192.66	c       385       534    627.17    185.42      3.38   1000000         0
1194.00/1194.46	c       366       584    629.33    207.83      3.03   1000000         0
1195.80/1196.24	c       441       686    682.42    175.43      3.89   1000000         0
1197.59/1198.03	c       410       552    660.85    179.86      3.67   1000000         0
1199.39/1199.82	c       422       610    675.66    203.14      3.33   1000000         0
1201.19/1201.63	c       406       492    645.06    204.89      3.15   1000000         0
1203.00/1203.44	c       434       570    672.44    188.01      3.58   1000000         0
1204.79/1205.23	c       394       498    667.58    189.56      3.52   1000000         0
1206.59/1207.02	c       423       480    693.41    190.64      3.64   1000000         0
1208.40/1208.81	c       416       544    660.26    199.81      3.30   1000000         0
1210.19/1210.61	c       427       579    664.75    198.41      3.35   1000000         0
1211.99/1212.40	c       416       459    643.77    181.94      3.54   1000000         0
1213.69/1214.20	c       448       580    671.03    192.41      3.49   1000000         0
1215.49/1215.99	c       448       594    671.54    177.77      3.78   1000000         0
1217.30/1217.79	c       411       500    641.66    219.11      2.93   1000000         0
1219.09/1219.59	c       393       446    649.18    204.97      3.17   1000000         0
1220.89/1221.38	c       378       512    650.65    197.12      3.30   1000000         0
1222.69/1223.18	c       397       492    633.92    191.52      3.31   1000000         0
1224.49/1224.95	c       389       532    674.97    186.70      3.62   1000000         0
1226.29/1226.75	c       403       549    663.44    204.90      3.24   1000000         0
1228.08/1228.54	c       367       509    638.08    201.67      3.16   1000000         0
1229.88/1230.34	c       396       536    634.87    180.23      3.52   1000000         0
1231.68/1232.13	c       415       601    647.12    156.06      4.15   1000000         0
1233.48/1233.92	c       391       527    651.56    180.97      3.60   1000000         0
1235.28/1235.71	c       363       445    616.32    194.58      3.17   1000000         0
1236.99/1237.50	c       411       537    657.96    177.24      3.71   1000000         0
1238.88/1239.31	c       420       509    682.79    217.49      3.14   1000000         0
1240.68/1241.11	c       403       630    653.32    201.20      3.25   1000000         0
1242.49/1242.91	c       424       570    647.45    193.00      3.35   1000000         0
1244.18/1244.68	c       400       586    675.00    196.65      3.43   1000000         0
1245.98/1246.48	c       363       528    608.67    188.98      3.22   1000000         0
1247.78/1248.28	c       369       490    660.75    197.49      3.35   1000000         0
1249.58/1250.08	c       373       660    669.01    182.30      3.67   1000000         0
1251.39/1251.88	c       394       591    637.17    189.14      3.37   1000000         0
1253.18/1253.67	c       384       548    622.19    195.89      3.18   1000000         0
1254.98/1255.46	c       417       502    669.78    193.61      3.46   1000000         0
1256.78/1257.26	c       379       530    624.44    183.75      3.40   1000000         0
1258.58/1259.05	c       411       573    635.82    184.22      3.45   1000000         0
1260.38/1260.82	c       413       589    659.25    184.42      3.57   1000000         0
1262.18/1262.63	c       359       465    666.62    170.08      3.92   1000000         0
1263.97/1264.43	c       375       465    627.38    189.96      3.30   1000000         0
1265.77/1266.23	c       397       446    640.01    189.59      3.38   1000000         0
1267.57/1268.04	c       377       540    616.84    202.94      3.04   1000000         0
1269.37/1269.83	c       409       607    632.35    191.10      3.31   1000000         0
1271.18/1271.61	c       399       519    667.65    177.02      3.77   1000000         0
1272.87/1273.39	c       425       515    644.75    174.07      3.70   1000000         0
1274.67/1275.18	c       426       535    667.22    172.79      3.86   1000000         0
1276.47/1276.98	c       381       585    645.09    207.24      3.11   1000000         0
1278.27/1278.77	c       419       500    665.65    196.44      3.39   1000000         0
1280.07/1280.57	c       390       581    637.52    186.74      3.41   1000000         0
1281.87/1282.37	c       399       556    646.81    193.87      3.34   1000000         0
1283.67/1284.17	c       413       520    686.98    201.95      3.40   1000000         0
1285.48/1285.95	c       366       448    631.68    184.55      3.42   1000000         0
1287.27/1287.75	c       380       505    644.93    189.34      3.41   1000000         0
1289.07/1289.55	c       395       551    662.23    198.24      3.34   1000000         0
1290.87/1291.35	c       406       546    668.53    185.10      3.61   1000000         0
1292.67/1293.15	c       397       508    650.93    170.73      3.81   1000000         0
1294.46/1294.96	c       384       534    625.14    188.99      3.31   1000000         0
1296.26/1296.76	c       393       622    665.90    197.40      3.37   1000000         0
1298.06/1298.56	c       355       489    622.30    177.06      3.51   1000000         0
1299.86/1300.35	c       408       550    659.28    183.81      3.59   1000000         0
1301.66/1302.16	c       400       520    656.58    189.38      3.47   1000000         0
1303.46/1303.95	c       407       650    632.42    192.48      3.29   1000000         0
1305.27/1305.75	c       406       475    638.99    178.38      3.58   1000000         0
1307.06/1307.54	c       422       532    658.68    195.64      3.37   1000000         0
1308.86/1309.33	c       390       508    645.50    195.25      3.31   1000000         0
1310.67/1311.12	c       418       537    669.26    211.22      3.17   1000000         0
1312.46/1312.93	c       398       462    646.26    192.82      3.35   1000000         0
1314.26/1314.71	c       411       466    663.92    187.32      3.54   1000000         0
1315.96/1316.50	c       418       482    683.81    180.50      3.79   1000000         0
1317.76/1318.29	c       396       722    633.56    185.54      3.41   1000000         0
1319.57/1320.08	c       411       558    670.59    208.90      3.21   1000000         0
1321.36/1321.88	c       440       593    680.13    191.72      3.55   1000000         0
1323.16/1323.66	c       420       562    648.52    176.52      3.67   1000000         0
1324.96/1325.45	c       398       509    677.13    194.99      3.47   1000000         0
1326.76/1327.24	c       450       542    674.40    170.24      3.96   1000000         0
1328.56/1329.03	c       446       463    690.31    186.06      3.71   1000000         0
1330.35/1330.83	c       408       538    632.71    191.61      3.30   1000000         0
1332.15/1332.63	c       379       511    614.74    184.03      3.34   1000000         0
1333.95/1334.40	c       425       605    657.70    177.16      3.71   1000000         0
1335.65/1336.19	c       455       558    671.12    164.32      4.08   1000000         0
1337.45/1337.98	c       459       595    672.86    180.58      3.73   1000000         0
1339.26/1339.77	c       420       566    657.96    202.60      3.25   1000000         0
1341.05/1341.55	c       419       542    639.42    177.19      3.61   1000000         0
1342.85/1343.35	c       430       592    689.21    173.62      3.97   1000000         0
1344.65/1345.14	c       404       514    618.43    182.80      3.38   1000000         0
1346.45/1346.92	c       413       484    652.68    182.20      3.58   1000000         0
1348.25/1348.71	c       407       625    660.96    197.28      3.35   1000000         0
1349.95/1350.49	c       392       631    647.98    191.04      3.39   1000000         0
1351.75/1352.29	c       386       452    624.96    168.72      3.70   1000000         0
1353.55/1354.09	c       424       517    660.92    178.93      3.69   1000000         0
1355.34/1355.89	c       403       483    671.91    179.27      3.75   1000000         0
1357.14/1357.68	c       354       447    631.66    190.39      3.32   1000000         0
1358.94/1359.47	c       396       535    655.90    207.41      3.16   1000000         0
1360.74/1361.26	c       389       612    647.40    196.96      3.29   1000000         0
1362.54/1363.06	c       388       547    638.90    201.02      3.18   1000000         0
1364.34/1364.84	c       370       489    652.55    194.45      3.36   1000000         0
1366.14/1366.64	c       383       572    660.08    194.97      3.39   1000000         0
1367.95/1368.44	c       387       553    644.44    191.64      3.36   1000000         0
1369.74/1370.23	c       427       624    654.00    188.16      3.48   1000000         0
1371.54/1372.02	c       385       475    648.71    177.56      3.65   1000000         0
1373.34/1373.82	c       412       592    653.01    184.22      3.54   1000000         0
1375.04/1375.59	c       458       595    692.55    177.38      3.90   1000000         0
1376.84/1377.39	c       359       484    636.49    196.08      3.25   1000000         0
1378.64/1379.18	c       413       610    659.04    179.85      3.66   1000000         0
1380.44/1380.97	c       408       648    681.06    184.85      3.68   1000000         0
1382.24/1382.75	c       434       449    674.79    176.23      3.83   1000000         0
1384.03/1384.56	c       351       538    630.96    194.66      3.24   1000000         0
1385.83/1386.36	c       417       599    666.95    193.91      3.44   1000000         0
1387.64/1388.15	c       399       493    653.78    205.87      3.18   1000000         0
1389.43/1389.94	c       405       534    657.85    198.60      3.31   1000000         0
1391.23/1391.76	c       408       599    676.50    194.10      3.49   1000000         0
1393.03/1393.54	c       365       504    628.74    179.16      3.51   1000000         0
1394.83/1395.33	c       428       514    662.47    173.28      3.82   1000000         0
1396.63/1397.13	c       429       534    702.30    186.10      3.77   1000000         0
1398.43/1398.93	c       369       432    610.64    190.80      3.20   1000000         0
1400.23/1400.73	c       394       488    661.15    174.99      3.78   1000000         0
1402.04/1402.52	c       402       526    660.63    215.53      3.07   1000000         0
1403.83/1404.31	c       423       549    671.34    199.42      3.37   1000000         0
1405.63/1406.11	c       440       636    670.62    175.30      3.83   1000000         0
1407.33/1407.90	c       369       662    653.75    200.91      3.25   1000000         0
1409.23/1409.70	c       377       477    647.16    199.85      3.24   1000000         0
1410.93/1411.49	c       430       554    665.04    193.79      3.43   1000000         0
1412.72/1413.29	c       362       578    664.63    205.28      3.24   1000000         0
1414.52/1415.08	c       411       564    677.83    192.96      3.51   1000000         0
1416.33/1416.87	c       386       579    660.25    169.84      3.89   1000000         0
1418.12/1418.66	c       386       525    648.92    194.71      3.33   1000000         0
1419.92/1420.45	c       393       508    641.81    211.18      3.04   1000000         0
1421.73/1422.24	c       419       702    681.53    190.14      3.58   1000000         0
1423.52/1424.04	c       358       498    663.25    198.29      3.34   1000000         0
1425.32/1425.83	c       386       511    663.17    200.30      3.31   1000000         0
1427.12/1427.61	c       458       540    677.77    178.18      3.80   1000000         0
1428.92/1429.41	c       396       504    632.35    189.46      3.34   1000000         0
1430.72/1431.20	c       386       568    636.02    173.55      3.66   1000000         0
1432.52/1433.00	c       367       568    629.34    182.97      3.44   1000000         0
1434.32/1434.80	c       358       486    629.09    206.71      3.04   1000000         0
1436.12/1436.61	c       336       518    624.96    204.57      3.05   1000000         0
1437.92/1438.40	c       383       511    644.27    205.63      3.13   1000000         0
1439.62/1440.19	c       403       496    647.01    197.92      3.27   1000000         0
1441.41/1441.97	c       423       551    669.59    202.93      3.30   1000000         0
1443.22/1443.77	c       368       481    657.55    190.20      3.46   1000000         0
1445.01/1445.56	c       439       641    692.44    187.16      3.70   1000000         0
1446.81/1447.35	c       357       462    611.13    194.21      3.15   1000000         0
1448.61/1449.13	c       419       548    660.49    182.40      3.62   1000000         0
1450.42/1450.94	c       388       537    661.71    189.12      3.50   1000000         0
1452.21/1452.72	c       425       579    655.95    182.94      3.59   1000000         0
1454.01/1454.51	c       382       492    643.77    172.78      3.73   1000000         0
1455.82/1456.30	c       357       545    617.54    195.87      3.15   1000000         0
1457.61/1458.10	c       434       522    666.90    192.45      3.47   1000000         0
1459.31/1459.88	c       397       540    636.74    181.12      3.52   1000000         0
1461.11/1461.68	c       429       527    658.61    189.19      3.48   1000000         0
1462.91/1463.47	c       338       559    603.77    180.12      3.35   1000000         0
1464.72/1465.26	c       398       563    679.12    199.30      3.41   1000000         0
1466.51/1467.05	c       375       448    632.78    191.46      3.30   1000000         0
1468.31/1468.85	c       410       493    661.78    189.04      3.50   1000000         0
1470.11/1470.64	c       433       534    687.43    197.20      3.49   1000000         0
1471.91/1472.44	c       415       734    656.52    211.72      3.10   1000000         0
1473.71/1474.24	c       361       539    632.95    220.17      2.87   1000000         0
1475.50/1476.03	c       410       547    628.08    166.62      3.77   1000000         0
1477.30/1477.81	c       415       476    643.31    178.81      3.60   1000000         0
1479.10/1479.61	c       441       542    684.71    176.79      3.87   1000000         0
1480.80/1481.39	c       416       519    654.39    178.87      3.66   1000000         0
1482.60/1483.19	c       411       572    656.21    180.96      3.63   1000000         0
1484.41/1484.98	c       356       531    617.91    206.08      3.00   1000000         0
1486.20/1486.77	c       413       556    652.60    181.93      3.59   1000000         0
1488.00/1488.57	c       436       540    661.82    176.84      3.74   1000000         0
1489.80/1490.37	c       378       525    655.55    182.90      3.58   1000000         0
1491.60/1492.16	c       386       525    646.85    208.92      3.10   1000000         0
1493.40/1493.96	c       384       632    648.65    195.96      3.31   1000000         0
1495.20/1495.76	c       391       495    633.44    202.38      3.13   1000000         0
1497.00/1497.55	c       424       637    655.74    172.99      3.79   1000000         0
1498.81/1499.35	c       372       433    661.71    180.76      3.66   1000000         0
1500.60/1501.13	c       434       568    664.64    175.00      3.80   1000000         0
1502.40/1502.93	c       449       580    675.76    177.60      3.80   1000000         0
1504.20/1504.71	c       399       529    674.92    210.09      3.21   1000000         0
1506.00/1506.50	c       396       582    635.52    192.90      3.29   1000000         0
1507.79/1508.30	c       417       554    671.80    188.82      3.56   1000000         0
1509.59/1510.10	c       453       554    672.42    185.81      3.62   1000000         0
1511.29/1511.89	c       418       541    644.80    199.96      3.22   1000000         0
1513.10/1513.68	c       425       533    651.20    173.78      3.75   1000000         0
1514.89/1515.46	c       444       636    669.23    173.85      3.85   1000000         0
1516.69/1517.25	c       409       575    649.15    176.67      3.67   1000000         0
1518.50/1519.04	c       468       566    683.22    181.81      3.76   1000000         0
1520.29/1520.84	c       393       474    647.22    180.04      3.59   1000000         0
1522.09/1522.64	c       366       599    661.74    203.67      3.25   1000000         0
1523.89/1524.43	c       394       608    633.37    186.13      3.40   1000000         0
1525.69/1526.24	c       377       558    617.82    201.21      3.07   1000000         0
1527.49/1528.03	c       405       538    669.68    194.56      3.44   1000000         0
1529.29/1529.81	c       405       512    645.94    181.74      3.55   1000000         0
1531.08/1531.62	c       400       483    666.31    202.13      3.30   1000000         0
1532.89/1533.41	c       371       560    637.94    191.62      3.33   1000000         0
1534.68/1535.21	c       412       578    672.25    190.57      3.53   1000000         0
1536.48/1537.00	c       443       656    684.49    183.11      3.74   1000000         0
1538.18/1538.79	c       396       578    688.10    195.85      3.51   1000000         0
1539.98/1540.57	c       386       555    620.30    175.62      3.53   1000000         0
1541.78/1542.37	c       399       633    671.62    205.36      3.27   1000000         0
1543.58/1544.17	c       397       405    648.47    178.92      3.62   1000000         0
1545.39/1545.97	c       409       478    663.29    187.45      3.54   1000000         0
1547.19/1547.75	c       416       485    660.72    173.99      3.80   1000000         0
1548.99/1549.55	c       432       511    657.55    189.10      3.48   1000000         0
1550.79/1551.34	c       410       527    655.98    163.55      4.01   1000000         0
1552.59/1553.13	c       414       540    646.10    166.87      3.87   1000000         0
1554.39/1554.93	c       390       457    642.16    174.06      3.69   1000000         0
1556.18/1556.72	c       426       553    673.70    194.23      3.47   1000000         0
1557.98/1558.51	c       412       596    663.51    199.86      3.32   1000000         0
1559.78/1560.31	c       381       643    652.59    181.52      3.60   1000000         0
1561.58/1562.11	c       368       520    631.30    207.09      3.05   1000000         0
1563.28/1563.90	c       402       530    651.67    197.08      3.31   1000000         0
1565.08/1565.68	c       386       633    634.75    200.72      3.16   1000000         0
1566.89/1567.49	c       382       505    648.91    190.98      3.40   1000000         0
1568.68/1569.26	c       449       691    714.25    175.38      4.07   1000000         0
1570.48/1571.06	c       387       575    657.98    202.70      3.25   1000000         0
1572.28/1572.84	c       417       630    649.80    167.28      3.88   1000000         0
1574.08/1574.64	c       373       483    644.49    195.86      3.29   1000000         0
1575.88/1576.44	c       383       601    651.93    197.51      3.30   1000000         0
1577.68/1578.24	c       378       528    642.90    181.94      3.53   1000000         0
1579.48/1580.03	c       430       446    705.43    203.21      3.47   1000000         0
1581.28/1581.81	c       415       549    691.42    185.87      3.72   1000000         0
1583.08/1583.60	c       457       599    670.75    155.73      4.31   1000000         0
1584.78/1585.39	c       426       477    666.10    185.87      3.58   1000000         0
1586.57/1587.18	c       431       594    635.67    165.67      3.84   1000000         0
1588.37/1588.97	c       380       586    637.26    179.38      3.55   1000000         0
1590.17/1590.75	c       393       493    649.50    162.15      4.01   1000000         0
1591.97/1592.55	c       374       577    629.14    197.74      3.18   1000000         0
1593.77/1594.32	c       436       573    668.26    161.38      4.14   1000000         0
1595.58/1596.11	c       389       508    619.53    191.92      3.23   1000000         0
1597.37/1597.91	c       370       512    628.92    209.29      3.01   1000000         0
1599.17/1599.70	c       455       608    696.20    194.26      3.58   1000000         0
1600.87/1601.49	c       456       524    667.66    167.90      3.98   1000000         0
1602.67/1603.27	c       411       603    655.31    185.51      3.53   1000000         0
1604.47/1605.06	c       453       580    687.65    188.09      3.66   1000000         0
1606.27/1606.86	c       446       568    699.62    195.90      3.57   1000000         0
1608.07/1608.66	c       353       462    641.51    187.33      3.42   1000000         0
1609.88/1610.46	c       399       595    617.86    178.42      3.46   1000000         0
1611.67/1612.24	c       401       560    664.11    174.32      3.81   1000000         0
1613.47/1614.04	c       426       573    664.27    171.77      3.87   1000000         0
1615.27/1615.84	c       444       613    666.21    197.64      3.37   1000000         0
1617.07/1617.64	c       423       484    672.64    213.73      3.15   1000000         0
1618.87/1619.44	c       394       631    659.25    183.97      3.58   1000000         0
1620.67/1621.23	c       412       493    661.27    178.06      3.71   1000000         0
1622.47/1623.03	c       365       544    673.08    193.58      3.48   1000000         0
1624.27/1624.83	c       413       603    669.67    207.63      3.23   1000000         0
1626.06/1626.63	c       422       591    652.81    197.85      3.30   1000000         0
1627.86/1628.42	c       407       588    660.62    165.90      3.98   1000000         0
1629.67/1630.21	c       440       611    685.12    180.15      3.80   1000000         0
1631.46/1632.00	c       450       642    676.53    176.08      3.84   1000000         0
1633.16/1633.79	c       403       496    635.12    206.66      3.07   1000000         0
1634.96/1635.59	c       407       443    653.30    188.39      3.47   1000000         0
1636.76/1637.39	c       353       590    646.00    194.70      3.32   1000000         0
1638.56/1639.19	c       379       609    637.70    210.43      3.03   1000000         0
1640.36/1640.98	c       396       609    652.49    199.77      3.27   1000000         0
1642.16/1642.78	c       395       573    678.10    208.14      3.26   1000000         0
1643.96/1644.57	c       413       599    659.22    185.24      3.56   1000000         0
1645.76/1646.37	c       420       537    674.04    193.34      3.49   1000000         0
1647.56/1648.17	c       407       525    646.10    184.92      3.49   1000000         0
1649.36/1649.98	c       369       551    623.56    213.46      2.92   1000000         0
1651.15/1651.77	c       393       502    649.29    206.90      3.14   1000000         0
1652.95/1653.57	c       455       530    680.96    174.61      3.90   1000000         0
1654.75/1655.38	c       408       615    638.89    202.24      3.16   1000000         0
1656.55/1657.17	c       387       608    640.03    191.82      3.34   1000000         0
1658.35/1658.95	c       402       501    649.98    171.95      3.78   1000000         0
1660.15/1660.74	c       410       634    664.87    183.60      3.62   1000000         0
1661.95/1662.53	c       364       500    652.09    194.22      3.36   1000000         0
1663.76/1664.33	c       384       535    645.85    197.04      3.28   1000000         0
1665.55/1666.12	c       437       587    665.45    179.56      3.71   1000000         0
1667.35/1667.92	c       391       524    633.95    226.19      2.80   1000000         0
1669.16/1669.72	c       370       548    655.02    183.89      3.56   1000000         0
1670.95/1671.52	c       389       573    664.74    195.50      3.40   1000000         0
1672.75/1673.31	c       344       525    610.51    196.36      3.11   1000000         0
1674.55/1675.11	c       410       560    661.00    205.06      3.22   1000000         0
1676.25/1676.89	c       367       571    620.25    194.76      3.18   1000000         0
1678.05/1678.68	c       421       552    657.70    205.21      3.21   1000000         0
1679.84/1680.48	c       413       579    673.59    199.36      3.38   1000000         0
1681.64/1682.28	c       384       581    639.89    193.55      3.31   1000000         0
1683.45/1684.08	c       391       520    667.33    200.99      3.32   1000000         0
1685.24/1685.88	c       381       581    648.45    194.60      3.33   1000000         0
1687.04/1687.68	c       403       490    649.76    184.43      3.52   1000000         0
1688.84/1689.48	c       402       583    657.10    190.09      3.46   1000000         0
1690.64/1691.27	c       425       552    673.79    178.35      3.78   1000000         0
1692.44/1693.06	c       388       550    633.59    204.04      3.11   1000000         0
1694.24/1694.85	c       405       546    652.33    178.69      3.65   1000000         0
1696.04/1696.65	c       364       517    642.21    219.00      2.93   1000000         0
1697.84/1698.44	c       445       620    660.83    187.55      3.52   1000000         0
1699.63/1700.22	c       452       563    675.95    181.22      3.73   1000000         0
1701.43/1702.02	c       416       545    654.05    180.05      3.63   1000000         0
1703.24/1703.82	c       382       530    649.56    189.50      3.43   1000000         0
1705.03/1705.62	c       401       509    649.68    210.61      3.08   1000000         0
1706.83/1707.40	c       404       523    648.46    190.95      3.40   1000000         0
1708.53/1709.19	c       420       510    645.17    180.13      3.58   1000000         0
1710.33/1710.98	c       428       577    652.22    189.72      3.44   1000000         0
1712.14/1712.77	c       359       501    659.29    187.58      3.51   1000000         0
1713.93/1714.58	c       418       589    646.01    182.40      3.54   1000000         0
1715.73/1716.36	c       384       571    627.61    171.28      3.66   1000000         0
1717.54/1718.16	c       353       404    603.57    193.03      3.13   1000000         0
1719.33/1719.97	c       370       509    630.85    195.23      3.23   1000000         0
1721.13/1721.76	c       440       528    654.99    191.88      3.41   1000000         0
1722.93/1723.56	c       437       538    675.25    196.12      3.44   1000000         0
1724.73/1725.36	c       415       603    663.41    179.83      3.69   1000000         0
1726.53/1727.13	c       392       629    651.13    200.28      3.25   1000000         0
1728.33/1728.93	c       437       604    655.44    167.68      3.91   1000000         0
1730.12/1730.73	c       382       548    633.03    211.73      2.99   1000000         0
1731.93/1732.53	c       384       529    684.65    189.84      3.61   1000000         0
1733.72/1734.31	c       404       553    665.01    193.78      3.43   1000000         0
1735.52/1736.10	c       404       624    663.43    177.66      3.73   1000000         0
1737.33/1737.91	c       374       512    650.85    195.40      3.33   1000000         0
1739.02/1739.69	c       422       589    666.77    176.70      3.77   1000000         0
1740.82/1741.47	c       389       575    624.87    162.19      3.85   1000000         0
1742.62/1743.26	c       353       536    628.70    188.69      3.33   1000000         0
1744.42/1745.06	c       419       618    672.67    187.49      3.59   1000000         0
1746.23/1746.85	c       389       608    653.07    185.63      3.52   1000000         0
1748.02/1748.65	c       368       584    645.10    186.71      3.46   1000000         0
1749.82/1750.43	c       375       508    613.32    176.02      3.48   1000000         0
1751.63/1752.23	c       438       544    665.83    180.71      3.68   1000000         0
1753.42/1754.02	c       423       527    648.71    187.21      3.47   1000000         0
1755.22/1755.82	c       402       529    642.04    204.08      3.15   1000000         0
1757.01/1757.62	c       419       570    682.00    193.43      3.53   1000000         0
1758.81/1759.42	c       431       540    655.45    186.06      3.52   1000000         0
1760.61/1761.21	c       438       564    674.62    168.24      4.01   1000000         0
1762.41/1763.00	c       398       594    647.54    192.23      3.37   1000000         0
1764.21/1764.80	c       392       555    647.61    211.56      3.06   1000000         0
1765.92/1766.59	c       406       527    678.80    200.40      3.39   1000000         0
1767.71/1768.38	c       411       475    633.72    189.44      3.35   1000000         0
1769.51/1770.17	c       451       625    686.92    196.41      3.50   1000000         0
1771.31/1771.97	c       406       533    656.16    193.77      3.39   1000000         0
1773.11/1773.76	c       395       548    643.80    197.28      3.26   1000000         0
1774.91/1775.54	c       395       515    630.45    197.65      3.19   1000000         0
1776.71/1777.34	c       398       548    649.71    210.13      3.09   1000000         0
1778.51/1779.14	c       404       599    654.96    184.45      3.55   1000000         0
1780.32/1780.93	c       391       618    667.34    188.78      3.54   1000000         0
1782.11/1782.74	c       339       450    644.44    213.28      3.02   1000000         0
1783.91/1784.54	c       396       544    659.48    199.24      3.31   1000000         0
1785.71/1786.32	c       416       533    653.94    174.59      3.75   1000000         0
1787.51/1788.11	c       389       550    652.36    207.75      3.14   1000000         0
1789.31/1789.92	c       414       573    649.48    176.95      3.67   1000000         0
1791.11/1791.71	c       352       515    659.32    209.24      3.15   1000000         0
1792.91/1793.51	c       383       557    626.34    178.66      3.51   1000000         0
1794.61/1795.29	c       389       496    627.33    184.23      3.41   1000000         0
1796.50/1797.10	c       384       604    661.80    181.81      3.64   1000000         0
1798.30/1798.90	c       369       482    661.44    205.15      3.22   1000000         0
1800.02/1800.61	HOME/run: line 2:  9855 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-2669865-1276610320/watcher-2669865-1276610320 -o /tmp/evaluation-result-2669865-1276610320/solver-2669865-1276610320 -C 1800 -W 2000 -M 1800 run HOME/instance-2669865-1276610320.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 9854
/proc/meminfo: memFree=1841148/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0

[startup+0.049755 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9854
/proc/meminfo: memFree=1841148/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100759 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9854
/proc/meminfo: memFree=1841148/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300777 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9854
/proc/meminfo: memFree=1841148/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700813 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9854
/proc/meminfo: memFree=1841148/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50089 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9856
/proc/meminfo: memFree=1836172/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1.48
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1262 0 0 0 148 0 0 0 25 0 1 0 2323865 41422848 1192 1992294400 134512640 135071400 4292778640 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1192 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10103 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9856
/proc/meminfo: memFree=1835924/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=3.08
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 308 0 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30133 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9858
/proc/meminfo: memFree=1835800/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=6.28
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 628 0 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9858
/proc/meminfo: memFree=1835676/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=12.68
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 1268 0 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9858
/proc/meminfo: memFree=1835676/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=25.47
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 2547 0 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134527015 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 49152

[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9858
/proc/meminfo: memFree=1835676/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=51.06
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 5106 0 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9860
/proc/meminfo: memFree=1835428/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=102.25
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 10225 0 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134519712 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9871
/proc/meminfo: memFree=1834436/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=162.22
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 16222 0 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 49152

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9871
/proc/meminfo: memFree=1834436/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=222.2
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 22219 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526903 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9873
/proc/meminfo: memFree=1834436/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=282.18
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 28217 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9875
/proc/meminfo: memFree=1834436/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=342.16
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 34215 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9877
/proc/meminfo: memFree=1834436/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=402.14
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 40213 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=9855] ppid=9854 vsize=40452 CPUtime=1061.94
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 106193 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9895
/proc/meminfo: memFree=1833072/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1121.92
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 112191 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9897
/proc/meminfo: memFree=1832948/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1181.9
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 118189 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526658 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9899
/proc/meminfo: memFree=1832576/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1241.88
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 124187 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134547324 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9901
/proc/meminfo: memFree=1832452/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1301.87
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 130186 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134537188 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9903
/proc/meminfo: memFree=1832328/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1361.84
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 136183 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9903
/proc/meminfo: memFree=1832204/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1421.83
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 142182 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134536780 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9905
/proc/meminfo: memFree=1832080/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1481.8
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 148179 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9907
/proc/meminfo: memFree=1831956/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1541.78
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 154177 1 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9909
/proc/meminfo: memFree=1831832/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1601.77
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 160175 2 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9911
/proc/meminfo: memFree=1831708/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1661.75
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 166173 2 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9911
/proc/meminfo: memFree=1831584/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1721.73
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 172171 2 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9913
/proc/meminfo: memFree=1831336/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1781.71
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 178169 2 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.71
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 9913
/proc/meminfo: memFree=1831336/2059040 swapFree=4187148/4192956
[pid=9854] ppid=9852 vsize=8700 CPUtime=0
/proc/9854/stat : 9854 (run) S 9852 9854 9529 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2323865 8908800 244 1992294400 4194304 4922060 140736048906656 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9854/statm: 2175 244 204 178 0 68 0
[pid=9855] ppid=9854 vsize=40452 CPUtime=1800.02
/proc/9855/stat : 9855 (PB-wave) R 9854 9854 9529 0 -1 4202496 1270 0 0 0 180000 2 0 0 25 0 1 0 2323865 41422848 1200 1992294400 134512640 135071400 4292778640 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9855/statm: 10113 1200 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1800
CPU system time (s): 0.023996
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.08253 second user time and 8.47771 second system time

The end

Launcher Data 

Begin job on node048 at 2010-06-15 15:58:40
IDJOB=2669865
IDBENCH=1459
IDSOLVER=1171
FILE ID=node048/2669865-1276610320
PBS_JOBID= 11172282
Free space on /tmp= 62456 MiB

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

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

MD5SUM BENCH= 4d33d3f14b2660aefc9b3a640617db34
RANDOM SEED=826889404

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1841668 kB
Buffers:         20452 kB
Cached:          80120 kB
SwapCached:        280 kB
Active:          62796 kB
Inactive:        91676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841668 kB
SwapTotal:     4192956 kB
SwapFree:      4187148 kB
Dirty:            1584 kB
Writeback:          40 kB
AnonPages:       53608 kB
Mapped:          15456 kB
Slab:            41036 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183216 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62452 MiB
End job on node048 at 2010-06-15 16:28:40