Trace number 2685434

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6041_4-sat.opb
MD5SUMfab97298bb200d43ab726d5ed3b8b0cb
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 benchmark1.12183
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16348
Total number of constraints56848
Number of constraints which are clauses56316
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints532
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 270
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 = 116673018
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 16348 #con 56848
0.00/0.15	mode is SAT
0.00/0.15	c tail starts after flip = 49044
0.00/0.15	c numatom = 16348, numclause = 56848, numliterals = 144114
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.78/1.84	c       395       596    584.57     64.01      9.13   1000000         0
3.48/3.53	c       425       505    592.53     59.51      9.96   1000000         0
5.18/5.22	c       405       524    585.11     64.97      9.01   1000000         0
6.88/6.92	c       413       585    584.93     53.94     10.84   1000000         0
8.58/8.61	c       407       599    578.93     65.27      8.87   1000000         0
10.28/10.30	c       407       563    573.86     57.91      9.91   1000000         0
11.88/11.99	c       411       564    589.84     64.72      9.11   1000000         0
13.58/13.68	c       410       673    583.74     60.48      9.65   1000000         0
15.29/15.37	c       427       536    586.45     54.57     10.75   1000000         0
16.98/17.06	c       389       642    586.97     59.41      9.88   1000000         0
18.69/18.75	c       419       582    576.40     53.46     10.78   1000000         0
20.38/20.44	c       403       551    584.82     63.51      9.21   1000000         0
22.08/22.13	c       392       552    570.43     53.48     10.67   1000000         0
23.78/23.82	c       379       558    580.70     59.30      9.79   1000000         0
25.48/25.51	c       401       617    591.79     51.39     11.52   1000000         0
27.18/27.21	c       403       625    593.48     59.62      9.96   1000000         0
28.78/28.89	c       405       541    580.63     63.55      9.14   1000000         0
30.48/30.59	c       408       600    577.17     63.35      9.11   1000000         0
32.18/32.28	c       423       549    584.83     60.51      9.66   1000000         0
33.87/33.97	c       408       482    573.71     66.90      8.58   1000000         0
35.57/35.66	c       436       649    588.07     57.42     10.24   1000000         0
37.28/37.36	c       417       579    589.11     61.93      9.51   1000000         0
38.97/39.05	c       379       539    582.83     68.66      8.49   1000000         0
40.68/40.74	c       401       502    584.12     64.60      9.04   1000000         0
42.37/42.43	c       417       601    581.13     59.70      9.73   1000000         0
44.07/44.13	c       425       609    589.64     62.02      9.51   1000000         0
45.77/45.83	c       352       566    584.34     61.51      9.50   1000000         0
47.47/47.52	c       388       558    582.89     65.26      8.93   1000000         0
49.17/49.21	c       405       606    581.21     61.95      9.38   1000000         0
50.87/50.91	c       392       559    590.06     60.73      9.72   1000000         0
52.47/52.60	c       410       519    588.35     54.98     10.70   1000000         0
54.17/54.28	c       403       572    569.56     56.07     10.16   1000000         0
55.87/55.97	c       422       498    592.05     54.66     10.83   1000000         0
57.57/57.66	c       395       579    571.21     52.51     10.88   1000000         0
59.27/59.36	c       384       605    567.92     69.11      8.22   1000000         0
60.97/61.04	c       403       563    577.45     57.66     10.01   1000000         0
62.68/62.74	c       432       632    598.44     64.39      9.29   1000000         0
64.37/64.43	c       412       487    579.26     53.70     10.79   1000000         0
66.07/66.12	c       418       563    583.64     55.55     10.51   1000000         0
67.77/67.82	c       425       638    593.02     64.38      9.21   1000000         0
69.47/69.51	c       403       531    588.17     65.30      9.01   1000000         0
71.17/71.20	c       415       552    579.27     62.52      9.26   1000000         0
72.77/72.89	c       418       561    582.77     58.26     10.00   1000000         0
74.46/74.58	c       408       625    581.72     56.08     10.37   1000000         0
76.16/76.27	c       421       569    585.21     60.28      9.71   1000000         0
77.86/77.96	c       413       456    577.63     64.77      8.92   1000000         0
79.56/79.64	c       415       561    587.06     56.91     10.32   1000000         0
81.27/81.33	c       414       580    580.71     54.84     10.59   1000000         0
82.96/83.02	c       409       509    572.24     55.40     10.33   1000000         0
84.67/84.72	c       413       548    578.91     61.86      9.36   1000000         0
86.36/86.40	c       427       612    578.81     58.48      9.90   1000000         0
87.97/88.10	c       387       614    589.84     64.39      9.16   1000000         0
89.66/89.78	c       407       538    575.63     57.57     10.00   1000000         0
91.36/91.47	c       403       615    583.64     64.25      9.08   1000000         0
93.06/93.17	c       394       573    589.07     62.78      9.38   1000000         0
94.76/94.85	c       409       553    576.87     61.06      9.45   1000000         0
96.46/96.54	c       427       556    585.38     60.24      9.72   1000000         0
98.16/98.24	c       404       580    577.17     58.09      9.94   1000000         0
99.86/99.93	c       413       602    586.18     61.00      9.61   1000000         0
101.56/101.61	c       416       507    574.29     49.73     11.55   1000000         0
103.26/103.30	c       409       514    593.34     62.94      9.43   1000000         0
104.96/105.00	c       418       521    579.81     62.93      9.21   1000000         0
106.56/106.69	c       399       605    581.81     57.36     10.14   1000000         0
108.26/108.38	c       418       605    581.27     62.14      9.35   1000000         0
109.96/110.07	c       390       587    572.73     63.05      9.08   1000000         0
111.66/111.76	c       419       516    584.02     62.09      9.41   1000000         0
113.35/113.45	c       386       624    582.43     59.37      9.81   1000000         0
115.05/115.14	c       394       612    580.02     54.66     10.61   1000000         0
116.75/116.83	c       406       501    583.31     62.16      9.38   1000000         0
118.45/118.52	c       421       577    593.78     59.28     10.02   1000000         0
120.15/120.21	c       404       540    585.30     57.17     10.24   1000000         0
121.75/121.90	c       404       643    575.11     78.82      7.30   1000000         0
123.45/123.59	c       422       641    581.64     58.58      9.93   1000000         0
125.15/125.28	c       391       539    591.51     63.88      9.26   1000000         0
126.85/126.97	c       398       517    579.30     63.51      9.12   1000000         0
128.56/128.66	c       356       547    587.00     59.99      9.78   1000000         0
130.25/130.35	c       436       543    583.28     49.75     11.72   1000000         0
131.96/132.04	c       422       546    574.50     55.58     10.34   1000000         0
133.65/133.72	c       382       537    578.90     52.64     11.00   1000000         0
135.35/135.41	c       384       575    578.07     60.40      9.57   1000000         0
137.05/137.11	c       421       626    587.18     65.69      8.94   1000000         0
138.65/138.80	c       422       647    584.36     50.33     11.61   1000000         0
140.35/140.49	c       411       565    582.64     64.04      9.10   1000000         0
142.05/142.18	c       398       523    580.35     53.69     10.81   1000000         0
143.75/143.87	c       415       639    573.39     69.56      8.24   1000000         0
145.45/145.57	c       406       543    580.25     60.21      9.64   1000000         0
147.15/147.26	c       406       550    575.61     53.44     10.77   1000000         0
148.85/148.95	c       401       692    572.48     65.02      8.80   1000000         0
150.55/150.64	c       435       682    582.38     58.04     10.03   1000000         0
152.24/152.33	c       421       489    586.04     58.72      9.98   1000000         0
153.95/154.02	c       414       559    582.23     63.55      9.16   1000000         0
155.64/155.72	c       432       617    594.68     57.68     10.31   1000000         0
157.34/157.41	c       427       538    584.01     57.60     10.14   1000000         0
159.04/159.10	c       432       604    590.68     64.46      9.16   1000000         0
160.64/160.79	c       436       624    587.75     55.62     10.57   1000000         0
162.34/162.48	c       405       513    580.62     63.14      9.20   1000000         0
164.04/164.18	c       421       619    584.41     56.63     10.32   1000000         0
165.74/165.87	c       402       596    577.54     55.56     10.39   1000000         0
167.44/167.56	c       414       597    568.33     56.85     10.00   1000000         0
169.14/169.25	c       399       608    574.90     57.58      9.98   1000000         0
170.84/170.94	c       404       593    579.82     68.63      8.45   1000000         0
172.55/172.63	c       437       558    578.64     53.27     10.86   1000000         0
174.24/174.32	c       417       578    592.79     67.40      8.79   1000000         0
175.95/176.01	c       430       581    581.72     57.67     10.09   1000000         0
177.64/177.70	c       403       602    577.95     61.28      9.43   1000000         0
179.24/179.39	c       411       640    583.06     59.84      9.74   1000000         0
180.94/181.08	c       413       497    577.20     57.05     10.12   1000000         0
182.64/182.77	c       429       614    585.07     59.82      9.78   1000000         0
184.34/184.46	c       399       591    576.54     62.78      9.18   1000000         0
186.03/186.16	c       407       562    574.40     60.66      9.47   1000000         0
187.73/187.85	c       423       598    580.85     55.76     10.42   1000000         0
189.43/189.53	c       423       529    569.36     54.94     10.36   1000000         0
191.13/191.23	c       424       562    590.34     66.79      8.84   1000000         0
192.83/192.92	c       405       553    587.38     58.84      9.98   1000000         0
194.54/194.62	c       407       643    594.85     65.33      9.10   1000000         0
196.23/196.31	c       423       626    583.84     59.07      9.88   1000000         0
197.94/198.01	c       406       625    585.92     63.34      9.25   1000000         0
199.53/199.69	c       385       634    582.95     57.37     10.16   1000000         0
201.24/201.39	c       406       592    583.45     57.25     10.19   1000000         0
202.93/203.08	c       411       602    583.41     62.74      9.30   1000000         0
204.63/204.77	c       397       531    584.09     66.02      8.85   1000000         0
206.33/206.46	c       417       502    587.91     62.00      9.48   1000000         0
208.03/208.15	c       420       612    592.96     60.00      9.88   1000000         0
209.73/209.84	c       418       662    577.03     56.98     10.13   1000000         0
211.43/211.53	c       361       573    578.86     60.55      9.56   1000000         0
213.13/213.22	c       421       598    581.99     52.10     11.17   1000000         0
214.83/214.90	c       415       515    582.64     57.19     10.19   1000000         0
216.43/216.60	c       402       617    580.43     58.98      9.84   1000000         0
218.13/218.29	c       435       602    586.45     59.80      9.81   1000000         0
219.83/219.98	c       396       614    579.04     66.11      8.76   1000000         0
221.53/221.67	c       387       651    575.65     65.33      8.81   1000000         0
223.23/223.36	c       428       553    591.25     59.19      9.99   1000000         0
224.93/225.05	c       406       585    574.55     56.50     10.17   1000000         0
226.63/226.75	c       388       624    582.13     62.71      9.28   1000000         0
228.32/228.44	c       432       627    582.56     52.96     11.00   1000000         0
230.02/230.13	c       423       613    579.17     62.25      9.30   1000000         0
231.72/231.82	c       434       599    588.04     55.12     10.67   1000000         0
233.42/233.52	c       407       584    591.03     66.83      8.84   1000000         0
235.12/235.21	c       420       466    595.92     68.08      8.75   1000000         0
236.82/236.90	c       429       674    593.04     60.17      9.86   1000000         0
238.42/238.59	c       391       644    582.97     60.71      9.60   1000000         0
240.12/240.28	c       426       526    587.11     55.90     10.50   1000000         0
241.83/241.97	c       420       527    582.92     62.38      9.34   1000000         0
243.52/243.67	c       410       553    584.55     57.81     10.11   1000000         0
245.23/245.35	c       400       566    577.57     62.43      9.25   1000000         0
246.92/247.05	c       424       574    585.52     62.51      9.37   1000000         0
248.62/248.72	c       388       611    564.67     57.70      9.79   1000000         0
250.32/250.41	c       415       497    582.52     60.18      9.68   1000000         0
252.02/252.10	c       381       541    568.86     61.25      9.29   1000000         0
253.62/253.79	c       403       613    592.50     61.72      9.60   1000000         0
255.32/255.49	c       395       557    581.60     60.17      9.67   1000000         0
257.02/257.18	c       401       575    583.87     61.48      9.50   1000000         0
258.72/258.87	c       415       533    592.46     64.94      9.12   1000000         0
260.42/260.56	c       412       525    582.44     57.16     10.19   1000000         0
262.12/262.25	c       392       631    580.27     67.10      8.65   1000000         0
263.82/263.94	c       419       620    584.48     57.88     10.10   1000000         0
265.52/265.63	c       376       531    574.98     58.77      9.78   1000000         0
267.22/267.31	c       417       652    580.33     56.37     10.30   1000000         0
268.92/269.01	c       408       648    587.20     62.19      9.44   1000000         0
270.61/270.70	c       374       601    582.17     62.46      9.32   1000000         0
272.21/272.39	c       423       626    581.99     57.85     10.06   1000000         0
273.91/274.08	c       430       687    583.76     57.86     10.09   1000000         0
275.61/275.77	c       376       612    581.36     65.74      8.84   1000000         0
277.31/277.47	c       419       537    585.89     68.29      8.58   1000000         0
279.01/279.16	c       411       598    577.63     58.73      9.83   1000000         0
280.71/280.85	c       419       661    586.46     58.16     10.08   1000000         0
282.41/282.55	c       397       602    587.52     62.54      9.39   1000000         0
284.11/284.24	c       418       470    591.76     73.17      8.09   1000000         0
285.82/285.93	c       399       543    580.23     60.06      9.66   1000000         0
287.51/287.62	c       407       617    586.68     63.91      9.18   1000000         0
289.22/289.31	c       417       604    579.91     59.22      9.79   1000000         0
290.91/291.00	c       377       517    576.15     63.09      9.13   1000000         0
292.52/292.69	c       395       582    586.33     58.98      9.94   1000000         0
294.21/294.38	c       427       539    587.11     53.92     10.89   1000000         0
295.91/296.07	c       416       602    582.20     61.47      9.47   1000000         0
297.62/297.76	c       403       495    579.96     57.58     10.07   1000000         0
299.32/299.46	c       417       625    581.20     67.95      8.55   1000000         0
301.02/301.15	c       415       555    573.32     54.67     10.49   1000000         0
302.72/302.84	c       427       667    585.62     57.39     10.20   1000000         0
304.42/304.53	c       397       570    581.78     65.34      8.90   1000000         0
306.12/306.22	c       439       516    587.22     53.63     10.95   1000000         0
307.82/307.91	c       416       633    587.50     62.75      9.36   1000000         0
309.51/309.60	c       412       556    581.09     57.27     10.15   1000000         0
311.12/311.29	c       390       647    579.94     57.08     10.16   1000000         0
312.81/312.98	c       398       655    583.41     60.79      9.60   1000000         0
314.52/314.67	c       403       677    573.55     58.50      9.80   1000000         0
316.21/316.36	c       376       597    582.34     60.89      9.56   1000000         0
317.91/318.06	c       402       631    586.42     63.95      9.17   1000000         0
319.61/319.75	c       410       516    582.76     62.51      9.32   1000000         0
321.31/321.44	c       424       564    593.33     67.93      8.73   1000000         0
323.01/323.13	c       403       616    585.15     69.33      8.44   1000000         0
324.71/324.83	c       398       595    584.68     64.68      9.04   1000000         0
326.41/326.51	c       370       606    575.99     61.45      9.37   1000000         0
328.11/328.20	c       400       593    571.73     58.71      9.74   1000000         0
329.71/329.89	c       407       559    584.03     63.63      9.18   1000000         0
331.41/331.58	c       389       646    570.09     55.54     10.26   1000000         0
333.12/333.27	c       402       533    574.43     56.27     10.21   1000000         0
334.81/334.96	c       411       566    576.87     55.13     10.46   1000000         0
336.52/336.65	c       394       475    585.74     60.01      9.76   1000000         0
338.21/338.34	c       395       458    576.97     56.31     10.25   1000000         0
339.91/340.02	c       399       584    577.41     63.45      9.10   1000000         0
341.61/341.71	c       403       550    584.53     58.04     10.07   1000000         0
343.31/343.40	c       405       554    588.26     56.61     10.39   1000000         0
345.01/345.10	c       413       569    584.56     61.91      9.44   1000000         0
346.61/346.79	c       416       588    591.26     64.65      9.15   1000000         0
348.31/348.48	c       399       524    573.72     58.05      9.88   1000000         0
350.00/350.17	c       401       565    577.03     53.92     10.70   1000000         0
351.70/351.86	c       413       498    578.36     60.11      9.62   1000000         0
353.40/353.56	c       392       613    581.83     64.16      9.07   1000000         0
355.11/355.25	c       430       567    586.62     49.82     11.77   1000000         0
356.80/356.94	c       405       586    601.26     62.16      9.67   1000000         0
358.51/358.63	c       410       555    580.42     59.81      9.70   1000000         0
360.20/360.32	c       393       549    577.48     57.97      9.96   1000000         0
361.90/362.01	c       405       583    566.40     62.74      9.03   1000000         0
363.60/363.71	c       408       569    591.38     62.08      9.53   1000000         0
365.30/365.40	c       407       599    574.99     64.35      8.94   1000000         0
366.90/367.09	c       421       615    591.13     62.60      9.44   1000000         0
368.60/368.78	c       407       599    586.72     58.66     10.00   1000000         0
370.30/370.47	c       394       646    580.72     60.28      9.63   1000000         0
372.00/372.15	c       357       588    575.97     58.66      9.82   1000000         0
373.70/373.84	c       399       564    576.60     59.80      9.64   1000000         0
375.40/375.53	c       361       601    578.33     64.47      8.97   1000000         0
377.10/377.22	c       409       592    579.83     58.48      9.91   1000000         0
378.80/378.91	c       412       576    583.45     63.02      9.26   1000000         0
380.50/380.60	c       408       651    578.27     61.78      9.36   1000000         0
382.10/382.30	c       423       552    586.04     55.23     10.61   1000000         0
383.80/383.99	c       377       543    586.14     64.30      9.12   1000000         0
385.50/385.67	c       410       512    573.31     60.85      9.42   1000000         0
387.20/387.36	c       369       599    583.53     59.27      9.84   1000000         0
388.89/389.06	c       411       690    589.46     60.45      9.75   1000000         0
390.59/390.75	c       443       548    589.79     53.12     11.10   1000000         0
392.29/392.43	c       410       584    587.03     60.19      9.75   1000000         0
393.99/394.12	c       400       470    582.37     57.57     10.12   1000000         0
395.69/395.81	c       416       606    582.01     56.68     10.27   1000000         0
397.39/397.50	c       415       679    580.06     56.81     10.21   1000000         0
398.99/399.19	c       438       552    586.59     57.25     10.25   1000000         0
400.69/400.88	c       402       534    573.00     57.89      9.90   1000000         0
402.40/402.57	c       421       522    577.23     61.81      9.34   1000000         0
404.09/404.26	c       420       556    580.57     61.59      9.43   1000000         0
405.80/405.95	c       412       628    581.35     62.58      9.29   1000000         0
407.49/407.65	c       394       523    590.35     65.15      9.06   1000000         0
409.19/409.35	c       423       602    584.70     64.90      9.01   1000000         0
410.89/411.03	c       414       597    577.05     58.41      9.88   1000000         0
412.59/412.73	c       431       596    582.99     59.29      9.83   1000000         0
414.29/414.42	c       405       643    579.42     62.24      9.31   1000000         0
415.99/416.11	c       393       563    582.77     62.75      9.29   1000000         0
417.69/417.81	c       396       652    586.97     63.84      9.19   1000000         0
419.39/419.50	c       359       599    576.16     78.20      7.37   1000000         0
420.99/421.19	c       411       596    587.20     53.49     10.98   1000000         0
422.69/422.88	c       408       580    579.97     63.07      9.20   1000000         0
424.39/424.57	c       411       661    578.04     58.12      9.95   1000000         0
426.08/426.25	c       397       636    581.78     64.00      9.09   1000000         0
427.79/427.94	c       406       525    577.93     57.99      9.97   1000000         0
429.48/429.63	c       420       598    588.56     60.95      9.66   1000000         0
431.18/431.32	c       432       603    583.08     62.24      9.37   1000000         0
432.88/433.01	c       398       556    586.43     61.66      9.51   1000000         0
434.58/434.70	c       404       545    579.61     57.27     10.12   1000000         0
436.18/436.40	c       402       578    579.85     61.65      9.40   1000000         0
437.88/438.08	c       404       495    582.98     57.51     10.14   1000000         0
439.58/439.77	c       400       484    584.96     60.14      9.73   1000000         0
441.28/441.46	c       435       680    588.39     55.24     10.65   1000000         0
442.98/443.15	c       415       589    577.05     54.51     10.59   1000000         0
444.68/444.85	c       368       648    583.67     60.77      9.60   1000000         0
446.39/446.54	c       382       569    581.11     65.09      8.93   1000000         0
448.08/448.23	c       409       534    577.28     56.54     10.21   1000000         0
449.79/449.92	c       400       578    575.74     55.60     10.36   1000000         0
451.48/451.61	c       386       514    582.18     71.13      8.18   1000000         0
453.18/453.30	c       405       552    579.37     61.14      9.48   1000000         0
454.78/454.99	c       397       549    592.04     60.34      9.81   1000000         0
456.48/456.69	c       435       583    586.32     62.45      9.39   1000000         0
458.18/458.38	c       410       635    592.77     55.64     10.65   1000000         0
459.88/460.07	c       421       553    578.16     64.98      8.90   1000000         0
461.58/461.76	c       367       647    576.53     60.37      9.55   1000000         0
463.28/463.45	c       380       528    586.33     65.42      8.96   1000000         0
464.98/465.14	c       407       623    577.39     53.26     10.84   1000000         0
466.67/466.83	c       421       669    590.30     60.57      9.75   1000000         0
468.38/468.52	c       383       550    577.54     60.17      9.60   1000000         0
470.07/470.21	c       429       483    579.52     59.24      9.78   1000000         0
471.68/471.90	c       411       541    580.28     57.61     10.07   1000000         0
473.37/473.59	c       389       684    576.18     59.63      9.66   1000000         0
475.08/475.28	c       421       580    588.80     64.27      9.16   1000000         0
476.77/476.98	c       401       571    582.96     67.95      8.58   1000000         0
478.47/478.66	c       398       590    577.71     54.97     10.51   1000000         0
480.17/480.36	c       372       696    590.15     59.42      9.93   1000000         0
481.87/482.04	c       352       607    574.47     55.39     10.37   1000000         0
483.57/483.74	c       412       639    584.65     62.50      9.35   1000000         0
485.27/485.43	c       426       646    581.68     62.87      9.25   1000000         0
486.97/487.12	c       415       507    570.13     68.52      8.32   1000000         0
488.67/488.81	c       414       519    576.83     60.16      9.59   1000000         0
490.38/490.50	c       425       595    592.65     60.52      9.79   1000000         0
491.97/492.20	c       433       628    584.65     61.83      9.46   1000000         0
493.67/493.89	c       377       625    577.63     58.17      9.93   1000000         0
495.37/495.58	c       405       650    565.18     64.93      8.70   1000000         0
497.07/497.27	c       408       508    585.38     54.81     10.68   1000000         0
498.77/498.96	c       417       567    581.87     56.49     10.30   1000000         0
500.47/500.64	c       398       565    572.62     57.57      9.95   1000000         0
502.17/502.33	c       408       565    583.24     60.07      9.71   1000000         0
503.87/504.02	c       395       580    588.76     66.32      8.88   1000000         0
505.57/505.72	c       411       588    590.84     65.02      9.09   1000000         0
507.26/507.41	c       388       589    591.06     58.95     10.03   1000000         0
508.96/509.10	c       385       534    588.13     63.13      9.32   1000000         0
510.56/510.79	c       405       679    592.35     59.65      9.93   1000000         0
512.26/512.49	c       406       625    576.55     60.35      9.55   1000000         0
513.96/514.17	c       426       507    578.04     49.16     11.76   1000000         0
515.67/515.87	c       394       584    580.38     59.87      9.69   1000000         0
517.36/517.55	c       412       633    575.61     51.55     11.17   1000000         0
519.07/519.25	c       435       540    587.39     57.91     10.14   1000000         0
520.76/520.94	c       421       517    578.45     61.58      9.39   1000000         0
522.46/522.63	c       411       634    586.18     58.31     10.05   1000000         0
524.16/524.32	c       413       565    577.89     62.74      9.21   1000000         0
525.86/526.01	c       409       485    584.51     57.82     10.11   1000000         0
527.56/527.70	c       414       525    588.01     60.99      9.64   1000000         0
529.26/529.40	c       426       587    594.93     61.41      9.69   1000000         0
530.86/531.09	c       435       604    593.33     71.36      8.31   1000000         0
532.56/532.78	c       408       574    581.15     62.75      9.26   1000000         0
534.26/534.47	c       416       626    592.53     56.87     10.42   1000000         0
535.96/536.16	c       423       488    584.22     63.65      9.18   1000000         0
537.66/537.84	c       429       503    577.81     52.78     10.95   1000000         0
539.36/539.53	c       415       530    580.97     65.05      8.93   1000000         0
541.06/541.21	c       405       520    583.88     67.61      8.64   1000000         0
542.76/542.90	c       367       608    576.49     57.17     10.08   1000000         0
544.36/544.59	c       390       537    594.61     68.52      8.68   1000000         0
546.05/546.28	c       403       638    585.59     63.26      9.26   1000000         0
547.76/547.97	c       377       630    577.35     55.35     10.43   1000000         0
549.46/549.65	c       412       530    585.84     61.05      9.60   1000000         0
551.16/551.34	c       394       464    585.78     59.70      9.81   1000000         0
552.85/553.03	c       438       522    585.85     52.43     11.17   1000000         0
554.55/554.72	c       418       549    595.50     52.82     11.27   1000000         0
556.25/556.41	c       374       640    576.73     53.44     10.79   1000000         0
557.85/558.10	c       411       592    580.85     58.30      9.96   1000000         0
559.55/559.78	c       414       562    573.77     66.78      8.59   1000000         0
561.25/561.47	c       395       551    579.26     58.26      9.94   1000000         0
562.96/563.16	c       405       677    580.30     68.29      8.50   1000000         0
564.65/564.85	c       397       556    590.69     58.77     10.05   1000000         0
566.36/566.54	c       412       585    598.05     61.48      9.73   1000000         0
568.05/568.22	c       405       670    577.69     57.23     10.09   1000000         0
569.75/569.91	c       424       545    587.88     60.07      9.79   1000000         0
571.45/571.60	c       416       623    577.98     67.91      8.51   1000000         0
573.15/573.30	c       419       601    583.26     69.51      8.39   1000000         0
574.75/574.98	c       409       613    577.16     57.63     10.01   1000000         0
576.45/576.68	c       414       587    588.85     60.49      9.74   1000000         0
578.15/578.37	c       418       484    587.30     59.04      9.95   1000000         0
579.85/580.05	c       417       605    583.16     54.75     10.65   1000000         0
581.55/581.75	c       412       632    581.99     60.44      9.63   1000000         0
583.25/583.43	c       379       578    581.08     62.90      9.24   1000000         0
584.95/585.12	c       412       448    582.78     58.47      9.97   1000000         0
586.64/586.81	c       400       477    589.10     65.63      8.98   1000000         0
588.25/588.50	c       402       610    587.13     59.49      9.87   1000000         0
589.94/590.18	c       357       654    580.95     53.84     10.79   1000000         0
591.65/591.87	c       416       611    577.89     56.84     10.17   1000000         0
593.34/593.56	c       349       568    584.68     66.25      8.83   1000000         0
595.04/595.25	c       404       611    581.50     59.11      9.84   1000000         0
596.74/596.94	c       433       485    586.65     63.65      9.22   1000000         0
598.44/598.63	c       400       591    580.18     58.29      9.95   1000000         0
600.14/600.32	c       435       581    583.10     59.14      9.86   1000000         0
601.84/602.01	c       422       558    580.29     59.85      9.70   1000000         0
603.44/603.69	c       419       570    583.04     63.38      9.20   1000000         0
605.14/605.38	c       406       712    582.47     61.91      9.41   1000000         0
606.84/607.07	c       419       587    573.29     63.64      9.01   1000000         0
608.54/608.76	c       409       586    585.26     69.55      8.41   1000000         0
610.25/610.45	c       419       595    584.15     58.71      9.95   1000000         0
611.94/612.13	c       414       615    576.68     61.42      9.39   1000000         0
613.65/613.82	c       380       597    585.31     71.50      8.19   1000000         0
615.34/615.51	c       412       625    591.70     64.77      9.14   1000000         0
617.04/617.20	c       409       594    579.19     66.66      8.69   1000000         0
618.64/618.89	c       412       533    587.92     68.39      8.60   1000000         0
620.34/620.58	c       410       619    587.39     61.04      9.62   1000000         0
622.04/622.27	c       420       674    582.12     65.31      8.91   1000000         0
623.74/623.96	c       415       654    580.85     60.70      9.57   1000000         0
625.44/625.65	c       397       550    575.82     55.97     10.29   1000000         0
627.14/627.34	c       404       564    579.75     63.96      9.06   1000000         0
628.84/629.04	c       406       630    587.91     62.50      9.41   1000000         0
630.53/630.72	c       394       613    573.92     67.28      8.53   1000000         0
632.24/632.41	c       417       559    580.16     61.15      9.49   1000000         0
633.93/634.10	c       401       626    595.07     67.40      8.83   1000000         0
635.54/635.79	c       413       574    588.11     58.43     10.07   1000000         0
637.23/637.48	c       407       589    569.60     55.78     10.21   1000000         0
638.94/639.16	c       412       593    585.55     58.30     10.04   1000000         0
640.63/640.86	c       402       461    587.69     58.58     10.03   1000000         0
642.33/642.56	c       421       614    587.46     66.31      8.86   1000000         0
644.03/644.24	c       412       494    578.20     50.48     11.46   1000000         0
645.73/645.93	c       415       677    595.43     61.84      9.63   1000000         0
647.43/647.61	c       384       551    581.74     56.98     10.21   1000000         0
649.13/649.31	c       420       613    575.89     62.48      9.22   1000000         0
650.73/651.00	c       427       562    591.56     58.65     10.09   1000000         0
652.43/652.69	c       359       648    581.92     61.18      9.51   1000000         0
654.13/654.38	c       408       597    583.86     61.49      9.50   1000000         0
655.83/656.07	c       421       653    582.92     65.87      8.85   1000000         0
657.54/657.76	c       429       527    590.82     67.95      8.69   1000000         0
659.23/659.45	c       415       534    581.30     57.69     10.08   1000000         0
660.93/661.13	c       404       580    593.15     65.04      9.12   1000000         0
662.63/662.83	c       425       646    588.75     61.41      9.59   1000000         0
664.33/664.51	c       386       497    580.73     55.68     10.43   1000000         0
666.03/666.20	c       381       530    576.16     59.11      9.75   1000000         0
667.63/667.89	c       381       614    587.48     59.91      9.81   1000000         0
669.33/669.58	c       437       550    580.14     61.90      9.37   1000000         0
671.02/671.27	c       382       626    578.01     61.07      9.46   1000000         0
672.72/672.96	c       388       513    577.35     65.10      8.87   1000000         0
674.42/674.65	c       431       647    577.52     66.67      8.66   1000000         0
676.12/676.34	c       398       618    576.12     62.65      9.20   1000000         0
677.82/678.02	c       399       688    584.09     60.56      9.64   1000000         0
679.53/679.71	c       403       610    582.15     62.89      9.26   1000000         0
681.22/681.40	c       402       560    585.53     61.90      9.46   1000000         0
682.83/683.09	c       401       686    596.06     72.60      8.21   1000000         0
684.52/684.78	c       419       613    580.24     61.36      9.46   1000000         0
686.23/686.48	c       423       559    588.26     61.50      9.56   1000000         0
687.92/688.16	c       401       628    584.18     68.16      8.57   1000000         0
689.62/689.85	c       418       607    577.09     62.85      9.18   1000000         0
691.32/691.54	c       410       612    582.65     65.22      8.93   1000000         0
693.02/693.23	c       415       570    586.97     55.39     10.60   1000000         0
694.72/694.91	c       402       528    579.09     55.42     10.45   1000000         0
696.42/696.60	c       409       575    585.96     64.09      9.14   1000000         0
698.02/698.29	c       420       593    579.70     62.74      9.24   1000000         0
699.72/699.98	c       415       641    579.85     64.40      9.00   1000000         0
701.42/701.67	c       401       623    575.95     52.56     10.96   1000000         0
703.12/703.37	c       402       522    590.55     59.78      9.88   1000000         0
704.82/705.04	c       385       558    573.07     62.12      9.23   1000000         0
706.52/706.74	c       420       555    589.57     63.95      9.22   1000000         0
708.22/708.43	c       405       530    583.22     66.78      8.73   1000000         0
709.92/710.11	c       391       607    576.35     64.32      8.96   1000000         0
711.52/711.79	c       418       544    575.89     55.62     10.35   1000000         0
713.21/713.48	c       422       560    591.20     54.89     10.77   1000000         0
714.91/715.17	c       414       676    581.67     53.10     10.95   1000000         0
716.61/716.86	c       415       632    591.42     58.59     10.10   1000000         0
718.31/718.54	c       415       650    577.29     60.48      9.55   1000000         0
720.01/720.24	c       421       571    590.47     61.03      9.68   1000000         0
721.71/721.93	c       396       614    586.18     69.34      8.45   1000000         0
723.41/723.62	c       418       553    571.10     54.80     10.42   1000000         0
725.11/725.31	c       406       499    589.92     64.11      9.20   1000000         0
726.71/726.99	c       415       647    576.86     58.42      9.87   1000000         0
728.41/728.68	c       411       570    581.26     65.43      8.88   1000000         0
730.12/730.36	c       368       482    583.61     59.72      9.77   1000000         0
731.81/732.05	c       413       624    592.16     76.13      7.78   1000000         0
733.52/733.74	c       389       475    573.49     56.75     10.11   1000000         0
735.21/735.42	c       450       614    592.40     59.47      9.96   1000000         0
736.91/737.11	c       388       625    579.88     59.52      9.74   1000000         0
738.61/738.80	c       424       535    587.60     63.40      9.27   1000000         0
740.21/740.49	c       409       555    593.56     66.14      8.97   1000000         0
741.91/742.18	c       400       557    580.34     59.93      9.68   1000000         0
743.61/743.88	c       412       641    578.66     61.45      9.42   1000000         0
745.31/745.56	c       425       603    582.24     57.72     10.09   1000000         0
747.01/747.26	c       397       536    570.84     60.81      9.39   1000000         0
748.70/748.95	c       435       645    578.83     58.56      9.88   1000000         0
750.40/750.63	c       395       639    586.41     65.28      8.98   1000000         0
752.11/752.33	c       415       675    587.99     59.96      9.81   1000000         0
753.80/754.02	c       395       602    577.53     64.70      8.93   1000000         0
755.51/755.71	c       391       597    577.44     63.47      9.10   1000000         0
757.20/757.40	c       411       576    585.63     62.73      9.34   1000000         0
758.81/759.09	c       396       640    584.36     62.26      9.39   1000000         0
760.50/760.77	c       408       570    572.60     56.10     10.21   1000000         0
762.20/762.47	c       386       629    586.30     68.38      8.57   1000000         0
763.90/764.16	c       427       602    576.06     51.40     11.21   1000000         0
765.60/765.85	c       400       502    576.43     57.00     10.11   1000000         0
767.30/767.54	c       407       595    584.56     58.75      9.95   1000000         0
769.00/769.23	c       381       556    581.80     55.89     10.41   1000000         0
770.70/770.92	c       432       575    581.62     66.23      8.78   1000000         0
772.40/772.61	c       425       535    583.53     69.53      8.39   1000000         0
774.11/774.30	c       407       574    580.23     64.08      9.05   1000000         0
775.70/775.99	c       420       635    584.08     64.98      8.99   1000000         0
777.40/777.69	c       429       589    592.14     56.73     10.44   1000000         0
779.10/779.37	c       392       583    585.96     66.58      8.80   1000000         0
780.81/781.06	c       419       626    580.37     61.98      9.36   1000000         0
782.50/782.74	c       401       562    572.40     58.54      9.78   1000000         0
784.20/784.43	c       419       575    583.79     68.18      8.56   1000000         0
785.90/786.12	c       389       594    581.87     64.69      8.99   1000000         0
787.60/787.81	c       410       505    586.25     79.69      7.36   1000000         0
789.30/789.51	c       399       538    576.96     55.66     10.37   1000000         0
790.89/791.20	c       399       549    579.02     64.17      9.02   1000000         0
792.59/792.89	c       431       527    587.48     60.98      9.63   1000000         0
794.29/794.57	c       346       623    569.92     56.45     10.10   1000000         0
795.99/796.26	c       396       510    582.60     64.21      9.07   1000000         0
797.69/797.95	c       425       606    582.01     57.51     10.12   1000000         0
799.40/799.64	c       405       588    591.81     70.60      8.38   1000000         0
801.09/801.32	c       443       583    585.38     58.75      9.96   1000000         0
802.80/803.01	c       417       655    582.50     60.49      9.63   1000000         0
804.39/804.69	c       410       730    578.50     56.63     10.22   1000000         0
806.10/806.38	c       417       536    590.82     61.41      9.62   1000000         0
807.79/808.07	c       404       583    579.83     60.82      9.53   1000000         0
809.49/809.75	c       406       621    583.26     58.52      9.97   1000000         0
811.19/811.44	c       429       536    581.92     59.60      9.76   1000000         0
812.89/813.13	c       405       533    567.84     58.87      9.65   1000000         0
814.59/814.82	c       434       591    592.85     64.44      9.20   1000000         0
816.29/816.51	c       407       526    585.25     59.61      9.82   1000000         0
817.89/818.19	c       406       591    581.86     56.87     10.23   1000000         0
819.59/819.88	c       405       607    583.00     66.44      8.78   1000000         0
821.29/821.57	c       427       507    588.11     55.89     10.52   1000000         0
822.99/823.25	c       422       575    573.31     62.78      9.13   1000000         0
824.69/824.94	c       419       501    584.08     56.98     10.25   1000000         0
826.39/826.63	c       395       618    587.35     67.10      8.75   1000000         0
828.09/828.31	c       401       632    582.04     59.05      9.86   1000000         0
829.79/830.00	c       386       527    582.03     72.49      8.03   1000000         0
831.49/831.70	c       410       644    591.44     64.77      9.13   1000000         0
833.09/833.39	c       395       582    578.72     56.96     10.16   1000000         0
834.78/835.07	c       408       587    582.69     59.06      9.87   1000000         0
836.48/836.76	c       414       536    579.54     55.94     10.36   1000000         0
838.18/838.45	c       412       547    580.71     61.68      9.42   1000000         0
839.88/840.14	c       412       472    591.69     63.86      9.26   1000000         0
841.58/841.83	c       417       591    588.38     60.14      9.78   1000000         0
843.28/843.53	c       390       562    575.89     57.24     10.06   1000000         0
844.98/845.22	c       393       621    585.29     64.96      9.01   1000000         0
846.69/846.91	c       409       606    578.15     55.66     10.39   1000000         0
848.28/848.59	c       420       556    579.00     55.41     10.45   1000000         0
849.99/850.29	c       404       607    589.44     61.57      9.57   1000000         0
851.68/851.98	c       379       527    578.64     61.56      9.40   1000000         0
853.39/853.67	c       423       516    590.98     57.83     10.22   1000000         0
855.08/855.36	c       418       582    578.03     60.68      9.53   1000000         0
856.78/857.04	c       407       571    570.75     61.97      9.21   1000000         0
858.48/858.73	c       398       634    572.70     60.96      9.40   1000000         0
860.18/860.41	c       402       563    571.13     51.28     11.14   1000000         0
861.88/862.10	c       414       571    586.13     57.45     10.20   1000000         0
863.48/863.79	c       392       529    574.63     56.81     10.11   1000000         0
865.18/865.48	c       417       583    586.60     69.02      8.50   1000000         0
866.88/867.17	c       429       581    580.84     61.18      9.49   1000000         0
868.58/868.86	c       383       558    575.94     55.50     10.38   1000000         0
870.28/870.54	c       406       494    584.47     56.46     10.35   1000000         0
871.98/872.23	c       404       515    586.99     64.58      9.09   1000000         0
873.68/873.91	c       401       645    573.19     56.73     10.10   1000000         0
875.28/875.60	c       408       567    585.25     62.80      9.32   1000000         0
876.97/877.29	c       389       578    573.35     61.83      9.27   1000000         0
878.68/878.97	c       419       526    584.77     69.69      8.39   1000000         0
880.37/880.67	c       416       532    584.74     61.72      9.47   1000000         0
882.07/882.36	c       425       569    580.73     56.00     10.37   1000000         0
883.77/884.04	c       405       595    577.70     60.98      9.47   1000000         0
885.47/885.73	c       431       627    589.76     56.56     10.43   1000000         0
887.17/887.43	c       398       606    584.78     58.89      9.93   1000000         0
888.87/889.11	c       445       595    598.16     58.88     10.16   1000000         0
890.57/890.80	c       413       630    583.54     62.08      9.40   1000000         0
892.17/892.49	c       416       500    588.88     60.13      9.79   1000000         0
893.87/894.17	c       362       624    577.55     60.81      9.50   1000000         0
895.57/895.86	c       414       499    578.08     55.36     10.44   1000000         0
897.27/897.56	c       401       575    583.66     67.21      8.68   1000000         0
898.97/899.24	c       398       531    579.15     56.40     10.27   1000000         0
900.68/900.93	c       412       475    567.71     51.52     11.02   1000000         0
902.37/902.62	c       376       577    581.79     61.85      9.41   1000000         0
904.07/904.31	c       412       637    589.15     68.38      8.62   1000000         0
905.77/906.00	c       403       570    585.83     56.65     10.34   1000000         0
907.37/907.69	c       416       610    573.01     54.42     10.53   1000000         0
909.07/909.38	c       407       596    582.60     55.82     10.44   1000000         0
910.77/911.07	c       414       595    581.38     57.45     10.12   1000000         0
912.46/912.76	c       421       627    590.32     58.75     10.05   1000000         0
914.16/914.45	c       399       626    574.53     68.25      8.42   1000000         0
915.86/916.14	c       379       570    583.36     60.39      9.66   1000000         0
917.56/917.83	c       417       581    586.99     50.68     11.58   1000000         0
919.27/919.52	c       408       574    580.48     61.78      9.40   1000000         0
920.96/921.20	c       408       604    564.33     55.90     10.09   1000000         0
922.57/922.89	c       418       536    587.36     57.94     10.14   1000000         0
924.26/924.58	c       405       558    585.87     61.29      9.56   1000000         0
925.97/926.27	c       435       602    596.70     67.74      8.81   1000000         0
927.66/927.96	c       387       608    568.47     65.29      8.71   1000000         0
929.36/929.64	c       414       579    574.54     63.60      9.03   1000000         0
931.06/931.33	c       434       568    587.62     60.76      9.67   1000000         0
932.76/933.02	c       412       589    591.14     58.45     10.11   1000000         0
934.46/934.71	c       408       647    589.60     62.41      9.45   1000000         0
936.06/936.39	c       409       530    576.56     63.13      9.13   1000000         0
937.76/938.09	c       420       638    579.75     58.90      9.84   1000000         0
939.46/939.77	c       417       526    588.05     67.53      8.71   1000000         0
941.16/941.46	c       427       555    589.77     56.40     10.46   1000000         0
942.86/943.14	c       419       498    574.03     56.91     10.09   1000000         0
944.56/944.83	c       408       544    583.67     63.26      9.23   1000000         0
946.26/946.52	c       399       643    581.07     70.20      8.28   1000000         0
947.96/948.21	c       430       614    585.78     55.02     10.65   1000000         0
949.66/949.90	c       414       596    584.97     58.48     10.00   1000000         0
951.26/951.58	c       419       527    579.77     58.13      9.97   1000000         0
952.96/953.27	c       413       559    586.79     60.80      9.65   1000000         0
954.65/954.97	c       402       617    587.37     61.93      9.48   1000000         0
956.35/956.66	c       404       555    569.20     52.95     10.75   1000000         0
958.05/958.35	c       394       475    596.54     69.14      8.63   1000000         0
959.75/960.04	c       411       632    575.30     52.50     10.96   1000000         0
961.45/961.73	c       391       602    584.76     67.27      8.69   1000000         0
963.15/963.41	c       401       475    587.36     64.97      9.04   1000000         0
964.85/965.10	c       420       548    572.70     64.51      8.88   1000000         0
966.56/966.80	c       413       537    592.79     58.53     10.13   1000000         0
968.15/968.49	c       386       587    584.24     62.68      9.32   1000000         0
969.86/970.17	c       395       553    583.24     65.10      8.96   1000000         0
971.55/971.86	c       423       580    582.86     62.70      9.30   1000000         0
973.26/973.55	c       420       609    581.21     58.38      9.96   1000000         0
974.95/975.24	c       412       631    593.55     57.69     10.29   1000000         0
976.65/976.93	c       400       575    579.75     61.24      9.47   1000000         0
978.35/978.62	c       419       625    585.61     57.09     10.26   1000000         0
980.05/980.30	c       374       537    578.40     62.56      9.25   1000000         0
981.75/982.00	c       426       568    581.81     65.34      8.90   1000000         0
983.35/983.68	c       387       548    572.41     65.67      8.72   1000000         0
985.05/985.37	c       392       535    587.38     61.05      9.62   1000000         0
986.75/987.06	c       418       549    588.73     60.01      9.81   1000000         0
988.45/988.75	c       429       561    589.51     60.82      9.69   1000000         0
990.15/990.44	c       422       488    576.24     63.73      9.04   1000000         0
991.85/992.13	c       392       655    580.45     61.19      9.49   1000000         0
993.54/993.82	c       416       563    581.98     52.97     10.99   1000000         0
995.25/995.51	c       394       596    573.74     55.74     10.29   1000000         0
996.94/997.21	c       424       625    584.73     60.19      9.71   1000000         0
998.64/998.90	c       388       489    582.43     62.89      9.26   1000000         0
1000.24/1000.58	c       419       568    588.79     59.84      9.84   1000000         0
1001.94/1002.27	c       415       564    587.43     65.36      8.99   1000000         0
1003.64/1003.96	c       406       631    577.86     58.39      9.90   1000000         0
1005.34/1005.65	c       393       542    576.46     64.09      8.99   1000000         0
1007.04/1007.34	c       416       550    594.09     67.76      8.77   1000000         0
1008.74/1009.03	c       393       550    580.19     65.04      8.92   1000000         0
1010.44/1010.72	c       414       575    586.63     60.01      9.78   1000000         0
1012.14/1012.40	c       418       494    585.66     67.92      8.62   1000000         0
1013.74/1014.09	c       400       534    577.42     61.90      9.33   1000000         0
1015.44/1015.78	c       435       565    585.78     64.12      9.14   1000000         0
1017.15/1017.48	c       406       544    584.34     68.52      8.53   1000000         0
1018.84/1019.16	c       413       666    574.37     57.91      9.92   1000000         0
1020.55/1020.85	c       410       594    578.94     61.80      9.37   1000000         0
1022.24/1022.53	c       410       553    587.99     58.31     10.08   1000000         0
1023.94/1024.22	c       399       587    579.59     58.88      9.84   1000000         0
1025.64/1025.91	c       379       656    593.72     58.60     10.13   1000000         0
1027.24/1027.59	c       436       619    580.37     52.76     11.00   1000000         0
1028.94/1029.28	c       408       516    578.12     54.03     10.70   1000000         0
1030.64/1030.97	c       427       534    584.20     64.13      9.11   1000000         0
1032.34/1032.65	c       427       611    591.38     51.84     11.41   1000000         0
1034.03/1034.33	c       403       559    569.56     56.01     10.17   1000000         0
1035.73/1036.02	c       407       597    581.41     61.05      9.52   1000000         0
1037.43/1037.71	c       407       592    590.55     71.01      8.32   1000000         0
1039.14/1039.40	c       395       647    577.82     54.75     10.55   1000000         0
1040.73/1041.09	c       407       553    592.12     65.45      9.05   1000000         0
1042.44/1042.78	c       422       618    580.94     60.32      9.63   1000000         0
1044.13/1044.46	c       409       597    577.50     53.03     10.89   1000000         0
1045.84/1046.15	c       418       559    582.42     54.57     10.67   1000000         0
1047.53/1047.84	c       402       647    587.66     69.23      8.49   1000000         0
1049.23/1049.53	c       414       672    581.28     59.98      9.69   1000000         0
1050.93/1051.22	c       382       592    579.15     60.02      9.65   1000000         0
1052.63/1052.90	c       416       561    588.92     60.59      9.72   1000000         0
1054.23/1054.59	c       429       628    576.49     68.91      8.37   1000000         0
1055.93/1056.28	c       416       571    591.15     60.39      9.79   1000000         0
1057.63/1057.97	c       391       641    587.20     51.78     11.34   1000000         0
1059.33/1059.66	c       397       683    578.32     56.92     10.16   1000000         0
1061.03/1061.35	c       404       596    591.34     68.32      8.66   1000000         0
1062.73/1063.04	c       415       581    590.16     61.37      9.62   1000000         0
1064.43/1064.73	c       408       476    569.93     59.82      9.53   1000000         0
1066.12/1066.42	c       416       448    590.93     63.82      9.26   1000000         0
1067.83/1068.11	c       418       634    585.11     63.24      9.25   1000000         0
1069.52/1069.80	c       403       501    573.42     62.28      9.21   1000000         0
1071.13/1071.49	c       403       694    588.34     58.22     10.11   1000000         0
1072.82/1073.18	c       406       596    573.87     63.74      9.00   1000000         0
1074.52/1074.87	c       424       708    589.09     67.00      8.79   1000000         0
1076.22/1076.56	c       415       501    580.11     60.60      9.57   1000000         0
1077.92/1078.25	c       402       665    582.03     63.92      9.11   1000000         0
1079.62/1079.94	c       433       551    582.33     50.84     11.45   1000000         0
1081.32/1081.62	c       407       568    572.98     52.15     10.99   1000000         0
1083.02/1083.31	c       398       508    593.24     64.81      9.15   1000000         0
1084.72/1085.00	c       431       589    578.09     55.34     10.45   1000000         0
1086.32/1086.68	c       403       488    572.86     56.99     10.05   1000000         0
1088.02/1088.37	c       391       580    577.27     59.11      9.77   1000000         0
1089.73/1090.06	c       436       645    583.44     55.63     10.49   1000000         0
1091.42/1091.75	c       421       574    582.78     56.11     10.39   1000000         0
1093.12/1093.44	c       415       559    579.06     59.18      9.78   1000000         0
1094.82/1095.13	c       395       604    576.82     63.76      9.05   1000000         0
1096.52/1096.83	c       428       563    586.51     72.29      8.11   1000000         0
1098.22/1098.52	c       374       548    577.35     62.20      9.28   1000000         0
1099.91/1100.21	c       405       557    593.93     64.72      9.18   1000000         0
1101.61/1101.90	c       409       642    582.39     60.13      9.69   1000000         0
1103.21/1103.59	c       415       578    587.60     64.19      9.15   1000000         0
1104.91/1105.27	c       413       520    586.49     51.12     11.47   1000000         0
1106.61/1106.96	c       406       575    576.23     64.23      8.97   1000000         0
1108.31/1108.65	c       410       595    578.40     57.29     10.10   1000000         0
1110.01/1110.34	c       428       502    578.51     53.35     10.84   1000000         0
1111.72/1112.03	c       412       488    577.87     64.84      8.91   1000000         0
1113.41/1113.72	c       424       580    584.51     56.66     10.32   1000000         0
1115.12/1115.41	c       389       581    575.63     52.33     11.00   1000000         0
1116.71/1117.09	c       414       537    584.87     61.30      9.54   1000000         0
1118.42/1118.79	c       417       575    589.12     64.81      9.09   1000000         0
1120.11/1120.47	c       401       523    573.45     55.28     10.37   1000000         0
1121.81/1122.16	c       398       601    579.53     61.44      9.43   1000000         0
1123.51/1123.84	c       408       594    579.27     62.07      9.33   1000000         0
1125.21/1125.53	c       425       623    583.65     59.68      9.78   1000000         0
1126.91/1127.23	c       434       570    585.07     68.88      8.49   1000000         0
1128.61/1128.92	c       396       621    594.76     70.01      8.50   1000000         0
1130.31/1130.60	c       431       527    590.59     61.93      9.54   1000000         0
1131.91/1132.29	c       396       531    586.24     58.44     10.03   1000000         0
1133.61/1133.98	c       412       677    582.33     57.92     10.05   1000000         0
1135.31/1135.67	c       397       584    574.88     67.06      8.57   1000000         0
1137.01/1137.36	c       420       522    591.32     59.88      9.88   1000000         0
1138.71/1139.05	c       378       586    582.86     57.14     10.20   1000000         0
1140.41/1140.74	c       417       544    588.50     65.27      9.02   1000000         0
1142.11/1142.42	c       393       498    576.35     54.75     10.53   1000000         0
1143.80/1144.11	c       418       585    578.07     61.65      9.38   1000000         0
1145.50/1145.80	c       400       585    584.83     58.38     10.02   1000000         0
1147.10/1147.48	c       412       629    566.67     55.37     10.24   1000000         0
1148.80/1149.17	c       430       633    588.22     62.12      9.47   1000000         0
1150.50/1150.86	c       416       569    588.28     61.05      9.64   1000000         0
1152.20/1152.55	c       409       614    579.83     64.25      9.02   1000000         0
1153.90/1154.24	c       409       577    581.57     62.27      9.34   1000000         0
1155.60/1155.94	c       395       573    583.82     62.66      9.32   1000000         0
1157.30/1157.63	c       385       604    577.77     65.80      8.78   1000000         0
1159.01/1159.32	c       418       546    586.11     58.22     10.07   1000000         0
1160.70/1161.01	c       403       552    581.33     56.53     10.28   1000000         0
1162.31/1162.70	c       401       522    578.84     67.80      8.54   1000000         0
1164.00/1164.38	c       387       541    573.96     60.74      9.45   1000000         0
1165.71/1166.08	c       388       546    580.21     68.32      8.49   1000000         0
1167.40/1167.77	c       421       485    584.24     66.79      8.75   1000000         0
1169.10/1169.46	c       419       563    584.45     61.90      9.44   1000000         0
1170.80/1171.14	c       377       683    577.12     51.38     11.23   1000000         0
1172.50/1172.83	c       411       593    590.02     54.61     10.80   1000000         0
1174.20/1174.52	c       404       597    580.45     64.69      8.97   1000000         0
1175.90/1176.20	c       418       697    582.75     59.18      9.85   1000000         0
1177.50/1177.89	c       399       634    572.88     66.86      8.57   1000000         0
1179.20/1179.58	c       400       562    580.36     59.15      9.81   1000000         0
1180.90/1181.28	c       413       536    588.89     61.67      9.55   1000000         0
1182.60/1182.96	c       374       595    581.74     58.55      9.94   1000000         0
1184.30/1184.66	c       407       674    584.56     59.62      9.80   1000000         0
1185.99/1186.36	c       431       526    588.96     54.33     10.84   1000000         0
1187.70/1188.05	c       424       538    587.33     59.43      9.88   1000000         0
1189.39/1189.74	c       420       632    579.14     60.99      9.50   1000000         0
1191.09/1191.43	c       407       515    581.85     60.92      9.55   1000000         0
1192.79/1193.12	c       381       518    582.66     60.26      9.67   1000000         0
1194.49/1194.81	c       429       547    588.21     61.63      9.54   1000000         0
1196.09/1196.50	c       410       603    579.03     57.59     10.05   1000000         0
1197.79/1198.18	c       402       520    569.94     63.98      8.91   1000000         0
1199.49/1199.87	c       429       497    577.57     53.92     10.71   1000000         0
1201.19/1201.56	c       394       520    568.22     59.52      9.55   1000000         0
1202.89/1203.25	c       394       630    582.23     52.14     11.17   1000000         0
1204.59/1204.94	c       401       571    580.38     63.67      9.12   1000000         0
1206.30/1206.63	c       407       603    586.94     66.77      8.79   1000000         0
1207.99/1208.32	c       412       611    576.47     57.13     10.09   1000000         0
1209.60/1210.00	c       413       569    589.19     64.34      9.16   1000000         0
1211.29/1211.69	c       423       495    585.95     61.66      9.50   1000000         0
1212.99/1213.38	c       397       667    584.92     59.17      9.88   1000000         0
1214.69/1215.08	c       386       590    584.29     60.53      9.65   1000000         0
1216.39/1216.77	c       418       572    576.97     60.32      9.56   1000000         0
1218.09/1218.46	c       397       573    588.95     71.37      8.25   1000000         0
1219.79/1220.14	c       411       579    587.43     66.74      8.80   1000000         0
1221.49/1221.83	c       408       633    583.20     63.87      9.13   1000000         0
1223.19/1223.52	c       393       600    582.87     75.92      7.68   1000000         0
1224.88/1225.22	c       393       581    586.51     57.16     10.26   1000000         0
1226.58/1226.91	c       413       561    585.61     63.04      9.29   1000000         0
1228.29/1228.60	c       444       591    589.38     49.20     11.98   1000000         0
1229.88/1230.28	c       411       512    582.56     57.60     10.11   1000000         0
1231.59/1231.98	c       390       612    588.30     60.68      9.69   1000000         0
1233.28/1233.67	c       429       687    583.25     60.89      9.58   1000000         0
1234.99/1235.36	c       402       534    585.81     63.38      9.24   1000000         0
1236.68/1237.05	c       422       653    579.34     56.48     10.26   1000000         0
1238.38/1238.74	c       416       518    576.30     50.67     11.37   1000000         0
1240.08/1240.42	c       380       704    577.61     59.79      9.66   1000000         0
1241.78/1242.11	c       379       603    587.16     63.66      9.22   1000000         0
1243.48/1243.80	c       371       561    578.00     59.45      9.72   1000000         0
1245.08/1245.49	c       399       620    581.30     61.62      9.43   1000000         0
1246.78/1247.18	c       380       629    593.58     64.41      9.22   1000000         0
1248.48/1248.87	c       417       514    588.77     63.93      9.21   1000000         0
1250.18/1250.56	c       415       503    596.79     59.79      9.98   1000000         0
1251.88/1252.25	c       414       633    590.97     57.03     10.36   1000000         0
1253.58/1253.94	c       390       544    585.27     65.52      8.93   1000000         0
1255.28/1255.63	c       421       580    580.50     56.60     10.26   1000000         0
1256.98/1257.32	c       402       514    567.16     54.42     10.42   1000000         0
1258.68/1259.01	c       418       539    580.24     50.62     11.46   1000000         0
1260.38/1260.70	c       409       580    585.56     64.73      9.05   1000000         0
1262.08/1262.40	c       415       580    578.58     60.20      9.61   1000000         0
1263.67/1264.09	c       399       482    590.75     59.37      9.95   1000000         0
1265.37/1265.78	c       414       603    584.63     67.01      8.72   1000000         0
1267.07/1267.48	c       416       566    579.20     62.85      9.21   1000000         0
1268.77/1269.17	c       406       639    586.65     64.74      9.06   1000000         0
1270.47/1270.85	c       418       582    579.89     61.10      9.49   1000000         0
1272.17/1272.54	c       416       633    583.99     53.56     10.90   1000000         0
1273.87/1274.23	c       406       630    584.42     60.20      9.71   1000000         0
1275.58/1275.92	c       412       541    594.46     60.74      9.79   1000000         0
1277.27/1277.61	c       412       546    586.01     53.63     10.93   1000000         0
1278.88/1279.30	c       409       564    581.76     56.51     10.29   1000000         0
1280.57/1280.99	c       410       562    572.15     59.59      9.60   1000000         0
1282.28/1282.69	c       437       534    594.14     62.74      9.47   1000000         0
1283.97/1284.37	c       392       584    589.05     59.54      9.89   1000000         0
1285.67/1286.06	c       400       581    585.73     56.32     10.40   1000000         0
1287.37/1287.75	c       361       497    573.74     64.64      8.88   1000000         0
1289.07/1289.44	c       413       568    586.61     56.60     10.36   1000000         0
1290.77/1291.13	c       421       525    581.30     60.44      9.62   1000000         0
1292.47/1292.82	c       413       526    579.06     62.27      9.30   1000000         0
1294.17/1294.51	c       417       465    575.24     60.92      9.44   1000000         0
1295.77/1296.19	c       403       508    587.15     57.71     10.17   1000000         0
1297.47/1297.88	c       416       508    576.54     55.69     10.35   1000000         0
1299.17/1299.57	c       408       551    584.49     63.54      9.20   1000000         0
1300.87/1301.26	c       414       698    587.95     61.97      9.49   1000000         0
1302.56/1302.95	c       396       566    580.36     69.39      8.36   1000000         0
1304.27/1304.64	c       409       648    572.66     64.04      8.94   1000000         0
1305.96/1306.32	c       425       629    591.28     58.09     10.18   1000000         0
1307.66/1308.02	c       407       499    586.92     59.37      9.89   1000000         0
1309.36/1309.71	c       408       571    585.27     62.65      9.34   1000000         0
1311.06/1311.40	c       435       510    588.46     62.99      9.34   1000000         0
1312.66/1313.09	c       440       611    577.51     51.99     11.11   1000000         0
1314.36/1314.77	c       418       491    587.53     55.55     10.58   1000000         0
1316.06/1316.47	c       396       539    594.56     71.04      8.37   1000000         0
1317.76/1318.16	c       424       645    584.35     67.87      8.61   1000000         0
1319.47/1319.85	c       421       607    581.66     60.41      9.63   1000000         0
1321.17/1321.53	c       420       545    573.62     58.51      9.80   1000000         0
1322.87/1323.22	c       396       620    582.35     60.56      9.62   1000000         0
1324.57/1324.91	c       429       576    578.83     58.48      9.90   1000000         0
1326.17/1326.60	c       402       608    593.50     59.28     10.01   1000000         0
1327.87/1328.29	c       417       583    587.20     65.58      8.95   1000000         0
1329.57/1329.98	c       414       589    587.69     78.46      7.49   1000000         0
1331.27/1331.67	c       409       592    578.51     54.50     10.61   1000000         0
1332.97/1333.36	c       413       592    574.82     58.53      9.82   1000000         0
1334.67/1335.05	c       399       541    572.31     51.93     11.02   1000000         0
1336.36/1336.73	c       402       577    581.28     56.92     10.21   1000000         0
1338.06/1338.42	c       421       537    581.17     62.24      9.34   1000000         0
1339.76/1340.12	c       405       520    571.58     59.82      9.56   1000000         0
1341.46/1341.81	c       412       477    583.60     61.68      9.46   1000000         0
1343.16/1343.50	c       424       594    596.66     76.60      7.79   1000000         0
1344.76/1345.19	c       387       477    585.79     69.56      8.42   1000000         0
1346.46/1346.89	c       414       569    578.96     59.18      9.78   1000000         0
1348.17/1348.57	c       402       614    574.65     60.36      9.52   1000000         0
1349.86/1350.26	c       408       628    591.45     66.30      8.92   1000000         0
1351.57/1351.95	c       363       553    579.44     63.97      9.06   1000000         0
1353.26/1353.63	c       414       672    590.16     60.22      9.80   1000000         0
1354.96/1355.32	c       423       574    582.35     57.41     10.14   1000000         0
1356.66/1357.01	c       388       484    588.60     68.09      8.64   1000000         0
1358.36/1358.71	c       392       529    571.07     57.20      9.98   1000000         0
1359.96/1360.39	c       405       553    578.73     55.21     10.48   1000000         0
1361.66/1362.07	c       396       512    583.95     64.14      9.11   1000000         0
1363.36/1363.77	c       412       564    584.33     69.36      8.42   1000000         0
1365.06/1365.45	c       414       607    580.44     58.69      9.89   1000000         0
1366.76/1367.14	c       436       568    582.98     59.14      9.86   1000000         0
1368.46/1368.83	c       419       563    569.56     56.72     10.04   1000000         0
1370.16/1370.51	c       395       564    579.18     56.72     10.21   1000000         0
1371.76/1372.19	c       406       609    581.43     60.14      9.67   1000000         0
1373.46/1373.88	c       416       599    586.16     70.67      8.29   1000000         0
1375.15/1375.56	c       403       543    569.15     55.57     10.24   1000000         0
1376.86/1377.25	c       404       496    581.40     59.87      9.71   1000000         0
1378.55/1378.94	c       408       541    585.52     59.01      9.92   1000000         0
1380.25/1380.63	c       394       524    583.86     61.20      9.54   1000000         0
1381.95/1382.32	c       406       494    586.37     60.93      9.62   1000000         0
1383.65/1384.01	c       388       632    587.29     62.35      9.42   1000000         0
1385.35/1385.71	c       429       629    587.81     63.17      9.30   1000000         0
1387.05/1387.40	c       395       618    580.53     62.78      9.25   1000000         0
1388.65/1389.09	c       413       564    585.77     58.78      9.97   1000000         0
1390.35/1390.79	c       401       682    584.49     63.56      9.20   1000000         0
1392.05/1392.47	c       394       584    581.98     65.25      8.92   1000000         0
1393.75/1394.16	c       423       619    579.47     55.60     10.42   1000000         0
1395.46/1395.85	c       415       652    585.29     69.17      8.46   1000000         0
1397.15/1397.55	c       398       681    584.01     59.16      9.87   1000000         0
1398.86/1399.24	c       437       523    591.70     62.78      9.43   1000000         0
1400.55/1400.93	c       399       544    575.06     62.46      9.21   1000000         0
1402.25/1402.61	c       407       552    580.74     57.70     10.06   1000000         0
1403.95/1404.30	c       409       555    577.63     56.95     10.14   1000000         0
1405.55/1405.98	c       416       574    582.19     58.73      9.91   1000000         0
1407.25/1407.67	c       441       530    589.38     56.24     10.48   1000000         0
1408.95/1409.36	c       412       699    569.22     50.58     11.25   1000000         0
1410.65/1411.06	c       406       580    575.98     55.95     10.30   1000000         0
1412.35/1412.75	c       416       585    597.96     65.52      9.13   1000000         0
1414.05/1414.44	c       404       603    580.00     60.78      9.54   1000000         0
1415.75/1416.13	c       411       503    594.92     63.42      9.38   1000000         0
1417.45/1417.82	c       404       580    582.16     72.95      7.98   1000000         0
1419.14/1419.51	c       383       669    580.68     58.27      9.97   1000000         0
1420.75/1421.20	c       421       647    597.23     60.66      9.84   1000000         0
1422.44/1422.89	c       395       639    580.99     74.47      7.80   1000000         0
1424.15/1424.58	c       396       635    582.88     64.13      9.09   1000000         0
1425.84/1426.27	c       419       597    581.55     55.99     10.39   1000000         0
1427.54/1427.96	c       405       591    583.44     58.23     10.02   1000000         0
1429.24/1429.65	c       373       587    577.07     63.12      9.14   1000000         0
1430.94/1431.34	c       399       703    576.86     53.09     10.87   1000000         0
1432.64/1433.02	c       417       608    581.66     54.32     10.71   1000000         0
1434.34/1434.72	c       417       576    587.13     66.51      8.83   1000000         0
1436.04/1436.41	c       412       679    581.27     69.96      8.31   1000000         0
1437.64/1438.09	c       423       574    579.82     60.94      9.51   1000000         0
1439.34/1439.78	c       401       568    586.94     61.89      9.48   1000000         0
1441.04/1441.47	c       429       646    589.97     63.44      9.30   1000000         0
1442.75/1443.16	c       396       624    588.13     57.36     10.25   1000000         0
1444.44/1444.85	c       405       609    582.60     69.92      8.33   1000000         0
1446.15/1446.53	c       422       573    587.16     59.90      9.80   1000000         0
1447.84/1448.22	c       382       503    588.11     57.86     10.16   1000000         0
1449.54/1449.91	c       397       610    576.09     66.09      8.72   1000000         0
1451.24/1451.60	c       369       461    582.17     60.04      9.70   1000000         0
1452.84/1453.29	c       418       558    588.14     74.34      7.91   1000000         0
1454.54/1454.97	c       435       490    582.51     58.61      9.94   1000000         0
1456.24/1456.66	c       410       596    576.24     60.86      9.47   1000000         0
1457.94/1458.35	c       404       553    587.60     62.52      9.40   1000000         0
1459.63/1460.04	c       425       597    594.17     59.46      9.99   1000000         0
1461.33/1461.73	c       417       526    583.27     64.81      9.00   1000000         0
1463.03/1463.43	c       407       495    575.65     54.33     10.59   1000000         0
1464.74/1465.11	c       422       630    572.73     58.34      9.82   1000000         0
1466.43/1466.80	c       408       546    576.97     66.89      8.63   1000000         0
1468.04/1468.50	c       390       634    592.39     60.98      9.71   1000000         0
1469.73/1470.19	c       359       626    582.84     61.11      9.54   1000000         0
1471.44/1471.87	c       420       639    581.19     64.69      8.98   1000000         0
1473.13/1473.56	c       427       622    593.70     62.80      9.45   1000000         0
1474.83/1475.25	c       400       451    576.03     64.95      8.87   1000000         0
1476.53/1476.94	c       419       578    584.24     59.91      9.75   1000000         0
1478.23/1478.62	c       382       467    569.96     56.32     10.12   1000000         0
1479.93/1480.30	c       395       645    589.60     62.26      9.47   1000000         0
1481.53/1481.99	c       412       611    583.70     66.02      8.84   1000000         0
1483.23/1483.68	c       409       530    596.13     63.76      9.35   1000000         0
1484.93/1485.37	c       433       504    583.20     55.64     10.48   1000000         0
1486.63/1487.06	c       416       645    587.27     69.98      8.39   1000000         0
1488.33/1488.75	c       377       574    578.37     59.96      9.65   1000000         0
1490.03/1490.44	c       418       625    583.64     58.88      9.91   1000000         0
1491.73/1492.13	c       388       681    587.69     64.29      9.14   1000000         0
1493.43/1493.82	c       389       477    580.71     68.20      8.51   1000000         0
1495.13/1495.51	c       403       557    590.77     60.46      9.77   1000000         0
1496.83/1497.20	c       407       571    565.06     58.05      9.73   1000000         0
1498.43/1498.88	c       391       591    566.75     52.74     10.75   1000000         0
1500.12/1500.56	c       394       566    582.31     64.06      9.09   1000000         0
1501.82/1502.26	c       414       538    587.28     64.96      9.04   1000000         0
1503.52/1503.95	c       402       496    585.74     61.16      9.58   1000000         0
1505.22/1505.63	c       433       594    579.17     55.27     10.48   1000000         0
1506.92/1507.32	c       390       587    592.65     64.36      9.21   1000000         0
1508.62/1509.02	c       447       609    596.01     66.47      8.97   1000000         0
1510.32/1510.70	c       404       571    575.02     54.18     10.61   1000000         0
1511.92/1512.39	c       425       540    585.39     60.46      9.68   1000000         0
1513.62/1514.08	c       364       517    587.74     66.37      8.86   1000000         0
1515.33/1515.77	c       399       550    588.35     56.18     10.47   1000000         0
1517.02/1517.46	c       421       564    574.32     53.99     10.64   1000000         0
1518.73/1519.15	c       402       523    577.15     61.92      9.32   1000000         0
1520.42/1520.84	c       415       513    586.85     67.41      8.71   1000000         0
1522.12/1522.53	c       395       528    574.99     70.98      8.10   1000000         0
1523.82/1524.22	c       407       630    587.00     60.81      9.65   1000000         0
1525.52/1525.91	c       402       645    574.53     60.56      9.49   1000000         0
1527.12/1527.59	c       417       517    576.22     53.12     10.85   1000000         0
1528.82/1529.29	c       410       650    575.78     64.02      8.99   1000000         0
1530.52/1530.97	c       404       600    575.88     53.32     10.80   1000000         0
1532.22/1532.66	c       411       560    582.73     57.43     10.15   1000000         0
1533.91/1534.34	c       411       627    583.17     56.90     10.25   1000000         0
1535.61/1536.03	c       428       558    583.10     56.46     10.33   1000000         0
1537.32/1537.73	c       438       602    596.50     64.23      9.29   1000000         0
1539.01/1539.41	c       427       519    586.17     57.26     10.24   1000000         0
1540.62/1541.10	c       404       615    581.06     64.50      9.01   1000000         0
1542.31/1542.79	c       427       502    584.67     56.12     10.42   1000000         0
1544.02/1544.48	c       405       643    591.77     60.86      9.72   1000000         0
1545.71/1546.17	c       411       561    582.83     55.08     10.58   1000000         0
1547.41/1547.86	c       393       629    577.73     62.58      9.23   1000000         0
1549.11/1549.55	c       398       547    576.48     58.96      9.78   1000000         0
1550.81/1551.24	c       426       533    575.15     54.73     10.51   1000000         0
1552.51/1552.93	c       400       618    577.58     59.39      9.73   1000000         0
1554.21/1554.62	c       423       565    592.86     60.42      9.81   1000000         0
1555.91/1556.30	c       411       575    586.52     59.93      9.79   1000000         0
1557.51/1557.99	c       406       597    585.02     63.99      9.14   1000000         0
1559.21/1559.68	c       393       628    591.47     60.31      9.81   1000000         0
1560.91/1561.37	c       443       620    592.80     56.67     10.46   1000000         0
1562.61/1563.06	c       433       571    584.64     56.35     10.38   1000000         0
1564.31/1564.75	c       415       549    578.89     54.54     10.61   1000000         0
1566.01/1566.44	c       415       574    587.00     58.35     10.06   1000000         0
1567.71/1568.12	c       407       505    573.98     54.52     10.53   1000000         0
1569.41/1569.81	c       396       570    586.78     65.83      8.91   1000000         0
1571.11/1571.50	c       396       620    578.22     57.85     10.00   1000000         0
1572.71/1573.19	c       389       620    582.90     57.53     10.13   1000000         0
1574.41/1574.87	c       404       681    577.34     58.93      9.80   1000000         0
1576.11/1576.56	c       436       527    589.90     59.09      9.98   1000000         0
1577.81/1578.26	c       420       612    588.55     61.60      9.55   1000000         0
1579.50/1579.94	c       393       550    587.31     61.40      9.57   1000000         0
1581.20/1581.63	c       390       639    580.04     66.52      8.72   1000000         0
1582.90/1583.32	c       425       489    586.12     66.30      8.84   1000000         0
1584.61/1585.01	c       396       488    587.94     68.28      8.61   1000000         0
1586.20/1586.70	c       398       549    580.21     67.47      8.60   1000000         0
1587.91/1588.39	c       428       626    584.24     56.30     10.38   1000000         0
1589.60/1590.08	c       388       632    587.54     66.08      8.89   1000000         0
1591.31/1591.77	c       431       579    587.59     59.16      9.93   1000000         0
1593.00/1593.45	c       426       467    582.23     57.35     10.15   1000000         0
1594.70/1595.15	c       388       562    589.53     64.31      9.17   1000000         0
1596.40/1596.84	c       409       645    588.29     70.02      8.40   1000000         0
1598.10/1598.53	c       411       596    580.64     58.43      9.94   1000000         0
1599.80/1600.21	c       406       547    587.96     70.80      8.30   1000000         0
1601.50/1601.91	c       406       611    594.27     60.47      9.83   1000000         0
1603.10/1603.59	c       400       570    579.06     56.63     10.22   1000000         0
1604.80/1605.28	c       407       501    589.38     56.55     10.42   1000000         0
1606.50/1606.97	c       435       515    577.38     53.54     10.78   1000000         0
1608.20/1608.66	c       413       564    581.70     58.74      9.90   1000000         0
1609.90/1610.35	c       392       619    586.15     62.47      9.38   1000000         0
1611.60/1612.03	c       392       572    573.14     60.43      9.48   1000000         0
1613.30/1613.72	c       423       594    585.00     55.94     10.46   1000000         0
1615.00/1615.41	c       381       646    576.19     60.85      9.47   1000000         0
1616.70/1617.10	c       400       624    580.35     67.18      8.64   1000000         0
1618.29/1618.79	c       378       668    595.01     69.75      8.53   1000000         0
1619.99/1620.48	c       395       611    580.74     62.98      9.22   1000000         0
1621.69/1622.17	c       397       615    577.68     67.25      8.59   1000000         0
1623.39/1623.86	c       425       531    579.33     67.59      8.57   1000000         0
1625.09/1625.55	c       375       629    590.82     65.34      9.04   1000000         0
1626.79/1627.24	c       441       556    591.58     58.05     10.19   1000000         0
1628.49/1628.92	c       384       595    576.88     59.96      9.62   1000000         0
1630.19/1630.61	c       390       611    578.14     63.06      9.17   1000000         0
1631.90/1632.31	c       407       647    569.30     55.49     10.26   1000000         0
1633.49/1633.99	c       418       545    579.11     66.47      8.71   1000000         0
1635.20/1635.68	c       391       559    578.73     58.58      9.88   1000000         0
1636.89/1637.37	c       395       510    575.34     61.19      9.40   1000000         0
1638.60/1639.06	c       406       590    589.87     57.79     10.21   1000000         0
1640.29/1640.75	c       411       572    580.95     58.81      9.88   1000000         0
1641.99/1642.43	c       408       590    574.69     62.64      9.17   1000000         0
1643.69/1644.12	c       426       595    600.32     57.89     10.37   1000000         0
1645.39/1645.81	c       404       541    586.94     62.22      9.43   1000000         0
1647.09/1647.50	c       370       409    592.58     56.36     10.51   1000000         0
1648.69/1649.19	c       426       659    590.15     57.59     10.25   1000000         0
1650.39/1650.88	c       404       570    580.01     62.61      9.26   1000000         0
1652.09/1652.57	c       421       600    585.91     73.47      7.97   1000000         0
1653.79/1654.25	c       417       545    583.73     67.14      8.69   1000000         0
1655.48/1655.94	c       405       688    582.63     65.49      8.90   1000000         0
1657.18/1657.63	c       405       641    578.35     58.04      9.97   1000000         0
1658.87/1659.31	c       406       546    585.07     56.14     10.42   1000000         0
1660.48/1661.00	c       364       546    579.31     61.78      9.38   1000000         0
1662.17/1662.69	c       417       536    573.52     59.47      9.64   1000000         0
1663.88/1664.37	c       407       510    586.91     65.46      8.97   1000000         0
1665.57/1666.06	c       408       647    587.45     57.97     10.13   1000000         0
1667.27/1667.75	c       412       613    580.58     58.51      9.92   1000000         0
1668.97/1669.43	c       407       619    589.82     74.44      7.92   1000000         0
1670.67/1671.12	c       373       619    577.58     59.07      9.78   1000000         0
1672.37/1672.81	c       389       639    575.77     55.08     10.45   1000000         0
1674.07/1674.50	c       412       585    586.86     63.87      9.19   1000000         0
1675.67/1676.18	c       418       560    585.08     60.52      9.67   1000000         0
1677.37/1677.87	c       399       544    575.28     57.35     10.03   1000000         0
1679.07/1679.56	c       415       568    582.34     56.79     10.25   1000000         0
1680.77/1681.25	c       406       513    577.82     54.18     10.67   1000000         0
1682.47/1682.94	c       403       525    575.93     57.49     10.02   1000000         0
1684.17/1684.63	c       422       607    585.36     58.83      9.95   1000000         0
1685.87/1686.32	c       408       610    578.02     72.64      7.96   1000000         0
1687.56/1688.01	c       408       579    589.05     62.75      9.39   1000000         0
1689.26/1689.70	c       415       541    582.32     57.13     10.19   1000000         0
1690.86/1691.38	c       417       618    582.37     61.89      9.41   1000000         0
1692.56/1693.07	c       427       514    591.96     68.81      8.60   1000000         0
1694.26/1694.76	c       418       582    572.17     60.36      9.48   1000000         0
1695.96/1696.46	c       428       555    589.24     62.71      9.40   1000000         0
1697.66/1698.14	c       416       534    578.66     65.00      8.90   1000000         0
1699.36/1699.83	c       412       565    586.95     48.79     12.03   1000000         0
1701.06/1701.51	c       428       641    582.58     56.33     10.34   1000000         0
1702.66/1703.20	c       431       556    585.02     56.49     10.36   1000000         0
1704.36/1704.88	c       375       610    595.77     73.18      8.14   1000000         0
1706.06/1706.56	c       384       545    576.85     63.20      9.13   1000000         0
1707.77/1708.26	c       422       531    575.96     56.59     10.18   1000000         0
1709.46/1709.95	c       403       710    591.32     58.99     10.02   1000000         0
1711.17/1711.63	c       401       556    582.07     58.54      9.94   1000000         0
1712.86/1713.32	c       421       543    591.64     64.47      9.18   1000000         0
1714.56/1715.01	c       400       647    579.29     57.80     10.02   1000000         0
1716.26/1716.70	c       375       582    581.06     65.26      8.90   1000000         0
1717.86/1718.39	c       414       659    577.77     64.56      8.95   1000000         0
1719.56/1720.08	c       405       639    578.83     61.82      9.36   1000000         0
1721.26/1721.77	c       414       581    580.98     65.15      8.92   1000000         0
1722.96/1723.45	c       408       526    580.64     58.70      9.89   1000000         0
1724.65/1725.14	c       392       600    574.21     66.48      8.64   1000000         0
1726.35/1726.84	c       410       556    584.20     73.52      7.95   1000000         0
1728.05/1728.53	c       413       589    579.48     60.35      9.60   1000000         0
1729.76/1730.22	c       378       522    582.82     71.91      8.10   1000000         0
1731.45/1731.91	c       424       536    590.51     61.28      9.64   1000000         0
1733.06/1733.60	c       424       438    587.47     56.43     10.41   1000000         0
1734.75/1735.28	c       432       602    585.62     52.59     11.14   1000000         0
1736.46/1736.97	c       375       506    574.19     64.41      8.91   1000000         0
1738.15/1738.66	c       417       572    586.77     61.95      9.47   1000000         0
1739.85/1740.34	c       418       643    577.28     61.68      9.36   1000000         0
1741.55/1742.03	c       411       544    581.20     55.52     10.47   1000000         0
1743.25/1743.72	c       404       674    578.98     66.88      8.66   1000000         0
1744.95/1745.41	c       412       500    581.21     60.42      9.62   1000000         0
1746.55/1747.09	c       397       540    576.44     60.12      9.59   1000000         0
1748.25/1748.78	c       414       540    570.15     58.89      9.68   1000000         0
1749.95/1750.46	c       406       615    568.72     56.40     10.08   1000000         0
1751.65/1752.15	c       405       614    588.46     65.84      8.94   1000000         0
1753.35/1753.84	c       413       489    580.27     56.52     10.27   1000000         0
1755.06/1755.53	c       400       535    582.67     59.72      9.76   1000000         0
1756.75/1757.23	c       416       654    587.47     57.66     10.19   1000000         0
1758.45/1758.91	c       406       559    580.56     54.08     10.74   1000000         0
1760.15/1760.60	c       410       540    583.46     65.07      8.97   1000000         0
1761.75/1762.29	c       444       590    583.37     51.72     11.28   1000000         0
1763.45/1763.98	c       417       582    584.64     62.13      9.41   1000000         0
1765.15/1765.66	c       428       545    574.26     52.06     11.03   1000000         0
1766.84/1767.35	c       394       585    580.64     69.00      8.41   1000000         0
1768.54/1769.04	c       426       559    584.96     53.92     10.85   1000000         0
1770.24/1770.73	c       438       565    583.96     56.72     10.30   1000000         0
1771.94/1772.41	c       412       525    579.22     61.63      9.40   1000000         0
1773.54/1774.09	c       398       645    579.40     59.56      9.73   1000000         0
1775.24/1775.79	c       397       617    592.01     70.41      8.41   1000000         0
1776.94/1777.47	c       419       597    579.39     60.82      9.53   1000000         0
1778.64/1779.17	c       386       590    576.00     53.85     10.70   1000000         0
1780.35/1780.85	c       417       558    584.67     63.68      9.18   1000000         0
1782.04/1782.54	c       389       519    589.34     65.68      8.97   1000000         0
1783.75/1784.23	c       387       622    585.90     57.99     10.10   1000000         0
1785.44/1785.92	c       408       588    587.55     58.83      9.99   1000000         0
1787.14/1787.61	c       384       532    580.60     64.90      8.95   1000000         0
1788.84/1789.30	c       404       601    580.83     63.15      9.20   1000000         0
1790.44/1790.99	c       423       532    594.61     60.40      9.85   1000000         0
1792.14/1792.68	c       406       553    587.61     59.09      9.94   1000000         0
1793.84/1794.36	c       397       565    581.48     57.35     10.14   1000000         0
1795.54/1796.06	c       429       552    585.05     68.64      8.52   1000000         0
1797.24/1797.75	c       414       535    582.73     62.10      9.38   1000000         0
1798.94/1799.43	c       404       617    579.36     58.50      9.90   1000000         0
1800.04/1800.51	HOME/run: line 2: 22262 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-2685434-1278441204/watcher-2685434-1278441204 -o /tmp/evaluation-result-2685434-1278441204/solver-2685434-1278441204 -C 1800 -W 2000 -M 1800 run HOME/instance-2685434-1278441204.opb 

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


[startup+0 s]
/proc/loadavg: 1.08 1.03 1.06 3/106 22261
/proc/meminfo: memFree=1411404/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) R 22259 22261 21333 0 -1 4202496 343 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759289237 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0

[startup+0.076497 s]
/proc/loadavg: 1.08 1.03 1.06 3/106 22261
/proc/meminfo: memFree=1411404/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101499 s]
/proc/loadavg: 1.08 1.03 1.06 3/106 22261
/proc/meminfo: memFree=1411404/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301515 s]
/proc/loadavg: 1.08 1.03 1.06 3/106 22261
/proc/meminfo: memFree=1411404/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701551 s]
/proc/loadavg: 1.08 1.03 1.06 3/106 22261
/proc/meminfo: memFree=1411404/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50162 s]
/proc/loadavg: 1.08 1.03 1.06 2/108 22263
/proc/meminfo: memFree=1405064/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1.48
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1632 0 0 0 148 0 0 0 25 0 1 0 12332918 41422848 1562 1992294400 134512640 135071400 4294796320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1562 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10176 s]
/proc/loadavg: 1.08 1.03 1.06 2/108 22263
/proc/meminfo: memFree=1404816/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=3.08
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 308 0 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30104 s]
/proc/loadavg: 1.08 1.03 1.06 2/108 22263
/proc/meminfo: memFree=1404692/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=6.28
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 628 0 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526240 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7016 s]
/proc/loadavg: 1.07 1.03 1.06 2/108 22263
/proc/meminfo: memFree=1404568/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=12.68
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 1268 0 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5007 s]
/proc/loadavg: 1.06 1.03 1.06 2/108 22263
/proc/meminfo: memFree=1404568/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=25.48
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 2548 0 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134519712 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.101 s]
/proc/loadavg: 1.04 1.02 1.05 2/108 22265
/proc/meminfo: memFree=1404568/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=51.07
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 5107 0 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 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: 1.01 1.02 1.05 2/108 22265
/proc/meminfo: memFree=1404320/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=102.26
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 10226 0 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526281 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.04 2/108 22267
/proc/meminfo: memFree=1404072/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=162.24
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 16224 0 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.04 2/108 22269
/proc/meminfo: memFree=1404072/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=222.23
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 22223 0 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 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: 1.00 1.00 1.03 2/108 22271
/proc/meminfo: memFree=1403948/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=282.21
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 28221 0 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/108 22273
/proc/meminfo: memFree=1403824/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=342.21
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 34220 1 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 22273
/proc/meminfo: memFree=1403700/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=402.19
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 40218 1 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134525897 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1122.01
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 112200 1 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 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: 1.03 1.04 1.00 2/108 22295
/proc/meminfo: memFree=1401716/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1182
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 118199 1 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526179 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 22297
/proc/meminfo: memFree=1401592/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1241.98
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 124197 1 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 22297
/proc/meminfo: memFree=1401344/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1301.97
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 130196 1 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526747 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 22299
/proc/meminfo: memFree=1401344/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1361.96
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 136194 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 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: 1.00 1.01 1.00 2/108 22301
/proc/meminfo: memFree=1401220/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1421.95
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 142193 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 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: 1.00 1.01 1.00 2/108 22303
/proc/meminfo: memFree=1401220/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1481.93
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 148191 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 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: 1.00 1.00 1.00 2/108 22305
/proc/meminfo: memFree=1400972/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1541.91
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 154189 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22305
/proc/meminfo: memFree=1400848/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1601.9
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 160188 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134519909 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 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.00 1.00 1.00 2/108 22316
/proc/meminfo: memFree=1400228/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1661.87
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 166185 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22318
/proc/meminfo: memFree=1400352/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1721.86
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 172184 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22320
/proc/meminfo: memFree=1400352/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1781.84
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 178182 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.84
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 22320
/proc/meminfo: memFree=1400352/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1800.04
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 180002 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22320
/proc/meminfo: memFree=1400352/2059040 swapFree=4192956/4192956
[pid=22261] ppid=22259 vsize=8700 CPUtime=0
/proc/22261/stat : 22261 (run) S 22259 22261 21333 0 -1 4202496 359 0 0 0 0 0 0 0 19 0 1 0 12332918 8908800 244 1992294400 4194304 4922060 140733389852528 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22261/statm: 2175 244 204 178 0 68 0
[pid=22262] ppid=22261 vsize=40452 CPUtime=1800.04
/proc/22262/stat : 22262 (PB-wave) R 22261 22261 21333 0 -1 4202496 1640 0 0 0 180002 2 0 0 25 0 1 0 12332918 41422848 1570 1992294400 134512640 135071400 4294796320 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22262/statm: 10113 1570 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1800.03
CPU system time (s): 0.026995
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2012
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= 4
involuntary context switches= 13152

runsolver used 2.94655 second user time and 8.59769 second system time

The end

Launcher Data 

Begin job on node015 at 2010-07-06 20:33:24
IDJOB=2685434
IDBENCH=75773
IDSOLVER=1171
FILE ID=node015/2685434-1278441204
PBS_JOBID= 11233456
Free space on /tmp= 62584 MiB

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

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

MD5SUM BENCH= fab97298bb200d43ab726d5ed3b8b0cb
RANDOM SEED=1018841933

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
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:       1411924 kB
Buffers:        110652 kB
Cached:         396784 kB
SwapCached:          0 kB
Active:         219984 kB
Inactive:       348540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1411924 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2592 kB
Writeback:           0 kB
AnonPages:       61132 kB
Mapped:          14384 kB
Slab:            56676 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182992 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= 62580 MiB
End job on node015 at 2010-07-06 21:03:25