Trace number 2685182

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-wave alpha 2? (TO) 1800.1 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9039_3-unsat.opb
MD5SUMfc45b70f2bffc38ba49073a3c4955a67
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.212967
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15106
Total number of constraints51849
Number of constraints which are clauses51521
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints328
Minimum length of a constraint1
Maximum length of a constraint50
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 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 335
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.13	c PB-wave - v2
0.00/0.13	c command line = ./PB-wave
0.00/0.13	c seed = 113396449
0.00/0.13	c cutoff = 1000000
0.00/0.13	c tries = 1000000
0.00/0.13	c heuristic = c best, noise 50 / 100
0.00/0.13	#var 15106 #con 51849
0.00/0.13	mode is SAT
0.00/0.13	c tail starts after flip = 45318
0.00/0.13	c numatom = 15106, numclause = 51849, numliterals = 124283
0.00/0.13	c wff read in
0.00/0.13	c 
0.00/0.13	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.13	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.13	c       this      this      this      this      this      this   success   success       until         std
0.00/0.13	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.13	c
1.69/1.72	c       260       656    526.64    102.78      5.12   1000000         0
3.29/3.31	c       297       489    513.44     97.48      5.27   1000000         0
4.89/4.90	c       295       454    519.39     93.99      5.53   1000000         0
6.39/6.49	c       269       391    514.20    104.18      4.94   1000000         0
7.99/8.08	c       314       546    516.51     98.23      5.26   1000000         0
9.59/9.67	c       263       470    499.38     89.75      5.56   1000000         0
11.18/11.26	c       341       556    525.90     93.20      5.64   1000000         0
12.78/12.85	c       295       566    517.41     92.18      5.61   1000000         0
14.39/14.43	c       286       488    514.12    104.37      4.93   1000000         0
15.98/16.02	c       282       589    524.53     94.19      5.57   1000000         0
17.59/17.61	c       290       460    520.17    107.31      4.85   1000000         0
19.18/19.20	c       306       480    522.26    109.11      4.79   1000000         0
20.68/20.78	c       281       465    511.64     99.69      5.13   1000000         0
22.28/22.37	c       263       441    519.01     95.21      5.45   1000000         0
23.88/23.96	c       270       548    515.09     99.02      5.20   1000000         0
25.48/25.55	c       296       480    525.60    108.97      4.82   1000000         0
27.08/27.13	c       300       515    527.80    113.55      4.65   1000000         0
28.69/28.71	c       286       500    502.63     97.95      5.13   1000000         0
30.18/30.29	c       241       432    504.66     99.76      5.06   1000000         0
31.78/31.88	c       261       477    511.76     93.26      5.49   1000000         0
33.38/33.46	c       262       450    506.73    101.40      5.00   1000000         0
34.98/35.05	c       260       441    503.38    106.89      4.71   1000000         0
36.58/36.65	c       321       443    522.10     89.73      5.82   1000000         0
38.18/38.23	c       249       573    516.08    104.05      4.96   1000000         0
39.78/39.82	c       290       371    510.84    107.02      4.77   1000000         0
41.38/41.41	c       314       520    519.53    110.43      4.70   1000000         0
42.88/43.00	c       326       729    514.11     86.45      5.95   1000000         0
44.48/44.58	c       314       530    501.28     94.66      5.30   1000000         0
46.07/46.16	c       299       448    521.34    112.32      4.64   1000000         0
47.67/47.76	c       326       577    531.03     94.63      5.61   1000000         0
49.27/49.35	c       293       563    530.63     85.69      6.19   1000000         0
50.87/50.93	c       280       627    513.67     88.85      5.78   1000000         0
52.47/52.52	c       310       548    506.73     92.72      5.47   1000000         0
54.07/54.10	c       293       463    518.03     90.10      5.75   1000000         0
55.57/55.69	c       289       501    525.36     95.38      5.51   1000000         0
57.18/57.28	c       253       431    506.89    106.18      4.77   1000000         0
58.77/58.87	c       301       597    522.44     93.00      5.62   1000000         0
60.37/60.47	c       328       465    528.21    102.95      5.13   1000000         0
61.97/62.06	c       321       521    515.95     92.01      5.61   1000000         0
63.57/63.66	c       302       560    541.78     99.86      5.43   1000000         0
65.17/65.25	c       264       478    525.95     99.25      5.30   1000000         0
66.77/66.84	c       297       428    520.01     94.85      5.48   1000000         0
68.37/68.43	c       264       568    525.86    115.41      4.56   1000000         0
69.97/70.02	c       294       523    504.94    109.79      4.60   1000000         0
71.58/71.61	c       286       429    518.34     89.26      5.81   1000000         0
73.07/73.19	c       291       439    511.91     87.71      5.84   1000000         0
74.67/74.78	c       286       620    519.36    103.17      5.03   1000000         0
76.27/76.37	c       302       508    514.86    105.42      4.88   1000000         0
77.87/77.96	c       318       566    521.76     93.78      5.56   1000000         0
79.47/79.55	c       281       532    529.07    112.70      4.69   1000000         0
81.07/81.14	c       298       432    514.64     86.91      5.92   1000000         0
82.67/82.74	c       272       606    534.35    137.72      3.88   1000000         0
84.27/84.32	c       292       505    506.16     83.13      6.09   1000000         0
85.87/85.91	c       311       545    522.32    109.58      4.77   1000000         0
87.46/87.51	c       316       502    523.74     99.93      5.24   1000000         0
89.07/89.10	c       305       453    522.72     96.09      5.44   1000000         0
90.56/90.68	c       309       541    519.32    109.77      4.73   1000000         0
92.16/92.27	c       239       460    510.26     78.34      6.51   1000000         0
93.76/93.86	c       298       547    531.35     94.14      5.64   1000000         0
95.36/95.45	c       298       554    513.15    100.37      5.11   1000000         0
96.96/97.04	c       319       531    517.25     82.13      6.30   1000000         0
98.56/98.63	c       266       477    530.81    103.53      5.13   1000000         0
100.17/100.22	c       291       531    527.34    108.43      4.86   1000000         0
101.76/101.81	c       283       524    521.21     93.40      5.58   1000000         0
103.37/103.40	c       325       629    527.38    112.18      4.70   1000000         0
104.96/105.00	c       310       471    530.56     98.94      5.36   1000000         0
106.46/106.58	c       279       612    518.39    111.85      4.63   1000000         0
108.06/108.18	c       297       499    526.87    106.90      4.93   1000000         0
109.66/109.77	c       316       489    521.62     95.65      5.45   1000000         0
111.26/111.36	c       326       575    517.46    103.80      4.99   1000000         0
112.86/112.95	c       298       658    526.81    100.45      5.24   1000000         0
114.46/114.54	c       259       383    536.28    118.81      4.51   1000000         0
116.06/116.13	c       322       566    531.39     90.05      5.90   1000000         0
117.66/117.72	c       271       442    514.99    106.45      4.84   1000000         0
119.26/119.30	c       302       502    508.68     87.07      5.84   1000000         0
120.76/120.89	c       328       432    520.59    101.38      5.13   1000000         0
122.35/122.48	c       321       443    517.98    101.01      5.13   1000000         0
123.95/124.07	c       255       598    519.22     99.71      5.21   1000000         0
125.55/125.65	c       261       440    515.50     94.02      5.48   1000000         0
127.15/127.24	c       299       560    506.44     98.72      5.13   1000000         0
128.76/128.82	c       288       424    512.69    106.80      4.80   1000000         0
130.35/130.41	c       292       590    519.90    108.69      4.78   1000000         0
131.96/132.00	c       279       583    524.11    111.02      4.72   1000000         0
133.45/133.59	c       295       445    528.24     95.80      5.51   1000000         0
135.05/135.18	c       295       494    517.90     98.59      5.25   1000000         0
136.65/136.77	c       325       539    542.29     88.76      6.11   1000000         0
138.25/138.36	c       288       497    508.73    104.07      4.89   1000000         0
139.85/139.95	c       279       538    518.65     88.75      5.84   1000000         0
141.45/141.53	c       322       583    523.18    112.07      4.67   1000000         0
143.06/143.12	c       267       497    522.79    106.82      4.89   1000000         0
144.65/144.71	c       289       505    520.52     97.20      5.36   1000000         0
146.25/146.31	c       338       488    526.59     87.01      6.05   1000000         0
147.75/147.89	c       320       513    515.03     91.02      5.66   1000000         0
149.35/149.48	c       273       634    517.80    101.30      5.11   1000000         0
150.95/151.06	c       293       434    503.52     97.58      5.16   1000000         0
152.55/152.64	c       294       488    507.88    109.79      4.63   1000000         0
154.15/154.23	c       299       454    513.51     88.49      5.80   1000000         0
155.74/155.82	c       318       496    514.14     91.64      5.61   1000000         0
157.25/157.40	c       304       461    517.98    105.58      4.91   1000000         0
158.84/158.98	c       270       532    518.36    103.17      5.02   1000000         0
160.44/160.57	c       291       494    510.28    104.85      4.87   1000000         0
162.04/162.16	c       288       519    512.88    107.78      4.76   1000000         0
163.64/163.75	c       237       440    518.20     95.46      5.43   1000000         0
165.24/165.34	c       299       457    536.28     94.53      5.67   1000000         0
166.84/166.93	c       303       573    520.88    112.08      4.65   1000000         0
168.44/168.51	c       284       489    524.50     94.93      5.53   1000000         0
170.04/170.11	c       310       341    526.15     96.35      5.46   1000000         0
171.55/171.70	c       309       435    513.49    104.56      4.91   1000000         0
173.14/173.28	c       297       436    495.24     96.96      5.11   1000000         0
174.74/174.87	c       288       458    520.57    106.40      4.89   1000000         0
176.34/176.46	c       292       521    521.57    100.90      5.17   1000000         0
177.94/178.04	c       308       518    513.76     77.62      6.62   1000000         0
179.54/179.63	c       254       502    512.14    121.30      4.22   1000000         0
181.14/181.21	c       276       516    519.39    103.00      5.04   1000000         0
182.65/182.79	c       269       572    502.94     99.73      5.04   1000000         0
184.24/184.38	c       302       526    520.90    104.81      4.97   1000000         0
185.84/185.96	c       296       561    496.92    104.57      4.75   1000000         0
187.44/187.55	c       339       541    521.32     93.47      5.58   1000000         0
189.04/189.14	c       323       542    539.15     94.35      5.71   1000000         0
190.64/190.72	c       294       483    496.58     96.56      5.14   1000000         0
192.24/192.31	c       297       525    517.29    109.97      4.70   1000000         0
193.84/193.91	c       287       555    524.25    103.04      5.09   1000000         0
195.44/195.50	c       297       562    514.76    105.52      4.88   1000000         0
196.94/197.09	c       311       400    512.00    103.67      4.94   1000000         0
198.53/198.68	c       288       525    520.73    118.24      4.40   1000000         0
200.14/200.27	c       309       478    525.68    112.86      4.66   1000000         0
201.73/201.87	c       315       521    526.00     98.72      5.33   1000000         0
203.33/203.46	c       290       498    528.78    108.55      4.87   1000000         0
204.93/205.04	c       303       528    507.20     87.16      5.82   1000000         0
206.53/206.63	c       259       403    514.52    101.26      5.08   1000000         0
208.13/208.22	c       318       408    537.22    118.24      4.54   1000000         0
209.73/209.81	c       285       472    525.47    103.28      5.09   1000000         0
211.33/211.40	c       310       498    529.18    112.45      4.71   1000000         0
212.83/212.99	c       326       437    525.67     96.67      5.44   1000000         0
214.44/214.57	c       280       498    508.08     97.43      5.21   1000000         0
216.03/216.16	c       294       549    506.12     88.31      5.73   1000000         0
217.63/217.75	c       288       346    519.93     99.75      5.21   1000000         0
219.23/219.33	c       251       540    507.63     95.12      5.34   1000000         0
220.83/220.92	c       304       401    504.77     94.96      5.32   1000000         0
222.43/222.51	c       284       499    520.91    115.87      4.50   1000000         0
223.93/224.09	c       321       627    515.58     89.73      5.75   1000000         0
225.53/225.68	c       279       593    510.95     91.75      5.57   1000000         0
227.13/227.27	c       300       403    529.90    124.60      4.25   1000000         0
228.73/228.86	c       288       490    518.72    104.37      4.97   1000000         0
230.32/230.44	c       298       494    508.75     89.60      5.68   1000000         0
231.92/232.03	c       335       479    522.07    107.24      4.87   1000000         0
233.52/233.62	c       336       467    532.75     99.45      5.36   1000000         0
235.12/235.22	c       291       560    538.85     98.56      5.47   1000000         0
236.72/236.81	c       299       582    524.04     92.42      5.67   1000000         0
238.32/238.40	c       233       393    504.53    102.10      4.94   1000000         0
239.83/239.99	c       270       482    522.81     91.15      5.74   1000000         0
241.42/241.58	c       292       645    526.17     96.40      5.46   1000000         0
243.03/243.16	c       297       485    506.17    102.74      4.93   1000000         0
244.62/244.74	c       272       550    509.24     88.53      5.75   1000000         0
246.22/246.31	c       282       452    506.37     84.55      5.99   1000000         0
247.82/247.90	c       276       552    521.81    101.95      5.12   1000000         0
249.42/249.50	c       276       581    523.78     90.85      5.77   1000000         0
250.92/251.09	c       309       414    514.98    100.80      5.11   1000000         0
252.52/252.68	c       254       614    517.67     94.58      5.47   1000000         0
254.13/254.27	c       290       461    513.95     96.53      5.32   1000000         0
255.72/255.85	c       295       554    510.79     86.17      5.93   1000000         0
257.32/257.44	c       304       439    517.49     93.47      5.54   1000000         0
258.92/259.03	c       305       485    524.59    105.38      4.98   1000000         0
260.52/260.62	c       323       494    531.50    103.19      5.15   1000000         0
262.12/262.20	c       297       446    520.73    110.24      4.72   1000000         0
263.62/263.79	c       307       486    503.60     95.16      5.29   1000000         0
265.22/265.38	c       294       576    521.92    101.15      5.16   1000000         0
266.81/266.97	c       294       473    516.63     92.43      5.59   1000000         0
268.42/268.56	c       309       495    515.42    108.86      4.73   1000000         0
270.01/270.15	c       261       556    515.61     97.46      5.29   1000000         0
271.62/271.75	c       262       488    518.84     97.17      5.34   1000000         0
273.21/273.34	c       276       554    525.52    104.66      5.02   1000000         0
274.81/274.94	c       344       549    542.48    105.75      5.13   1000000         0
276.41/276.53	c       295       475    524.64     99.65      5.26   1000000         0
278.01/278.11	c       262       536    499.65     91.20      5.48   1000000         0
279.61/279.71	c       234       566    518.48    100.33      5.17   1000000         0
281.21/281.30	c       272       539    531.38     93.09      5.71   1000000         0
282.72/282.87	c       275       515    489.47     92.29      5.30   1000000         0
284.31/284.46	c       242       420    524.96     87.31      6.01   1000000         0
285.92/286.05	c       301       570    512.77     98.64      5.20   1000000         0
287.51/287.64	c       312       470    519.46    110.05      4.72   1000000         0
289.11/289.23	c       318       571    518.19    102.67      5.05   1000000         0
290.71/290.82	c       299       489    526.73    110.70      4.76   1000000         0
292.31/292.41	c       309       582    518.07     99.98      5.18   1000000         0
293.81/293.99	c       279       471    507.27     94.26      5.38   1000000         0
295.41/295.58	c       279       540    511.91     92.69      5.52   1000000         0
297.01/297.17	c       305       497    517.36    110.56      4.68   1000000         0
298.61/298.75	c       306       546    517.76     87.40      5.92   1000000         0
300.21/300.34	c       271       575    522.92    105.26      4.97   1000000         0
301.81/301.93	c       320       443    524.97     92.75      5.66   1000000         0
303.40/303.52	c       304       449    512.24    102.86      4.98   1000000         0
305.00/305.11	c       285       458    512.59    103.23      4.97   1000000         0
306.50/306.70	c       283       535    514.75     89.69      5.74   1000000         0
308.10/308.28	c       262       516    524.04    103.28      5.07   1000000         0
309.70/309.88	c       307       535    533.12    118.31      4.51   1000000         0
311.31/311.47	c       239       403    506.56     91.99      5.51   1000000         0
312.90/313.06	c       248       592    532.42    107.22      4.97   1000000         0
314.51/314.64	c       282       628    499.50     91.16      5.48   1000000         0
316.10/316.23	c       305       463    523.65    101.65      5.15   1000000         0
317.70/317.82	c       275       577    501.87    118.01      4.25   1000000         0
319.30/319.40	c       302       546    525.93    100.70      5.22   1000000         0
320.80/320.99	c       255       579    521.23     91.26      5.71   1000000         0
322.40/322.57	c       246       484    501.20    110.67      4.53   1000000         0
324.00/324.16	c       304       546    516.69    122.43      4.22   1000000         0
325.61/325.75	c       313       416    519.00    105.18      4.93   1000000         0
327.20/327.33	c       316       425    523.35    102.69      5.10   1000000         0
328.81/328.92	c       303       508    510.83     91.39      5.59   1000000         0
330.40/330.50	c       280       395    511.45     97.08      5.27   1000000         0
331.90/332.09	c       265       580    509.41     92.32      5.52   1000000         0
333.50/333.69	c       262       638    544.04     98.48      5.52   1000000         0
335.10/335.28	c       283       534    515.45     97.36      5.29   1000000         0
336.70/336.86	c       232       386    504.06    104.14      4.84   1000000         0
338.30/338.45	c       299       539    502.96     97.65      5.15   1000000         0
339.90/340.04	c       311       493    509.32    108.94      4.68   1000000         0
341.50/341.63	c       286       523    516.31    117.09      4.41   1000000         0
343.10/343.21	c       298       543    514.72    102.09      5.04   1000000         0
344.69/344.80	c       272       408    511.44     92.04      5.56   1000000         0
346.19/346.39	c       280       605    524.71     90.56      5.79   1000000         0
347.79/347.98	c       302       470    520.43     97.88      5.32   1000000         0
349.39/349.57	c       320       486    508.82    102.71      4.95   1000000         0
350.99/351.16	c       312       458    529.74     91.18      5.81   1000000         0
352.59/352.76	c       305       627    524.27    114.85      4.56   1000000         0
354.20/354.34	c       263       559    512.45    101.85      5.03   1000000         0
355.79/355.94	c       323       512    529.24    101.72      5.20   1000000         0
357.40/357.53	c       265       463    516.59     94.90      5.44   1000000         0
358.99/359.12	c       309       547    524.79     80.98      6.48   1000000         0
360.59/360.72	c       312       517    523.20     98.46      5.31   1000000         0
362.19/362.32	c       280       523    531.21    114.41      4.64   1000000         0
363.79/363.91	c       296       533    538.49     90.24      5.97   1000000         0
365.39/365.51	c       304       506    527.11    110.50      4.77   1000000         0
366.89/367.09	c       304       506    497.03     90.32      5.50   1000000         0
368.50/368.67	c       292       509    503.38     94.88      5.31   1000000         0
370.09/370.25	c       325       487    518.03     95.86      5.40   1000000         0
371.69/371.84	c       269       424    518.13     97.16      5.33   1000000         0
373.29/373.43	c       297       536    524.93    107.80      4.87   1000000         0
374.89/375.03	c       322       481    526.52     96.89      5.43   1000000         0
376.49/376.62	c       287       387    536.02    117.04      4.58   1000000         0
378.09/378.22	c       212       452    521.96    103.69      5.03   1000000         0
379.69/379.82	c       272       546    533.28     93.98      5.67   1000000         0
381.29/381.40	c       271       420    513.16     94.71      5.42   1000000         0
382.79/382.99	c       313       515    510.51     83.98      6.08   1000000         0
384.38/384.58	c       301       463    518.49    111.36      4.66   1000000         0
385.99/386.17	c       277       494    525.46    100.44      5.23   1000000         0
387.58/387.76	c       279       430    526.31    115.97      4.54   1000000         0
389.18/389.35	c       334       520    523.46     85.52      6.12   1000000         0
390.78/390.94	c       261       539    514.36    109.61      4.69   1000000         0
392.38/392.53	c       285       446    520.13     85.93      6.05   1000000         0
393.98/394.11	c       261       452    496.90     97.55      5.09   1000000         0
395.58/395.71	c       316       462    524.71     99.96      5.25   1000000         0
397.09/397.29	c       292       514    515.94     89.91      5.74   1000000         0
398.68/398.88	c       293       532    519.01    112.22      4.62   1000000         0
400.29/400.46	c       260       521    510.60     98.79      5.17   1000000         0
401.88/402.06	c       315       495    539.38    102.28      5.27   1000000         0
403.48/403.65	c       274       479    517.39    103.50      5.00   1000000         0
405.08/405.24	c       320       575    526.84     81.48      6.47   1000000         0
406.68/406.82	c       256       537    511.81    109.27      4.68   1000000         0
408.28/408.42	c       308       536    525.04    105.45      4.98   1000000         0
409.88/410.01	c       316       563    521.80     98.60      5.29   1000000         0
411.48/411.61	c       285       467    521.04    107.59      4.84   1000000         0
412.98/413.19	c       296       500    506.99     97.08      5.22   1000000         0
414.58/414.79	c       317       417    519.85    112.94      4.60   1000000         0
416.17/416.39	c       277       507    530.00     93.18      5.69   1000000         0
417.77/417.99	c       276       474    516.62    103.46      4.99   1000000         0
419.37/419.58	c       264       482    527.91     97.07      5.44   1000000         0
420.97/421.17	c       324       529    529.10     90.12      5.87   1000000         0
422.57/422.76	c       277       483    505.06     90.23      5.60   1000000         0
424.17/424.34	c       308       494    516.56    104.24      4.96   1000000         0
425.77/425.93	c       292       445    517.43    103.48      5.00   1000000         0
427.37/427.52	c       304       694    523.59    102.51      5.11   1000000         0
428.98/429.11	c       321       561    511.92     94.13      5.44   1000000         0
430.57/430.70	c       222       457    529.22    126.15      4.20   1000000         0
432.07/432.29	c       282       578    513.69    101.77      5.05   1000000         0
433.67/433.87	c       255       629    507.94    109.63      4.63   1000000         0
435.27/435.47	c       323       507    539.38     92.55      5.83   1000000         0
436.87/437.06	c       304       482    513.29     98.44      5.21   1000000         0
438.47/438.65	c       305       475    523.52    104.22      5.02   1000000         0
440.07/440.23	c       249       515    512.96    108.63      4.72   1000000         0
441.67/441.83	c       324       591    531.81     96.58      5.51   1000000         0
443.27/443.42	c       307       435    528.58     82.25      6.43   1000000         0
444.87/445.00	c       251       517    511.11     95.63      5.34   1000000         0
446.37/446.59	c       293       571    529.16     94.35      5.61   1000000         0
447.96/448.19	c       301       528    533.03    106.67      5.00   1000000         0
449.56/449.77	c       275       439    514.42    115.16      4.47   1000000         0
451.16/451.36	c       297       442    517.83    102.38      5.06   1000000         0
452.76/452.96	c       250       538    521.67    122.72      4.25   1000000         0
454.36/454.55	c       283       498    524.56    109.33      4.80   1000000         0
455.96/456.14	c       312       595    512.00    120.60      4.25   1000000         0
457.57/457.73	c       304       451    528.20     97.30      5.43   1000000         0
459.16/459.32	c       301       469    526.30    115.01      4.58   1000000         0
460.77/460.90	c       251       501    497.67     97.37      5.11   1000000         0
462.26/462.49	c       264       399    511.27    104.56      4.89   1000000         0
463.86/464.08	c       284       439    521.86    103.03      5.07   1000000         0
465.46/465.67	c       321       499    529.26    105.44      5.02   1000000         0
467.06/467.27	c       274       440    528.06    103.83      5.09   1000000         0
468.66/468.86	c       261       455    528.05    122.04      4.33   1000000         0
470.26/470.45	c       288       520    519.61     98.02      5.30   1000000         0
471.87/472.04	c       288       513    525.28    101.21      5.19   1000000         0
473.46/473.63	c       302       485    523.79     94.60      5.54   1000000         0
475.07/475.21	c       238       556    525.69     94.19      5.58   1000000         0
476.66/476.80	c       282       393    514.08    104.53      4.92   1000000         0
478.16/478.39	c       296       574    504.90     87.35      5.78   1000000         0
479.76/479.97	c       290       406    516.53    102.23      5.05   1000000         0
481.36/481.56	c       293       590    515.70     90.71      5.69   1000000         0
482.96/483.16	c       306       516    536.00     95.72      5.60   1000000         0
484.56/484.75	c       281       521    522.83    108.25      4.83   1000000         0
486.16/486.35	c       305       547    526.15    105.56      4.98   1000000         0
487.76/487.94	c       336       362    524.71     99.75      5.26   1000000         0
489.36/489.52	c       282       487    506.76     96.47      5.25   1000000         0
490.95/491.10	c       261       607    521.14     88.42      5.89   1000000         0
492.45/492.69	c       272       482    520.97     98.12      5.31   1000000         0
494.05/494.28	c       276       428    530.36    119.74      4.43   1000000         0
495.65/495.86	c       281       447    503.15    118.57      4.24   1000000         0
497.25/497.46	c       268       567    528.48    111.24      4.75   1000000         0
498.85/499.05	c       279       566    518.78    111.18      4.67   1000000         0
500.46/500.64	c       285       453    512.54     96.06      5.34   1000000         0
502.05/502.24	c       292       514    530.39    108.43      4.89   1000000         0
503.66/503.82	c       301       446    514.02     97.55      5.27   1000000         0
505.25/505.41	c       293       632    512.45     93.99      5.45   1000000         0
506.85/507.00	c       296       531    523.86     91.98      5.70   1000000         0
508.35/508.58	c       300       484    518.13     87.93      5.89   1000000         0
509.95/510.18	c       295       433    543.21     94.41      5.75   1000000         0
511.55/511.77	c       284       353    519.49    105.12      4.94   1000000         0
513.15/513.36	c       272       436    516.62    103.73      4.98   1000000         0
514.75/514.97	c       285       541    534.24    109.43      4.88   1000000         0
516.35/516.55	c       307       448    510.45    103.68      4.92   1000000         0
517.95/518.13	c       251       518    511.83    115.73      4.42   1000000         0
519.55/519.71	c       260       535    519.64    116.61      4.46   1000000         0
521.15/521.30	c       312       584    523.88     93.23      5.62   1000000         0
522.65/522.89	c       282       546    511.53    102.12      5.01   1000000         0
524.25/524.48	c       319       470    524.06    100.77      5.20   1000000         0
525.85/526.06	c       298       419    514.84    108.15      4.76   1000000         0
527.44/527.65	c       301       527    534.12    106.79      5.00   1000000         0
529.05/529.24	c       277       498    531.51    103.60      5.13   1000000         0
530.64/530.83	c       315       500    526.38    102.02      5.16   1000000         0
532.25/532.42	c       224       502    507.45    104.18      4.87   1000000         0
533.84/534.01	c       312       528    522.64    109.30      4.78   1000000         0
535.44/535.60	c       273       540    516.82    107.34      4.81   1000000         0
536.94/537.20	c       290       580    536.53    106.58      5.03   1000000         0
538.54/538.79	c       261       625    536.63     96.16      5.58   1000000         0
540.14/540.38	c       294       582    519.87    106.56      4.88   1000000         0
541.74/541.97	c       332       548    529.75    100.56      5.27   1000000         0
543.35/543.56	c       270       495    506.87    114.98      4.41   1000000         0
544.94/545.14	c       285       568    508.23    100.64      5.05   1000000         0
546.55/546.73	c       278       502    506.83     97.65      5.19   1000000         0
548.14/548.32	c       272       410    511.62    107.25      4.77   1000000         0
549.74/549.90	c       263       452    499.96     99.78      5.01   1000000         0
551.24/551.48	c       283       469    498.80    104.48      4.77   1000000         0
552.84/553.07	c       286       451    513.05     98.86      5.19   1000000         0
554.44/554.66	c       295       602    512.36    107.26      4.78   1000000         0
556.04/556.25	c       305       460    522.90     72.93      7.17   1000000         0
557.64/557.83	c       253       649    511.80    105.04      4.87   1000000         0
559.24/559.42	c       296       520    502.35    104.37      4.81   1000000         0
560.84/561.01	c       319       608    518.78     85.20      6.09   1000000         0
562.34/562.59	c       299       430    511.31    117.04      4.37   1000000         0
563.94/564.18	c       296       539    514.71     87.36      5.89   1000000         0
565.54/565.76	c       314       566    529.46     90.56      5.85   1000000         0
567.13/567.36	c       272       443    523.00    109.30      4.78   1000000         0
568.73/568.95	c       275       522    515.80    103.11      5.00   1000000         0
570.33/570.53	c       313       403    523.31     82.44      6.35   1000000         0
571.94/572.13	c       329       597    534.09    107.59      4.96   1000000         0
573.53/573.71	c       280       501    516.30     91.86      5.62   1000000         0
575.14/575.30	c       305       552    516.43    114.78      4.50   1000000         0
576.73/576.90	c       345       504    540.75     97.32      5.56   1000000         0
578.23/578.49	c       320       471    526.32     90.96      5.79   1000000         0
579.83/580.09	c       317       458    529.23    115.18      4.59   1000000         0
581.43/581.68	c       312       446    516.11     88.46      5.83   1000000         0
583.03/583.28	c       306       549    535.99    109.09      4.91   1000000         0
584.63/584.86	c       311       420    516.46     92.34      5.59   1000000         0
586.24/586.45	c       302       430    527.15    102.67      5.13   1000000         0
587.83/588.04	c       294       476    525.84    103.20      5.10   1000000         0
589.44/589.63	c       267       424    520.92     92.00      5.66   1000000         0
591.03/591.22	c       285       455    501.16     93.05      5.39   1000000         0
592.63/592.80	c       281       574    503.54     90.01      5.59   1000000         0
594.13/594.40	c       284       514    540.15     99.62      5.42   1000000         0
595.73/595.98	c       280       514    517.38     99.15      5.22   1000000         0
597.33/597.57	c       305       594    518.43     90.21      5.75   1000000         0
598.93/599.16	c       292       555    517.59     92.65      5.59   1000000         0
600.53/600.75	c       285       583    508.08     90.20      5.63   1000000         0
602.13/602.34	c       302       516    537.23    103.88      5.17   1000000         0
603.73/603.92	c       278       420    505.53     91.01      5.55   1000000         0
605.32/605.51	c       286       388    516.28    103.31      5.00   1000000         0
606.82/607.09	c       292       494    514.64    100.80      5.11   1000000         0
608.42/608.69	c       232       566    535.40    111.70      4.79   1000000         0
610.02/610.27	c       258       384    514.85    103.37      4.98   1000000         0
611.62/611.87	c       314       444    535.46     88.83      6.03   1000000         0
613.22/613.46	c       304       551    527.88    109.59      4.82   1000000         0
614.83/615.05	c       286       457    525.34    112.25      4.68   1000000         0
616.42/616.65	c       278       560    525.52     96.89      5.42   1000000         0
618.03/618.24	c       276       505    517.54     99.34      5.21   1000000         0
619.62/619.82	c       331       606    504.50     93.53      5.39   1000000         0
621.22/621.42	c       319       570    527.43    101.16      5.21   1000000         0
622.82/623.01	c       302       579    516.55    103.71      4.98   1000000         0
624.32/624.59	c       269       531    510.30    120.21      4.25   1000000         0
625.92/626.18	c       308       364    514.40    102.42      5.02   1000000         0
627.52/627.76	c       254       408    521.06    100.86      5.17   1000000         0
629.13/629.36	c       303       502    524.42    101.78      5.15   1000000         0
630.72/630.94	c       294       551    520.91    110.62      4.71   1000000         0
632.32/632.53	c       303       499    520.41     94.71      5.49   1000000         0
633.92/634.11	c       274       523    510.65     92.09      5.55   1000000         0
635.52/635.70	c       310       374    515.35    100.09      5.15   1000000         0
637.02/637.29	c       301       602    527.04    108.76      4.85   1000000         0
638.62/638.89	c       252       762    520.58    110.34      4.72   1000000         0
640.22/640.47	c       302       587    516.66    115.04      4.49   1000000         0
641.82/642.06	c       313       494    516.94     94.82      5.45   1000000         0
643.42/643.65	c       276       576    524.98     89.33      5.88   1000000         0
645.01/645.24	c       256       508    510.54     98.94      5.16   1000000         0
646.62/646.82	c       271       409    524.24     88.42      5.93   1000000         0
648.21/648.41	c       320       530    517.34     90.56      5.71   1000000         0
649.81/650.00	c       248       418    515.09    118.32      4.35   1000000         0
651.31/651.59	c       290       442    527.01    129.99      4.05   1000000         0
652.91/653.19	c       292       405    528.18    100.37      5.26   1000000         0
654.51/654.79	c       324       395    533.73    126.95      4.20   1000000         0
656.11/656.37	c       321       474    522.56     98.55      5.30   1000000         0
657.72/657.97	c       321       445    517.00    104.53      4.95   1000000         0
659.31/659.56	c       306       412    520.15    101.58      5.12   1000000         0
660.92/661.14	c       293       415    515.73    105.39      4.89   1000000         0
662.51/662.73	c       289       620    520.49    112.18      4.64   1000000         0
664.11/664.31	c       270       623    506.79     97.47      5.20   1000000         0
665.71/665.90	c       294       450    509.12    104.27      4.88   1000000         0
667.21/667.49	c       329       379    526.35     94.71      5.56   1000000         0
668.81/669.08	c       269       447    520.46    114.83      4.53   1000000         0
670.41/670.67	c       328       492    521.81    101.40      5.15   1000000         0
672.01/672.26	c       291       498    529.72    101.82      5.20   1000000         0
673.61/673.85	c       299       416    528.36     82.19      6.43   1000000         0
675.21/675.44	c       286       514    517.65     97.82      5.29   1000000         0
676.81/677.03	c       285       416    523.31     91.34      5.73   1000000         0
678.40/678.62	c       300       434    519.90     91.82      5.66   1000000         0
680.00/680.21	c       310       366    510.77     88.31      5.78   1000000         0
681.50/681.79	c       317       523    522.97     84.39      6.20   1000000         0
683.10/683.40	c       319       490    536.50     96.10      5.58   1000000         0
684.70/684.99	c       311       529    534.11     99.33      5.38   1000000         0
686.31/686.58	c       295       493    527.02    106.66      4.94   1000000         0
687.90/688.16	c       261       477    506.18     87.89      5.76   1000000         0
689.51/689.75	c       303       592    515.59     93.29      5.53   1000000         0
691.10/691.34	c       303       523    510.22    101.71      5.02   1000000         0
692.70/692.94	c       272       518    530.91    109.17      4.86   1000000         0
694.30/694.52	c       298       486    503.04     90.19      5.58   1000000         0
695.90/696.11	c       295       588    519.64    110.65      4.70   1000000         0
697.50/697.70	c       295       607    536.15    107.14      5.00   1000000         0
699.00/699.28	c       257       551    496.72     90.97      5.46   1000000         0
700.61/700.87	c       226       591    514.68    118.77      4.33   1000000         0
702.20/702.45	c       304       501    510.20    105.20      4.85   1000000         0
703.81/704.03	c       285       433    504.43    111.13      4.54   1000000         0
705.40/705.62	c       283       534    513.66    101.66      5.05   1000000         0
707.00/707.21	c       284       537    520.37    100.37      5.18   1000000         0
708.50/708.80	c       287       548    507.12    103.88      4.88   1000000         0
710.10/710.38	c       318       502    514.77     86.83      5.93   1000000         0
711.70/711.97	c       251       442    512.43     90.52      5.66   1000000         0
713.30/713.56	c       322       547    521.80     91.75      5.69   1000000         0
714.90/715.15	c       330       480    523.36    101.20      5.17   1000000         0
716.50/716.75	c       337       467    526.46    102.91      5.12   1000000         0
718.10/718.34	c       321       546    539.03     94.67      5.69   1000000         0
719.69/719.93	c       312       555    508.27    112.06      4.54   1000000         0
721.29/721.51	c       341       437    515.03     92.49      5.57   1000000         0
722.89/723.10	c       287       515    524.12     96.29      5.44   1000000         0
724.39/724.69	c       316       621    543.11    122.51      4.43   1000000         0
725.99/726.28	c       312       595    517.24     94.68      5.46   1000000         0
727.59/727.87	c       287       568    524.12    111.78      4.69   1000000         0
729.20/729.46	c       290       528    522.23    105.23      4.96   1000000         0
730.79/731.05	c       291       426    521.71    104.72      4.98   1000000         0
732.40/732.64	c       289       572    519.54    107.58      4.83   1000000         0
733.99/734.22	c       307       478    520.26     84.04      6.19   1000000         0
735.59/735.82	c       292       449    527.28    112.32      4.69   1000000         0
737.19/737.40	c       291       621    517.58    101.57      5.10   1000000         0
738.69/738.99	c       308       439    524.18     82.21      6.38   1000000         0
740.29/740.58	c       303       558    524.59     96.04      5.46   1000000         0
741.89/742.18	c       291       539    530.97    105.09      5.05   1000000         0
743.49/743.76	c       311       646    510.13     83.22      6.13   1000000         0
745.09/745.36	c       307       570    531.86    112.80      4.72   1000000         0
746.69/746.95	c       302       488    524.26    113.53      4.62   1000000         0
748.29/748.54	c       334       513    522.62    110.72      4.72   1000000         0
749.88/750.13	c       289       528    526.65    102.11      5.16   1000000         0
751.48/751.72	c       297       456    530.63    105.31      5.04   1000000         0
753.08/753.32	c       283       547    542.10    119.59      4.53   1000000         0
754.69/754.91	c       302       577    518.62     91.45      5.67   1000000         0
756.19/756.49	c       256       522    520.65    105.48      4.94   1000000         0
757.80/758.07	c       296       496    516.77     92.89      5.56   1000000         0
759.39/759.66	c       313       442    520.81     93.43      5.57   1000000         0
761.00/761.25	c       300       380    522.07    107.60      4.85   1000000         0
762.59/762.85	c       314       393    534.05    106.82      5.00   1000000         0
764.19/764.44	c       273       449    519.28    101.84      5.10   1000000         0
765.79/766.04	c       294       563    522.79     96.62      5.41   1000000         0
767.39/767.62	c       284       595    518.92    106.26      4.88   1000000         0
768.99/769.21	c       304       491    528.13    114.15      4.63   1000000         0
770.59/770.81	c       328       626    535.94     97.41      5.50   1000000         0
772.10/772.39	c       283       482    507.63    110.49      4.59   1000000         0
773.69/773.99	c       311       487    531.92    108.49      4.90   1000000         0
775.29/775.58	c       310       539    521.09    122.90      4.24   1000000         0
776.89/777.17	c       306       529    511.10     91.13      5.61   1000000         0
778.49/778.76	c       289       436    517.30    103.97      4.98   1000000         0
780.09/780.36	c       324       411    514.99    116.87      4.41   1000000         0
781.69/781.94	c       260       489    511.12    101.33      5.04   1000000         0
783.28/783.52	c       283       544    499.54     88.52      5.64   1000000         0
784.88/785.11	c       317       497    517.19     89.55      5.78   1000000         0
786.39/786.70	c       291       427    503.40     96.07      5.24   1000000         0
787.98/788.28	c       296       411    507.47     90.85      5.59   1000000         0
789.59/789.87	c       312       465    525.97     98.10      5.36   1000000         0
791.18/791.45	c       290       461    507.75     90.14      5.63   1000000         0
792.78/793.04	c       318       541    510.08     98.36      5.19   1000000         0
794.38/794.63	c       320       451    525.15     95.81      5.48   1000000         0
795.98/796.22	c       291       514    529.10     96.32      5.49   1000000         0
797.58/797.82	c       327       472    527.14     90.50      5.82   1000000         0
799.18/799.41	c       291       523    515.50    111.94      4.61   1000000         0
800.69/800.99	c       266       592    512.51    121.04      4.23   1000000         0
802.28/802.57	c       295       541    507.69     99.76      5.09   1000000         0
803.89/804.17	c       322       497    544.54     91.61      5.94   1000000         0
805.48/805.77	c       300       600    523.69    101.44      5.16   1000000         0
807.08/807.36	c       285       504    516.05    108.91      4.74   1000000         0
808.68/808.94	c       306       457    505.16     99.98      5.05   1000000         0
810.28/810.52	c       268       536    508.14     95.20      5.34   1000000         0
811.88/812.11	c       321       467    529.23     89.29      5.93   1000000         0
813.38/813.69	c       270       518    504.10    106.59      4.73   1000000         0
814.98/815.29	c       313       436    522.01     85.62      6.10   1000000         0
816.58/816.87	c       278       444    503.71     99.40      5.07   1000000         0
818.18/818.45	c       337       473    520.51     87.87      5.92   1000000         0
819.78/820.04	c       319       568    518.12     93.45      5.54   1000000         0
821.38/821.63	c       304       471    517.35     87.68      5.90   1000000         0
822.97/823.22	c       322       434    528.84    102.94      5.14   1000000         0
824.57/824.81	c       304       414    516.31     89.44      5.77   1000000         0
826.07/826.39	c       241       437    508.80    122.26      4.16   1000000         0
827.67/827.98	c       296       440    506.54     89.43      5.66   1000000         0
829.28/829.57	c       274       515    524.76     97.31      5.39   1000000         0
830.87/831.15	c       284       469    514.14    103.71      4.96   1000000         0
832.48/832.74	c       249       463    515.73    139.93      3.69   1000000         0
834.07/834.34	c       295       343    520.76     97.70      5.33   1000000         0
835.67/835.93	c       305       468    514.44    103.63      4.96   1000000         0
837.27/837.51	c       270       402    511.81     91.99      5.56   1000000         0
838.87/839.10	c       317       494    531.03    108.89      4.88   1000000         0
840.37/840.69	c       267       532    524.57     97.13      5.40   1000000         0
841.97/842.28	c       251       379    517.91     95.40      5.43   1000000         0
843.58/843.87	c       267       507    518.14     99.30      5.22   1000000         0
845.17/845.47	c       263       510    522.06    110.45      4.73   1000000         0
846.78/847.05	c       304       433    523.25     91.02      5.75   1000000         0
848.37/848.64	c       315       520    517.91    113.65      4.56   1000000         0
849.97/850.23	c       291       456    522.14    105.85      4.93   1000000         0
851.57/851.81	c       302       471    512.01     91.28      5.61   1000000         0
853.17/853.40	c       287       506    540.70     98.66      5.48   1000000         0
854.67/854.98	c       276       504    505.47     89.52      5.65   1000000         0
856.27/856.58	c       299       482    531.49    105.52      5.04   1000000         0
857.87/858.16	c       295       636    513.46    123.29      4.16   1000000         0
859.46/859.75	c       257       466    514.61     87.74      5.87   1000000         0
861.07/861.33	c       286       500    504.10    112.75      4.47   1000000         0
862.66/862.93	c       331       499    538.23    104.78      5.14   1000000         0
864.26/864.52	c       300       524    519.72     84.46      6.15   1000000         0
865.86/866.12	c       333       537    528.03     88.88      5.94   1000000         0
867.36/867.70	c       259       456    496.24     95.47      5.20   1000000         0
868.96/869.28	c       279       582    512.36     83.86      6.11   1000000         0
870.56/870.87	c       285       549    513.35     90.55      5.67   1000000         0
872.17/872.45	c       250       515    508.65    104.11      4.89   1000000         0
873.76/874.04	c       238       624    510.86    122.33      4.18   1000000         0
875.37/875.63	c       227       533    526.43     91.78      5.74   1000000         0
876.96/877.22	c       275       535    532.44     96.24      5.53   1000000         0
878.56/878.81	c       271       470    516.47    115.00      4.49   1000000         0
880.06/880.39	c       276       505    513.08    117.45      4.37   1000000         0
881.66/881.98	c       280       439    513.50    101.60      5.05   1000000         0
883.26/883.57	c       263       458    521.92     90.21      5.79   1000000         0
884.86/885.16	c       300       532    527.32    102.52      5.14   1000000         0
886.47/886.74	c       247       439    511.73    108.02      4.74   1000000         0
888.06/888.33	c       261       548    518.59     86.07      6.03   1000000         0
889.66/889.92	c       290       495    526.94    104.33      5.05   1000000         0
891.26/891.51	c       282       505    521.54     91.86      5.68   1000000         0
892.76/893.09	c       264       541    506.97    101.10      5.01   1000000         0
894.36/894.67	c       273       440    498.34    103.01      4.84   1000000         0
895.96/896.25	c       229       437    496.72     86.82      5.72   1000000         0
897.56/897.84	c       321       522    521.13     88.70      5.88   1000000         0
899.16/899.43	c       318       594    524.95     85.12      6.17   1000000         0
900.76/901.02	c       306       531    525.47    129.56      4.06   1000000         0
902.35/902.61	c       290       524    526.00     97.41      5.40   1000000         0
903.96/904.21	c       315       465    531.91    118.65      4.48   1000000         0
905.45/905.80	c       297       521    509.09    103.91      4.90   1000000         0
907.05/907.38	c       298       435    511.77     85.83      5.96   1000000         0
908.65/908.95	c       266       703    502.01     89.46      5.61   1000000         0
910.25/910.54	c       303       500    519.52     95.91      5.42   1000000         0
911.85/912.13	c       305       656    532.62    110.74      4.81   1000000         0
913.45/913.73	c       248       532    529.63    106.07      4.99   1000000         0
915.06/915.32	c       327       551    522.02     92.80      5.63   1000000         0
916.65/916.91	c       286       544    512.45     96.56      5.31   1000000         0
918.26/918.50	c       316       632    513.35     93.34      5.50   1000000         0
919.75/920.09	c       284       549    521.66    102.07      5.11   1000000         0
921.35/921.68	c       274       646    527.05    113.99      4.62   1000000         0
922.95/923.26	c       275       492    504.65     94.96      5.31   1000000         0
924.55/924.84	c       263       486    502.60     91.71      5.48   1000000         0
926.15/926.44	c       299       479    530.90     95.90      5.54   1000000         0
927.75/928.02	c       308       594    517.85     93.20      5.56   1000000         0
929.35/929.62	c       319       425    536.12    101.52      5.28   1000000         0
930.95/931.22	c       308       481    530.35    117.65      4.51   1000000         0
932.55/932.81	c       309       523    522.32     97.82      5.34   1000000         0
934.14/934.40	c       300       391    516.99    109.18      4.74   1000000         0
935.64/935.99	c       300       532    515.90     86.54      5.96   1000000         0
937.24/937.58	c       275       494    520.93    118.73      4.39   1000000         0
938.84/939.17	c       236       443    520.74    119.25      4.37   1000000         0
940.44/940.77	c       339       413    532.72     97.17      5.48   1000000         0
942.04/942.37	c       280       473    539.47    115.60      4.67   1000000         0
943.65/943.96	c       282       507    525.11    105.77      4.96   1000000         0
945.24/945.56	c       324       494    533.87    122.60      4.35   1000000         0
946.85/947.15	c       301       495    515.53    105.85      4.87   1000000         0
948.44/948.73	c       282       546    518.02     96.65      5.36   1000000         0
950.04/950.32	c       273       637    521.09    115.51      4.51   1000000         0
951.64/951.92	c       304       337    514.61    112.17      4.59   1000000         0
953.24/953.51	c       306       476    526.04    105.02      5.01   1000000         0
954.74/955.09	c       310       463    529.18     95.71      5.53   1000000         0
956.34/956.69	c       297       475    529.57    103.75      5.10   1000000         0
957.95/958.27	c       280       463    514.42    107.87      4.77   1000000         0
959.54/959.87	c       294       523    538.47    106.06      5.08   1000000         0
961.14/961.45	c       295       450    520.96     80.71      6.45   1000000         0
962.74/963.03	c       289       528    504.34     82.05      6.15   1000000         0
964.34/964.62	c       311       484    520.96    110.27      4.72   1000000         0
965.94/966.21	c       242       534    520.15     90.34      5.76   1000000         0
967.54/967.80	c       290       464    526.08     88.43      5.95   1000000         0
969.04/969.39	c       288       726    524.42    114.32      4.59   1000000         0
970.64/970.97	c       316       359    517.99     92.10      5.62   1000000         0
972.24/972.56	c       293       561    523.79     96.37      5.44   1000000         0
973.83/974.14	c       275       552    505.69     85.26      5.93   1000000         0
975.44/975.73	c       314       578    515.08    106.37      4.84   1000000         0
977.03/977.31	c       276       569    506.63    102.32      4.95   1000000         0
978.53/978.89	c       295       493    512.44     96.25      5.32   1000000         0
980.13/980.48	c       337       461    523.84     81.09      6.46   1000000         0
981.73/982.07	c       293       470    514.85     95.18      5.41   1000000         0
983.33/983.66	c       203       470    519.35    101.39      5.12   1000000         0
984.93/985.25	c       287       520    517.08    104.12      4.97   1000000         0
986.54/986.84	c       297       452    526.86     90.38      5.83   1000000         0
988.13/988.43	c       297       545    526.85     98.02      5.38   1000000         0
989.74/990.02	c       298       409    527.36     88.99      5.93   1000000         0
991.33/991.61	c       277       437    509.66    105.80      4.82   1000000         0
992.93/993.20	c       312       591    517.77     94.02      5.51   1000000         0
994.43/994.79	c       268       458    514.25     85.52      6.01   1000000         0
996.03/996.38	c       288       457    526.96     89.59      5.88   1000000         0
997.63/997.97	c       315       492    531.40    120.52      4.41   1000000         0
999.23/999.57	c       296       383    533.30    127.98      4.17   1000000         0
1000.83/1001.17	c       289       440    531.49     97.06      5.48   1000000         0
1002.43/1002.76	c       335       460    544.22     90.57      6.01   1000000         0
1004.03/1004.35	c       342       547    538.29    114.95      4.68   1000000         0
1005.63/1005.94	c       312       482    509.19     99.61      5.11   1000000         0
1007.23/1007.53	c       258       508    522.58    116.13      4.50   1000000         0
1008.83/1009.12	c       324       396    534.01     90.20      5.92   1000000         0
1010.43/1010.70	c       281       511    499.19     94.81      5.27   1000000         0
1011.92/1012.29	c       306       534    529.03     85.83      6.16   1000000         0
1013.52/1013.87	c       299       503    508.46     99.37      5.12   1000000         0
1015.13/1015.45	c       308       464    503.96     81.17      6.21   1000000         0
1016.72/1017.05	c       343       504    549.13    111.91      4.91   1000000         0
1018.33/1018.65	c       322       448    520.91     89.59      5.81   1000000         0
1019.92/1020.22	c       300       472    497.33    103.77      4.79   1000000         0
1021.52/1021.82	c       266       505    531.92    109.47      4.86   1000000         0
1023.12/1023.40	c       301       421    514.49     94.67      5.43   1000000         0
1024.72/1025.00	c       303       528    532.38     98.01      5.43   1000000         0
1026.22/1026.58	c       293       510    510.57     83.82      6.09   1000000         0
1027.82/1028.16	c       307       594    523.95     89.14      5.88   1000000         0
1029.43/1029.75	c       285       568    522.83    105.97      4.93   1000000         0
1031.02/1031.34	c       322       465    508.85     85.79      5.93   1000000         0
1032.63/1032.94	c       313       487    529.00     99.77      5.30   1000000         0
1034.22/1034.53	c       329       493    517.98     92.12      5.62   1000000         0
1035.82/1036.13	c       301       578    536.74     94.31      5.69   1000000         0
1037.42/1037.72	c       268       504    520.44     87.76      5.93   1000000         0
1039.02/1039.31	c       318       472    516.44     98.50      5.24   1000000         0
1040.62/1040.91	c       195       486    523.82    119.11      4.40   1000000         0
1042.12/1042.50	c       299       441    508.52    109.75      4.63   1000000         0
1043.72/1044.09	c       339       690    525.57     89.89      5.85   1000000         0
1045.32/1045.67	c       246       507    503.84    113.03      4.46   1000000         0
1046.92/1047.25	c       306       548    504.56     95.75      5.27   1000000         0
1048.51/1048.84	c       309       477    530.50    104.71      5.07   1000000         0
1050.11/1050.44	c       279       468    523.70     90.49      5.79   1000000         0
1051.71/1052.02	c       270       459    500.02    104.55      4.78   1000000         0
1053.31/1053.60	c       259       514    511.88     98.91      5.17   1000000         0
1054.81/1055.18	c       305       535    512.48    106.33      4.82   1000000         0
1056.41/1056.77	c       321       397    511.33    100.34      5.10   1000000         0
1058.02/1058.36	c       261       488    519.15    110.65      4.69   1000000         0
1059.61/1059.94	c       282       563    518.99     93.01      5.58   1000000         0
1061.22/1061.53	c       275       564    524.68    104.17      5.04   1000000         0
1062.81/1063.13	c       335       583    535.83    103.15      5.19   1000000         0
1064.41/1064.72	c       295       560    529.53    100.84      5.25   1000000         0
1066.01/1066.32	c       286       523    520.83     93.23      5.59   1000000         0
1067.51/1067.89	c       311       570    509.17     77.96      6.53   1000000         0
1069.11/1069.48	c       297       364    511.94     93.79      5.46   1000000         0
1070.71/1071.07	c       287       457    519.36     99.08      5.24   1000000         0
1072.31/1072.65	c       291       557    515.46     90.52      5.69   1000000         0
1073.91/1074.25	c       311       455    525.36     89.02      5.90   1000000         0
1075.51/1075.84	c       319       527    531.68     99.98      5.32   1000000         0
1077.11/1077.43	c       295       481    532.87    104.35      5.11   1000000         0
1078.71/1079.02	c       282       514    517.87     94.41      5.49   1000000         0
1080.31/1080.61	c       325       524    518.81    111.00      4.67   1000000         0
1081.81/1082.19	c       287       566    511.31    102.01      5.01   1000000         0
1083.41/1083.78	c       308       525    530.53     92.62      5.73   1000000         0
1085.01/1085.37	c       275       589    516.46    106.11      4.87   1000000         0
1086.61/1086.97	c       305       579    536.01     84.41      6.35   1000000         0
1088.20/1088.57	c       300       488    535.26     94.41      5.67   1000000         0
1089.81/1090.15	c       312       461    525.16     97.11      5.41   1000000         0
1091.40/1091.74	c       291       549    517.62     99.46      5.20   1000000         0
1093.00/1093.33	c       273       431    523.71    110.02      4.76   1000000         0
1094.60/1094.92	c       300       560    522.95     98.61      5.30   1000000         0
1096.20/1096.51	c       283       533    515.83    100.61      5.13   1000000         0
1097.80/1098.10	c       243       632    518.15    110.93      4.67   1000000         0
1099.30/1099.69	c       327       574    518.09    100.94      5.13   1000000         0
1100.91/1101.27	c       292       504    514.00     84.88      6.06   1000000         0
1102.50/1102.87	c       302       594    519.55    109.30      4.75   1000000         0
1104.11/1104.46	c       294       536    521.27    109.30      4.77   1000000         0
1105.70/1106.05	c       303       389    518.57    125.01      4.15   1000000         0
1107.30/1107.63	c       265       435    523.57     91.70      5.71   1000000         0
1108.90/1109.22	c       274       639    521.81    117.19      4.45   1000000         0
1110.50/1110.81	c       305       475    523.50     88.27      5.93   1000000         0
1112.10/1112.40	c       296       572    523.98    106.43      4.92   1000000         0
1113.60/1113.99	c       280       401    515.69    101.94      5.06   1000000         0
1115.20/1115.59	c       332       459    539.57    102.58      5.26   1000000         0
1116.80/1117.17	c       304       594    505.70     92.29      5.48   1000000         0
1118.40/1118.77	c       245       701    529.86    105.55      5.02   1000000         0
1119.99/1120.36	c       326       702    529.51     92.80      5.71   1000000         0
1121.59/1121.95	c       283       430    508.17    109.16      4.66   1000000         0
1123.19/1123.54	c       294       526    508.57     88.55      5.74   1000000         0
1124.79/1125.13	c       313       455    512.95     90.75      5.65   1000000         0
1126.39/1126.73	c       216       594    525.97    128.48      4.09   1000000         0
1127.99/1128.31	c       296       451    516.82     97.72      5.29   1000000         0
1129.59/1129.90	c       316       410    522.06    107.68      4.85   1000000         0
1131.09/1131.49	c       324       529    507.90     80.37      6.32   1000000         0
1132.70/1133.07	c       316       387    514.49     91.81      5.60   1000000         0
1134.29/1134.66	c       276       636    516.28    108.63      4.75   1000000         0
1135.89/1136.26	c       349       502    545.27     97.10      5.62   1000000         0
1137.49/1137.85	c       276       611    527.52     97.10      5.43   1000000         0
1139.09/1139.45	c       321       564    533.88    114.06      4.68   1000000         0
1140.69/1141.05	c       308       475    538.88     99.56      5.41   1000000         0
1142.29/1142.63	c       306       579    522.71    102.51      5.10   1000000         0
1143.89/1144.23	c       266       528    533.63    100.49      5.31   1000000         0
1145.49/1145.82	c       273       571    534.87    114.03      4.69   1000000         0
1147.09/1147.41	c       306       538    521.14    102.42      5.09   1000000         0
1148.69/1149.01	c       313       397    540.55    119.24      4.53   1000000         0
1150.19/1150.60	c       316       434    523.10    106.21      4.93   1000000         0
1151.79/1152.19	c       296       569    513.85     99.66      5.16   1000000         0
1153.39/1153.79	c       322       501    545.89    111.92      4.88   1000000         0
1154.99/1155.38	c       309       517    520.36     94.15      5.53   1000000         0
1156.58/1156.97	c       292       476    516.14     92.64      5.57   1000000         0
1158.18/1158.56	c       311       421    533.07    115.48      4.62   1000000         0
1159.78/1160.15	c       312       575    520.43    109.08      4.77   1000000         0
1161.39/1161.74	c       303       482    514.11    109.52      4.69   1000000         0
1162.98/1163.33	c       289       537    518.17    120.32      4.31   1000000         0
1164.59/1164.93	c       284       563    525.41    104.29      5.04   1000000         0
1166.18/1166.51	c       306       519    501.02     84.43      5.93   1000000         0
1167.78/1168.10	c       279       630    523.55     96.85      5.41   1000000         0
1169.38/1169.70	c       323       378    529.87    123.00      4.31   1000000         0
1170.88/1171.29	c       299       396    527.43    106.39      4.96   1000000         0
1172.48/1172.89	c       319       614    530.60     98.65      5.38   1000000         0
1174.08/1174.48	c       282       524    516.93     94.69      5.46   1000000         0
1175.69/1176.06	c       304       512    516.69     91.21      5.66   1000000         0
1177.28/1177.65	c       270       423    510.74    100.33      5.09   1000000         0
1178.89/1179.25	c       332       440    533.95     99.80      5.35   1000000         0
1180.48/1180.83	c       267       408    518.50    115.35      4.50   1000000         0
1182.08/1182.41	c       307       474    506.77     94.47      5.36   1000000         0
1183.68/1184.00	c       318       645    523.05     95.91      5.45   1000000         0
1185.18/1185.59	c       301       498    527.03    110.61      4.76   1000000         0
1186.78/1187.18	c       277       497    521.09    102.32      5.09   1000000         0
1188.38/1188.77	c       287       398    516.46     93.52      5.52   1000000         0
1189.98/1190.36	c       282       535    514.26    101.31      5.08   1000000         0
1191.57/1191.94	c       288       535    521.22    104.52      4.99   1000000         0
1193.18/1193.54	c       329       430    525.37     93.09      5.64   1000000         0
1194.77/1195.13	c       302       525    517.42    117.67      4.40   1000000         0
1196.37/1196.72	c       312       473    528.49    114.53      4.61   1000000         0
1197.97/1198.31	c       323       461    522.60    117.21      4.46   1000000         0
1199.57/1199.90	c       252       495    518.43    110.44      4.69   1000000         0
1201.07/1201.49	c       309       388    518.55    104.26      4.97   1000000         0
1202.67/1203.08	c       281       555    513.44    105.87      4.85   1000000         0
1204.28/1204.66	c       334       448    519.63     95.29      5.45   1000000         0
1205.87/1206.25	c       300       534    523.42     87.63      5.97   1000000         0
1207.48/1207.83	c       281       470    509.63     97.25      5.24   1000000         0
1209.07/1209.41	c       250       639    505.20     95.16      5.31   1000000         0
1210.67/1211.01	c       289       590    527.44    112.63      4.68   1000000         0
1212.17/1212.59	c       292       439    511.61    103.33      4.95   1000000         0
1213.77/1214.18	c       294       531    516.15     93.33      5.53   1000000         0
1215.37/1215.77	c       302       479    525.28    113.17      4.64   1000000         0
1216.97/1217.35	c       262       432    511.71    113.75      4.50   1000000         0
1218.57/1218.94	c       313       478    523.95    110.54      4.74   1000000         0
1220.17/1220.53	c       314       448    514.17     97.80      5.26   1000000         0
1221.77/1222.11	c       315       519    516.81    100.75      5.13   1000000         0
1223.37/1223.70	c       277       505    522.39     97.38      5.36   1000000         0
1224.86/1225.28	c       307       607    522.48     80.87      6.46   1000000         0
1226.46/1226.86	c       262       606    505.27     94.84      5.33   1000000         0
1228.06/1228.45	c       278       500    514.80     84.93      6.06   1000000         0
1229.66/1230.05	c       319       475    526.02     89.38      5.89   1000000         0
1231.26/1231.64	c       265       606    525.63     90.96      5.78   1000000         0
1232.87/1233.23	c       278       531    525.49     88.72      5.92   1000000         0
1234.46/1234.83	c       277       614    528.49    119.14      4.44   1000000         0
1236.07/1236.41	c       261       538    507.32    109.60      4.63   1000000         0
1237.66/1238.00	c       277       530    523.08     84.92      6.16   1000000         0
1239.16/1239.59	c       260       402    513.39     92.69      5.54   1000000         0
1240.76/1241.18	c       304       481    529.05    102.17      5.18   1000000         0
1242.36/1242.76	c       294       456    517.48     95.98      5.39   1000000         0
1243.96/1244.35	c       265       512    502.49    109.81      4.58   1000000         0
1245.56/1245.94	c       309       545    522.64    107.80      4.85   1000000         0
1247.16/1247.53	c       288       522    532.71     96.58      5.52   1000000         0
1248.76/1249.11	c       287       431    515.37     96.92      5.32   1000000         0
1250.36/1250.71	c       300       517    520.11     83.32      6.24   1000000         0
1251.96/1252.30	c       297       570    516.42     93.68      5.51   1000000         0
1253.46/1253.88	c       251       403    516.26     93.44      5.53   1000000         0
1255.05/1255.47	c       307       494    521.43    113.91      4.58   1000000         0
1256.65/1257.06	c       292       489    507.08     93.12      5.45   1000000         0
1258.25/1258.65	c       332       464    525.26     91.47      5.74   1000000         0
1259.85/1260.24	c       276       466    515.23    116.17      4.44   1000000         0
1261.46/1261.83	c       270       537    509.92    111.47      4.57   1000000         0
1263.05/1263.42	c       308       497    525.28    111.55      4.71   1000000         0
1264.66/1265.01	c       327       435    527.94     97.28      5.43   1000000         0
1266.25/1266.61	c       264       367    534.48    121.27      4.41   1000000         0
1267.85/1268.21	c       323       471    533.96     97.61      5.47   1000000         0
1269.45/1269.80	c       311       497    514.66     88.35      5.83   1000000         0
1271.05/1271.40	c       302       519    537.15    129.91      4.13   1000000         0
1272.55/1272.99	c       266       561    519.20    131.30      3.95   1000000         0
1274.15/1274.57	c       295       546    498.27     93.46      5.33   1000000         0
1275.76/1276.17	c       341       517    543.31    113.16      4.80   1000000         0
1277.35/1277.75	c       285       557    499.14     81.11      6.15   1000000         0
1278.95/1279.33	c       294       528    509.87    103.89      4.91   1000000         0
1280.55/1280.92	c       261       457    510.12     91.38      5.58   1000000         0
1282.14/1282.50	c       271       470    516.91    116.15      4.45   1000000         0
1283.74/1284.10	c       316       567    515.75     96.89      5.32   1000000         0
1285.24/1285.68	c       298       566    520.93     83.20      6.26   1000000         0
1286.84/1287.27	c       278       490    528.77     99.20      5.33   1000000         0
1288.44/1288.86	c       289       386    525.60     99.48      5.28   1000000         0
1290.05/1290.45	c       301       606    521.02    115.84      4.50   1000000         0
1291.64/1292.04	c       328       413    519.89     88.76      5.86   1000000         0
1293.25/1293.64	c       240       528    510.30    118.38      4.31   1000000         0
1294.84/1295.23	c       314       482    521.84    107.04      4.87   1000000         0
1296.44/1296.82	c       264       591    527.97     97.03      5.44   1000000         0
1298.04/1298.41	c       308       457    528.88     98.06      5.39   1000000         0
1299.54/1299.99	c       293       578    515.64     92.27      5.59   1000000         0
1301.14/1301.58	c       281       545    523.28    108.16      4.84   1000000         0
1302.74/1303.17	c       282       492    512.56     98.61      5.20   1000000         0
1304.34/1304.76	c       283       522    513.17    110.17      4.66   1000000         0
1305.94/1306.33	c       278       423    503.74    103.79      4.85   1000000         0
1307.54/1307.92	c       289       522    524.75     92.22      5.69   1000000         0
1309.14/1309.51	c       267       568    522.16     97.65      5.35   1000000         0
1310.63/1311.09	c       289       548    508.96     88.13      5.78   1000000         0
1312.23/1312.68	c       299       393    520.38    120.63      4.31   1000000         0
1313.83/1314.27	c       250       529    513.81    100.07      5.13   1000000         0
1315.43/1315.86	c       279       514    521.74     91.54      5.70   1000000         0
1317.03/1317.45	c       272       626    514.52    109.81      4.69   1000000         0
1318.64/1319.04	c       312       536    526.24     84.92      6.20   1000000         0
1320.23/1320.63	c       284       584    529.38    105.64      5.01   1000000         0
1321.84/1322.24	c       345       608    559.95    103.76      5.40   1000000         0
1323.43/1323.83	c       285       453    515.63    118.15      4.36   1000000         0
1325.03/1325.42	c       302       486    521.55     94.22      5.54   1000000         0
1326.63/1327.00	c       261       398    509.23    108.18      4.71   1000000         0
1328.13/1328.59	c       267       488    510.52     83.61      6.11   1000000         0
1329.73/1330.18	c       338       468    532.01     99.53      5.35   1000000         0
1331.33/1331.77	c       274       541    510.47    107.94      4.73   1000000         0
1332.93/1333.35	c       269       555    509.81     94.53      5.39   1000000         0
1334.53/1334.95	c       321       610    529.18     96.72      5.47   1000000         0
1336.13/1336.54	c       309       443    525.62     96.76      5.43   1000000         0
1337.73/1338.13	c       297       484    524.45     99.46      5.27   1000000         0
1339.33/1339.71	c       250       423    506.66     88.48      5.73   1000000         0
1340.93/1341.30	c       306       712    511.81     91.09      5.62   1000000         0
1342.42/1342.88	c       273       485    499.31     88.02      5.67   1000000         0
1344.02/1344.47	c       264       389    541.04    112.91      4.79   1000000         0
1345.62/1346.07	c       285       470    525.06    105.71      4.97   1000000         0
1347.23/1347.66	c       328       520    526.89     95.15      5.54   1000000         0
1348.82/1349.25	c       278       581    507.48    100.14      5.07   1000000         0
1350.43/1350.84	c       303       555    525.58    116.62      4.51   1000000         0
1352.02/1352.42	c       299       516    522.62     99.85      5.23   1000000         0
1353.62/1354.01	c       301       610    515.70     85.57      6.03   1000000         0
1355.22/1355.60	c       299       656    520.37     87.41      5.95   1000000         0
1356.72/1357.19	c       297       509    523.34     97.25      5.38   1000000         0
1358.32/1358.78	c       286       591    509.15    120.42      4.23   1000000         0
1359.92/1360.36	c       280       483    517.82     95.45      5.43   1000000         0
1361.53/1361.94	c       304       406    506.60     92.16      5.50   1000000         0
1363.12/1363.53	c       284       487    526.17     95.85      5.49   1000000         0
1364.72/1365.13	c       304       533    526.04    108.80      4.83   1000000         0
1366.32/1366.71	c       311       554    515.72     97.61      5.28   1000000         0
1367.92/1368.30	c       317       527    516.04    110.44      4.67   1000000         0
1369.42/1369.89	c       289       580    516.82    106.49      4.85   1000000         0
1371.01/1371.48	c       266       381    538.65    111.40      4.84   1000000         0
1372.61/1373.07	c       287       552    508.22     87.00      5.84   1000000         0
1374.21/1374.65	c       223       398    501.26     94.30      5.32   1000000         0
1375.82/1376.24	c       295       469    503.54    104.12      4.84   1000000         0
1377.41/1377.82	c       298       511    520.40     97.39      5.34   1000000         0
1379.02/1379.41	c       297       555    517.11     99.30      5.21   1000000         0
1380.61/1381.01	c       318       483    536.33     94.16      5.70   1000000         0
1382.21/1382.60	c       332       521    531.57    101.48      5.24   1000000         0
1383.71/1384.19	c       318       456    532.34     89.06      5.98   1000000         0
1385.31/1385.78	c       297       515    514.14    112.80      4.56   1000000         0
1386.91/1387.37	c       315       442    519.20    105.21      4.93   1000000         0
1388.51/1388.96	c       303       637    521.77     91.10      5.73   1000000         0
1390.11/1390.55	c       298       529    524.53    114.36      4.59   1000000         0
1391.71/1392.14	c       294       492    519.23     88.20      5.89   1000000         0
1393.31/1393.73	c       300       481    513.84     95.39      5.39   1000000         0
1394.91/1395.32	c       293       487    509.30    108.13      4.71   1000000         0
1396.51/1396.90	c       310       512    502.19     99.61      5.04   1000000         0
1398.01/1398.49	c       310       532    504.04     84.65      5.95   1000000         0
1399.61/1400.08	c       303       536    517.65     84.46      6.13   1000000         0
1401.20/1401.67	c       261       392    520.50    111.00      4.69   1000000         0
1402.80/1403.24	c       268       509    506.35     99.94      5.07   1000000         0
1404.41/1404.84	c       288       403    536.19     91.50      5.86   1000000         0
1406.00/1406.42	c       294       578    530.65     94.35      5.62   1000000         0
1407.61/1408.01	c       266       426    508.69     99.43      5.12   1000000         0
1409.20/1409.60	c       298       516    529.40     95.46      5.55   1000000         0
1410.70/1411.19	c       278       553    523.31     87.77      5.96   1000000         0
1412.30/1412.78	c       329       481    534.77     86.58      6.18   1000000         0
1413.90/1414.37	c       284       554    520.01    107.84      4.82   1000000         0
1415.50/1415.96	c       288       473    524.63    110.50      4.75   1000000         0
1417.10/1417.55	c       255       543    515.20    117.98      4.37   1000000         0
1418.71/1419.15	c       300       511    516.68     84.82      6.09   1000000         0
1420.30/1420.74	c       319       402    526.21     94.51      5.57   1000000         0
1421.91/1422.34	c       287       493    523.40    111.20      4.71   1000000         0
1423.50/1423.92	c       232       475    506.09     92.34      5.48   1000000         0
1425.10/1425.51	c       313       500    520.32    105.56      4.93   1000000         0
1426.70/1427.10	c       312       511    519.51    110.29      4.71   1000000         0
1428.20/1428.69	c       231       396    509.04     91.43      5.57   1000000         0
1429.80/1430.27	c       297       448    505.51    104.78      4.82   1000000         0
1431.40/1431.86	c       286       582    528.73    101.38      5.22   1000000         0
1433.00/1433.45	c       291       599    524.25    101.59      5.16   1000000         0
1434.60/1435.04	c       325       434    522.36     83.17      6.28   1000000         0
1436.20/1436.63	c       274       501    520.76    106.17      4.91   1000000         0
1437.80/1438.22	c       315       442    514.21     85.82      5.99   1000000         0
1439.39/1439.81	c       310       553    520.95    100.64      5.18   1000000         0
1440.99/1441.40	c       302       440    520.55     87.58      5.94   1000000         0
1442.49/1442.99	c       319       502    525.18    110.33      4.76   1000000         0
1444.09/1444.58	c       303       465    502.40     94.77      5.30   1000000         0
1445.69/1446.17	c       292       574    512.93    105.16      4.88   1000000         0
1447.30/1447.75	c       308       445    518.51     98.79      5.25   1000000         0
1448.89/1449.33	c       294       451    508.20     96.72      5.25   1000000         0
1450.50/1450.93	c       297       577    537.52    113.73      4.73   1000000         0
1452.09/1452.52	c       280       418    503.05    109.59      4.59   1000000         0
1453.69/1454.11	c       318       560    523.54    111.72      4.69   1000000         0
1455.29/1455.70	c       302       480    531.03    119.11      4.46   1000000         0
1456.79/1457.30	c       254       458    515.88     86.65      5.95   1000000         0
1458.39/1458.89	c       319       575    543.71     95.75      5.68   1000000         0
1459.99/1460.48	c       275       550    524.47    106.51      4.92   1000000         0
1461.60/1462.07	c       273       434    514.15    118.26      4.35   1000000         0
1463.19/1463.66	c       271       472    522.67    107.69      4.85   1000000         0
1464.79/1465.24	c       270       554    508.68     90.86      5.60   1000000         0
1466.39/1466.83	c       276       592    522.61     98.18      5.32   1000000         0
1467.98/1468.42	c       289       595    510.84     97.23      5.25   1000000         0
1469.58/1470.01	c       278       498    512.22     91.72      5.58   1000000         0
1471.18/1471.60	c       324       522    522.68     89.34      5.85   1000000         0
1472.68/1473.19	c       285       554    519.20    121.56      4.27   1000000         0
1474.28/1474.78	c       321       572    517.15    108.82      4.75   1000000         0
1475.89/1476.37	c       266       523    511.49     94.00      5.44   1000000         0
1477.48/1477.96	c       288       560    522.21     95.19      5.49   1000000         0
1479.09/1479.55	c       317       520    521.31    115.05      4.53   1000000         0
1480.68/1481.14	c       319       588    512.79     98.92      5.18   1000000         0
1482.28/1482.72	c       284       518    505.39     90.47      5.59   1000000         0
1483.88/1484.31	c       243       464    519.58    101.38      5.13   1000000         0
1485.48/1485.90	c       275       534    512.49    101.48      5.05   1000000         0
1486.98/1487.49	c       279       522    513.06     83.31      6.16   1000000         0
1488.58/1489.07	c       304       424    515.00    110.80      4.65   1000000         0
1490.19/1490.66	c       280       612    524.06     97.59      5.37   1000000         0
1491.78/1492.25	c       290       460    526.99     90.62      5.82   1000000         0
1493.38/1493.84	c       281       394    509.00    108.95      4.67   1000000         0
1494.98/1495.42	c       281       451    511.16     97.78      5.23   1000000         0
1496.58/1497.01	c       277       535    527.99     94.58      5.58   1000000         0
1498.08/1498.59	c       298       477    510.47    104.03      4.91   1000000         0
1499.68/1500.18	c       335       513    532.86     95.42      5.58   1000000         0
1501.27/1501.77	c       227       548    520.99    118.49      4.40   1000000         0
1502.87/1503.35	c       300       584    504.38     93.23      5.41   1000000         0
1504.48/1504.94	c       236       546    506.55     98.08      5.16   1000000         0
1506.07/1506.53	c       290       539    519.30    104.33      4.98   1000000         0
1507.68/1508.12	c       332       386    529.10    110.00      4.81   1000000         0
1509.27/1509.71	c       289       542    515.21    100.91      5.11   1000000         0
1510.77/1511.29	c       330       569    513.05     88.12      5.82   1000000         0
1512.37/1512.88	c       297       481    525.62    119.37      4.40   1000000         0
1513.97/1514.48	c       332       507    530.96    121.68      4.36   1000000         0
1515.57/1516.07	c       283       561    498.67     90.10      5.53   1000000         0
1517.17/1517.65	c       304       451    517.76     95.06      5.45   1000000         0
1518.78/1519.24	c       292       478    525.40    105.56      4.98   1000000         0
1520.37/1520.82	c       308       487    522.66     93.79      5.57   1000000         0
1521.98/1522.41	c       267       526    519.48     96.86      5.36   1000000         0
1523.57/1524.00	c       300       405    524.99    109.71      4.79   1000000         0
1525.07/1525.58	c       278       497    514.48     85.97      5.98   1000000         0
1526.67/1527.16	c       290       581    505.64     92.20      5.48   1000000         0
1528.27/1528.75	c       334       423    517.93    117.48      4.41   1000000         0
1529.87/1530.34	c       301       481    519.40    103.44      5.02   1000000         0
1531.47/1531.92	c       300       503    500.44    103.81      4.82   1000000         0
1533.07/1533.50	c       249       349    498.38    107.38      4.64   1000000         0
1534.56/1535.09	c       309       514    529.32    106.45      4.97   1000000         0
1536.16/1536.68	c       326       557    521.78    100.89      5.17   1000000         0
1537.76/1538.27	c       312       583    520.19     99.21      5.24   1000000         0
1539.36/1539.86	c       296       565    523.80    112.15      4.67   1000000         0
1540.96/1541.46	c       285       546    520.23    110.78      4.70   1000000         0
1542.56/1543.05	c       305       481    522.63     98.71      5.29   1000000         0
1544.16/1544.62	c       267       450    500.26     92.07      5.43   1000000         0
1545.76/1546.21	c       262       550    503.55     80.98      6.22   1000000         0
1547.37/1547.81	c       305       550    530.06     94.91      5.58   1000000         0
1548.96/1549.40	c       299       573    522.68     89.50      5.84   1000000         0
1550.46/1550.98	c       304       465    524.89    103.05      5.09   1000000         0
1552.06/1552.57	c       327       533    521.84    102.05      5.11   1000000         0
1553.66/1554.17	c       326       542    521.11    114.13      4.57   1000000         0
1555.26/1555.75	c       275       505    517.21    110.62      4.68   1000000         0
1556.86/1557.34	c       302       574    517.13    106.05      4.88   1000000         0
1558.45/1558.93	c       309       543    523.27    108.80      4.81   1000000         0
1560.05/1560.52	c       268       496    523.92    101.98      5.14   1000000         0
1561.66/1562.11	c       299       471    519.86     90.28      5.76   1000000         0
1563.25/1563.70	c       303       512    523.21     83.20      6.29   1000000         0
1564.75/1565.29	c       302       345    543.44    113.75      4.78   1000000         0
1566.35/1566.87	c       285       434    495.26     99.40      4.98   1000000         0
1567.95/1568.45	c       281       490    509.37    108.83      4.68   1000000         0
1569.55/1570.05	c       317       559    530.07     92.91      5.71   1000000         0
1571.15/1571.64	c       304       534    516.36    102.39      5.04   1000000         0
1572.75/1573.23	c       297       392    526.02     91.97      5.72   1000000         0
1574.35/1574.82	c       257       574    522.39     96.97      5.39   1000000         0
1575.86/1576.40	c       241       335    512.85    114.28      4.49   1000000         0
1577.55/1578.00	c       283       562    531.99     95.10      5.59   1000000         0
1579.05/1579.59	c       314       523    516.86     85.06      6.08   1000000         0
1580.65/1581.19	c       291       654    515.03    105.34      4.89   1000000         0
1582.25/1582.78	c       293       470    521.65    111.59      4.67   1000000         0
1583.84/1584.36	c       295       444    519.37     88.30      5.88   1000000         0
1585.44/1585.94	c       293       695    515.96     94.07      5.48   1000000         0
1587.04/1587.53	c       291       503    516.37     95.26      5.42   1000000         0
1588.64/1589.11	c       286       500    510.57     84.82      6.02   1000000         0
1590.15/1590.70	c       292       464    526.98     92.79      5.68   1000000         0
1591.74/1592.28	c       301       675    514.26    102.70      5.01   1000000         0
1593.34/1593.88	c       270       494    527.13    102.55      5.14   1000000         0
1594.94/1595.47	c       335       542    527.59    102.94      5.13   1000000         0
1596.54/1597.06	c       290       493    524.54    111.12      4.72   1000000         0
1598.14/1598.65	c       293       517    519.36    101.78      5.10   1000000         0
1599.74/1600.24	c       294       486    521.54    110.52      4.72   1000000         0
1601.34/1601.84	c       300       578    526.62     86.73      6.07   1000000         0
1602.94/1603.42	c       290       502    516.02    117.01      4.41   1000000         0
1604.55/1605.02	c       330       556    519.09    101.00      5.14   1000000         0
1606.14/1606.62	c       263       621    527.15    101.82      5.18   1000000         0
1607.74/1608.21	c       316       414    526.76    119.80      4.40   1000000         0
1609.24/1609.79	c       302       487    521.38    106.57      4.89   1000000         0
1610.84/1611.38	c       300       432    497.90    115.56      4.31   1000000         0
1612.44/1612.96	c       303       546    521.58     86.14      6.05   1000000         0
1614.04/1614.56	c       307       581    529.54    113.37      4.67   1000000         0
1615.64/1616.15	c       279       545    515.66    107.29      4.81   1000000         0
1617.24/1617.73	c       286       530    507.09     97.63      5.19   1000000         0
1618.84/1619.32	c       313       473    526.47     89.54      5.88   1000000         0
1620.43/1620.91	c       340       553    539.88    105.87      5.10   1000000         0
1622.04/1622.51	c       278       448    524.82    106.63      4.92   1000000         0
1623.63/1624.10	c       260       523    524.11     97.50      5.38   1000000         0
1625.13/1625.69	c       298       498    524.02     90.23      5.81   1000000         0
1626.73/1627.28	c       314       520    517.72     92.33      5.61   1000000         0
1628.33/1628.87	c       300       579    536.49    101.42      5.29   1000000         0
1629.93/1630.45	c       294       497    514.83     95.56      5.39   1000000         0
1631.53/1632.04	c       296       597    519.15     93.07      5.58   1000000         0
1633.13/1633.64	c       304       472    526.53    108.95      4.83   1000000         0
1634.73/1635.22	c       270       499    502.47    105.99      4.74   1000000         0
1636.33/1636.81	c       307       485    508.44     93.07      5.46   1000000         0
1637.83/1638.39	c       296       498    526.62    107.60      4.89   1000000         0
1639.43/1639.98	c       249       537    511.89    104.35      4.91   1000000         0
1641.03/1641.57	c       290       415    517.28     99.54      5.20   1000000         0
1642.63/1643.17	c       306       458    525.63     94.80      5.54   1000000         0
1644.22/1644.76	c       264       599    526.63    101.28      5.20   1000000         0
1645.82/1646.35	c       251       484    508.75    101.44      5.02   1000000         0
1647.43/1647.93	c       305       460    507.84    120.75      4.21   1000000         0
1649.02/1649.52	c       314       527    511.09    115.92      4.41   1000000         0
1650.63/1651.11	c       300       454    512.28    120.23      4.26   1000000         0
1652.22/1652.71	c       307       462    526.27     79.27      6.64   1000000         0
1653.72/1654.30	c       305       603    515.89     85.05      6.07   1000000         0
1655.32/1655.88	c       267       463    505.64     98.78      5.12   1000000         0
1656.92/1657.48	c       281       451    534.59    103.42      5.17   1000000         0
1658.52/1659.08	c       337       578    526.14    107.66      4.89   1000000         0
1660.12/1660.66	c       294       626    529.00    115.06      4.60   1000000         0
1661.72/1662.24	c       288       400    512.09     90.68      5.65   1000000         0
1663.31/1663.83	c       317       395    518.67    117.73      4.41   1000000         0
1664.92/1665.43	c       274       553    513.15     95.09      5.40   1000000         0
1666.51/1667.02	c       279       622    517.86     93.36      5.55   1000000         0
1668.11/1668.60	c       295       455    522.61    106.29      4.92   1000000         0
1669.71/1670.20	c       290       536    536.75    108.18      4.96   1000000         0
1671.21/1671.79	c       296       573    521.70    107.77      4.84   1000000         0
1672.81/1673.38	c       314       450    525.33    102.83      5.11   1000000         0
1674.41/1674.98	c       296       547    534.61    129.94      4.11   1000000         0
1676.02/1676.57	c       291       555    512.01    106.12      4.83   1000000         0
1677.61/1678.15	c       266       472    502.15     97.03      5.18   1000000         0
1679.22/1679.74	c       323       447    524.21    105.37      4.97   1000000         0
1680.81/1681.33	c       269       531    519.81    114.36      4.55   1000000         0
1682.41/1682.93	c       301       521    537.19     94.11      5.71   1000000         0
1684.01/1684.51	c       308       521    512.79     90.07      5.69   1000000         0
1685.51/1686.09	c       271       588    514.40    110.12      4.67   1000000         0
1687.11/1687.69	c       302       458    513.46     97.77      5.25   1000000         0
1688.71/1689.27	c       309       491    517.39    100.30      5.16   1000000         0
1690.31/1690.86	c       291       512    523.33    117.42      4.46   1000000         0
1691.90/1692.44	c       274       487    516.66    115.21      4.48   1000000         0
1693.51/1694.04	c       315       569    522.94    106.02      4.93   1000000         0
1695.10/1695.64	c       306       587    536.84     95.73      5.61   1000000         0
1696.70/1697.23	c       292       460    529.61    106.74      4.96   1000000         0
1698.30/1698.82	c       258       493    514.72    112.34      4.58   1000000         0
1699.90/1700.41	c       264       504    525.93     92.63      5.68   1000000         0
1701.50/1702.00	c       285       539    518.07    116.61      4.44   1000000         0
1703.00/1703.59	c       293       515    516.13     95.10      5.43   1000000         0
1704.61/1705.18	c       290       612    514.63     90.44      5.69   1000000         0
1706.20/1706.77	c       311       504    520.65     95.06      5.48   1000000         0
1707.81/1708.36	c       293       574    524.29     99.87      5.25   1000000         0
1709.40/1709.95	c       250       421    526.67    106.46      4.95   1000000         0
1711.00/1711.54	c       317       554    520.44     86.46      6.02   1000000         0
1712.60/1713.13	c       305       592    521.69     96.37      5.41   1000000         0
1714.20/1714.72	c       281       504    524.26    100.03      5.24   1000000         0
1715.80/1716.31	c       270       535    514.95    100.50      5.12   1000000         0
1717.30/1717.90	c       320       512    528.10    101.52      5.20   1000000         0
1718.90/1719.49	c       324       336    530.15    110.95      4.78   1000000         0
1720.50/1721.08	c       285       392    522.50     90.03      5.80   1000000         0
1722.10/1722.68	c       283       609    528.33    103.15      5.12   1000000         0
1723.69/1724.27	c       312       509    521.60     97.82      5.33   1000000         0
1725.29/1725.86	c       335       499    522.64    101.99      5.12   1000000         0
1726.89/1727.45	c       323       586    527.26    117.59      4.48   1000000         0
1728.49/1729.03	c       278       486    500.20     85.75      5.83   1000000         0
1730.09/1730.62	c       282       576    510.54    102.67      4.97   1000000         0
1731.69/1732.21	c       294       494    514.71     99.38      5.18   1000000         0
1733.20/1733.79	c       295       557    509.42    109.66      4.65   1000000         0
1734.79/1735.38	c       285       514    509.28     98.19      5.19   1000000         0
1736.40/1736.97	c       293       477    529.06    104.63      5.06   1000000         0
1738.00/1738.56	c       242       559    530.63    119.30      4.45   1000000         0
1739.60/1740.16	c       325       457    526.52     97.58      5.40   1000000         0
1741.20/1741.75	c       313       572    538.87    107.13      5.03   1000000         0
1742.80/1743.34	c       277       526    503.87    108.20      4.66   1000000         0
1744.40/1744.93	c       256       423    508.14    116.44      4.36   1000000         0
1746.00/1746.52	c       282       444    516.41    106.09      4.87   1000000         0
1747.60/1748.11	c       347       389    544.11     95.55      5.69   1000000         0
1749.20/1749.70	c       279       478    516.55     95.21      5.43   1000000         0
1750.70/1751.29	c       292       527    524.73     90.27      5.81   1000000         0
1752.29/1752.87	c       291       442    515.76     96.41      5.35   1000000         0
1753.89/1754.47	c       277       518    519.84    105.54      4.93   1000000         0
1755.49/1756.06	c       281       587    518.09    122.49      4.23   1000000         0
1757.09/1757.65	c       303       430    519.48     91.12      5.70   1000000         0
1758.69/1759.23	c       310       497    509.92    109.85      4.64   1000000         0
1760.29/1760.82	c       276       523    534.29    102.77      5.20   1000000         0
1761.89/1762.41	c       314       410    515.66    103.28      4.99   1000000         0
1763.49/1764.00	c       310       545    522.58     95.72      5.46   1000000         0
1765.00/1765.59	c       298       457    521.56     96.75      5.39   1000000         0
1766.59/1767.17	c       294       530    508.36     95.29      5.34   1000000         0
1768.19/1768.76	c       331       551    514.65    104.68      4.92   1000000         0
1769.79/1770.35	c       321       576    539.27    106.50      5.06   1000000         0
1771.39/1771.95	c       308       427    522.15     93.50      5.58   1000000         0
1772.99/1773.53	c       275       602    503.68     88.86      5.67   1000000         0
1774.59/1775.11	c       304       598    517.10    103.40      5.00   1000000         0
1776.19/1776.70	c       310       518    520.11     92.90      5.60   1000000         0
1777.68/1778.29	c       272       513    525.70     89.37      5.88   1000000         0
1779.29/1779.88	c       311       364    525.33    105.91      4.96   1000000         0
1780.88/1781.47	c       307       553    520.94    102.61      5.08   1000000         0
1782.48/1783.06	c       309       539    523.56     90.18      5.81   1000000         0
1784.08/1784.64	c       293       424    507.81    105.13      4.83   1000000         0
1785.68/1786.24	c       303       471    533.47    104.91      5.08   1000000         0
1787.28/1787.83	c       274       500    501.54     88.47      5.67   1000000         0
1788.88/1789.42	c       277       443    523.95     86.65      6.05   1000000         0
1790.48/1791.00	c       292       483    513.21     98.67      5.20   1000000         0
1791.98/1792.59	c       308       458    513.34    100.69      5.10   1000000         0
1793.59/1794.18	c       308       440    516.60     99.03      5.22   1000000         0
1795.18/1795.76	c       306       415    531.36     92.28      5.76   1000000         0
1796.78/1797.36	c       289       608    536.08    100.38      5.34   1000000         0
1798.38/1798.94	c       323       610    519.20     85.04      6.11   1000000         0
1799.98/1800.54	c       278       562    529.04     90.24      5.86   1000000         0
1800.08/1800.60	HOME/run: line 2: 21165 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-2685182-1278439921/watcher-2685182-1278439921 -o /tmp/evaluation-result-2685182-1278439921/solver-2685182-1278439921 -C 1800 -W 2000 -M 1800 run HOME/instance-2685182-1278439921.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: 0.93 0.98 0.93 3/106 21164
/proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0

[startup+0.103551 s]
/proc/loadavg: 0.93 0.98 0.93 3/106 21164
/proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201561 s]
/proc/loadavg: 0.93 0.98 0.93 3/106 21164
/proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301572 s]
/proc/loadavg: 0.93 0.98 0.93 3/106 21164
/proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701614 s]
/proc/loadavg: 0.93 0.98 0.93 3/106 21164
/proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5007 s]
/proc/loadavg: 0.93 0.98 0.93 2/108 21166
/proc/meminfo: memFree=1843048/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1.49
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1532 0 0 0 149 0 0 0 25 0 1 0 12204240 41422848 1461 1992294400 134512640 135071400 4294319248 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1461 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10087 s]
/proc/loadavg: 0.93 0.98 0.93 2/108 21166
/proc/meminfo: memFree=1842800/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=3.09
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1540 0 0 0 309 0 0 0 25 0 1 0 12204240 41422848 1469 1992294400 134512640 135071400 4294319248 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1469 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30122 s]
/proc/loadavg: 0.93 0.98 0.93 2/108 21166
/proc/meminfo: memFree=1842800/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=6.29
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1540 0 0 0 629 0 0 0 25 0 1 0 12204240 41422848 1469 1992294400 134512640 135071400 4294319248 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1469 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7009 s]
/proc/loadavg: 0.94 0.98 0.93 2/108 21166
/proc/meminfo: memFree=1842676/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=12.68
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 1268 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134536987 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.93 2/108 21168
/proc/meminfo: memFree=1842676/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=25.48
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 2548 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.102 s]
/proc/loadavg: 0.97 0.98 0.93 2/108 21168
/proc/meminfo: memFree=1842676/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=51.08
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 5108 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.93 2/108 21170
/proc/meminfo: memFree=1842552/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=102.27
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 10227 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/108 21170
/proc/meminfo: memFree=1842428/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=162.24
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 16224 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.309 s]
/proc/loadavg: 0.99 0.98 0.93 2/108 21172
/proc/meminfo: memFree=1842428/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=222.24
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 22224 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526812 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.93 3/108 21174
/proc/meminfo: memFree=1842304/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=282.21
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 28221 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526631 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 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: 0.99 0.98 0.93 2/108 21176
/proc/meminfo: memFree=1842304/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=342.19
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 34219 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/108 21178
/proc/meminfo: memFree=1842180/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=402.18
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 40218 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1121.99
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 112198 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21201
/proc/meminfo: memFree=1813432/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1181.98
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 118197 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21203
/proc/meminfo: memFree=1813184/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1241.96
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 124195 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21205
/proc/meminfo: memFree=1813060/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1301.94
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 130193 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21205
/proc/meminfo: memFree=1812936/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1361.92
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 136191 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21207
/proc/meminfo: memFree=1812936/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1421.91
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 142190 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21209
/proc/meminfo: memFree=1812812/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1481.88
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 148187 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21211
/proc/meminfo: memFree=1812688/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1541.87
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 154186 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 3/108 21213
/proc/meminfo: memFree=1812564/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1601.84
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 160183 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21213
/proc/meminfo: memFree=1812564/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1661.81
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 166180 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21215
/proc/meminfo: memFree=1812564/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1721.79
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 172178 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21217
/proc/meminfo: memFree=1812192/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1781.78
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 178176 2 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21217
/proc/meminfo: memFree=1812192/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1800.08
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 180006 2 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 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)
SSolver just ended. Dumping a history of the last processes samples

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 21217
/proc/meminfo: memFree=1812192/2059040 swapFree=4192956/4192956
[pid=21164] ppid=21162 vsize=8700 CPUtime=0
/proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21164/statm: 2175 244 204 178 0 68 0
[pid=21165] ppid=21164 vsize=40452 CPUtime=1800.08
/proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 180006 2 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21165/statm: 10113 1470 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 49152

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

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

runsolver used 2.99854 second user time and 8.5537 second system time

The end

Launcher Data 

Begin job on node019 at 2010-07-06 20:12:01
IDJOB=2685182
IDBENCH=74870
IDSOLVER=1171
FILE ID=node019/2685182-1278439921
PBS_JOBID= 11233453
Free space on /tmp= 62344 MiB

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

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

MD5SUM BENCH= fc45b70f2bffc38ba49073a3c4955a67
RANDOM SEED=1264601843

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1849412 kB
Buffers:         15148 kB
Cached:          64188 kB
SwapCached:          0 kB
Active:          57680 kB
Inactive:        81860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1849412 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2340 kB
Writeback:           0 kB
AnonPages:       60236 kB
Mapped:          14468 kB
Slab:            48092 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181552 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= 62344 MiB
End job on node019 at 2010-07-06 20:42:02