Trace number 2685224

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.07 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9043_2-sat.opb
MD5SUMc4e2de59bc6cb40f7cda886fdbd69868
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.284956
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16744
Total number of constraints57767
Number of constraints which are clauses57403
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints364
Minimum length of a constraint1
Maximum length of a constraint72
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 50
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 458
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.15	c PB-wave - v2
0.00/0.15	c command line = ./PB-wave
0.00/0.15	c seed = 94178536
0.00/0.15	c cutoff = 1000000
0.00/0.15	c tries = 1000000
0.00/0.15	c heuristic = c best, noise 50 / 100
0.00/0.15	#var 16744 #con 57767
0.00/0.15	mode is SAT
0.00/0.15	c tail starts after flip = 50232
0.00/0.15	c numatom = 16744, numclause = 57767, numliterals = 146714
0.00/0.15	c wff read in
0.00/0.15	c 
0.00/0.15	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.15	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.15	c       this      this      this      this      this      this   success   success       until         std
0.00/0.15	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.15	c
1.79/1.88	c       302       580    578.41    112.67      5.13   1000000         0
3.49/3.59	c       249       634    563.42     99.69      5.65   1000000         0
5.29/5.31	c       310       564    572.45    117.91      4.85   1000000         0
6.99/7.03	c       304       556    584.78     86.72      6.74   1000000         0
8.69/8.75	c       344       617    566.48     93.53      6.06   1000000         0
10.38/10.48	c       368       558    582.74     98.65      5.91   1000000         0
12.18/12.21	c       367       438    587.37    115.97      5.06   1000000         0
13.88/13.94	c       327       658    586.39    107.15      5.47   1000000         0
15.58/15.65	c       339       542    564.33     83.73      6.74   1000000         0
17.28/17.38	c       335       557    585.06    117.95      4.96   1000000         0
18.98/19.09	c       297       532    566.74    121.52      4.66   1000000         0
20.79/20.81	c       333       456    573.90     97.84      5.87   1000000         0
22.48/22.54	c       354       571    579.27    101.99      5.68   1000000         0
24.19/24.26	c       323       545    585.97     98.44      5.95   1000000         0
25.88/25.97	c       322       638    568.30    101.72      5.59   1000000         0
27.58/27.69	c       324       552    565.31     96.10      5.88   1000000         0
29.38/29.42	c       363       516    592.25    124.43      4.76   1000000         0
31.08/31.15	c       322       518    582.67    108.83      5.35   1000000         0
32.78/32.87	c       352       599    562.61     96.12      5.85   1000000         0
34.48/34.59	c       336       528    579.94     95.77      6.06   1000000         0
36.29/36.31	c       360       490    570.64    111.55      5.12   1000000         0
37.98/38.03	c       361       624    573.17    111.50      5.14   1000000         0
39.68/39.76	c       367       539    598.10    118.56      5.04   1000000         0
41.38/41.47	c       310       692    563.20     96.71      5.82   1000000         0
43.08/43.19	c       302       527    556.43    117.39      4.74   1000000         0
44.88/44.91	c       330       467    581.69    111.08      5.24   1000000         0
46.58/46.64	c       361       651    584.28    103.99      5.62   1000000         0
48.28/48.36	c       375       490    576.68     91.02      6.34   1000000         0
49.98/50.08	c       305       533    572.28    109.87      5.21   1000000         0
51.68/51.79	c       331       638    566.68     87.18      6.50   1000000         0
53.47/53.51	c       353       615    574.89    101.82      5.65   1000000         0
55.17/55.22	c       338       511    571.24    104.16      5.48   1000000         0
56.87/56.94	c       326       476    555.18     95.53      5.81   1000000         0
58.57/58.66	c       325       563    576.95    117.80      4.90   1000000         0
60.27/60.38	c       323       526    558.24     95.56      5.84   1000000         0
61.97/62.09	c       348       551    562.91     99.27      5.67   1000000         0
63.78/63.81	c       361       547    568.99     94.74      6.01   1000000         0
65.47/65.52	c       338       624    559.95     96.80      5.78   1000000         0
67.17/67.25	c       352       463    593.11    109.70      5.41   1000000         0
68.87/68.97	c       295       590    581.39    105.43      5.51   1000000         0
70.57/70.69	c       367       657    577.89     92.11      6.27   1000000         0
72.37/72.41	c       327       688    588.61    113.72      5.18   1000000         0
74.07/74.13	c       305       588    569.17     99.77      5.70   1000000         0
75.78/75.85	c       315       529    571.53    101.13      5.65   1000000         0
77.47/77.56	c       324       529    562.32     98.85      5.69   1000000         0
79.18/79.27	c       352       524    562.41    110.17      5.11   1000000         0
80.87/80.99	c       329       489    577.98     94.56      6.11   1000000         0
82.67/82.71	c       343       696    563.57     96.24      5.86   1000000         0
84.37/84.42	c       313       610    559.72    105.78      5.29   1000000         0
86.07/86.14	c       391       490    590.08     92.39      6.39   1000000         0
87.77/87.86	c       363       499    584.33    109.25      5.35   1000000         0
89.47/89.58	c       353       525    565.98     94.79      5.97   1000000         0
91.27/91.31	c       388       564    588.58    108.26      5.44   1000000         0
92.96/93.03	c       329       567    570.34     89.97      6.34   1000000         0
94.66/94.75	c       342       585    577.99    110.55      5.23   1000000         0
96.36/96.46	c       305       514    548.87     96.02      5.72   1000000         0
98.06/98.19	c       351       544    575.42    117.81      4.88   1000000         0
99.86/99.90	c       304       582    560.14    126.88      4.41   1000000         0
101.56/101.62	c       343       517    584.52    117.32      4.98   1000000         0
103.27/103.34	c       352       609    566.89    110.68      5.12   1000000         0
104.96/105.06	c       301       481    568.01     85.61      6.63   1000000         0
106.67/106.78	c       327       519    566.80     91.90      6.17   1000000         0
108.36/108.49	c       351       582    564.57     97.96      5.76   1000000         0
110.16/110.22	c       316       528    565.63    103.24      5.48   1000000         0
111.86/111.95	c       276       504    577.32    117.07      4.93   1000000         0
113.56/113.67	c       340       444    570.04    105.22      5.42   1000000         0
115.36/115.40	c       350       546    576.97    109.61      5.26   1000000         0
117.06/117.12	c       356       781    589.00    100.10      5.88   1000000         0
118.76/118.85	c       324       538    576.32    103.63      5.56   1000000         0
120.46/120.58	c       371       548    588.13    109.67      5.36   1000000         0
122.16/122.28	c       336       512    555.88    105.03      5.29   1000000         0
123.96/124.01	c       331       621    573.26    113.84      5.04   1000000         0
125.65/125.73	c       374       557    580.58     96.44      6.02   1000000         0
127.35/127.45	c       343       653    573.07    107.75      5.32   1000000         0
129.05/129.17	c       385       499    568.41     92.48      6.15   1000000         0
130.76/130.88	c       360       505    556.23     97.95      5.68   1000000         0
132.55/132.60	c       357       580    566.80    106.37      5.33   1000000         0
134.25/134.33	c       356       610    583.53    121.78      4.79   1000000         0
135.95/136.05	c       356       487    583.95     98.06      5.95   1000000         0
137.65/137.77	c       342       408    577.84    121.52      4.76   1000000         0
139.45/139.50	c       360       609    570.85    114.27      5.00   1000000         0
141.15/141.21	c       318       693    558.27    103.22      5.41   1000000         0
142.86/142.92	c       334       571    568.01    106.39      5.34   1000000         0
144.55/144.65	c       357       558    582.65    111.31      5.23   1000000         0
146.26/146.37	c       355       474    572.16     96.83      5.91   1000000         0
147.95/148.08	c       345       505    559.93    103.24      5.42   1000000         0
149.75/149.80	c       303       594    578.94    112.05      5.17   1000000         0
151.45/151.52	c       333       480    575.14    106.63      5.39   1000000         0
153.15/153.24	c       361       592    587.61    108.34      5.42   1000000         0
154.85/154.98	c       349       519    576.88    106.35      5.42   1000000         0
156.65/156.70	c       361       550    578.90    109.29      5.30   1000000         0
158.35/158.42	c       334       690    570.20     87.32      6.53   1000000         0
160.05/160.14	c       323       518    575.23    113.97      5.05   1000000         0
161.75/161.86	c       373       416    568.46     99.64      5.71   1000000         0
163.45/163.58	c       332       629    577.90    130.64      4.42   1000000         0
165.24/165.30	c       358       576    579.66    100.39      5.77   1000000         0
166.94/167.03	c       305       565    575.93    126.48      4.55   1000000         0
168.64/168.75	c       364       578    592.16    117.69      5.03   1000000         0
170.35/170.47	c       269       579    569.99    106.30      5.36   1000000         0
172.14/172.20	c       360       487    587.37    100.14      5.87   1000000         0
173.84/173.93	c       346       477    579.90    113.17      5.12   1000000         0
175.54/175.64	c       291       517    551.80    107.32      5.14   1000000         0
177.24/177.36	c       364       485    578.94    100.11      5.78   1000000         0
178.94/179.07	c       345       552    559.50     94.04      5.95   1000000         0
180.64/180.79	c       344       444    573.67    103.28      5.55   1000000         0
182.45/182.51	c       309       688    585.84    124.28      4.71   1000000         0
184.14/184.22	c       323       526    556.88     97.28      5.72   1000000         0
185.85/185.94	c       318       427    580.38    124.77      4.65   1000000         0
187.54/187.66	c       340       504    571.31    111.52      5.12   1000000         0
189.24/189.38	c       362       565    577.67     96.33      6.00   1000000         0
191.04/191.10	c       260       535    580.39    115.01      5.05   1000000         0
192.74/192.83	c       351       615    583.33     96.88      6.02   1000000         0
194.44/194.54	c       357       501    564.78     95.78      5.90   1000000         0
196.14/196.27	c       338       443    576.95    106.16      5.43   1000000         0
197.84/197.98	c       319       663    558.19     91.29      6.11   1000000         0
199.64/199.70	c       334       646    572.36     87.75      6.52   1000000         0
201.34/201.41	c       297       533    553.67     97.24      5.69   1000000         0
203.04/203.13	c       357       641    577.60    100.34      5.76   1000000         0
204.73/204.85	c       364       461    578.58     93.92      6.16   1000000         0
206.43/206.58	c       376       485    573.25     93.51      6.13   1000000         0
208.13/208.29	c       331       469    553.23     81.19      6.81   1000000         0
209.94/210.01	c       344       527    561.60    101.92      5.51   1000000         0
211.63/211.73	c       311       465    562.80     95.58      5.89   1000000         0
213.34/213.45	c       363       520    578.89    119.95      4.83   1000000         0
215.03/215.16	c       330       522    551.57     92.29      5.98   1000000         0
216.73/216.88	c       314       562    558.27    109.88      5.08   1000000         0
218.53/218.60	c       382       643    571.38    112.59      5.07   1000000         0
220.23/220.32	c       360       554    560.41    111.78      5.01   1000000         0
221.93/222.04	c       340       497    584.13    108.76      5.37   1000000         0
223.63/223.75	c       332       624    566.04     90.98      6.22   1000000         0
225.34/225.47	c       318       539    577.07    107.72      5.36   1000000         0
227.13/227.20	c       340       602    578.42    102.35      5.65   1000000         0
228.83/228.91	c       320       453    566.14    102.37      5.53   1000000         0
230.53/230.63	c       363       603    572.03     98.39      5.81   1000000         0
232.23/232.35	c       312       486    565.23    102.50      5.51   1000000         0
233.93/234.06	c       289       500    572.63    114.23      5.01   1000000         0
235.63/235.78	c       337       497    571.65    115.32      4.96   1000000         0
237.33/237.50	c       346       497    571.73    114.26      5.00   1000000         0
239.13/239.21	c       334       510    578.41    100.07      5.78   1000000         0
240.83/240.94	c       324       614    577.76    103.11      5.60   1000000         0
242.53/242.66	c       365       503    588.23    107.33      5.48   1000000         0
244.23/244.38	c       350       603    558.25    116.66      4.79   1000000         0
246.03/246.10	c       347       564    581.27    106.90      5.44   1000000         0
247.72/247.82	c       341       557    585.82     94.54      6.20   1000000         0
249.42/249.54	c       350       493    577.82    114.14      5.06   1000000         0
251.12/251.27	c       351       595    587.38    117.13      5.01   1000000         0
252.83/253.00	c       367       586    583.69     98.64      5.92   1000000         0
254.62/254.72	c       359       514    579.98     98.19      5.91   1000000         0
256.32/256.45	c       352       496    589.45     92.41      6.38   1000000         0
258.02/258.17	c       352       582    567.89    107.22      5.30   1000000         0
259.72/259.88	c       341       617    557.17     98.25      5.67   1000000         0
261.52/261.60	c       338       453    572.62    109.57      5.23   1000000         0
263.22/263.32	c       359       747    577.16    149.23      3.87   1000000         0
264.93/265.05	c       307       573    578.76    105.21      5.50   1000000         0
266.62/266.76	c       319       504    558.47     93.58      5.97   1000000         0
268.33/268.48	c       345       528    578.67     96.76      5.98   1000000         0
270.12/270.20	c       362       561    562.16    116.02      4.85   1000000         0
271.82/271.93	c       334       500    575.17    108.50      5.30   1000000         0
273.52/273.65	c       354       651    581.84    102.88      5.66   1000000         0
275.22/275.37	c       270       500    557.52    107.61      5.18   1000000         0
276.92/277.09	c       340       558    587.77    107.32      5.48   1000000         0
278.72/278.82	c       343       618    577.81     99.15      5.83   1000000         0
280.42/280.53	c       353       658    573.66     92.72      6.19   1000000         0
282.12/282.25	c       346       611    574.53     97.57      5.89   1000000         0
283.81/283.97	c       350       501    587.18     98.56      5.96   1000000         0
285.51/285.69	c       349       657    558.52    105.64      5.29   1000000         0
287.31/287.41	c       322       510    581.21    115.94      5.01   1000000         0
289.01/289.13	c       350       638    581.28    100.30      5.80   1000000         0
290.71/290.85	c       332       605    582.49    102.80      5.67   1000000         0
292.42/292.57	c       345       545    584.13     92.01      6.35   1000000         0
294.11/294.28	c       340       559    565.66     88.83      6.37   1000000         0
295.91/296.01	c       325       551    583.51    103.23      5.65   1000000         0
297.61/297.74	c       364       489    580.82    117.65      4.94   1000000         0
299.31/299.46	c       351       565    580.98    119.67      4.85   1000000         0
301.01/301.18	c       344       631    570.82    118.63      4.81   1000000         0
302.71/302.88	c       358       484    560.66     76.23      7.35   1000000         0
304.52/304.61	c       336       618    568.71     88.93      6.40   1000000         0
306.21/306.32	c       302       483    550.39     96.44      5.71   1000000         0
307.92/308.04	c       303       710    573.69     96.21      5.96   1000000         0
309.61/309.75	c       364       597    560.29     98.68      5.68   1000000         0
311.31/311.48	c       374       578    590.31    127.45      4.63   1000000         0
313.11/313.20	c       339       516    577.63    104.89      5.51   1000000         0
314.81/314.93	c       338       526    567.47     99.16      5.72   1000000         0
316.51/316.65	c       333       552    564.43     91.20      6.19   1000000         0
318.21/318.36	c       342       505    568.26     96.57      5.88   1000000         0
319.91/320.08	c       368       667    568.07    101.12      5.62   1000000         0
321.71/321.80	c       328       686    574.33    114.49      5.02   1000000         0
323.40/323.51	c       314       462    551.82    101.52      5.44   1000000         0
325.10/325.24	c       362       570    577.28    104.93      5.50   1000000         0
326.80/326.96	c       314       508    565.21    117.39      4.81   1000000         0
328.50/328.68	c       372       590    584.21     96.44      6.06   1000000         0
330.30/330.41	c       347       624    583.83    123.21      4.74   1000000         0
332.01/332.11	c       302       471    551.98     96.19      5.74   1000000         0
333.70/333.83	c       353       462    568.69    108.61      5.24   1000000         0
335.41/335.55	c       351       530    571.17    109.36      5.22   1000000         0
337.10/337.27	c       336       550    572.08     96.48      5.93   1000000         0
338.80/338.99	c       355       559    579.57     98.72      5.87   1000000         0
340.60/340.71	c       342       499    578.68    107.87      5.36   1000000         0
342.30/342.43	c       345       726    592.74    102.85      5.76   1000000         0
344.00/344.17	c       355       461    591.26    102.65      5.76   1000000         0
345.70/345.88	c       361       634    565.14     92.73      6.09   1000000         0
347.41/347.60	c       327       533    564.49     98.56      5.73   1000000         0
349.20/349.32	c       351       609    588.09    105.99      5.55   1000000         0
350.90/351.03	c       322       575    568.47    105.88      5.37   1000000         0
352.60/352.75	c       331       507    563.47     96.05      5.87   1000000         0
354.30/354.48	c       348       639    579.69    116.77      4.96   1000000         0
356.10/356.21	c       379       560    593.72    118.80      5.00   1000000         0
357.80/357.92	c       325       596    573.51    105.44      5.44   1000000         0
359.50/359.65	c       345       564    563.20    114.35      4.93   1000000         0
361.20/361.36	c       362       564    556.25     80.79      6.89   1000000         0
362.90/363.08	c       321       556    571.56    117.52      4.86   1000000         0
364.69/364.80	c       326       496    565.61     90.94      6.22   1000000         0
366.39/366.52	c       326       486    577.92    100.93      5.73   1000000         0
368.09/368.25	c       325       623    576.86     98.56      5.85   1000000         0
369.79/369.97	c       330       736    561.89    114.52      4.91   1000000         0
371.49/371.69	c       343       573    582.05     99.18      5.87   1000000         0
373.29/373.41	c       326       505    564.99    132.47      4.26   1000000         0
375.00/375.13	c       343       531    573.28    113.12      5.07   1000000         0
376.69/376.85	c       361       661    571.06    119.15      4.79   1000000         0
378.39/378.57	c       319       655    577.47    103.26      5.59   1000000         0
380.09/380.28	c       343       536    561.23     87.06      6.45   1000000         0
381.89/382.01	c       315       656    586.75    105.95      5.54   1000000         0
383.59/383.73	c       275       542    579.81    116.84      4.96   1000000         0
385.29/385.45	c       337       586    576.93     91.14      6.33   1000000         0
387.00/387.16	c       320       593    560.25     90.28      6.21   1000000         0
388.69/388.88	c       364       478    589.51     97.81      6.03   1000000         0
390.49/390.61	c       370       577    582.61     92.00      6.33   1000000         0
392.19/392.33	c       378       512    587.04    105.85      5.55   1000000         0
393.89/394.05	c       335       493    572.79    121.95      4.70   1000000         0
395.59/395.77	c       339       521    563.87     94.05      6.00   1000000         0
397.29/397.49	c       339       573    567.13    113.89      4.98   1000000         0
399.09/399.21	c       359       591    580.36     94.85      6.12   1000000         0
400.79/400.92	c       343       604    559.64    113.61      4.93   1000000         0
402.49/402.63	c       355       657    560.58    102.86      5.45   1000000         0
404.18/404.34	c       312       494    574.54    105.18      5.46   1000000         0
405.88/406.05	c       343       604    562.43     94.93      5.92   1000000         0
407.58/407.76	c       327       681    549.33     91.37      6.01   1000000         0
409.28/409.47	c       346       718    566.69    101.27      5.60   1000000         0
411.08/411.20	c       321       650    572.67    126.00      4.54   1000000         0
412.78/412.92	c       331       558    571.97    100.56      5.69   1000000         0
414.49/414.64	c       367       570    582.25    121.25      4.80   1000000         0
416.18/416.37	c       311       495    570.39    103.62      5.50   1000000         0
417.89/418.09	c       363       468    584.98    103.15      5.67   1000000         0
419.68/419.81	c       344       580    561.23     99.31      5.65   1000000         0
421.38/421.53	c       265       564    572.68    107.98      5.30   1000000         0
423.08/423.25	c       350       661    580.68    107.82      5.39   1000000         0
424.78/424.98	c       374       495    567.80     96.05      5.91   1000000         0
426.59/426.71	c       350       630    598.06    118.03      5.07   1000000         0
428.28/428.43	c       322       682    581.96    123.86      4.70   1000000         0
429.98/430.16	c       383       488    576.90    110.32      5.23   1000000         0
431.68/431.87	c       355       475    557.37     98.82      5.64   1000000         0
433.38/433.59	c       362       471    569.10    106.93      5.32   1000000         0
435.18/435.31	c       337       636    571.31     91.13      6.27   1000000         0
436.88/437.04	c       356       621    592.90     97.08      6.11   1000000         0
438.58/438.75	c       329       517    556.70    126.54      4.40   1000000         0
440.28/440.46	c       369       632    572.28    104.04      5.50   1000000         0
441.98/442.19	c       362       519    583.88     85.93      6.80   1000000         0
443.77/443.91	c       346       608    582.52    104.35      5.58   1000000         0
445.47/445.64	c       371       562    582.54    107.85      5.40   1000000         0
447.17/447.37	c       335       678    581.92    120.51      4.83   1000000         0
448.87/449.10	c       341       617    582.17    116.45      5.00   1000000         0
450.67/450.82	c       366       526    584.29    112.31      5.20   1000000         0
452.37/452.53	c       329       578    569.73     86.48      6.59   1000000         0
454.08/454.25	c       355       471    573.22    101.66      5.64   1000000         0
455.77/455.98	c       370       524    575.01     92.64      6.21   1000000         0
457.57/457.70	c       389       532    576.89     85.42      6.75   1000000         0
459.27/459.42	c       278       560    570.80    112.31      5.08   1000000         0
460.97/461.14	c       369       600    592.21    104.34      5.68   1000000         0
462.67/462.86	c       313       557    553.88     95.30      5.81   1000000         0
464.37/464.58	c       321       562    563.27    107.40      5.24   1000000         0
466.18/466.30	c       298       419    570.22    123.15      4.63   1000000         0
467.87/468.02	c       351       520    572.57     82.59      6.93   1000000         0
469.58/469.74	c       330       374    579.50    112.79      5.14   1000000         0
471.27/471.47	c       361       579    575.44     97.17      5.92   1000000         0
472.97/473.18	c       327       524    558.37    114.28      4.89   1000000         0
474.77/474.91	c       336       643    573.86    107.28      5.35   1000000         0
476.47/476.62	c       293       643    557.99     94.14      5.93   1000000         0
478.17/478.33	c       349       578    559.98    113.95      4.91   1000000         0
479.87/480.07	c       381       518    593.56     85.37      6.95   1000000         0
481.57/481.79	c       353       469    575.18    102.13      5.63   1000000         0
483.36/483.51	c       301       557    572.87    114.14      5.02   1000000         0
485.06/485.23	c       345       594    583.57     95.14      6.13   1000000         0
486.76/486.96	c       338       612    572.39    116.04      4.93   1000000         0
488.46/488.68	c       369       549    562.20    128.53      4.37   1000000         0
490.16/490.39	c       340       657    567.07    103.58      5.47   1000000         0
491.96/492.11	c       313       485    564.76    111.74      5.05   1000000         0
493.67/493.83	c       330       495    579.20    110.19      5.26   1000000         0
495.37/495.55	c       303       486    562.37    108.25      5.19   1000000         0
497.08/497.28	c       353       534    580.39    116.64      4.98   1000000         0
498.87/499.01	c       361       592    589.61    105.98      5.56   1000000         0
500.57/500.73	c       375       679    574.69     98.41      5.84   1000000         0
502.27/502.44	c       347       410    567.02    107.41      5.28   1000000         0
503.97/504.15	c       350       476    567.14    100.64      5.64   1000000         0
505.67/505.88	c       356       498    577.87     98.22      5.88   1000000         0
507.47/507.60	c       359       519    581.83    115.19      5.05   1000000         0
509.17/509.32	c       316       662    568.62    109.47      5.19   1000000         0
510.87/511.04	c       378       711    569.83     94.14      6.05   1000000         0
512.57/512.77	c       382       557    576.02     91.79      6.28   1000000         0
514.26/514.49	c       355       545    584.76     88.37      6.62   1000000         0
516.06/516.20	c       335       494    566.55    102.07      5.55   1000000         0
517.76/517.92	c       349       574    575.69     93.97      6.13   1000000         0
519.46/519.65	c       375       498    577.27    115.25      5.01   1000000         0
521.17/521.36	c       322       705    567.64     95.08      5.97   1000000         0
522.86/523.08	c       314       491    563.70     88.35      6.38   1000000         0
524.66/524.81	c       365       541    596.01    111.56      5.34   1000000         0
526.36/526.52	c       329       504    558.46     92.90      6.01   1000000         0
528.06/528.23	c       333       477    545.79     77.43      7.05   1000000         0
529.76/529.95	c       346       579    571.02    134.79      4.24   1000000         0
531.46/531.66	c       319       558    561.38    106.14      5.29   1000000         0
533.16/533.38	c       340       531    574.57    107.29      5.36   1000000         0
534.86/535.09	c       259       601    566.43    106.01      5.34   1000000         0
536.57/536.80	c       351       555    564.02    102.53      5.50   1000000         0
538.36/538.52	c       354       548    570.20     92.79      6.14   1000000         0
540.06/540.23	c       302       484    565.22    102.01      5.54   1000000         0
541.76/541.94	c       340       473    563.09    107.14      5.26   1000000         0
543.46/543.66	c       339       565    559.42     95.38      5.87   1000000         0
545.16/545.38	c       340       656    577.49    108.53      5.32   1000000         0
546.96/547.10	c       373       511    578.96     97.13      5.96   1000000         0
548.66/548.82	c       308       569    571.76    109.93      5.20   1000000         0
550.36/550.52	c       346       589    556.27     79.71      6.98   1000000         0
552.06/552.24	c       346       354    580.19     94.89      6.11   1000000         0
553.76/553.95	c       338       453    567.76    131.78      4.31   1000000         0
555.45/555.67	c       334       549    557.95    121.62      4.59   1000000         0
557.15/557.37	c       339       588    570.31    107.49      5.31   1000000         0
558.85/559.09	c       329       506    573.46     94.59      6.06   1000000         0
560.65/560.81	c       337       604    581.54    105.67      5.50   1000000         0
562.35/562.53	c       300       611    572.29    117.07      4.89   1000000         0
564.06/564.25	c       351       476    565.13     90.14      6.27   1000000         0
565.75/565.98	c       364       546    581.90    117.72      4.94   1000000         0
567.55/567.70	c       297       594    583.77    106.81      5.47   1000000         0
569.25/569.41	c       341       577    554.30     99.80      5.55   1000000         0
570.95/571.13	c       372       744    592.71    103.31      5.74   1000000         0
572.65/572.85	c       367       429    567.54    100.86      5.63   1000000         0
574.35/574.56	c       326       504    566.79     93.70      6.05   1000000         0
576.05/576.29	c       352       587    587.14    114.29      5.14   1000000         0
577.85/578.01	c       347       628    575.50     97.48      5.90   1000000         0
579.56/579.73	c       327       499    576.31    103.23      5.58   1000000         0
581.25/581.45	c       309       529    575.65    103.10      5.58   1000000         0
582.95/583.18	c       367       515    580.93    105.63      5.50   1000000         0
584.75/584.90	c       308       527    572.07    112.14      5.10   1000000         0
586.45/586.63	c       331       676    594.21    117.72      5.05   1000000         0
588.15/588.36	c       360       406    576.59    104.09      5.54   1000000         0
589.85/590.08	c       334       447    566.25    101.84      5.56   1000000         0
591.55/591.80	c       341       541    573.95    102.27      5.61   1000000         0
593.35/593.52	c       356       579    583.74    116.52      5.01   1000000         0
595.05/595.24	c       347       640    570.11    106.51      5.35   1000000         0
596.75/596.97	c       370       483    580.39    132.46      4.38   1000000         0
598.44/598.69	c       334       526    572.35     98.24      5.83   1000000         0
600.24/600.41	c       345       579    582.96    107.71      5.41   1000000         0
601.94/602.13	c       327       596    570.44    104.53      5.46   1000000         0
603.65/603.85	c       315       498    573.26    106.19      5.40   1000000         0
605.34/605.57	c       347       569    570.75    104.21      5.48   1000000         0
607.05/607.29	c       342       652    567.95    104.62      5.43   1000000         0
608.84/609.00	c       346       545    569.53    102.49      5.56   1000000         0
610.54/610.72	c       341       605    576.47     98.97      5.83   1000000         0
612.24/612.45	c       321       518    585.78    124.08      4.72   1000000         0
613.94/614.17	c       365       629    589.32    134.18      4.39   1000000         0
615.75/615.90	c       359       481    585.31    114.94      5.09   1000000         0
617.44/617.62	c       324       572    580.53    100.14      5.80   1000000         0
619.15/619.32	c       339       462    552.56     99.81      5.54   1000000         0
620.84/621.05	c       356       587    569.01     92.79      6.13   1000000         0
622.54/622.77	c       323       499    581.66    102.22      5.69   1000000         0
624.24/624.49	c       378       477    585.10     99.50      5.88   1000000         0
626.04/626.20	c       349       557    568.25     92.73      6.13   1000000         0
627.74/627.92	c       317       725    566.36    114.93      4.93   1000000         0
629.44/629.63	c       279       543    556.86    107.43      5.18   1000000         0
631.14/631.35	c       370       452    575.17    118.97      4.83   1000000         0
632.84/633.07	c       331       520    573.89     82.97      6.92   1000000         0
634.54/634.79	c       302       602    566.23    117.95      4.80   1000000         0
636.34/636.52	c       364       546    586.17    101.05      5.80   1000000         0
638.04/638.24	c       355       649    562.55    116.99      4.81   1000000         0
639.74/639.97	c       374       620    595.49    101.99      5.84   1000000         0
641.43/641.68	c       333       572    563.60     97.60      5.77   1000000         0
643.24/643.41	c       374       475    582.63    104.76      5.56   1000000         0
644.93/645.13	c       381       730    589.31    106.49      5.53   1000000         0
646.64/646.85	c       351       548    565.76    101.33      5.58   1000000         0
648.33/648.57	c       321       674    579.23    110.69      5.23   1000000         0
650.03/650.28	c       323       469    559.61    100.67      5.56   1000000         0
651.83/652.01	c       355       539    595.24    123.52      4.82   1000000         0
653.53/653.73	c       324       641    564.40    134.75      4.19   1000000         0
655.23/655.46	c       353       512    586.29    109.01      5.38   1000000         0
656.93/657.18	c       341       640    581.37    102.02      5.70   1000000         0
658.64/658.90	c       295       662    571.81     96.39      5.93   1000000         0
660.43/660.61	c       324       587    561.44    102.23      5.49   1000000         0
662.13/662.33	c       359       507    587.19    111.10      5.29   1000000         0
663.83/664.05	c       309       477    583.91    106.14      5.50   1000000         0
665.53/665.78	c       323       671    574.68    115.91      4.96   1000000         0
667.33/667.51	c       365       509    585.75    101.62      5.76   1000000         0
669.03/669.22	c       353       486    571.05     91.30      6.25   1000000         0
670.73/670.93	c       360       541    562.72     90.33      6.23   1000000         0
672.43/672.65	c       310       442    572.42    122.49      4.67   1000000         0
674.13/674.38	c       284       622    575.23     96.02      5.99   1000000         0
675.92/676.11	c       310       636    584.71    130.84      4.47   1000000         0
677.62/677.83	c       371       552    577.53    100.22      5.76   1000000         0
679.32/679.55	c       341       462    575.50    108.89      5.29   1000000         0
681.02/681.27	c       373       494    579.40     94.18      6.15   1000000         0
682.72/682.99	c       395       604    574.22     95.68      6.00   1000000         0
684.52/684.71	c       328       622    565.36    118.20      4.78   1000000         0
686.23/686.44	c       346       553    583.41     94.49      6.17   1000000         0
687.92/688.16	c       293       529    586.10    113.08      5.18   1000000         0
689.62/689.88	c       361       525    574.82    113.80      5.05   1000000         0
691.42/691.60	c       336       384    575.22    109.05      5.27   1000000         0
693.12/693.32	c       373       686    580.97    111.46      5.21   1000000         0
694.82/695.05	c       351       706    584.73    114.88      5.09   1000000         0
696.52/696.78	c       342       445    591.38    116.35      5.08   1000000         0
698.23/698.49	c       360       505    577.36     92.83      6.22   1000000         0
700.02/700.21	c       348       680    573.52     80.67      7.11   1000000         0
701.72/701.93	c       356       449    572.38     88.63      6.46   1000000         0
703.42/703.64	c       343       694    572.39    101.16      5.66   1000000         0
705.12/705.36	c       322       631    566.50    106.06      5.34   1000000         0
706.82/707.08	c       387       588    583.67     85.92      6.79   1000000         0
708.62/708.80	c       305       505    567.81    110.77      5.13   1000000         0
710.32/710.52	c       313       631    581.83    108.97      5.34   1000000         0
712.02/712.25	c       333       685    573.57    122.01      4.70   1000000         0
713.72/713.97	c       352       475    568.63     98.45      5.78   1000000         0
715.42/715.69	c       330       556    574.32     99.43      5.78   1000000         0
717.22/717.41	c       374       576    571.14    113.90      5.01   1000000         0
718.91/719.13	c       335       596    569.98    108.90      5.23   1000000         0
720.61/720.86	c       324       555    583.43     98.10      5.95   1000000         0
722.31/722.58	c       324       500    578.32    118.90      4.86   1000000         0
724.01/724.29	c       313       475    558.97     89.71      6.23   1000000         0
725.82/726.02	c       308       590    580.29    121.50      4.78   1000000         0
727.51/727.75	c       334       622    580.75    107.47      5.40   1000000         0
729.21/729.47	c       345       569    594.07    137.18      4.33   1000000         0
730.91/731.18	c       295       568    566.32     98.78      5.73   1000000         0
732.71/732.90	c       352       542    577.27     98.10      5.88   1000000         0
734.41/734.61	c       325       577    548.52    100.70      5.45   1000000         0
736.11/736.33	c       342       568    559.78     93.28      6.00   1000000         0
737.82/738.05	c       364       505    585.63    113.58      5.16   1000000         0
739.51/739.77	c       325       577    586.46    104.05      5.64   1000000         0
741.22/741.49	c       370       487    572.40     93.25      6.14   1000000         0
743.01/743.21	c       335       551    573.78     89.40      6.42   1000000         0
744.71/744.92	c       264       728    554.80    114.36      4.85   1000000         0
746.41/746.64	c       331       546    584.55    105.08      5.56   1000000         0
748.11/748.35	c       326       463    568.86     91.03      6.25   1000000         0
749.81/750.07	c       293       622    559.20    105.68      5.29   1000000         0
751.50/751.79	c       313       479    553.58    105.81      5.23   1000000         0
753.31/753.50	c       372       550    578.14     98.75      5.85   1000000         0
755.00/755.23	c       346       529    562.08     87.74      6.41   1000000         0
756.70/756.95	c       311       524    587.77    109.45      5.37   1000000         0
758.40/758.67	c       274       394    560.88    111.51      5.03   1000000         0
760.10/760.39	c       300       535    587.59    122.98      4.78   1000000         0
761.90/762.11	c       334       512    559.90     97.22      5.76   1000000         0
763.60/763.83	c       332       657    565.87    108.65      5.21   1000000         0
765.31/765.55	c       325       377    573.92    114.44      5.01   1000000         0
767.00/767.26	c       345       530    566.60     96.11      5.90   1000000         0
768.71/768.99	c       348       566    596.11    112.79      5.29   1000000         0
770.50/770.70	c       349       650    558.86    109.04      5.13   1000000         0
772.20/772.42	c       352       500    573.14    121.93      4.70   1000000         0
773.90/774.14	c       356       529    568.06    102.95      5.52   1000000         0
775.60/775.85	c       343       500    564.99     94.16      6.00   1000000         0
777.30/777.58	c       357       527    577.08    102.30      5.64   1000000         0
779.00/779.29	c       320       642    551.54    110.62      4.99   1000000         0
780.80/781.01	c       314       595    581.76    105.56      5.51   1000000         0
782.50/782.71	c       314       585    545.54     93.78      5.82   1000000         0
784.20/784.43	c       317       440    572.43     97.43      5.88   1000000         0
785.90/786.16	c       355       458    585.78    104.28      5.62   1000000         0
787.60/787.88	c       362       507    576.98     92.96      6.21   1000000         0
789.39/789.60	c       303       645    565.71    117.09      4.83   1000000         0
791.09/791.32	c       355       634    574.43    105.48      5.45   1000000         0
792.80/793.05	c       346       494    584.08     89.84      6.50   1000000         0
794.49/794.77	c       349       523    582.46    102.15      5.70   1000000         0
796.20/796.49	c       331       592    569.99     96.68      5.90   1000000         0
797.99/798.20	c       326       469    564.78     97.91      5.77   1000000         0
799.69/799.91	c       379       468    573.28     97.63      5.87   1000000         0
801.39/801.62	c       330       577    564.01    120.53      4.68   1000000         0
803.09/803.34	c       363       426    560.54     92.59      6.05   1000000         0
804.79/805.06	c       361       557    578.34    103.72      5.58   1000000         0
806.49/806.77	c       322       648    575.55     95.93      6.00   1000000         0
808.20/808.50	c       330       421    581.85    116.45      5.00   1000000         0
809.99/810.22	c       301       592    560.09    107.12      5.23   1000000         0
811.69/811.94	c       352       562    587.32    126.93      4.63   1000000         0
813.39/813.66	c       314       522    579.01    116.87      4.95   1000000         0
815.09/815.37	c       323       495    554.75     96.61      5.74   1000000         0
816.79/817.08	c       325       497    562.41     93.54      6.01   1000000         0
818.59/818.80	c       342       572    584.69     95.39      6.13   1000000         0
820.29/820.52	c       341       567    568.34     96.29      5.90   1000000         0
821.99/822.24	c       332       479    560.24    106.09      5.28   1000000         0
823.69/823.96	c       367       612    569.31     86.46      6.58   1000000         0
825.38/825.67	c       312       585    555.62     95.07      5.84   1000000         0
827.08/827.39	c       357       521    584.15    106.79      5.47   1000000         0
828.88/829.11	c       341       566    568.59    105.75      5.38   1000000         0
830.58/830.83	c       334       544    559.75     97.69      5.73   1000000         0
832.28/832.54	c       306       671    575.41    103.61      5.55   1000000         0
833.98/834.27	c       352       666    579.17    110.53      5.24   1000000         0
835.69/835.99	c       342       510    582.11     98.30      5.92   1000000         0
837.48/837.71	c       322       472    575.37    107.00      5.38   1000000         0
839.18/839.43	c       357       525    577.74     83.98      6.88   1000000         0
840.88/841.15	c       341       524    567.48    108.88      5.21   1000000         0
842.58/842.88	c       361       453    586.20    121.53      4.82   1000000         0
844.28/844.59	c       326       533    561.89    116.93      4.81   1000000         0
846.08/846.32	c       354       534    583.25    115.99      5.03   1000000         0
847.78/848.04	c       337       705    585.09    116.43      5.03   1000000         0
849.48/849.76	c       318       524    565.48     96.75      5.84   1000000         0
851.18/851.50	c       310       554    588.18    117.69      5.00   1000000         0
852.98/853.21	c       307       568    558.48     87.48      6.38   1000000         0
854.68/854.93	c       353       538    580.44    125.78      4.61   1000000         0
856.37/856.66	c       310       492    596.28    116.22      5.13   1000000         0
858.08/858.38	c       330       653    573.60     91.98      6.24   1000000         0
859.88/860.10	c       374       484    580.02    113.07      5.13   1000000         0
861.57/861.83	c       328       467    577.46     97.23      5.94   1000000         0
863.28/863.55	c       359       493    583.18    111.59      5.23   1000000         0
864.97/865.28	c       348       563    606.03    113.71      5.33   1000000         0
866.77/867.02	c       364       430    597.46    119.32      5.01   1000000         0
868.47/868.74	c       325       586    577.24    104.11      5.54   1000000         0
870.17/870.47	c       369       588    589.55    116.76      5.05   1000000         0
871.87/872.19	c       371       490    586.62    102.43      5.73   1000000         0
873.67/873.92	c       323       530    577.13    111.10      5.19   1000000         0
875.38/875.64	c       329       577    572.42     97.77      5.85   1000000         0
877.07/877.36	c       339       632    576.98    110.15      5.24   1000000         0
878.77/879.07	c       334       516    566.91    105.61      5.37   1000000         0
880.47/880.79	c       359       626    577.69     97.20      5.94   1000000         0
882.27/882.52	c       334       569    574.22     89.98      6.38   1000000         0
883.97/884.24	c       375       462    578.68    122.05      4.74   1000000         0
885.67/885.96	c       354       487    578.20     98.32      5.88   1000000         0
887.37/887.67	c       306       597    573.31    106.92      5.36   1000000         0
889.07/889.40	c       362       551    583.49     97.83      5.96   1000000         0
890.87/891.11	c       325       452    568.45     96.46      5.89   1000000         0
892.57/892.84	c       293       508    579.89    104.86      5.53   1000000         0
894.27/894.55	c       345       491    570.65    102.20      5.58   1000000         0
895.97/896.28	c       363       596    578.01    108.18      5.34   1000000         0
897.76/898.00	c       295       543    567.35    111.40      5.09   1000000         0
899.47/899.72	c       367       691    589.02    101.27      5.82   1000000         0
901.16/901.45	c       386       531    582.89    115.51      5.05   1000000         0
902.87/903.17	c       342       488    578.08    118.62      4.87   1000000         0
904.56/904.89	c       314       640    567.87    103.00      5.51   1000000         0
906.36/906.62	c       334       473    578.66     89.18      6.49   1000000         0
908.06/908.34	c       336       702    574.22     91.79      6.26   1000000         0
909.76/910.05	c       318       684    566.06    124.27      4.56   1000000         0
911.46/911.78	c       362       621    582.04    111.31      5.23   1000000         0
913.16/913.50	c       347       470    578.85    117.42      4.93   1000000         0
914.97/915.21	c       337       557    562.19     97.10      5.79   1000000         0
916.66/916.93	c       310       658    574.11    116.39      4.93   1000000         0
918.36/918.65	c       344       590    582.08    100.49      5.79   1000000         0
920.06/920.36	c       353       514    580.77    117.62      4.94   1000000         0
921.76/922.09	c       324       623    585.84    112.14      5.22   1000000         0
923.56/923.80	c       353       518    559.91    115.68      4.84   1000000         0
925.26/925.52	c       299       672    570.43    110.14      5.18   1000000         0
926.96/927.24	c       334       582    574.51    108.19      5.31   1000000         0
928.66/928.97	c       349       530    589.22    112.73      5.23   1000000         0
930.36/930.68	c       339       441    565.88    111.14      5.09   1000000         0
932.16/932.42	c       350       376    593.21    118.17      5.02   1000000         0
933.86/934.14	c       352       741    585.68     98.59      5.94   1000000         0
935.56/935.85	c       323       495    566.17     91.75      6.17   1000000         0
937.26/937.57	c       326       543    572.35    123.41      4.64   1000000         0
939.06/939.30	c       376       642    588.22     99.18      5.93   1000000         0
940.75/941.03	c       356       662    578.68    104.59      5.53   1000000         0
942.46/942.74	c       307       518    566.48     94.38      6.00   1000000         0
944.15/944.46	c       305       556    571.66    111.82      5.11   1000000         0
945.85/946.18	c       372       638    572.99    108.68      5.27   1000000         0
947.65/947.91	c       285       736    566.60    107.86      5.25   1000000         0
949.35/949.64	c       336       551    584.74    115.02      5.08   1000000         0
951.05/951.37	c       338       465    582.37    105.49      5.52   1000000         0
952.75/953.09	c       323       485    559.44    105.73      5.29   1000000         0
954.46/954.79	c       293       454    547.01    101.00      5.42   1000000         0
956.25/956.52	c       354       570    566.01    103.70      5.46   1000000         0
957.95/958.23	c       314       469    555.81     93.76      5.93   1000000         0
959.65/959.95	c       339       538    572.71    112.75      5.08   1000000         0
961.35/961.66	c       359       513    583.50     98.82      5.90   1000000         0
963.05/963.39	c       365       645    589.29    112.93      5.22   1000000         0
964.85/965.11	c       310       604    579.34    108.95      5.32   1000000         0
966.56/966.82	c       315       409    557.56     97.32      5.73   1000000         0
968.25/968.54	c       297       546    558.53    108.12      5.17   1000000         0
969.95/970.26	c       330       486    585.71    116.71      5.02   1000000         0
971.65/971.99	c       319       483    585.62    106.82      5.48   1000000         0
973.45/973.70	c       315       521    552.17    107.96      5.11   1000000         0
975.15/975.42	c       334       772    580.40    123.38      4.70   1000000         0
976.85/977.15	c       358       556    584.97    116.02      5.04   1000000         0
978.55/978.86	c       335       540    555.57     99.42      5.59   1000000         0
980.24/980.58	c       349       470    593.80     90.47      6.56   1000000         0
981.95/982.30	c       360       713    580.63     89.82      6.46   1000000         0
983.74/984.02	c       383       522    587.05     98.38      5.97   1000000         0
985.44/985.73	c       335       512    566.97    103.53      5.48   1000000         0
987.14/987.45	c       340       586    571.53     97.06      5.89   1000000         0
988.84/989.17	c       349       557    565.04    105.69      5.35   1000000         0
990.54/990.88	c       364       644    568.12     97.36      5.84   1000000         0
992.34/992.60	c       333       656    564.91     94.60      5.97   1000000         0
994.05/994.32	c       321       591    563.72    111.02      5.08   1000000         0
995.74/996.05	c       301       539    581.50     99.12      5.87   1000000         0
997.45/997.76	c       363       555    573.86     90.09      6.37   1000000         0
999.14/999.48	c       330       562    573.59    103.74      5.53   1000000         0
1000.94/1001.21	c       365       588    580.18    115.53      5.02   1000000         0
1002.64/1002.93	c       349       509    583.43    116.41      5.01   1000000         0
1004.34/1004.66	c       381       521    583.23     96.66      6.03   1000000         0
1006.04/1006.37	c       325       488    549.74     92.68      5.93   1000000         0
1007.74/1008.09	c       368       507    571.42    100.05      5.71   1000000         0
1009.54/1009.80	c       364       590    561.77     85.00      6.61   1000000         0
1011.24/1011.52	c       366       555    575.22    104.21      5.52   1000000         0
1012.94/1013.24	c       308       594    560.57    118.39      4.73   1000000         0
1014.64/1014.97	c       350       522    594.74    114.91      5.18   1000000         0
1016.34/1016.68	c       400       515    580.51     92.93      6.25   1000000         0
1018.14/1018.40	c       327       611    569.63    107.88      5.28   1000000         0
1019.83/1020.12	c       333       568    575.95     87.59      6.58   1000000         0
1021.54/1021.84	c       346       561    583.10     93.88      6.21   1000000         0
1023.23/1023.56	c       309       522    577.86    109.84      5.26   1000000         0
1024.94/1025.29	c       337       550    586.33    128.64      4.56   1000000         0
1026.73/1027.01	c       360       584    576.19    109.92      5.24   1000000         0
1028.43/1028.72	c       329       624    565.87    100.26      5.64   1000000         0
1030.13/1030.44	c       324       505    568.34    107.94      5.27   1000000         0
1031.83/1032.17	c       335       622    577.21    107.55      5.37   1000000         0
1033.53/1033.88	c       332       514    561.69    104.09      5.40   1000000         0
1035.23/1035.59	c       348       614    568.77     95.44      5.96   1000000         0
1037.04/1037.32	c       315       494    577.49    122.88      4.70   1000000         0
1038.73/1039.03	c       344       602    557.78     95.29      5.85   1000000         0
1040.43/1040.75	c       373       596    583.92    102.95      5.67   1000000         0
1042.13/1042.48	c       347       571    574.44    108.30      5.30   1000000         0
1043.93/1044.20	c       352       659    565.92     94.48      5.99   1000000         0
1045.63/1045.92	c       348       502    583.77     99.75      5.85   1000000         0
1047.33/1047.63	c       302       550    558.25     95.25      5.86   1000000         0
1049.04/1049.35	c       338       558    578.10    101.03      5.72   1000000         0
1050.73/1051.07	c       316       524    567.96    106.79      5.32   1000000         0
1052.43/1052.79	c       347       524    574.17    108.58      5.29   1000000         0
1054.23/1054.50	c       351       517    564.36     97.49      5.79   1000000         0
1055.93/1056.21	c       335       617    568.88     95.42      5.96   1000000         0
1057.63/1057.93	c       335       505    571.06    111.49      5.12   1000000         0
1059.33/1059.64	c       342       527    572.56    104.11      5.50   1000000         0
1061.02/1061.36	c       343       579    561.30    109.57      5.12   1000000         0
1062.72/1063.08	c       320       483    571.19     99.32      5.75   1000000         0
1064.43/1064.79	c       348       481    573.24     98.40      5.83   1000000         0
1066.22/1066.51	c       305       451    558.09    119.60      4.67   1000000         0
1067.92/1068.23	c       357       647    573.63    102.61      5.59   1000000         0
1069.62/1069.96	c       305       481    582.81    102.64      5.68   1000000         0
1071.32/1071.67	c       350       572    563.99     94.75      5.95   1000000         0
1073.02/1073.39	c       326       498    577.64    112.48      5.14   1000000         0
1074.82/1075.11	c       355       571    582.02     95.56      6.09   1000000         0
1076.53/1076.83	c       359       630    577.29    127.73      4.52   1000000         0
1078.22/1078.56	c       338       560    571.20    109.08      5.24   1000000         0
1079.93/1080.27	c       357       640    582.84     99.67      5.85   1000000         0
1081.62/1081.99	c       353       529    559.13    100.99      5.54   1000000         0
1083.42/1083.72	c       367       569    579.51    106.68      5.43   1000000         0
1085.12/1085.44	c       350       569    593.87    103.17      5.76   1000000         0
1086.82/1087.16	c       360       636    576.48    100.18      5.75   1000000         0
1088.52/1088.88	c       358       445    571.79     83.18      6.87   1000000         0
1090.32/1090.60	c       282       660    572.69    115.46      4.96   1000000         0
1092.02/1092.32	c       321       499    582.86    114.77      5.08   1000000         0
1093.72/1094.05	c       370       601    579.91    104.58      5.55   1000000         0
1095.41/1095.77	c       333       444    571.19    115.65      4.94   1000000         0
1097.21/1097.50	c       359       667    604.76    111.37      5.43   1000000         0
1098.91/1099.21	c       321       608    563.08     95.99      5.87   1000000         0
1100.61/1100.94	c       366       499    595.32    105.78      5.63   1000000         0
1102.31/1102.66	c       386       492    573.17     88.77      6.46   1000000         0
1104.02/1104.37	c       292       546    560.52    119.63      4.69   1000000         0
1105.71/1106.09	c       338       531    569.15    103.73      5.49   1000000         0
1107.51/1107.81	c       313       639    568.77     85.46      6.66   1000000         0
1109.21/1109.53	c       323       439    573.55     97.27      5.90   1000000         0
1110.91/1111.24	c       320       443    570.39     84.31      6.77   1000000         0
1112.61/1112.96	c       315       545    581.45    115.68      5.03   1000000         0
1114.31/1114.68	c       365       487    570.16    100.39      5.68   1000000         0
1116.12/1116.40	c       335       592    570.89     94.65      6.03   1000000         0
1117.81/1118.12	c       337       601    577.09    116.73      4.94   1000000         0
1119.52/1119.85	c       375       463    581.28    103.81      5.60   1000000         0
1121.21/1121.57	c       356       524    563.97     90.44      6.24   1000000         0
1122.91/1123.29	c       335       589    581.89    107.76      5.40   1000000         0
1124.71/1125.01	c       380       603    583.26     95.90      6.08   1000000         0
1126.41/1126.74	c       343       579    588.50    110.92      5.31   1000000         0
1128.11/1128.47	c       370       503    589.12    111.02      5.31   1000000         0
1129.81/1130.18	c       347       636    573.76    100.58      5.70   1000000         0
1131.61/1131.91	c       301       514    572.49    112.98      5.07   1000000         0
1133.31/1133.63	c       344       530    584.75    100.77      5.80   1000000         0
1135.01/1135.35	c       310       518    564.15     91.25      6.18   1000000         0
1136.71/1137.07	c       335       631    581.89    111.82      5.20   1000000         0
1138.40/1138.79	c       348       470    575.85     91.66      6.28   1000000         0
1140.20/1140.51	c       332       560    568.96     95.08      5.98   1000000         0
1141.90/1142.23	c       341       502    572.47     98.98      5.78   1000000         0
1143.61/1143.95	c       340       547    576.67     95.56      6.03   1000000         0
1145.30/1145.68	c       360       701    583.59    110.34      5.29   1000000         0
1147.01/1147.39	c       334       511    581.75     95.79      6.07   1000000         0
1148.80/1149.12	c       320       436    590.30    103.49      5.70   1000000         0
1150.50/1150.84	c       292       635    582.07    131.16      4.44   1000000         0
1152.20/1152.56	c       332       438    574.65    117.08      4.91   1000000         0
1153.90/1154.28	c       329       542    564.06    118.30      4.77   1000000         0
1155.71/1156.00	c       339       499    578.56     94.16      6.14   1000000         0
1157.40/1157.72	c       346       557    576.21    108.37      5.32   1000000         0
1159.11/1159.43	c       304       520    551.81    107.36      5.14   1000000         0
1160.80/1161.15	c       347       599    570.79    102.28      5.58   1000000         0
1162.50/1162.88	c       333       533    574.21    103.16      5.57   1000000         0
1164.31/1164.60	c       348       480    583.03     88.32      6.60   1000000         0
1166.01/1166.33	c       314       496    581.39    102.97      5.65   1000000         0
1167.71/1168.05	c       332       548    569.71    102.86      5.54   1000000         0
1169.41/1169.77	c       342       441    564.09     86.44      6.53   1000000         0
1171.11/1171.49	c       351       494    582.34    113.43      5.13   1000000         0
1172.90/1173.20	c       354       503    573.94    108.19      5.30   1000000         0
1174.61/1174.92	c       355       484    557.93     97.55      5.72   1000000         0
1176.31/1176.63	c       323       543    551.35    108.96      5.06   1000000         0
1178.00/1178.36	c       340       610    567.57    102.56      5.53   1000000         0
1179.70/1180.07	c       317       562    554.34     96.45      5.75   1000000         0
1181.40/1181.79	c       326       585    563.03    122.41      4.60   1000000         0
1183.21/1183.50	c       317       587    564.34    121.08      4.66   1000000         0
1184.90/1185.22	c       345       703    578.64    100.37      5.77   1000000         0
1186.61/1186.94	c       325       462    561.28    105.18      5.34   1000000         0
1188.30/1188.66	c       382       544    575.44     95.67      6.01   1000000         0
1190.00/1190.39	c       359       440    584.24    112.61      5.19   1000000         0
1191.80/1192.10	c       357       532    571.43     91.76      6.23   1000000         0
1193.50/1193.82	c       367       505    566.07     99.08      5.71   1000000         0
1195.20/1195.54	c       341       639    586.30    106.01      5.53   1000000         0
1196.90/1197.27	c       362       545    556.10     89.21      6.23   1000000         0
1198.61/1198.99	c       325       547    564.17     94.83      5.95   1000000         0
1200.40/1200.71	c       341       600    579.42    117.64      4.93   1000000         0
1202.10/1202.42	c       320       643    560.28    100.74      5.56   1000000         0
1203.80/1204.15	c       365       624    594.18    102.72      5.78   1000000         0
1205.50/1205.87	c       359       448    565.81    117.01      4.84   1000000         0
1207.20/1207.59	c       309       573    567.66    101.36      5.60   1000000         0
1209.00/1209.30	c       334       482    568.00     89.94      6.32   1000000         0
1210.70/1211.02	c       302       576    568.50    117.74      4.83   1000000         0
1212.40/1212.73	c       352       640    569.02    102.78      5.54   1000000         0
1214.10/1214.45	c       327       518    577.78    102.69      5.63   1000000         0
1215.80/1216.19	c       350       608    594.04    104.58      5.68   1000000         0
1217.59/1217.91	c       348       521    579.84     97.36      5.96   1000000         0
1219.29/1219.62	c       343       556    562.25    101.46      5.54   1000000         0
1220.99/1221.35	c       339       539    591.05    123.99      4.77   1000000         0
1222.69/1223.08	c       355       472    586.63    121.57      4.83   1000000         0
1224.39/1224.80	c       329       674    572.57     95.01      6.03   1000000         0
1226.20/1226.52	c       367       470    568.24    107.89      5.27   1000000         0
1227.89/1228.23	c       359       655    580.20     89.51      6.48   1000000         0
1229.59/1229.95	c       346       598    583.56     93.25      6.26   1000000         0
1231.29/1231.67	c       348       621    575.24    112.23      5.13   1000000         0
1232.99/1233.39	c       266       557    565.19     96.88      5.83   1000000         0
1234.79/1235.11	c       328       547    574.57     93.44      6.15   1000000         0
1236.49/1236.83	c       327       543    576.51    118.45      4.87   1000000         0
1238.20/1238.56	c       352       634    601.89    104.39      5.77   1000000         0
1239.89/1240.28	c       350       604    583.27    104.80      5.57   1000000         0
1241.60/1241.99	c       352       522    563.82    116.69      4.83   1000000         0
1243.39/1243.72	c       363       658    576.81    105.37      5.47   1000000         0
1245.09/1245.44	c       352       553    574.43    126.94      4.53   1000000         0
1246.79/1247.16	c       327       639    573.98    126.67      4.53   1000000         0
1248.49/1248.88	c       328       461    578.97    104.77      5.53   1000000         0
1250.29/1250.60	c       314       568    570.68     92.94      6.14   1000000         0
1251.99/1252.33	c       365       562    576.41     94.32      6.11   1000000         0
1253.69/1254.05	c       339       432    559.80     99.92      5.60   1000000         0
1255.39/1255.78	c       328       539    600.72    113.20      5.31   1000000         0
1257.18/1257.50	c       359       540    588.18    110.88      5.30   1000000         0
1258.88/1259.22	c       337       612    565.73    111.80      5.06   1000000         0
1260.58/1260.93	c       358       509    568.04    103.94      5.47   1000000         0
1262.28/1262.65	c       369       621    578.47    101.22      5.72   1000000         0
1263.98/1264.37	c       350       569    582.56     94.25      6.18   1000000         0
1265.69/1266.08	c       314       535    550.27     97.24      5.66   1000000         0
1267.48/1267.81	c       360       490    585.94    114.91      5.10   1000000         0
1269.18/1269.52	c       336       551    564.71     90.90      6.21   1000000         0
1270.88/1271.24	c       382       527    572.01    111.50      5.13   1000000         0
1272.58/1272.95	c       338       570    571.01     94.66      6.03   1000000         0
1274.28/1274.68	c       344       423    569.94    100.19      5.69   1000000         0
1275.98/1276.39	c       360       563    565.03     96.06      5.88   1000000         0
1277.79/1278.11	c       286       685    571.37    109.83      5.20   1000000         0
1279.48/1279.84	c       318       488    577.64    109.36      5.28   1000000         0
1281.19/1281.56	c       351       618    572.71    109.59      5.23   1000000         0
1282.88/1283.29	c       341       542    571.28    123.99      4.61   1000000         0
1284.68/1285.01	c       290       667    581.09    123.56      4.70   1000000         0
1286.38/1286.74	c       355       444    589.03    110.55      5.33   1000000         0
1288.08/1288.46	c       332       452    561.37     84.14      6.67   1000000         0
1289.78/1290.18	c       315       400    575.74    121.27      4.75   1000000         0
1291.58/1291.91	c       327       499    566.08    103.49      5.47   1000000         0
1293.28/1293.62	c       339       618    569.02    107.75      5.28   1000000         0
1294.98/1295.34	c       314       504    560.42    105.79      5.30   1000000         0
1296.68/1297.06	c       321       441    558.62    106.32      5.25   1000000         0
1298.38/1298.77	c       303       462    566.55     92.39      6.13   1000000         0
1300.07/1300.49	c       311       602    563.66    125.75      4.48   1000000         0
1301.87/1302.20	c       357       641    568.50    109.04      5.21   1000000         0
1303.57/1303.92	c       368       592    571.67    114.04      5.01   1000000         0
1305.28/1305.64	c       347       598    570.04     94.27      6.05   1000000         0
1306.97/1307.35	c       387       614    574.69     96.01      5.99   1000000         0
1308.68/1309.07	c       340       560    578.12    105.36      5.49   1000000         0
1310.47/1310.80	c       303       474    584.13    102.87      5.68   1000000         0
1312.17/1312.52	c       373       394    570.93    105.58      5.41   1000000         0
1313.87/1314.24	c       342       496    576.72    103.92      5.55   1000000         0
1315.57/1315.96	c       324       529    578.07    102.90      5.62   1000000         0
1317.27/1317.69	c       345       765    581.53    120.83      4.81   1000000         0
1319.07/1319.41	c       355       707    583.08     96.17      6.06   1000000         0
1320.78/1321.14	c       342       585    580.07    120.30      4.82   1000000         0
1322.47/1322.86	c       325       651    574.56     97.03      5.92   1000000         0
1324.17/1324.58	c       345       519    564.02     93.50      6.03   1000000         0
1325.97/1326.30	c       342       538    572.86    112.00      5.11   1000000         0
1327.67/1328.03	c       346       564    585.25    115.54      5.07   1000000         0
1329.37/1329.75	c       390       560    586.17     96.72      6.06   1000000         0
1331.07/1331.48	c       329       514    571.17    108.45      5.27   1000000         0
1332.77/1333.20	c       319       627    573.06    101.96      5.62   1000000         0
1334.57/1334.92	c       343       570    587.10    104.01      5.64   1000000         0
1336.27/1336.64	c       348       451    565.80    108.56      5.21   1000000         0
1337.97/1338.35	c       278       518    557.98     97.66      5.71   1000000         0
1339.67/1340.06	c       341       579    568.63    107.22      5.30   1000000         0
1341.37/1341.78	c       336       605    567.30    105.71      5.37   1000000         0
1343.06/1343.49	c       402       515    574.12     88.21      6.51   1000000         0
1344.87/1345.22	c       332       594    589.65    117.85      5.00   1000000         0
1346.56/1346.94	c       335       496    569.55     98.74      5.77   1000000         0
1348.27/1348.67	c       353       602    578.17    101.03      5.72   1000000         0
1349.96/1350.39	c       345       624    584.11    100.37      5.82   1000000         0
1351.76/1352.11	c       335       467    564.94     98.98      5.71   1000000         0
1353.46/1353.83	c       345       484    561.93     94.00      5.98   1000000         0
1355.16/1355.56	c       369       636    590.33    103.03      5.73   1000000         0
1356.86/1357.28	c       357       606    576.87     98.52      5.86   1000000         0
1358.56/1358.99	c       327       491    562.46    114.11      4.93   1000000         0
1360.37/1360.71	c       352       566    578.53    110.45      5.24   1000000         0
1362.06/1362.42	c       324       419    560.60     98.66      5.68   1000000         0
1363.76/1364.14	c       378       456    566.11    101.19      5.59   1000000         0
1365.46/1365.87	c       353       607    593.28    103.93      5.71   1000000         0
1367.16/1367.59	c       322       625    567.01     93.97      6.03   1000000         0
1368.96/1369.31	c       359       539    583.65    113.14      5.16   1000000         0
1370.66/1371.03	c       332       480    564.44    110.04      5.13   1000000         0
1372.36/1372.75	c       334       450    558.17    115.70      4.82   1000000         0
1374.06/1374.46	c       300       507    562.44    118.14      4.76   1000000         0
1375.76/1376.18	c       380       560    579.22     87.10      6.65   1000000         0
1377.56/1377.90	c       344       675    571.44    107.90      5.30   1000000         0
1379.26/1379.62	c       328       473    565.18    125.56      4.50   1000000         0
1380.96/1381.34	c       350       609    581.82    110.23      5.28   1000000         0
1382.66/1383.07	c       363       669    578.72    105.25      5.50   1000000         0
1384.36/1384.79	c       348       596    581.85    107.06      5.43   1000000         0
1386.15/1386.51	c       344       612    566.76    115.53      4.91   1000000         0
1387.86/1388.23	c       296       595    570.90    105.46      5.41   1000000         0
1389.55/1389.95	c       385       532    582.24     97.57      5.97   1000000         0
1391.25/1391.67	c       294       593    580.77     91.03      6.38   1000000         0
1392.95/1393.39	c       334       677    573.07     92.57      6.19   1000000         0
1394.75/1395.12	c       357       664    588.53     93.19      6.32   1000000         0
1396.45/1396.84	c       363       519    589.97    120.22      4.91   1000000         0
1398.15/1398.55	c       327       507    558.85    105.98      5.27   1000000         0
1399.86/1400.29	c       384       501    595.88    101.94      5.85   1000000         0
1401.65/1402.00	c       344       382    565.97     98.15      5.77   1000000         0
1403.35/1403.72	c       340       633    564.48    123.17      4.58   1000000         0
1405.05/1405.43	c       322       797    556.68    102.30      5.44   1000000         0
1406.75/1407.16	c       370       636    589.99     98.02      6.02   1000000         0
1408.45/1408.89	c       345       599    570.83     92.65      6.16   1000000         0
1410.25/1410.61	c       370       681    580.78     87.35      6.65   1000000         0
1411.95/1412.33	c       341       584    564.88    120.70      4.68   1000000         0
1413.65/1414.05	c       342       378    581.90    102.39      5.68   1000000         0
1415.35/1415.77	c       359       610    573.91     97.53      5.88   1000000         0
1417.05/1417.48	c       330       607    574.67     93.85      6.12   1000000         0
1418.85/1419.20	c       347       447    566.09    109.85      5.15   1000000         0
1420.55/1420.93	c       331       493    575.77    116.67      4.93   1000000         0
1422.24/1422.65	c       351       448    568.50    104.64      5.43   1000000         0
1423.94/1424.37	c       337       602    573.83    107.99      5.31   1000000         0
1425.64/1426.08	c       338       569    553.79     86.77      6.38   1000000         0
1427.35/1427.80	c       334       594    574.55    113.52      5.06   1000000         0
1429.14/1429.51	c       355       595    576.39     91.54      6.30   1000000         0
1430.84/1431.24	c       338       507    578.48     95.87      6.03   1000000         0
1432.54/1432.95	c       312       516    568.70    108.39      5.25   1000000         0
1434.24/1434.67	c       382       597    571.43     97.25      5.88   1000000         0
1435.94/1436.39	c       335       619    577.49     95.65      6.04   1000000         0
1437.74/1438.10	c       371       590    576.66    108.94      5.29   1000000         0
1439.45/1439.83	c       347       617    582.27    126.79      4.59   1000000         0
1441.14/1441.54	c       331       666    561.08    101.50      5.53   1000000         0
1442.85/1443.28	c       376       697    598.87    103.47      5.79   1000000         0
1444.64/1445.00	c       350       418    589.75    109.80      5.37   1000000         0
1446.34/1446.72	c       316       515    567.10    106.76      5.31   1000000         0
1448.04/1448.45	c       314       519    583.72    116.79      5.00   1000000         0
1449.74/1450.17	c       372       534    584.92     96.66      6.05   1000000         0
1451.44/1451.89	c       302       457    559.13    100.29      5.57   1000000         0
1453.24/1453.60	c       341       498    562.11     97.13      5.79   1000000         0
1454.94/1455.32	c       337       582    574.43    101.79      5.64   1000000         0
1456.64/1457.03	c       332       506    571.81    105.52      5.42   1000000         0
1458.34/1458.75	c       351       460    564.26     96.79      5.83   1000000         0
1460.04/1460.48	c       340       457    572.28     86.48      6.62   1000000         0
1461.74/1462.19	c       336       404    571.02    102.43      5.57   1000000         0
1463.53/1463.91	c       331       573    583.62    120.49      4.84   1000000         0
1465.23/1465.63	c       358       532    571.79    114.31      5.00   1000000         0
1466.94/1467.35	c       368       656    552.35     91.95      6.01   1000000         0
1468.63/1469.07	c       353       596    582.76     98.20      5.93   1000000         0
1470.34/1470.79	c       308       599    579.04    109.36      5.29   1000000         0
1472.13/1472.51	c       324       626    565.03     92.50      6.11   1000000         0
1473.83/1474.23	c       312       594    578.14    108.57      5.32   1000000         0
1475.53/1475.96	c       327       596    572.78    110.96      5.16   1000000         0
1477.23/1477.68	c       364       465    575.98    125.72      4.58   1000000         0
1479.04/1479.41	c       331       634    583.60    114.48      5.10   1000000         0
1480.73/1481.13	c       358       585    561.54    116.55      4.82   1000000         0
1482.44/1482.84	c       380       583    578.39     85.42      6.77   1000000         0
1484.13/1484.56	c       351       571    566.09    111.00      5.10   1000000         0
1485.83/1486.29	c       356       514    589.42     91.78      6.42   1000000         0
1487.63/1488.01	c       319       581    565.05    103.52      5.46   1000000         0
1489.33/1489.73	c       363       614    586.41    127.83      4.59   1000000         0
1491.03/1491.44	c       304       574    554.73     93.90      5.91   1000000         0
1492.73/1493.17	c       333       696    577.06    103.28      5.59   1000000         0
1494.43/1494.89	c       346       482    583.76    107.52      5.43   1000000         0
1496.23/1496.62	c       347       566    585.87    112.96      5.19   1000000         0
1497.93/1498.34	c       365       620    572.99    103.15      5.56   1000000         0
1499.63/1500.06	c       325       406    584.96    114.09      5.13   1000000         0
1501.33/1501.79	c       344       560    566.53     91.24      6.21   1000000         0
1503.13/1503.52	c       350       556    593.52     97.38      6.09   1000000         0
1504.82/1505.24	c       305       513    574.18    135.13      4.25   1000000         0
1506.53/1506.97	c       364       464    578.45    105.29      5.49   1000000         0
1508.22/1508.68	c       307       593    562.42    104.47      5.38   1000000         0
1510.02/1510.40	c       357       739    575.61     93.85      6.13   1000000         0
1511.72/1512.12	c       315       612    574.65    130.14      4.42   1000000         0
1513.42/1513.85	c       265       634    572.10    109.73      5.21   1000000         0
1515.12/1515.57	c       331       658    568.89    122.37      4.65   1000000         0
1516.82/1517.28	c       337       480    564.72     98.68      5.72   1000000         0
1518.63/1519.00	c       318       601    566.39    100.74      5.62   1000000         0
1520.32/1520.72	c       318       631    572.59    107.10      5.35   1000000         0
1522.03/1522.43	c       301       620    552.40     97.15      5.69   1000000         0
1523.72/1524.15	c       352       533    567.01     96.98      5.85   1000000         0
1525.42/1525.87	c       346       503    574.38     97.12      5.91   1000000         0
1527.12/1527.58	c       349       490    563.91     93.58      6.03   1000000         0
1528.92/1529.32	c       390       574    589.75    120.87      4.88   1000000         0
1530.62/1531.03	c       308       529    573.27    102.27      5.61   1000000         0
1532.32/1532.76	c       379       503    586.26    104.58      5.61   1000000         0
1534.02/1534.49	c       380       566    594.94    101.17      5.88   1000000         0
1535.82/1536.21	c       342       622    577.60    101.73      5.68   1000000         0
1537.52/1537.93	c       350       665    568.39    107.08      5.31   1000000         0
1539.22/1539.65	c       347       530    581.06     99.43      5.84   1000000         0
1540.92/1541.37	c       353       543    560.03    102.54      5.46   1000000         0
1542.62/1543.09	c       305       652    580.38    100.61      5.77   1000000         0
1544.42/1544.80	c       336       670    571.64     91.46      6.25   1000000         0
1546.12/1546.53	c       329       466    595.43    133.15      4.47   1000000         0
1547.81/1548.26	c       317       586    583.03    107.72      5.41   1000000         0
1549.52/1549.98	c       348       500    578.45    108.65      5.32   1000000         0
1551.31/1551.70	c       321       500    577.12     93.89      6.15   1000000         0
1553.01/1553.43	c       321       539    561.65    116.65      4.81   1000000         0
1554.71/1555.14	c       356       529    566.58    109.95      5.15   1000000         0
1556.41/1556.87	c       313       607    585.34    113.75      5.15   1000000         0
1558.11/1558.58	c       346       507    562.63    105.17      5.35   1000000         0
1559.81/1560.29	c       323       496    573.85     95.66      6.00   1000000         0
1561.62/1562.02	c       322       461    577.06    121.77      4.74   1000000         0
1563.31/1563.74	c       335       631    580.40    107.86      5.38   1000000         0
1565.01/1565.45	c       331       713    558.44     92.60      6.03   1000000         0
1566.71/1567.17	c       321       539    570.39    125.34      4.55   1000000         0
1568.41/1568.88	c       360       516    563.41    103.17      5.46   1000000         0
1570.11/1570.59	c       333       592    568.27     89.60      6.34   1000000         0
1571.91/1572.32	c       339       529    596.69    116.16      5.14   1000000         0
1573.61/1574.05	c       322       479    584.45     95.93      6.09   1000000         0
1575.31/1575.77	c       355       501    567.85    106.97      5.31   1000000         0
1577.02/1577.48	c       362       530    562.28    101.12      5.56   1000000         0
1578.81/1579.20	c       330       493    573.74    110.04      5.21   1000000         0
1580.51/1580.92	c       362       482    561.08     95.42      5.88   1000000         0
1582.21/1582.63	c       309       417    554.58    111.27      4.98   1000000         0
1583.91/1584.35	c       351       582    584.13    103.42      5.65   1000000         0
1585.60/1586.08	c       353       625    577.13     93.98      6.14   1000000         0
1587.40/1587.80	c       349       616    562.27     95.97      5.86   1000000         0
1589.11/1589.52	c       337       571    589.57    120.77      4.88   1000000         0
1590.80/1591.25	c       352       587    582.90    110.56      5.27   1000000         0
1592.50/1592.97	c       364       596    572.50    101.92      5.62   1000000         0
1594.20/1594.68	c       342       518    564.73     91.85      6.15   1000000         0
1596.00/1596.40	c       317       701    578.94    101.96      5.68   1000000         0
1597.70/1598.12	c       340       533    571.55    102.79      5.56   1000000         0
1599.40/1599.84	c       294       535    570.56    108.58      5.25   1000000         0
1601.11/1601.56	c       333       628    571.66    129.22      4.42   1000000         0
1602.80/1603.28	c       327       588    570.76    108.73      5.25   1000000         0
1604.51/1604.98	c       295       682    532.88     87.41      6.10   1000000         0
1606.20/1606.69	c       355       523    561.38     96.93      5.79   1000000         0
1608.00/1608.41	c       392       522    582.40     89.92      6.48   1000000         0
1609.70/1610.14	c       325       684    581.82    110.07      5.29   1000000         0
1611.40/1611.86	c       359       595    567.23    113.45      5.00   1000000         0
1613.10/1613.58	c       369       475    576.35    114.39      5.04   1000000         0
1614.90/1615.30	c       269       551    549.30    113.85      4.82   1000000         0
1616.60/1617.02	c       317       522    576.18     91.93      6.27   1000000         0
1618.30/1618.75	c       324       492    587.74    116.64      5.04   1000000         0
1620.00/1620.47	c       332       504    584.68    105.51      5.54   1000000         0
1621.80/1622.21	c       329       636    587.78    120.50      4.88   1000000         0
1623.50/1623.93	c       366       820    579.08    110.93      5.22   1000000         0
1625.19/1625.64	c       304       587    563.81    107.46      5.25   1000000         0
1626.89/1627.36	c       304       543    568.66    106.00      5.36   1000000         0
1628.60/1629.07	c       331       521    551.79     95.45      5.78   1000000         0
1630.29/1630.79	c       325       571    567.65     93.95      6.04   1000000         0
1632.09/1632.51	c       353       544    589.12     97.91      6.02   1000000         0
1633.79/1634.23	c       314       421    576.35    111.24      5.18   1000000         0
1635.49/1635.95	c       355       585    577.61    102.32      5.64   1000000         0
1637.19/1637.67	c       324       717    579.03     98.64      5.87   1000000         0
1638.89/1639.38	c       322       678    561.60    111.21      5.05   1000000         0
1640.59/1641.09	c       323       472    547.77     97.55      5.62   1000000         0
1642.39/1642.80	c       336       467    565.92     93.03      6.08   1000000         0
1644.10/1644.53	c       355       608    593.29    101.34      5.85   1000000         0
1645.79/1646.24	c       325       650    554.18    101.66      5.45   1000000         0
1647.49/1647.96	c       336       510    577.45     98.41      5.87   1000000         0
1649.19/1649.67	c       339       635    569.67     98.22      5.80   1000000         0
1650.99/1651.40	c       310       433    582.29    106.30      5.48   1000000         0
1652.69/1653.12	c       331       536    574.04    111.29      5.16   1000000         0
1654.39/1654.84	c       315       534    566.31     90.65      6.25   1000000         0
1656.09/1656.56	c       315       522    574.99    116.75      4.93   1000000         0
1657.79/1658.28	c       346       450    570.16    110.34      5.17   1000000         0
1659.49/1660.00	c       341       624    579.28    111.65      5.19   1000000         0
1661.29/1661.71	c       341       523    575.34     88.25      6.52   1000000         0
1662.99/1663.43	c       348       520    577.41    117.71      4.91   1000000         0
1664.68/1665.16	c       331       550    572.25    117.62      4.87   1000000         0
1666.38/1666.88	c       375       690    582.60     89.78      6.49   1000000         0
1668.19/1668.60	c       332       436    554.07    112.87      4.91   1000000         0
1669.88/1670.31	c       289       677    569.43     99.34      5.73   1000000         0
1671.59/1672.03	c       334       445    577.28     98.73      5.85   1000000         0
1673.28/1673.75	c       337       465    580.78    112.80      5.15   1000000         0
1674.98/1675.48	c       319       482    569.29    115.44      4.93   1000000         0
1676.78/1677.21	c       359       589    577.80    101.83      5.67   1000000         0
1678.48/1678.92	c       330       389    568.48    100.53      5.65   1000000         0
1680.18/1680.65	c       366       592    589.56    103.01      5.72   1000000         0
1681.88/1682.37	c       348       434    566.87    101.55      5.58   1000000         0
1683.59/1684.09	c       295       572    562.05    113.93      4.93   1000000         0
1685.38/1685.80	c       357       602    561.85    102.17      5.50   1000000         0
1687.08/1687.52	c       357       561    578.95     99.84      5.80   1000000         0
1688.78/1689.23	c       315       519    555.57     93.45      5.94   1000000         0
1690.48/1690.95	c       277       466    582.21    117.27      4.96   1000000         0
1692.18/1692.67	c       290       438    563.21    105.04      5.36   1000000         0
1693.88/1694.39	c       271       616    567.74    114.83      4.94   1000000         0
1695.68/1696.11	c       319       636    575.26    108.09      5.32   1000000         0
1697.38/1697.84	c       366       523    589.83    123.71      4.77   1000000         0
1699.08/1699.57	c       347       534    574.89    109.23      5.26   1000000         0
1700.78/1701.28	c       343       658    564.91     94.20      6.00   1000000         0
1702.58/1703.00	c       340       548    575.62    122.63      4.69   1000000         0
1704.27/1704.71	c       325       591    561.16     93.83      5.98   1000000         0
1705.97/1706.43	c       349       634    575.14     96.28      5.97   1000000         0
1707.67/1708.15	c       374       466    574.32    124.04      4.63   1000000         0
1709.37/1709.86	c       331       671    564.03     96.81      5.83   1000000         0
1711.08/1711.59	c       346       563    577.48     95.23      6.06   1000000         0
1712.87/1713.31	c       355       678    567.36     92.90      6.11   1000000         0
1714.57/1715.03	c       305       625    578.28    100.93      5.73   1000000         0
1716.27/1716.73	c       332       501    556.83     81.73      6.81   1000000         0
1717.97/1718.45	c       367       709    570.17     88.69      6.43   1000000         0
1719.67/1720.17	c       347       463    573.31    109.40      5.24   1000000         0
1721.47/1721.90	c       351       616    596.63    111.67      5.34   1000000         0
1723.18/1723.62	c       334       550    579.16     92.10      6.29   1000000         0
1724.87/1725.34	c       286       500    581.75     99.30      5.86   1000000         0
1726.58/1727.06	c       363       631    584.42    105.85      5.52   1000000         0
1728.27/1728.78	c       366       563    576.26    101.06      5.70   1000000         0
1729.97/1730.49	c       343       540    573.73    103.64      5.54   1000000         0
1731.77/1732.21	c       324       484    578.04    100.28      5.76   1000000         0
1733.47/1733.92	c       320       585    560.67    109.41      5.12   1000000         0
1735.17/1735.65	c       349       673    575.24    105.30      5.46   1000000         0
1736.87/1737.36	c       345       604    554.34     88.39      6.27   1000000         0
1738.57/1739.07	c       316       611    563.75    102.71      5.49   1000000         0
1740.27/1740.79	c       302       684    579.04    102.60      5.64   1000000         0
1742.07/1742.52	c       321       578    580.83    121.23      4.79   1000000         0
1743.76/1744.23	c       308       585    561.57     93.64      6.00   1000000         0
1745.46/1745.95	c       335       515    562.96    105.64      5.33   1000000         0
1747.16/1747.67	c       345       545    570.54    131.23      4.35   1000000         0
1748.86/1749.39	c       336       520    578.72    140.05      4.13   1000000         0
1750.67/1751.12	c       367       637    571.75     92.40      6.19   1000000         0
1752.36/1752.84	c       354       744    588.28     92.32      6.37   1000000         0
1754.07/1754.57	c       305       594    578.12     93.87      6.16   1000000         0
1755.76/1756.29	c       337       571    574.14    124.32      4.62   1000000         0
1757.56/1758.01	c       331       530    572.03    110.56      5.17   1000000         0
1759.26/1759.73	c       262       536    564.78     95.36      5.92   1000000         0
1760.96/1761.44	c       335       747    572.38    105.66      5.42   1000000         0
1762.66/1763.16	c       328       624    564.40    100.04      5.64   1000000         0
1764.36/1764.87	c       309       516    567.42    107.01      5.30   1000000         0
1766.07/1766.59	c       361       716    570.91    101.14      5.64   1000000         0
1767.76/1768.29	c       320       515    552.51     94.72      5.83   1000000         0
1769.56/1770.00	c       335       534    549.27     87.51      6.28   1000000         0
1771.26/1771.72	c       371       631    579.40     98.66      5.87   1000000         0
1772.96/1773.44	c       361       667    589.70    109.88      5.37   1000000         0
1774.66/1775.16	c       331       488    559.39    107.08      5.22   1000000         0
1776.36/1776.89	c       364       475    588.82    106.30      5.54   1000000         0
1778.16/1778.61	c       308       601    562.56     97.31      5.78   1000000         0
1779.85/1780.34	c       376       484    608.20    113.23      5.37   1000000         0
1781.56/1782.06	c       373       565    575.04     92.99      6.18   1000000         0
1783.25/1783.77	c       324       553    564.80     98.11      5.76   1000000         0
1784.95/1785.49	c       349       627    573.02    108.80      5.27   1000000         0
1786.75/1787.21	c       277       573    566.09    104.00      5.44   1000000         0
1788.45/1788.93	c       314       515    587.01     94.54      6.21   1000000         0
1790.15/1790.65	c       368       461    576.21     81.98      7.03   1000000         0
1791.85/1792.37	c       305       561    575.83    111.70      5.16   1000000         0
1793.56/1794.09	c       345       526    559.03     91.48      6.11   1000000         0
1795.35/1795.82	c       370       534    589.15     95.73      6.15   1000000         0
1797.05/1797.52	c       340       560    551.94     94.02      5.87   1000000         0
1798.75/1799.24	c       328       638    565.87     95.46      5.93   1000000         0
1800.06/1800.51	HOME/run: line 2: 21856 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-2685224-1278440285/watcher-2685224-1278440285 -o /tmp/evaluation-result-2685224-1278440285/solver-2685224-1278440285 -C 1800 -W 2000 -M 1800 run HOME/instance-2685224-1278440285.opb 

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


[startup+0 s]
/proc/loadavg: 0.95 1.00 0.99 3/106 21855
/proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) R 21853 21855 21224 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965050773 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0

[startup+0.0850409 s]
/proc/loadavg: 0.95 1.00 0.99 3/106 21855
/proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101041 s]
/proc/loadavg: 0.95 1.00 0.99 3/106 21855
/proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301059 s]
/proc/loadavg: 0.95 1.00 0.99 3/106 21855
/proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701094 s]
/proc/loadavg: 0.95 1.00 0.99 3/106 21855
/proc/meminfo: memFree=1834876/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50116 s]
/proc/loadavg: 0.95 1.00 0.99 2/108 21857
/proc/meminfo: memFree=1828412/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1.49
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1648 0 0 0 149 0 0 0 25 0 1 0 12235017 41422848 1577 1992294400 134512640 135071400 4288647744 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1577 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10131 s]
/proc/loadavg: 0.95 1.00 0.99 2/108 21857
/proc/meminfo: memFree=1828164/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=3.09
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 309 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526693 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30158 s]
/proc/loadavg: 0.95 1.00 0.99 2/108 21857
/proc/meminfo: memFree=1828040/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=6.29
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 629 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7011 s]
/proc/loadavg: 0.96 1.00 0.99 2/108 21858
/proc/meminfo: memFree=1827792/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=12.68
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 1268 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5003 s]
/proc/loadavg: 0.96 1.00 0.99 2/108 21858
/proc/meminfo: memFree=1827792/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=25.48
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 2548 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1005 s]
/proc/loadavg: 0.97 1.00 0.99 2/108 21858
/proc/meminfo: memFree=1827792/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=51.07
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 5107 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21862
/proc/meminfo: memFree=1827172/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=102.27
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 10227 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21865
/proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=162.24
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 16224 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134571983 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 3/108 21866
/proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=222.23
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 22223 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21867
/proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=282.22
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 28222 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525852 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21869
/proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=342.2
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 34220 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21871
/proc/meminfo: memFree=1827048/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=402.18
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 40218 0 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526747 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1122.01
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 112200 1 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21891
/proc/meminfo: memFree=1825560/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1182
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 118198 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21893
/proc/meminfo: memFree=1825188/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1241.99
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 124197 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21895
/proc/meminfo: memFree=1825064/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1301.98
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 130196 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21897
/proc/meminfo: memFree=1824940/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1361.96
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 136194 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526547 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21898
/proc/meminfo: memFree=1824816/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1421.95
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 142193 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21899
/proc/meminfo: memFree=1824692/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1481.93
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 148191 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21901
/proc/meminfo: memFree=1824568/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1541.92
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 154190 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 21903
/proc/meminfo: memFree=1824568/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1601.9
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 160188 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 21905
/proc/meminfo: memFree=1824320/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1661.89
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 166187 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 21905
/proc/meminfo: memFree=1824196/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1721.87
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 172185 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134537216 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21907
/proc/meminfo: memFree=1823948/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1781.85
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 178183 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21908
/proc/meminfo: memFree=1823948/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1800.06
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 180004 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21908
/proc/meminfo: memFree=1823948/2059040 swapFree=4177548/4192956
[pid=21855] ppid=21853 vsize=8700 CPUtime=0
/proc/21855/stat : 21855 (run) S 21853 21855 21224 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 12235017 8908800 244 1992294400 4194304 4922060 140733626775312 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21855/statm: 2175 244 204 178 0 68 0
[pid=21856] ppid=21855 vsize=40452 CPUtime=1800.06
/proc/21856/stat : 21856 (PB-wave) R 21855 21855 21224 0 -1 4202496 1656 0 0 0 180004 2 0 0 25 0 1 0 12235017 41422848 1585 1992294400 134512640 135071400 4288647744 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21856/statm: 10113 1585 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.025996
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.78858 second user time and 8.74567 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-06 20:18:06
IDJOB=2685224
IDBENCH=75009
IDSOLVER=1171
FILE ID=node055/2685224-1278440285
PBS_JOBID= 11233487
Free space on /tmp= 62576 MiB

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

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

MD5SUM BENCH= c4e2de59bc6cb40f7cda886fdbd69868
RANDOM SEED=992800856

node055.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.224
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.44
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.224
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1835272 kB
Buffers:          5972 kB
Cached:         101608 kB
SwapCached:       3164 kB
Active:          32964 kB
Inactive:       122192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1835272 kB
SwapTotal:     4192956 kB
SwapFree:      4177548 kB
Dirty:            2384 kB
Writeback:           0 kB
AnonPages:       44460 kB
Mapped:          14436 kB
Slab:            46532 kB
PageTables:       4212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178500 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= 62576 MiB
End job on node055 at 2010-07-06 20:48:06