Trace number 2685280

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-wave alpha 2? (TO) 1800.09 1800.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9042_5-sat.opb
MD5SUM8048d3650a4dec13958e80d3e959e2ad
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.335948
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19292
Total number of constraints66786
Number of constraints which are clauses66366
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints420
Minimum length of a constraint1
Maximum length of a constraint74
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 422
Number of bits of the biggest sum of numbers9
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.16	c PB-wave - v2
0.00/0.16	c command line = ./PB-wave
0.00/0.16	c seed = 11409657
0.00/0.16	c cutoff = 1000000
0.00/0.16	c tries = 1000000
0.00/0.16	c heuristic = c best, noise 50 / 100
0.00/0.16	#var 19292 #con 66786
0.00/0.16	mode is SAT
0.00/0.16	c tail starts after flip = 57876
0.00/0.16	c numatom = 19292, numclause = 66786, numliterals = 169703
0.00/0.16	c wff read in
0.00/0.16	c 
0.00/0.16	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.16	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.16	c       this      this      this      this      this      this   success   success       until         std
0.00/0.16	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.16	c
1.88/1.94	c       484       900    726.60     78.91      9.21   1000000         0
3.68/3.73	c       510       857    744.05     98.43      7.56   1000000         0
5.49/5.51	c       528       778    739.42     83.62      8.84   1000000         0
7.18/7.29	c       499       673    725.74     89.12      8.14   1000000         0
8.98/9.08	c       505       765    752.41     89.03      8.45   1000000         0
10.78/10.87	c       537       629    747.62     90.98      8.22   1000000         0
12.58/12.65	c       481       794    743.00     87.25      8.52   1000000         0
14.38/14.44	c       491       776    744.38     88.11      8.45   1000000         0
16.18/16.23	c       535       729    746.78     74.94      9.97   1000000         0
17.98/18.01	c       532       773    744.97     88.05      8.46   1000000         0
19.69/19.80	c       509       714    740.34     89.41      8.28   1000000         0
21.48/21.59	c       461       728    754.83     94.38      8.00   1000000         0
23.28/23.38	c       497       748    743.70     86.09      8.64   1000000         0
25.08/25.17	c       507       709    754.21     76.19      9.90   1000000         0
26.88/26.96	c       529       654    752.88    108.47      6.94   1000000         0
28.68/28.77	c       519       771    762.33     79.74      9.56   1000000         0
30.48/30.56	c       510       751    743.90     98.80      7.53   1000000         0
32.28/32.34	c       464       725    738.77     87.00      8.49   1000000         0
34.08/34.12	c       500       830    743.10     95.67      7.77   1000000         0
35.87/35.91	c       519       735    752.23     85.38      8.81   1000000         0
37.57/37.68	c       521       780    713.65     84.70      8.43   1000000         0
39.37/39.48	c       524       966    765.94     98.81      7.75   1000000         0
41.17/41.26	c       512       695    728.43     76.97      9.46   1000000         0
42.97/43.04	c       470       675    734.88    104.69      7.02   1000000         0
44.77/44.81	c       504       704    730.39     85.24      8.57   1000000         0
46.57/46.61	c       523       814    758.00     86.20      8.79   1000000         0
48.38/48.41	c       517       700    746.06    108.34      6.89   1000000         0
50.17/50.20	c       506       803    744.82     83.55      8.91   1000000         0
51.87/51.99	c       513       675    748.10     88.41      8.46   1000000         0
53.67/53.77	c       487       694    734.57    102.13      7.19   1000000         0
55.47/55.57	c       511       589    757.61     95.71      7.92   1000000         0
57.27/57.35	c       507       766    743.00     92.96      7.99   1000000         0
59.07/59.14	c       502       746    754.91     90.29      8.36   1000000         0
60.87/60.93	c       498       662    757.14     84.56      8.95   1000000         0
62.67/62.72	c       506       626    740.33     88.21      8.39   1000000         0
64.47/64.51	c       557       838    766.49     88.43      8.67   1000000         0
66.16/66.29	c       502       572    730.78     81.51      8.97   1000000         0
67.96/68.07	c       514       715    741.75     79.00      9.39   1000000         0
69.77/69.85	c       511       858    745.60     90.97      8.20   1000000         0
71.57/71.64	c       501       787    753.16    120.08      6.27   1000000         0
73.37/73.43	c       469       768    742.49    110.32      6.73   1000000         0
75.17/75.22	c       469       736    746.67     87.36      8.55   1000000         0
76.98/77.01	c       502       688    754.42    102.07      7.39   1000000         0
78.77/78.81	c       526       693    754.25    103.21      7.31   1000000         0
80.57/80.60	c       508       706    734.09     90.99      8.07   1000000         0
82.27/82.38	c       506       663    751.51     92.92      8.09   1000000         0
84.07/84.17	c       454       789    732.90     90.41      8.11   1000000         0
85.87/85.95	c       451       820    741.95     88.63      8.37   1000000         0
87.67/87.75	c       497       734    750.22     87.34      8.59   1000000         0
89.47/89.53	c       506       643    737.73     85.79      8.60   1000000         0
91.27/91.32	c       497       686    750.13     92.32      8.13   1000000         0
93.06/93.10	c       524       656    742.46     79.43      9.35   1000000         0
94.76/94.89	c       477       584    737.33     88.58      8.32   1000000         0
96.56/96.67	c       537       796    746.84     90.42      8.26   1000000         0
98.36/98.46	c       501       728    757.14     99.54      7.61   1000000         0
100.16/100.25	c       502       739    734.28    101.02      7.27   1000000         0
101.96/102.04	c       532       894    751.39     99.66      7.54   1000000         0
103.76/103.82	c       524       693    745.69     90.12      8.27   1000000         0
105.57/105.62	c       535       716    743.28     87.88      8.46   1000000         0
107.36/107.41	c       537       662    751.67     85.70      8.77   1000000         0
109.06/109.19	c       510       762    737.47     94.17      7.83   1000000         0
110.86/110.98	c       458       698    742.93     98.29      7.56   1000000         0
112.66/112.77	c       502       667    745.19     83.93      8.88   1000000         0
114.46/114.55	c       501       742    729.19     83.36      8.75   1000000         0
116.26/116.33	c       522       614    737.48     92.28      7.99   1000000         0
118.06/118.11	c       521       732    729.76    100.83      7.24   1000000         0
119.76/119.89	c       431       596    739.12    107.13      6.90   1000000         0
121.56/121.68	c       503       768    759.62     86.72      8.76   1000000         0
123.36/123.46	c       505       775    732.16     87.01      8.41   1000000         0
125.16/125.25	c       520       785    746.42    102.24      7.30   1000000         0
126.95/127.04	c       503       758    750.09     84.65      8.86   1000000         0
128.75/128.83	c       501       766    745.50     93.14      8.00   1000000         0
130.55/130.61	c       489       807    730.55     90.96      8.03   1000000         0
132.35/132.40	c       483       745    753.37     89.84      8.39   1000000         0
134.06/134.19	c       508       691    742.07     89.85      8.26   1000000         0
135.85/135.99	c       507       713    747.81     94.76      7.89   1000000         0
137.65/137.77	c       510       730    745.09     99.83      7.46   1000000         0
139.45/139.56	c       501       709    734.74     99.63      7.37   1000000         0
141.25/141.34	c       511       804    733.64     97.16      7.55   1000000         0
143.05/143.13	c       517       692    747.03     84.40      8.85   1000000         0
144.85/144.91	c       520       783    738.64     90.86      8.13   1000000         0
146.55/146.68	c       522       744    712.42     79.23      8.99   1000000         0
148.36/148.47	c       527       696    763.89     91.22      8.37   1000000         0
150.15/150.26	c       505       745    734.99     83.87      8.76   1000000         0
151.95/152.05	c       522       693    757.51     97.66      7.76   1000000         0
153.75/153.83	c       526       792    753.43    104.14      7.23   1000000         0
155.55/155.62	c       476       688    732.41     87.86      8.34   1000000         0
157.35/157.40	c       478       813    739.26    109.51      6.75   1000000         0
159.04/159.19	c       505       763    726.66     97.50      7.45   1000000         0
160.84/160.98	c       508       725    753.84     87.31      8.63   1000000         0
162.65/162.77	c       534       722    757.48     88.76      8.53   1000000         0
164.44/164.56	c       499       696    748.21    100.52      7.44   1000000         0
166.24/166.36	c       524       809    749.28    101.98      7.35   1000000         0
168.04/168.15	c       524       783    744.42     95.73      7.78   1000000         0
169.84/169.93	c       506       801    745.08     89.29      8.34   1000000         0
171.64/171.71	c       505       772    725.69     88.94      8.16   1000000         0
173.34/173.49	c       518       805    740.96     90.60      8.18   1000000         0
175.14/175.29	c       501       678    760.19    103.84      7.32   1000000         0
176.95/177.07	c       472       781    736.64     77.78      9.47   1000000         0
178.74/178.85	c       479       649    741.30     95.35      7.77   1000000         0
180.54/180.63	c       499       775    742.24     77.90      9.53   1000000         0
182.34/182.41	c       506       780    738.23     93.10      7.93   1000000         0
184.14/184.20	c       535       703    756.44     94.70      7.99   1000000         0
185.84/185.99	c       512       795    747.19     83.91      8.90   1000000         0
187.63/187.77	c       442       736    729.04     98.39      7.41   1000000         0
189.43/189.56	c       510       771    751.33     94.60      7.94   1000000         0
191.24/191.34	c       455       653    742.45     91.11      8.15   1000000         0
193.03/193.12	c       505       813    729.70     88.57      8.24   1000000         0
194.73/194.90	c       503       727    728.41     85.79      8.49   1000000         0
196.53/196.68	c       547       746    745.64     89.13      8.37   1000000         0
198.33/198.46	c       509       802    743.10     83.00      8.95   1000000         0
200.14/200.25	c       513       642    758.63     92.51      8.20   1000000         0
201.93/202.03	c       503       689    728.29     92.80      7.85   1000000         0
203.73/203.81	c       520       723    727.67     80.17      9.08   1000000         0
205.54/205.60	c       506       774    750.12     98.29      7.63   1000000         0
207.23/207.39	c       456       844    742.64    107.65      6.90   1000000         0
209.03/209.18	c       511       793    752.63     92.00      8.18   1000000         0
210.83/210.97	c       530       674    751.20     89.85      8.36   1000000         0
212.63/212.75	c       500       754    734.25     95.61      7.68   1000000         0
214.43/214.53	c       472       726    730.87     83.14      8.79   1000000         0
216.23/216.31	c       523       831    748.57     83.22      8.99   1000000         0
218.03/218.11	c       508       729    749.51     99.21      7.56   1000000         0
219.73/219.89	c       539       852    727.48     90.31      8.06   1000000         0
221.52/221.67	c       498       692    738.23     88.18      8.37   1000000         0
223.32/223.46	c       480       802    724.36    100.11      7.24   1000000         0
225.12/225.25	c       541       751    742.89     97.79      7.60   1000000         0
226.92/227.03	c       468       735    748.48     97.67      7.66   1000000         0
228.73/228.82	c       507       737    737.44     81.36      9.06   1000000         0
230.42/230.60	c       473       845    724.36     95.02      7.62   1000000         0
232.22/232.38	c       495       666    747.74     99.42      7.52   1000000         0
234.02/234.17	c       451       749    742.04     89.66      8.28   1000000         0
235.82/235.95	c       523       689    747.56     84.82      8.81   1000000         0
237.62/237.74	c       507       759    734.61     94.06      7.81   1000000         0
239.42/239.52	c       532       562    738.56    100.87      7.32   1000000         0
241.22/241.30	c       515       706    740.61     94.49      7.84   1000000         0
242.93/243.09	c       474       763    736.01     92.49      7.96   1000000         0
244.72/244.87	c       487       704    719.24     84.05      8.56   1000000         0
246.52/246.66	c       521       753    744.29     82.33      9.04   1000000         0
248.32/248.44	c       506       693    733.01     88.88      8.25   1000000         0
250.11/250.23	c       530       761    752.20     94.67      7.95   1000000         0
251.91/252.02	c       522       775    752.08     89.68      8.39   1000000         0
253.71/253.81	c       486       838    737.11     99.20      7.43   1000000         0
255.41/255.59	c       495       709    739.18     99.77      7.41   1000000         0
257.22/257.37	c       516       689    739.53     82.33      8.98   1000000         0
259.01/259.15	c       530       750    742.39     68.40     10.85   1000000         0
260.81/260.94	c       514       763    749.02     95.99      7.80   1000000         0
262.61/262.73	c       505       860    753.05     95.23      7.91   1000000         0
264.41/264.51	c       506       727    739.50     87.98      8.40   1000000         0
266.12/266.29	c       518       746    728.10     88.29      8.25   1000000         0
267.91/268.08	c       534       645    740.83     75.72      9.78   1000000         0
269.71/269.86	c       437       805    740.33     94.09      7.87   1000000         0
271.52/271.64	c       503       764    719.43     78.78      9.13   1000000         0
273.31/273.42	c       517       766    747.39     82.60      9.05   1000000         0
275.11/275.20	c       466       674    731.10     92.28      7.92   1000000         0
276.81/276.98	c       538       723    733.83     72.35     10.14   1000000         0
278.61/278.76	c       527       662    727.12     77.88      9.34   1000000         0
280.41/280.54	c       477       698    728.54     80.82      9.01   1000000         0
282.21/282.32	c       466       675    745.76     89.82      8.30   1000000         0
284.01/284.10	c       548       739    738.29     90.37      8.17   1000000         0
285.71/285.88	c       537       738    738.05     95.38      7.74   1000000         0
287.50/287.67	c       506       820    754.18     82.89      9.10   1000000         0
289.30/289.45	c       526       610    744.49     86.74      8.58   1000000         0
291.10/291.24	c       496       813    746.32     90.70      8.23   1000000         0
292.90/293.02	c       458       743    730.35     93.02      7.85   1000000         0
294.71/294.82	c       527       664    781.82     94.95      8.23   1000000         0
296.50/296.60	c       506       739    736.48     98.39      7.48   1000000         0
298.20/298.39	c       516       691    752.46     83.07      9.06   1000000         0
300.00/300.17	c       484       801    722.86     91.51      7.90   1000000         0
301.80/301.94	c       512       664    731.32     73.87      9.90   1000000         0
303.60/303.72	c       530       765    738.32     81.52      9.06   1000000         0
305.40/305.50	c       520       676    738.81     93.01      7.94   1000000         0
307.10/307.28	c       509       741    730.78     88.19      8.29   1000000         0
308.90/309.06	c       522       710    726.87     84.96      8.56   1000000         0
310.70/310.84	c       545       690    742.09     84.60      8.77   1000000         0
312.50/312.62	c       478       756    714.88     94.88      7.53   1000000         0
314.30/314.41	c       486       742    742.18     94.54      7.85   1000000         0
315.99/316.19	c       497       582    735.75     96.80      7.60   1000000         0
317.80/317.97	c       519       773    731.69     91.82      7.97   1000000         0
319.59/319.75	c       497       711    717.79     88.29      8.13   1000000         0
321.39/321.55	c       536       801    769.39     95.64      8.04   1000000         0
323.20/323.34	c       508       756    751.06     92.30      8.14   1000000         0
324.99/325.14	c       510       720    758.43     86.61      8.76   1000000         0
326.79/326.92	c       487       662    717.69     92.58      7.75   1000000         0
328.59/328.72	c       446       761    746.92    103.45      7.22   1000000         0
330.39/330.50	c       499       846    729.45     82.52      8.84   1000000         0
332.10/332.28	c       434       746    747.94     94.04      7.95   1000000         0
333.89/334.07	c       417       633    736.17    101.56      7.25   1000000         0
335.69/335.86	c       468       848    743.65     85.40      8.71   1000000         0
337.50/337.64	c       505       821    738.08     90.01      8.20   1000000         0
339.29/339.42	c       497       625    735.57     82.25      8.94   1000000         0
341.09/341.21	c       522       567    749.06     95.64      7.83   1000000         0
342.89/343.00	c       476       863    741.20     89.40      8.29   1000000         0
344.59/344.78	c       538       673    742.80     86.37      8.60   1000000         0
346.39/346.56	c       495       832    746.66    101.30      7.37   1000000         0
348.19/348.35	c       517       717    751.85     95.93      7.84   1000000         0
349.98/350.14	c       518       780    746.80     91.64      8.15   1000000         0
351.79/351.92	c       494       615    746.85     92.57      8.07   1000000         0
353.58/353.71	c       506       667    741.49     90.07      8.23   1000000         0
355.28/355.48	c       504       613    726.47     95.53      7.60   1000000         0
357.08/357.27	c       486       782    724.08     96.63      7.49   1000000         0
358.88/359.06	c       531       692    745.25     86.50      8.62   1000000         0
360.69/360.85	c       494       770    747.51     91.78      8.14   1000000         0
362.48/362.63	c       487       655    745.06     99.43      7.49   1000000         0
364.28/364.42	c       512       734    738.77     93.45      7.91   1000000         0
365.98/366.19	c       486       687    717.85     78.15      9.19   1000000         0
367.78/367.98	c       541       723    747.89     86.38      8.66   1000000         0
369.58/369.77	c       531       762    739.89     76.30      9.70   1000000         0
371.38/371.56	c       485       837    745.43     94.09      7.92   1000000         0
373.18/373.35	c       543       785    762.62     78.79      9.68   1000000         0
374.98/375.14	c       519       748    740.97     92.68      7.99   1000000         0
376.78/376.92	c       496       673    745.01     85.93      8.67   1000000         0
378.58/378.71	c       468       761    738.70     83.95      8.80   1000000         0
380.28/380.50	c       539       631    740.46     92.39      8.01   1000000         0
382.07/382.29	c       520       737    761.25     99.68      7.64   1000000         0
383.87/384.08	c       554       750    746.85     96.26      7.76   1000000         0
385.67/385.86	c       497       679    736.79     89.88      8.20   1000000         0
387.47/387.64	c       523       669    748.35    100.97      7.41   1000000         0
389.28/389.42	c       520       689    732.43     87.40      8.38   1000000         0
391.07/391.22	c       521       721    763.85     93.92      8.13   1000000         0
392.87/393.00	c       531       674    729.74     83.09      8.78   1000000         0
394.57/394.78	c       434       760    725.72     92.18      7.87   1000000         0
396.37/396.57	c       501       634    755.82     89.71      8.42   1000000         0
398.17/398.35	c       491       693    734.72     88.37      8.31   1000000         0
399.97/400.14	c       498       699    747.28     93.64      7.98   1000000         0
401.77/401.92	c       515       759    732.97     94.01      7.80   1000000         0
403.58/403.72	c       525       786    755.47     97.56      7.74   1000000         0
405.27/405.49	c       515       716    724.84     83.96      8.63   1000000         0
407.07/407.29	c       517       658    748.34     98.37      7.61   1000000         0
408.87/409.07	c       479       958    727.78    109.20      6.66   1000000         0
410.67/410.85	c       529       761    737.78     84.60      8.72   1000000         0
412.47/412.63	c       475       710    748.51     91.62      8.17   1000000         0
414.27/414.42	c       522       741    737.80     82.77      8.91   1000000         0
415.96/416.19	c       515       782    723.88     97.43      7.43   1000000         0
417.77/417.98	c       495       819    747.05     88.87      8.41   1000000         0
419.56/419.77	c       494       701    740.52     93.86      7.89   1000000         0
421.36/421.56	c       499       703    747.38     84.37      8.86   1000000         0
423.16/423.34	c       500       721    743.31     91.74      8.10   1000000         0
424.96/425.12	c       534       697    741.68     85.10      8.72   1000000         0
426.76/426.90	c       495       668    735.21     84.04      8.75   1000000         0
428.46/428.67	c       534       626    718.11     75.63      9.50   1000000         0
430.26/430.46	c       530       741    756.91     91.77      8.25   1000000         0
432.07/432.24	c       471       710    739.30    101.58      7.28   1000000         0
433.86/434.02	c       474       773    736.94     93.64      7.87   1000000         0
435.66/435.81	c       521       717    746.83     92.22      8.10   1000000         0
437.36/437.59	c       519       703    729.06     97.21      7.50   1000000         0
439.16/439.38	c       539       766    757.13     96.45      7.85   1000000         0
440.97/441.17	c       533       872    745.26     84.08      8.86   1000000         0
442.76/442.95	c       497       851    740.07     99.67      7.43   1000000         0
444.56/444.73	c       495       769    739.91     91.10      8.12   1000000         0
446.36/446.53	c       512       671    758.27     93.08      8.15   1000000         0
448.15/448.32	c       513       723    752.46     89.37      8.42   1000000         0
449.95/450.11	c       541       776    750.23     99.36      7.55   1000000         0
451.65/451.89	c       520       671    729.98     79.63      9.17   1000000         0
453.45/453.68	c       517       684    734.06     91.73      8.00   1000000         0
455.26/455.46	c       526       691    736.87     81.42      9.05   1000000         0
457.05/457.25	c       518       759    763.03     80.34      9.50   1000000         0
458.85/459.04	c       525       697    754.42     99.32      7.60   1000000         0
460.66/460.82	c       501       752    737.88     94.88      7.78   1000000         0
462.45/462.60	c       554       650    746.44     80.44      9.28   1000000         0
464.15/464.38	c       500       660    739.64     92.76      7.97   1000000         0
465.95/466.16	c       505       656    734.77     96.96      7.58   1000000         0
467.75/467.96	c       547       773    749.08     90.51      8.28   1000000         0
469.56/469.74	c       473       747    734.38     83.23      8.82   1000000         0
471.35/471.52	c       475       675    743.28     83.56      8.89   1000000         0
473.15/473.32	c       430       818    746.62     95.32      7.83   1000000         0
474.95/475.11	c       516       684    738.69    101.79      7.26   1000000         0
476.75/476.90	c       487       725    749.00    100.76      7.43   1000000         0
478.45/478.69	c       551       847    748.78     77.46      9.67   1000000         0
480.25/480.48	c       494       597    751.61     91.29      8.23   1000000         0
482.05/482.26	c       475       511    726.80     83.04      8.75   1000000         0
483.85/484.05	c       524       742    741.63    103.10      7.19   1000000         0
485.65/485.84	c       517       856    754.17    104.51      7.22   1000000         0
487.44/487.62	c       492       740    737.34     94.67      7.79   1000000         0
489.25/489.41	c       518       713    727.88     91.68      7.94   1000000         0
490.94/491.18	c       433       761    715.50     86.75      8.25   1000000         0
492.74/492.97	c       512       733    740.06    101.56      7.29   1000000         0
494.54/494.75	c       503       734    731.52     85.49      8.56   1000000         0
496.34/496.55	c       481       792    761.85    111.91      6.81   1000000         0
498.15/498.34	c       558       651    754.76     96.43      7.83   1000000         0
499.94/500.12	c       522       766    745.85     88.69      8.41   1000000         0
501.74/501.91	c       539       760    762.67     88.47      8.62   1000000         0
503.54/503.70	c       529       779    749.89     86.40      8.68   1000000         0
505.24/505.49	c       504       737    762.18     87.85      8.68   1000000         0
507.04/507.28	c       542       737    753.68     78.88      9.55   1000000         0
508.84/509.06	c       522       686    714.84     87.83      8.14   1000000         0
510.64/510.85	c       490       773    742.21     96.47      7.69   1000000         0
512.44/512.64	c       524       727    742.16    103.84      7.15   1000000         0
514.23/514.43	c       521       685    753.60     99.81      7.55   1000000         0
516.03/516.22	c       516       748    753.40    101.77      7.40   1000000         0
517.84/518.00	c       480       771    737.03     88.13      8.36   1000000         0
519.53/519.78	c       513       648    721.95     84.86      8.51   1000000         0
521.33/521.56	c       511       740    743.30     80.79      9.20   1000000         0
523.13/523.34	c       516       794    722.40     84.94      8.51   1000000         0
524.93/525.11	c       504       645    731.61     96.53      7.58   1000000         0
526.64/526.90	c       513       698    741.81     98.27      7.55   1000000         0
528.43/528.69	c       446       697    735.96    102.50      7.18   1000000         0
530.23/530.48	c       498       783    746.69     94.14      7.93   1000000         0
532.03/532.26	c       500       661    739.34     85.12      8.69   1000000         0
533.83/534.05	c       537       861    744.83     86.66      8.59   1000000         0
535.63/535.82	c       532       637    731.38    106.02      6.90   1000000         0
537.43/537.62	c       512       739    770.56    108.47      7.10   1000000         0
539.23/539.40	c       539       759    736.01     87.89      8.37   1000000         0
540.93/541.20	c       516       697    760.25     93.72      8.11   1000000         0
542.73/542.98	c       478       624    728.65     78.87      9.24   1000000         0
544.53/544.77	c       492       765    735.67     95.91      7.67   1000000         0
546.32/546.56	c       485       760    748.36     91.19      8.21   1000000         0
548.12/548.33	c       513       720    725.54     86.62      8.38   1000000         0
549.92/550.12	c       495       850    745.17     90.21      8.26   1000000         0
551.72/551.90	c       515       822    748.79     75.94      9.86   1000000         0
553.42/553.69	c       496       669    744.39     84.49      8.81   1000000         0
555.23/555.48	c       469       786    729.07     86.06      8.47   1000000         0
557.02/557.26	c       521       773    723.38     97.35      7.43   1000000         0
558.82/559.04	c       478       756    736.87     96.75      7.62   1000000         0
560.62/560.82	c       504       788    746.65     92.74      8.05   1000000         0
562.42/562.60	c       505       758    738.25     88.99      8.30   1000000         0
564.13/564.38	c       455       799    730.46     95.43      7.65   1000000         0
565.92/566.17	c       532       725    743.88     83.07      8.95   1000000         0
567.72/567.95	c       442       793    738.87     97.71      7.56   1000000         0
569.53/569.74	c       514       682    736.68     92.05      8.00   1000000         0
571.32/571.52	c       515       786    748.25     93.87      7.97   1000000         0
573.12/573.31	c       442       691    736.44     92.82      7.93   1000000         0
574.92/575.10	c       478       823    757.60    105.22      7.20   1000000         0
576.62/576.89	c       525       894    744.62     89.72      8.30   1000000         0
578.42/578.65	c       503       836    721.73     97.83      7.38   1000000         0
580.21/580.45	c       542       564    744.20     82.49      9.02   1000000         0
582.01/582.23	c       455       700    724.33     98.22      7.37   1000000         0
583.82/584.01	c       462       755    720.76    103.57      6.96   1000000         0
585.51/585.79	c       468       628    729.71    101.13      7.22   1000000         0
587.31/587.58	c       478       762    745.64    108.92      6.85   1000000         0
589.11/589.37	c       523       686    737.12     87.91      8.38   1000000         0
590.91/591.15	c       489       713    741.42    101.78      7.28   1000000         0
592.72/592.93	c       496       780    726.65     90.06      8.07   1000000         0
594.51/594.71	c       513       882    740.37     87.58      8.45   1000000         0
596.21/596.48	c       471       650    719.49     89.20      8.07   1000000         0
598.01/598.27	c       432       700    735.17     92.27      7.97   1000000         0
599.81/600.05	c       512       829    733.89     78.35      9.37   1000000         0
601.61/601.83	c       523       920    727.24     83.55      8.70   1000000         0
603.41/603.61	c       510       770    737.61     87.67      8.41   1000000         0
605.11/605.39	c       478       765    730.24     94.94      7.69   1000000         0
606.91/607.17	c       482       630    733.59     92.11      7.96   1000000         0
608.71/608.95	c       496       888    739.12     83.05      8.90   1000000         0
610.51/610.75	c       539       714    765.14    104.82      7.30   1000000         0
612.31/612.54	c       516       665    748.99     91.53      8.18   1000000         0
614.11/614.34	c       490       659    755.78    104.36      7.24   1000000         0
615.90/616.12	c       487       673    744.17    102.42      7.27   1000000         0
617.70/617.91	c       507       667    759.78     99.90      7.61   1000000         0
619.40/619.69	c       528       837    733.84     87.18      8.42   1000000         0
621.21/621.48	c       533       755    743.61     93.69      7.94   1000000         0
623.00/623.27	c       541       839    749.47     96.23      7.79   1000000         0
624.80/625.06	c       456       688    750.99     88.41      8.49   1000000         0
626.60/626.85	c       523       884    734.82     99.21      7.41   1000000         0
628.40/628.63	c       538       968    743.90     92.81      8.02   1000000         0
630.20/630.42	c       493       736    741.92     89.37      8.30   1000000         0
632.00/632.21	c       476       712    741.92     87.67      8.46   1000000         0
633.70/633.99	c       497       624    727.83     93.51      7.78   1000000         0
635.51/635.77	c       484       727    741.74     96.77      7.66   1000000         0
637.31/637.56	c       487       815    746.59     99.77      7.48   1000000         0
639.11/639.35	c       538       677    761.07     92.43      8.23   1000000         0
640.91/641.14	c       506       742    740.53    101.92      7.27   1000000         0
642.71/642.93	c       527       594    743.18    103.16      7.20   1000000         0
644.51/644.72	c       468       711    741.66     93.72      7.91   1000000         0
646.30/646.51	c       508       872    743.61     89.72      8.29   1000000         0
648.00/648.29	c       507       674    737.80    105.09      7.02   1000000         0
649.81/650.07	c       492       659    726.17     86.95      8.35   1000000         0
651.60/651.85	c       528       639    744.95     85.01      8.76   1000000         0
653.40/653.63	c       541       819    745.93     81.43      9.16   1000000         0
655.20/655.42	c       512       757    741.96     83.35      8.90   1000000         0
657.00/657.20	c       542       746    746.22     79.51      9.39   1000000         0
658.71/658.99	c       537       661    751.07     89.32      8.41   1000000         0
660.50/660.78	c       500       734    751.28     88.04      8.53   1000000         0
662.30/662.56	c       471       677    725.10     80.25      9.04   1000000         0
664.11/664.34	c       515       654    740.15     93.70      7.90   1000000         0
665.90/666.13	c       525       680    745.52     86.16      8.65   1000000         0
667.70/667.92	c       487       766    742.50     99.46      7.47   1000000         0
669.50/669.70	c       473       777    731.21    101.27      7.22   1000000         0
671.20/671.50	c       537       622    748.51     90.80      8.24   1000000         0
673.00/673.28	c       522       744    735.97     81.03      9.08   1000000         0
674.79/675.05	c       484       646    735.90    102.47      7.18   1000000         0
676.59/676.82	c       478       694    700.96     85.51      8.20   1000000         0
678.40/678.61	c       525       849    741.62     78.36      9.46   1000000         0
680.19/680.40	c       542       633    756.52     98.58      7.67   1000000         0
681.89/682.19	c       511       825    732.09     85.66      8.55   1000000         0
683.69/683.97	c       505       887    730.47    101.00      7.23   1000000         0
685.49/685.76	c       490       690    736.25     96.71      7.61   1000000         0
687.30/687.54	c       493       676    730.50     84.56      8.64   1000000         0
689.09/689.33	c       506       751    754.01     96.46      7.82   1000000         0
690.89/691.11	c       488       595    750.93     96.26      7.80   1000000         0
692.69/692.91	c       534       765    763.87    101.56      7.52   1000000         0
694.49/694.70	c       505       740    760.36     83.82      9.07   1000000         0
696.19/696.49	c       502       795    738.24     96.66      7.64   1000000         0
697.99/698.28	c       482       624    756.02    101.69      7.43   1000000         0
699.79/700.06	c       486       671    730.93     88.96      8.22   1000000         0
701.59/701.84	c       537       726    742.49     76.26      9.74   1000000         0
703.39/703.62	c       549       717    750.94     83.59      8.98   1000000         0
705.18/705.41	c       517       714    747.84    101.88      7.34   1000000         0
706.99/707.20	c       514       713    755.92    106.72      7.08   1000000         0
708.68/708.99	c       520       765    731.27     91.00      8.04   1000000         0
710.48/710.78	c       505       666    755.26     97.54      7.74   1000000         0
712.28/712.56	c       500       793    742.95     91.29      8.14   1000000         0
714.08/714.34	c       498       720    746.48    106.57      7.00   1000000         0
715.89/716.13	c       533       665    749.27     82.71      9.06   1000000         0
717.68/717.92	c       497       712    734.72     89.99      8.16   1000000         0
719.48/719.71	c       546       643    754.97     98.36      7.68   1000000         0
721.29/721.51	c       532       665    747.30    100.75      7.42   1000000         0
723.08/723.30	c       540       736    754.28     85.78      8.79   1000000         0
724.78/725.09	c       506       730    759.46    109.76      6.92   1000000         0
726.58/726.88	c       522       572    743.15    105.30      7.06   1000000         0
728.38/728.66	c       443       709    724.27     88.45      8.19   1000000         0
730.18/730.45	c       546       791    756.04     84.80      8.92   1000000         0
731.98/732.24	c       477       717    751.83     96.57      7.79   1000000         0
733.78/734.02	c       515       840    742.44     96.78      7.67   1000000         0
735.58/735.80	c       523       742    724.46     82.64      8.77   1000000         0
737.27/737.58	c       527       762    741.88     74.17     10.00   1000000         0
739.07/739.37	c       483       664    740.08     95.60      7.74   1000000         0
740.87/741.14	c       508       646    720.38     88.95      8.10   1000000         0
742.67/742.93	c       473       729    740.83    114.43      6.47   1000000         0
744.48/744.71	c       520       773    740.29     97.00      7.63   1000000         0
746.27/746.50	c       493       777    747.74     87.99      8.50   1000000         0
747.97/748.28	c       530       554    738.98     94.64      7.81   1000000         0
749.77/750.07	c       490       595    732.38    111.08      6.59   1000000         0
751.57/751.85	c       476       737    723.07     87.68      8.25   1000000         0
753.37/753.63	c       478       851    753.03     99.15      7.60   1000000         0
755.17/755.41	c       465       742    738.86     85.47      8.65   1000000         0
756.97/757.20	c       476       774    731.07     83.63      8.74   1000000         0
758.68/758.99	c       504       649    746.17     98.62      7.57   1000000         0
760.47/760.77	c       524       838    742.58     98.24      7.56   1000000         0
762.27/762.56	c       539       708    752.76     76.90      9.79   1000000         0
764.07/764.34	c       509       724    739.53     88.74      8.33   1000000         0
765.87/766.12	c       503       649    730.70    109.88      6.65   1000000         0
767.67/767.91	c       532       722    747.29     88.82      8.41   1000000         0
769.46/769.70	c       537       754    749.93     85.11      8.81   1000000         0
771.16/771.48	c       514       735    739.32     93.03      7.95   1000000         0
772.97/773.26	c       485       794    732.65     91.42      8.01   1000000         0
774.76/775.04	c       492       621    727.75     99.25      7.33   1000000         0
776.56/776.83	c       533       788    737.32     87.97      8.38   1000000         0
778.36/778.61	c       503       674    760.63     82.58      9.21   1000000         0
780.06/780.39	c       527       640    732.52     83.37      8.79   1000000         0
781.87/782.17	c       510       867    756.13    102.73      7.36   1000000         0
783.66/783.96	c       496       804    745.05     95.96      7.76   1000000         0
785.46/785.76	c       477       800    748.75     98.26      7.62   1000000         0
787.27/787.54	c       479       799    735.06     96.25      7.64   1000000         0
789.06/789.33	c       496       749    755.93     93.20      8.11   1000000         0
790.86/791.12	c       510       742    750.74     94.88      7.91   1000000         0
792.56/792.89	c       498       740    735.72     86.67      8.49   1000000         0
794.36/794.68	c       487       808    748.43     87.32      8.57   1000000         0
796.16/796.46	c       519       702    738.40     87.72      8.42   1000000         0
797.96/798.24	c       504       798    738.65     91.36      8.08   1000000         0
799.76/800.03	c       519       655    750.29     84.22      8.91   1000000         0
801.56/801.81	c       485       571    731.02     88.14      8.29   1000000         0
803.25/803.59	c       491       737    741.71     96.31      7.70   1000000         0
805.05/805.37	c       485       917    729.33     98.86      7.38   1000000         0
806.85/807.16	c       441       815    746.45     97.55      7.65   1000000         0
808.65/808.94	c       500       739    742.83     92.82      8.00   1000000         0
810.46/810.73	c       498       718    739.92     97.28      7.61   1000000         0
812.25/812.51	c       495       701    738.66     85.63      8.63   1000000         0
813.95/814.29	c       536       697    753.30     93.15      8.09   1000000         0
815.75/816.08	c       524       720    753.11     91.39      8.24   1000000         0
817.55/817.87	c       527       758    745.10     82.43      9.04   1000000         0
819.35/819.66	c       517       759    753.43    106.45      7.08   1000000         0
821.15/821.45	c       471       701    733.52     96.52      7.60   1000000         0
822.95/823.23	c       468       662    718.88     97.70      7.36   1000000         0
824.76/825.02	c       520       738    752.20     89.62      8.39   1000000         0
826.55/826.81	c       495       871    752.97     90.70      8.30   1000000         0
828.25/828.59	c       508       623    745.59     85.77      8.69   1000000         0
830.05/830.37	c       544       741    737.82     93.43      7.90   1000000         0
831.85/832.14	c       471       686    718.60     84.50      8.50   1000000         0
833.65/833.92	c       491       783    730.01     88.99      8.20   1000000         0
835.44/835.70	c       509       711    750.51     86.73      8.65   1000000         0
837.14/837.48	c       509       624    723.09     85.93      8.41   1000000         0
838.95/839.27	c       482       678    733.09     83.45      8.78   1000000         0
840.74/841.05	c       526       680    734.40     93.19      7.88   1000000         0
842.54/842.84	c       504       794    751.22    107.27      7.00   1000000         0
844.34/844.63	c       542       844    763.37     87.37      8.74   1000000         0
846.14/846.42	c       501       774    747.56     85.60      8.73   1000000         0
847.94/848.21	c       529       745    731.69     94.42      7.75   1000000         0
849.74/850.01	c       539       783    757.90    104.38      7.26   1000000         0
851.44/851.79	c       536       754    740.83     79.67      9.30   1000000         0
853.25/853.58	c       524       790    729.59     87.57      8.33   1000000         0
855.04/855.36	c       526       566    742.69     89.84      8.27   1000000         0
856.84/857.14	c       451       911    734.60     89.39      8.22   1000000         0
858.64/858.93	c       487       722    755.75     96.21      7.86   1000000         0
860.44/860.71	c       498       760    740.23     98.05      7.55   1000000         0
862.14/862.49	c       533       703    723.28     79.74      9.07   1000000         0
863.93/864.28	c       544       823    749.55     90.15      8.31   1000000         0
865.73/866.07	c       475       788    757.93     97.53      7.77   1000000         0
867.54/867.87	c       468       787    758.88     98.54      7.70   1000000         0
869.33/869.65	c       522       840    735.00     81.60      9.01   1000000         0
871.13/871.45	c       470       674    753.31    108.17      6.96   1000000         0
872.93/873.24	c       526       735    753.44     87.59      8.60   1000000         0
874.73/875.02	c       498       749    734.26     86.27      8.51   1000000         0
876.53/876.82	c       493       759    760.98     89.26      8.53   1000000         0
878.33/878.60	c       492       873    739.46    112.58      6.57   1000000         0
880.03/880.38	c       528       719    739.23     96.21      7.68   1000000         0
881.84/882.17	c       495       800    738.32     93.44      7.90   1000000         0
883.63/883.95	c       460       714    734.57     94.20      7.80   1000000         0
885.43/885.73	c       492       726    743.28     99.86      7.44   1000000         0
887.23/887.52	c       469       755    740.08     86.93      8.51   1000000         0
889.03/889.31	c       510       611    736.94     91.75      8.03   1000000         0
890.73/891.09	c       505       833    735.50     89.11      8.25   1000000         0
892.53/892.86	c       491       775    718.24     91.74      7.83   1000000         0
894.33/894.65	c       526       887    754.66     83.70      9.02   1000000         0
896.13/896.45	c       503       691    757.37     97.56      7.76   1000000         0
897.92/898.24	c       543       774    746.08     98.85      7.55   1000000         0
899.72/900.03	c       552       695    746.55     94.89      7.87   1000000         0
901.52/901.82	c       491       734    751.65     91.47      8.22   1000000         0
903.32/903.60	c       437       854    734.34     87.21      8.42   1000000         0
905.03/905.38	c       520       690    745.07     98.73      7.55   1000000         0
906.82/907.18	c       544       766    751.86     96.25      7.81   1000000         0
908.62/908.97	c       499       676    747.08     70.37     10.62   1000000         0
910.43/910.75	c       509       683    734.25     79.13      9.28   1000000         0
912.22/912.54	c       484       842    736.74     99.81      7.38   1000000         0
914.02/914.31	c       503       662    732.50     81.32      9.01   1000000         0
915.72/916.09	c       549       768    740.41     77.01      9.61   1000000         0
917.52/917.86	c       506       664    734.23     83.62      8.78   1000000         0
919.33/919.66	c       523       733    764.14     97.74      7.82   1000000         0
921.12/921.44	c       503       739    739.94     77.33      9.57   1000000         0
922.92/923.22	c       495       772    734.87     70.89     10.37   1000000         0
924.72/925.01	c       481       697    731.58    105.19      6.96   1000000         0
926.41/926.78	c       494       620    732.01     89.47      8.18   1000000         0
928.21/928.58	c       509       776    746.90     90.12      8.29   1000000         0
930.01/930.36	c       514       745    744.86     87.65      8.50   1000000         0
931.81/932.15	c       534       801    752.51     88.15      8.54   1000000         0
933.62/933.94	c       491       745    745.52     84.65      8.81   1000000         0
935.41/935.72	c       513       537    730.80     90.95      8.04   1000000         0
937.21/937.50	c       467       680    742.53     92.07      8.06   1000000         0
939.02/939.30	c       541       675    751.30     98.01      7.67   1000000         0
940.71/941.08	c       485       757    731.48     95.94      7.62   1000000         0
942.51/942.87	c       510       787    751.88     83.26      9.03   1000000         0
944.31/944.65	c       483       703    734.81     92.32      7.96   1000000         0
946.11/946.44	c       543       680    752.28     89.95      8.36   1000000         0
947.92/948.22	c       505       620    725.84    100.88      7.20   1000000         0
949.71/950.00	c       542       710    738.92     91.54      8.07   1000000         0
951.41/951.79	c       490       732    748.17     93.49      8.00   1000000         0
953.21/953.58	c       489       522    746.72     94.45      7.91   1000000         0
955.01/955.37	c       525       669    740.74    107.11      6.92   1000000         0
956.81/957.15	c       515       754    743.42     85.79      8.67   1000000         0
958.61/958.95	c       528       699    742.40     96.73      7.67   1000000         0
960.40/960.73	c       503       590    746.19     89.59      8.33   1000000         0
962.21/962.53	c       539       745    746.41     83.20      8.97   1000000         0
964.00/964.31	c       502       822    742.63    103.70      7.16   1000000         0
965.70/966.09	c       521       653    725.68     96.97      7.48   1000000         0
967.50/967.88	c       528       816    731.77     88.93      8.23   1000000         0
969.30/969.66	c       524       716    742.87     85.64      8.67   1000000         0
971.10/971.45	c       483       858    766.12     91.09      8.41   1000000         0
972.90/973.22	c       507       701    719.57     84.84      8.48   1000000         0
974.70/975.00	c       494       848    727.67     94.35      7.71   1000000         0
976.41/976.78	c       548       728    743.00     90.76      8.19   1000000         0
978.20/978.58	c       529       791    755.51     99.51      7.59   1000000         0
980.00/980.37	c       490       761    743.21     92.36      8.05   1000000         0
981.80/982.15	c       495       649    753.79     89.99      8.38   1000000         0
983.60/983.92	c       483       762    740.49     99.10      7.47   1000000         0
985.40/985.72	c       527       692    751.32     90.23      8.33   1000000         0
987.20/987.51	c       539       684    750.25     87.41      8.58   1000000         0
988.90/989.29	c       515       708    747.82     94.66      7.90   1000000         0
990.70/991.08	c       527       755    756.02     91.30      8.28   1000000         0
992.50/992.86	c       489       846    743.16     90.26      8.23   1000000         0
994.30/994.64	c       471       712    719.75     95.05      7.57   1000000         0
996.10/996.42	c       507       713    736.90     85.95      8.57   1000000         0
997.90/998.21	c       482       724    743.05    108.92      6.82   1000000         0
999.60/1000.00	c       484       788    748.90     98.99      7.57   1000000         0
1001.39/1001.78	c       489       754    735.11     90.86      8.09   1000000         0
1003.19/1003.57	c       533       629    761.94     91.89      8.29   1000000         0
1005.00/1005.36	c       539       716    752.48     93.96      8.01   1000000         0
1006.79/1007.14	c       496       693    729.34     78.46      9.30   1000000         0
1008.59/1008.91	c       481       855    722.98     86.50      8.36   1000000         0
1010.39/1010.70	c       519       667    750.51    100.35      7.48   1000000         0
1012.09/1012.48	c       523       708    738.42     84.32      8.76   1000000         0
1013.90/1014.26	c       499       765    731.88     93.71      7.81   1000000         0
1015.69/1016.04	c       516       766    743.67     82.36      9.03   1000000         0
1017.49/1017.82	c       533       630    739.45    100.35      7.37   1000000         0
1019.30/1019.61	c       512       746    744.90     81.80      9.11   1000000         0
1020.99/1021.40	c       508       713    736.29     87.50      8.41   1000000         0
1022.79/1023.19	c       534       761    749.85     92.58      8.10   1000000         0
1024.59/1024.96	c       493       917    738.22    108.63      6.80   1000000         0
1026.38/1026.75	c       496       707    738.59     83.13      8.88   1000000         0
1028.19/1028.54	c       522       643    739.64    102.49      7.22   1000000         0
1029.98/1030.34	c       515       787    758.56     96.69      7.85   1000000         0
1031.78/1032.11	c       530       702    724.16     82.19      8.81   1000000         0
1033.59/1033.90	c       520       734    742.24     90.53      8.20   1000000         0
1035.28/1035.68	c       462       772    723.63     90.67      7.98   1000000         0
1037.08/1037.47	c       500       772    739.29     89.20      8.29   1000000         0
1038.88/1039.25	c       468       706    733.94     99.49      7.38   1000000         0
1040.68/1041.04	c       489       706    759.18     85.90      8.84   1000000         0
1042.49/1042.84	c       567       811    762.38     88.09      8.65   1000000         0
1044.28/1044.61	c       485       700    730.16     89.53      8.16   1000000         0
1045.98/1046.38	c       524       698    738.02     86.52      8.53   1000000         0
1047.78/1048.19	c       529       822    768.98     94.51      8.14   1000000         0
1049.58/1049.97	c       505       703    730.64     96.78      7.55   1000000         0
1051.38/1051.74	c       515       612    733.42     80.74      9.08   1000000         0
1053.18/1053.53	c       510       703    740.26    102.45      7.23   1000000         0
1054.98/1055.31	c       480       839    753.96     85.93      8.77   1000000         0
1056.68/1057.10	c       519       720    747.32     99.59      7.50   1000000         0
1058.48/1058.89	c       530       867    745.07    100.85      7.39   1000000         0
1060.27/1060.68	c       432       607    733.50     97.22      7.54   1000000         0
1062.07/1062.45	c       516       619    726.00     90.91      7.99   1000000         0
1063.87/1064.24	c       526       791    740.97    101.60      7.29   1000000         0
1065.67/1066.02	c       534       741    737.32     82.27      8.96   1000000         0
1067.47/1067.81	c       509       848    748.46     82.40      9.08   1000000         0
1069.17/1069.59	c       477       776    750.20     84.61      8.87   1000000         0
1070.98/1071.38	c       494       744    737.74     94.02      7.85   1000000         0
1072.77/1073.16	c       516       808    727.53     87.17      8.35   1000000         0
1074.57/1074.94	c       521       731    759.86     86.30      8.80   1000000         0
1076.37/1076.73	c       490       796    737.40    105.10      7.02   1000000         0
1078.17/1078.51	c       510       842    764.33    103.05      7.42   1000000         0
1079.97/1080.30	c       483       662    745.88     81.83      9.11   1000000         0
1081.67/1082.09	c       474       621    753.22     89.11      8.45   1000000         0
1083.47/1083.88	c       529       783    746.17     94.61      7.89   1000000         0
1085.28/1085.65	c       462       807    722.65     89.86      8.04   1000000         0
1087.07/1087.44	c       521       645    741.69    100.89      7.35   1000000         0
1088.87/1089.24	c       498       761    770.81    104.72      7.36   1000000         0
1090.67/1091.03	c       558       736    743.51     93.17      7.98   1000000         0
1092.47/1092.80	c       519       751    712.58     84.65      8.42   1000000         0
1094.17/1094.57	c       508       734    733.48     85.42      8.59   1000000         0
1095.96/1096.36	c       530       655    735.39     90.61      8.12   1000000         0
1097.76/1098.15	c       512       696    759.96    110.38      6.88   1000000         0
1099.57/1099.94	c       546       724    751.79     81.89      9.18   1000000         0
1101.36/1101.73	c       527       702    733.85     95.24      7.71   1000000         0
1103.16/1103.51	c       533       666    726.09     87.55      8.29   1000000         0
1104.96/1105.30	c       477       723    747.32    105.63      7.07   1000000         0
1106.66/1107.08	c       537       605    748.94     90.20      8.30   1000000         0
1108.47/1108.87	c       504       856    744.49     99.19      7.51   1000000         0
1110.26/1110.66	c       457       720    735.37     84.22      8.73   1000000         0
1112.06/1112.44	c       485       667    729.08    114.23      6.38   1000000         0
1113.87/1114.22	c       443       687    738.91    103.09      7.17   1000000         0
1115.66/1116.00	c       488       715    744.54    107.95      6.90   1000000         0
1117.46/1117.80	c       529       780    762.26     85.88      8.88   1000000         0
1119.16/1119.57	c       510       727    727.43     87.53      8.31   1000000         0
1120.96/1121.36	c       508       713    749.48     90.37      8.29   1000000         0
1122.76/1123.14	c       482       696    733.34     90.38      8.11   1000000         0
1124.56/1124.92	c       506       705    742.77     89.54      8.30   1000000         0
1126.35/1126.71	c       525       689    737.01     88.97      8.28   1000000         0
1128.05/1128.49	c       477       767    728.43     83.30      8.74   1000000         0
1129.85/1130.28	c       517       677    751.32    109.16      6.88   1000000         0
1131.65/1132.07	c       516       709    745.04    103.07      7.23   1000000         0
1133.45/1133.85	c       528       782    744.13     90.85      8.19   1000000         0
1135.25/1135.63	c       503       856    727.37     91.99      7.91   1000000         0
1137.06/1137.42	c       523       731    746.95     87.74      8.51   1000000         0
1138.75/1139.19	c       509       698    734.31     81.75      8.98   1000000         0
1140.55/1140.99	c       473       773    748.91     93.87      7.98   1000000         0
1142.35/1142.77	c       531       674    734.37     81.56      9.00   1000000         0
1144.15/1144.56	c       539       907    752.49     81.56      9.23   1000000         0
1145.95/1146.34	c       453       740    724.19     87.73      8.25   1000000         0
1147.75/1148.13	c       457       675    727.31    107.72      6.75   1000000         0
1149.55/1149.92	c       461       640    741.58    100.06      7.41   1000000         0
1151.35/1151.70	c       500       761    739.89    102.83      7.20   1000000         0
1153.15/1153.50	c       481       815    766.56    105.15      7.29   1000000         0
1154.85/1155.29	c       498       801    749.46     86.05      8.71   1000000         0
1156.65/1157.07	c       455       759    739.76     89.77      8.24   1000000         0
1158.44/1158.86	c       442       736    746.35    102.69      7.27   1000000         0
1160.24/1160.65	c       554       716    757.19     90.87      8.33   1000000         0
1162.04/1162.44	c       489       791    736.90     87.02      8.47   1000000         0
1163.84/1164.23	c       532       639    747.61     86.78      8.61   1000000         0
1165.65/1166.02	c       534       724    765.57    103.72      7.38   1000000         0
1167.44/1167.81	c       518       703    745.52     77.20      9.66   1000000         0
1169.14/1169.59	c       530       901    742.43     92.72      8.01   1000000         0
1170.94/1171.38	c       514       814    739.11     86.87      8.51   1000000         0
1172.74/1173.17	c       516       715    757.75     89.41      8.48   1000000         0
1174.54/1174.95	c       477       671    746.01     83.60      8.92   1000000         0
1176.34/1176.73	c       497       789    739.03     96.40      7.67   1000000         0
1178.14/1178.52	c       502       699    726.53     94.13      7.72   1000000         0
1179.95/1180.31	c       502       737    739.85     85.25      8.68   1000000         0
1181.64/1182.09	c       534       903    731.72     86.22      8.49   1000000         0
1183.44/1183.87	c       524       680    744.32     83.97      8.86   1000000         0
1185.24/1185.66	c       481       629    736.39    101.64      7.25   1000000         0
1187.04/1187.44	c       530       772    722.81     82.55      8.76   1000000         0
1188.84/1189.22	c       494       702    730.22     95.32      7.66   1000000         0
1190.63/1191.01	c       510       807    753.23     98.89      7.62   1000000         0
1192.43/1192.80	c       519       730    758.28    108.42      6.99   1000000         0
1194.14/1194.59	c       468       816    756.57     94.97      7.97   1000000         0
1195.93/1196.38	c       512       740    740.01     94.44      7.84   1000000         0
1197.73/1198.17	c       494       606    739.70     90.52      8.17   1000000         0
1199.53/1199.95	c       521       694    751.77     93.84      8.01   1000000         0
1201.33/1201.74	c       474       704    763.13    111.78      6.83   1000000         0
1203.13/1203.53	c       500       751    746.70     77.46      9.64   1000000         0
1204.93/1205.32	c       480       797    743.48    100.14      7.42   1000000         0
1206.63/1207.10	c       477       797    727.40    102.76      7.08   1000000         0
1208.44/1208.88	c       475       600    746.33     97.49      7.66   1000000         0
1210.23/1210.66	c       419       642    731.45     99.77      7.33   1000000         0
1212.03/1212.44	c       498       780    728.30     90.00      8.09   1000000         0
1213.83/1214.23	c       505       697    742.91     99.65      7.46   1000000         0
1215.63/1216.01	c       499       670    733.84     81.71      8.98   1000000         0
1217.33/1217.79	c       502       751    734.81    101.09      7.27   1000000         0
1219.13/1219.57	c       520       587    742.44     79.07      9.39   1000000         0
1220.93/1221.35	c       479       677    731.22     91.49      7.99   1000000         0
1222.73/1223.13	c       502       555    751.88     93.06      8.08   1000000         0
1224.52/1224.91	c       541       714    740.94     84.74      8.74   1000000         0
1226.32/1226.70	c       496       810    741.16     93.84      7.90   1000000         0
1228.02/1228.49	c       469       775    740.60    101.56      7.29   1000000         0
1229.82/1230.27	c       551       828    760.43     96.49      7.88   1000000         0
1231.63/1232.07	c       570       680    759.89     69.32     10.96   1000000         0
1233.42/1233.84	c       485       598    723.54     97.15      7.45   1000000         0
1235.22/1235.62	c       499       720    727.32     85.36      8.52   1000000         0
1237.03/1237.41	c       517       715    748.13     83.80      8.93   1000000         0
1238.72/1239.19	c       504       778    726.79     83.94      8.66   1000000         0
1240.52/1240.97	c       540       734    735.48     78.68      9.35   1000000         0
1242.32/1242.75	c       483       651    748.57     93.08      8.04   1000000         0
1244.12/1244.55	c       538       826    756.97    102.36      7.40   1000000         0
1245.93/1246.32	c       472       646    724.30     90.03      8.04   1000000         0
1247.72/1248.10	c       491       699    744.62     96.55      7.71   1000000         0
1249.42/1249.89	c       491       728    753.21     84.67      8.90   1000000         0
1251.22/1251.68	c       551       779    749.13     82.95      9.03   1000000         0
1253.02/1253.47	c       531       762    740.66     78.80      9.40   1000000         0
1254.82/1255.25	c       537       688    751.99     81.35      9.24   1000000         0
1256.61/1257.03	c       512       713    724.65     85.69      8.46   1000000         0
1258.41/1258.82	c       548       642    770.80    105.90      7.28   1000000         0
1260.12/1260.60	c       446       801    734.49     90.92      8.08   1000000         0
1262.01/1262.40	c       497       782    764.85    100.61      7.60   1000000         0
1263.71/1264.18	c       471       708    723.54     87.27      8.29   1000000         0
1265.51/1265.96	c       505       780    737.02    103.27      7.14   1000000         0
1267.31/1267.75	c       502       697    740.11     97.27      7.61   1000000         0
1269.11/1269.53	c       537       889    733.01     95.86      7.65   1000000         0
1270.91/1271.31	c       563       656    732.97     81.52      8.99   1000000         0
1272.71/1273.10	c       466       717    721.23    107.55      6.71   1000000         0
1274.42/1274.88	c       497       867    742.05     90.68      8.18   1000000         0
1276.21/1276.67	c       513       824    746.73     93.85      7.96   1000000         0
1278.01/1278.45	c       498       782    743.39    109.12      6.81   1000000         0
1279.81/1280.25	c       536       670    760.99     95.55      7.96   1000000         0
1281.61/1282.05	c       489       779    776.45    119.50      6.50   1000000         0
1283.41/1283.84	c       512       634    762.98     92.04      8.29   1000000         0
1285.21/1285.62	c       486       823    743.34     83.95      8.85   1000000         0
1287.01/1287.40	c       452       763    732.28    108.96      6.72   1000000         0
1288.71/1289.19	c       496       626    731.37     82.73      8.84   1000000         0
1290.50/1290.97	c       541       706    735.62     75.59      9.73   1000000         0
1292.30/1292.76	c       450       750    736.26     94.85      7.76   1000000         0
1294.10/1294.54	c       451       747    733.35    108.04      6.79   1000000         0
1295.90/1296.32	c       504       626    741.83     82.00      9.05   1000000         0
1297.70/1298.10	c       469       675    737.10     88.57      8.32   1000000         0
1299.50/1299.90	c       515       716    757.49    102.24      7.41   1000000         0
1301.20/1301.68	c       517       805    733.68     85.79      8.55   1000000         0
1303.01/1303.46	c       532       770    727.39     85.05      8.55   1000000         0
1304.80/1305.24	c       489       779    728.68     90.21      8.08   1000000         0
1306.60/1307.02	c       506       814    727.74    101.23      7.19   1000000         0
1308.40/1308.81	c       509       770    739.88     86.71      8.53   1000000         0
1310.10/1310.59	c       476       686    738.63     88.97      8.30   1000000         0
1311.91/1312.37	c       525       717    731.74     79.89      9.16   1000000         0
1313.70/1314.17	c       486       561    761.14    101.16      7.52   1000000         0
1315.50/1315.96	c       506       607    742.15     97.60      7.60   1000000         0
1317.30/1317.76	c       510       773    751.59     87.81      8.56   1000000         0
1319.10/1319.54	c       522       801    747.75    108.59      6.89   1000000         0
1320.90/1321.32	c       450       767    733.69     98.51      7.45   1000000         0
1322.70/1323.11	c       509       757    738.38     98.96      7.46   1000000         0
1324.40/1324.89	c       502       658    741.56     98.53      7.53   1000000         0
1326.20/1326.68	c       522       639    748.52     86.70      8.63   1000000         0
1328.00/1328.46	c       505       879    737.09     90.75      8.12   1000000         0
1329.79/1330.24	c       504       723    732.76    109.73      6.68   1000000         0
1331.60/1332.03	c       482       729    746.28     91.51      8.16   1000000         0
1333.39/1333.82	c       484       736    749.51    101.91      7.35   1000000         0
1335.20/1335.61	c       513       796    744.66     88.87      8.38   1000000         0
1336.90/1337.39	c       527       562    737.27     81.51      9.05   1000000         0
1338.70/1339.17	c       505       665    736.37     90.38      8.15   1000000         0
1340.51/1340.95	c       532       640    738.18     81.71      9.03   1000000         0
1342.30/1342.74	c       508       719    751.84     93.30      8.06   1000000         0
1344.10/1344.53	c       467       675    752.23     87.56      8.59   1000000         0
1345.91/1346.31	c       502       545    732.02     88.70      8.25   1000000         0
1347.70/1348.10	c       525       665    751.47     77.83      9.66   1000000         0
1349.40/1349.89	c       513       770    742.10     99.68      7.45   1000000         0
1351.20/1351.68	c       510       733    743.68     96.56      7.70   1000000         0
1353.00/1353.47	c       554       694    748.95     93.37      8.02   1000000         0
1354.80/1355.26	c       496       727    767.08     93.51      8.20   1000000         0
1356.60/1357.05	c       521       683    734.51     81.59      9.00   1000000         0
1358.40/1358.82	c       516       615    725.94     86.55      8.39   1000000         0
1360.20/1360.61	c       450       648    744.17     94.88      7.84   1000000         0
1361.89/1362.39	c       507       765    743.14     98.18      7.57   1000000         0
1363.69/1364.17	c       457       701    728.00     87.91      8.28   1000000         0
1365.49/1365.95	c       463       697    738.35     87.30      8.46   1000000         0
1367.29/1367.75	c       528       764    747.71     98.36      7.60   1000000         0
1369.10/1369.52	c       514       685    728.59     95.11      7.66   1000000         0
1370.89/1371.30	c       544       743    730.63     72.75     10.04   1000000         0
1372.59/1373.08	c       512       828    748.61    101.39      7.38   1000000         0
1374.39/1374.86	c       522       790    739.42     94.67      7.81   1000000         0
1376.19/1376.64	c       513       706    719.02     86.26      8.34   1000000         0
1377.99/1378.43	c       535       690    751.05    100.53      7.47   1000000         0
1379.79/1380.21	c       536       667    744.43     95.75      7.77   1000000         0
1381.59/1382.00	c       485       826    744.30    100.88      7.38   1000000         0
1383.30/1383.78	c       522       693    743.47     91.05      8.17   1000000         0
1385.09/1385.55	c       496       762    735.41     92.38      7.96   1000000         0
1386.89/1387.33	c       488       757    732.26    100.78      7.27   1000000         0
1388.69/1389.12	c       471       722    747.33     84.69      8.82   1000000         0
1390.49/1390.91	c       427       752    743.88     93.09      7.99   1000000         0
1392.19/1392.69	c       486       723    733.33     96.60      7.59   1000000         0
1393.98/1394.48	c       501       852    749.59    107.86      6.95   1000000         0
1395.78/1396.28	c       535       667    761.17     94.83      8.03   1000000         0
1397.59/1398.06	c       509       783    748.04     78.45      9.53   1000000         0
1399.38/1399.84	c       504       707    734.29     86.23      8.52   1000000         0
1401.18/1401.61	c       508       714    722.69     74.72      9.67   1000000         0
1402.98/1403.40	c       501       779    752.33    105.56      7.13   1000000         0
1404.68/1405.19	c       541       651    740.10     86.84      8.52   1000000         0
1406.49/1406.98	c       507       819    761.60     96.10      7.92   1000000         0
1408.28/1408.77	c       523       706    746.11     82.48      9.05   1000000         0
1410.08/1410.55	c       507       840    721.94     89.11      8.10   1000000         0
1411.89/1412.34	c       486       635    742.36     81.26      9.14   1000000         0
1413.68/1414.13	c       486       670    756.33     99.16      7.63   1000000         0
1415.48/1415.91	c       482       697    724.24     91.07      7.95   1000000         0
1417.18/1417.69	c       501       680    745.55     93.30      7.99   1000000         0
1418.98/1419.47	c       508       673    722.80     88.02      8.21   1000000         0
1420.78/1421.25	c       492       727    736.52    100.96      7.30   1000000         0
1422.58/1423.03	c       511       647    734.16     98.22      7.47   1000000         0
1424.38/1424.82	c       469       675    749.43     94.68      7.92   1000000         0
1426.08/1426.59	c       484       681    728.14     87.14      8.36   1000000         0
1427.87/1428.39	c       541       739    745.35     95.09      7.84   1000000         0
1429.67/1430.18	c       534       649    755.04     82.24      9.18   1000000         0
1431.47/1431.96	c       541       767    742.63     88.42      8.40   1000000         0
1433.27/1433.74	c       507       727    746.68     91.29      8.18   1000000         0
1435.08/1435.53	c       472       733    738.09     87.92      8.39   1000000         0
1436.87/1437.32	c       451       768    743.87    118.20      6.29   1000000         0
1438.57/1439.09	c       524       756    746.59     99.07      7.54   1000000         0
1440.37/1440.88	c       513       669    745.65    102.90      7.25   1000000         0
1442.17/1442.66	c       494       619    735.67    106.22      6.93   1000000         0
1443.97/1444.44	c       495       766    728.48     87.42      8.33   1000000         0
1445.77/1446.23	c       552       656    737.84     87.97      8.39   1000000         0
1447.57/1448.02	c       493       804    745.44    108.52      6.87   1000000         0
1449.37/1449.81	c       540       767    743.63     87.61      8.49   1000000         0
1451.07/1451.58	c       533       740    731.86    100.92      7.25   1000000         0
1452.87/1453.37	c       466       765    725.40     86.40      8.40   1000000         0
1454.67/1455.16	c       517       726    755.32     95.90      7.88   1000000         0
1456.47/1456.94	c       500       779    733.16     91.87      7.98   1000000         0
1458.27/1458.72	c       525       863    742.95     87.00      8.54   1000000         0
1460.07/1460.50	c       491       788    741.37     85.54      8.67   1000000         0
1461.76/1462.28	c       524       716    732.40     87.28      8.39   1000000         0
1463.57/1464.07	c       523       744    744.63     83.79      8.89   1000000         0
1465.36/1465.85	c       476       796    745.27     91.64      8.13   1000000         0
1467.16/1467.62	c       512       887    723.13     81.89      8.83   1000000         0
1468.96/1469.40	c       521       764    745.64    107.19      6.96   1000000         0
1470.76/1471.20	c       542       733    761.97     92.18      8.27   1000000         0
1472.47/1472.97	c       505       651    735.64     82.77      8.89   1000000         0
1474.26/1474.75	c       476       633    733.38     86.02      8.53   1000000         0
1476.06/1476.54	c       472       848    748.90    111.31      6.73   1000000         0
1477.87/1478.33	c       527       742    754.83     97.68      7.73   1000000         0
1479.66/1480.12	c       506       872    742.22    100.53      7.38   1000000         0
1481.46/1481.91	c       518       601    741.80     98.41      7.54   1000000         0
1483.16/1483.69	c       469       709    739.46     97.21      7.61   1000000         0
1484.96/1485.49	c       505       735    760.45    118.17      6.44   1000000         0
1486.76/1487.27	c       549       731    752.68     77.02      9.77   1000000         0
1488.55/1489.07	c       524       689    762.11    103.64      7.35   1000000         0
1490.35/1490.84	c       489       681    711.87     89.16      7.98   1000000         0
1492.16/1492.63	c       508       755    732.70     71.54     10.24   1000000         0
1493.95/1494.41	c       490       721    720.68     86.72      8.31   1000000         0
1495.75/1496.20	c       516       820    745.92    103.73      7.19   1000000         0
1497.45/1497.97	c       508       710    742.09     74.21     10.00   1000000         0
1499.25/1499.76	c       515       647    750.76    100.77      7.45   1000000         0
1501.06/1501.54	c       499       661    731.69     88.09      8.31   1000000         0
1502.85/1503.32	c       524       713    739.22     90.36      8.18   1000000         0
1504.65/1505.11	c       524       754    745.00     82.72      9.01   1000000         0
1506.35/1506.89	c       522       693    734.70     81.50      9.01   1000000         0
1508.15/1508.68	c       496       676    745.73     93.84      7.95   1000000         0
1509.95/1510.46	c       487       735    733.65    103.64      7.08   1000000         0
1511.75/1512.24	c       452       749    730.75     88.85      8.22   1000000         0
1513.55/1514.01	c       489       629    725.47     78.14      9.28   1000000         0
1515.25/1515.79	c       519       586    727.86     81.86      8.89   1000000         0
1517.05/1517.58	c       537       660    750.18     89.90      8.34   1000000         0
1518.85/1519.36	c       505       635    740.01     84.47      8.76   1000000         0
1520.65/1521.14	c       456       636    733.64     83.43      8.79   1000000         0
1522.44/1522.92	c       517       660    738.72     94.64      7.81   1000000         0
1524.24/1524.70	c       494       848    727.51     88.83      8.19   1000000         0
1525.94/1526.49	c       537       744    749.53     87.68      8.55   1000000         0
1527.74/1528.27	c       473       715    726.19     79.88      9.09   1000000         0
1529.55/1530.05	c       533       643    743.81     90.07      8.26   1000000         0
1531.34/1531.84	c       507       746    739.54    108.99      6.79   1000000         0
1533.14/1533.63	c       487       789    758.21    104.07      7.29   1000000         0
1534.94/1535.42	c       496       837    745.01    113.63      6.56   1000000         0
1536.74/1537.21	c       539       694    747.51     84.48      8.85   1000000         0
1538.54/1539.00	c       533       765    752.36    109.90      6.85   1000000         0
1540.24/1540.78	c       495       666    726.63     88.54      8.21   1000000         0
1542.04/1542.56	c       478       774    735.95    106.93      6.88   1000000         0
1543.85/1544.34	c       495       768    738.03     82.13      8.99   1000000         0
1545.64/1546.12	c       483       627    744.50     97.85      7.61   1000000         0
1547.44/1547.90	c       470       792    737.85     93.51      7.89   1000000         0
1549.14/1549.68	c       516       612    736.03     86.05      8.55   1000000         0
1550.94/1551.47	c       518       702    761.30     93.31      8.16   1000000         0
1552.74/1553.25	c       520       686    742.09    102.60      7.23   1000000         0
1554.54/1555.05	c       496       765    771.32     91.97      8.39   1000000         0
1556.33/1556.84	c       542       742    753.22     78.63      9.58   1000000         0
1558.14/1558.63	c       519       775    743.71     79.08      9.40   1000000         0
1559.93/1560.42	c       514       702    739.91     79.26      9.33   1000000         0
1561.73/1562.20	c       541       762    742.73     92.09      8.06   1000000         0
1563.43/1563.99	c       514       792    738.76     92.58      7.98   1000000         0
1565.23/1565.77	c       514       601    749.24     87.18      8.59   1000000         0
1567.04/1567.57	c       501       738    744.96     89.87      8.29   1000000         0
1568.83/1569.35	c       521       744    747.58     90.01      8.31   1000000         0
1570.63/1571.13	c       524       689    741.26     99.61      7.44   1000000         0
1572.44/1572.90	c       509       788    714.54     81.72      8.74   1000000         0
1574.13/1574.68	c       487       831    731.05    102.36      7.14   1000000         0
1575.93/1576.46	c       516       644    729.56     90.54      8.06   1000000         0
1577.73/1578.25	c       529       617    748.10     74.99      9.98   1000000         0
1579.53/1580.03	c       490       679    729.00     82.13      8.88   1000000         0
1581.33/1581.82	c       483       700    751.42    100.24      7.50   1000000         0
1583.13/1583.60	c       509       652    728.34     83.73      8.70   1000000         0
1584.83/1585.38	c       499       834    734.91     91.28      8.05   1000000         0
1586.63/1587.16	c       534       798    742.77     74.77      9.93   1000000         0
1588.43/1588.94	c       482       794    732.91     88.36      8.29   1000000         0
1590.22/1590.73	c       465       794    744.58     97.62      7.63   1000000         0
1592.02/1592.52	c       498       700    741.11     99.35      7.46   1000000         0
1593.82/1594.30	c       459       707    741.29    100.99      7.34   1000000         0
1595.53/1596.09	c       539       737    753.18     83.15      9.06   1000000         0
1597.32/1597.88	c       520       921    733.61     91.60      8.01   1000000         0
1599.12/1599.66	c       522       692    737.96     82.63      8.93   1000000         0
1600.92/1601.45	c       528       841    750.72     94.86      7.91   1000000         0
1602.72/1603.24	c       512       654    740.23     81.17      9.12   1000000         0
1604.52/1605.02	c       426       683    758.99     89.62      8.47   1000000         0
1606.32/1606.81	c       511       707    742.42     91.32      8.13   1000000         0
1608.02/1608.59	c       526       651    741.04     78.98      9.38   1000000         0
1609.82/1610.38	c       518       802    736.91     87.32      8.44   1000000         0
1611.62/1612.18	c       548       871    762.09     94.41      8.07   1000000         0
1613.42/1613.96	c       503       770    735.58     89.29      8.24   1000000         0
1615.22/1615.75	c       493       627    740.98     82.50      8.98   1000000         0
1617.02/1617.54	c       533       643    749.55     93.60      8.01   1000000         0
1618.81/1619.30	c       484       686    723.29     78.64      9.20   1000000         0
1620.51/1621.09	c       471       751    731.51    101.09      7.24   1000000         0
1622.31/1622.87	c       508       759    731.96     88.09      8.31   1000000         0
1624.12/1624.64	c       470       879    718.00     83.86      8.56   1000000         0
1625.91/1626.42	c       510       758    736.89     76.45      9.64   1000000         0
1627.71/1628.20	c       533       747    752.87     80.89      9.31   1000000         0
1629.41/1629.98	c       526       700    734.74     99.95      7.35   1000000         0
1631.21/1631.78	c       507       775    753.15    100.17      7.52   1000000         0
1633.02/1633.57	c       492       702    757.45     98.88      7.66   1000000         0
1634.81/1635.36	c       512       620    741.77     96.52      7.69   1000000         0
1636.61/1637.14	c       507       627    738.20     96.15      7.68   1000000         0
1638.42/1638.92	c       452       802    737.49     84.59      8.72   1000000         0
1640.21/1640.72	c       513       749    745.10     90.85      8.20   1000000         0
1642.01/1642.50	c       494       699    752.82     88.24      8.53   1000000         0
1643.71/1644.29	c       508       806    723.59     78.08      9.27   1000000         0
1645.51/1646.07	c       518       727    747.43    109.97      6.80   1000000         0
1647.31/1647.85	c       504       840    744.41     78.23      9.52   1000000         0
1649.11/1649.64	c       485       741    747.52     89.41      8.36   1000000         0
1650.90/1651.43	c       526       849    750.05     97.04      7.73   1000000         0
1652.71/1653.24	c       487       747    763.57    117.41      6.50   1000000         0
1654.50/1655.02	c       523       752    734.51     92.03      7.98   1000000         0
1656.20/1656.79	c       519       562    733.21     88.22      8.31   1000000         0
1658.00/1658.58	c       512       902    767.80     89.54      8.58   1000000         0
1659.80/1660.36	c       514       689    739.63     78.15      9.46   1000000         0
1661.61/1662.15	c       515       684    735.35     88.72      8.29   1000000         0
1663.40/1663.94	c       525       605    742.74     87.18      8.52   1000000         0
1665.20/1665.72	c       518       836    734.26     94.24      7.79   1000000         0
1667.01/1667.51	c       485       836    743.44     93.91      7.92   1000000         0
1668.80/1669.30	c       512       872    734.96     80.74      9.10   1000000         0
1670.50/1671.08	c       535       644    730.76     95.55      7.65   1000000         0
1672.30/1672.86	c       488       757    736.64     81.85      9.00   1000000         0
1674.10/1674.64	c       505       737    732.29     80.02      9.15   1000000         0
1675.91/1676.41	c       470       671    718.22     92.49      7.77   1000000         0
1677.70/1678.20	c       548       619    756.77     96.60      7.83   1000000         0
1679.40/1679.98	c       514       704    740.55     99.92      7.41   1000000         0
1681.20/1681.76	c       495       700    722.66    100.49      7.19   1000000         0
1683.00/1683.55	c       531       744    753.37     94.99      7.93   1000000         0
1684.79/1685.34	c       475       782    747.25     89.68      8.33   1000000         0
1686.59/1687.11	c       496       617    711.39     95.74      7.43   1000000         0
1688.29/1688.89	c       467       702    731.35     80.69      9.06   1000000         0
1690.10/1690.67	c       482       819    740.52     92.67      7.99   1000000         0
1691.89/1692.45	c       487       689    725.08     90.07      8.05   1000000         0
1693.69/1694.23	c       502       616    736.32     82.90      8.88   1000000         0
1695.49/1696.01	c       495       697    749.60    102.54      7.31   1000000         0
1697.29/1697.80	c       544       698    751.20     87.67      8.57   1000000         0
1699.09/1699.60	c       544       715    760.30     84.11      9.04   1000000         0
1700.79/1701.38	c       501       648    742.89     90.43      8.22   1000000         0
1702.59/1703.16	c       504       633    726.02     81.27      8.93   1000000         0
1704.40/1704.95	c       504       728    740.12     91.20      8.12   1000000         0
1706.19/1706.73	c       497       686    745.91    106.01      7.04   1000000         0
1707.99/1708.52	c       501       675    737.13     98.25      7.50   1000000         0
1709.79/1710.31	c       524       668    751.45     82.85      9.07   1000000         0
1711.59/1712.10	c       511       838    752.08     98.99      7.60   1000000         0
1713.29/1713.89	c       535       831    760.58     82.13      9.26   1000000         0
1715.09/1715.68	c       495       757    755.76     98.45      7.68   1000000         0
1716.89/1717.46	c       508       701    733.17     85.03      8.62   1000000         0
1718.69/1719.24	c       490       826    728.08     97.07      7.50   1000000         0
1720.48/1721.03	c       561       649    759.96     92.35      8.23   1000000         0
1722.28/1722.82	c       524       861    741.22     90.52      8.19   1000000         0
1724.08/1724.61	c       507       751    745.71     88.74      8.40   1000000         0
1725.88/1726.40	c       513       648    753.17     90.39      8.33   1000000         0
1727.59/1728.18	c       518       800    741.37     77.96      9.51   1000000         0
1729.38/1729.97	c       531       694    729.14     89.15      8.18   1000000         0
1731.18/1731.76	c       487       711    758.06     88.76      8.54   1000000         0
1732.99/1733.56	c       504       718    763.88     99.84      7.65   1000000         0
1734.78/1735.34	c       544       746    740.48     77.57      9.55   1000000         0
1736.58/1737.13	c       500       770    746.00     99.28      7.51   1000000         0
1738.38/1738.91	c       486       775    742.46    116.14      6.39   1000000         0
1740.18/1740.70	c       514       715    745.49     96.77      7.70   1000000         0
1741.89/1742.48	c       507       690    745.72     82.04      9.09   1000000         0
1743.68/1744.27	c       514       679    743.63     97.38      7.64   1000000         0
1745.48/1746.05	c       528       694    746.29     82.21      9.08   1000000         0
1747.28/1747.84	c       490       673    751.64     94.42      7.96   1000000         0
1749.08/1749.63	c       481       738    746.60    108.94      6.85   1000000         0
1750.88/1751.41	c       536       644    740.65     88.07      8.41   1000000         0
1752.67/1753.20	c       515       689    751.08     99.74      7.53   1000000         0
1754.37/1754.99	c       507       763    749.55    104.16      7.20   1000000         0
1756.18/1756.76	c       502       725    728.77     92.55      7.87   1000000         0
1757.97/1758.56	c       521       823    765.00     84.58      9.04   1000000         0
1759.77/1760.34	c       487       717    733.52     99.98      7.34   1000000         0
1761.58/1762.14	c       574       670    768.63     76.92      9.99   1000000         0
1763.37/1763.92	c       536       857    742.33     99.78      7.44   1000000         0
1765.17/1765.70	c       527       635    733.74     81.85      8.96   1000000         0
1766.87/1767.49	c       523       717    750.11     84.31      8.90   1000000         0
1768.67/1769.26	c       500       754    727.83     94.46      7.71   1000000         0
1770.48/1771.05	c       513       656    732.19     97.89      7.48   1000000         0
1772.27/1772.84	c       444       737    740.81     80.73      9.18   1000000         0
1774.07/1774.62	c       503       734    738.04     82.85      8.91   1000000         0
1775.88/1776.40	c       475       594    725.65     91.15      7.96   1000000         0
1777.57/1778.18	c       509       779    745.34    102.65      7.26   1000000         0
1779.37/1779.96	c       524       750    741.83     80.99      9.16   1000000         0
1781.17/1781.74	c       550       719    740.33     83.08      8.91   1000000         0
1782.97/1783.53	c       537       574    741.72     84.10      8.82   1000000         0
1784.77/1785.31	c       520       780    738.47     93.90      7.86   1000000         0
1786.46/1787.09	c       504       727    739.32     87.13      8.48   1000000         0
1788.26/1788.87	c       516       849    738.23     87.35      8.45   1000000         0
1790.06/1790.66	c       538       662    756.51     83.89      9.02   1000000         0
1791.86/1792.44	c       486       726    731.88     99.00      7.39   1000000         0
1793.66/1794.22	c       495       870    739.00     91.71      8.06   1000000         0
1795.46/1796.00	c       496       667    732.86     90.57      8.09   1000000         0
1797.16/1797.79	c       495       888    751.40     95.13      7.90   1000000         0
1798.97/1799.57	c       470       740    748.52     99.13      7.55   1000000         0
1800.08/1800.61	HOME/run: line 2: 21414 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-2685280-1278440459/watcher-2685280-1278440459 -o /tmp/evaluation-result-2685280-1278440459/solver-2685280-1278440459 -C 1800 -W 2000 -M 1800 run HOME/instance-2685280-1278440459.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.09 1.12 1.16 3/105 21413
/proc/meminfo: memFree=1733272/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0

[startup+0.0159221 s]
/proc/loadavg: 1.09 1.12 1.16 3/105 21413
/proc/meminfo: memFree=1733272/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100912 s]
/proc/loadavg: 1.09 1.12 1.16 3/105 21413
/proc/meminfo: memFree=1733272/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300934 s]
/proc/loadavg: 1.09 1.12 1.16 3/105 21413
/proc/meminfo: memFree=1733272/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700979 s]
/proc/loadavg: 1.09 1.12 1.16 3/105 21413
/proc/meminfo: memFree=1733272/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50107 s]
/proc/loadavg: 1.09 1.12 1.16 2/107 21415
/proc/meminfo: memFree=1726312/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1.48
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1788 0 0 0 148 0 0 0 25 0 1 0 12254217 41422848 1717 1992294400 134512640 135071400 4291746480 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1717 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10125 s]
/proc/loadavg: 1.09 1.12 1.16 2/107 21415
/proc/meminfo: memFree=1726064/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=3.08
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 308 0 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30162 s]
/proc/loadavg: 1.08 1.11 1.16 2/107 21415
/proc/meminfo: memFree=1726064/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=6.28
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 628 0 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7014 s]
/proc/loadavg: 1.07 1.11 1.16 2/107 21415
/proc/meminfo: memFree=1725816/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=12.68
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 1268 0 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5008 s]
/proc/loadavg: 1.06 1.11 1.16 2/107 21415
/proc/meminfo: memFree=1725816/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=25.48
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 2548 0 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1007 s]
/proc/loadavg: 1.04 1.10 1.16 2/107 21416
/proc/meminfo: memFree=1725816/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=51.07
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 5107 0 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.01 1.08 1.15 2/107 21417
/proc/meminfo: memFree=1725568/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=102.27
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 10226 1 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.3 s]
/proc/loadavg: 1.00 1.06 1.13 2/107 21419
/proc/meminfo: memFree=1725444/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=162.24
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 16223 1 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.05 1.12 2/107 21420
/proc/meminfo: memFree=1725444/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=222.22
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 22221 1 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.11 2/107 21422
/proc/meminfo: memFree=1725444/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=282.21
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 28220 1 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.10 2/107 21424
/proc/meminfo: memFree=1725444/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=342.19
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 34218 1 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526033 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.09 2/107 21425
/proc/meminfo: memFree=1725320/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=402.17
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 40216 1 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=21414] ppid=21413 vsize=40452 CPUtime=1061.97
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 106195 2 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526068 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 21444
/proc/meminfo: memFree=1724080/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1121.96
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 112194 2 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134537219 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 21446
/proc/meminfo: memFree=1723832/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1181.94
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 118192 2 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 21448
/proc/meminfo: memFree=1723584/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1241.92
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 124190 2 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21449
/proc/meminfo: memFree=1723460/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1301.91
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 130189 2 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21451
/proc/meminfo: memFree=1723460/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1361.89
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 136186 3 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21452
/proc/meminfo: memFree=1723460/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1421.88
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 142185 3 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21454
/proc/meminfo: memFree=1723336/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1481.86
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 148183 3 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21456
/proc/meminfo: memFree=1723336/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1541.84
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 154181 3 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21457
/proc/meminfo: memFree=1723088/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1601.82
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 160179 3 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21459
/proc/meminfo: memFree=1722964/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1661.8
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 166177 3 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526068 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21460
/proc/meminfo: memFree=1722840/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1721.78
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 172175 3 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21462
/proc/meminfo: memFree=1722468/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1781.77
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 178174 3 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21463
/proc/meminfo: memFree=1722468/2059040 swapFree=4192956/4192956
[pid=21413] ppid=21411 vsize=8700 CPUtime=0
/proc/21413/stat : 21413 (run) S 21411 21413 20498 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12254217 8908800 244 1992294400 4194304 4922060 140734810458336 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21413/statm: 2175 244 204 178 0 68 0
[pid=21414] ppid=21413 vsize=40452 CPUtime=1800.08
/proc/21414/stat : 21414 (PB-wave) R 21413 21413 20498 0 -1 4202496 1796 0 0 0 180005 3 0 0 25 0 1 0 12254217 41422848 1725 1992294400 134512640 135071400 4291746480 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21414/statm: 10113 1725 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
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.09
CPU user time (s): 1800.05
CPU system time (s): 0.038994
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.86956 second user time and 8.69068 second system time

The end

Launcher Data 

Begin job on node088 at 2010-07-06 20:20:59
IDJOB=2685280
IDBENCH=75189
IDSOLVER=1171
FILE ID=node088/2685280-1278440459
PBS_JOBID= 11233437
Free space on /tmp= 62504 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j9042_5-sat.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685280-1278440459/watcher-2685280-1278440459 -o /tmp/evaluation-result-2685280-1278440459/solver-2685280-1278440459 -C 1800 -W 2000 -M 1800  run HOME/instance-2685280-1278440459.opb

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

MD5SUM BENCH= 8048d3650a4dec13958e80d3e959e2ad
RANDOM SEED=360057434

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1733792 kB
Buffers:         17272 kB
Cached:         173208 kB
SwapCached:          0 kB
Active:          87652 kB
Inactive:       162860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1733792 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2976 kB
Writeback:           0 kB
AnonPages:       60120 kB
Mapped:          14588 kB
Slab:            53032 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178900 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= 62500 MiB
End job on node088 at 2010-07-06 20:51:00