Trace number 2685308

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/
j90/normalized-j9015_10-unsat.opb
MD5SUM3100d2bbd53ff9fb7d8d8fc9cec6894e
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.219966
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14196
Total number of constraints44553
Number of constraints which are clauses44245
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints308
Minimum length of a constraint1
Maximum length of a constraint90
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 66
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 565
Number of bits of the biggest sum of numbers10
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 = 97114804
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 14196 #con 44553
0.00/0.13	mode is SAT
0.00/0.13	c tail starts after flip = 42588
0.00/0.13	c numatom = 14196, numclause = 44553, numliterals = 122291
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.75	c       324       491    581.07    123.49      4.71   1000000         0
3.30/3.36	c       306       543    572.59    122.98      4.66   1000000         0
4.89/4.98	c       338       464    570.54    103.66      5.50   1000000         0
6.50/6.60	c       322       752    570.87    113.51      5.03   1000000         0
8.19/8.21	c       330       615    559.20     97.88      5.71   1000000         0
9.79/9.84	c       374       635    585.08    121.78      4.80   1000000         0
11.39/11.45	c       383       460    569.25     93.20      6.11   1000000         0
12.99/13.07	c       308       506    576.09    135.77      4.24   1000000         0
14.58/14.66	c       345       608    560.27    125.65      4.46   1000000         0
16.18/16.29	c       289       589    592.10    125.27      4.73   1000000         0
17.88/17.91	c       332       586    575.48    100.75      5.71   1000000         0
19.48/19.53	c       343       664    567.58    105.70      5.37   1000000         0
21.08/21.15	c       313       506    588.60    120.49      4.89   1000000         0
22.68/22.77	c       340       440    569.40    103.65      5.49   1000000         0
24.28/24.39	c       347       611    568.98     94.35      6.03   1000000         0
25.98/26.01	c       325       702    575.51    122.76      4.69   1000000         0
27.58/27.64	c       327       367    585.27    121.02      4.84   1000000         0
29.18/29.25	c       349       631    566.71    101.13      5.60   1000000         0
30.78/30.87	c       328       623    562.68    107.97      5.21   1000000         0
32.38/32.49	c       335       422    588.56    136.95      4.30   1000000         0
34.08/34.12	c       348       619    587.87    106.27      5.53   1000000         0
35.67/35.75	c       361       636    566.12     95.61      5.92   1000000         0
37.28/37.37	c       355       552    570.34    109.82      5.19   1000000         0
38.88/38.99	c       344       458    562.48    118.12      4.76   1000000         0
40.58/40.60	c       325       517    545.64    102.71      5.31   1000000         0
42.17/42.22	c       360       535    579.61    115.78      5.01   1000000         0
43.77/43.84	c       381       519    591.27    106.30      5.56   1000000         0
45.37/45.46	c       339       553    562.66    100.25      5.61   1000000         0
46.97/47.09	c       368       601    576.29     99.96      5.77   1000000         0
48.67/48.71	c       364       563    595.25    101.32      5.87   1000000         0
50.27/50.34	c       365       576    596.56     96.02      6.21   1000000         0
51.87/51.96	c       355       566    568.65    107.38      5.30   1000000         0
53.47/53.58	c       380       544    576.35    109.63      5.26   1000000         0
55.17/55.21	c       330       556    580.95    106.33      5.46   1000000         0
56.77/56.83	c       367       453    572.07    114.84      4.98   1000000         0
58.37/58.45	c       371       502    573.56    105.23      5.45   1000000         0
59.97/60.07	c       315       652    564.11    106.43      5.30   1000000         0
61.57/61.69	c       366       522    584.50     93.84      6.23   1000000         0
63.27/63.32	c       342       480    585.30    106.01      5.52   1000000         0
64.87/64.94	c       308       576    580.28    114.66      5.06   1000000         0
66.47/66.56	c       318       478    550.94    111.61      4.94   1000000         0
68.07/68.18	c       355       564    573.64    114.98      4.99   1000000         0
69.67/69.79	c       342       620    564.81    105.46      5.36   1000000         0
71.37/71.40	c       335       539    559.05    101.66      5.50   1000000         0
72.96/73.02	c       335       637    573.30    112.03      5.12   1000000         0
74.56/74.64	c       383       580    592.27     84.42      7.02   1000000         0
76.16/76.25	c       286       545    549.62    102.06      5.39   1000000         0
77.76/77.87	c       351       459    570.95    109.72      5.20   1000000         0
79.36/79.50	c       341       633    578.99    123.05      4.71   1000000         0
81.06/81.10	c       324       504    553.23     93.83      5.90   1000000         0
82.66/82.72	c       346       631    565.19    115.63      4.89   1000000         0
84.26/84.34	c       366       599    585.16     90.83      6.44   1000000         0
85.86/85.96	c       354       565    562.91    100.04      5.63   1000000         0
87.46/87.59	c       345       500    575.79    125.64      4.58   1000000         0
89.16/89.20	c       333       583    557.14     96.93      5.75   1000000         0
90.76/90.81	c       265       375    555.74    106.22      5.23   1000000         0
92.37/92.42	c       327       609    564.78     95.90      5.89   1000000         0
93.96/94.04	c       273       549    559.48    117.77      4.75   1000000         0
95.56/95.66	c       358       458    555.03     97.64      5.68   1000000         0
97.16/97.28	c       299       518    573.37    107.35      5.34   1000000         0
98.76/98.90	c       347       650    565.62    112.17      5.04   1000000         0
100.45/100.52	c       373       605    562.71    111.88      5.03   1000000         0
102.05/102.15	c       340       622    585.22    110.14      5.31   1000000         0
103.65/103.76	c       341       582    570.38     94.22      6.05   1000000         0
105.25/105.38	c       369       517    586.72    105.58      5.56   1000000         0
106.95/107.00	c       356       418    572.40     92.25      6.21   1000000         0
108.55/108.62	c       351       583    565.15    100.21      5.64   1000000         0
110.15/110.24	c       351       471    593.24    120.49      4.92   1000000         0
111.75/111.86	c       308       550    567.19    128.30      4.42   1000000         0
113.35/113.48	c       282       582    574.69    110.14      5.22   1000000         0
115.05/115.11	c       335       692    586.16    118.77      4.94   1000000         0
116.65/116.73	c       349       542    583.84    130.07      4.49   1000000         0
118.25/118.34	c       352       586    570.16    102.67      5.55   1000000         0
119.86/119.96	c       371       518    588.51     89.60      6.57   1000000         0
121.45/121.58	c       337       575    568.04    112.84      5.03   1000000         0
123.06/123.19	c       319       584    566.11    119.56      4.73   1000000         0
124.75/124.80	c       322       431    554.21    113.34      4.89   1000000         0
126.35/126.42	c       290       666    572.69    110.98      5.16   1000000         0
127.95/128.04	c       345       579    596.86    115.30      5.18   1000000         0
129.55/129.67	c       358       621    580.76     96.89      5.99   1000000         0
131.15/131.28	c       313       640    564.65     97.98      5.76   1000000         0
132.75/132.90	c       309       495    561.77    129.78      4.33   1000000         0
134.44/134.51	c       319       496    554.11    119.80      4.63   1000000         0
136.04/136.12	c       292       505    554.83    111.24      4.99   1000000         0
137.64/137.74	c       365       575    576.72    101.58      5.68   1000000         0
139.24/139.36	c       370       573    564.76    110.46      5.11   1000000         0
140.84/140.98	c       311       512    570.25    105.45      5.41   1000000         0
142.54/142.60	c       345       580    582.20    104.98      5.55   1000000         0
144.14/144.22	c       347       459    577.10     94.07      6.13   1000000         0
145.74/145.84	c       323       550    585.03    118.47      4.94   1000000         0
147.35/147.45	c       281       449    568.19    109.95      5.17   1000000         0
148.94/149.08	c       365       674    583.90    112.79      5.18   1000000         0
150.54/150.70	c       305       518    583.48    122.44      4.77   1000000         0
152.24/152.32	c       338       627    576.78    113.19      5.10   1000000         0
153.84/153.93	c       352       574    575.07     93.33      6.16   1000000         0
155.44/155.55	c       363       412    572.36    102.44      5.59   1000000         0
157.04/157.17	c       359       464    570.55     95.23      5.99   1000000         0
158.63/158.77	c       300       522    557.83    106.37      5.24   1000000         0
160.23/160.38	c       349       525    555.97     98.79      5.63   1000000         0
161.93/162.00	c       354       435    572.93    104.62      5.48   1000000         0
163.53/163.63	c       330       499    585.98    115.34      5.08   1000000         0
165.13/165.25	c       315       537    587.88    124.40      4.73   1000000         0
166.73/166.87	c       324       543    566.63    120.37      4.71   1000000         0
168.33/168.48	c       319       546    561.97    131.45      4.28   1000000         0
169.93/170.09	c       334       511    560.91     90.74      6.18   1000000         0
171.63/171.72	c       308       548    581.78    105.27      5.53   1000000         0
173.23/173.34	c       338       526    579.48    106.36      5.45   1000000         0
174.84/174.96	c       380       528    592.06    111.59      5.31   1000000         0
176.43/176.59	c       372       486    589.08    105.80      5.57   1000000         0
178.14/178.22	c       344       464    591.41    118.06      5.01   1000000         0
179.73/179.84	c       288       610    570.42    113.52      5.02   1000000         0
181.33/181.46	c       374       575    568.03     91.48      6.21   1000000         0
182.93/183.08	c       326       555    563.90    126.17      4.47   1000000         0
184.53/184.70	c       406       601    584.12    116.07      5.03   1000000         0
186.23/186.32	c       303       542    586.72     97.83      6.00   1000000         0
187.83/187.93	c       315       465    554.40    111.77      4.96   1000000         0
189.43/189.55	c       374       494    577.48     96.94      5.96   1000000         0
191.02/191.16	c       331       611    563.77    128.44      4.39   1000000         0
192.62/192.78	c       321       482    561.24    103.92      5.40   1000000         0
194.32/194.40	c       342       586    569.76    104.95      5.43   1000000         0
195.92/196.02	c       316       528    578.13     99.81      5.79   1000000         0
197.52/197.63	c       345       598    556.88     94.13      5.92   1000000         0
199.12/199.25	c       329       549    577.00    124.82      4.62   1000000         0
200.72/200.87	c       313       531    563.62    136.00      4.14   1000000         0
202.33/202.48	c       332       499    560.55     99.85      5.61   1000000         0
203.92/204.09	c       333       618    565.30    106.76      5.30   1000000         0
205.63/205.71	c       336       562    567.50    123.85      4.58   1000000         0
207.22/207.34	c       364       508    585.01    121.76      4.80   1000000         0
208.83/208.96	c       350       594    568.66    118.89      4.78   1000000         0
210.42/210.59	c       326       470    595.20    113.94      5.22   1000000         0
212.02/212.20	c       326       580    566.67    104.86      5.40   1000000         0
213.72/213.82	c       306       504    574.96    122.24      4.70   1000000         0
215.32/215.45	c       389       528    590.98    111.74      5.29   1000000         0
216.92/217.07	c       353       558    572.99    102.71      5.58   1000000         0
218.51/218.68	c       357       579    572.51    121.63      4.71   1000000         0
220.21/220.31	c       352       521    589.81    126.78      4.65   1000000         0
221.81/221.93	c       343       571    582.05     90.91      6.40   1000000         0
223.41/223.55	c       355       597    582.51    110.64      5.26   1000000         0
225.01/225.16	c       354       434    571.37    104.15      5.49   1000000         0
226.61/226.78	c       299       521    553.79    115.56      4.79   1000000         0
228.31/228.40	c       342       451    583.00    102.47      5.69   1000000         0
229.91/230.01	c       310       552    564.75    106.13      5.32   1000000         0
231.51/231.63	c       387       572    580.70    106.36      5.46   1000000         0
233.12/233.24	c       302       577    570.38    104.19      5.47   1000000         0
234.71/234.85	c       292       456    560.31    114.49      4.89   1000000         0
236.32/236.47	c       336       723    569.32    126.42      4.50   1000000         0
237.91/238.09	c       366       646    574.98    110.72      5.19   1000000         0
239.62/239.70	c       356       507    562.89    112.24      5.01   1000000         0
241.21/241.33	c       357       627    583.32    124.78      4.67   1000000         0
242.81/242.94	c       325       531    562.08    123.11      4.57   1000000         0
244.41/244.57	c       362       573    586.86    130.31      4.50   1000000         0
246.01/246.19	c       385       451    567.70    103.59      5.48   1000000         0
247.70/247.82	c       377       477    586.12    101.33      5.78   1000000         0
249.30/249.43	c       333       530    564.73    103.78      5.44   1000000         0
250.90/251.06	c       368       472    601.71    113.22      5.31   1000000         0
252.50/252.68	c       348       483    576.22    119.65      4.82   1000000         0
254.10/254.29	c       346       535    573.43    121.79      4.71   1000000         0
255.80/255.91	c       368       516    584.82    100.42      5.82   1000000         0
257.39/257.53	c       354       493    581.44     96.67      6.01   1000000         0
258.99/259.14	c       367       536    567.49     82.96      6.84   1000000         0
260.60/260.76	c       361       511    566.26     85.84      6.60   1000000         0
262.19/262.38	c       362       532    580.67    114.17      5.09   1000000         0
263.80/264.00	c       380       535    575.31     91.75      6.27   1000000         0
265.49/265.62	c       306       512    572.94    118.13      4.85   1000000         0
267.10/267.24	c       327       645    603.36    126.92      4.75   1000000         0
268.69/268.85	c       332       535    545.76    110.89      4.92   1000000         0
270.29/270.47	c       372       537    584.71    114.90      5.09   1000000         0
271.89/272.09	c       298       632    577.38     99.80      5.79   1000000         0
273.59/273.72	c       325       529    588.90    108.64      5.42   1000000         0
275.19/275.34	c       328       500    578.69    113.20      5.11   1000000         0
276.79/276.96	c       304       485    560.10    102.04      5.49   1000000         0
278.39/278.58	c       345       626    566.89    107.22      5.29   1000000         0
280.09/280.20	c       333       592    567.66    104.86      5.41   1000000         0
281.69/281.82	c       349       473    585.68    121.02      4.84   1000000         0
283.29/283.44	c       343       583    572.71    125.50      4.56   1000000         0
284.89/285.05	c       295       495    576.50    115.05      5.01   1000000         0
286.49/286.67	c       319       453    559.13    120.53      4.64   1000000         0
288.09/288.29	c       318       404    564.52    105.35      5.36   1000000         0
289.78/289.90	c       287       482    556.90    110.21      5.05   1000000         0
291.39/291.53	c       350       484    585.72    101.54      5.77   1000000         0
292.98/293.15	c       322       451    585.69    119.08      4.92   1000000         0
294.59/294.77	c       352       491    575.01    107.86      5.33   1000000         0
296.28/296.40	c       360       612    577.30     89.04      6.48   1000000         0
297.89/298.01	c       321       563    560.82    127.64      4.39   1000000         0
299.48/299.63	c       336       596    590.08    129.35      4.56   1000000         0
301.08/301.26	c       369       512    595.98    123.93      4.81   1000000         0
302.68/302.87	c       345       604    569.37     90.35      6.30   1000000         0
304.28/304.49	c       327       440    567.94    105.36      5.39   1000000         0
305.98/306.11	c       336       586    580.10    106.63      5.44   1000000         0
307.58/307.73	c       334       604    573.89    138.52      4.14   1000000         0
309.18/309.35	c       368       640    581.97    116.78      4.98   1000000         0
310.78/310.96	c       352       612    536.69     84.56      6.35   1000000         0
312.38/312.57	c       355       465    572.03     83.66      6.84   1000000         0
314.08/314.20	c       352       490    588.44    110.27      5.34   1000000         0
315.68/315.82	c       360       542    574.75    121.70      4.72   1000000         0
317.28/317.43	c       285       514    570.03    104.05      5.48   1000000         0
318.88/319.05	c       367       610    578.58     96.25      6.01   1000000         0
320.47/320.68	c       351       695    562.92    115.42      4.88   1000000         0
322.08/322.29	c       361       555    585.03    117.67      4.97   1000000         0
323.77/323.90	c       312       507    557.79    101.92      5.47   1000000         0
325.38/325.51	c       325       555    560.49    111.96      5.01   1000000         0
326.97/327.13	c       351       593    579.88    107.33      5.40   1000000         0
328.57/328.75	c       339       623    583.59    110.34      5.29   1000000         0
330.17/330.38	c       349       597    585.59    103.65      5.65   1000000         0
331.87/332.00	c       368       375    570.68     99.26      5.75   1000000         0
333.47/333.63	c       377       547    581.43     87.85      6.62   1000000         0
335.07/335.24	c       367       522    577.91     92.97      6.22   1000000         0
336.67/336.87	c       363       662    586.50    119.32      4.92   1000000         0
338.27/338.49	c       343       531    570.47    107.10      5.33   1000000         0
339.97/340.11	c       373       604    566.63     96.82      5.85   1000000         0
341.57/341.73	c       318       482    575.49    108.77      5.29   1000000         0
343.17/343.35	c       381       617    584.71    119.30      4.90   1000000         0
344.76/344.97	c       334       488    587.75    125.69      4.68   1000000         0
346.37/346.59	c       350       706    572.51     91.74      6.24   1000000         0
348.06/348.22	c       343       451    571.79    116.39      4.91   1000000         0
349.67/349.84	c       362       568    579.86     99.18      5.85   1000000         0
351.26/351.46	c       342       565    576.81    129.76      4.45   1000000         0
352.87/353.08	c       344       532    587.10    120.26      4.88   1000000         0
354.56/354.70	c       349       556    581.04    127.11      4.57   1000000         0
356.17/356.32	c       302       624    554.08    126.15      4.39   1000000         0
357.76/357.95	c       380       510    589.60    112.34      5.25   1000000         0
359.36/359.56	c       303       558    566.05    110.59      5.12   1000000         0
360.96/361.20	c       345       542    588.29    116.89      5.03   1000000         0
362.66/362.82	c       313       594    570.93    105.46      5.41   1000000         0
364.26/364.44	c       356       525    575.21    113.36      5.07   1000000         0
365.86/366.06	c       337       560    590.83    117.75      5.02   1000000         0
367.46/367.67	c       349       543    568.72    107.98      5.27   1000000         0
369.05/369.29	c       363       541    584.13    114.85      5.09   1000000         0
370.75/370.92	c       352       595    577.17    100.87      5.72   1000000         0
372.35/372.53	c       350       467    563.78    103.67      5.44   1000000         0
373.95/374.15	c       321       506    563.19    108.51      5.19   1000000         0
375.55/375.77	c       308       405    581.86     97.88      5.94   1000000         0
377.16/377.38	c       315       453    550.58     92.08      5.98   1000000         0
378.85/379.01	c       351       485    585.83    108.90      5.38   1000000         0
380.46/380.63	c       342       581    564.29     95.91      5.88   1000000         0
382.05/382.25	c       339       511    592.14    118.49      5.00   1000000         0
383.65/383.87	c       369       590    569.20    110.21      5.16   1000000         0
385.35/385.50	c       342       625    583.46     97.56      5.98   1000000         0
386.95/387.11	c       336       475    547.86    105.29      5.20   1000000         0
388.55/388.72	c       369       464    569.44     94.92      6.00   1000000         0
390.15/390.33	c       326       481    542.51     97.48      5.57   1000000         0
391.75/391.95	c       342       469    574.22    113.85      5.04   1000000         0
393.35/393.57	c       339       617    587.26    103.14      5.69   1000000         0
394.94/395.19	c       306       486    579.27    113.63      5.10   1000000         0
396.64/396.82	c       375       571    590.06    112.80      5.23   1000000         0
398.24/398.43	c       336       486    544.46    102.57      5.31   1000000         0
399.84/400.05	c       330       615    569.27    104.26      5.46   1000000         0
401.44/401.67	c       323       537    571.05    104.72      5.45   1000000         0
403.04/403.29	c       350       482    581.31    101.25      5.74   1000000         0
404.74/404.90	c       323       599    571.59    104.74      5.46   1000000         0
406.34/406.52	c       322       636    581.32    108.52      5.36   1000000         0
407.95/408.14	c       274       543    568.29    110.78      5.13   1000000         0
409.54/409.75	c       349       570    562.60     86.61      6.50   1000000         0
411.15/411.36	c       356       565    562.78    115.04      4.89   1000000         0
412.74/412.98	c       355       507    554.61    122.00      4.55   1000000         0
414.34/414.59	c       350       550    570.02    102.02      5.59   1000000         0
416.03/416.22	c       352       501    581.13    108.92      5.34   1000000         0
417.63/417.85	c       352       433    577.55    111.44      5.18   1000000         0
419.23/419.47	c       308       587    578.51    118.33      4.89   1000000         0
420.83/421.09	c       333       588    573.94    109.77      5.23   1000000         0
422.53/422.71	c       367       479    566.49    117.17      4.83   1000000         0
424.13/424.32	c       340       540    557.67    112.15      4.97   1000000         0
425.73/425.94	c       354       627    556.43    105.96      5.25   1000000         0
427.34/427.55	c       356       464    580.63     98.48      5.90   1000000         0
428.94/429.17	c       355       483    561.88    104.83      5.36   1000000         0
430.54/430.79	c       354       527    567.97    107.88      5.26   1000000         0
432.24/432.41	c       352       592    575.24    102.55      5.61   1000000         0
433.84/434.03	c       379       533    585.00    105.68      5.54   1000000         0
435.45/435.65	c       354       498    559.16     98.05      5.70   1000000         0
437.04/437.27	c       372       486    566.31    108.76      5.21   1000000         0
438.64/438.89	c       355       467    574.30     95.93      5.99   1000000         0
440.34/440.51	c       351       733    578.10    111.87      5.17   1000000         0
441.94/442.13	c       343       532    574.62    117.91      4.87   1000000         0
443.54/443.74	c       326       497    551.76    120.42      4.58   1000000         0
445.14/445.37	c       346       620    575.85     99.14      5.81   1000000         0
446.74/446.99	c       351       613    574.72    101.56      5.66   1000000         0
448.43/448.61	c       320       631    572.74    110.25      5.20   1000000         0
450.03/450.23	c       352       536    572.65    108.40      5.28   1000000         0
451.63/451.85	c       307       445    569.80    123.39      4.62   1000000         0
453.23/453.46	c       328       598    573.27    114.49      5.01   1000000         0
454.83/455.08	c       339       601    563.91    104.52      5.40   1000000         0
456.53/456.70	c       339       594    579.52    117.47      4.93   1000000         0
458.13/458.32	c       308       502    568.70    134.32      4.23   1000000         0
459.73/459.94	c       326       509    569.12    107.83      5.28   1000000         0
461.33/461.56	c       368       557    576.94    101.52      5.68   1000000         0
462.94/463.18	c       350       525    573.85    107.73      5.33   1000000         0
464.53/464.80	c       331       578    560.63    125.62      4.46   1000000         0
466.24/466.42	c       317       521    588.90    120.10      4.90   1000000         0
467.83/468.03	c       298       603    559.02    109.19      5.12   1000000         0
469.43/469.64	c       348       544    574.19    104.05      5.52   1000000         0
471.03/471.27	c       335       505    579.68    100.47      5.77   1000000         0
472.63/472.88	c       319       637    558.58    114.21      4.89   1000000         0
474.33/474.50	c       317       535    579.65    103.49      5.60   1000000         0
475.92/476.12	c       310       540    557.61    114.63      4.86   1000000         0
477.52/477.74	c       322       604    558.85    112.96      4.95   1000000         0
479.12/479.36	c       346       607    572.68    113.28      5.06   1000000         0
480.72/480.98	c       351       560    585.69    116.74      5.02   1000000         0
482.32/482.59	c       324       541    573.66    112.60      5.09   1000000         0
484.02/484.21	c       367       514    574.75    110.53      5.20   1000000         0
485.62/485.83	c       320       340    557.23     96.91      5.75   1000000         0
487.22/487.44	c       310       441    567.52    124.57      4.56   1000000         0
488.82/489.06	c       313       597    587.19    113.23      5.19   1000000         0
490.43/490.69	c       341       511    571.13    131.53      4.34   1000000         0
492.12/492.32	c       299       340    592.38    136.23      4.35   1000000         0
493.72/493.94	c       330       528    572.07    100.40      5.70   1000000         0
495.31/495.55	c       365       445    574.85     83.20      6.91   1000000         0
496.92/497.16	c       278       598    555.22    113.72      4.88   1000000         0
498.51/498.78	c       360       593    582.11    120.29      4.84   1000000         0
500.11/500.40	c       356       478    573.17    111.98      5.12   1000000         0
501.81/502.02	c       274       569    562.29    108.26      5.19   1000000         0
503.41/503.64	c       371       597    575.70    105.17      5.47   1000000         0
505.01/505.26	c       367       624    578.47    122.41      4.73   1000000         0
506.61/506.87	c       327       670    568.65    108.66      5.23   1000000         0
508.21/508.49	c       298       585    574.81    136.23      4.22   1000000         0
509.91/510.12	c       357       620    585.80     96.28      6.08   1000000         0
511.51/511.73	c       342       549    574.33    110.68      5.19   1000000         0
513.11/513.35	c       358       623    575.07    120.99      4.75   1000000         0
514.71/514.96	c       321       503    552.74    113.24      4.88   1000000         0
516.31/516.58	c       354       476    575.97    113.06      5.09   1000000         0
517.92/518.19	c       323       517    558.07    121.96      4.58   1000000         0
519.61/519.81	c       362       669    564.05    101.28      5.57   1000000         0
521.21/521.43	c       370       450    566.37    103.00      5.50   1000000         0
522.81/523.05	c       337       465    573.83     93.25      6.15   1000000         0
524.41/524.65	c       328       519    543.25    100.39      5.41   1000000         0
526.01/526.27	c       308       617    568.15    110.51      5.14   1000000         0
527.61/527.89	c       357       410    569.26    121.26      4.69   1000000         0
529.31/529.51	c       334       519    569.09    105.76      5.38   1000000         0
530.91/531.13	c       335       467    570.61     98.66      5.78   1000000         0
532.51/532.74	c       287       509    556.66    109.15      5.10   1000000         0
534.10/534.37	c       325       605    582.90    121.59      4.79   1000000         0
535.80/536.00	c       275       497    568.82    121.34      4.69   1000000         0
537.40/537.62	c       316       568    586.38    140.70      4.17   1000000         0
539.00/539.24	c       333       646    571.64    100.92      5.66   1000000         0
540.60/540.86	c       361       521    573.26    129.81      4.42   1000000         0
542.20/542.47	c       358       514    569.37     99.20      5.74   1000000         0
543.90/544.10	c       373       574    592.10    118.71      4.99   1000000         0
545.50/545.71	c       326       564    561.48    105.49      5.32   1000000         0
547.10/547.34	c       353       597    590.75    126.07      4.69   1000000         0
548.70/548.97	c       372       514    591.23    109.69      5.39   1000000         0
550.30/550.59	c       351       563    563.74    112.97      4.99   1000000         0
551.90/552.20	c       296       413    559.20    123.67      4.52   1000000         0
553.59/553.82	c       359       585    586.28    107.76      5.44   1000000         0
555.20/555.43	c       329       589    558.03    116.72      4.78   1000000         0
556.79/557.05	c       326       529    565.78     98.14      5.76   1000000         0
558.39/558.66	c       348       582    568.52    108.11      5.26   1000000         0
559.99/560.28	c       317       538    573.03    105.09      5.45   1000000         0
561.59/561.89	c       344       498    563.06    103.85      5.42   1000000         0
563.29/563.52	c       365       522    581.57    123.67      4.70   1000000         0
564.89/565.13	c       321       526    560.32    108.65      5.16   1000000         0
566.49/566.75	c       346       389    574.94     99.91      5.75   1000000         0
568.09/568.37	c       366       545    582.28     92.74      6.28   1000000         0
569.69/569.99	c       354       582    577.40    121.96      4.73   1000000         0
571.39/571.61	c       343       612    569.42    112.51      5.06   1000000         0
572.99/573.23	c       328       575    561.32    103.52      5.42   1000000         0
574.59/574.86	c       396       683    585.46    102.79      5.70   1000000         0
576.20/576.48	c       323       443    572.92     97.14      5.90   1000000         0
577.89/578.11	c       311       477    573.04     96.06      5.97   1000000         0
579.49/579.72	c       331       522    570.61    129.16      4.42   1000000         0
581.09/581.33	c       286       455    557.70    112.94      4.94   1000000         0
582.69/582.94	c       323       499    553.22    115.78      4.78   1000000         0
584.29/584.56	c       338       469    578.46    132.95      4.35   1000000         0
585.88/586.18	c       305       639    572.38    114.41      5.00   1000000         0
587.58/587.81	c       347       472    598.97    102.50      5.84   1000000         0
589.18/589.42	c       293       636    547.31    121.33      4.51   1000000         0
590.78/591.03	c       360       465    570.49    104.48      5.46   1000000         0
592.38/592.64	c       344       659    560.58     97.40      5.76   1000000         0
593.98/594.28	c       340       391    586.59    121.34      4.83   1000000         0
595.58/595.89	c       356       431    563.50    105.56      5.34   1000000         0
597.28/597.51	c       368       712    569.53    100.64      5.66   1000000         0
598.88/599.13	c       367       584    568.88    102.69      5.54   1000000         0
600.48/600.75	c       335       415    578.68    127.42      4.54   1000000         0
602.08/602.36	c       352       671    554.86    105.23      5.27   1000000         0
603.69/603.98	c       332       532    561.15    121.14      4.63   1000000         0
605.28/605.58	c       297       499    543.56    109.44      4.97   1000000         0
606.99/607.21	c       389       509    595.36    111.45      5.34   1000000         0
608.58/608.82	c       276       425    548.14    105.36      5.20   1000000         0
610.18/610.45	c       352       464    593.77    110.14      5.39   1000000         0
611.78/612.06	c       342       477    567.32    112.78      5.03   1000000         0
613.37/613.68	c       336       549    549.80    101.68      5.41   1000000         0
615.07/615.30	c       360       401    597.01    120.31      4.96   1000000         0
616.67/616.92	c       359       610    579.26    113.92      5.08   1000000         0
618.27/618.55	c       343       576    574.39    117.04      4.91   1000000         0
619.87/620.17	c       353       504    568.74    105.89      5.37   1000000         0
621.47/621.79	c       356       491    571.20    114.08      5.01   1000000         0
623.17/623.41	c       317       597    583.74    123.46      4.73   1000000         0
624.77/625.04	c       372       731    574.02     96.37      5.96   1000000         0
626.37/626.65	c       340       543    563.82    100.77      5.59   1000000         0
627.97/628.26	c       364       610    566.37    104.91      5.40   1000000         0
629.57/629.88	c       394       489    580.50     89.79      6.47   1000000         0
631.27/631.50	c       357       657    578.23    104.19      5.55   1000000         0
632.87/633.11	c       340       563    562.18    112.01      5.02   1000000         0
634.47/634.74	c       349       616    577.25    135.65      4.26   1000000         0
636.07/636.36	c       321       472    582.19    120.80      4.82   1000000         0
637.67/637.98	c       324       558    572.74    104.25      5.49   1000000         0
639.37/639.61	c       330       400    577.13    128.33      4.50   1000000         0
640.97/641.22	c       303       540    572.84    122.82      4.66   1000000         0
642.57/642.83	c       308       699    559.42     98.44      5.68   1000000         0
644.17/644.45	c       336       523    579.81    121.17      4.79   1000000         0
645.76/646.08	c       371       556    593.63    109.77      5.41   1000000         0
647.46/647.71	c       324       613    576.40    113.70      5.07   1000000         0
649.06/649.33	c       301       636    574.89    103.54      5.55   1000000         0
650.66/650.94	c       328       586    550.14    108.15      5.09   1000000         0
652.26/652.56	c       343       699    577.60    104.39      5.53   1000000         0
653.86/654.18	c       309       448    569.08    105.88      5.37   1000000         0
655.46/655.79	c       303       568    548.89     92.96      5.90   1000000         0
657.16/657.41	c       341       561    575.85    117.15      4.92   1000000         0
658.76/659.04	c       345       686    583.04    114.18      5.11   1000000         0
660.36/660.65	c       362       494    584.21     96.27      6.07   1000000         0
661.97/662.27	c       360       615    576.69    110.00      5.24   1000000         0
663.56/663.88	c       346       596    552.48    101.71      5.43   1000000         0
665.26/665.50	c       319       616    578.06    111.27      5.20   1000000         0
666.86/667.13	c       359       702    573.58    106.09      5.41   1000000         0
668.46/668.75	c       323       457    567.31    131.49      4.31   1000000         0
670.06/670.37	c       359       563    569.15    109.31      5.21   1000000         0
671.65/671.98	c       328       474    564.13     97.18      5.81   1000000         0
673.35/673.61	c       360       507    576.55     92.40      6.24   1000000         0
674.95/675.22	c       336       545    575.74    115.20      5.00   1000000         0
676.55/676.84	c       265       559    559.44    108.24      5.17   1000000         0
678.15/678.46	c       322       630    565.39    106.50      5.31   1000000         0
679.75/680.08	c       348       602    574.71    100.31      5.73   1000000         0
681.45/681.70	c       345       538    592.09    111.84      5.29   1000000         0
683.05/683.31	c       303       474    558.31     96.27      5.80   1000000         0
684.65/684.93	c       367       529    584.26     94.06      6.21   1000000         0
686.25/686.55	c       372       563    571.83    110.72      5.16   1000000         0
687.85/688.17	c       321       588    581.86     98.30      5.92   1000000         0
689.45/689.79	c       332       470    573.81    103.25      5.56   1000000         0
691.15/691.40	c       379       536    547.53     95.25      5.75   1000000         0
692.75/693.01	c       329       547    563.76    113.58      4.96   1000000         0
694.35/694.63	c       354       620    556.10     91.50      6.08   1000000         0
695.95/696.25	c       350       567    572.99    101.81      5.63   1000000         0
697.54/697.84	c       291       465    524.26     90.07      5.82   1000000         0
699.14/699.45	c       298       598    543.35    114.57      4.74   1000000         0
700.74/701.07	c       342       543    559.44    102.38      5.46   1000000         0
702.34/702.68	c       369       484    572.35    108.91      5.26   1000000         0
704.04/704.31	c       331       539    582.27    101.18      5.75   1000000         0
705.64/705.93	c       376       694    570.84    128.01      4.46   1000000         0
707.24/707.54	c       335       634    563.19    100.59      5.60   1000000         0
708.84/709.16	c       344       567    558.64     96.00      5.82   1000000         0
710.44/710.78	c       345       574    560.46    111.92      5.01   1000000         0
712.14/712.40	c       339       589    565.72    118.47      4.78   1000000         0
713.74/714.01	c       300       617    560.14    115.37      4.86   1000000         0
715.34/715.62	c       344       428    569.70     96.91      5.88   1000000         0
716.95/717.25	c       390       523    582.92    105.01      5.55   1000000         0
718.54/718.87	c       340       551    589.82    100.36      5.88   1000000         0
720.14/720.49	c       335       501    570.18    105.50      5.40   1000000         0
721.84/722.11	c       372       454    570.84    116.06      4.92   1000000         0
723.44/723.72	c       355       708    571.63    110.26      5.18   1000000         0
725.03/725.34	c       341       518    556.21     93.23      5.97   1000000         0
726.63/726.96	c       339       546    580.75    122.91      4.72   1000000         0
728.23/728.58	c       342       548    577.61    116.91      4.94   1000000         0
729.93/730.21	c       349       606    591.76    109.94      5.38   1000000         0
731.53/731.82	c       370       609    579.84     96.59      6.00   1000000         0
733.13/733.44	c       379       612    566.35    102.84      5.51   1000000         0
734.73/735.07	c       298       512    577.98    110.48      5.23   1000000         0
736.33/736.69	c       339       581    549.86     97.49      5.64   1000000         0
738.03/738.31	c       364       732    583.13    101.97      5.72   1000000         0
739.63/739.94	c       333       546    589.96    108.10      5.46   1000000         0
741.23/741.56	c       365       551    592.89     99.96      5.93   1000000         0
742.83/743.19	c       360       640    588.65    122.87      4.79   1000000         0
744.43/744.80	c       336       505    545.58    110.16      4.95   1000000         0
746.12/746.40	c       280       574    552.51    106.19      5.20   1000000         0
747.73/748.02	c       338       603    552.57     93.51      5.91   1000000         0
749.32/749.64	c       358       609    581.96    124.22      4.68   1000000         0
750.93/751.25	c       344       577    570.65    108.85      5.24   1000000         0
752.52/752.88	c       345       627    582.13    109.79      5.30   1000000         0
754.12/754.50	c       310       507    562.46    115.10      4.89   1000000         0
755.82/756.12	c       365       512    568.56    114.62      4.96   1000000         0
757.42/757.73	c       319       678    558.94    102.33      5.46   1000000         0
759.02/759.35	c       353       588    578.16    117.90      4.90   1000000         0
760.62/760.96	c       349       523    554.76    104.32      5.32   1000000         0
762.22/762.56	c       262       533    535.44    107.46      4.98   1000000         0
763.82/764.19	c       360       541    581.36    120.98      4.81   1000000         0
765.52/765.81	c       339       578    571.31    104.20      5.48   1000000         0
767.12/767.43	c       399       575    585.60    108.74      5.39   1000000         0
768.72/769.04	c       367       481    565.18    110.27      5.13   1000000         0
770.32/770.67	c       336       462    585.86    106.29      5.51   1000000         0
771.92/772.30	c       365       592    593.58    115.89      5.12   1000000         0
773.62/773.91	c       344       487    567.00    121.52      4.67   1000000         0
775.22/775.54	c       339       535    587.35     93.66      6.27   1000000         0
776.81/777.17	c       360       507    579.91    124.30      4.67   1000000         0
778.42/778.79	c       350       581    574.04     91.07      6.30   1000000         0
780.11/780.40	c       356       641    553.36     98.40      5.62   1000000         0
781.72/782.01	c       335       621    567.42    106.39      5.33   1000000         0
783.31/783.63	c       353       383    568.67    110.56      5.14   1000000         0
784.91/785.26	c       345       650    584.09     99.84      5.85   1000000         0
786.51/786.88	c       353       545    574.44     96.60      5.95   1000000         0
788.21/788.50	c       323       683    567.91    120.21      4.72   1000000         0
789.81/790.12	c       328       502    556.76    100.58      5.54   1000000         0
791.41/791.74	c       343       521    570.28    119.36      4.78   1000000         0
793.01/793.36	c       315       480    566.23    104.97      5.39   1000000         0
794.61/794.97	c       352       430    561.30    105.12      5.34   1000000         0
796.21/796.59	c       372       516    579.45     96.43      6.01   1000000         0
797.91/798.22	c       327       527    581.06    119.45      4.86   1000000         0
799.51/799.84	c       370       544    571.78    102.18      5.60   1000000         0
801.11/801.47	c       283       530    574.99     99.55      5.78   1000000         0
802.71/803.08	c       365       584    570.96    103.02      5.54   1000000         0
804.41/804.70	c       333       652    570.66    119.51      4.77   1000000         0
806.01/806.32	c       358       514    572.54    107.60      5.32   1000000         0
807.61/807.94	c       348       490    562.51    106.32      5.29   1000000         0
809.21/809.56	c       346       489    569.97    102.00      5.59   1000000         0
810.80/811.18	c       373       458    592.75    104.76      5.66   1000000         0
812.40/812.80	c       315       563    562.06    100.12      5.61   1000000         0
814.10/814.43	c       335       402    591.14     90.00      6.57   1000000         0
815.70/816.04	c       323       435    564.13    127.06      4.44   1000000         0
817.30/817.68	c       358       589    590.49    128.88      4.58   1000000         0
819.00/819.30	c       344       517    580.73    103.62      5.60   1000000         0
820.60/820.92	c       329       579    577.53    118.37      4.88   1000000         0
822.20/822.53	c       356       567    560.29     93.56      5.99   1000000         0
823.80/824.16	c       375       659    582.22    103.83      5.61   1000000         0
825.40/825.78	c       356       628    578.98    102.53      5.65   1000000         0
827.00/827.38	c       311       518    556.09    112.63      4.94   1000000         0
828.70/829.01	c       367       537    594.58     99.89      5.95   1000000         0
830.30/830.63	c       332       538    561.39    103.58      5.42   1000000         0
831.90/832.25	c       311       498    568.58     97.41      5.84   1000000         0
833.51/833.86	c       293       706    551.94    107.42      5.14   1000000         0
835.10/835.49	c       325       524    575.95    111.26      5.18   1000000         0
836.80/837.11	c       367       586    574.18    116.61      4.92   1000000         0
838.40/838.72	c       345       565    569.26    110.83      5.14   1000000         0
840.00/840.34	c       339       504    560.35    107.32      5.22   1000000         0
841.59/841.95	c       322       654    561.65    107.16      5.24   1000000         0
843.19/843.57	c       364       504    584.16    106.67      5.48   1000000         0
844.89/845.20	c       304       560    589.10     95.02      6.20   1000000         0
846.49/846.82	c       331       478    568.55    119.48      4.76   1000000         0
848.09/848.43	c       361       553    563.95    105.12      5.36   1000000         0
849.69/850.05	c       371       506    562.87    124.06      4.54   1000000         0
851.29/851.66	c       341       521    572.54    118.21      4.84   1000000         0
852.89/853.28	c       300       533    565.91    101.05      5.60   1000000         0
854.59/854.91	c       359       503    589.09    101.39      5.81   1000000         0
856.19/856.53	c       331       588    581.22    113.31      5.13   1000000         0
857.79/858.17	c       360       605    592.67    103.34      5.73   1000000         0
859.39/859.79	c       349       467    566.09    104.72      5.41   1000000         0
861.09/861.41	c       355       560    585.39    104.60      5.60   1000000         0
862.69/863.02	c       357       520    564.46    121.90      4.63   1000000         0
864.29/864.64	c       286       547    567.57    112.54      5.04   1000000         0
865.89/866.26	c       334       478    565.18    100.96      5.60   1000000         0
867.49/867.87	c       363       578    567.34    101.95      5.56   1000000         0
869.08/869.49	c       317       536    558.31    103.14      5.41   1000000         0
870.79/871.11	c       306       510    565.71    131.83      4.29   1000000         0
872.38/872.73	c       330       546    585.93    124.67      4.70   1000000         0
873.98/874.35	c       329       533    578.01    123.72      4.67   1000000         0
875.58/875.97	c       330       575    581.09    121.19      4.79   1000000         0
877.18/877.59	c       301       591    573.52    104.24      5.50   1000000         0
878.88/879.23	c       343       556    585.28    123.05      4.76   1000000         0
880.48/880.85	c       375       481    574.59    113.54      5.06   1000000         0
882.08/882.47	c       327       533    585.31    107.62      5.44   1000000         0
883.68/884.09	c       322       602    566.88    109.39      5.18   1000000         0
885.38/885.71	c       320       432    570.95    102.18      5.59   1000000         0
886.98/887.32	c       332       510    568.50    139.29      4.08   1000000         0
888.58/888.94	c       293       446    562.72    116.91      4.81   1000000         0
890.18/890.55	c       340       620    560.49    122.72      4.57   1000000         0
891.79/892.16	c       323       557    568.17    103.28      5.50   1000000         0
893.38/893.78	c       349       497    573.77    117.65      4.88   1000000         0
895.08/895.40	c       297       587    559.45    119.19      4.69   1000000         0
896.67/897.02	c       377       575    563.40    110.03      5.12   1000000         0
898.28/898.63	c       335       558    559.44    117.08      4.78   1000000         0
899.87/900.25	c       269       437    570.73    113.12      5.05   1000000         0
901.47/901.88	c       319       567    592.03    126.78      4.67   1000000         0
903.17/903.50	c       358       552    569.81    117.62      4.84   1000000         0
904.77/905.12	c       360       466    571.24    131.71      4.34   1000000         0
906.37/906.74	c       358       490    565.95    110.12      5.14   1000000         0
907.97/908.36	c       286       629    573.71    101.46      5.65   1000000         0
909.57/909.98	c       335       560    559.68    103.41      5.41   1000000         0
911.17/911.59	c       357       567    569.79    108.33      5.26   1000000         0
912.87/913.21	c       374       694    577.11    106.81      5.40   1000000         0
914.47/914.83	c       333       738    574.22    100.91      5.69   1000000         0
916.07/916.45	c       314       523    579.42    106.90      5.42   1000000         0
917.67/918.08	c       312       549    583.56    112.45      5.19   1000000         0
919.37/919.70	c       336       570    577.77    121.44      4.76   1000000         0
920.97/921.33	c       336       461    579.54    108.75      5.33   1000000         0
922.57/922.94	c       311       612    543.75    103.73      5.24   1000000         0
924.17/924.56	c       363       524    598.19    123.93      4.83   1000000         0
925.77/926.20	c       338       683    591.17    133.13      4.44   1000000         0
927.47/927.82	c       361       501    579.20    106.97      5.41   1000000         0
929.07/929.44	c       366       545    589.64    117.24      5.03   1000000         0
930.66/931.06	c       332       757    586.73    107.80      5.44   1000000         0
932.26/932.69	c       338       573    601.60    134.05      4.49   1000000         0
933.96/934.31	c       322       472    559.56    109.91      5.09   1000000         0
935.56/935.93	c       359       528    569.09    115.53      4.93   1000000         0
937.16/937.55	c       351       572    571.87    110.84      5.16   1000000         0
938.76/939.17	c       355       555    569.56    103.80      5.49   1000000         0
940.36/940.79	c       324       496    599.35    118.78      5.05   1000000         0
942.06/942.43	c       371       489    583.90    121.44      4.81   1000000         0
943.66/944.05	c       353       567    587.48    137.04      4.29   1000000         0
945.26/945.67	c       364       584    572.23    132.05      4.33   1000000         0
946.85/947.29	c       343       465    580.49     95.78      6.06   1000000         0
948.55/948.91	c       359       550    581.65     96.20      6.05   1000000         0
950.15/950.53	c       338       535    575.47    115.39      4.99   1000000         0
951.75/952.15	c       311       577    563.24    115.57      4.87   1000000         0
953.36/953.76	c       367       613    561.34    100.61      5.58   1000000         0
954.95/955.38	c       347       434    591.62    115.31      5.13   1000000         0
956.56/956.99	c       340       481    560.05     99.95      5.60   1000000         0
958.25/958.61	c       352       651    571.50    100.24      5.70   1000000         0
959.86/960.23	c       283       557    576.78    115.40      5.00   1000000         0
961.45/961.84	c       312       506    562.91     95.89      5.87   1000000         0
963.05/963.46	c       341       458    574.29     99.57      5.77   1000000         0
964.65/965.07	c       340       544    557.50    103.30      5.40   1000000         0
966.25/966.68	c       288       600    553.88    115.52      4.79   1000000         0
967.95/968.30	c       335       628    555.53     92.15      6.03   1000000         0
969.55/969.92	c       378       607    590.60    136.87      4.31   1000000         0
971.15/971.54	c       367       601    569.00    120.67      4.72   1000000         0
972.74/973.16	c       314       482    563.57    126.32      4.46   1000000         0
974.34/974.78	c       328       521    558.07    101.02      5.52   1000000         0
976.04/976.40	c       311       493    559.70    114.60      4.88   1000000         0
977.64/978.03	c       297       573    579.00    130.16      4.45   1000000         0
979.24/979.65	c       286       540    565.41    120.90      4.68   1000000         0
980.85/981.27	c       359       542    579.60    110.19      5.26   1000000         0
982.44/982.89	c       336       757    580.74    112.75      5.15   1000000         0
984.15/984.52	c       331       608    570.63    105.39      5.41   1000000         0
985.74/986.14	c       321       522    586.13    129.89      4.51   1000000         0
987.34/987.75	c       359       513    562.82     97.92      5.75   1000000         0
988.94/989.37	c       347       551    561.38    104.09      5.39   1000000         0
990.54/990.98	c       373       434    569.98    120.44      4.73   1000000         0
992.24/992.61	c       339       546    577.40    114.26      5.05   1000000         0
993.84/994.23	c       327       528    574.08    124.54      4.61   1000000         0
995.44/995.85	c       286       558    570.91    141.08      4.05   1000000         0
997.04/997.47	c       364       583    571.39     94.73      6.03   1000000         0
998.63/999.09	c       362       570    575.94    104.59      5.51   1000000         0
1000.33/1000.71	c       376       495    572.87     95.54      6.00   1000000         0
1001.93/1002.32	c       348       442    566.46    112.76      5.02   1000000         0
1003.53/1003.94	c       322       614    574.91    102.42      5.61   1000000         0
1005.13/1005.56	c       346       536    573.13    101.47      5.65   1000000         0
1006.73/1007.16	c       312       553    554.19     97.07      5.71   1000000         0
1008.34/1008.78	c       353       428    581.82    115.50      5.04   1000000         0
1010.03/1010.40	c       346       501    550.54     88.52      6.22   1000000         0
1011.64/1012.01	c       322       535    568.02     98.42      5.77   1000000         0
1013.23/1013.63	c       343       560    558.08    101.98      5.47   1000000         0
1014.84/1015.25	c       344       450    590.62    127.14      4.65   1000000         0
1016.43/1016.87	c       376       582    582.88    111.17      5.24   1000000         0
1018.03/1018.48	c       302       577    582.37    101.90      5.72   1000000         0
1019.73/1020.11	c       361       498    580.99    127.34      4.56   1000000         0
1021.33/1021.73	c       341       453    574.32    115.10      4.99   1000000         0
1022.93/1023.34	c       355       565    580.35    105.68      5.49   1000000         0
1024.53/1024.97	c       346       610    575.59    104.40      5.51   1000000         0
1026.13/1026.59	c       385       552    600.31    110.22      5.45   1000000         0
1027.83/1028.20	c       320       554    564.02    108.78      5.19   1000000         0
1029.43/1029.82	c       324       661    565.34    118.10      4.79   1000000         0
1031.03/1031.44	c       340       512    572.37    109.69      5.22   1000000         0
1032.63/1033.06	c       331       616    572.90    114.78      4.99   1000000         0
1034.22/1034.68	c       327       608    576.53    100.19      5.75   1000000         0
1035.83/1036.29	c       363       607    581.86    113.15      5.14   1000000         0
1037.52/1037.91	c       380       536    577.56     96.60      5.98   1000000         0
1039.13/1039.52	c       333       570    567.53    123.61      4.59   1000000         0
1040.72/1041.14	c       352       542    584.18    111.24      5.25   1000000         0
1042.33/1042.75	c       327       426    554.03    114.69      4.83   1000000         0
1043.92/1044.37	c       322       620    573.28    111.33      5.15   1000000         0
1045.52/1045.98	c       310       521    551.50    108.74      5.07   1000000         0
1047.22/1047.60	c       348       686    573.91     98.98      5.80   1000000         0
1048.82/1049.22	c       316       468    581.23    106.07      5.48   1000000         0
1050.42/1050.84	c       361       555    568.53    128.53      4.42   1000000         0
1052.02/1052.45	c       316       509    565.56    112.48      5.03   1000000         0
1053.62/1054.09	c       292       526    586.05    118.52      4.94   1000000         0
1055.32/1055.72	c       365       534    590.24    119.19      4.95   1000000         0
1056.92/1057.33	c       298       476    561.92     85.44      6.58   1000000         0
1058.51/1058.95	c       368       490    582.78    107.60      5.42   1000000         0
1060.11/1060.56	c       318       633    561.44    125.52      4.47   1000000         0
1061.71/1062.19	c       327       666    573.62    100.25      5.72   1000000         0
1063.41/1063.82	c       320       555    571.97    130.32      4.39   1000000         0
1065.01/1065.43	c       333       489    561.62    108.97      5.15   1000000         0
1066.62/1067.06	c       314       610    576.98    116.43      4.96   1000000         0
1068.21/1068.67	c       367       399    560.39     89.15      6.29   1000000         0
1069.82/1070.29	c       346       530    563.20     97.81      5.76   1000000         0
1071.51/1071.91	c       324       487    581.23    114.43      5.08   1000000         0
1073.12/1073.52	c       347       508    563.50    118.23      4.77   1000000         0
1074.71/1075.13	c       338       626    557.24    104.70      5.32   1000000         0
1076.31/1076.75	c       349       564    571.33    122.66      4.66   1000000         0
1077.91/1078.38	c       372       597    581.34    102.62      5.66   1000000         0
1079.61/1080.00	c       294       561    566.45    117.20      4.83   1000000         0
1081.21/1081.62	c       340       449    580.93    112.90      5.15   1000000         0
1082.81/1083.24	c       363       602    553.46     98.98      5.59   1000000         0
1084.41/1084.85	c       339       573    568.50    105.79      5.37   1000000         0
1086.01/1086.47	c       328       666    592.46    102.09      5.80   1000000         0
1087.61/1088.08	c       352       515    558.92    108.06      5.17   1000000         0
1089.31/1089.70	c       348       563    561.70     99.26      5.66   1000000         0
1090.91/1091.31	c       329       499    565.72    110.66      5.11   1000000         0
1092.50/1092.92	c       322       619    573.00    110.99      5.16   1000000         0
1094.11/1094.55	c       318       707    577.90    130.88      4.42   1000000         0
1095.70/1096.18	c       301       631    571.23    117.84      4.85   1000000         0
1097.31/1097.79	c       311       393    559.75    105.42      5.31   1000000         0
1099.00/1099.40	c       316       529    554.44    121.43      4.57   1000000         0
1100.61/1101.03	c       341       696    586.00    106.46      5.50   1000000         0
1102.20/1102.65	c       358       548    571.88    109.64      5.22   1000000         0
1103.80/1104.26	c       324       576    540.75     96.90      5.58   1000000         0
1105.40/1105.87	c       344       503    555.94     95.91      5.80   1000000         0
1107.00/1107.49	c       351       670    568.33    101.40      5.60   1000000         0
1108.70/1109.11	c       379       534    587.06    102.96      5.70   1000000         0
1110.30/1110.74	c       381       507    584.43     98.77      5.92   1000000         0
1111.90/1112.36	c       333       502    563.45     96.05      5.87   1000000         0
1113.50/1113.98	c       305       501    574.34    101.57      5.65   1000000         0
1115.10/1115.59	c       325       516    556.79    103.10      5.40   1000000         0
1116.80/1117.21	c       342       482    570.19    101.37      5.62   1000000         0
1118.40/1118.83	c       361       526    572.93    107.13      5.35   1000000         0
1120.01/1120.45	c       364       649    584.85    110.92      5.27   1000000         0
1121.61/1122.07	c       368       519    567.58    105.06      5.40   1000000         0
1123.21/1123.70	c       348       663    584.19     95.86      6.09   1000000         0
1124.91/1125.31	c       335       601    562.52    115.62      4.87   1000000         0
1126.50/1126.93	c       313       494    572.25    120.68      4.74   1000000         0
1128.11/1128.54	c       340       592    561.25     89.05      6.30   1000000         0
1129.70/1130.17	c       342       588    583.76     96.94      6.02   1000000         0
1131.30/1131.79	c       339       670    596.44    118.81      5.02   1000000         0
1133.00/1133.42	c       363       622    590.70    112.30      5.26   1000000         0
1134.60/1135.04	c       340       427    572.97    126.93      4.51   1000000         0
1136.20/1136.66	c       356       524    570.40    111.10      5.13   1000000         0
1137.80/1138.28	c       359       563    575.22    108.76      5.29   1000000         0
1139.50/1139.90	c       261       576    548.59    118.69      4.62   1000000         0
1141.10/1141.53	c       357       491    597.88    103.65      5.77   1000000         0
1142.70/1143.15	c       290       570    565.01     98.84      5.72   1000000         0
1144.30/1144.76	c       331       497    567.60    107.64      5.27   1000000         0
1145.90/1146.38	c       380       570    587.86    104.04      5.65   1000000         0
1147.60/1148.00	c       295       498    566.78    115.54      4.91   1000000         0
1149.20/1149.63	c       368       521    579.93    113.51      5.11   1000000         0
1150.80/1151.25	c       347       489    578.39     96.41      6.00   1000000         0
1152.40/1152.86	c       343       646    558.07    114.66      4.87   1000000         0
1153.99/1154.47	c       314       519    571.82    124.38      4.60   1000000         0
1155.60/1156.08	c       313       577    541.47     98.61      5.49   1000000         0
1157.29/1157.70	c       337       588    560.00    126.35      4.43   1000000         0
1158.90/1159.32	c       389       493    587.15    102.50      5.73   1000000         0
1160.49/1160.94	c       369       591    578.86     96.13      6.02   1000000         0
1162.09/1162.56	c       321       547    591.14    105.47      5.60   1000000         0
1163.69/1164.17	c       317       535    577.41    113.39      5.09   1000000         0
1165.29/1165.79	c       358       426    563.91    106.51      5.29   1000000         0
1166.99/1167.42	c       380       556    588.89    117.26      5.02   1000000         0
1168.59/1169.04	c       340       523    567.23    101.17      5.61   1000000         0
1170.19/1170.66	c       339       705    575.85    113.38      5.08   1000000         0
1171.79/1172.26	c       354       381    569.51    101.25      5.62   1000000         0
1173.39/1173.88	c       343       567    565.86    108.04      5.24   1000000         0
1175.09/1175.51	c       304       533    577.08    100.38      5.75   1000000         0
1176.69/1177.13	c       364       476    582.87    113.75      5.12   1000000         0
1178.29/1178.75	c       397       502    579.56    106.05      5.46   1000000         0
1179.89/1180.37	c       377       514    582.12    117.16      4.97   1000000         0
1181.49/1181.98	c       338       599    562.70    101.03      5.57   1000000         0
1183.19/1183.62	c       346       492    588.70    109.71      5.37   1000000         0
1184.79/1185.22	c       302       433    540.29    106.19      5.09   1000000         0
1186.39/1186.84	c       321       500    565.87    111.44      5.08   1000000         0
1187.98/1188.46	c       345       457    550.76    110.08      5.00   1000000         0
1189.58/1190.08	c       329       475    582.37     98.30      5.92   1000000         0
1191.18/1191.69	c       301       567    565.17    126.65      4.46   1000000         0
1192.88/1193.32	c       323       628    562.83    113.49      4.96   1000000         0
1194.48/1194.93	c       344       522    569.42    100.71      5.65   1000000         0
1196.08/1196.55	c       342       525    557.03    105.83      5.26   1000000         0
1197.68/1198.18	c       376       540    578.85    125.66      4.61   1000000         0
1199.38/1199.80	c       326       614    574.63    115.18      4.99   1000000         0
1200.98/1201.42	c       359       564    579.78    111.02      5.22   1000000         0
1202.58/1203.04	c       341       546    576.64     97.87      5.89   1000000         0
1204.18/1204.66	c       353       613    564.82    110.99      5.09   1000000         0
1205.78/1206.28	c       344       454    558.31    116.68      4.78   1000000         0
1207.48/1207.90	c       362       617    579.85    107.44      5.40   1000000         0
1209.08/1209.53	c       347       537    588.07    109.62      5.36   1000000         0
1210.69/1211.15	c       348       573    570.30     99.41      5.74   1000000         0
1212.28/1212.78	c       368       595    577.67    110.35      5.24   1000000         0
1213.88/1214.40	c       360       468    568.37     95.67      5.94   1000000         0
1215.58/1216.01	c       338       630    553.13     93.25      5.93   1000000         0
1217.18/1217.63	c       345       630    576.06    109.42      5.26   1000000         0
1218.78/1219.26	c       331       608    580.65    102.11      5.69   1000000         0
1220.37/1220.87	c       359       516    563.63    111.83      5.04   1000000         0
1221.97/1222.49	c       352       592    583.08    108.98      5.35   1000000         0
1223.67/1224.10	c       279       574    557.47    124.81      4.47   1000000         0
1225.27/1225.71	c       339       576    565.04     95.81      5.90   1000000         0
1226.87/1227.32	c       358       651    561.16    103.31      5.43   1000000         0
1228.47/1228.94	c       359       509    570.19    102.95      5.54   1000000         0
1230.07/1230.55	c       251       582    560.31    111.68      5.02   1000000         0
1231.67/1232.17	c       331       542    570.75    116.22      4.91   1000000         0
1233.27/1233.79	c       370       510    567.74     95.39      5.95   1000000         0
1234.97/1235.40	c       328       557    561.47    108.11      5.19   1000000         0
1236.57/1237.02	c       318       454    576.44    105.49      5.46   1000000         0
1238.18/1238.64	c       297       488    572.23    119.47      4.79   1000000         0
1239.77/1240.26	c       321       573    573.30    114.29      5.02   1000000         0
1241.38/1241.87	c       338       478    566.64    121.05      4.68   1000000         0
1242.97/1243.49	c       402       476    582.70    100.77      5.78   1000000         0
1244.68/1245.12	c       326       456    589.94    117.07      5.04   1000000         0
1246.27/1246.75	c       327       433    576.58    102.15      5.64   1000000         0
1247.87/1248.36	c       300       577    548.71    101.31      5.42   1000000         0
1249.47/1249.99	c       365       462    585.91    106.04      5.53   1000000         0
1251.17/1251.61	c       347       635    575.48    102.20      5.63   1000000         0
1252.77/1253.23	c       365       564    570.10    117.11      4.87   1000000         0
1254.37/1254.84	c       290       559    556.21    107.75      5.16   1000000         0
1255.97/1256.45	c       364       524    549.61    107.11      5.13   1000000         0
1257.56/1258.07	c       318       583    579.07    119.72      4.84   1000000         0
1259.16/1259.69	c       323       400    564.88    101.13      5.59   1000000         0
1260.76/1261.29	c       311       554    549.13    100.85      5.45   1000000         0
1262.37/1262.90	c       299       587    538.08    124.63      4.32   1000000         0
1264.06/1264.51	c       309       465    569.66    101.74      5.60   1000000         0
1265.67/1266.14	c       365       595    582.70    108.73      5.36   1000000         0
1267.26/1267.75	c       347       568    566.52    119.41      4.74   1000000         0
1268.87/1269.36	c       330       543    565.34    105.32      5.37   1000000         0
1270.46/1270.98	c       366       634    567.92     92.24      6.16   1000000         0
1272.17/1272.60	c       358       515    566.63     98.00      5.78   1000000         0
1273.76/1274.21	c       341       471    572.53    116.68      4.91   1000000         0
1275.36/1275.84	c       345       536    578.27    122.29      4.73   1000000         0
1276.96/1277.45	c       367       549    571.66    128.67      4.44   1000000         0
1278.56/1279.06	c       320       503    576.72     99.57      5.79   1000000         0
1280.16/1280.67	c       351       701    569.88     98.93      5.76   1000000         0
1281.76/1282.29	c       347       555    564.18    106.92      5.28   1000000         0
1283.46/1283.91	c       334       577    578.99     87.60      6.61   1000000         0
1285.06/1285.53	c       322       513    558.59    106.66      5.24   1000000         0
1286.66/1287.15	c       348       562    593.00    126.88      4.67   1000000         0
1288.26/1288.77	c       336       515    574.49    112.12      5.12   1000000         0
1289.86/1290.39	c       355       502    580.41    118.43      4.90   1000000         0
1291.56/1292.01	c       336       518    561.18     97.25      5.77   1000000         0
1293.16/1293.63	c       298       536    572.88    112.97      5.07   1000000         0
1294.75/1295.25	c       335       579    582.07    106.64      5.46   1000000         0
1296.36/1296.88	c       355       464    595.02    111.13      5.35   1000000         0
1298.05/1298.50	c       330       557    570.63    101.46      5.62   1000000         0
1299.66/1300.12	c       315       581    575.13    114.97      5.00   1000000         0
1301.25/1301.75	c       351       545    567.71    122.89      4.62   1000000         0
1302.85/1303.38	c       355       539    588.23    110.64      5.32   1000000         0
1304.45/1304.99	c       345       611    567.04    113.42      5.00   1000000         0
1306.15/1306.61	c       321       510    558.01     99.07      5.63   1000000         0
1307.75/1308.22	c       330       629    556.35    111.24      5.00   1000000         0
1309.35/1309.84	c       336       513    551.99    119.68      4.61   1000000         0
1310.95/1311.46	c       353       735    589.55    119.16      4.95   1000000         0
1312.55/1313.08	c       293       533    558.34    114.11      4.89   1000000         0
1314.15/1314.69	c       333       602    569.93     92.90      6.13   1000000         0
1315.85/1316.32	c       327       533    578.43    108.95      5.31   1000000         0
1317.45/1317.93	c       359       599    586.18    104.87      5.59   1000000         0
1319.05/1319.55	c       373       454    571.53     84.03      6.80   1000000         0
1320.65/1321.17	c       313       552    581.46    111.71      5.20   1000000         0
1322.25/1322.79	c       359       466    568.23     99.59      5.71   1000000         0
1323.95/1324.41	c       366       686    566.80    112.67      5.03   1000000         0
1325.54/1326.02	c       321       488    562.69    100.58      5.59   1000000         0
1327.15/1327.63	c       355       490    565.67    101.27      5.59   1000000         0
1328.75/1329.25	c       344       535    585.65    103.36      5.67   1000000         0
1330.34/1330.87	c       355       644    568.18    104.38      5.44   1000000         0
1331.94/1332.49	c       347       549    578.43     81.06      7.14   1000000         0
1333.64/1334.10	c       332       527    556.37    101.76      5.47   1000000         0
1335.24/1335.73	c       387       641    581.13    102.02      5.70   1000000         0
1336.84/1337.36	c       370       683    601.11    102.48      5.87   1000000         0
1338.44/1338.99	c       374       550    577.93    105.80      5.46   1000000         0
1340.14/1340.61	c       346       578    589.80    119.17      4.95   1000000         0
1341.74/1342.23	c       365       596    573.76     97.66      5.88   1000000         0
1343.34/1343.85	c       383       575    570.81    110.23      5.18   1000000         0
1344.94/1345.47	c       345       629    567.86     97.95      5.80   1000000         0
1346.54/1347.09	c       346       508    557.65    112.26      4.97   1000000         0
1348.24/1348.70	c       344       561    556.92    126.73      4.39   1000000         0
1349.84/1350.32	c       370       590    578.50    106.88      5.41   1000000         0
1351.44/1351.94	c       333       484    570.48    113.59      5.02   1000000         0
1353.04/1353.57	c       309       434    580.67    115.50      5.03   1000000         0
1354.64/1355.19	c       357       629    558.13    106.40      5.25   1000000         0
1356.34/1356.80	c       325       526    555.05    106.92      5.19   1000000         0
1357.94/1358.42	c       301       436    565.33    129.47      4.37   1000000         0
1359.53/1360.04	c       361       442    582.47    109.21      5.33   1000000         0
1361.13/1361.67	c       384       616    588.30     99.61      5.91   1000000         0
1362.73/1363.28	c       301       443    556.72     99.68      5.59   1000000         0
1364.43/1364.91	c       355       448    575.81    100.03      5.76   1000000         0
1366.03/1366.53	c       330       642    566.12    101.99      5.55   1000000         0
1367.63/1368.15	c       370       596    568.16    100.12      5.67   1000000         0
1369.23/1369.77	c       333       470    563.66    121.77      4.63   1000000         0
1370.83/1371.38	c       340       533    561.03    100.70      5.57   1000000         0
1372.53/1373.01	c       319       508    577.14    102.62      5.62   1000000         0
1374.13/1374.62	c       333       530    562.27    104.50      5.38   1000000         0
1375.73/1376.23	c       316       521    564.52     92.28      6.12   1000000         0
1377.33/1377.86	c       299       520    586.68    109.89      5.34   1000000         0
1378.93/1379.47	c       353       610    567.33    104.37      5.44   1000000         0
1380.53/1381.09	c       317       519    585.46    112.48      5.20   1000000         0
1382.23/1382.72	c       355       466    586.03    103.41      5.67   1000000         0
1383.82/1384.35	c       338       502    579.91    111.42      5.20   1000000         0
1385.43/1385.97	c       363       571    574.40    107.41      5.35   1000000         0
1387.02/1387.59	c       353       583    598.21    125.03      4.78   1000000         0
1388.73/1389.22	c       341       610    554.06    119.93      4.62   1000000         0
1390.32/1390.83	c       302       589    557.41    112.23      4.97   1000000         0
1391.92/1392.46	c       378       475    578.36    104.37      5.54   1000000         0
1393.52/1394.08	c       354       677    583.12    119.44      4.88   1000000         0
1395.22/1395.71	c       344       677    577.64    120.88      4.78   1000000         0
1396.82/1397.34	c       353       668    590.49    112.70      5.24   1000000         0
1398.42/1398.95	c       360       463    561.88     94.72      5.93   1000000         0
1400.02/1400.55	c       321       559    548.07     98.62      5.56   1000000         0
1401.62/1402.17	c       347       569    565.08    107.13      5.27   1000000         0
1403.22/1403.79	c       261       519    559.50     98.57      5.68   1000000         0
1404.92/1405.41	c       341       544    587.12    112.37      5.22   1000000         0
1406.52/1407.03	c       357       504    576.88    110.37      5.23   1000000         0
1408.12/1408.65	c       345       514    576.33    121.07      4.76   1000000         0
1409.72/1410.28	c       394       543    583.40     93.37      6.25   1000000         0
1411.32/1411.89	c       334       589    559.11    109.61      5.10   1000000         0
1413.02/1413.51	c       343       539    571.24    114.59      4.98   1000000         0
1414.62/1415.13	c       249       371    561.72    101.35      5.54   1000000         0
1416.22/1416.75	c       368       527    586.54    100.19      5.85   1000000         0
1417.81/1418.37	c       367       482    576.81    111.99      5.15   1000000         0
1419.41/1419.99	c       291       516    553.43    124.59      4.44   1000000         0
1421.11/1421.61	c       342       504    586.76    103.82      5.65   1000000         0
1422.71/1423.22	c       345       432    567.04    105.39      5.38   1000000         0
1424.31/1424.84	c       351       669    568.66    117.56      4.84   1000000         0
1425.91/1426.46	c       347       571    580.24    103.50      5.61   1000000         0
1427.51/1428.08	c       332       625    572.93    103.44      5.54   1000000         0
1429.21/1429.71	c       374       536    596.22    134.13      4.45   1000000         0
1430.81/1431.32	c       285       454    567.52    117.19      4.84   1000000         0
1432.41/1432.94	c       315       482    567.26     94.51      6.00   1000000         0
1434.01/1434.56	c       331       501    568.18    105.96      5.36   1000000         0
1435.61/1436.18	c       341       521    580.70    114.02      5.09   1000000         0
1437.31/1437.81	c       320       540    565.92    123.09      4.60   1000000         0
1438.91/1439.43	c       346       559    580.69    107.59      5.40   1000000         0
1440.52/1441.05	c       304       544    597.17    107.57      5.55   1000000         0
1442.11/1442.65	c       313       489    546.92    111.61      4.90   1000000         0
1443.71/1444.26	c       332       635    554.19    111.45      4.97   1000000         0
1445.31/1445.88	c       348       546    572.64     89.96      6.37   1000000         0
1447.01/1447.50	c       325       583    561.95    109.05      5.15   1000000         0
1448.61/1449.12	c       348       553    593.28    114.54      5.18   1000000         0
1450.21/1450.75	c       309       531    572.07    115.49      4.95   1000000         0
1451.81/1452.36	c       323       658    561.63    102.00      5.51   1000000         0
1453.40/1453.98	c       316       516    548.50    129.29      4.24   1000000         0
1455.10/1455.60	c       380       543    577.02    101.64      5.68   1000000         0
1456.70/1457.23	c       307       374    573.99    111.91      5.13   1000000         0
1458.30/1458.84	c       293       425    562.72     98.68      5.70   1000000         0
1459.90/1460.46	c       332       597    571.56     98.06      5.83   1000000         0
1461.50/1462.07	c       253       568    546.78    110.75      4.94   1000000         0
1463.10/1463.68	c       357       551    557.91    119.46      4.67   1000000         0
1464.80/1465.30	c       352       516    564.89    114.08      4.95   1000000         0
1466.40/1466.91	c       364       694    560.29    114.43      4.90   1000000         0
1468.01/1468.53	c       341       510    579.30    105.88      5.47   1000000         0
1469.60/1470.15	c       379       545    565.81     92.43      6.12   1000000         0
1471.21/1471.77	c       332       529    584.44    122.27      4.78   1000000         0
1472.80/1473.39	c       320       519    563.24     94.66      5.95   1000000         0
1474.51/1475.02	c       365       611    592.62    106.21      5.58   1000000         0
1476.10/1476.64	c       368       378    586.35    113.91      5.15   1000000         0
1477.70/1478.27	c       367       489    582.57    115.40      5.05   1000000         0
1479.30/1479.88	c       318       518    559.82     96.85      5.78   1000000         0
1481.00/1481.50	c       349       581    585.08    109.28      5.35   1000000         0
1482.60/1483.13	c       392       490    584.78    123.21      4.75   1000000         0
1484.20/1484.74	c       314       564    556.42    100.85      5.52   1000000         0
1485.80/1486.37	c       372       651    589.52     90.45      6.52   1000000         0
1487.40/1487.99	c       318       603    583.05    139.67      4.17   1000000         0
1489.10/1489.61	c       330       618    573.69    121.20      4.73   1000000         0
1490.70/1491.23	c       330       557    585.59     86.38      6.78   1000000         0
1492.30/1492.85	c       354       390    557.27     95.85      5.81   1000000         0
1493.89/1494.47	c       356       634    564.77     94.10      6.00   1000000         0
1495.50/1496.09	c       309       541    580.92    127.85      4.54   1000000         0
1497.09/1497.70	c       293       593    548.64    101.52      5.40   1000000         0
1498.80/1499.31	c       344       612    582.52    127.96      4.55   1000000         0
1500.39/1500.94	c       353       474    581.41    100.88      5.76   1000000         0
1502.00/1502.56	c       317       489    571.78    119.21      4.80   1000000         0
1503.59/1504.19	c       365       557    594.96    117.77      5.05   1000000         0
1505.30/1505.82	c       370       494    599.51    110.65      5.42   1000000         0
1506.89/1507.44	c       336       561    570.38    115.88      4.92   1000000         0
1508.49/1509.07	c       378       696    593.13    110.71      5.36   1000000         0
1510.09/1510.68	c       337       549    570.89    109.33      5.22   1000000         0
1511.79/1512.31	c       382       493    589.80     90.07      6.55   1000000         0
1513.39/1513.91	c       294       585    547.20    128.59      4.26   1000000         0
1514.99/1515.53	c       313       494    561.80    107.54      5.22   1000000         0
1516.59/1517.14	c       295       455    551.41    101.87      5.41   1000000         0
1518.19/1518.76	c       324       516    554.08    118.89      4.66   1000000         0
1519.79/1520.38	c       364       514    568.67    124.39      4.57   1000000         0
1521.39/1521.99	c       269       585    559.86    115.87      4.83   1000000         0
1523.09/1523.61	c       324       702    564.58    111.77      5.05   1000000         0
1524.69/1525.24	c       335       520    575.96     96.40      5.97   1000000         0
1526.29/1526.85	c       290       569    563.92    104.40      5.40   1000000         0
1527.88/1528.47	c       333       513    560.63    109.80      5.11   1000000         0
1529.49/1530.09	c       369       563    582.50    102.87      5.66   1000000         0
1531.18/1531.70	c       350       572    563.73     96.25      5.86   1000000         0
1532.79/1533.32	c       356       530    577.47    110.75      5.21   1000000         0
1534.38/1534.95	c       322       556    585.31    114.87      5.10   1000000         0
1535.98/1536.56	c       341       616    559.43    101.85      5.49   1000000         0
1537.58/1538.18	c       365       411    564.47     92.09      6.13   1000000         0
1539.28/1539.81	c       337       669    573.11    116.32      4.93   1000000         0
1540.88/1541.43	c       335       630    578.54    106.06      5.45   1000000         0
1542.48/1543.05	c       362       551    584.65    111.65      5.24   1000000         0
1544.08/1544.67	c       344       524    562.24    121.07      4.64   1000000         0
1545.68/1546.29	c       332       594    563.09    110.03      5.12   1000000         0
1547.38/1547.91	c       328       619    572.96    114.13      5.02   1000000         0
1548.98/1549.52	c       374       485    579.88    115.94      5.00   1000000         0
1550.58/1551.15	c       369       429    601.74    106.18      5.67   1000000         0
1552.18/1552.77	c       324       500    585.69    114.36      5.12   1000000         0
1553.78/1554.39	c       306       480    561.64    111.43      5.04   1000000         0
1555.47/1556.02	c       371       434    598.78    104.46      5.73   1000000         0
1557.08/1557.64	c       290       466    555.01    104.80      5.30   1000000         0
1558.67/1559.25	c       331       604    559.55    105.13      5.32   1000000         0
1560.28/1560.87	c       296       466    559.18    106.43      5.25   1000000         0
1561.87/1562.48	c       351       614    556.47    108.64      5.12   1000000         0
1563.47/1564.09	c       355       585    559.82    119.44      4.69   1000000         0
1565.17/1565.70	c       345       475    554.40    112.61      4.92   1000000         0
1566.77/1567.33	c       343       607    575.05    122.78      4.68   1000000         0
1568.37/1568.95	c       296       589    587.84    114.01      5.16   1000000         0
1569.97/1570.56	c       291       570    549.80    103.61      5.31   1000000         0
1571.57/1572.18	c       348       658    572.30     98.54      5.81   1000000         0
1573.27/1573.81	c       357       606    564.78    109.43      5.16   1000000         0
1574.87/1575.43	c       338       542    581.75     98.74      5.89   1000000         0
1576.47/1577.05	c       312       536    559.55     97.49      5.74   1000000         0
1578.07/1578.66	c       311       441    556.35    106.67      5.22   1000000         0
1579.67/1580.28	c       347       596    583.14    115.38      5.05   1000000         0
1581.37/1581.91	c       359       557    589.29    107.46      5.48   1000000         0
1582.97/1583.53	c       316       646    580.26    115.08      5.04   1000000         0
1584.57/1585.15	c       357       559    576.21     93.48      6.16   1000000         0
1586.17/1586.77	c       363       566    572.84    101.89      5.62   1000000         0
1587.77/1588.39	c       310       554    563.08    119.62      4.71   1000000         0
1589.46/1590.02	c       307       473    573.04    116.08      4.94   1000000         0
1591.07/1591.64	c       374       540    567.69    110.35      5.14   1000000         0
1592.66/1593.26	c       346       589    572.61    104.92      5.46   1000000         0
1594.26/1594.87	c       301       514    554.64     98.53      5.63   1000000         0
1595.86/1596.49	c       324       374    562.37    110.19      5.10   1000000         0
1597.56/1598.11	c       347       667    589.96    115.93      5.09   1000000         0
1599.16/1599.73	c       363       534    576.91     93.89      6.14   1000000         0
1600.76/1601.36	c       376       504    583.18     97.12      6.00   1000000         0
1602.36/1602.98	c       348       565    581.64     99.54      5.84   1000000         0
1603.96/1604.59	c       314       495    556.13    108.31      5.13   1000000         0
1605.56/1606.19	c       321       590    555.85    109.86      5.06   1000000         0
1607.26/1607.82	c       358       446    581.79    122.38      4.75   1000000         0
1608.86/1609.44	c       374       605    582.20    118.79      4.90   1000000         0
1610.46/1611.05	c       358       451    575.97     93.89      6.13   1000000         0
1612.07/1612.67	c       301       562    565.49    124.01      4.56   1000000         0
1613.66/1614.30	c       276       610    574.22    127.11      4.52   1000000         0
1615.36/1615.92	c       351       459    587.31    107.92      5.44   1000000         0
1616.96/1617.54	c       348       536    566.46    109.14      5.19   1000000         0
1618.56/1619.16	c       301       640    576.00    116.52      4.94   1000000         0
1620.16/1620.78	c       350       490    558.41    105.18      5.31   1000000         0
1621.86/1622.40	c       341       405    591.24    107.17      5.52   1000000         0
1623.45/1624.01	c       334       523    557.83    110.12      5.07   1000000         0
1625.05/1625.63	c       330       554    565.78    113.18      5.00   1000000         0
1626.65/1627.26	c       337       593    584.57    113.88      5.13   1000000         0
1628.25/1628.88	c       323       539    583.82    104.38      5.59   1000000         0
1629.85/1630.50	c       346       585    564.94     86.01      6.57   1000000         0
1631.55/1632.12	c       340       598    583.51    102.62      5.69   1000000         0
1633.15/1633.74	c       335       472    580.25    114.26      5.08   1000000         0
1634.75/1635.35	c       321       562    565.19    102.71      5.50   1000000         0
1636.35/1636.97	c       370       577    593.60    104.08      5.70   1000000         0
1637.95/1638.59	c       293       612    549.41    116.22      4.73   1000000         0
1639.65/1640.21	c       328       519    585.21    116.67      5.02   1000000         0
1641.25/1641.83	c       363       516    588.32    140.24      4.20   1000000         0
1642.86/1643.45	c       376       513    590.90    121.07      4.88   1000000         0
1644.45/1645.07	c       360       628    585.10    112.93      5.18   1000000         0
1646.05/1646.68	c       348       670    558.25    116.38      4.80   1000000         0
1647.65/1648.29	c       344       662    568.80    102.46      5.55   1000000         0
1649.35/1649.91	c       351       580    561.57     97.34      5.77   1000000         0
1650.95/1651.53	c       357       588    575.43    125.84      4.57   1000000         0
1652.55/1653.14	c       327       550    567.53    112.85      5.03   1000000         0
1654.15/1654.77	c       320       460    582.99    108.70      5.36   1000000         0
1655.75/1656.40	c       325       600    584.16    124.54      4.69   1000000         0
1657.44/1658.01	c       311       558    563.57    121.69      4.63   1000000         0
1659.04/1659.62	c       280       506    557.41    110.29      5.05   1000000         0
1660.64/1661.25	c       353       513    572.89     99.35      5.77   1000000         0
1662.24/1662.86	c       322       488    566.11    107.05      5.29   1000000         0
1663.84/1664.48	c       360       556    566.51    122.14      4.64   1000000         0
1665.54/1666.10	c       340       466    566.09    116.97      4.84   1000000         0
1667.14/1667.72	c       363       655    564.94     87.40      6.46   1000000         0
1668.74/1669.34	c       345       548    568.48    114.20      4.98   1000000         0
1670.35/1670.96	c       336       549    590.06    127.13      4.64   1000000         0
1671.94/1672.57	c       259       436    554.87    108.64      5.11   1000000         0
1673.55/1674.18	c       372       541    560.14     93.27      6.01   1000000         0
1675.24/1675.81	c       377       517    594.73    124.46      4.78   1000000         0
1676.85/1677.44	c       374       522    587.80    114.50      5.13   1000000         0
1678.44/1679.04	c       324       505    557.29    106.33      5.24   1000000         0
1680.04/1680.67	c       358       474    581.33    112.95      5.15   1000000         0
1681.64/1682.28	c       344       569    567.92     95.87      5.92   1000000         0
1683.34/1683.91	c       357       578    580.98    123.98      4.69   1000000         0
1684.94/1685.52	c       343       489    560.69     97.57      5.75   1000000         0
1686.54/1687.15	c       345       562    590.98    118.93      4.97   1000000         0
1688.14/1688.76	c       385       523    575.86    120.83      4.77   1000000         0
1689.74/1690.39	c       358       411    577.46    106.08      5.44   1000000         0
1691.43/1692.00	c       366       539    567.98    107.71      5.27   1000000         0
1693.03/1693.62	c       332       499    563.87    107.33      5.25   1000000         0
1694.63/1695.24	c       322       463    557.81    113.42      4.92   1000000         0
1696.23/1696.87	c       337       568    583.23    103.78      5.62   1000000         0
1697.84/1698.49	c       317       613    560.65    115.37      4.86   1000000         0
1699.53/1700.10	c       351       477    576.42     92.95      6.20   1000000         0
1701.14/1701.72	c       339       571    554.69    103.27      5.37   1000000         0
1702.73/1703.33	c       332       593    558.85    120.26      4.65   1000000         0
1704.34/1704.94	c       280       639    555.30    125.94      4.41   1000000         0
1705.93/1706.56	c       349       482    572.28    112.49      5.09   1000000         0
1707.53/1708.18	c       391       559    574.92     98.18      5.86   1000000         0
1709.23/1709.81	c       366       427    585.13    119.86      4.88   1000000         0
1710.83/1711.42	c       335       456    560.59    109.51      5.12   1000000         0
1712.43/1713.03	c       310       622    569.48    121.80      4.68   1000000         0
1714.03/1714.66	c       324       600    577.89    109.69      5.27   1000000         0
1715.63/1716.28	c       319       525    575.34    110.11      5.22   1000000         0
1717.33/1717.91	c       351       549    582.94    115.83      5.03   1000000         0
1718.93/1719.53	c       363       577    565.75    113.89      4.97   1000000         0
1720.53/1721.14	c       356       473    568.46     89.85      6.33   1000000         0
1722.13/1722.78	c       364       572    588.94    149.77      3.93   1000000         0
1723.72/1724.39	c       262       563    563.71    125.88      4.48   1000000         0
1725.42/1726.02	c       347       493    575.75    105.45      5.46   1000000         0
1727.02/1727.63	c       317       659    567.27    111.08      5.11   1000000         0
1728.63/1729.25	c       361       543    564.69     88.43      6.39   1000000         0
1730.22/1730.87	c       299       574    565.38    131.87      4.29   1000000         0
1731.83/1732.49	c       359       559    573.52     87.14      6.58   1000000         0
1733.52/1734.11	c       329       487    559.42    106.09      5.27   1000000         0
1735.13/1735.72	c       344       624    567.78    118.26      4.80   1000000         0
1736.72/1737.33	c       332       636    550.62    120.51      4.57   1000000         0
1738.32/1738.95	c       361       503    563.84     92.31      6.11   1000000         0
1739.92/1740.58	c       352       543    591.95     96.20      6.15   1000000         0
1741.62/1742.20	c       329       490    572.10    107.37      5.33   1000000         0
1743.22/1743.83	c       323       599    588.35    124.03      4.74   1000000         0
1744.82/1745.44	c       301       500    565.24    127.43      4.44   1000000         0
1746.42/1747.06	c       363       527    572.29     99.56      5.75   1000000         0
1748.02/1748.68	c       373       558    572.36     96.98      5.90   1000000         0
1749.62/1750.29	c       353       480    563.77     98.95      5.70   1000000         0
1751.32/1751.92	c       329       540    581.57    106.29      5.47   1000000         0
1752.92/1753.53	c       345       516    559.30    105.30      5.31   1000000         0
1754.52/1755.15	c       320       602    558.88    103.58      5.40   1000000         0
1756.12/1756.77	c       308       550    578.85    107.98      5.36   1000000         0
1757.71/1758.39	c       358       601    567.19     85.23      6.65   1000000         0
1759.32/1760.00	c       323       548    563.86     97.14      5.80   1000000         0
1761.01/1761.61	c       341       510    561.52    105.79      5.31   1000000         0
1762.62/1763.22	c       300       504    552.19    110.30      5.01   1000000         0
1764.21/1764.85	c       366       516    586.42    122.05      4.80   1000000         0
1765.81/1766.46	c       331       613    562.42    111.98      5.02   1000000         0
1767.41/1768.08	c       339       724    566.33    110.43      5.13   1000000         0
1769.11/1769.70	c       363       575    556.91     96.55      5.77   1000000         0
1770.71/1771.31	c       315       492    544.18    114.13      4.77   1000000         0
1772.31/1772.93	c       339       483    571.49    132.96      4.30   1000000         0
1773.91/1774.55	c       371       545    567.44    113.49      5.00   1000000         0
1775.51/1776.17	c       343       492    566.16    105.05      5.39   1000000         0
1777.11/1777.79	c       330       575    587.68    105.89      5.55   1000000         0
1778.81/1779.40	c       330       566    566.13     98.19      5.77   1000000         0
1780.41/1781.02	c       339       614    572.79    108.32      5.29   1000000         0
1782.01/1782.65	c       313       553    589.75    101.70      5.80   1000000         0
1783.61/1784.28	c       386       633    601.45    110.16      5.46   1000000         0
1785.31/1785.91	c       348       492    583.83    113.83      5.13   1000000         0
1786.91/1787.53	c       368       549    577.17    115.78      4.98   1000000         0
1788.51/1789.14	c       378       707    575.79     91.57      6.29   1000000         0
1790.11/1790.76	c       359       440    574.72     97.46      5.90   1000000         0
1791.70/1792.38	c       366       578    582.40     93.41      6.23   1000000         0
1793.41/1794.00	c       351       600    574.40    121.12      4.74   1000000         0
1795.00/1795.62	c       323       678    583.04    132.86      4.39   1000000         0
1796.60/1797.25	c       328       719    568.56    110.17      5.16   1000000         0
1798.20/1798.86	c       313       468    562.06    110.40      5.09   1000000         0
1799.80/1800.49	c       385       442    595.22    107.86      5.52   1000000         0
1800.02/1800.61	HOME/run: line 2: 19097 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-2685308-1278440544/watcher-2685308-1278440544 -o /tmp/evaluation-result-2685308-1278440544/solver-2685308-1278440544 -C 1800 -W 2000 -M 1800 run HOME/instance-2685308-1278440544.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19096
/proc/meminfo: memFree=1748096/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) R 19094 19096 18099 0 -1 4202496 343 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173351829 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0

[startup+0.0220409 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19096
/proc/meminfo: memFree=1748096/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101049 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19096
/proc/meminfo: memFree=1748096/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30107 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19096
/proc/meminfo: memFree=1748096/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701111 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19096
/proc/meminfo: memFree=1748096/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19098
/proc/meminfo: memFree=1742376/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1.49
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1473 0 0 0 149 0 0 0 25 0 1 0 12268003 41422848 1403 1992294400 134512640 135071400 4289666768 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1403 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19098
/proc/meminfo: memFree=1742128/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=3.09
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 309 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.3007 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19098
/proc/meminfo: memFree=1742004/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=6.29
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 629 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19098
/proc/meminfo: memFree=1741880/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=12.69
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 1269 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19098
/proc/meminfo: memFree=1741880/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=25.48
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 2548 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19100
/proc/meminfo: memFree=1741880/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=51.07
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 5107 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19100
/proc/meminfo: memFree=1741632/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=102.26
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 10226 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19102
/proc/meminfo: memFree=1741508/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=162.23
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 16223 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19104
/proc/meminfo: memFree=1741508/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=222.21
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 22221 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19106
/proc/meminfo: memFree=1741508/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=282.19
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 28219 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19108
/proc/meminfo: memFree=1741260/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=342.17
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 34217 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19108
/proc/meminfo: memFree=1741136/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=402.14
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 40214 0 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1061.91
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 106190 1 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19128
/proc/meminfo: memFree=1739896/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1121.91
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 112189 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19130
/proc/meminfo: memFree=1739648/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1181.89
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 118187 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19131
/proc/meminfo: memFree=1739400/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1241.87
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 124185 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134537188 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19132
/proc/meminfo: memFree=1739276/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1301.86
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 130184 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19134
/proc/meminfo: memFree=1739152/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1361.83
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 136181 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19136
/proc/meminfo: memFree=1739028/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1421.82
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 142180 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19138
/proc/meminfo: memFree=1738904/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1481.8
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 148178 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19140
/proc/meminfo: memFree=1738904/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1541.78
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 154176 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19140
/proc/meminfo: memFree=1738656/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1601.76
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 160174 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526322 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19142
/proc/meminfo: memFree=1738532/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1661.74
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 166172 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19144
/proc/meminfo: memFree=1738532/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1721.73
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 172171 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19146
/proc/meminfo: memFree=1738160/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1781.71
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 178169 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19146
/proc/meminfo: memFree=1738160/2059040 swapFree=4192956/4192956
[pid=19096] ppid=19094 vsize=8700 CPUtime=0
/proc/19096/stat : 19096 (run) S 19094 19096 18099 0 -1 4202496 359 0 0 0 0 0 0 0 21 0 1 0 12268003 8908800 243 1992294400 4194304 4922060 140734549322576 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19096/statm: 2175 243 204 178 0 68 0
[pid=19097] ppid=19096 vsize=40452 CPUtime=1800.02
/proc/19097/stat : 19097 (PB-wave) R 19096 19096 18099 0 -1 4202496 1481 0 0 0 180000 2 0 0 25 0 1 0 12268003 41422848 1411 1992294400 134512640 135071400 4289666768 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 10113 1411 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

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

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

runsolver used 2.95655 second user time and 8.60869 second system time

The end

Launcher Data 

Begin job on node007 at 2010-07-06 20:22:25
IDJOB=2685308
IDBENCH=75334
IDSOLVER=1171
FILE ID=node007/2685308-1278440544
PBS_JOBID= 11233463
Free space on /tmp= 62492 MiB

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

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

MD5SUM BENCH= 3100d2bbd53ff9fb7d8d8fc9cec6894e
RANDOM SEED=1604118452

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1748616 kB
Buffers:         21828 kB
Cached:         154684 kB
SwapCached:          0 kB
Active:         103376 kB
Inactive:       132900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1748616 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2112 kB
Writeback:           0 kB
AnonPages:       59664 kB
Mapped:          14408 kB
Slab:            52332 kB
PageTables:       4240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181788 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= 62492 MiB
End job on node007 at 2010-07-06 20:52:25