Trace number 2685588

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-j6030_9-unsat.opb
MD5SUMf9d555c8d7cd5b0fec309976f30b1d93
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.18697
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11956
Total number of constraints39426
Number of constraints which are clauses39038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints388
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 416
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.11	c PB-wave - v2
0.00/0.11	c command line = ./PB-wave
0.00/0.11	c seed = 54559704
0.00/0.11	c cutoff = 1000000
0.00/0.11	c tries = 1000000
0.00/0.11	c heuristic = c best, noise 50 / 100
0.00/0.11	#var 11956 #con 39426
0.00/0.11	mode is SAT
0.00/0.11	c tail starts after flip = 35868
0.00/0.11	c numatom = 11956, numclause = 39426, numliterals = 106587
0.00/0.11	c wff read in
0.00/0.11	c 
0.00/0.11	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.11	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.11	c       this      this      this      this      this      this   success   success       until         std
0.00/0.11	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.11	c
1.68/1.71	c       386       477    607.35     70.20      8.65   1000000         0
3.29/3.31	c       392       672    594.25     70.13      8.47   1000000         0
4.88/4.92	c       411       589    609.32     66.37      9.18   1000000         0
6.49/6.52	c       407       528    597.63     72.27      8.27   1000000         0
8.08/8.12	c       436       605    618.89     75.45      8.20   1000000         0
9.68/9.72	c       439       628    602.54     65.32      9.22   1000000         0
11.28/11.32	c       403       513    608.65     70.25      8.66   1000000         0
12.88/12.93	c       398       717    603.73     61.30      9.85   1000000         0
14.48/14.53	c       382       586    602.30     68.72      8.76   1000000         0
16.08/16.13	c       414       541    608.70     75.08      8.11   1000000         0
17.68/17.73	c       380       562    594.91     66.51      8.94   1000000         0
19.28/19.33	c       387       528    611.62     68.47      8.93   1000000         0
20.88/20.93	c       400       580    584.21     65.94      8.86   1000000         0
22.48/22.53	c       367       606    593.61     64.61      9.19   1000000         0
24.08/24.13	c       403       549    587.88     66.29      8.87   1000000         0
25.68/25.73	c       362       585    598.05     68.50      8.73   1000000         0
27.28/27.33	c       377       609    603.18     64.61      9.34   1000000         0
28.87/28.93	c       420       540    605.89     69.85      8.67   1000000         0
30.47/30.53	c       428       484    600.59     65.45      9.18   1000000         0
32.07/32.14	c       411       598    603.75     68.86      8.77   1000000         0
33.67/33.74	c       430       569    605.22     61.12      9.90   1000000         0
35.27/35.34	c       332       617    610.09     85.90      7.10   1000000         0
36.87/36.94	c       412       586    595.87     69.72      8.55   1000000         0
38.48/38.54	c       436       625    609.67     68.17      8.94   1000000         0
40.07/40.14	c       432       632    601.06     70.38      8.54   1000000         0
41.68/41.74	c       425       514    605.52     63.54      9.53   1000000         0
43.27/43.34	c       413       553    604.73     82.97      7.29   1000000         0
44.87/44.95	c       418       688    616.32     71.68      8.60   1000000         0
46.47/46.55	c       388       580    594.02     73.18      8.12   1000000         0
48.07/48.15	c       347       655    598.38     68.19      8.77   1000000         0
49.67/49.75	c       409       557    604.99     66.46      9.10   1000000         0
51.27/51.35	c       423       467    606.39     76.26      7.95   1000000         0
52.87/52.96	c       418       467    610.79     67.55      9.04   1000000         0
54.47/54.56	c       422       720    607.96     65.33      9.31   1000000         0
56.08/56.16	c       401       625    596.14     71.62      8.32   1000000         0
57.67/57.76	c       383       595    601.53     73.00      8.24   1000000         0
59.27/59.36	c       392       652    615.54     67.60      9.11   1000000         0
60.87/60.96	c       423       563    597.65     68.76      8.69   1000000         0
62.47/62.56	c       413       649    612.52     65.01      9.42   1000000         0
64.07/64.16	c       427       599    595.08     62.86      9.47   1000000         0
65.67/65.76	c       342       677    595.54     72.84      8.18   1000000         0
67.26/67.36	c       417       549    602.56     76.04      7.92   1000000         0
68.86/68.96	c       391       629    611.43     76.74      7.97   1000000         0
70.46/70.55	c       395       588    585.31     70.93      8.25   1000000         0
72.06/72.15	c       407       694    606.88     64.39      9.42   1000000         0
73.67/73.76	c       442       521    624.06     80.70      7.73   1000000         0
75.26/75.36	c       400       615    608.63     71.17      8.55   1000000         0
76.87/76.96	c       392       628    601.84     68.05      8.84   1000000         0
78.46/78.56	c       404       645    599.07     67.39      8.89   1000000         0
80.06/80.17	c       401       680    610.42     64.03      9.53   1000000         0
81.66/81.77	c       412       577    601.08     62.62      9.60   1000000         0
83.26/83.37	c       418       542    605.21     66.23      9.14   1000000         0
84.86/84.97	c       434       699    615.46     70.11      8.78   1000000         0
86.46/86.57	c       378       624    601.37     71.09      8.46   1000000         0
88.06/88.17	c       352       504    589.52     70.91      8.31   1000000         0
89.66/89.77	c       406       582    601.44     71.81      8.37   1000000         0
91.27/91.37	c       372       614    612.24     72.07      8.50   1000000         0
92.86/92.97	c       446       600    612.45     62.96      9.73   1000000         0
94.46/94.58	c       422       576    617.11     71.00      8.69   1000000         0
96.06/96.18	c       412       554    599.71     64.67      9.27   1000000         0
97.66/97.78	c       403       500    616.72     70.86      8.70   1000000         0
99.26/99.38	c       413       559    601.52     63.73      9.44   1000000         0
100.86/100.98	c       420       546    599.56     63.66      9.42   1000000         0
102.46/102.58	c       373       533    601.94     70.27      8.57   1000000         0
104.06/104.19	c       401       588    615.73     70.87      8.69   1000000         0
105.66/105.78	c       450       701    614.24     66.90      9.18   1000000         0
107.26/107.38	c       383       571    602.01     80.62      7.47   1000000         0
108.86/108.98	c       368       568    598.87     72.53      8.26   1000000         0
110.45/110.58	c       392       590    601.44     76.69      7.84   1000000         0
112.06/112.18	c       370       647    594.53     68.45      8.69   1000000         0
113.65/113.78	c       378       615    608.39     64.10      9.49   1000000         0
115.25/115.38	c       392       604    609.08     74.12      8.22   1000000         0
116.85/116.98	c       381       564    611.54     67.71      9.03   1000000         0
118.45/118.58	c       411       491    600.02     69.85      8.59   1000000         0
120.05/120.18	c       413       596    595.89     67.99      8.76   1000000         0
121.65/121.78	c       425       699    603.60     64.21      9.40   1000000         0
123.25/123.38	c       411       519    613.96     69.48      8.84   1000000         0
124.85/124.98	c       416       551    605.44     63.85      9.48   1000000         0
126.46/126.59	c       426       710    606.07     63.79      9.50   1000000         0
128.05/128.19	c       412       569    604.03     71.11      8.49   1000000         0
129.67/129.79	c       408       517    611.57     72.31      8.46   1000000         0
131.26/131.39	c       416       580    598.63     68.92      8.69   1000000         0
132.86/132.99	c       383       519    597.05     75.27      7.93   1000000         0
134.46/134.59	c       407       664    600.88     67.77      8.87   1000000         0
136.06/136.19	c       438       620    607.24     64.34      9.44   1000000         0
137.66/137.79	c       389       537    595.22     86.61      6.87   1000000         0
139.26/139.39	c       398       598    613.44     63.92      9.60   1000000         0
140.96/141.00	c       419       528    615.60     82.85      7.43   1000000         0
142.56/142.60	c       399       595    612.55     71.37      8.58   1000000         0
144.06/144.19	c       399       484    592.62     68.71      8.62   1000000         0
145.75/145.80	c       367       544    605.06     74.44      8.13   1000000         0
147.26/147.40	c       400       573    595.64     72.44      8.22   1000000         0
148.95/149.00	c       396       520    596.67     67.04      8.90   1000000         0
150.56/150.60	c       372       719    608.52     69.59      8.74   1000000         0
152.15/152.20	c       410       600    617.48     66.57      9.28   1000000         0
153.75/153.80	c       421       665    607.09     75.77      8.01   1000000         0
155.35/155.40	c       400       574    604.58     72.44      8.35   1000000         0
156.95/157.00	c       407       592    589.85     63.46      9.30   1000000         0
158.55/158.60	c       397       758    611.19     72.27      8.46   1000000         0
160.15/160.20	c       381       590    597.47     72.28      8.27   1000000         0
161.75/161.81	c       410       571    602.97     67.61      8.92   1000000         0
163.35/163.41	c       423       579    610.14     67.20      9.08   1000000         0
164.96/165.01	c       434       592    616.06     81.84      7.53   1000000         0
166.55/166.61	c       360       653    604.39     72.48      8.34   1000000         0
168.16/168.21	c       396       631    600.42     65.30      9.19   1000000         0
169.75/169.81	c       415       668    609.17     79.24      7.69   1000000         0
171.35/171.41	c       403       586    595.44     70.35      8.46   1000000         0
172.95/173.01	c       436       450    618.84     62.30      9.93   1000000         0
174.55/174.62	c       431       641    616.05     75.17      8.20   1000000         0
176.15/176.22	c       408       661    598.97     69.34      8.64   1000000         0
177.75/177.82	c       397       483    601.42     65.70      9.15   1000000         0
179.35/179.42	c       437       509    606.60     72.29      8.39   1000000         0
180.95/181.02	c       406       702    604.11     68.58      8.81   1000000         0
182.55/182.63	c       397       544    602.55     79.27      7.60   1000000         0
184.15/184.23	c       418       540    603.80     64.08      9.42   1000000         0
185.75/185.83	c       398       558    603.50     70.45      8.57   1000000         0
187.34/187.43	c       395       482    607.05     64.97      9.34   1000000         0
188.94/189.03	c       386       659    593.09     72.54      8.18   1000000         0
190.54/190.63	c       400       573    601.32     72.73      8.27   1000000         0
192.14/192.24	c       351       582    609.93     68.08      8.96   1000000         0
193.74/193.84	c       420       708    610.33     58.64     10.41   1000000         0
195.34/195.44	c       425       582    609.20     71.95      8.47   1000000         0
196.94/197.04	c       396       650    594.50     69.75      8.52   1000000         0
198.54/198.64	c       391       618    611.94     71.77      8.53   1000000         0
200.15/200.25	c       364       538    615.74     71.24      8.64   1000000         0
201.74/201.85	c       373       654    611.65     69.91      8.75   1000000         0
203.35/203.45	c       417       554    594.08     67.87      8.75   1000000         0
204.94/205.05	c       414       556    604.49     67.72      8.93   1000000         0
206.54/206.65	c       372       789    607.82     68.66      8.85   1000000         0
208.14/208.25	c       428       603    600.96     83.35      7.21   1000000         0
209.74/209.85	c       394       638    615.19     78.05      7.88   1000000         0
211.34/211.45	c       427       671    602.49     70.42      8.56   1000000         0
212.94/213.06	c       431       693    623.66     75.53      8.26   1000000         0
214.54/214.66	c       365       613    592.82     81.68      7.26   1000000         0
216.14/216.26	c       372       674    601.62     65.97      9.12   1000000         0
217.74/217.87	c       397       724    597.38     67.87      8.80   1000000         0
219.34/219.47	c       418       546    610.72     73.34      8.33   1000000         0
220.94/221.07	c       415       579    598.75     61.48      9.74   1000000         0
222.54/222.67	c       392       568    596.86     75.36      7.92   1000000         0
224.13/224.27	c       376       592    593.66     65.20      9.10   1000000         0
225.73/225.88	c       430       579    612.06     70.11      8.73   1000000         0
227.33/227.47	c       391       649    592.83     71.00      8.35   1000000         0
228.93/229.07	c       406       555    603.33     67.63      8.92   1000000         0
230.53/230.68	c       389       600    597.73     68.21      8.76   1000000         0
232.13/232.28	c       398       541    616.33     73.31      8.41   1000000         0
233.73/233.88	c       416       646    605.32     65.80      9.20   1000000         0
235.34/235.49	c       427       611    603.75     81.90      7.37   1000000         0
236.93/237.09	c       419       542    610.02     68.22      8.94   1000000         0
238.54/238.70	c       388       484    610.07     71.61      8.52   1000000         0
240.23/240.30	c       411       579    607.11     68.11      8.91   1000000         0
241.84/241.90	c       444       552    610.44     66.03      9.25   1000000         0
243.43/243.50	c       421       599    601.65     77.62      7.75   1000000         0
245.03/245.10	c       408       491    598.93     64.64      9.27   1000000         0
246.63/246.70	c       429       581    597.23     64.79      9.22   1000000         0
248.23/248.31	c       405       577    608.06     71.55      8.50   1000000         0
249.83/249.91	c       424       674    609.77     67.53      9.03   1000000         0
251.43/251.51	c       410       550    601.04     67.39      8.92   1000000         0
253.03/253.12	c       366       485    604.89     81.08      7.46   1000000         0
254.63/254.71	c       384       638    588.78     69.90      8.42   1000000         0
256.23/256.31	c       386       561    601.14     64.39      9.34   1000000         0
257.83/257.91	c       418       524    605.19     73.40      8.25   1000000         0
259.43/259.51	c       368       500    604.20     73.77      8.19   1000000         0
261.03/261.11	c       406       601    588.28     66.42      8.86   1000000         0
262.63/262.71	c       392       583    616.83     79.44      7.76   1000000         0
264.22/264.31	c       402       572    597.09     61.07      9.78   1000000         0
265.82/265.91	c       398       589    597.17     70.49      8.47   1000000         0
267.42/267.51	c       419       590    601.10     67.62      8.89   1000000         0
269.02/269.11	c       366       525    607.03     67.75      8.96   1000000         0
270.62/270.71	c       395       724    594.64     67.25      8.84   1000000         0
272.22/272.31	c       449       584    622.75     72.77      8.56   1000000         0
273.83/273.91	c       391       719    597.04     67.66      8.82   1000000         0
275.42/275.51	c       399       558    598.91     73.10      8.19   1000000         0
277.03/277.11	c       373       517    593.93     76.96      7.72   1000000         0
278.62/278.71	c       398       577    604.71     71.81      8.42   1000000         0
280.22/280.31	c       402       592    609.70     79.47      7.67   1000000         0
281.82/281.91	c       410       565    597.71     62.25      9.60   1000000         0
283.42/283.51	c       394       640    595.94     64.04      9.31   1000000         0
285.02/285.11	c       400       649    594.34     69.74      8.52   1000000         0
286.62/286.70	c       398       539    582.25     72.95      7.98   1000000         0
288.22/288.31	c       404       572    618.45     71.91      8.60   1000000         0
289.82/289.91	c       415       657    618.97     75.16      8.24   1000000         0
291.42/291.51	c       386       505    593.16     65.24      9.09   1000000         0
293.02/293.11	c       374       550    604.53     71.63      8.44   1000000         0
294.62/294.72	c       409       557    613.61     75.44      8.13   1000000         0
296.22/296.32	c       393       508    594.58     74.14      8.02   1000000         0
297.82/297.92	c       382       547    602.11     74.83      8.05   1000000         0
299.42/299.52	c       405       707    598.45     64.96      9.21   1000000         0
301.02/301.12	c       420       586    602.19     66.47      9.06   1000000         0
302.61/302.73	c       433       599    615.60     67.83      9.08   1000000         0
304.21/304.33	c       387       560    606.54     79.39      7.64   1000000         0
305.81/305.93	c       392       559    598.94     69.59      8.61   1000000         0
307.41/307.52	c       408       495    596.12     62.19      9.58   1000000         0
309.02/309.13	c       423       539    605.52     68.79      8.80   1000000         0
310.61/310.73	c       354       603    607.70     71.54      8.49   1000000         0
312.22/312.33	c       373       500    594.20     64.42      9.22   1000000         0
313.81/313.92	c       414       622    604.05     70.55      8.56   1000000         0
315.41/315.53	c       400       664    604.29     71.27      8.48   1000000         0
317.01/317.13	c       427       602    607.64     64.20      9.46   1000000         0
318.61/318.72	c       391       539    593.38     70.58      8.41   1000000         0
320.21/320.33	c       395       639    615.80     82.37      7.48   1000000         0
321.81/321.93	c       395       641    600.83     76.43      7.86   1000000         0
323.41/323.52	c       363       634    590.69     69.34      8.52   1000000         0
325.01/325.12	c       414       666    608.12     64.63      9.41   1000000         0
326.62/326.72	c       382       603    594.94     75.47      7.88   1000000         0
328.21/328.33	c       386       533    592.80     66.16      8.96   1000000         0
329.81/329.93	c       402       579    606.40     73.66      8.23   1000000         0
331.41/331.53	c       346       593    593.83     72.56      8.18   1000000         0
333.01/333.13	c       403       593    602.40     71.93      8.37   1000000         0
334.61/334.73	c       402       580    607.97     65.16      9.33   1000000         0
336.21/336.33	c       371       645    601.43     68.43      8.79   1000000         0
337.81/337.93	c       394       676    604.93     68.57      8.82   1000000         0
339.41/339.53	c       435       623    603.89     67.07      9.00   1000000         0
341.01/341.13	c       425       509    602.98     70.72      8.53   1000000         0
342.60/342.73	c       408       699    605.05     73.47      8.23   1000000         0
344.21/344.34	c       421       631    606.66     69.33      8.75   1000000         0
345.80/345.94	c       415       606    612.60     70.56      8.68   1000000         0
347.41/347.55	c       418       586    611.94     65.89      9.29   1000000         0
349.00/349.15	c       383       620    601.38     80.02      7.52   1000000         0
350.60/350.75	c       389       572    611.47     70.73      8.65   1000000         0
352.20/352.35	c       371       614    601.17     75.65      7.95   1000000         0
353.80/353.95	c       394       524    599.82     66.22      9.06   1000000         0
355.40/355.55	c       394       577    598.66     67.75      8.84   1000000         0
357.00/357.15	c       415       596    601.55     67.73      8.88   1000000         0
358.60/358.75	c       381       548    588.93     59.45      9.91   1000000         0
360.20/360.35	c       382       569    605.04     69.67      8.68   1000000         0
361.81/361.95	c       415       632    607.54     67.25      9.03   1000000         0
363.40/363.55	c       417       541    589.29     64.09      9.19   1000000         0
365.01/365.15	c       374       620    596.22     82.08      7.26   1000000         0
366.60/366.75	c       386       658    600.72     69.09      8.70   1000000         0
368.20/368.35	c       394       545    609.30     71.67      8.50   1000000         0
369.80/369.95	c       383       548    603.00     71.06      8.49   1000000         0
371.40/371.55	c       409       569    594.14     68.43      8.68   1000000         0
373.00/373.15	c       404       692    611.57     72.18      8.47   1000000         0
374.60/374.75	c       353       587    605.81     74.00      8.19   1000000         0
376.19/376.36	c       420       631    616.54     66.74      9.24   1000000         0
377.80/377.96	c       387       567    588.40     75.45      7.80   1000000         0
379.40/379.55	c       426       612    599.44     56.37     10.63   1000000         0
381.00/381.16	c       433       527    615.39     74.54      8.26   1000000         0
382.60/382.75	c       356       689    594.12     72.64      8.18   1000000         0
384.19/384.36	c       392       603    600.60     74.69      8.04   1000000         0
385.79/385.96	c       431       670    601.00     61.16      9.83   1000000         0
387.39/387.56	c       382       528    587.90     65.03      9.04   1000000         0
388.99/389.15	c       389       560    590.56     67.57      8.74   1000000         0
390.59/390.75	c       402       565    601.53     72.08      8.34   1000000         0
392.19/392.36	c       408       617    599.32     69.97      8.57   1000000         0
393.79/393.96	c       399       583    596.35     67.09      8.89   1000000         0
395.39/395.56	c       443       675    611.20     63.04      9.69   1000000         0
397.00/397.17	c       412       520    606.48     79.11      7.67   1000000         0
398.59/398.77	c       415       622    610.92     84.82      7.20   1000000         0
400.19/400.37	c       390       466    603.41     70.65      8.54   1000000         0
401.79/401.97	c       416       635    610.32     65.43      9.33   1000000         0
403.39/403.58	c       389       557    601.90     77.90      7.73   1000000         0
404.99/405.18	c       418       578    603.26     74.50      8.10   1000000         0
406.59/406.78	c       396       642    604.85     64.82      9.33   1000000         0
408.18/408.38	c       390       604    600.00     69.81      8.59   1000000         0
409.78/409.98	c       392       583    592.05     68.68      8.62   1000000         0
411.38/411.59	c       378       551    604.82     67.64      8.94   1000000         0
412.98/413.19	c       428       564    614.02     68.31      8.99   1000000         0
414.59/414.79	c       371       695    599.34     69.00      8.69   1000000         0
416.18/416.39	c       416       657    605.36     74.11      8.17   1000000         0
417.79/418.00	c       331       577    597.85     72.54      8.24   1000000         0
419.48/419.60	c       418       579    602.54     64.92      9.28   1000000         0
421.09/421.20	c       435       619    613.39     67.20      9.13   1000000         0
422.68/422.80	c       429       622    598.58     70.28      8.52   1000000         0
424.28/424.40	c       406       651    595.04     69.84      8.52   1000000         0
425.88/426.00	c       405       677    613.14     60.48     10.14   1000000         0
427.48/427.61	c       393       641    612.01     67.74      9.03   1000000         0
429.08/429.21	c       376       694    596.01     66.28      8.99   1000000         0
430.68/430.81	c       392       691    600.34     66.81      8.99   1000000         0
432.28/432.41	c       388       642    585.40     71.23      8.22   1000000         0
433.88/434.01	c       406       606    598.68     70.03      8.55   1000000         0
435.49/435.61	c       367       574    599.79     80.25      7.47   1000000         0
437.08/437.21	c       375       635    587.22     66.18      8.87   1000000         0
438.69/438.81	c       370       511    609.09     77.47      7.86   1000000         0
440.28/440.41	c       380       589    618.79     67.66      9.15   1000000         0
441.88/442.02	c       391       634    604.58     67.17      9.00   1000000         0
443.48/443.61	c       420       601    597.59     68.98      8.66   1000000         0
445.08/445.22	c       412       739    607.46     68.80      8.83   1000000         0
446.68/446.82	c       404       516    604.24     72.53      8.33   1000000         0
448.28/448.42	c       407       629    610.34     71.51      8.53   1000000         0
449.88/450.02	c       428       599    598.84     61.98      9.66   1000000         0
451.47/451.62	c       416       575    608.88     67.93      8.96   1000000         0
453.08/453.22	c       359       656    600.40     67.52      8.89   1000000         0
454.67/454.82	c       386       597    603.86     63.70      9.48   1000000         0
456.28/456.42	c       386       710    599.26     71.60      8.37   1000000         0
457.87/458.02	c       434       540    609.36     65.64      9.28   1000000         0
459.47/459.62	c       391       647    600.05     68.08      8.81   1000000         0
461.07/461.23	c       418       683    605.37     69.92      8.66   1000000         0
462.67/462.82	c       382       619    603.92     69.61      8.68   1000000         0
464.27/464.43	c       385       578    590.54     67.44      8.76   1000000         0
465.87/466.03	c       394       568    599.86     68.87      8.71   1000000         0
467.47/467.63	c       403       599    598.27     62.14      9.63   1000000         0
469.07/469.23	c       418       655    607.53     63.02      9.64   1000000         0
470.68/470.83	c       393       598    599.01     77.38      7.74   1000000         0
472.27/472.44	c       426       654    601.30     69.29      8.68   1000000         0
473.88/474.03	c       389       508    584.63     67.28      8.69   1000000         0
475.47/475.64	c       397       646    621.78     68.10      9.13   1000000         0
477.07/477.24	c       415       604    611.83     75.03      8.15   1000000         0
478.67/478.84	c       410       523    610.48     68.68      8.89   1000000         0
480.27/480.44	c       409       591    610.44     60.99     10.01   1000000         0
481.87/482.04	c       392       728    606.58     82.28      7.37   1000000         0
483.47/483.64	c       409       675    600.38     66.59      9.02   1000000         0
485.07/485.24	c       407       646    595.67     71.08      8.38   1000000         0
486.67/486.84	c       403       660    608.29     63.32      9.61   1000000         0
488.27/488.44	c       428       607    606.23     69.28      8.75   1000000         0
489.87/490.05	c       392       655    611.31     62.64      9.76   1000000         0
491.47/491.65	c       404       556    593.84     64.85      9.16   1000000         0
493.07/493.26	c       383       598    613.14     74.09      8.28   1000000         0
494.66/494.86	c       409       660    603.92     77.37      7.81   1000000         0
496.26/496.46	c       405       562    601.19     66.98      8.98   1000000         0
497.86/498.07	c       405       647    600.60     71.52      8.40   1000000         0
499.46/499.67	c       419       600    606.31     72.60      8.35   1000000         0
501.06/501.27	c       414       514    598.57     67.17      8.91   1000000         0
502.66/502.87	c       426       625    604.80     65.19      9.28   1000000         0
504.26/504.47	c       406       567    594.16     68.17      8.72   1000000         0
505.87/506.07	c       386       621    591.35     62.38      9.48   1000000         0
507.46/507.67	c       386       554    604.63     68.48      8.83   1000000         0
509.07/509.27	c       423       605    611.61     68.82      8.89   1000000         0
510.66/510.87	c       397       616    603.54     66.79      9.04   1000000         0
512.26/512.47	c       413       669    614.46     71.33      8.61   1000000         0
513.86/514.08	c       392       520    620.84     85.25      7.28   1000000         0
515.46/515.68	c       403       486    601.93     71.86      8.38   1000000         0
517.06/517.28	c       377       531    586.46     65.80      8.91   1000000         0
518.66/518.88	c       424       582    603.73     64.62      9.34   1000000         0
520.26/520.48	c       431       481    626.35     75.72      8.27   1000000         0
521.86/522.08	c       419       602    612.75     75.39      8.13   1000000         0
523.46/523.68	c       391       584    608.37     66.90      9.09   1000000         0
525.06/525.28	c       427       640    613.87     58.97     10.41   1000000         0
526.66/526.89	c       419       600    600.25     64.80      9.26   1000000         0
528.25/528.48	c       419       574    588.52     62.44      9.43   1000000         0
529.85/530.09	c       411       510    600.08     69.63      8.62   1000000         0
531.45/531.69	c       401       631    601.78     70.71      8.51   1000000         0
533.05/533.29	c       410       546    614.64     67.85      9.06   1000000         0
534.65/534.89	c       417       645    612.82     69.94      8.76   1000000         0
536.35/536.50	c       398       623    602.98     71.17      8.47   1000000         0
537.85/538.10	c       406       614    613.23     70.61      8.68   1000000         0
539.45/539.70	c       378       617    607.01     79.58      7.63   1000000         0
541.06/541.29	c       426       580    604.76     67.59      8.95   1000000         0
542.65/542.89	c       408       572    603.37     63.42      9.51   1000000         0
544.26/544.49	c       401       595    610.49     77.49      7.88   1000000         0
545.85/546.09	c       377       572    601.76     68.08      8.84   1000000         0
547.45/547.69	c       413       566    602.82     58.18     10.36   1000000         0
549.05/549.29	c       383       600    608.99     73.85      8.25   1000000         0
550.65/550.89	c       402       664    601.37     74.60      8.06   1000000         0
552.25/552.50	c       404       547    605.86     69.71      8.69   1000000         0
553.95/554.10	c       406       544    605.01     62.95      9.61   1000000         0
555.55/555.70	c       421       544    601.25     66.02      9.11   1000000         0
557.15/557.30	c       368       604    608.72     75.05      8.11   1000000         0
558.75/558.90	c       396       665    588.94     65.81      8.95   1000000         0
560.35/560.50	c       408       547    605.60     64.63      9.37   1000000         0
561.95/562.10	c       388       690    607.26     80.50      7.54   1000000         0
563.55/563.71	c       392       575    608.67     67.27      9.05   1000000         0
565.15/565.31	c       415       494    608.17     76.37      7.96   1000000         0
566.74/566.92	c       384       580    600.92     67.27      8.93   1000000         0
568.34/568.52	c       398       528    606.13     73.22      8.28   1000000         0
569.94/570.12	c       392       505    595.00     69.80      8.52   1000000         0
571.54/571.72	c       396       564    611.77     80.20      7.63   1000000         0
573.14/573.32	c       381       663    600.06     70.38      8.53   1000000         0
574.74/574.92	c       424       645    606.59     62.54      9.70   1000000         0
576.34/576.52	c       408       483    603.19     68.77      8.77   1000000         0
577.94/578.12	c       414       673    592.87     69.29      8.56   1000000         0
579.55/579.72	c       399       568    599.52     71.17      8.42   1000000         0
581.14/581.33	c       403       552    604.19     73.57      8.21   1000000         0
582.75/582.93	c       390       562    599.37     67.82      8.84   1000000         0
584.34/584.53	c       398       636    602.83     66.40      9.08   1000000         0
585.94/586.13	c       391       596    609.91     66.78      9.13   1000000         0
587.54/587.73	c       395       614    589.17     67.40      8.74   1000000         0
589.14/589.33	c       410       617    607.70     70.55      8.61   1000000         0
590.74/590.93	c       409       577    603.07     64.18      9.40   1000000         0
592.34/592.53	c       368       578    601.51     68.99      8.72   1000000         0
593.94/594.13	c       386       605    604.35     68.79      8.79   1000000         0
595.54/595.74	c       377       562    600.58     74.39      8.07   1000000         0
597.14/597.33	c       404       568    598.93     63.83      9.38   1000000         0
598.73/598.93	c       418       616    613.57     67.23      9.13   1000000         0
600.34/600.53	c       394       567    598.06     77.11      7.76   1000000         0
601.93/602.14	c       392       586    606.13     71.15      8.52   1000000         0
603.53/603.74	c       451       660    622.14     66.86      9.31   1000000         0
605.13/605.34	c       417       648    604.36     59.19     10.21   1000000         0
606.73/606.94	c       396       659    604.04     69.71      8.66   1000000         0
608.34/608.55	c       409       493    604.22     65.63      9.21   1000000         0
609.94/610.15	c       422       639    609.98     69.74      8.75   1000000         0
611.54/611.75	c       385       639    609.80     76.00      8.02   1000000         0
613.14/613.35	c       381       530    592.14     69.94      8.47   1000000         0
614.75/614.96	c       404       619    609.86     77.90      7.83   1000000         0
616.34/616.56	c       453       530    607.87     68.68      8.85   1000000         0
617.95/618.15	c       419       628    605.73     80.53      7.52   1000000         0
619.54/619.76	c       372       704    619.52     75.68      8.19   1000000         0
621.14/621.35	c       390       706    600.36     70.05      8.57   1000000         0
622.74/622.95	c       401       659    599.99     67.54      8.88   1000000         0
624.34/624.55	c       408       686    612.59     71.09      8.62   1000000         0
625.94/626.16	c       398       585    622.38     77.24      8.06   1000000         0
627.54/627.76	c       398       527    598.90     74.14      8.08   1000000         0
629.14/629.36	c       427       595    615.48     72.90      8.44   1000000         0
630.73/630.95	c       397       575    593.45     69.39      8.55   1000000         0
632.34/632.55	c       438       602    607.65     65.06      9.34   1000000         0
633.93/634.16	c       408       566    613.76     66.13      9.28   1000000         0
635.54/635.76	c       379       586    604.12     75.85      7.96   1000000         0
637.13/637.36	c       390       527    597.78     75.82      7.88   1000000         0
638.73/638.96	c       413       612    611.90     69.42      8.81   1000000         0
640.33/640.56	c       365       614    600.75     74.50      8.06   1000000         0
641.93/642.16	c       413       544    603.90     65.70      9.19   1000000         0
643.53/643.77	c       408       565    600.54     79.45      7.56   1000000         0
645.13/645.37	c       399       558    610.01     71.06      8.58   1000000         0
646.73/646.97	c       407       666    601.64     72.98      8.24   1000000         0
648.33/648.57	c       410       659    601.86     68.03      8.85   1000000         0
649.94/650.17	c       367       685    603.03     70.05      8.61   1000000         0
651.53/651.77	c       394       656    600.27     64.50      9.31   1000000         0
653.13/653.37	c       402       582    606.89     73.00      8.31   1000000         0
654.73/654.97	c       396       582    613.24     79.26      7.74   1000000         0
656.33/656.58	c       410       639    605.46     68.69      8.81   1000000         0
657.93/658.18	c       405       567    610.78     68.41      8.93   1000000         0
659.53/659.78	c       394       671    592.51     69.17      8.57   1000000         0
661.13/661.38	c       386       596    602.01     71.26      8.45   1000000         0
662.73/662.98	c       381       702    601.45     64.79      9.28   1000000         0
664.33/664.57	c       399       579    600.21     75.55      7.94   1000000         0
665.92/666.17	c       399       565    605.84     68.49      8.85   1000000         0
667.53/667.77	c       397       630    599.43     71.31      8.41   1000000         0
669.12/669.38	c       406       599    606.57     67.88      8.94   1000000         0
670.73/670.98	c       390       577    609.27     67.73      9.00   1000000         0
672.32/672.58	c       439       626    601.46     61.43      9.79   1000000         0
673.92/674.18	c       352       615    595.54     70.58      8.44   1000000         0
675.52/675.78	c       433       660    602.04     66.42      9.06   1000000         0
677.12/677.37	c       413       610    606.39     77.48      7.83   1000000         0
678.72/678.98	c       379       631    609.03     64.90      9.38   1000000         0
680.32/680.58	c       383       637    603.74     72.58      8.32   1000000         0
681.92/682.18	c       390       612    619.64     85.57      7.24   1000000         0
683.52/683.79	c       395       595    600.04     67.36      8.91   1000000         0
685.13/685.39	c       405       562    611.05     69.08      8.85   1000000         0
686.72/686.99	c       407       641    598.35     70.53      8.48   1000000         0
688.33/688.59	c       381       773    612.38     69.90      8.76   1000000         0
689.92/690.19	c       360       580    592.50     80.04      7.40   1000000         0
691.52/691.79	c       383       669    593.26     69.32      8.56   1000000         0
693.22/693.40	c       400       685    603.01     71.05      8.49   1000000         0
694.82/695.00	c       388       596    608.72     75.43      8.07   1000000         0
696.42/696.61	c       401       524    609.65     67.60      9.02   1000000         0
698.02/698.21	c       411       649    600.82     80.30      7.48   1000000         0
699.62/699.81	c       415       449    597.99     69.52      8.60   1000000         0
701.22/701.41	c       431       548    604.88     64.07      9.44   1000000         0
702.82/703.01	c       382       630    595.29     68.45      8.70   1000000         0
704.41/704.61	c       401       689    597.90     71.34      8.38   1000000         0
706.02/706.21	c       408       678    601.38     74.63      8.06   1000000         0
707.61/707.81	c       377       711    599.68     80.82      7.42   1000000         0
709.22/709.41	c       342       560    602.67     71.53      8.43   1000000         0
710.81/711.01	c       381       632    614.88     79.50      7.73   1000000         0
712.41/712.61	c       385       622    599.30     74.17      8.08   1000000         0
714.01/714.21	c       402       540    604.20     67.93      8.89   1000000         0
715.61/715.81	c       399       631    597.73     69.60      8.59   1000000         0
717.21/717.41	c       383       607    595.69     58.35     10.21   1000000         0
718.81/719.01	c       421       599    609.29     71.82      8.48   1000000         0
720.41/720.62	c       368       564    609.32     78.64      7.75   1000000         0
722.01/722.22	c       405       498    603.64     72.79      8.29   1000000         0
723.62/723.81	c       385       651    598.69     76.44      7.83   1000000         0
725.21/725.42	c       391       628    595.36     69.94      8.51   1000000         0
726.82/727.02	c       395       422    586.31     65.68      8.93   1000000         0
728.41/728.62	c       384       629    607.08     76.08      7.98   1000000         0
730.01/730.22	c       393       457    607.81     71.88      8.46   1000000         0
731.61/731.83	c       400       686    609.38     68.02      8.96   1000000         0
733.21/733.43	c       435       503    619.69     69.48      8.92   1000000         0
734.81/735.04	c       441       590    612.92     67.62      9.06   1000000         0
736.41/736.64	c       414       566    599.97     66.98      8.96   1000000         0
738.01/738.24	c       416       625    611.71     73.76      8.29   1000000         0
739.61/739.84	c       395       550    597.72     65.81      9.08   1000000         0
741.21/741.45	c       383       588    600.23     69.60      8.62   1000000         0
742.81/743.05	c       381       569    607.08     67.39      9.01   1000000         0
744.41/744.65	c       345       586    586.16     65.84      8.90   1000000         0
746.00/746.26	c       430       586    603.94     59.78     10.10   1000000         0
747.60/747.86	c       440       641    625.62     70.74      8.84   1000000         0
749.20/749.46	c       402       641    605.51     78.23      7.74   1000000         0
750.80/751.06	c       390       571    595.51     69.88      8.52   1000000         0
752.40/752.66	c       388       570    602.15     66.93      9.00   1000000         0
754.00/754.27	c       414       619    612.91     70.00      8.76   1000000         0
755.60/755.87	c       383       574    606.18     77.52      7.82   1000000         0
757.20/757.46	c       398       606    600.27     63.60      9.44   1000000         0
758.81/759.07	c       410       540    611.74     73.02      8.38   1000000         0
760.40/760.67	c       431       609    605.34     62.66      9.66   1000000         0
762.01/762.27	c       393       621    599.94     68.96      8.70   1000000         0
763.60/763.87	c       400       602    624.47     67.43      9.26   1000000         0
765.20/765.48	c       390       537    604.79     73.57      8.22   1000000         0
766.80/767.08	c       436       639    598.83     63.28      9.46   1000000         0
768.40/768.68	c       379       617    608.38     76.84      7.92   1000000         0
770.00/770.28	c       403       632    606.11     69.29      8.75   1000000         0
771.60/771.89	c       419       572    603.07     64.87      9.30   1000000         0
773.20/773.49	c       404       575    606.34     64.74      9.37   1000000         0
774.80/775.08	c       372       648    594.77     73.39      8.10   1000000         0
776.40/776.68	c       389       555    602.44     73.37      8.21   1000000         0
778.00/778.28	c       404       744    605.70     80.14      7.56   1000000         0
779.60/779.88	c       415       599    611.66     71.94      8.50   1000000         0
781.20/781.48	c       428       640    617.26     72.27      8.54   1000000         0
782.79/783.09	c       392       611    614.42     74.27      8.27   1000000         0
784.39/784.69	c       400       623    585.79     62.14      9.43   1000000         0
785.99/786.29	c       397       516    595.57     65.35      9.11   1000000         0
787.59/787.89	c       416       555    599.30     63.84      9.39   1000000         0
789.19/789.49	c       412       547    604.04     66.64      9.06   1000000         0
790.79/791.09	c       388       652    599.92     74.31      8.07   1000000         0
792.39/792.69	c       439       555    595.98     63.47      9.39   1000000         0
794.00/794.29	c       368       715    607.37     74.90      8.11   1000000         0
795.59/795.89	c       402       746    599.90     74.06      8.10   1000000         0
797.20/797.49	c       393       659    602.49     65.76      9.16   1000000         0
798.79/799.09	c       421       546    603.91     68.94      8.76   1000000         0
800.39/800.70	c       401       574    591.45     65.94      8.97   1000000         0
802.09/802.30	c       388       646    611.56     74.96      8.16   1000000         0
803.69/803.90	c       359       536    608.27     79.13      7.69   1000000         0
805.29/805.50	c       415       607    606.63     71.12      8.53   1000000         0
806.89/807.10	c       396       558    601.01     73.74      8.15   1000000         0
808.49/808.70	c       388       541    593.40     71.58      8.29   1000000         0
810.09/810.30	c       403       613    607.65     82.98      7.32   1000000         0
811.69/811.91	c       407       547    617.89     70.84      8.72   1000000         0
813.29/813.51	c       411       682    595.61     64.40      9.25   1000000         0
814.90/815.11	c       412       635    595.67     66.64      8.94   1000000         0
816.49/816.71	c       393       579    600.27     58.33     10.29   1000000         0
818.09/818.31	c       408       602    592.89     66.43      8.93   1000000         0
819.69/819.91	c       398       569    594.05     74.34      7.99   1000000         0
821.29/821.51	c       377       591    598.35     66.32      9.02   1000000         0
822.88/823.10	c       405       618    604.77     65.39      9.25   1000000         0
824.48/824.70	c       424       617    606.33     79.27      7.65   1000000         0
826.08/826.30	c       400       648    598.60     64.24      9.32   1000000         0
827.68/827.90	c       358       624    590.42     66.94      8.82   1000000         0
829.28/829.50	c       381       656    598.42     65.41      9.15   1000000         0
830.88/831.10	c       406       615    604.60     70.68      8.55   1000000         0
832.39/832.70	c       411       570    605.93     68.07      8.90   1000000         0
834.08/834.31	c       396       539    605.97     73.80      8.21   1000000         0
835.69/835.91	c       391       671    585.40     67.31      8.70   1000000         0
837.28/837.51	c       395       623    597.59     65.29      9.15   1000000         0
838.88/839.11	c       436       587    617.52     66.72      9.26   1000000         0
840.48/840.72	c       368       613    615.77     77.47      7.95   1000000         0
842.08/842.32	c       383       685    600.52     69.61      8.63   1000000         0
843.68/843.92	c       376       556    595.51     70.38      8.46   1000000         0
845.28/845.52	c       412       565    598.91     71.70      8.35   1000000         0
846.88/847.13	c       415       677    604.65     71.18      8.49   1000000         0
848.48/848.73	c       396       558    596.78     66.71      8.95   1000000         0
850.08/850.33	c       400       629    607.57     65.98      9.21   1000000         0
851.68/851.94	c       398       696    609.57     72.04      8.46   1000000         0
853.28/853.54	c       403       573    602.63     60.14     10.02   1000000         0
854.88/855.14	c       414       616    592.53     66.79      8.87   1000000         0
856.48/856.74	c       392       631    610.54     82.49      7.40   1000000         0
858.08/858.34	c       391       579    588.20     55.17     10.66   1000000         0
859.68/859.94	c       407       575    597.60     68.93      8.67   1000000         0
861.28/861.54	c       398       565    602.18     62.42      9.65   1000000         0
862.87/863.14	c       362       577    611.53     73.73      8.29   1000000         0
864.47/864.74	c       392       603    606.48     70.71      8.58   1000000         0
866.07/866.35	c       431       670    619.77     66.73      9.29   1000000         0
867.68/867.94	c       418       509    601.53     68.51      8.78   1000000         0
869.27/869.54	c       418       591    596.59     61.60      9.69   1000000         0
870.88/871.15	c       394       681    604.79     75.68      7.99   1000000         0
872.47/872.75	c       414       555    604.86     71.53      8.46   1000000         0
874.07/874.36	c       400       543    613.89     77.98      7.87   1000000         0
875.67/875.95	c       396       614    598.64     74.05      8.08   1000000         0
877.27/877.56	c       409       614    591.58     68.75      8.60   1000000         0
878.87/879.16	c       420       496    598.43     63.91      9.36   1000000         0
880.47/880.76	c       422       592    598.91     70.35      8.51   1000000         0
882.07/882.36	c       409       650    598.74     68.06      8.80   1000000         0
883.67/883.96	c       386       583    597.23     69.76      8.56   1000000         0
885.28/885.56	c       405       565    598.09     73.78      8.11   1000000         0
886.87/887.16	c       407       532    604.34     74.16      8.15   1000000         0
888.47/888.77	c       406       655    619.37     68.15      9.09   1000000         0
890.07/890.37	c       419       450    596.42     74.12      8.05   1000000         0
891.67/891.97	c       413       599    604.64     64.53      9.37   1000000         0
893.27/893.57	c       398       609    608.33     72.07      8.44   1000000         0
894.87/895.17	c       393       675    593.41     75.03      7.91   1000000         0
896.47/896.78	c       392       467    604.37     67.44      8.96   1000000         0
898.07/898.38	c       404       620    611.73     63.25      9.67   1000000         0
899.67/899.98	c       386       603    602.37     71.27      8.45   1000000         0
901.26/901.59	c       407       577    611.87     59.77     10.24   1000000         0
902.87/903.19	c       430       704    604.25     67.54      8.95   1000000         0
904.46/904.79	c       394       594    597.40     71.40      8.37   1000000         0
906.07/906.39	c       397       541    604.17     66.01      9.15   1000000         0
907.66/907.98	c       405       533    592.66     67.22      8.82   1000000         0
909.26/909.58	c       371       669    596.20     73.89      8.07   1000000         0
910.86/911.18	c       405       777    599.57     71.24      8.42   1000000         0
912.46/912.79	c       411       631    598.06     57.14     10.47   1000000         0
914.06/914.38	c       403       536    588.84     66.04      8.92   1000000         0
915.66/915.99	c       395       549    603.76     73.94      8.17   1000000         0
917.26/917.59	c       390       645    603.86     71.78      8.41   1000000         0
918.86/919.19	c       407       709    582.29     62.98      9.25   1000000         0
920.47/920.79	c       395       512    606.29     65.38      9.27   1000000         0
922.06/922.39	c       400       669    605.70     68.52      8.84   1000000         0
923.66/923.99	c       377       789    589.78     70.06      8.42   1000000         0
925.26/925.59	c       374       634    597.78     71.54      8.36   1000000         0
926.86/927.19	c       383       575    594.87     64.84      9.17   1000000         0
928.46/928.79	c       397       642    593.36     71.36      8.32   1000000         0
930.06/930.39	c       412       542    595.73     65.54      9.09   1000000         0
931.66/931.99	c       358       580    607.62     68.82      8.83   1000000         0
933.36/933.60	c       375       637    615.04     75.36      8.16   1000000         0
934.96/935.20	c       427       681    599.20     64.56      9.28   1000000         0
936.56/936.80	c       405       512    608.51     74.10      8.21   1000000         0
938.16/938.41	c       428       664    621.71     70.11      8.87   1000000         0
939.75/940.01	c       423       469    610.74     71.51      8.54   1000000         0
941.36/941.61	c       416       707    610.76     61.08     10.00   1000000         0
942.95/943.21	c       367       642    592.92     66.52      8.91   1000000         0
944.56/944.81	c       409       516    614.70     65.55      9.38   1000000         0
946.15/946.41	c       400       539    608.74     65.29      9.32   1000000         0
947.75/948.01	c       416       547    614.29     67.55      9.09   1000000         0
949.35/949.62	c       386       590    603.64     69.57      8.68   1000000         0
950.95/951.22	c       396       632    598.64     61.31      9.76   1000000         0
952.55/952.83	c       412       627    605.79     72.68      8.33   1000000         0
954.15/954.43	c       407       550    614.27     67.63      9.08   1000000         0
955.75/956.03	c       408       594    603.98     71.80      8.41   1000000         0
957.35/957.63	c       397       464    594.92     73.19      8.13   1000000         0
958.96/959.22	c       419       529    599.17     70.37      8.51   1000000         0
960.55/960.82	c       348       673    593.62     79.08      7.51   1000000         0
962.16/962.42	c       413       573    604.95     76.19      7.94   1000000         0
963.75/964.02	c       405       562    613.15     74.96      8.18   1000000         0
965.35/965.63	c       371       605    613.21     71.49      8.58   1000000         0
966.95/967.23	c       426       596    604.94     66.87      9.05   1000000         0
968.55/968.83	c       390       652    603.81     65.87      9.17   1000000         0
970.15/970.43	c       403       547    600.21     70.16      8.56   1000000         0
971.75/972.03	c       423       597    600.05     74.73      8.03   1000000         0
973.35/973.63	c       377       463    595.64     68.77      8.66   1000000         0
974.95/975.24	c       357       560    603.99     82.69      7.30   1000000         0
976.55/976.84	c       411       478    605.11     63.60      9.51   1000000         0
978.15/978.45	c       416       552    612.55     70.41      8.70   1000000         0
979.75/980.05	c       428       565    613.61     69.92      8.78   1000000         0
981.34/981.66	c       403       671    607.62     69.62      8.73   1000000         0
982.94/983.26	c       408       694    604.20     69.36      8.71   1000000         0
984.54/984.86	c       370       635    608.54     72.01      8.45   1000000         0
986.14/986.47	c       403       536    604.65     73.41      8.24   1000000         0
987.74/988.06	c       402       562    595.94     76.33      7.81   1000000         0
989.34/989.66	c       382       510    589.48     73.85      7.98   1000000         0
990.94/991.26	c       387       548    608.97     80.38      7.58   1000000         0
992.54/992.86	c       435       496    603.57     71.29      8.47   1000000         0
994.15/994.46	c       387       553    613.83     66.65      9.21   1000000         0
995.74/996.06	c       348       581    608.69     87.12      6.99   1000000         0
997.35/997.66	c       366       686    588.73     61.28      9.61   1000000         0
998.94/999.26	c       420       484    592.68     70.52      8.40   1000000         0
1000.54/1000.86	c       383       678    603.12     73.27      8.23   1000000         0
1002.14/1002.46	c       376       606    604.58     69.78      8.66   1000000         0
1003.74/1004.06	c       379       490    610.35     71.55      8.53   1000000         0
1005.34/1005.66	c       411       607    600.14     63.45      9.46   1000000         0
1006.94/1007.26	c       351       600    610.51     69.44      8.79   1000000         0
1008.54/1008.87	c       395       511    614.51     67.01      9.17   1000000         0
1010.14/1010.47	c       421       551    615.40     74.55      8.25   1000000         0
1011.74/1012.08	c       397       648    599.18     70.95      8.44   1000000         0
1013.34/1013.68	c       409       701    589.31     69.15      8.52   1000000         0
1014.94/1015.28	c       419       563    594.43     68.21      8.71   1000000         0
1016.53/1016.88	c       402       587    606.85     63.42      9.57   1000000         0
1018.14/1018.48	c       373       515    603.97     71.20      8.48   1000000         0
1019.73/1020.09	c       396       579    600.32     74.18      8.09   1000000         0
1021.33/1021.69	c       374       512    593.00     74.71      7.94   1000000         0
1022.93/1023.29	c       391       543    600.80     71.17      8.44   1000000         0
1024.53/1024.89	c       362       638    605.01     68.22      8.87   1000000         0
1026.13/1026.49	c       368       551    605.02     68.82      8.79   1000000         0
1027.73/1028.09	c       414       630    613.23     71.89      8.53   1000000         0
1029.34/1029.69	c       397       713    596.57     62.11      9.60   1000000         0
1030.93/1031.28	c       399       576    591.68     69.27      8.54   1000000         0
1032.54/1032.89	c       389       723    601.15     71.97      8.35   1000000         0
1034.13/1034.49	c       424       588    619.29     67.19      9.22   1000000         0
1035.73/1036.09	c       438       590    611.50     71.96      8.50   1000000         0
1037.33/1037.69	c       370       583    602.17     71.26      8.45   1000000         0
1038.93/1039.29	c       387       518    592.66     65.71      9.02   1000000         0
1040.53/1040.89	c       385       617    591.62     76.12      7.77   1000000         0
1042.13/1042.49	c       438       608    603.25     60.72      9.93   1000000         0
1043.73/1044.09	c       424       612    599.30     66.77      8.98   1000000         0
1045.33/1045.69	c       443       558    607.67     59.32     10.24   1000000         0
1046.94/1047.29	c       407       532    616.71     58.89     10.47   1000000         0
1048.63/1048.90	c       392       596    611.59     73.12      8.36   1000000         0
1050.13/1050.50	c       420       649    608.74     73.43      8.29   1000000         0
1051.83/1052.10	c       406       618    608.68     72.44      8.40   1000000         0
1053.43/1053.70	c       397       653    610.97     70.92      8.61   1000000         0
1055.03/1055.30	c       394       638    603.58     66.75      9.04   1000000         0
1056.63/1056.91	c       411       599    620.29     72.76      8.52   1000000         0
1058.22/1058.51	c       375       677    601.99     77.08      7.81   1000000         0
1059.82/1060.11	c       430       600    611.72     69.65      8.78   1000000         0
1061.42/1061.71	c       396       557    605.42     77.71      7.79   1000000         0
1063.02/1063.32	c       381       585    593.96     72.88      8.15   1000000         0
1064.62/1064.92	c       413       590    605.85     67.54      8.97   1000000         0
1066.22/1066.52	c       440       521    621.36     78.39      7.93   1000000         0
1067.83/1068.13	c       387       596    618.77     69.65      8.88   1000000         0
1069.42/1069.73	c       425       656    600.98     69.03      8.71   1000000         0
1071.03/1071.33	c       377       762    602.77     61.98      9.73   1000000         0
1072.62/1072.93	c       388       611    608.66     70.08      8.68   1000000         0
1074.22/1074.53	c       346       615    601.93     68.07      8.84   1000000         0
1075.82/1076.13	c       417       547    620.46     76.68      8.09   1000000         0
1077.42/1077.73	c       396       570    598.47     69.80      8.57   1000000         0
1079.02/1079.33	c       441       637    611.37     63.49      9.63   1000000         0
1080.61/1080.94	c       406       664    606.70     66.99      9.06   1000000         0
1082.21/1082.54	c       388       617    605.11     72.13      8.39   1000000         0
1083.81/1084.14	c       439       494    607.33     64.39      9.43   1000000         0
1085.42/1085.74	c       409       577    585.57     59.08      9.91   1000000         0
1087.01/1087.34	c       416       498    599.45     72.17      8.31   1000000         0
1088.62/1088.94	c       357       477    597.53     73.68      8.11   1000000         0
1090.21/1090.54	c       372       517    599.88     71.63      8.37   1000000         0
1091.81/1092.14	c       415       696    600.94     72.20      8.32   1000000         0
1093.41/1093.74	c       405       474    602.41     69.10      8.72   1000000         0
1095.01/1095.34	c       385       654    616.19     78.22      7.88   1000000         0
1096.61/1096.95	c       413       558    620.60     70.15      8.85   1000000         0
1098.21/1098.54	c       414       639    596.07     65.34      9.12   1000000         0
1099.81/1100.14	c       405       583    599.65     68.72      8.73   1000000         0
1101.41/1101.74	c       369       731    598.43     66.33      9.02   1000000         0
1103.02/1103.34	c       399       643    603.93     78.53      7.69   1000000         0
1104.61/1104.94	c       401       578    601.74     69.52      8.66   1000000         0
1106.21/1106.55	c       382       698    594.78     71.02      8.38   1000000         0
1107.81/1108.15	c       426       486    613.39     73.66      8.33   1000000         0
1109.41/1109.76	c       422       631    616.75     74.10      8.32   1000000         0
1111.01/1111.36	c       379       544    612.80     75.74      8.09   1000000         0
1112.61/1112.96	c       419       702    602.21     59.47     10.13   1000000         0
1114.21/1114.56	c       418       600    605.14     70.75      8.55   1000000         0
1115.81/1116.17	c       432       539    604.10     64.53      9.36   1000000         0
1117.41/1117.77	c       419       637    604.00     69.74      8.66   1000000         0
1119.00/1119.37	c       390       623    586.41     68.64      8.54   1000000         0
1120.61/1120.97	c       365       635    604.28     72.35      8.35   1000000         0
1122.20/1122.58	c       427       660    602.59     68.69      8.77   1000000         0
1123.81/1124.18	c       383       583    601.60     79.73      7.55   1000000         0
1125.40/1125.78	c       434       549    619.03     69.46      8.91   1000000         0
1127.00/1127.39	c       373       592    611.45     66.62      9.18   1000000         0
1128.60/1128.98	c       411       531    600.78     74.70      8.04   1000000         0
1130.20/1130.59	c       403       723    614.34     72.92      8.42   1000000         0
1131.80/1132.19	c       394       582    599.62     64.39      9.31   1000000         0
1133.40/1133.79	c       409       649    603.59     71.76      8.41   1000000         0
1135.00/1135.39	c       400       612    610.52     71.98      8.48   1000000         0
1136.70/1137.00	c       415       521    624.60     77.11      8.10   1000000         0
1138.30/1138.60	c       393       680    592.49     69.80      8.49   1000000         0
1139.90/1140.20	c       376       493    593.83     59.71      9.94   1000000         0
1141.40/1141.80	c       401       633    601.97     70.15      8.58   1000000         0
1143.10/1143.40	c       383       638    593.02     69.14      8.58   1000000         0
1144.70/1145.00	c       424       546    605.49     60.62      9.99   1000000         0
1146.30/1146.61	c       401       673    603.16     63.51      9.50   1000000         0
1147.90/1148.21	c       369       570    604.65     76.06      7.95   1000000         0
1149.50/1149.81	c       366       610    607.79     72.57      8.38   1000000         0
1151.10/1151.40	c       406       526    585.10     72.42      8.08   1000000         0
1152.69/1153.00	c       388       611    584.00     63.72      9.17   1000000         0
1154.29/1154.60	c       392       628    589.09     56.85     10.36   1000000         0
1155.89/1156.20	c       392       639    603.74     70.22      8.60   1000000         0
1157.49/1157.80	c       422       589    606.69     57.56     10.54   1000000         0
1159.00/1159.40	c       382       592    615.64     76.77      8.02   1000000         0
1160.69/1161.00	c       391       567    584.64     69.18      8.45   1000000         0
1162.30/1162.61	c       437       654    606.66     67.29      9.02   1000000         0
1163.89/1164.20	c       421       581    594.98     58.97     10.09   1000000         0
1165.49/1165.80	c       446       615    613.13     63.44      9.66   1000000         0
1167.09/1167.41	c       410       515    617.11     72.38      8.53   1000000         0
1168.69/1169.01	c       397       590    609.89     63.37      9.62   1000000         0
1170.29/1170.61	c       399       567    597.00     68.26      8.75   1000000         0
1171.89/1172.21	c       415       671    610.72     67.91      8.99   1000000         0
1173.49/1173.82	c       415       684    605.49     77.02      7.86   1000000         0
1175.09/1175.42	c       406       505    606.79     78.44      7.74   1000000         0
1176.70/1177.02	c       396       531    596.08     63.84      9.34   1000000         0
1178.29/1178.62	c       432       631    611.16     72.32      8.45   1000000         0
1179.89/1180.22	c       395       580    602.79     64.79      9.30   1000000         0
1181.49/1181.82	c       412       632    610.37     71.38      8.55   1000000         0
1183.09/1183.42	c       415       606    602.92     71.19      8.47   1000000         0
1184.69/1185.02	c       391       549    598.29     69.40      8.62   1000000         0
1186.29/1186.63	c       386       610    601.64     77.96      7.72   1000000         0
1187.89/1188.23	c       426       575    613.02     69.03      8.88   1000000         0
1189.49/1189.83	c       420       543    625.78     66.21      9.45   1000000         0
1191.08/1191.43	c       382       635    591.92     68.42      8.65   1000000         0
1192.68/1193.03	c       409       617    609.90     74.48      8.19   1000000         0
1194.29/1194.64	c       385       636    610.74     72.98      8.37   1000000         0
1195.88/1196.23	c       402       543    607.00     71.28      8.52   1000000         0
1197.49/1197.83	c       415       610    593.22     69.36      8.55   1000000         0
1199.08/1199.43	c       392       564    606.26     77.63      7.81   1000000         0
1200.68/1201.03	c       399       575    593.95     67.83      8.76   1000000         0
1202.28/1202.63	c       398       604    603.06     71.56      8.43   1000000         0
1203.88/1204.24	c       393       648    600.57     74.52      8.06   1000000         0
1205.48/1205.84	c       408       572    598.90     68.00      8.81   1000000         0
1207.08/1207.44	c       407       651    605.46     72.79      8.32   1000000         0
1208.68/1209.04	c       415       516    609.66     75.20      8.11   1000000         0
1210.28/1210.64	c       418       615    600.98     66.58      9.03   1000000         0
1211.89/1212.24	c       361       664    590.75     66.98      8.82   1000000         0
1213.48/1213.84	c       406       511    606.70     66.14      9.17   1000000         0
1215.09/1215.44	c       394       533    595.07     71.46      8.33   1000000         0
1216.68/1217.04	c       408       667    604.30     63.93      9.45   1000000         0
1218.28/1218.64	c       411       575    596.45     73.22      8.15   1000000         0
1219.88/1220.24	c       393       656    602.75     72.19      8.35   1000000         0
1221.48/1221.85	c       423       539    603.71     64.88      9.31   1000000         0
1223.08/1223.45	c       399       570    607.71     75.39      8.06   1000000         0
1224.68/1225.05	c       408       761    595.21     69.76      8.53   1000000         0
1226.28/1226.65	c       392       644    599.57     69.61      8.61   1000000         0
1227.88/1228.26	c       389       591    607.11     76.04      7.98   1000000         0
1229.48/1229.85	c       378       652    588.67     70.60      8.34   1000000         0
1231.07/1231.46	c       427       678    604.51     65.63      9.21   1000000         0
1232.68/1233.06	c       439       518    609.78     80.22      7.60   1000000         0
1234.27/1234.66	c       350       557    596.76     71.98      8.29   1000000         0
1235.87/1236.26	c       389       542    595.31     70.84      8.40   1000000         0
1237.47/1237.85	c       424       549    610.17     70.42      8.66   1000000         0
1239.07/1239.46	c       413       629    610.05     70.38      8.67   1000000         0
1240.67/1241.06	c       383       586    602.00     71.46      8.42   1000000         0
1242.27/1242.66	c       406       574    607.92     70.61      8.61   1000000         0
1243.87/1244.26	c       378       617    599.58     72.50      8.27   1000000         0
1245.47/1245.86	c       389       590    605.43     71.31      8.49   1000000         0
1247.08/1247.46	c       398       726    597.57     68.61      8.71   1000000         0
1248.67/1249.06	c       387       624    595.35     66.44      8.96   1000000         0
1250.28/1250.66	c       413       620    615.56     74.59      8.25   1000000         0
1251.87/1252.26	c       380       634    611.93     73.01      8.38   1000000         0
1253.47/1253.86	c       412       582    601.92     68.24      8.82   1000000         0
1255.07/1255.46	c       402       502    601.49     71.16      8.45   1000000         0
1256.67/1257.06	c       385       678    597.97     69.36      8.62   1000000         0
1258.27/1258.66	c       423       600    611.36     76.33      8.01   1000000         0
1259.87/1260.26	c       400       534    603.33     68.36      8.83   1000000         0
1261.47/1261.85	c       418       687    610.34     73.39      8.32   1000000         0
1263.07/1263.45	c       412       558    605.03     68.47      8.84   1000000         0
1264.67/1265.05	c       442       531    607.08     63.17      9.61   1000000         0
1266.27/1266.66	c       374       575    610.66     67.84      9.00   1000000         0
1267.87/1268.26	c       364       562    598.08     71.39      8.38   1000000         0
1269.47/1269.86	c       385       655    615.32     76.65      8.03   1000000         0
1271.06/1271.46	c       403       518    606.36     67.51      8.98   1000000         0
1272.66/1273.06	c       406       509    587.16     70.88      8.28   1000000         0
1274.26/1274.66	c       364       578    616.05     74.11      8.31   1000000         0
1275.86/1276.26	c       424       724    613.43     84.50      7.26   1000000         0
1277.46/1277.86	c       418       673    611.60     70.85      8.63   1000000         0
1279.06/1279.46	c       395       583    608.59     72.60      8.38   1000000         0
1280.66/1281.06	c       402       658    602.67     66.53      9.06   1000000         0
1282.27/1282.66	c       425       631    601.80     64.51      9.33   1000000         0
1283.86/1284.27	c       404       570    621.26     71.69      8.67   1000000         0
1285.47/1285.87	c       407       628    592.91     71.31      8.31   1000000         0
1287.06/1287.47	c       384       743    597.40     70.12      8.52   1000000         0
1288.66/1289.07	c       393       645    604.84     67.30      8.99   1000000         0
1290.26/1290.67	c       427       576    609.78     68.64      8.88   1000000         0
1291.86/1292.27	c       368       662    599.17     77.85      7.70   1000000         0
1293.46/1293.87	c       419       648    611.78     73.58      8.32   1000000         0
1295.06/1295.48	c       404       600    607.33     70.88      8.57   1000000         0
1296.66/1297.08	c       400       663    620.19     73.78      8.41   1000000         0
1298.26/1298.69	c       348       621    614.72     71.43      8.61   1000000         0
1299.86/1300.29	c       413       460    611.03     66.41      9.20   1000000         0
1301.46/1301.89	c       413       545    601.20     67.07      8.96   1000000         0
1303.06/1303.49	c       428       563    603.67     85.31      7.08   1000000         0
1304.66/1305.09	c       391       530    595.19     65.59      9.07   1000000         0
1306.25/1306.69	c       389       556    600.49     73.59      8.16   1000000         0
1307.95/1308.30	c       432       605    598.57     69.40      8.62   1000000         0
1309.55/1309.90	c       433       529    589.91     63.10      9.35   1000000         0
1311.15/1311.51	c       421       610    613.25     65.30      9.39   1000000         0
1312.75/1313.11	c       405       662    602.95     61.67      9.78   1000000         0
1314.35/1314.71	c       401       610    612.09     71.23      8.59   1000000         0
1315.95/1316.32	c       416       608    603.16     68.24      8.84   1000000         0
1317.55/1317.92	c       388       604    603.00     69.66      8.66   1000000         0
1319.15/1319.51	c       398       484    581.94     70.68      8.23   1000000         0
1320.76/1321.11	c       395       484    597.92     69.12      8.65   1000000         0
1322.35/1322.72	c       403       549    605.51     68.80      8.80   1000000         0
1323.96/1324.33	c       412       495    609.45     72.91      8.36   1000000         0
1325.55/1325.93	c       406       591    594.51     72.58      8.19   1000000         0
1327.15/1327.53	c       430       691    623.91     75.29      8.29   1000000         0
1328.75/1329.14	c       414       539    621.61     73.91      8.41   1000000         0
1330.35/1330.75	c       379       586    610.17     70.57      8.65   1000000         0
1331.95/1332.35	c       382       564    595.12     77.69      7.66   1000000         0
1333.55/1333.95	c       409       451    606.22     68.84      8.81   1000000         0
1335.15/1335.56	c       410       596    612.34     74.43      8.23   1000000         0
1336.74/1337.16	c       395       612    604.17     67.80      8.91   1000000         0
1338.35/1338.76	c       420       636    617.71     71.09      8.69   1000000         0
1339.95/1340.36	c       438       705    619.76     62.80      9.87   1000000         0
1341.55/1341.96	c       398       556    605.73     84.11      7.20   1000000         0
1343.14/1343.56	c       421       573    614.83     69.46      8.85   1000000         0
1344.74/1345.17	c       401       525    602.19     69.64      8.65   1000000         0
1346.34/1346.76	c       365       473    587.98     77.91      7.55   1000000         0
1347.94/1348.37	c       393       592    609.45     64.43      9.46   1000000         0
1349.54/1349.97	c       409       545    607.49     63.14      9.62   1000000         0
1351.14/1351.57	c       417       601    601.84     69.77      8.63   1000000         0
1352.74/1353.17	c       404       625    611.28     67.85      9.01   1000000         0
1354.34/1354.77	c       372       566    595.59     75.50      7.89   1000000         0
1355.95/1356.37	c       416       675    603.71     62.95      9.59   1000000         0
1357.54/1357.97	c       433       566    611.69     72.83      8.40   1000000         0
1359.15/1359.57	c       429       499    616.82     74.00      8.34   1000000         0
1360.74/1361.18	c       380       566    608.80     68.41      8.90   1000000         0
1362.34/1362.78	c       402       590    604.07     67.74      8.92   1000000         0
1363.94/1364.38	c       413       511    607.53     71.65      8.48   1000000         0
1365.54/1365.99	c       325       435    596.16     76.40      7.80   1000000         0
1367.14/1367.59	c       349       614    607.23     69.76      8.70   1000000         0
1368.74/1369.19	c       420       556    607.95     57.44     10.59   1000000         0
1370.34/1370.79	c       376       471    596.65     71.22      8.38   1000000         0
1371.94/1372.39	c       367       577    601.46     74.89      8.03   1000000         0
1373.54/1373.99	c       391       597    618.20     65.24      9.48   1000000         0
1375.23/1375.60	c       389       578    616.50     61.57     10.01   1000000         0
1376.74/1377.20	c       406       645    621.95     73.80      8.43   1000000         0
1378.43/1378.80	c       382       539    602.54     69.51      8.67   1000000         0
1380.04/1380.40	c       423       654    608.30     66.67      9.12   1000000         0
1381.63/1382.00	c       419       638    595.44     63.83      9.33   1000000         0
1383.23/1383.60	c       385       559    603.53     70.06      8.61   1000000         0
1384.83/1385.20	c       407       632    593.01     71.34      8.31   1000000         0
1386.43/1386.81	c       400       632    610.16     75.65      8.07   1000000         0
1388.03/1388.41	c       405       592    607.81     68.26      8.90   1000000         0
1389.63/1390.02	c       416       532    616.41     68.78      8.96   1000000         0
1391.23/1391.61	c       371       468    602.34     70.11      8.59   1000000         0
1392.83/1393.21	c       419       544    592.41     67.39      8.79   1000000         0
1394.44/1394.82	c       416       556    608.71     69.23      8.79   1000000         0
1396.03/1396.41	c       413       659    593.22     70.11      8.46   1000000         0
1397.64/1398.01	c       378       558    601.34     68.76      8.75   1000000         0
1399.23/1399.62	c       396       645    605.33     75.60      8.01   1000000         0
1400.83/1401.22	c       372       527    612.82     75.59      8.11   1000000         0
1402.43/1402.83	c       417       603    607.89     68.73      8.84   1000000         0
1404.03/1404.44	c       399       506    617.14     72.58      8.50   1000000         0
1405.63/1406.04	c       403       562    594.08     64.92      9.15   1000000         0
1407.23/1407.64	c       437       569    602.57     65.31      9.23   1000000         0
1408.83/1409.25	c       410       539    603.58     72.04      8.38   1000000         0
1410.43/1410.85	c       414       659    607.54     66.49      9.14   1000000         0
1412.03/1412.45	c       384       650    603.74     69.76      8.65   1000000         0
1413.63/1414.05	c       406       578    600.45     76.34      7.87   1000000         0
1415.23/1415.65	c       427       625    605.37     67.44      8.98   1000000         0
1416.83/1417.25	c       364       591    606.99     82.25      7.38   1000000         0
1418.42/1418.86	c       395       711    601.17     67.04      8.97   1000000         0
1420.02/1420.46	c       408       578    615.15     69.03      8.91   1000000         0
1421.62/1422.07	c       404       576    603.56     71.23      8.47   1000000         0
1423.22/1423.66	c       410       648    599.05     68.11      8.80   1000000         0
1424.82/1425.27	c       398       597    616.03     76.38      8.07   1000000         0
1426.43/1426.87	c       410       653    608.79     73.35      8.30   1000000         0
1428.03/1428.46	c       360       571    601.27     65.57      9.17   1000000         0
1429.64/1430.07	c       398       626    616.60     64.11      9.62   1000000         0
1431.23/1431.67	c       418       653    608.37     65.77      9.25   1000000         0
1432.84/1433.27	c       386       589    609.37     69.09      8.82   1000000         0
1434.43/1434.87	c       418       584    623.63     77.28      8.07   1000000         0
1436.03/1436.48	c       430       510    603.21     66.27      9.10   1000000         0
1437.63/1438.07	c       415       618    605.00     66.62      9.08   1000000         0
1439.23/1439.68	c       433       489    612.50     72.12      8.49   1000000         0
1440.83/1441.28	c       408       542    608.98     71.40      8.53   1000000         0
1442.43/1442.88	c       347       569    595.91     73.16      8.15   1000000         0
1444.03/1444.48	c       379       576    593.08     73.02      8.12   1000000         0
1445.63/1446.08	c       410       679    603.87     64.74      9.33   1000000         0
1447.23/1447.68	c       364       588    607.25     70.74      8.58   1000000         0
1448.83/1449.28	c       344       592    591.49     69.91      8.46   1000000         0
1450.43/1450.88	c       374       625    596.02     67.16      8.87   1000000         0
1452.03/1452.49	c       384       617    603.46     72.32      8.34   1000000         0
1453.63/1454.09	c       372       584    604.47     68.35      8.84   1000000         0
1455.22/1455.69	c       398       626    601.19     65.89      9.12   1000000         0
1456.82/1457.29	c       397       515    600.11     61.68      9.73   1000000         0
1458.42/1458.89	c       401       586    589.99     72.79      8.11   1000000         0
1460.02/1460.49	c       366       613    608.87     71.18      8.55   1000000         0
1461.62/1462.09	c       396       499    618.10     69.38      8.91   1000000         0
1463.32/1463.70	c       403       604    608.35     77.16      7.88   1000000         0
1464.92/1465.30	c       400       646    599.33     73.14      8.19   1000000         0
1466.42/1466.90	c       383       596    599.79     64.92      9.24   1000000         0
1468.03/1468.50	c       380       503    600.83     68.69      8.75   1000000         0
1469.62/1470.09	c       392       590    597.61     62.34      9.59   1000000         0
1471.22/1471.70	c       402       573    594.68     63.88      9.31   1000000         0
1472.92/1473.30	c       415       561    615.15     76.56      8.04   1000000         0
1474.52/1474.90	c       419       472    609.39     71.23      8.56   1000000         0
1476.12/1476.51	c       365       613    603.90     72.03      8.38   1000000         0
1477.72/1478.11	c       396       656    606.80     75.69      8.02   1000000         0
1479.32/1479.71	c       407       601    609.75     65.44      9.32   1000000         0
1480.92/1481.31	c       408       646    601.83     68.00      8.85   1000000         0
1482.52/1482.91	c       414       547    619.77     79.74      7.77   1000000         0
1484.12/1484.52	c       416       483    621.73     83.73      7.43   1000000         0
1485.72/1486.12	c       418       522    596.11     75.79      7.87   1000000         0
1487.32/1487.72	c       366       573    594.76     66.72      8.91   1000000         0
1488.92/1489.31	c       351       713    597.94     66.07      9.05   1000000         0
1490.52/1490.92	c       426       696    605.49     67.44      8.98   1000000         0
1492.12/1492.52	c       413       605    600.33     63.47      9.46   1000000         0
1493.71/1494.12	c       424       583    613.25     65.27      9.40   1000000         0
1495.31/1495.72	c       429       587    602.21     67.82      8.88   1000000         0
1496.91/1497.32	c       400       638    613.21     70.66      8.68   1000000         0
1498.51/1498.92	c       360       589    596.24     70.01      8.52   1000000         0
1500.11/1500.52	c       400       660    600.62     66.75      9.00   1000000         0
1501.71/1502.13	c       408       620    603.52     66.75      9.04   1000000         0
1503.32/1503.74	c       388       535    600.45     71.50      8.40   1000000         0
1504.91/1505.33	c       376       624    585.53     64.94      9.02   1000000         0
1506.52/1506.93	c       399       641    600.90     66.54      9.03   1000000         0
1508.11/1508.53	c       416       609    608.12     74.14      8.20   1000000         0
1509.71/1510.13	c       381       645    598.16     73.02      8.19   1000000         0
1511.31/1511.73	c       414       617    599.49     61.69      9.72   1000000         0
1512.91/1513.34	c       396       613    615.27     81.23      7.57   1000000         0
1514.51/1514.94	c       421       576    597.79     63.23      9.45   1000000         0
1516.11/1516.54	c       390       502    604.54     66.87      9.04   1000000         0
1517.71/1518.14	c       335       602    593.39     75.25      7.89   1000000         0
1519.31/1519.73	c       420       529    600.72     66.83      8.99   1000000         0
1520.91/1521.34	c       421       602    620.33     72.48      8.56   1000000         0
1522.51/1522.94	c       394       520    607.82     67.38      9.02   1000000         0
1524.11/1524.54	c       381       538    602.79     82.35      7.32   1000000         0
1525.71/1526.14	c       412       516    612.33     66.58      9.20   1000000         0
1527.31/1527.74	c       371       638    610.63     68.17      8.96   1000000         0
1528.91/1529.34	c       383       529    594.81     71.37      8.33   1000000         0
1530.51/1530.95	c       400       589    612.87     77.58      7.90   1000000         0
1532.11/1532.55	c       368       542    603.35     73.44      8.22   1000000         0
1533.70/1534.15	c       393       565    596.44     67.56      8.83   1000000         0
1535.30/1535.75	c       406       537    603.81     63.11      9.57   1000000         0
1536.90/1537.36	c       435       615    600.96     65.58      9.16   1000000         0
1538.51/1538.95	c       395       611    610.02     71.67      8.51   1000000         0
1540.10/1540.56	c       426       613    616.46     65.95      9.35   1000000         0
1541.71/1542.16	c       414       678    598.04     62.26      9.61   1000000         0
1543.30/1543.77	c       427       525    621.56     77.38      8.03   1000000         0
1544.90/1545.38	c       405       552    610.47     83.01      7.35   1000000         0
1546.50/1546.97	c       399       562    604.10     76.31      7.92   1000000         0
1548.10/1548.57	c       392       474    599.06     67.88      8.83   1000000         0
1549.70/1550.18	c       441       619    604.42     61.08      9.90   1000000         0
1551.30/1551.78	c       414       633    600.58     63.71      9.43   1000000         0
1552.90/1553.37	c       375       700    595.88     60.69      9.82   1000000         0
1554.50/1554.98	c       390       645    604.12     73.93      8.17   1000000         0
1556.11/1556.58	c       415       577    612.34     66.92      9.15   1000000         0
1557.70/1558.18	c       395       577    598.73     66.23      9.04   1000000         0
1559.30/1559.78	c       394       593    602.10     77.83      7.74   1000000         0
1560.90/1561.38	c       369       563    595.34     71.08      8.38   1000000         0
1562.50/1562.99	c       397       600    618.21     67.78      9.12   1000000         0
1564.10/1564.59	c       411       733    598.77     72.58      8.25   1000000         0
1565.70/1566.19	c       398       610    604.93     61.91      9.77   1000000         0
1567.30/1567.79	c       416       558    596.25     69.40      8.59   1000000         0
1568.90/1569.39	c       441       682    617.36     70.71      8.73   1000000         0
1570.50/1571.00	c       386       636    607.88     66.48      9.14   1000000         0
1572.19/1572.60	c       406       664    612.75     63.97      9.58   1000000         0
1573.79/1574.20	c       400       699    597.22     75.71      7.89   1000000         0
1575.39/1575.80	c       393       548    608.60     77.89      7.81   1000000         0
1577.00/1577.40	c       431       598    617.81     69.98      8.83   1000000         0
1578.59/1579.01	c       394       576    601.88     66.65      9.03   1000000         0
1580.20/1580.61	c       416       575    602.46     63.18      9.54   1000000         0
1581.79/1582.21	c       408       535    607.59     69.67      8.72   1000000         0
1583.39/1583.82	c       409       619    608.48     61.36      9.92   1000000         0
1584.99/1585.41	c       404       590    592.27     61.44      9.64   1000000         0
1586.59/1587.01	c       395       571    602.31     76.27      7.90   1000000         0
1588.19/1588.61	c       343       620    601.91     74.04      8.13   1000000         0
1589.79/1590.21	c       396       629    601.43     78.90      7.62   1000000         0
1591.39/1591.81	c       361       681    587.62     75.78      7.75   1000000         0
1592.99/1593.41	c       387       601    609.27     76.95      7.92   1000000         0
1594.60/1595.01	c       421       529    608.36     65.79      9.25   1000000         0
1596.19/1596.61	c       425       544    601.59     73.33      8.20   1000000         0
1597.79/1598.22	c       416       727    613.31     64.38      9.53   1000000         0
1599.39/1599.82	c       392       581    608.57     78.64      7.74   1000000         0
1600.99/1601.42	c       351       622    589.10     73.20      8.05   1000000         0
1602.59/1603.02	c       431       559    613.77     67.34      9.11   1000000         0
1604.19/1604.62	c       402       563    604.82     64.32      9.40   1000000         0
1605.78/1606.22	c       418       529    602.56     75.16      8.02   1000000         0
1607.38/1607.82	c       436       519    608.77     62.25      9.78   1000000         0
1608.98/1609.43	c       347       593    586.59     65.60      8.94   1000000         0
1610.58/1611.03	c       386       575    601.15     74.53      8.07   1000000         0
1612.19/1612.62	c       385       576    601.38     77.03      7.81   1000000         0
1613.78/1614.23	c       407       566    613.82     69.13      8.88   1000000         0
1615.39/1615.83	c       417       656    606.15     67.59      8.97   1000000         0
1616.98/1617.44	c       422       663    632.38     77.76      8.13   1000000         0
1618.58/1619.04	c       443       569    614.21     64.16      9.57   1000000         0
1620.18/1620.64	c       385       654    609.34     71.96      8.47   1000000         0
1621.78/1622.24	c       416       604    597.44     66.72      8.95   1000000         0
1623.38/1623.85	c       421       565    600.85     69.31      8.67   1000000         0
1624.98/1625.45	c       437       654    599.37     70.68      8.48   1000000         0
1626.58/1627.05	c       428       534    610.78     75.14      8.13   1000000         0
1628.18/1628.65	c       387       629    592.95     69.89      8.48   1000000         0
1629.79/1630.25	c       342       621    615.45     76.15      8.08   1000000         0
1631.38/1631.86	c       406       593    610.28     67.27      9.07   1000000         0
1632.99/1633.46	c       429       576    607.80     59.40     10.23   1000000         0
1634.58/1635.06	c       429       584    599.75     77.29      7.76   1000000         0
1636.18/1636.66	c       403       634    595.67     67.41      8.84   1000000         0
1637.78/1638.26	c       376       684    593.22     65.04      9.12   1000000         0
1639.38/1639.86	c       424       488    617.41     72.26      8.54   1000000         0
1640.98/1641.46	c       414       542    615.19     61.63      9.98   1000000         0
1642.58/1643.07	c       398       492    613.63     74.24      8.27   1000000         0
1644.18/1644.67	c       368       577    606.48     76.80      7.90   1000000         0
1645.78/1646.28	c       406       581    601.34     62.35      9.64   1000000         0
1647.38/1647.87	c       374       571    595.33     72.89      8.17   1000000         0
1648.97/1649.48	c       425       557    613.23     67.84      9.04   1000000         0
1650.58/1651.08	c       406       765    602.90     65.89      9.15   1000000         0
1652.17/1652.68	c       425       634    595.23     74.07      8.04   1000000         0
1653.77/1654.28	c       421       665    614.86     59.83     10.28   1000000         0
1655.37/1655.88	c       418       552    611.48     66.98      9.13   1000000         0
1656.97/1657.48	c       329       651    604.43     75.55      8.00   1000000         0
1658.57/1659.08	c       379       499    594.64     73.18      8.13   1000000         0
1660.17/1660.68	c       389       607    590.98     80.03      7.38   1000000         0
1661.77/1662.27	c       410       558    591.89     71.44      8.29   1000000         0
1663.37/1663.87	c       426       644    598.31     61.86      9.67   1000000         0
1664.98/1665.47	c       432       559    605.98     68.42      8.86   1000000         0
1666.57/1667.08	c       403       608    601.89     71.45      8.42   1000000         0
1668.18/1668.68	c       400       593    605.42     74.01      8.18   1000000         0
1669.77/1670.28	c       358       464    598.42     70.64      8.47   1000000         0
1671.37/1671.88	c       410       524    596.93     63.46      9.41   1000000         0
1672.97/1673.48	c       412       608    599.37     67.58      8.87   1000000         0
1674.57/1675.08	c       410       640    616.62     65.98      9.35   1000000         0
1676.17/1676.68	c       427       670    617.06     65.11      9.48   1000000         0
1677.77/1678.28	c       386       587    609.74     75.17      8.11   1000000         0
1679.37/1679.88	c       415       665    603.58     62.06      9.73   1000000         0
1680.97/1681.48	c       411       488    608.85     71.67      8.50   1000000         0
1682.57/1683.08	c       406       642    579.32     73.09      7.93   1000000         0
1684.16/1684.68	c       400       644    595.40     72.98      8.16   1000000         0
1685.77/1686.28	c       403       470    613.78     71.07      8.64   1000000         0
1687.36/1687.89	c       436       697    609.25     63.56      9.59   1000000         0
1688.96/1689.49	c       392       695    594.22     75.47      7.87   1000000         0
1690.56/1691.09	c       419       666    609.94     77.95      7.83   1000000         0
1692.16/1692.68	c       415       589    602.16     66.29      9.08   1000000         0
1693.76/1694.28	c       404       572    597.35     70.25      8.50   1000000         0
1695.36/1695.88	c       350       611    581.59     71.97      8.08   1000000         0
1696.96/1697.48	c       395       680    597.29     73.16      8.16   1000000         0
1698.56/1699.08	c       408       608    604.17     73.05      8.27   1000000         0
1700.17/1700.69	c       444       628    614.59     62.21      9.88   1000000         0
1701.76/1702.29	c       424       607    615.33     63.68      9.66   1000000         0
1703.37/1703.89	c       399       709    606.49     85.67      7.08   1000000         0
1705.06/1705.50	c       415       492    611.10     75.90      8.05   1000000         0
1706.56/1707.09	c       430       587    598.56     63.32      9.45   1000000         0
1708.16/1708.69	c       382       587    586.11     67.29      8.71   1000000         0
1709.76/1710.29	c       407       519    599.88     70.58      8.50   1000000         0
1711.36/1711.89	c       400       618    598.86     67.86      8.82   1000000         0
1712.96/1713.50	c       398       588    613.06     69.69      8.80   1000000         0
1714.66/1715.10	c       399       482    599.90     67.20      8.93   1000000         0
1716.26/1716.70	c       400       474    586.47     64.58      9.08   1000000         0
1717.86/1718.31	c       413       700    631.87     77.39      8.16   1000000         0
1719.46/1719.90	c       420       529    599.76     72.35      8.29   1000000         0
1720.96/1721.50	c       421       746    611.37     69.52      8.79   1000000         0
1722.66/1723.11	c       418       584    611.30     70.39      8.68   1000000         0
1724.26/1724.71	c       382       552    589.74     71.41      8.26   1000000         0
1725.85/1726.31	c       420       680    609.15     73.26      8.31   1000000         0
1727.45/1727.91	c       424       538    605.03     68.83      8.79   1000000         0
1729.05/1729.51	c       386       620    597.42     72.47      8.24   1000000         0
1730.65/1731.11	c       417       596    609.12     69.42      8.77   1000000         0
1732.25/1732.71	c       358       599    589.49     69.83      8.44   1000000         0
1733.85/1734.31	c       412       591    614.76     73.94      8.31   1000000         0
1735.45/1735.91	c       402       624    591.39     59.25      9.98   1000000         0
1737.05/1737.51	c       385       618    609.64     70.54      8.64   1000000         0
1738.66/1739.11	c       409       654    607.83     76.07      7.99   1000000         0
1740.25/1740.71	c       382       595    589.87     68.35      8.63   1000000         0
1741.86/1742.31	c       376       565    590.42     71.52      8.26   1000000         0
1743.45/1743.91	c       391       531    606.09     72.08      8.41   1000000         0
1745.05/1745.52	c       405       662    610.14     72.80      8.38   1000000         0
1746.65/1747.12	c       377       604    610.85     73.32      8.33   1000000         0
1748.25/1748.72	c       383       686    612.09     84.69      7.23   1000000         0
1749.85/1750.32	c       402       629    598.01     65.00      9.20   1000000         0
1751.45/1751.93	c       403       606    606.08     72.70      8.34   1000000         0
1753.05/1753.53	c       372       695    609.11     71.38      8.53   1000000         0
1754.65/1755.13	c       435       551    603.59     65.76      9.18   1000000         0
1756.26/1756.73	c       406       699    622.08     80.93      7.69   1000000         0
1757.85/1758.34	c       391       537    600.23     64.34      9.33   1000000         0
1759.45/1759.94	c       382       652    604.93     71.52      8.46   1000000         0
1761.05/1761.54	c       417       729    603.09     65.91      9.15   1000000         0
1762.65/1763.15	c       366       544    607.35     71.69      8.47   1000000         0
1764.25/1764.75	c       422       544    605.92     65.11      9.31   1000000         0
1765.85/1766.35	c       433       588    612.14     60.39     10.14   1000000         0
1767.45/1767.96	c       426       546    605.31     75.24      8.05   1000000         0
1769.04/1769.56	c       429       567    606.50     61.46      9.87   1000000         0
1770.64/1771.16	c       384       574    601.65     71.49      8.42   1000000         0
1772.24/1772.75	c       424       644    603.17     64.54      9.35   1000000         0
1773.85/1774.36	c       393       552    611.38     73.23      8.35   1000000         0
1775.44/1775.96	c       376       472    601.60     66.31      9.07   1000000         0
1777.05/1777.56	c       404       526    599.09     63.36      9.45   1000000         0
1778.64/1779.16	c       417       676    600.86     66.33      9.06   1000000         0
1780.24/1780.76	c       358       504    605.45     69.81      8.67   1000000         0
1781.84/1782.37	c       423       514    606.80     69.56      8.72   1000000         0
1783.44/1783.97	c       436       679    609.96     65.98      9.24   1000000         0
1785.04/1785.57	c       410       624    607.01     68.08      8.92   1000000         0
1786.64/1787.17	c       409       648    602.87     75.02      8.04   1000000         0
1788.24/1788.77	c       405       624    608.20     74.07      8.21   1000000         0
1789.84/1790.37	c       390       651    588.30     69.14      8.51   1000000         0
1791.45/1791.98	c       374       630    600.92     75.11      8.00   1000000         0
1793.04/1793.58	c       416       571    595.15     67.77      8.78   1000000         0
1794.64/1795.18	c       432       604    596.22     65.96      9.04   1000000         0
1796.24/1796.78	c       440       630    610.57     78.82      7.75   1000000         0
1797.84/1798.38	c       387       592    589.05     66.32      8.88   1000000         0
1799.44/1799.98	c       369       508    584.69     74.27      7.87   1000000         0
1800.04/1800.51	HOME/run: line 2: 22044 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-2685588-1278441782/watcher-2685588-1278441782 -o /tmp/evaluation-result-2685588-1278441782/solver-2685588-1278441782 -C 1800 -W 2000 -M 1800 run HOME/instance-2685588-1278441782.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.13 1.08 0.98 3/106 22043
/proc/meminfo: memFree=1386456/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0

[startup+0.063694 s]
/proc/loadavg: 1.13 1.08 0.98 3/106 22043
/proc/meminfo: memFree=1386456/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100697 s]
/proc/loadavg: 1.13 1.08 0.98 3/106 22043
/proc/meminfo: memFree=1386456/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300715 s]
/proc/loadavg: 1.13 1.08 0.98 3/106 22043
/proc/meminfo: memFree=1386456/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700753 s]
/proc/loadavg: 1.13 1.08 0.98 3/106 22043
/proc/meminfo: memFree=1386456/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50083 s]
/proc/loadavg: 1.13 1.08 0.98 2/108 22045
/proc/meminfo: memFree=1380860/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1.48
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1381 0 0 0 148 0 0 0 25 0 1 0 12391851 41422848 1311 1992294400 134512640 135071400 4288201600 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1311 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10098 s]
/proc/loadavg: 1.13 1.08 0.98 2/108 22045
/proc/meminfo: memFree=1380736/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=3.08
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 308 0 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30028 s]
/proc/loadavg: 1.12 1.08 0.98 2/108 22045
/proc/meminfo: memFree=1380612/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=6.28
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 628 0 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134572064 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7019 s]
/proc/loadavg: 1.11 1.07 0.98 2/108 22045
/proc/meminfo: memFree=1380488/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=12.68
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 1268 0 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5011 s]
/proc/loadavg: 1.08 1.07 0.98 2/108 22045
/proc/meminfo: memFree=1380488/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=25.48
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 2548 0 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1005 s]
/proc/loadavg: 1.05 1.06 0.98 2/108 22045
/proc/meminfo: memFree=1380364/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=51.07
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 5107 0 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 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.02 1.05 0.98 2/108 22047
/proc/meminfo: memFree=1380240/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=102.26
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 10226 0 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 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.01 1.04 0.98 3/108 22049
/proc/meminfo: memFree=1379992/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=162.25
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 16224 1 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134547380 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.03 0.98 2/108 22051
/proc/meminfo: memFree=1379992/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=222.24
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 22223 1 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 0.98 2/108 22053
/proc/meminfo: memFree=1379992/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=282.22
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 28221 1 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134572032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 0.98 2/108 22053
/proc/meminfo: memFree=1379868/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=342.2
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 34219 1 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 0.98 2/108 22055
/proc/meminfo: memFree=1379744/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=402.19
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 40218 1 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 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/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1122
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 112198 2 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22086
/proc/meminfo: memFree=1377884/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1181.99
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 118197 2 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22086
/proc/meminfo: memFree=1377884/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1241.97
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 124195 2 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22088
/proc/meminfo: memFree=1377760/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1301.96
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 130194 2 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22090
/proc/meminfo: memFree=1377760/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1361.94
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 136192 2 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22092
/proc/meminfo: memFree=1377760/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1421.93
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 142191 2 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22094
/proc/meminfo: memFree=1377636/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1481.92
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 148189 3 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22094
/proc/meminfo: memFree=1377636/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1541.9
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 154187 3 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22096
/proc/meminfo: memFree=1377512/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1601.89
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 160186 3 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22098
/proc/meminfo: memFree=1377512/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1661.87
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 166184 3 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 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 0.99 2/108 22100
/proc/meminfo: memFree=1377388/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1721.86
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 172183 3 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 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 0.99 2/108 22102
/proc/meminfo: memFree=1377016/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1781.84
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 178181 3 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526198 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 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 0.99 2/108 22102
/proc/meminfo: memFree=1377016/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1800.04
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 180001 3 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 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)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 22102
/proc/meminfo: memFree=1377016/2059040 swapFree=4192956/4192956
[pid=22043] ppid=22041 vsize=8700 CPUtime=0
/proc/22043/stat : 22043 (run) S 22041 22043 20855 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12391851 8908800 243 1992294400 4194304 4922060 140735492569712 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22043/statm: 2175 243 204 178 0 68 0
[pid=22044] ppid=22043 vsize=40452 CPUtime=1800.04
/proc/22044/stat : 22044 (PB-wave) R 22043 22043 20855 0 -1 4202496 1390 0 0 0 180001 3 0 0 25 0 1 0 12391851 41422848 1320 1992294400 134512640 135071400 4288201600 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22044/statm: 10113 1320 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.02
CPU system time (s): 0.037994
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1761
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 23334

runsolver used 3.17952 second user time and 8.37073 second system time

The end

Launcher Data 

Begin job on node004 at 2010-07-06 20:43:02
IDJOB=2685588
IDBENCH=76548
IDSOLVER=1171
FILE ID=node004/2685588-1278441782
PBS_JOBID= 11233466
Free space on /tmp= 62436 MiB

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

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

MD5SUM BENCH= f9d555c8d7cd5b0fec309976f30b1d93
RANDOM SEED=1702695573

node004.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.219
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.43
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.219
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:       1386976 kB
Buffers:        116740 kB
Cached:         416716 kB
SwapCached:          0 kB
Active:         240592 kB
Inactive:       352916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1386976 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1900 kB
Writeback:           0 kB
AnonPages:       59988 kB
Mapped:          14432 kB
Slab:            56636 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182632 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= 62432 MiB
End job on node004 at 2010-07-06 21:13:03