Trace number 2685126

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9035_1-unsat.opb
MD5SUMe27627ae64f743135eba4ae37b0b2df0
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.238963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17836
Total number of constraints61428
Number of constraints which are clauses61040
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 constraint25
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 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 185
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.15	c PB-wave - v2
0.00/0.15	c command line = ./PB-wave
0.00/0.15	c seed = 36074276
0.00/0.15	c cutoff = 1000000
0.00/0.15	c tries = 1000000
0.00/0.15	c heuristic = c best, noise 50 / 100
0.00/0.15	#var 17836 #con 61428
0.00/0.15	mode is SAT
0.00/0.15	c tail starts after flip = 53508
0.00/0.15	c numatom = 17836, numclause = 61428, numliterals = 138562
0.00/0.15	c wff read in
0.00/0.15	c 
0.00/0.15	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.15	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.15	c       this      this      this      this      this      this   success   success       until         std
0.00/0.15	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.15	c
1.59/1.70	c       319       571    590.41    134.08      4.40   1000000         0
3.19/3.25	c       351       729    606.55    156.10      3.89   1000000         0
4.69/4.79	c       332       534    578.61    130.43      4.44   1000000         0
6.29/6.33	c       375       505    580.54    148.19      3.92   1000000         0
7.79/7.87	c       324       586    580.58    140.47      4.13   1000000         0
9.38/9.42	c       351       628    591.48    140.28      4.22   1000000         0
10.89/10.96	c       349       537    581.51    130.42      4.46   1000000         0
12.48/12.50	c       314       537    584.73    172.32      3.39   1000000         0
13.98/14.04	c       322       514    576.61    136.72      4.22   1000000         0
15.48/15.59	c       324       590    593.13    137.84      4.30   1000000         0
17.08/17.12	c       358       599    578.22    130.38      4.44   1000000         0
18.59/18.67	c       278       578    583.12    139.94      4.17   1000000         0
20.18/20.21	c       296       569    580.62    120.50      4.82   1000000         0
21.68/21.74	c       347       517    571.29    128.81      4.44   1000000         0
23.18/23.28	c       352       515    587.21    137.16      4.28   1000000         0
24.78/24.81	c       302       618    557.22    133.42      4.18   1000000         0
26.29/26.35	c       375       544    595.29    125.49      4.74   1000000         0
27.78/27.88	c       301       484    557.63    132.50      4.21   1000000         0
29.38/29.42	c       210       402    575.32    135.48      4.25   1000000         0
30.88/30.96	c       301       545    582.82    113.67      5.13   1000000         0
32.38/32.50	c       328       569    574.45    109.78      5.23   1000000         0
33.98/34.04	c       325       446    585.04    135.53      4.32   1000000         0
35.48/35.57	c       272       563    559.19    128.69      4.35   1000000         0
37.08/37.11	c       389       557    587.18    114.07      5.15   1000000         0
38.58/38.65	c       341       590    587.83    125.78      4.67   1000000         0
40.17/40.20	c       327       583    580.42    139.17      4.17   1000000         0
41.68/41.74	c       312       599    581.57    127.04      4.58   1000000         0
43.17/43.28	c       332       567    570.99    132.61      4.31   1000000         0
44.77/44.82	c       283       600    592.72    156.75      3.78   1000000         0
46.27/46.36	c       330       677    567.36    118.30      4.80   1000000         0
47.87/47.91	c       310       642    598.52    147.04      4.07   1000000         0
49.38/49.45	c       379       640    588.58    129.36      4.55   1000000         0
50.87/51.00	c       294       463    590.08    128.21      4.60   1000000         0
52.47/52.54	c       346       577    602.02    141.84      4.24   1000000         0
53.97/54.07	c       340       504    570.09    120.75      4.72   1000000         0
55.57/55.61	c       351       544    579.23    130.93      4.42   1000000         0
57.08/57.16	c       297       557    594.78    135.89      4.38   1000000         0
58.57/58.69	c       341       535    563.51    126.91      4.44   1000000         0
60.17/60.24	c       336       577    592.77    134.97      4.39   1000000         0
61.67/61.77	c       283       452    582.60    133.57      4.36   1000000         0
63.27/63.31	c       324       495    573.98    122.91      4.67   1000000         0
64.77/64.86	c       336       438    599.64    135.33      4.43   1000000         0
66.26/66.39	c       328       480    567.27    134.62      4.21   1000000         0
67.86/67.92	c       321       535    571.72    128.19      4.46   1000000         0
69.36/69.47	c       385       531    596.72    127.99      4.66   1000000         0
70.96/71.01	c       303       576    593.00    126.39      4.69   1000000         0
72.47/72.57	c       323       577    603.83    137.03      4.41   1000000         0
74.06/74.11	c       345       497    592.91    139.55      4.25   1000000         0
75.56/75.66	c       344       485    574.42    137.84      4.17   1000000         0
77.16/77.20	c       355       569    593.57    139.36      4.26   1000000         0
78.66/78.73	c       325       563    575.61    149.27      3.86   1000000         0
80.17/80.28	c       366       698    581.93    139.01      4.19   1000000         0
81.76/81.83	c       321       531    593.53    172.11      3.45   1000000         0
83.26/83.36	c       359       599    574.40    122.33      4.70   1000000         0
84.86/84.91	c       359       438    598.57    134.97      4.43   1000000         0
86.36/86.45	c       302       602    566.98    145.24      3.90   1000000         0
87.86/87.98	c       312       485    553.56    132.73      4.17   1000000         0
89.46/89.52	c       349       495    582.73    117.82      4.95   1000000         0
90.96/91.06	c       351       719    579.61    126.12      4.60   1000000         0
92.55/92.60	c       326       496    577.60    123.26      4.69   1000000         0
94.05/94.14	c       356       611    580.61     94.41      6.15   1000000         0
95.56/95.68	c       366       661    594.76    133.09      4.47   1000000         0
97.15/97.22	c       313       405    571.48    153.92      3.71   1000000         0
98.65/98.75	c       344       560    552.61    118.89      4.65   1000000         0
100.15/100.27	c       295       487    545.22    119.37      4.57   1000000         0
101.75/101.81	c       313       581    565.47    137.75      4.11   1000000         0
103.26/103.34	c       303       604    559.31    114.85      4.87   1000000         0
104.75/104.88	c       306       470    569.97    130.46      4.37   1000000         0
106.35/106.43	c       379       512    587.60    114.15      5.15   1000000         0
107.85/107.97	c       347       551    594.11    125.78      4.72   1000000         0
109.45/109.51	c       315       631    581.16    139.97      4.15   1000000         0
110.96/111.06	c       337       382    602.39    160.49      3.75   1000000         0
112.55/112.60	c       367       540    569.90    131.48      4.33   1000000         0
114.05/114.14	c       375       523    574.01    120.09      4.78   1000000         0
115.55/115.67	c       313       583    556.30    120.51      4.62   1000000         0
117.15/117.20	c       357       540    592.02    133.80      4.42   1000000         0
118.65/118.74	c       372       662    583.22    130.35      4.47   1000000         0
120.15/120.28	c       293       645    566.17    117.42      4.82   1000000         0
121.74/121.81	c       278       389    570.34    129.94      4.39   1000000         0
123.24/123.35	c       357       516    585.95    130.09      4.50   1000000         0
124.74/124.89	c       311       503    585.15    125.57      4.66   1000000         0
126.35/126.42	c       348       675    572.65    136.59      4.19   1000000         0
127.84/127.96	c       372       573    584.06    120.57      4.84   1000000         0
129.44/129.51	c       326       549    586.85    160.26      3.66   1000000         0
130.94/131.05	c       343       489    584.35    125.77      4.65   1000000         0
132.54/132.60	c       316       466    592.50    120.92      4.90   1000000         0
134.05/134.15	c       338       573    593.88    134.50      4.42   1000000         0
135.54/135.69	c       333       710    572.49    127.90      4.48   1000000         0
137.14/137.23	c       325       629    577.58    144.55      4.00   1000000         0
138.64/138.77	c       330       590    569.40    106.97      5.32   1000000         0
140.24/140.31	c       296       463    580.61    142.76      4.07   1000000         0
141.74/141.85	c       355       492    580.65    124.82      4.65   1000000         0
143.24/143.39	c       364       483    581.30    127.70      4.55   1000000         0
144.84/144.92	c       327       572    557.75    110.98      5.03   1000000         0
146.33/146.46	c       304       571    571.14    128.49      4.45   1000000         0
147.83/147.99	c       319       612    578.49    130.07      4.45   1000000         0
149.44/149.53	c       341       588    584.49    118.19      4.95   1000000         0
150.93/151.06	c       278       356    552.55    125.99      4.39   1000000         0
152.53/152.61	c       356       571    594.47    123.87      4.80   1000000         0
154.03/154.15	c       358       534    589.07    126.42      4.66   1000000         0
155.53/155.69	c       329       516    586.06    123.27      4.75   1000000         0
157.14/157.24	c       322       442    585.74    134.75      4.35   1000000         0
158.63/158.78	c       354       505    582.34    124.48      4.68   1000000         0
160.23/160.31	c       375       425    578.18    115.32      5.01   1000000         0
161.73/161.86	c       327       535    579.61    129.43      4.48   1000000         0
163.33/163.40	c       342       513    587.44    166.30      3.53   1000000         0
164.84/164.95	c       365       534    592.75    141.98      4.18   1000000         0
166.33/166.48	c       315       514    581.77    113.90      5.11   1000000         0
167.93/168.03	c       361       645    590.71    114.56      5.16   1000000         0
169.43/169.58	c       372       545    606.14    139.56      4.34   1000000         0
171.03/171.12	c       325       519    584.10    130.52      4.48   1000000         0
172.53/172.66	c       331       516    581.91    140.05      4.15   1000000         0
174.13/174.20	c       331       520    573.70    143.19      4.01   1000000         0
175.63/175.74	c       365       546    592.43    129.66      4.57   1000000         0
177.12/177.27	c       370       425    574.12    138.89      4.13   1000000         0
178.72/178.81	c       342       478    566.72    111.94      5.06   1000000         0
180.23/180.34	c       312       646    570.31    128.04      4.45   1000000         0
181.72/181.88	c       347       448    583.84    122.66      4.76   1000000         0
183.32/183.43	c       292       746    584.48    137.24      4.26   1000000         0
184.82/184.98	c       332       464    602.51    105.93      5.69   1000000         0
186.42/186.51	c       310       547    583.82    110.46      5.29   1000000         0
187.93/188.06	c       343       620    585.88    160.56      3.65   1000000         0
189.52/189.60	c       337       655    590.93    120.63      4.90   1000000         0
191.02/191.15	c       334       560    581.40    122.05      4.76   1000000         0
192.52/192.69	c       314       575    589.83    122.41      4.82   1000000         0
194.12/194.23	c       360       561    589.94    117.07      5.04   1000000         0
195.63/195.77	c       344       588    590.57    132.58      4.45   1000000         0
197.22/197.31	c       354       543    591.35    134.09      4.41   1000000         0
198.72/198.85	c       344       569    571.02    121.24      4.71   1000000         0
200.22/200.39	c       346       621    571.13    138.06      4.14   1000000         0
201.82/201.94	c       343       635    596.02    149.42      3.99   1000000         0
203.32/203.49	c       324       564    589.76    136.64      4.32   1000000         0
204.91/205.03	c       336       580    577.92    141.26      4.09   1000000         0
206.41/206.57	c       391       599    589.16    118.93      4.95   1000000         0
208.01/208.11	c       322       372    584.16    133.90      4.36   1000000         0
209.51/209.65	c       278       503    569.88    144.80      3.94   1000000         0
211.02/211.19	c       306       597    598.61    149.87      3.99   1000000         0
212.61/212.74	c       359       584    599.67    116.75      5.14   1000000         0
214.11/214.28	c       322       554    590.85    128.81      4.59   1000000         0
215.71/215.81	c       279       588    555.53    140.13      3.96   1000000         0
217.21/217.34	c       294       603    576.75    118.33      4.87   1000000         0
218.72/218.88	c       334       541    580.41    140.14      4.14   1000000         0
220.31/220.42	c       289       515    583.26    136.70      4.27   1000000         0
221.81/221.96	c       330       547    571.11    154.56      3.69   1000000         0
223.41/223.51	c       340       639    588.36    144.44      4.07   1000000         0
224.91/225.05	c       335       701    596.89    117.06      5.10   1000000         0
226.41/226.59	c       326       590    580.40    127.26      4.56   1000000         0
228.01/228.12	c       333       517    571.27    144.72      3.95   1000000         0
229.51/229.66	c       357       530    579.77    136.07      4.26   1000000         0
231.11/231.20	c       286       394    584.23    124.47      4.69   1000000         0
232.60/232.75	c       360       650    590.96    127.84      4.62   1000000         0
234.11/234.29	c       403       665    591.49     93.14      6.35   1000000         0
235.70/235.83	c       338       591    581.97    120.59      4.83   1000000         0
237.20/237.37	c       361       650    579.42    137.91      4.20   1000000         0
238.80/238.91	c       287       502    579.94    124.62      4.65   1000000         0
240.30/240.44	c       341       487    579.15    127.42      4.55   1000000         0
241.81/241.99	c       347       547    595.82    140.10      4.25   1000000         0
243.40/243.54	c       308       532    586.66    136.67      4.29   1000000         0
244.90/245.07	c       320       681    560.88    117.20      4.79   1000000         0
246.50/246.61	c       353       648    578.90    134.65      4.30   1000000         0
248.00/248.16	c       335       621    595.86    140.00      4.26   1000000         0
249.51/249.70	c       306       380    578.52    120.13      4.82   1000000         0
251.10/251.25	c       362       482    588.80    132.54      4.44   1000000         0
252.60/252.78	c       312       558    573.26    137.43      4.17   1000000         0
254.20/254.32	c       297       441    568.05    127.63      4.45   1000000         0
255.70/255.85	c       297       477    580.07    117.93      4.92   1000000         0
257.20/257.39	c       361       591    585.44    126.13      4.64   1000000         0
258.80/258.94	c       368       518    612.64    116.93      5.24   1000000         0
260.30/260.47	c       289       387    569.53    127.36      4.47   1000000         0
261.90/262.01	c       339       608    564.29    141.17      4.00   1000000         0
263.39/263.55	c       339       455    588.71    133.23      4.42   1000000         0
264.90/265.09	c       314       751    570.13    130.84      4.36   1000000         0
266.49/266.63	c       336       613    591.09    161.38      3.66   1000000         0
267.99/268.18	c       376       585    583.63    140.07      4.17   1000000         0
269.59/269.72	c       357       603    594.41    158.61      3.75   1000000         0
271.09/271.27	c       335       550    578.65    148.18      3.90   1000000         0
272.70/272.81	c       340       588    588.12    137.64      4.27   1000000         0
274.19/274.34	c       325       606    564.75    114.04      4.95   1000000         0
275.69/275.88	c       341       533    568.22    137.56      4.13   1000000         0
277.29/277.42	c       367       511    578.62    133.39      4.34   1000000         0
278.79/278.97	c       339       583    612.19    127.44      4.80   1000000         0
280.40/280.51	c       352       482    581.04    113.29      5.13   1000000         0
281.89/282.05	c       318       661    589.92    144.39      4.09   1000000         0
283.39/283.59	c       311       448    584.48    133.17      4.39   1000000         0
284.99/285.14	c       375       582    597.96    109.17      5.48   1000000         0
286.49/286.67	c       330       466    561.78    124.64      4.51   1000000         0
288.09/288.22	c       371       503    595.53    111.64      5.33   1000000         0
289.58/289.75	c       301       409    577.91    138.87      4.16   1000000         0
291.08/291.29	c       382       520    595.00    136.30      4.37   1000000         0
292.68/292.84	c       345       521    590.09    121.19      4.87   1000000         0
294.18/294.38	c       329       550    570.27    119.65      4.77   1000000         0
295.79/295.92	c       376       430    595.25    120.93      4.92   1000000         0
297.28/297.46	c       362       567    583.43    124.62      4.68   1000000         0
298.88/299.00	c       369       743    600.42    113.97      5.27   1000000         0
300.38/300.53	c       327       576    558.20    126.31      4.42   1000000         0
301.88/302.06	c       297       580    560.00    127.78      4.38   1000000         0
303.39/303.60	c       369       521    566.29    122.20      4.63   1000000         0
304.98/305.13	c       341       572    557.80    103.43      5.39   1000000         0
306.48/306.66	c       296       452    569.72    116.35      4.90   1000000         0
308.08/308.20	c       317       528    590.23    140.48      4.20   1000000         0
309.58/309.74	c       356       570    579.87    113.33      5.12   1000000         0
311.08/311.29	c       309       379    586.73    139.01      4.22   1000000         0
312.68/312.84	c       320       479    602.75    132.63      4.54   1000000         0
314.18/314.38	c       346       568    577.84    125.66      4.60   1000000         0
315.78/315.92	c       299       485    585.99    146.89      3.99   1000000         0
317.28/317.46	c       364       640    585.77    117.52      4.98   1000000         0
318.78/318.99	c       307       585    559.48    137.64      4.06   1000000         0
320.37/320.52	c       328       566    582.60    121.89      4.78   1000000         0
321.87/322.06	c       368       487    585.29    138.43      4.23   1000000         0
323.47/323.61	c       373       477    602.00    108.37      5.55   1000000         0
324.97/325.16	c       350       638    601.68    146.15      4.12   1000000         0
326.48/326.69	c       322       497    575.06    120.13      4.79   1000000         0
328.07/328.24	c       327       557    590.88    154.03      3.84   1000000         0
329.57/329.78	c       353       701    581.20    129.75      4.48   1000000         0
331.17/331.32	c       292       625    573.71    149.58      3.84   1000000         0
332.67/332.87	c       346       712    583.64    138.92      4.20   1000000         0
334.28/334.41	c       348       435    579.83    135.66      4.27   1000000         0
335.77/335.94	c       294       692    564.90    115.40      4.89   1000000         0
337.27/337.48	c       318       561    581.79    112.82      5.16   1000000         0
338.87/339.02	c       330       423    576.07    128.13      4.50   1000000         0
340.37/340.56	c       286       589    582.04    149.24      3.90   1000000         0
341.97/342.10	c       333       651    582.54    136.99      4.25   1000000         0
343.47/343.64	c       360       511    578.37    131.24      4.41   1000000         0
344.97/345.19	c       348       452    593.87    128.09      4.64   1000000         0
346.57/346.74	c       310       500    592.56    127.97      4.63   1000000         0
348.07/348.29	c       350       605    604.33    129.55      4.66   1000000         0
349.67/349.82	c       316       614    569.30    133.55      4.26   1000000         0
351.16/351.36	c       358       573    570.36    136.72      4.17   1000000         0
352.76/352.90	c       345       496    583.36    131.23      4.45   1000000         0
354.26/354.45	c       281       529    589.71    148.00      3.98   1000000         0
355.76/355.99	c       341       508    592.67    127.24      4.66   1000000         0
357.37/357.54	c       348       601    600.48    135.81      4.42   1000000         0
358.86/359.08	c       285       603    573.92    137.00      4.19   1000000         0
360.46/360.61	c       342       425    565.75    124.41      4.55   1000000         0
361.96/362.14	c       333       502    557.07    117.76      4.73   1000000         0
363.46/363.68	c       335       582    577.27    131.78      4.38   1000000         0
365.07/365.23	c       342       607    599.83    129.39      4.64   1000000         0
366.56/366.77	c       311       549    574.50    156.62      3.67   1000000         0
368.16/368.31	c       303       676    566.04    137.09      4.13   1000000         0
369.66/369.85	c       357       508    591.64    150.64      3.93   1000000         0
371.16/371.39	c       329       573    585.75    126.67      4.62   1000000         0
372.76/372.93	c       340       681    602.18    128.60      4.68   1000000         0
374.26/374.47	c       390       490    595.94    129.04      4.62   1000000         0
375.85/376.00	c       338       565    567.96    120.27      4.72   1000000         0
377.35/377.55	c       305       575    587.71    122.87      4.78   1000000         0
378.85/379.09	c       322       586    584.82    141.89      4.12   1000000         0
380.46/380.63	c       334       463    588.28    133.56      4.40   1000000         0
381.95/382.19	c       348       514    605.01    131.99      4.58   1000000         0
383.55/383.73	c       340       637    587.06    170.26      3.45   1000000         0
385.05/385.26	c       330       598    561.25    121.27      4.63   1000000         0
386.66/386.80	c       334       512    582.22    140.33      4.15   1000000         0
388.17/388.34	c       333       474    583.41    139.51      4.18   1000000         0
389.66/389.89	c       349       640    580.52    138.35      4.20   1000000         0
391.26/391.43	c       335       558    584.64    144.37      4.05   1000000         0
392.76/392.96	c       319       575    564.91    127.36      4.44   1000000         0
394.36/394.50	c       343       511    586.12    160.63      3.65   1000000         0
395.86/396.04	c       331       524    581.92    147.79      3.94   1000000         0
397.36/397.59	c       351       606    583.22    133.81      4.36   1000000         0
398.96/399.13	c       337       532    579.94    130.88      4.43   1000000         0
400.45/400.67	c       378       582    597.06    124.96      4.78   1000000         0
402.05/402.20	c       265       529    565.64    131.31      4.31   1000000         0
403.56/403.74	c       335       606    580.93    135.27      4.29   1000000         0
405.05/405.27	c       344       483    572.74    114.14      5.02   1000000         0
406.65/406.82	c       386       508    587.68    105.56      5.57   1000000         0
408.15/408.36	c       327       554    582.18    132.32      4.40   1000000         0
409.65/409.89	c       363       697    577.14    118.76      4.86   1000000         0
411.26/411.43	c       325       470    587.12    132.87      4.42   1000000         0
412.75/412.98	c       344       595    595.54    138.86      4.29   1000000         0
414.35/414.53	c       365       595    606.81    138.67      4.38   1000000         0
415.85/416.07	c       357       566    591.59    146.75      4.03   1000000         0
417.45/417.62	c       355       699    606.91    124.80      4.86   1000000         0
418.96/419.16	c       357       411    575.93    114.27      5.04   1000000         0
420.55/420.71	c       322       725    599.02    123.19      4.86   1000000         0
422.05/422.24	c       335       591    569.77    145.80      3.91   1000000         0
423.55/423.77	c       301       529    561.11    117.56      4.77   1000000         0
425.15/425.32	c       351       612    586.97    109.95      5.34   1000000         0
426.65/426.85	c       287       487    572.62    139.93      4.09   1000000         0
428.14/428.39	c       353       509    590.88    143.75      4.11   1000000         0
429.74/429.93	c       330       568    574.68    134.71      4.27   1000000         0
431.24/431.47	c       345       627    585.62    116.76      5.02   1000000         0
432.84/433.01	c       276       646    572.18    127.43      4.49   1000000         0
434.35/434.56	c       296       556    605.76    146.73      4.13   1000000         0
435.94/436.10	c       356       622    588.24    128.96      4.56   1000000         0
437.44/437.64	c       279       623    578.56    133.85      4.32   1000000         0
438.94/439.18	c       297       574    573.65    122.58      4.68   1000000         0
440.54/440.72	c       329       583    566.30    114.92      4.93   1000000         0
442.05/442.26	c       345       493    590.36    137.69      4.29   1000000         0
443.64/443.80	c       355       414    578.46    136.96      4.22   1000000         0
445.14/445.35	c       376       612    603.25    144.98      4.16   1000000         0
446.74/446.90	c       350       543    609.77    126.60      4.82   1000000         0
448.24/448.44	c       371       695    588.10    109.86      5.35   1000000         0
449.75/449.98	c       351       619    582.36    120.85      4.82   1000000         0
451.34/451.52	c       362       592    585.72    107.31      5.46   1000000         0
452.84/453.05	c       304       548    567.41    129.55      4.38   1000000         0
454.34/454.59	c       349       631    590.48    133.71      4.42   1000000         0
455.93/456.13	c       369       612    586.07    126.70      4.63   1000000         0
457.44/457.67	c       309       625    579.67    106.23      5.46   1000000         0
459.03/459.21	c       327       654    581.43    126.40      4.60   1000000         0
460.53/460.75	c       341       613    574.55    124.60      4.61   1000000         0
462.13/462.30	c       265       624    581.79    133.24      4.37   1000000         0
463.63/463.85	c       361       553    589.40    133.27      4.42   1000000         0
465.14/465.39	c       351       573    589.43    121.25      4.86   1000000         0
466.73/466.93	c       359       609    581.00    128.03      4.54   1000000         0
468.23/468.46	c       327       653    568.57    120.90      4.70   1000000         0
469.83/470.01	c       334       593    591.27    156.35      3.78   1000000         0
471.33/471.55	c       330       594    585.84    114.99      5.09   1000000         0
472.84/473.09	c       317       511    572.55    133.32      4.29   1000000         0
474.43/474.63	c       365       544    581.81    118.04      4.93   1000000         0
475.93/476.18	c       302       618    589.55    151.71      3.89   1000000         0
477.53/477.72	c       337       593    588.58    147.66      3.99   1000000         0
479.03/479.27	c       346       528    591.68    121.67      4.86   1000000         0
480.63/480.82	c       345       561    602.48    149.43      4.03   1000000         0
482.12/482.36	c       359       429    587.07    114.19      5.14   1000000         0
483.73/483.91	c       360       677    593.67    126.64      4.69   1000000         0
485.22/485.45	c       301       577    576.02    146.51      3.93   1000000         0
486.82/487.00	c       335       565    590.98    146.39      4.04   1000000         0
488.32/488.56	c       324       513    592.82    138.45      4.28   1000000         0
489.92/490.10	c       360       656    592.93    117.51      5.05   1000000         0
491.43/491.64	c       327       567    589.50    140.96      4.18   1000000         0
492.92/493.19	c       344       632    588.68    124.44      4.73   1000000         0
494.52/494.73	c       310       483    580.33    137.03      4.24   1000000         0
496.02/496.27	c       352       587    589.37    137.65      4.28   1000000         0
497.62/497.81	c       341       593    580.90    139.46      4.17   1000000         0
499.13/499.36	c       359       528    586.84    134.22      4.37   1000000         0
500.62/500.90	c       314       618    572.26    118.61      4.82   1000000         0
502.22/502.44	c       308       574    582.27    135.16      4.31   1000000         0
503.72/503.98	c       344       516    592.14    117.98      5.02   1000000         0
505.32/505.53	c       380       562    589.93    118.28      4.99   1000000         0
506.82/507.07	c       267       394    589.26    120.15      4.90   1000000         0
508.42/508.62	c       323       605    600.44    124.63      4.82   1000000         0
509.91/510.16	c       320       546    574.26    124.67      4.61   1000000         0
511.51/511.70	c       353       577    593.16    131.05      4.53   1000000         0
513.01/513.24	c       344       478    576.18    122.43      4.71   1000000         0
514.52/514.79	c       324       618    597.91    135.91      4.40   1000000         0
516.11/516.32	c       287       473    575.00    146.54      3.92   1000000         0
517.61/517.87	c       357       717    608.89    153.67      3.96   1000000         0
519.21/519.41	c       343       599    584.17    133.03      4.39   1000000         0
520.71/520.96	c       357       658    584.21    132.03      4.42   1000000         0
522.22/522.50	c       365       494    586.31    111.22      5.27   1000000         0
523.81/524.04	c       329       628    573.61    118.82      4.83   1000000         0
525.31/525.58	c       369       650    586.26    126.68      4.63   1000000         0
526.91/527.11	c       280       619    560.01    135.73      4.13   1000000         0
528.41/528.65	c       342       627    563.94    122.07      4.62   1000000         0
529.91/530.18	c       338       622    573.29    126.89      4.52   1000000         0
531.51/531.71	c       337       631    564.82    111.72      5.06   1000000         0
533.00/533.24	c       304       597    568.82    145.53      3.91   1000000         0
534.50/534.79	c       310       531    590.82    102.53      5.76   1000000         0
536.10/536.33	c       333       598    587.13    131.88      4.45   1000000         0
537.61/537.86	c       287       484    570.50    120.24      4.74   1000000         0
539.20/539.41	c       294       483    592.78    144.56      4.10   1000000         0
540.70/540.95	c       351       598    588.13    135.27      4.35   1000000         0
542.30/542.50	c       344       434    589.15    138.81      4.24   1000000         0
543.80/544.04	c       324       588    568.32    136.80      4.15   1000000         0
545.31/545.58	c       310       466    606.17    126.18      4.80   1000000         0
546.90/547.13	c       265       626    578.23    153.54      3.77   1000000         0
548.40/548.66	c       352       386    579.25    134.83      4.30   1000000         0
550.00/550.21	c       371       560    596.61    139.28      4.28   1000000         0
551.50/551.75	c       334       507    578.38    146.88      3.94   1000000         0
553.00/553.29	c       352       571    578.30    136.66      4.23   1000000         0
554.60/554.83	c       347       479    592.90    127.99      4.63   1000000         0
556.10/556.38	c       334       571    582.06    138.31      4.21   1000000         0
557.70/557.92	c       369       578    593.70    136.33      4.35   1000000         0
559.19/559.46	c       344       629    585.75    124.08      4.72   1000000         0
560.70/560.99	c       338       537    569.09    117.69      4.84   1000000         0
562.29/562.53	c       347       562    590.31    149.24      3.96   1000000         0
563.79/564.07	c       324       578    589.41    117.34      5.02   1000000         0
565.39/565.62	c       313       443    588.80    134.95      4.36   1000000         0
566.89/567.17	c       351       476    601.98    135.98      4.43   1000000         0
568.40/568.70	c       315       600    561.68    113.89      4.93   1000000         0
569.99/570.24	c       318       514    570.33    119.24      4.78   1000000         0
571.49/571.78	c       327       522    590.35    156.81      3.76   1000000         0
573.09/573.33	c       363       575    598.31    128.05      4.67   1000000         0
574.59/574.86	c       318       608    576.30    131.47      4.38   1000000         0
576.20/576.41	c       300       563    594.32    149.34      3.98   1000000         0
577.69/577.96	c       406       608    592.10    118.12      5.01   1000000         0
579.29/579.50	c       298       582    585.70    167.32      3.50   1000000         0
580.79/581.04	c       374       533    595.47    126.63      4.70   1000000         0
582.29/582.58	c       342       475    577.96    131.15      4.41   1000000         0
583.89/584.12	c       276       699    574.49    142.73      4.03   1000000         0
585.39/585.65	c       316       598    568.29    125.49      4.53   1000000         0
586.89/587.19	c       354       649    588.17    125.63      4.68   1000000         0
588.48/588.73	c       313       646    575.74    111.42      5.17   1000000         0
589.98/590.27	c       311       539    566.97    121.32      4.67   1000000         0
591.59/591.81	c       353       424    592.26    131.78      4.49   1000000         0
593.08/593.34	c       303       591    560.52    143.58      3.90   1000000         0
594.58/594.89	c       384       718    592.93    135.70      4.37   1000000         0
596.18/596.42	c       352       516    569.31    117.36      4.85   1000000         0
597.68/597.97	c       349       550    599.07    126.40      4.74   1000000         0
599.29/599.51	c       363       666    593.07    104.74      5.66   1000000         0
600.78/601.05	c       341       629    571.66    128.70      4.44   1000000         0
602.28/602.60	c       296       650    589.08    146.60      4.02   1000000         0
603.88/604.14	c       336       533    602.92    119.52      5.04   1000000         0
605.38/605.68	c       258       478    565.59    121.46      4.66   1000000         0
606.99/607.21	c       340       550    576.46    124.70      4.62   1000000         0
608.48/608.75	c       328       576    585.34    127.47      4.59   1000000         0
609.98/610.29	c       348       550    585.61    123.99      4.72   1000000         0
611.58/611.84	c       343       512    583.35    123.92      4.71   1000000         0
613.08/613.38	c       333       511    574.33    123.65      4.64   1000000         0
614.68/614.93	c       329       519    597.17    147.11      4.06   1000000         0
616.17/616.47	c       328       684    591.39    120.33      4.91   1000000         0
617.77/618.01	c       318       509    578.21    130.16      4.44   1000000         0
619.27/619.54	c       379       433    573.30     94.68      6.06   1000000         0
620.77/621.09	c       316       594    572.08    132.77      4.31   1000000         0
622.38/622.63	c       289       546    595.59    149.58      3.98   1000000         0
623.87/624.18	c       282       579    581.71    136.10      4.27   1000000         0
625.47/625.72	c       339       556    595.79    132.01      4.51   1000000         0
626.97/627.26	c       298       603    569.08    157.88      3.60   1000000         0
628.57/628.82	c       360       606    608.98    152.06      4.00   1000000         0
630.08/630.35	c       299       439    573.23    135.56      4.23   1000000         0
631.57/631.89	c       355       482    574.45    150.65      3.81   1000000         0
633.17/633.44	c       384       637    605.97    126.69      4.78   1000000         0
634.67/634.98	c       344       523    594.30    102.54      5.80   1000000         0
636.27/636.52	c       356       524    577.34    137.22      4.21   1000000         0
637.77/638.07	c       329       533    585.13    123.16      4.75   1000000         0
639.36/639.61	c       315       548    586.23    143.75      4.08   1000000         0
640.86/641.14	c       323       602    570.22    120.50      4.73   1000000         0
642.36/642.68	c       337       576    577.07    129.50      4.46   1000000         0
643.96/644.22	c       362       556    585.51    125.17      4.68   1000000         0
645.47/645.76	c       361       752    575.51    124.32      4.63   1000000         0
647.06/647.30	c       293       579    585.56    111.32      5.26   1000000         0
648.56/648.85	c       332       479    593.73    147.79      4.02   1000000         0
650.06/650.39	c       359       529    586.45    114.81      5.11   1000000         0
651.66/651.94	c       287       564    589.60    144.93      4.07   1000000         0
653.17/653.48	c       347       505    588.12    119.51      4.92   1000000         0
654.76/655.02	c       365       534    578.55    123.50      4.68   1000000         0
656.26/656.57	c       320       574    591.27    133.97      4.41   1000000         0
657.86/658.11	c       362       696    584.02    132.28      4.42   1000000         0
659.36/659.64	c       333       593    584.50    150.62      3.88   1000000         0
660.87/661.18	c       329       494    583.24    115.99      5.03   1000000         0
662.46/662.71	c       284       609    564.86    121.36      4.65   1000000         0
663.96/664.25	c       291       524    573.19    142.24      4.03   1000000         0
665.46/665.79	c       369       536    582.80    134.23      4.34   1000000         0
667.06/667.33	c       308       662    587.06    125.41      4.68   1000000         0
668.56/668.87	c       363       561    564.12    137.33      4.11   1000000         0
670.16/670.41	c       352       451    599.13    157.60      3.80   1000000         0
671.65/671.95	c       321       639    583.22    129.26      4.51   1000000         0
673.15/673.49	c       315       541    572.85    133.71      4.28   1000000         0
674.75/675.02	c       253       636    570.02    120.38      4.74   1000000         0
676.26/676.57	c       381       577    582.72    133.77      4.36   1000000         0
677.85/678.11	c       301       547    582.76    128.37      4.54   1000000         0
679.35/679.64	c       288       485    546.75    126.61      4.32   1000000         0
680.85/681.18	c       356       439    579.01    113.29      5.11   1000000         0
682.45/682.72	c       384       535    596.58    113.93      5.24   1000000         0
683.96/684.27	c       333       561    593.44    130.92      4.53   1000000         0
685.55/685.81	c       346       556    580.72    119.47      4.86   1000000         0
687.05/687.36	c       341       640    619.28    152.95      4.05   1000000         0
688.55/688.90	c       323       584    563.03    118.65      4.75   1000000         0
690.15/690.44	c       322       501    584.42    125.72      4.65   1000000         0
691.65/691.98	c       334       562    571.21    133.94      4.26   1000000         0
693.25/693.51	c       360       565    568.51    116.21      4.89   1000000         0
694.75/695.05	c       354       502    594.36    117.22      5.07   1000000         0
696.25/696.59	c       318       486    577.15    142.70      4.04   1000000         0
697.85/698.14	c       356       563    602.26    126.35      4.77   1000000         0
699.35/699.68	c       294       642    563.83    124.22      4.54   1000000         0
700.94/701.22	c       313       639    586.54    132.38      4.43   1000000         0
702.44/702.77	c       374       534    603.40    134.23      4.50   1000000         0
704.04/704.32	c       298       486    594.68    138.58      4.29   1000000         0
705.54/705.84	c       325       598    551.24    134.07      4.11   1000000         0
707.05/707.39	c       340       504    589.78    139.96      4.21   1000000         0
708.64/708.93	c       340       603    582.50    119.52      4.87   1000000         0
710.14/710.46	c       297       613    559.33    138.23      4.05   1000000         0
711.74/712.00	c       339       530    585.31    130.45      4.49   1000000         0
713.24/713.55	c       336       630    598.10    132.07      4.53   1000000         0
714.75/715.09	c       342       535    590.04    140.75      4.19   1000000         0
716.34/716.64	c       366       640    584.31    150.74      3.88   1000000         0
717.84/718.17	c       346       518    571.22    131.77      4.33   1000000         0
719.44/719.70	c       351       576    570.61    107.18      5.32   1000000         0
720.94/721.24	c       279       657    569.64    146.90      3.88   1000000         0
722.54/722.80	c       387       693    606.04    132.90      4.56   1000000         0
724.04/724.33	c       324       512    571.89    112.09      5.10   1000000         0
725.54/725.87	c       355       588    571.11    112.51      5.08   1000000         0
727.14/727.43	c       358       560    616.40    139.31      4.42   1000000         0
728.64/728.96	c       308       470    569.98    134.32      4.24   1000000         0
730.23/730.50	c       346       621    573.75    116.90      4.91   1000000         0
731.73/732.04	c       363       553    594.48    123.39      4.82   1000000         0
733.23/733.59	c       354       457    604.44    121.89      4.96   1000000         0
734.83/735.13	c       344       682    592.24    138.58      4.27   1000000         0
736.33/736.68	c       346       577    588.18    121.91      4.82   1000000         0
737.93/738.22	c       316       567    585.08    142.14      4.12   1000000         0
739.43/739.75	c       378       434    576.28    118.05      4.88   1000000         0
741.04/741.30	c       274       621    582.37    150.90      3.86   1000000         0
742.53/742.83	c       362       508    574.48    117.77      4.88   1000000         0
744.03/744.37	c       354       472    580.86    125.87      4.61   1000000         0
745.63/745.91	c       352       598    578.25    133.89      4.32   1000000         0
747.13/747.45	c       342       590    580.98    134.34      4.32   1000000         0
748.74/749.00	c       372       489    612.23    159.26      3.84   1000000         0
750.23/750.54	c       324       514    582.38    128.16      4.54   1000000         0
751.73/752.09	c       316       611    598.14    116.93      5.12   1000000         0
753.33/753.63	c       323       625    577.26    106.10      5.44   1000000         0
754.83/755.16	c       348       594    571.67    109.82      5.21   1000000         0
756.43/756.70	c       385       576    580.45    120.41      4.82   1000000         0
757.92/758.24	c       346       547    592.91    129.45      4.58   1000000         0
759.42/759.77	c       304       485    564.89    127.43      4.43   1000000         0
761.02/761.32	c       356       662    596.10    136.42      4.37   1000000         0
762.52/762.86	c       341       486    564.04    142.95      3.95   1000000         0
764.02/764.39	c       314       336    571.76    137.98      4.14   1000000         0
765.62/765.93	c       383       572    577.15    120.98      4.77   1000000         0
767.12/767.47	c       246       695    561.14    150.15      3.74   1000000         0
768.72/769.01	c       302       613    565.59    152.35      3.71   1000000         0
770.22/770.54	c       326       461    556.00    134.41      4.14   1000000         0
771.72/772.08	c       336       585    591.53    136.43      4.34   1000000         0
773.32/773.61	c       309       616    566.43    157.86      3.59   1000000         0
774.82/775.14	c       281       476    571.16    134.04      4.26   1000000         0
776.33/776.69	c       303       577    587.33    130.63      4.50   1000000         0
777.92/778.23	c       303       528    591.94    134.72      4.39   1000000         0
779.42/779.78	c       317       531    600.66    135.89      4.42   1000000         0
781.02/781.33	c       329       512    599.99    138.08      4.35   1000000         0
782.52/782.87	c       318       572    571.45    149.18      3.83   1000000         0
784.12/784.40	c       345       653    574.94    130.53      4.40   1000000         0
785.62/785.95	c       323       533    596.17    130.28      4.58   1000000         0
787.11/787.48	c       326       626    580.61    143.82      4.04   1000000         0
788.71/789.02	c       310       483    585.87     99.38      5.90   1000000         0
790.21/790.56	c       331       404    591.44    107.31      5.51   1000000         0
791.81/792.10	c       330       662    569.62    116.50      4.89   1000000         0
793.31/793.64	c       349       507    595.55    130.49      4.56   1000000         0
794.81/795.19	c       344       588    586.42    153.72      3.81   1000000         0
796.41/796.74	c       338       593    581.77    155.59      3.74   1000000         0
797.91/798.27	c       323       667    587.60    126.25      4.65   1000000         0
799.51/799.82	c       351       614    584.09    129.62      4.51   1000000         0
801.01/801.37	c       346       457    595.94    149.92      3.98   1000000         0
802.62/802.90	c       309       709    574.51    119.65      4.80   1000000         0
804.11/804.45	c       348       626    601.49    154.49      3.89   1000000         0
805.71/806.00	c       382       614    600.53    133.11      4.51   1000000         0
807.21/807.54	c       326       659    582.68    132.05      4.41   1000000         0
808.71/809.08	c       323       444    581.66    141.56      4.11   1000000         0
810.31/810.62	c       298       751    582.65    127.93      4.55   1000000         0
811.81/812.18	c       345       611    609.83    147.12      4.15   1000000         0
813.41/813.71	c       301       703    561.93    116.66      4.82   1000000         0
814.91/815.25	c       309       574    589.19    135.59      4.35   1000000         0
816.40/816.79	c       346       532    582.87    146.80      3.97   1000000         0
818.01/818.34	c       348       578    586.13    134.97      4.34   1000000         0
819.50/819.88	c       322       588    574.51    107.17      5.36   1000000         0
821.10/821.42	c       352       479    587.18    136.49      4.30   1000000         0
822.60/822.97	c       363       549    599.26    129.76      4.62   1000000         0
824.20/824.51	c       339       593    598.24    129.57      4.62   1000000         0
825.71/826.05	c       321       570    572.55    135.08      4.24   1000000         0
827.20/827.58	c       351       510    581.01    124.36      4.67   1000000         0
828.80/829.13	c       348       647    587.93    111.28      5.28   1000000         0
830.30/830.67	c       334       531    585.43    141.62      4.13   1000000         0
831.90/832.22	c       343       740    589.91    142.99      4.13   1000000         0
833.41/833.75	c       343       580    568.12    117.89      4.82   1000000         0
834.90/835.29	c       323       635    574.69    132.42      4.34   1000000         0
836.50/836.84	c       311       458    584.84    153.46      3.81   1000000         0
838.00/838.38	c       378       549    589.82    117.88      5.00   1000000         0
839.60/839.93	c       379       546    580.45    106.66      5.44   1000000         0
841.10/841.46	c       296       516    561.82    123.97      4.53   1000000         0
842.69/843.00	c       348       610    598.13    134.36      4.45   1000000         0
844.20/844.55	c       358       570    597.36    130.67      4.57   1000000         0
845.80/846.11	c       379       532    617.06    155.78      3.96   1000000         0
847.30/847.64	c       347       624    567.75    107.79      5.27   1000000         0
848.81/849.18	c       362       553    590.16    127.30      4.64   1000000         0
850.40/850.73	c       332       695    594.46    132.80      4.48   1000000         0
851.90/852.27	c       361       592    593.44    143.50      4.14   1000000         0
853.50/853.82	c       359       536    595.06    115.07      5.17   1000000         0
855.00/855.36	c       390       507    583.12    117.20      4.98   1000000         0
856.51/856.90	c       336       582    591.68    149.79      3.95   1000000         0
858.10/858.45	c       326       561    592.16    150.95      3.92   1000000         0
859.60/859.99	c       315       554    576.40    130.43      4.42   1000000         0
861.20/861.52	c       279       543    567.87    124.26      4.57   1000000         0
862.70/863.06	c       349       623    573.34    145.07      3.95   1000000         0
864.30/864.61	c       362       608    597.79    104.70      5.71   1000000         0
865.80/866.16	c       336       555    589.20    148.25      3.97   1000000         0
867.40/867.70	c       365       530    580.27    119.24      4.87   1000000         0
868.89/869.24	c       365       433    578.53    139.54      4.15   1000000         0
870.39/870.77	c       309       459    581.30    131.86      4.41   1000000         0
872.00/872.31	c       275       634    575.26    116.37      4.94   1000000         0
873.49/873.85	c       322       565    574.60    112.09      5.13   1000000         0
874.99/875.38	c       305       600    560.84    137.09      4.09   1000000         0
876.59/876.92	c       351       475    581.23    143.73      4.04   1000000         0
878.09/878.45	c       317       509    567.44    110.05      5.16   1000000         0
879.60/880.00	c       327       544    580.04    146.59      3.96   1000000         0
881.19/881.53	c       302       534    560.02    112.76      4.97   1000000         0
882.69/883.07	c       347       688    587.20    163.56      3.59   1000000         0
884.29/884.61	c       365       552    582.32    134.78      4.32   1000000         0
885.79/886.16	c       314       491    596.00    119.40      4.99   1000000         0
887.29/887.69	c       290       595    578.00    129.17      4.47   1000000         0
888.89/889.24	c       326       588    588.64    126.19      4.66   1000000         0
890.39/890.78	c       330       604    576.86    106.55      5.41   1000000         0
891.99/892.32	c       356       470    587.19    147.09      3.99   1000000         0
893.48/893.86	c       331       613    572.30    136.24      4.20   1000000         0
894.99/895.40	c       326       517    562.75    134.74      4.18   1000000         0
896.58/896.93	c       321       491    583.52    137.33      4.25   1000000         0
898.08/898.47	c       354       529    581.31    129.41      4.49   1000000         0
899.68/900.01	c       309       660    585.79    122.20      4.79   1000000         0
901.18/901.55	c       325       465    561.68    123.09      4.56   1000000         0
902.69/903.09	c       353       602    590.73    120.79      4.89   1000000         0
904.28/904.62	c       333       556    567.43    119.17      4.76   1000000         0
905.78/906.15	c       319       605    570.59    128.01      4.46   1000000         0
907.28/907.69	c       362       568    595.69    131.38      4.53   1000000         0
908.88/909.23	c       342       747    592.70    114.94      5.16   1000000         0
910.39/910.77	c       331       633    570.23    106.82      5.34   1000000         0
911.98/912.32	c       345       711    581.40    154.03      3.77   1000000         0
913.48/913.85	c       343       662    585.15    109.61      5.34   1000000         0
915.08/915.41	c       317       461    606.78    144.30      4.21   1000000         0
916.58/916.95	c       376       460    584.19    117.94      4.95   1000000         0
918.08/918.49	c       326       563    585.51    119.61      4.90   1000000         0
919.68/920.02	c       325       610    576.44    119.27      4.83   1000000         0
921.17/921.56	c       307       432    575.21    124.16      4.63   1000000         0
922.67/923.10	c       368       584    574.41    112.14      5.12   1000000         0
924.27/924.63	c       239       496    566.99    117.11      4.84   1000000         0
925.78/926.17	c       360       531    581.69    121.26      4.80   1000000         0
927.37/927.71	c       371       522    598.42    134.52      4.45   1000000         0
928.87/929.26	c       356       653    598.83    104.44      5.73   1000000         0
930.47/930.81	c       381       499    598.95    121.69      4.92   1000000         0
931.97/932.36	c       347       618    589.77    132.32      4.46   1000000         0
933.48/933.89	c       382       591    579.74    112.32      5.16   1000000         0
935.07/935.44	c       345       485    569.32    139.59      4.08   1000000         0
936.57/936.99	c       376       616    604.45    117.53      5.14   1000000         0
938.17/938.53	c       327       549    576.62    142.54      4.05   1000000         0
939.67/940.07	c       328       660    607.85    144.47      4.21   1000000         0
941.27/941.62	c       327       497    590.43    139.76      4.22   1000000         0
942.77/943.16	c       353       566    578.64    138.59      4.18   1000000         0
944.37/944.70	c       307       557    577.07    143.86      4.01   1000000         0
945.87/946.24	c       291       468    585.97    119.48      4.90   1000000         0
947.36/947.78	c       366       605    598.74    112.71      5.31   1000000         0
948.97/949.32	c       359       593    571.48    102.72      5.56   1000000         0
950.46/950.86	c       303       634    583.98    125.61      4.65   1000000         0
951.96/952.39	c       311       627    566.98    115.16      4.92   1000000         0
953.56/953.93	c       335       526    580.25    149.00      3.89   1000000         0
955.06/955.47	c       319       644    581.74    132.99      4.37   1000000         0
956.67/957.00	c       347       467    557.85    117.21      4.76   1000000         0
958.16/958.55	c       342       616    580.29    170.74      3.40   1000000         0
959.66/960.09	c       359       462    587.33    114.68      5.12   1000000         0
961.26/961.62	c       343       516    569.86    125.73      4.53   1000000         0
962.76/963.16	c       318       644    581.58    158.12      3.68   1000000         0
964.37/964.70	c       332       364    586.40    117.54      4.99   1000000         0
965.86/966.24	c       353       595    581.52    125.20      4.64   1000000         0
967.36/967.78	c       332       536    572.14    137.77      4.15   1000000         0
968.96/969.32	c       350       677    569.98    131.89      4.32   1000000         0
970.46/970.86	c       378       560    589.26    113.79      5.18   1000000         0
971.96/972.40	c       338       609    569.64    117.21      4.86   1000000         0
973.56/973.93	c       269       603    574.26    132.52      4.33   1000000         0
975.05/975.47	c       356       534    593.02    146.94      4.04   1000000         0
976.65/977.01	c       328       500    586.45    131.92      4.45   1000000         0
978.15/978.54	c       257       581    570.47    130.03      4.39   1000000         0
979.66/980.09	c       313       575    593.73    123.56      4.81   1000000         0
981.25/981.63	c       346       639    589.35    129.28      4.56   1000000         0
982.75/983.18	c       319       590    590.72    117.62      5.02   1000000         0
984.35/984.72	c       269       597    583.43    116.51      5.01   1000000         0
985.85/986.26	c       339       581    563.04    122.25      4.61   1000000         0
987.36/987.79	c       331       509    575.98    138.12      4.17   1000000         0
988.95/989.34	c       359       628    591.54    110.66      5.35   1000000         0
990.45/990.88	c       318       483    588.85    129.95      4.53   1000000         0
992.05/992.43	c       351       430    587.62    132.44      4.44   1000000         0
993.55/993.96	c       323       536    563.79    128.23      4.40   1000000         0
995.16/995.50	c       376       496    595.94    124.77      4.78   1000000         0
996.65/997.05	c       350       491    598.80    141.07      4.24   1000000         0
998.25/998.60	c       335       632    594.88    121.82      4.88   1000000         0
999.75/1000.13	c       312       592    574.40    129.84      4.42   1000000         0
1001.25/1001.68	c       314       597    594.31    143.83      4.13   1000000         0
1002.85/1003.22	c       340       358    604.59    118.93      5.08   1000000         0
1004.34/1004.76	c       318       401    567.79    112.11      5.06   1000000         0
1005.84/1006.30	c       344       558    596.55    111.80      5.34   1000000         0
1007.44/1007.84	c       370       592    592.54    120.14      4.93   1000000         0
1008.94/1009.38	c       334       549    587.16    125.45      4.68   1000000         0
1010.55/1010.92	c       310       455    565.71    116.92      4.84   1000000         0
1012.04/1012.45	c       339       422    561.07    104.86      5.35   1000000         0
1013.54/1013.99	c       277       469    592.09    131.57      4.50   1000000         0
1015.14/1015.53	c       310       502    574.72    142.43      4.04   1000000         0
1016.64/1017.06	c       306       566    557.05    107.61      5.18   1000000         0
1018.15/1018.60	c       301       625    589.29    143.85      4.10   1000000         0
1019.74/1020.14	c       300       521    575.57    121.12      4.75   1000000         0
1021.24/1021.68	c       301       633    584.18    161.68      3.61   1000000         0
1022.84/1023.22	c       356       475    575.20    121.31      4.74   1000000         0
1024.34/1024.76	c       331       450    583.26    114.04      5.11   1000000         0
1025.85/1026.30	c       263       570    569.41    134.47      4.23   1000000         0
1027.44/1027.84	c       304       459    576.48    139.78      4.12   1000000         0
1028.94/1029.37	c       295       605    573.78    129.99      4.41   1000000         0
1030.54/1030.91	c       309       611    575.12    116.63      4.93   1000000         0
1032.04/1032.45	c       340       477    580.61    137.29      4.23   1000000         0
1033.54/1033.99	c       359       438    580.43    101.60      5.71   1000000         0
1035.13/1035.53	c       361       490    591.01    136.16      4.34   1000000         0
1036.63/1037.07	c       353       545    572.11    140.53      4.07   1000000         0
1038.23/1038.61	c       356       574    594.71    154.19      3.86   1000000         0
1039.73/1040.17	c       305       603    597.68    134.23      4.45   1000000         0
1041.34/1041.71	c       363       686    582.98    124.83      4.67   1000000         0
1042.83/1043.24	c       312       651    560.29    118.80      4.72   1000000         0
1044.33/1044.77	c       300       603    573.30    120.10      4.77   1000000         0
1045.93/1046.31	c       333       555    585.99    131.58      4.45   1000000         0
1047.43/1047.85	c       352       418    580.43    118.34      4.90   1000000         0
1048.94/1049.39	c       347       564    584.14    115.16      5.07   1000000         0
1050.53/1050.94	c       346       536    601.83    138.94      4.33   1000000         0
1052.03/1052.48	c       360       454    587.70    130.54      4.50   1000000         0
1053.63/1054.02	c       343       527    565.89    129.28      4.38   1000000         0
1055.13/1055.55	c       274       615    572.64    138.28      4.14   1000000         0
1056.63/1057.09	c       332       505    574.16    131.78      4.36   1000000         0
1058.23/1058.61	c       282       610    547.98    113.74      4.82   1000000         0
1059.73/1060.16	c       349       422    575.89    132.08      4.36   1000000         0
1061.33/1061.70	c       340       601    575.17    145.72      3.95   1000000         0
1062.83/1063.23	c       246       570    577.51    131.10      4.41   1000000         0
1064.33/1064.78	c       383       520    602.71    124.45      4.84   1000000         0
1065.92/1066.34	c       348       689    609.84    123.97      4.92   1000000         0
1067.42/1067.89	c       385       590    598.24    135.18      4.43   1000000         0
1069.02/1069.43	c       384       669    589.57    138.54      4.26   1000000         0
1070.52/1070.98	c       306       715    587.07    148.47      3.95   1000000         0
1072.13/1072.53	c       333       514    597.12    152.77      3.91   1000000         0
1073.62/1074.07	c       276       486    586.46    150.71      3.89   1000000         0
1075.22/1075.61	c       312       538    579.18    124.81      4.64   1000000         0
1076.72/1077.15	c       385       493    587.04    141.18      4.16   1000000         0
1078.22/1078.69	c       351       429    570.96    123.07      4.64   1000000         0
1079.83/1080.23	c       326       644    597.92    154.17      3.88   1000000         0
1081.32/1081.77	c       315       564    579.96    123.30      4.70   1000000         0
1082.92/1083.31	c       309       477    575.70    136.71      4.21   1000000         0
1084.42/1084.85	c       359       729    583.51    117.61      4.96   1000000         0
1085.92/1086.39	c       330       621    580.52    151.13      3.84   1000000         0
1087.52/1087.93	c       310       519    578.36    129.91      4.45   1000000         0
1089.02/1089.47	c       301       483    567.19    138.16      4.11   1000000         0
1090.62/1091.01	c       357       629    581.19    132.67      4.38   1000000         0
1092.11/1092.54	c       331       664    565.76    142.63      3.97   1000000         0
1093.61/1094.09	c       312       565    578.35    138.34      4.18   1000000         0
1095.22/1095.64	c       325       359    612.39    157.21      3.90   1000000         0
1096.71/1097.19	c       370       619    603.81    142.69      4.23   1000000         0
1098.31/1098.73	c       259       558    574.48    136.02      4.22   1000000         0
1099.81/1100.27	c       344       511    581.55    137.23      4.24   1000000         0
1101.41/1101.82	c       374       508    599.29    143.25      4.18   1000000         0
1102.92/1103.37	c       285       615    586.52    118.31      4.96   1000000         0
1104.51/1104.90	c       332       553    574.89    135.63      4.24   1000000         0
1106.01/1106.45	c       359       521    592.73    142.05      4.17   1000000         0
1107.51/1107.98	c       234       458    563.84    132.81      4.25   1000000         0
1109.11/1109.52	c       350       552    591.28    130.43      4.53   1000000         0
1110.62/1111.06	c       296       652    582.55    135.53      4.30   1000000         0
1112.21/1112.62	c       300       576    608.37    144.41      4.21   1000000         0
1113.71/1114.15	c       308       631    569.92    132.88      4.29   1000000         0
1115.21/1115.69	c       342       576    585.12    140.70      4.16   1000000         0
1116.81/1117.23	c       331       656    572.36    127.98      4.47   1000000         0
1118.31/1118.78	c       324       553    610.68    144.04      4.24   1000000         0
1119.90/1120.32	c       329       502    573.25    131.20      4.37   1000000         0
1121.40/1121.86	c       335       590    586.93    134.59      4.36   1000000         0
1123.00/1123.41	c       349       591    595.37    135.31      4.40   1000000         0
1124.50/1124.95	c       351       636    588.37    141.44      4.16   1000000         0
1126.01/1126.48	c       355       636    577.18    121.13      4.76   1000000         0
1127.60/1128.02	c       335       659    580.17    152.70      3.80   1000000         0
1129.10/1129.56	c       333       362    583.17    135.79      4.29   1000000         0
1130.60/1131.09	c       296       622    560.17    135.92      4.12   1000000         0
1132.20/1132.63	c       334       517    584.46    152.87      3.82   1000000         0
1133.70/1134.17	c       322       608    567.57    130.87      4.34   1000000         0
1135.30/1135.71	c       300       565    592.12    144.38      4.10   1000000         0
1136.80/1137.25	c       272       642    578.17    127.78      4.52   1000000         0
1138.30/1138.79	c       350       504    597.97    126.31      4.73   1000000         0
1139.90/1140.33	c       342       447    576.64    123.15      4.68   1000000         0
1141.40/1141.86	c       329       481    567.59    138.75      4.09   1000000         0
1142.99/1143.40	c       320       631    580.87    120.94      4.80   1000000         0
1144.49/1144.95	c       339       679    603.08    158.62      3.80   1000000         0
1145.99/1146.49	c       337       455    572.04    126.60      4.52   1000000         0
1147.59/1148.04	c       355       548    607.60    125.77      4.83   1000000         0
1149.10/1149.58	c       342       899    596.15    126.70      4.71   1000000         0
1150.69/1151.12	c       340       646    571.22    117.97      4.84   1000000         0
1152.19/1152.65	c       291       656    575.32    129.95      4.43   1000000         0
1153.69/1154.19	c       347       506    584.09    146.74      3.98   1000000         0
1155.29/1155.73	c       319       516    580.89    142.38      4.08   1000000         0
1156.80/1157.28	c       386       582    592.77    122.71      4.83   1000000         0
1158.39/1158.82	c       375       471    599.07    139.02      4.31   1000000         0
1159.89/1160.37	c       368       513    596.56    138.14      4.32   1000000         0
1161.49/1161.91	c       355       404    578.60    131.18      4.41   1000000         0
1162.99/1163.44	c       333       486    574.19    113.63      5.05   1000000         0
1164.49/1164.98	c       341       499    575.92    130.03      4.43   1000000         0
1166.09/1166.52	c       297       531    585.98    146.47      4.00   1000000         0
1167.59/1168.06	c       290       487    577.54    118.67      4.87   1000000         0
1169.19/1169.60	c       276       523    573.78    109.64      5.23   1000000         0
1170.69/1171.14	c       348       589    597.73    126.85      4.71   1000000         0
1172.19/1172.69	c       376       647    597.34    122.88      4.86   1000000         0
1173.78/1174.23	c       342       512    585.94    125.11      4.68   1000000         0
1175.28/1175.77	c       268       443    580.71    125.23      4.64   1000000         0
1176.88/1177.32	c       366       460    589.42    130.17      4.53   1000000         0
1178.38/1178.85	c       328       484    575.15    129.45      4.44   1000000         0
1179.89/1180.39	c       361       698    590.66    139.17      4.24   1000000         0
1181.48/1181.93	c       350       617    578.23    126.82      4.56   1000000         0
1182.98/1183.48	c       356       477    579.12    159.20      3.64   1000000         0
1184.58/1185.01	c       338       427    571.54    129.45      4.42   1000000         0
1186.08/1186.56	c       347       591    579.93    130.70      4.44   1000000         0
1187.59/1188.09	c       316       591    566.72    115.57      4.90   1000000         0
1189.18/1189.62	c       344       562    567.68    132.69      4.28   1000000         0
1190.68/1191.15	c       290       524    566.36    121.36      4.67   1000000         0
1192.18/1192.69	c       348       517    569.70    150.65      3.78   1000000         0
1193.78/1194.23	c       290       624    594.64    122.50      4.85   1000000         0
1195.28/1195.77	c       332       521    567.59    123.11      4.61   1000000         0
1196.88/1197.31	c       338       606    582.15    133.88      4.35   1000000         0
1198.37/1198.86	c       305       637    593.95    138.64      4.28   1000000         0
1199.97/1200.40	c       354       587    599.54    141.15      4.25   1000000         0
1201.47/1201.94	c       347       569    588.85    136.39      4.32   1000000         0
1202.98/1203.48	c       302       468    565.68    117.55      4.81   1000000         0
1204.57/1205.02	c       303       601    568.64    125.71      4.52   1000000         0
1206.07/1206.57	c       385       661    600.98    123.02      4.89   1000000         0
1207.67/1208.10	c       340       593    568.66    138.63      4.10   1000000         0
1209.17/1209.63	c       326       502    569.98    105.38      5.41   1000000         0
1210.68/1211.16	c       290       686    556.45    115.43      4.82   1000000         0
1212.17/1212.69	c       310       644    560.84    132.97      4.22   1000000         0
1213.77/1214.22	c       304       516    553.78    135.63      4.08   1000000         0
1215.27/1215.77	c       310       517    596.48    150.28      3.97   1000000         0
1216.87/1217.31	c       317       520    571.63    118.36      4.83   1000000         0
1218.37/1218.85	c       361       465    577.47    127.16      4.54   1000000         0
1219.87/1220.39	c       327       527    578.97    129.83      4.46   1000000         0
1221.47/1221.93	c       349       587    579.14    132.32      4.38   1000000         0
1222.97/1223.47	c       336       541    575.17    132.24      4.35   1000000         0
1224.56/1225.01	c       316       539    575.81    126.59      4.55   1000000         0
1226.07/1226.55	c       333       589    578.35    142.03      4.07   1000000         0
1227.66/1228.10	c       364       602    604.50    135.77      4.45   1000000         0
1229.16/1229.63	c       323       640    574.67    130.36      4.41   1000000         0
1230.66/1231.16	c       312       544    555.23    108.80      5.10   1000000         0
1232.16/1232.69	c       337       634    569.80    120.76      4.72   1000000         0
1233.77/1234.23	c       341       611    582.21    125.94      4.62   1000000         0
1235.26/1235.77	c       281       436    578.53    126.86      4.56   1000000         0
1236.86/1237.31	c       338       507    583.45    126.47      4.61   1000000         0
1238.36/1238.85	c       317       627    577.44    131.66      4.39   1000000         0
1239.86/1240.39	c       289       622    563.35    140.11      4.02   1000000         0
1241.47/1241.93	c       272       609    569.28    130.11      4.38   1000000         0
1242.96/1243.46	c       361       459    574.10    124.25      4.62   1000000         0
1244.56/1245.00	c       328       584    581.17    118.18      4.92   1000000         0
1246.06/1246.55	c       352       728    604.01    136.38      4.43   1000000         0
1247.56/1248.09	c       353       599    586.64    126.49      4.64   1000000         0
1249.16/1249.64	c       341       581    571.82    151.25      3.78   1000000         0
1250.66/1251.18	c       377       589    585.87    147.28      3.98   1000000         0
1252.26/1252.72	c       298       474    560.65    155.08      3.62   1000000         0
1253.75/1254.26	c       338       606    577.55    131.01      4.41   1000000         0
1255.35/1255.81	c       336       575    584.55    115.88      5.04   1000000         0
1256.86/1257.35	c       364       578    596.26    142.77      4.18   1000000         0
1258.35/1258.89	c       322       562    578.06    123.79      4.67   1000000         0
1259.95/1260.44	c       356       505    599.67    130.71      4.59   1000000         0
1261.45/1261.97	c       267       594    576.74    119.49      4.83   1000000         0
1263.05/1263.51	c       383       580    573.62    135.96      4.22   1000000         0
1264.56/1265.06	c       357       429    595.53    141.09      4.22   1000000         0
1266.05/1266.59	c       308       552    574.47    116.56      4.93   1000000         0
1267.65/1268.13	c       355       573    581.92    123.38      4.72   1000000         0
1269.15/1269.67	c       375       588    587.05    136.04      4.32   1000000         0
1270.75/1271.22	c       311       556    597.80    127.36      4.69   1000000         0
1272.26/1272.75	c       332       587    573.60    124.51      4.61   1000000         0
1273.75/1274.29	c       303       559    576.32    122.65      4.70   1000000         0
1275.35/1275.83	c       352       453    585.44    138.47      4.23   1000000         0
1276.85/1277.37	c       295       654    579.52    129.87      4.46   1000000         0
1278.44/1278.92	c       379       512    614.61    141.70      4.34   1000000         0
1279.95/1280.46	c       325       538    579.59    138.50      4.18   1000000         0
1281.54/1282.00	c       263       563    566.91    139.04      4.08   1000000         0
1283.04/1283.53	c       348       573    584.51    111.52      5.24   1000000         0
1284.54/1285.08	c       306       588    591.00    150.71      3.92   1000000         0
1286.14/1286.62	c       314       537    574.45    121.36      4.73   1000000         0
1287.65/1288.16	c       344       553    574.28    124.50      4.61   1000000         0
1289.24/1289.70	c       335       566    568.45    133.78      4.25   1000000         0
1290.74/1291.23	c       288       508    566.94    124.49      4.55   1000000         0
1292.24/1292.77	c       350       487    562.08    150.45      3.74   1000000         0
1293.84/1294.32	c       336       610    582.61    145.28      4.01   1000000         0
1295.35/1295.85	c       323       472    562.53    135.25      4.16   1000000         0
1296.84/1297.39	c       322       628    574.60    135.99      4.23   1000000         0
1298.44/1298.94	c       321       519    603.25    132.20      4.56   1000000         0
1299.94/1300.48	c       324       672    579.91    127.55      4.55   1000000         0
1301.54/1302.01	c       329       660    564.67    107.79      5.24   1000000         0
1303.04/1303.56	c       328       541    585.82    142.61      4.11   1000000         0
1304.54/1305.09	c       289       649    560.40    151.77      3.69   1000000         0
1306.14/1306.64	c       340       507    595.41    123.22      4.83   1000000         0
1307.64/1308.17	c       330       605    576.04    125.17      4.60   1000000         0
1309.23/1309.71	c       334       533    573.82    135.83      4.22   1000000         0
1310.74/1311.26	c       320       710    597.33    144.51      4.13   1000000         0
1312.23/1312.79	c       321       519    572.17    107.42      5.33   1000000         0
1313.83/1314.33	c       357       438    589.96    118.07      5.00   1000000         0
1315.33/1315.88	c       255       600    578.95    132.65      4.36   1000000         0
1316.93/1317.42	c       337       583    583.46    113.07      5.16   1000000         0
1318.44/1318.97	c       369       527    588.06    117.66      5.00   1000000         0
1320.03/1320.50	c       328       475    566.30    130.93      4.33   1000000         0
1321.53/1322.05	c       333       573    602.95    152.89      3.94   1000000         0
1323.03/1323.59	c       338       490    556.56    111.56      4.99   1000000         0
1324.63/1325.12	c       341       638    578.98    136.68      4.24   1000000         0
1326.14/1326.67	c       383       579    600.22    126.21      4.76   1000000         0
1327.73/1328.20	c       350       546    575.18    104.61      5.50   1000000         0
1329.23/1329.74	c       348       604    592.34    121.68      4.87   1000000         0
1330.73/1331.28	c       310       574    589.95    128.33      4.60   1000000         0
1332.33/1332.82	c       344       406    582.33    120.71      4.82   1000000         0
1333.83/1334.36	c       323       621    581.52    130.17      4.47   1000000         0
1335.42/1335.90	c       372       465    593.15    121.46      4.88   1000000         0
1336.92/1337.44	c       333       461    583.89    139.29      4.19   1000000         0
1338.42/1338.99	c       341       675    598.79    146.80      4.08   1000000         0
1340.02/1340.53	c       344       582    595.81    109.36      5.45   1000000         0
1341.53/1342.07	c       329       531    581.31    134.99      4.31   1000000         0
1343.12/1343.61	c       341       656    586.87    115.08      5.10   1000000         0
1344.62/1345.14	c       344       578    577.10    117.04      4.93   1000000         0
1346.12/1346.68	c       333       678    572.53    121.71      4.70   1000000         0
1347.72/1348.22	c       356       581    578.10    139.83      4.13   1000000         0
1349.23/1349.75	c       324       443    565.98    128.18      4.42   1000000         0
1350.82/1351.30	c       366       626    588.37    137.67      4.27   1000000         0
1352.32/1352.84	c       309       703    563.57    151.08      3.73   1000000         0
1353.82/1354.38	c       374       455    587.65    131.90      4.46   1000000         0
1355.42/1355.92	c       330       584    583.57    137.64      4.24   1000000         0
1356.92/1357.46	c       326       716    581.95    129.29      4.50   1000000         0
1358.52/1359.01	c       356       477    593.35    121.56      4.88   1000000         0
1360.02/1360.56	c       359       448    597.18    153.60      3.89   1000000         0
1361.52/1362.09	c       328       542    568.99    146.82      3.88   1000000         0
1363.12/1363.63	c       322       620    580.56    120.01      4.84   1000000         0
1364.62/1365.18	c       328       556    591.57    145.19      4.07   1000000         0
1366.21/1366.72	c       350       632    582.50    134.31      4.34   1000000         0
1367.71/1368.26	c       339       596    579.80    132.03      4.39   1000000         0
1369.31/1369.80	c       350       567    575.23    129.90      4.43   1000000         0
1370.81/1371.35	c       369       480    601.60    140.87      4.27   1000000         0
1372.32/1372.88	c       295       601    571.27    113.98      5.01   1000000         0
1373.91/1374.42	c       290       446    569.36    130.51      4.36   1000000         0
1375.41/1375.95	c       337       662    559.67    113.19      4.94   1000000         0
1376.91/1377.49	c       357       530    572.96    131.48      4.36   1000000         0
1378.51/1379.02	c       374       471    571.06    114.48      4.99   1000000         0
1380.02/1380.57	c       389       588    605.41    133.71      4.53   1000000         0
1381.61/1382.11	c       339       390    586.37    117.17      5.00   1000000         0
1383.11/1383.65	c       345       618    577.47    120.42      4.80   1000000         0
1384.61/1385.19	c       328       609    568.83    133.01      4.28   1000000         0
1386.21/1386.73	c       326       618    579.27    157.05      3.69   1000000         0
1387.72/1388.27	c       334       555    580.47    138.99      4.18   1000000         0
1389.31/1389.80	c       316       615    579.38    137.80      4.20   1000000         0
1390.81/1391.34	c       353       507    563.94    139.98      4.03   1000000         0
1392.31/1392.88	c       326       725    577.03    124.34      4.64   1000000         0
1393.91/1394.42	c       353       618    590.11    136.63      4.32   1000000         0
1395.41/1395.96	c       329       611    565.75    121.98      4.64   1000000         0
1396.90/1397.49	c       340       610    572.03    126.07      4.54   1000000         0
1398.50/1399.02	c       308       540    560.66    127.81      4.39   1000000         0
1400.00/1400.56	c       355       569    581.99    117.37      4.96   1000000         0
1401.50/1402.09	c       312       422    578.57    110.42      5.24   1000000         0
1403.11/1403.63	c       346       539    590.26    119.82      4.93   1000000         0
1404.60/1405.17	c       319       629    578.57    130.34      4.44   1000000         0
1406.20/1406.71	c       326       497    582.51    140.61      4.14   1000000         0
1407.70/1408.26	c       342       619    597.96    118.63      5.04   1000000         0
1409.30/1409.80	c       349       641    585.12    151.29      3.87   1000000         0
1410.81/1411.34	c       277       597    578.00    133.01      4.35   1000000         0
1412.30/1412.89	c       335       717    607.47    137.64      4.41   1000000         0
1413.90/1414.44	c       323       504    577.96    136.69      4.23   1000000         0
1415.40/1415.99	c       345       544    592.92    134.31      4.41   1000000         0
1417.00/1417.52	c       328       483    564.40    125.69      4.49   1000000         0
1418.50/1419.06	c       331       623    581.70    130.97      4.44   1000000         0
1420.10/1420.60	c       344       617    581.61    134.08      4.34   1000000         0
1421.59/1422.14	c       332       606    576.78    153.19      3.77   1000000         0
1423.09/1423.68	c       341       679    594.08    118.83      5.00   1000000         0
1424.69/1425.22	c       311       393    586.96    127.24      4.61   1000000         0
1426.20/1426.77	c       358       585    591.21    120.90      4.89   1000000         0
1427.79/1428.31	c       297       427    588.53    113.48      5.19   1000000         0
1429.29/1429.86	c       334       490    595.65    158.49      3.76   1000000         0
1430.89/1431.40	c       370       499    583.01    106.78      5.46   1000000         0
1432.40/1432.94	c       347       694    577.20    117.00      4.93   1000000         0
1433.91/1434.49	c       347       413    600.27    151.95      3.95   1000000         0
1435.50/1436.02	c       317       542    561.61    136.06      4.13   1000000         0
1437.00/1437.56	c       337       636    581.86    123.73      4.70   1000000         0
1438.60/1439.10	c       328       559    575.96    136.40      4.22   1000000         0
1440.10/1440.64	c       331       573    580.67    138.98      4.18   1000000         0
1441.60/1442.17	c       348       547    566.24    124.00      4.57   1000000         0
1443.20/1443.72	c       352       624    592.13    122.00      4.85   1000000         0
1444.70/1445.26	c       356       458    581.30    134.15      4.33   1000000         0
1446.30/1446.80	c       264       755    570.12    131.22      4.34   1000000         0
1447.79/1448.33	c       285       636    556.14    153.98      3.61   1000000         0
1449.30/1449.87	c       368       667    582.23    124.29      4.68   1000000         0
1450.89/1451.41	c       321       523    567.36    144.50      3.93   1000000         0
1452.39/1452.95	c       304       644    575.77    137.64      4.18   1000000         0
1453.89/1454.49	c       350       577    601.74    140.22      4.29   1000000         0
1455.49/1456.04	c       333       547    581.14    124.94      4.65   1000000         0
1457.00/1457.58	c       349       577    589.50    111.55      5.28   1000000         0
1458.59/1459.13	c       349       516    585.39    151.00      3.88   1000000         0
1460.09/1460.67	c       296       613    576.09    129.29      4.46   1000000         0
1461.69/1462.22	c       364       585    594.84    131.90      4.51   1000000         0
1463.19/1463.75	c       361       609    576.54    122.26      4.72   1000000         0
1464.79/1465.30	c       357       641    597.44    124.45      4.80   1000000         0
1466.29/1466.84	c       306       472    577.84    114.77      5.03   1000000         0
1467.79/1468.38	c       291       506    587.99    127.85      4.60   1000000         0
1469.39/1469.93	c       338       641    594.90    137.65      4.32   1000000         0
1470.89/1471.46	c       317       564    574.35    133.14      4.31   1000000         0
1472.39/1472.99	c       338       672    574.99    115.38      4.98   1000000         0
1473.99/1474.54	c       296       620    600.54    127.70      4.70   1000000         0
1475.49/1476.08	c       337       605    572.36    135.57      4.22   1000000         0
1477.09/1477.62	c       340       537    591.23    133.01      4.45   1000000         0
1478.59/1479.15	c       272       539    548.33    119.12      4.60   1000000         0
1480.09/1480.69	c       320       588    594.39    149.51      3.98   1000000         0
1481.68/1482.25	c       341       618    604.58    154.47      3.91   1000000         0
1483.18/1483.79	c       366       603    589.09    126.13      4.67   1000000         0
1484.78/1485.32	c       342       659    575.80    119.77      4.81   1000000         0
1486.28/1486.87	c       332       472    588.09    130.59      4.50   1000000         0
1487.88/1488.40	c       326       514    572.62    128.08      4.47   1000000         0
1489.38/1489.95	c       367       540    592.08    158.47      3.74   1000000         0
1490.88/1491.49	c       354       496    590.92    134.09      4.41   1000000         0
1492.48/1493.03	c       281       534    563.00    134.30      4.19   1000000         0
1493.98/1494.56	c       330       611    573.55    126.01      4.55   1000000         0
1495.58/1496.11	c       276       593    597.72    154.97      3.86   1000000         0
1497.08/1497.64	c       334       476    571.59    122.38      4.67   1000000         0
1498.58/1499.19	c       354       532    578.04    136.01      4.25   1000000         0
1500.18/1500.72	c       290       564    558.38    149.23      3.74   1000000         0
1501.68/1502.27	c       304       457    596.66    127.38      4.68   1000000         0
1503.28/1503.80	c       319       475    578.13    132.74      4.36   1000000         0
1504.78/1505.35	c       330       570    601.66    135.71      4.43   1000000         0
1506.28/1506.89	c       326       440    586.08    165.15      3.55   1000000         0
1507.87/1508.43	c       349       607    581.03    137.19      4.24   1000000         0
1509.37/1509.98	c       340       632    592.58    152.79      3.88   1000000         0
1510.97/1511.52	c       363       552    583.50    109.14      5.35   1000000         0
1512.47/1513.05	c       346       568    571.04    113.74      5.02   1000000         0
1513.97/1514.59	c       325       552    578.60    132.43      4.37   1000000         0
1515.57/1516.15	c       371       511    602.85    145.02      4.16   1000000         0
1517.07/1517.69	c       315       573    575.18    128.02      4.49   1000000         0
1518.67/1519.23	c       324       618    592.30    132.11      4.48   1000000         0
1520.17/1520.77	c       356       569    576.09    119.64      4.82   1000000         0
1521.78/1522.32	c       397       554    610.55    117.17      5.21   1000000         0
1523.27/1523.86	c       308       535    582.20    116.85      4.98   1000000         0
1524.87/1525.40	c       344       442    580.45    128.05      4.53   1000000         0
1526.37/1526.95	c       355       623    606.24    129.43      4.68   1000000         0
1527.87/1528.50	c       356       637    582.32    128.36      4.54   1000000         0
1529.47/1530.03	c       326       611    561.83    134.48      4.18   1000000         0
1530.97/1531.57	c       375       663    586.13    142.26      4.12   1000000         0
1532.57/1533.10	c       298       493    572.68    132.03      4.34   1000000         0
1534.07/1534.65	c       356       549    583.44    137.18      4.25   1000000         0
1535.57/1536.19	c       362       486    589.88    109.77      5.37   1000000         0
1537.17/1537.72	c       318       451    564.78    129.11      4.37   1000000         0
1538.66/1539.25	c       313       570    574.29    149.34      3.85   1000000         0
1540.16/1540.79	c       347       754    582.99    119.20      4.89   1000000         0
1541.76/1542.33	c       329       623    587.97    128.94      4.56   1000000         0
1543.26/1543.86	c       317       565    562.67    140.83      4.00   1000000         0
1544.76/1545.39	c       301       414    560.26    115.20      4.86   1000000         0
1546.36/1546.94	c       357       586    603.92    143.06      4.22   1000000         0
1547.86/1548.48	c       351       627    577.83    142.87      4.04   1000000         0
1549.46/1550.02	c       350       506    583.38    132.59      4.40   1000000         0
1550.96/1551.56	c       341       535    589.37    146.52      4.02   1000000         0
1552.57/1553.10	c       302       532    578.12    123.67      4.67   1000000         0
1554.06/1554.64	c       328       511    583.68    129.15      4.52   1000000         0
1555.56/1556.19	c       314       608    593.99    134.08      4.43   1000000         0
1557.16/1557.72	c       298       581    557.79    116.46      4.79   1000000         0
1558.66/1559.26	c       348       614    571.21    131.65      4.34   1000000         0
1560.16/1560.80	c       292       613    569.96    135.91      4.19   1000000         0
1561.76/1562.35	c       333       567    604.99    161.66      3.74   1000000         0
1563.26/1563.88	c       330       505    569.75    108.16      5.27   1000000         0
1564.86/1565.43	c       364       673    602.35    152.51      3.95   1000000         0
1566.35/1566.96	c       319       528    577.04    129.96      4.44   1000000         0
1567.96/1568.50	c       354       652    586.34    117.57      4.99   1000000         0
1569.45/1570.03	c       321       545    568.63    112.62      5.05   1000000         0
1570.95/1571.57	c       335       599    587.64    120.08      4.89   1000000         0
1572.55/1573.11	c       292       458    589.17    111.59      5.28   1000000         0
1574.05/1574.66	c       373       623    609.37    125.41      4.86   1000000         0
1575.66/1576.20	c       327       463    569.65    126.21      4.51   1000000         0
1577.15/1577.74	c       247       611    584.20    133.03      4.39   1000000         0
1578.65/1579.28	c       309       601    572.35    161.52      3.54   1000000         0
1580.25/1580.82	c       348       529    575.75    137.20      4.20   1000000         0
1581.75/1582.36	c       332       517    570.57    142.11      4.01   1000000         0
1583.36/1583.91	c       332       715    597.95    125.40      4.77   1000000         0
1584.85/1585.46	c       379       684    613.45    159.19      3.85   1000000         0
1586.45/1587.00	c       304       562    572.25    120.44      4.75   1000000         0
1587.95/1588.54	c       345       481    571.12    142.62      4.00   1000000         0
1589.45/1590.07	c       300       631    566.79    120.59      4.70   1000000         0
1591.05/1591.60	c       375       498    575.47    107.96      5.33   1000000         0
1592.55/1593.15	c       354       477    579.18    128.71      4.50   1000000         0
1594.04/1594.68	c       339       466    573.22    126.44      4.53   1000000         0
1595.64/1596.23	c       331       674    588.09    127.64      4.61   1000000         0
1597.14/1597.78	c       370       495    603.36    144.23      4.18   1000000         0
1598.75/1599.31	c       317       677    574.84    148.58      3.87   1000000         0
1600.24/1600.86	c       362       493    592.40    158.56      3.74   1000000         0
1601.84/1602.41	c       335       432    598.57    128.35      4.66   1000000         0
1603.34/1603.95	c       355       562    584.57    145.48      4.02   1000000         0
1604.84/1605.49	c       320       453    590.27    137.39      4.30   1000000         0
1606.45/1607.03	c       325       540    584.16    133.12      4.39   1000000         0
1607.94/1608.57	c       347       593    575.25    120.12      4.79   1000000         0
1609.54/1610.12	c       368       539    593.96    130.25      4.56   1000000         0
1611.04/1611.66	c       321       572    589.24    125.18      4.71   1000000         0
1612.64/1613.20	c       340       475    584.40    136.03      4.30   1000000         0
1614.14/1614.74	c       341       608    587.76    111.84      5.26   1000000         0
1615.64/1616.29	c       333       540    582.61    129.41      4.50   1000000         0
1617.24/1617.83	c       350       579    567.44    124.74      4.55   1000000         0
1618.73/1619.37	c       349       583    589.25    147.77      3.99   1000000         0
1620.33/1620.91	c       351       497    577.84    131.70      4.39   1000000         0
1621.84/1622.44	c       345       643    573.88    130.31      4.40   1000000         0
1623.33/1623.98	c       340       561    584.12    132.29      4.42   1000000         0
1624.93/1625.52	c       315       575    587.85    134.68      4.36   1000000         0
1626.43/1627.06	c       306       532    587.52    144.39      4.07   1000000         0
1628.03/1628.60	c       332       558    580.68    137.15      4.23   1000000         0
1629.54/1630.13	c       315       632    564.78    121.23      4.66   1000000         0
1631.03/1631.67	c       345       418    567.98    116.63      4.87   1000000         0
1632.63/1633.22	c       381       723    610.92    127.13      4.81   1000000         0
1634.13/1634.77	c       354       488    600.57    122.11      4.92   1000000         0
1635.73/1636.30	c       302       481    572.11     95.90      5.97   1000000         0
1637.24/1637.83	c       307       444    570.93    135.29      4.22   1000000         0
1638.73/1639.38	c       310       490    576.80    141.46      4.08   1000000         0
1640.33/1640.93	c       353       577    590.44    156.33      3.78   1000000         0
1641.83/1642.46	c       352       508    571.21    130.39      4.38   1000000         0
1643.43/1644.00	c       293       528    591.28    125.41      4.71   1000000         0
1644.93/1645.55	c       319       526    595.20    159.44      3.73   1000000         0
1646.43/1647.09	c       342       578    576.50    149.19      3.86   1000000         0
1648.03/1648.63	c       352       504    578.80    130.65      4.43   1000000         0
1649.52/1650.16	c       306       687    577.21    122.63      4.71   1000000         0
1651.12/1651.71	c       313       538    588.50    164.01      3.59   1000000         0
1652.63/1653.24	c       236       674    568.20    127.50      4.46   1000000         0
1654.12/1654.78	c       342       650    578.98    107.37      5.39   1000000         0
1655.72/1656.32	c       363       667    591.97    123.12      4.81   1000000         0
1657.22/1657.86	c       326       611    592.09    143.74      4.12   1000000         0
1658.82/1659.40	c       355       625    580.71    138.06      4.21   1000000         0
1660.33/1660.94	c       300       564    564.77    142.17      3.97   1000000         0
1661.82/1662.48	c       319       492    594.01    153.03      3.88   1000000         0
1663.42/1664.02	c       320       585    570.32    135.47      4.21   1000000         0
1664.92/1665.56	c       362       675    590.51    121.10      4.88   1000000         0
1666.52/1667.11	c       364       498    605.35    126.60      4.78   1000000         0
1668.03/1668.65	c       357       587    575.97    131.25      4.39   1000000         0
1669.52/1670.19	c       356       577    587.49    126.57      4.64   1000000         0
1671.12/1671.73	c       322       578    570.02    144.12      3.96   1000000         0
1672.62/1673.27	c       349       493    598.30    152.43      3.93   1000000         0
1674.22/1674.81	c       368       467    571.05    134.93      4.23   1000000         0
1675.72/1676.35	c       343       545    576.18    138.06      4.17   1000000         0
1677.22/1677.89	c       293       538    580.70    122.95      4.72   1000000         0
1678.82/1679.43	c       309       457    586.76    124.83      4.70   1000000         0
1680.31/1680.96	c       316       600    574.99    116.79      4.92   1000000         0
1681.91/1682.50	c       261       544    573.22    127.47      4.50   1000000         0
1683.42/1684.04	c       329       487    598.69    143.90      4.16   1000000         0
1684.91/1685.58	c       350       511    568.09    122.69      4.63   1000000         0
1686.51/1687.11	c       326       523    574.29    133.00      4.32   1000000         0
1688.01/1688.66	c       312       458    591.26    133.01      4.45   1000000         0
1689.61/1690.21	c       311       639    594.27    145.12      4.09   1000000         0
1691.12/1691.75	c       234       647    580.67    136.99      4.24   1000000         0
1692.71/1693.30	c       357       523    613.22    147.44      4.16   1000000         0
1694.21/1694.86	c       321       536    608.80    142.66      4.27   1000000         0
1695.81/1696.40	c       329       668    579.88    146.06      3.97   1000000         0
1697.31/1697.95	c       382       522    613.22    117.50      5.22   1000000         0
1698.82/1699.49	c       322       541    576.60    154.28      3.74   1000000         0
1700.41/1701.02	c       344       530    563.76    125.16      4.50   1000000         0
1701.91/1702.56	c       330       618    587.72    112.96      5.20   1000000         0
1703.51/1704.10	c       368       494    593.36    127.84      4.64   1000000         0
1705.01/1705.65	c       313       623    586.56    123.88      4.73   1000000         0
1706.51/1707.18	c       308       635    568.23    144.15      3.94   1000000         0
1708.11/1708.73	c       333       539    590.85    127.14      4.65   1000000         0
1709.61/1710.27	c       280       548    602.21    137.07      4.39   1000000         0
1711.20/1711.81	c       294       493    579.58    129.53      4.47   1000000         0
1712.70/1713.34	c       253       539    556.16    117.91      4.72   1000000         0
1714.21/1714.87	c       294       562    580.68    132.80      4.37   1000000         0
1715.80/1716.41	c       341       534    576.98    128.20      4.50   1000000         0
1717.30/1717.94	c       304       434    557.87    127.27      4.38   1000000         0
1718.80/1719.49	c       310       572    598.59    153.66      3.90   1000000         0
1720.40/1721.02	c       337       521    575.43    153.64      3.75   1000000         0
1721.91/1722.55	c       278       594    554.41    117.97      4.70   1000000         0
1723.40/1724.09	c       266       502    567.25    124.70      4.55   1000000         0
1725.00/1725.64	c       317       523    597.40    146.78      4.07   1000000         0
1726.50/1727.18	c       309       454    574.65    134.34      4.28   1000000         0
1728.10/1728.71	c       378       572    579.19    112.75      5.14   1000000         0
1729.61/1730.25	c       354       496    576.41    113.03      5.10   1000000         0
1731.10/1731.79	c       317       497    584.51    146.99      3.98   1000000         0
1732.70/1733.32	c       327       531    561.51    145.82      3.85   1000000         0
1734.20/1734.87	c       271       601    589.38    162.39      3.63   1000000         0
1735.80/1736.42	c       362       639    612.17    115.94      5.28   1000000         0
1737.30/1737.97	c       313       634    590.97    120.99      4.88   1000000         0
1738.79/1739.50	c       279       562    561.42    113.21      4.96   1000000         0
1740.39/1741.04	c       335       545    581.89    140.18      4.15   1000000         0
1741.89/1742.57	c       307       709    563.91    128.54      4.39   1000000         0
1743.49/1744.11	c       300       616    588.57    142.95      4.12   1000000         0
1745.00/1745.65	c       341       537    578.69    128.50      4.50   1000000         0
1746.49/1747.19	c       344       584    566.04    108.90      5.20   1000000         0
1748.09/1748.73	c       329       630    599.69    144.17      4.16   1000000         0
1749.59/1750.27	c       345       506    588.31    130.51      4.51   1000000         0
1751.19/1751.81	c       345       638    582.47    122.30      4.76   1000000         0
1752.69/1753.35	c       305       560    565.23    133.33      4.24   1000000         0
1754.19/1754.89	c       332       598    578.52    127.20      4.55   1000000         0
1755.79/1756.43	c       355       591    578.91    131.05      4.42   1000000         0
1757.28/1757.97	c       291       486    562.21    134.84      4.17   1000000         0
1758.88/1759.52	c       364       620    600.55    111.92      5.37   1000000         0
1760.39/1761.06	c       339       502    582.96    140.46      4.15   1000000         0
1761.98/1762.60	c       304       593    575.40    157.37      3.66   1000000         0
1763.48/1764.15	c       365       597    603.57    138.99      4.34   1000000         0
1764.98/1765.69	c       327       421    590.88    136.19      4.34   1000000         0
1766.58/1767.24	c       362       517    603.15    125.39      4.81   1000000         0
1768.09/1768.77	c       308       582    561.20    144.24      3.89   1000000         0
1769.68/1770.32	c       366       650    588.50    121.67      4.84   1000000         0
1771.18/1771.85	c       268       462    561.86    115.88      4.85   1000000         0
1772.68/1773.38	c       321       593    563.03    139.95      4.02   1000000         0
1774.28/1774.93	c       326       586    601.30    153.84      3.91   1000000         0
1775.79/1776.46	c       334       470    553.17    124.44      4.45   1000000         0
1777.38/1778.00	c       341       597    579.60    119.05      4.87   1000000         0
1778.88/1779.55	c       338       480    581.13    117.66      4.94   1000000         0
1780.48/1781.10	c       317       646    594.88    134.92      4.41   1000000         0
1781.98/1782.62	c       316       609    551.63    115.70      4.77   1000000         0
1783.48/1784.15	c       350       531    552.56    108.88      5.08   1000000         0
1784.97/1785.68	c       331       577    554.25    124.29      4.46   1000000         0
1786.57/1787.22	c       341       485    593.13    120.94      4.90   1000000         0
1788.07/1788.76	c       299       609    575.76    140.88      4.09   1000000         0
1789.67/1790.31	c       346       597    593.23    138.54      4.28   1000000         0
1791.18/1791.85	c       341       578    584.58    137.03      4.27   1000000         0
1792.67/1793.38	c       334       569    574.12    115.49      4.97   1000000         0
1794.27/1794.94	c       350       444    594.68    152.69      3.89   1000000         0
1795.77/1796.48	c       327       546    594.47    132.25      4.50   1000000         0
1797.37/1798.02	c       351       583    587.77    155.95      3.77   1000000         0
1798.88/1799.57	c       369       460    597.00    107.91      5.53   1000000         0
1800.08/1800.71	HOME/run: line 2: 18856 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-2685126-1278439843/watcher-2685126-1278439843 -o /tmp/evaluation-result-2685126-1278439843/solver-2685126-1278439843 -C 1800 -W 2000 -M 1800 run HOME/instance-2685126-1278439843.opb 

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


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 18855
/proc/meminfo: memFree=1845400/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) R 18853 18855 18163 0 -1 4202496 342 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367612309 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0

[startup+0.080823 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 18855
/proc/meminfo: memFree=1845400/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100826 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 18855
/proc/meminfo: memFree=1845400/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300864 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 18855
/proc/meminfo: memFree=1845400/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700941 s]
/proc/loadavg: 0.93 0.98 0.92 3/106 18855
/proc/meminfo: memFree=1845400/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50109 s]
/proc/loadavg: 0.93 0.98 0.92 2/108 18857
/proc/meminfo: memFree=1838936/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1.49
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1653 0 0 0 149 0 0 0 25 0 1 0 12197602 41422848 1583 1992294400 134512640 135071400 4288602112 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1583 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.1014 s]
/proc/loadavg: 0.93 0.98 0.92 2/108 18857
/proc/meminfo: memFree=1838688/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=3.09
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 309 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30102 s]
/proc/loadavg: 0.93 0.98 0.92 2/108 18857
/proc/meminfo: memFree=1838688/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=6.29
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 629 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134572013 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.92 2/108 18857
/proc/meminfo: memFree=1838448/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=12.68
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 1268 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5007 s]
/proc/loadavg: 0.95 0.98 0.92 2/108 18857
/proc/meminfo: memFree=1838324/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=25.48
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 2548 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1006 s]
/proc/loadavg: 0.97 0.98 0.92 2/108 18859
/proc/meminfo: memFree=1838324/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=51.07
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 5107 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.92 2/108 18859
/proc/meminfo: memFree=1837952/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=102.26
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 10226 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 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: 0.99 0.98 0.92 2/108 18861
/proc/meminfo: memFree=1837828/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=162.23
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 16223 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/108 18863
/proc/meminfo: memFree=1837828/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=222.21
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 22221 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/108 18865
/proc/meminfo: memFree=1837704/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=282.19
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 28219 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/108 18867
/proc/meminfo: memFree=1837580/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=342.17
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 34217 0 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/108 18867
/proc/meminfo: memFree=1837456/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=402.15
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 40214 1 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1121.9
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 112188 2 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18892
/proc/meminfo: memFree=1800428/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1181.88
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 118186 2 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18894
/proc/meminfo: memFree=1800056/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1241.86
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 124184 2 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134572059 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18894
/proc/meminfo: memFree=1799932/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1301.84
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 130182 2 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18896
/proc/meminfo: memFree=1799932/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1361.82
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 136180 2 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18898
/proc/meminfo: memFree=1799808/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1421.8
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 142178 2 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526205 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18900
/proc/meminfo: memFree=1799684/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1481.78
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 148175 3 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526500 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18902
/proc/meminfo: memFree=1799684/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1541.76
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 154173 3 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134525654 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18902
/proc/meminfo: memFree=1799684/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1601.74
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 160171 3 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18904
/proc/meminfo: memFree=1799684/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1661.72
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 166169 3 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526346 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18906
/proc/meminfo: memFree=1799436/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1721.7
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 172167 3 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18908
/proc/meminfo: memFree=1799188/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1781.68
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 178165 3 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18908
/proc/meminfo: memFree=1799188/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1800.08
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 180005 3 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18908
/proc/meminfo: memFree=1799188/2059040 swapFree=4192956/4192956
[pid=18855] ppid=18853 vsize=8700 CPUtime=0
/proc/18855/stat : 18855 (run) S 18853 18855 18163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 12197602 8908800 243 1992294400 4194304 4922060 140736283290624 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18855/statm: 2175 243 204 178 0 68 0
[pid=18856] ppid=18855 vsize=40452 CPUtime=1800.08
/proc/18856/stat : 18856 (PB-wave) R 18855 18855 18163 0 -1 4202496 1661 0 0 0 180005 3 0 0 25 0 1 0 12197602 41422848 1591 1992294400 134512640 135071400 4288602112 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18856/statm: 10113 1591 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1800.06
CPU system time (s): 0.040993
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.22251 second user time and 8.33973 second system time

The end

Launcher Data 

Begin job on node009 at 2010-07-06 20:10:44
IDJOB=2685126
IDBENCH=74647
IDSOLVER=1171
FILE ID=node009/2685126-1278439843
PBS_JOBID= 11233462
Free space on /tmp= 62500 MiB

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

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

MD5SUM BENCH= e27627ae64f743135eba4ae37b0b2df0
RANDOM SEED=823350269

node009.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.262
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.52
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.262
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1845920 kB
Buffers:         15108 kB
Cached:          68476 kB
SwapCached:          0 kB
Active:          50460 kB
Inactive:        93380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1845920 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2516 kB
Writeback:           0 kB
AnonPages:       60112 kB
Mapped:          14524 kB
Slab:            47388 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182596 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= 62500 MiB
End job on node009 at 2010-07-06 20:40:44