Trace number 2684958

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/j120/
normalized-j1205_1-unsat.opb
MD5SUMa9c783eab0310878424a5f19a95160c6
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.302953
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22264
Total number of constraints70239
Number of constraints which are clauses69875
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints364
Minimum length of a constraint1
Maximum length of a constraint34
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 210
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.17	c PB-wave - v2
0.00/0.17	c command line = ./PB-wave
0.00/0.17	c seed = 62598772
0.00/0.17	c cutoff = 1000000
0.00/0.17	c tries = 1000000
0.00/0.17	c heuristic = c best, noise 50 / 100
0.00/0.17	#var 22264 #con 70239
0.00/0.17	mode is SAT
0.00/0.17	c tail starts after flip = 66792
0.00/0.17	c numatom = 22264, numclause = 70239, numliterals = 160429
0.00/0.17	c wff read in
0.00/0.17	c 
0.00/0.17	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.17	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.17	c       this      this      this      this      this      this   success   success       until         std
0.00/0.17	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.17	c
1.69/1.71	c       369       604    640.13    188.60      3.39   1000000         0
3.19/3.23	c       346       554    622.31    163.27      3.81   1000000         0
4.69/4.77	c       388       657    644.32    180.91      3.56   1000000         0
6.29/6.30	c       369       545    638.58    169.20      3.77   1000000         0
7.79/7.84	c       348       566    653.55    181.84      3.59   1000000         0
9.28/9.37	c       367       488    618.32    173.86      3.56   1000000         0
10.88/10.91	c       365       604    648.20    170.83      3.79   1000000         0
12.38/12.45	c       380       502    652.17    191.59      3.40   1000000         0
13.88/13.98	c       376       686    645.13    170.50      3.78   1000000         0
15.49/15.52	c       382       560    643.27    170.86      3.76   1000000         0
16.98/17.05	c       396       618    620.38    188.01      3.30   1000000         0
18.48/18.59	c       388       599    652.41    185.59      3.52   1000000         0
20.08/20.12	c       353       567    633.07    185.92      3.40   1000000         0
21.58/21.68	c       425       605    690.14    204.09      3.38   1000000         0
23.19/23.21	c       298       636    636.47    187.13      3.40   1000000         0
24.68/24.75	c       351       660    636.86    178.05      3.58   1000000         0
26.18/26.28	c       346       392    633.53    183.95      3.44   1000000         0
27.78/27.84	c       413       542    696.93    209.45      3.33   1000000         0
29.28/29.39	c       412       707    660.92    205.90      3.21   1000000         0
30.88/30.92	c       391       544    642.85    197.38      3.26   1000000         0
32.37/32.47	c       364       652    657.73    161.35      4.08   1000000         0
33.97/34.01	c       414       610    660.04    200.17      3.30   1000000         0
35.47/35.55	c       404       637    639.79    162.61      3.93   1000000         0
36.97/37.09	c       398       611    657.57    192.43      3.42   1000000         0
38.58/38.63	c       391       530    646.36    181.45      3.56   1000000         0
40.07/40.15	c       347       531    634.68    158.23      4.01   1000000         0
41.67/41.70	c       392       606    654.09    192.67      3.39   1000000         0
43.17/43.24	c       360       684    646.81    176.37      3.67   1000000         0
44.67/44.78	c       367       637    655.38    189.47      3.46   1000000         0
46.28/46.34	c       385       608    674.02    214.00      3.15   1000000         0
47.77/47.89	c       421       667    664.41    206.49      3.22   1000000         0
49.37/49.43	c       428       643    665.31    151.37      4.40   1000000         0
50.87/50.97	c       394       630    653.44    188.12      3.47   1000000         0
52.47/52.50	c       398       528    627.99    138.57      4.53   1000000         0
53.97/54.04	c       401       685    653.80    167.50      3.90   1000000         0
55.47/55.58	c       384       600    652.28    197.84      3.30   1000000         0
57.07/57.13	c       368       641    650.29    193.77      3.36   1000000         0
58.57/58.66	c       386       718    638.37    184.47      3.46   1000000         0
60.06/60.20	c       393       592    655.31    169.73      3.86   1000000         0
61.67/61.74	c       363       651    668.26    171.17      3.90   1000000         0
63.16/63.27	c       381       518    631.55    173.14      3.65   1000000         0
64.76/64.80	c       364       514    634.79    207.91      3.05   1000000         0
66.26/66.35	c       372       589    668.83    192.88      3.47   1000000         0
67.76/67.89	c       386       623    632.38    147.98      4.27   1000000         0
69.37/69.43	c       430       594    655.98    171.55      3.82   1000000         0
70.86/70.98	c       391       673    668.66    184.67      3.62   1000000         0
72.46/72.54	c       392       633    678.03    190.33      3.56   1000000         0
74.06/74.10	c       366       687    681.60    183.28      3.72   1000000         0
75.56/75.63	c       408       647    641.86    184.37      3.48   1000000         0
77.07/77.18	c       375       634    642.65    214.33      3.00   1000000         0
78.66/78.70	c       394       647    615.12    192.68      3.19   1000000         0
80.16/80.24	c       355       618    640.59    155.12      4.13   1000000         0
81.66/81.79	c       379       692    668.98    195.74      3.42   1000000         0
83.26/83.34	c       428       607    658.90    158.82      4.15   1000000         0
84.76/84.88	c       330       616    643.25    183.85      3.50   1000000         0
86.35/86.42	c       400       581    651.62    190.77      3.42   1000000         0
87.85/87.97	c       394       687    659.46    182.70      3.61   1000000         0
89.45/89.52	c       419       659    687.83    189.13      3.64   1000000         0
90.95/91.05	c       375       735    645.35    161.78      3.99   1000000         0
92.55/92.61	c       441       643    679.01    192.96      3.52   1000000         0
94.05/94.14	c       407       560    651.16    175.92      3.70   1000000         0
95.55/95.69	c       412       588    666.41    198.16      3.36   1000000         0
97.15/97.26	c       408       643    681.08    207.39      3.28   1000000         0
98.65/98.79	c       382       593    638.83    217.31      2.94   1000000         0
100.25/100.34	c       404       500    666.75    199.88      3.34   1000000         0
101.85/101.90	c       411       540    675.10    177.91      3.79   1000000         0
103.36/103.43	c       399       687    624.61    152.00      4.11   1000000         0
104.85/104.96	c       317       619    651.40    191.34      3.40   1000000         0
106.45/106.52	c       421       638    680.65    217.83      3.12   1000000         0
107.95/108.06	c       399       557    646.76    190.89      3.39   1000000         0
109.55/109.62	c       391       612    687.01    211.23      3.25   1000000         0
111.05/111.16	c       399       509    653.93    178.70      3.66   1000000         0
112.65/112.71	c       409       582    651.41    199.34      3.27   1000000         0
114.15/114.25	c       409       477    652.55    186.92      3.49   1000000         0
115.65/115.79	c       377       490    648.41    179.16      3.62   1000000         0
117.24/117.30	c       345       543    622.37    180.85      3.44   1000000         0
118.75/118.84	c       348       603    643.78    199.05      3.23   1000000         0
120.24/120.39	c       372       539    660.94    195.03      3.39   1000000         0
121.84/121.95	c       419       602    684.06    215.94      3.17   1000000         0
123.34/123.48	c       362       759    623.05    200.66      3.10   1000000         0
124.94/125.03	c       425       602    672.81    199.85      3.37   1000000         0
126.45/126.59	c       403       557    670.03    184.15      3.64   1000000         0
128.04/128.12	c       326       607    637.63    199.72      3.19   1000000         0
129.54/129.66	c       366       623    660.22    197.29      3.35   1000000         0
131.04/131.20	c       357       540    630.82    199.04      3.17   1000000         0
132.64/132.73	c       345       623    630.82    184.16      3.43   1000000         0
134.15/134.27	c       370       502    647.08    185.16      3.49   1000000         0
135.74/135.82	c       369       614    677.65    198.07      3.42   1000000         0
137.24/137.36	c       403       567    637.12    217.72      2.93   1000000         0
138.84/138.91	c       375       697    662.35    164.64      4.02   1000000         0
140.34/140.45	c       372       687    651.10    191.09      3.41   1000000         0
141.84/142.00	c       448       753    674.88    172.04      3.92   1000000         0
143.43/143.53	c       366       493    646.10    176.10      3.67   1000000         0
144.93/145.07	c       342       533    639.40    199.84      3.20   1000000         0
146.53/146.61	c       412       505    659.91    172.46      3.83   1000000         0
148.03/148.15	c       393       639    650.22    163.85      3.97   1000000         0
149.64/149.70	c       384       646    668.58    225.07      2.97   1000000         0
151.13/151.25	c       246       647    667.80    180.53      3.70   1000000         0
152.63/152.79	c       364       678    637.18    162.57      3.92   1000000         0
154.23/154.32	c       378       674    647.02    193.16      3.35   1000000         0
155.73/155.85	c       415       618    649.81    166.16      3.91   1000000         0
157.24/157.39	c       351       648    644.28    157.95      4.08   1000000         0
158.83/158.94	c       333       659    663.91    198.83      3.34   1000000         0
160.33/160.48	c       348       628    653.68    182.88      3.57   1000000         0
161.93/162.03	c       376       564    676.46    224.74      3.01   1000000         0
163.43/163.58	c       356       592    642.66    159.00      4.04   1000000         0
165.03/165.13	c       428       713    676.36    208.42      3.25   1000000         0
166.53/166.67	c       378       612    649.37    175.54      3.70   1000000         0
168.13/168.21	c       386       610    648.12    180.21      3.60   1000000         0
169.63/169.76	c       400       654    666.35    191.13      3.49   1000000         0
171.13/171.30	c       366       595    665.65    178.42      3.73   1000000         0
172.74/172.83	c       400       644    637.93    170.02      3.75   1000000         0
174.23/174.38	c       375       510    664.16    179.17      3.71   1000000         0
175.83/175.93	c       421       748    661.70    179.72      3.68   1000000         0
177.33/177.47	c       408       649    664.12    161.43      4.11   1000000         0
178.93/179.01	c       393       584    637.18    187.04      3.41   1000000         0
180.44/180.55	c       365       694    651.98    187.27      3.48   1000000         0
181.93/182.09	c       415       614    649.50    158.43      4.10   1000000         0
183.53/183.62	c       407       666    641.68    183.21      3.50   1000000         0
185.03/185.16	c       367       593    652.18    172.87      3.77   1000000         0
186.63/186.70	c       414       597    666.50    190.73      3.49   1000000         0
188.14/188.25	c       432       650    666.07    192.87      3.45   1000000         0
189.73/189.80	c       383       658    666.47    193.70      3.44   1000000         0
191.23/191.34	c       399       668    655.77    184.64      3.55   1000000         0
192.73/192.89	c       421       508    669.55    191.04      3.50   1000000         0
194.33/194.43	c       378       585    642.70    207.55      3.10   1000000         0
195.83/195.98	c       348       528    654.90    177.80      3.68   1000000         0
197.42/197.51	c       405       569    648.88    162.25      4.00   1000000         0
198.92/199.06	c       330       657    672.43    183.58      3.66   1000000         0
200.52/200.60	c       366       692    653.22    154.20      4.24   1000000         0
202.02/202.15	c       384       561    656.64    178.43      3.68   1000000         0
203.62/203.70	c       411       628    683.30    195.69      3.49   1000000         0
205.12/205.24	c       384       464    646.51    159.84      4.04   1000000         0
206.62/206.77	c       380       551    615.88    145.23      4.24   1000000         0
208.12/208.29	c       405       510    624.78    157.67      3.96   1000000         0
209.72/209.83	c       396       698    646.08    176.89      3.65   1000000         0
211.23/211.35	c       350       658    620.22    162.09      3.83   1000000         0
212.82/212.90	c       433       500    662.68    180.28      3.68   1000000         0
214.32/214.43	c       263       564    626.38    182.40      3.43   1000000         0
215.82/215.97	c       425       545    648.30    172.61      3.76   1000000         0
217.42/217.51	c       407       576    651.40    202.69      3.21   1000000         0
218.92/219.05	c       358       491    628.44    187.14      3.36   1000000         0
220.52/220.60	c       384       684    674.36    187.29      3.60   1000000         0
222.02/222.14	c       397       492    655.91    174.38      3.76   1000000         0
223.52/223.68	c       305       630    636.94    205.64      3.10   1000000         0
225.12/225.20	c       359       606    618.84    207.17      2.99   1000000         0
226.62/226.75	c       395       665    678.60    192.37      3.53   1000000         0
228.21/228.31	c       362       499    675.26    165.05      4.09   1000000         0
229.71/229.84	c       376       630    633.13    160.23      3.95   1000000         0
231.21/231.39	c       404       584    661.71    175.66      3.77   1000000         0
232.81/232.93	c       372       668    658.99    199.56      3.30   1000000         0
234.32/234.46	c       347       669    633.49    182.28      3.48   1000000         0
235.91/236.00	c       381       607    650.94    174.42      3.73   1000000         0
237.41/237.55	c       439       616    671.45    158.88      4.23   1000000         0
238.91/239.09	c       350       678    642.32    203.82      3.15   1000000         0
240.51/240.62	c       351       611    649.00    177.80      3.65   1000000         0
242.02/242.16	c       353       528    644.98    150.84      4.28   1000000         0
243.61/243.71	c       345       571    666.69    199.41      3.34   1000000         0
245.11/245.27	c       429       679    690.24    203.18      3.40   1000000         0
246.71/246.82	c       439       743    681.25    175.25      3.89   1000000         0
248.21/248.37	c       412       681    671.66    231.52      2.90   1000000         0
249.81/249.90	c       269       755    632.65    188.92      3.35   1000000         0
251.31/251.45	c       417       636    661.08    159.92      4.13   1000000         0
252.81/252.99	c       380       717    641.14    195.33      3.28   1000000         0
254.40/254.53	c       447       636    655.99    138.69      4.73   1000000         0
255.90/256.05	c       359       706    617.52    163.23      3.78   1000000         0
257.50/257.60	c       366       741    667.67    219.24      3.05   1000000         0
259.00/259.15	c       346       525    634.12    163.00      3.89   1000000         0
260.50/260.69	c       408       568    661.03    170.52      3.88   1000000         0
262.10/262.23	c       372       572    658.18    158.08      4.16   1000000         0
263.60/263.76	c       430       579    631.53    169.01      3.74   1000000         0
265.20/265.30	c       362       677    647.10    178.64      3.62   1000000         0
266.70/266.84	c       415       521    653.26    169.89      3.85   1000000         0
268.20/268.40	c       431       590    674.57    175.67      3.84   1000000         0
269.80/269.92	c       384       588    628.93    185.23      3.40   1000000         0
271.30/271.46	c       419       675    654.67    197.43      3.32   1000000         0
272.81/272.99	c       384       577    638.57    205.02      3.11   1000000         0
274.40/274.53	c       335       598    648.22    154.78      4.19   1000000         0
275.90/276.09	c       374       584    667.07    183.07      3.64   1000000         0
277.50/277.64	c       358       660    653.70    182.75      3.58   1000000         0
279.00/279.18	c       413       642    659.30    207.93      3.17   1000000         0
280.60/280.72	c       387       589    636.92    176.66      3.61   1000000         0
282.10/282.26	c       324       583    644.29    178.57      3.61   1000000         0
283.70/283.80	c       418       677    653.03    182.60      3.58   1000000         0
285.19/285.34	c       383       494    646.04    218.19      2.96   1000000         0
286.69/286.89	c       378       775    672.92    167.11      4.03   1000000         0
288.29/288.43	c       390       556    652.30    145.18      4.49   1000000         0
289.79/289.96	c       383       639    634.74    173.91      3.65   1000000         0
291.40/291.51	c       392       698    659.67    217.25      3.04   1000000         0
292.89/293.05	c       413       665    641.96    165.27      3.88   1000000         0
294.49/294.60	c       418       487    662.34    147.14      4.50   1000000         0
295.99/296.12	c       343       584    622.46    149.22      4.17   1000000         0
297.49/297.68	c       374       522    667.78    218.27      3.06   1000000         0
299.10/299.22	c       317       461    652.46    179.40      3.64   1000000         0
300.59/300.77	c       391       623    678.53    198.53      3.42   1000000         0
302.19/302.31	c       338       672    645.49    192.52      3.35   1000000         0
303.69/303.85	c       424       562    664.41    180.03      3.69   1000000         0
305.19/305.39	c       388       578    653.04    180.11      3.63   1000000         0
306.79/306.93	c       387       642    662.78    163.88      4.04   1000000         0
308.29/308.47	c       403       580    651.92    200.89      3.25   1000000         0
309.78/309.99	c       298       503    614.06    160.25      3.83   1000000         0
311.38/311.53	c       405       544    637.27    171.55      3.71   1000000         0
312.88/313.07	c       424       637    666.14    183.83      3.62   1000000         0
314.49/314.62	c       398       591    649.54    156.41      4.15   1000000         0
315.98/316.14	c       340       640    620.35    175.07      3.54   1000000         0
317.58/317.70	c       393       560    690.41    191.07      3.61   1000000         0
319.08/319.27	c       405       585    695.19    205.04      3.39   1000000         0
320.68/320.80	c       308       517    628.04    180.99      3.47   1000000         0
322.19/322.32	c       380       601    619.35    182.01      3.40   1000000         0
323.68/323.86	c       371       717    635.22    190.92      3.33   1000000         0
325.28/325.41	c       403       643    686.56    195.70      3.51   1000000         0
326.78/326.95	c       406       497    635.51    156.39      4.06   1000000         0
328.28/328.48	c       394       560    646.53    188.56      3.43   1000000         0
329.88/330.02	c       316       535    639.16    197.63      3.23   1000000         0
331.38/331.57	c       403       725    675.86    204.39      3.31   1000000         0
332.98/333.13	c       333       485    673.10    213.46      3.15   1000000         0
334.48/334.67	c       361       657    653.33    190.19      3.44   1000000         0
336.07/336.20	c       414       633    634.41    169.21      3.75   1000000         0
337.58/337.74	c       420       624    661.09    188.73      3.50   1000000         0
339.07/339.28	c       384       639    662.05    176.22      3.76   1000000         0
340.67/340.84	c       410       661    664.35    192.21      3.46   1000000         0
342.17/342.37	c       399       640    640.88    195.84      3.27   1000000         0
343.77/343.91	c       377       615    645.30    171.80      3.76   1000000         0
345.28/345.46	c       413       626    665.47    190.35      3.50   1000000         0
346.87/347.01	c       364       592    680.24    196.49      3.46   1000000         0
348.37/348.56	c       387       520    662.20    165.70      4.00   1000000         0
349.97/350.12	c       417       610    680.33    173.75      3.92   1000000         0
351.47/351.67	c       406       537    677.32    242.09      2.80   1000000         0
353.08/353.22	c       420       700    662.97    163.06      4.07   1000000         0
354.57/354.76	c       368       525    649.29    182.38      3.56   1000000         0
356.07/356.29	c       353       584    620.93    204.35      3.04   1000000         0
357.67/357.83	c       353       639    663.99    187.66      3.54   1000000         0
359.17/359.38	c       332       551    666.27    227.35      2.93   1000000         0
360.77/360.93	c       420       546    656.95    182.49      3.60   1000000         0
362.27/362.46	c       378       618    648.32    162.43      3.99   1000000         0
363.87/364.00	c       408       607    642.27    171.79      3.74   1000000         0
365.36/365.55	c       405       710    655.55    179.50      3.65   1000000         0
366.96/367.10	c       366       750    676.69    193.37      3.50   1000000         0
368.47/368.65	c       379       494    661.73    174.97      3.78   1000000         0
369.96/370.19	c       393       622    666.22    179.54      3.71   1000000         0
371.56/371.74	c       387       719    668.44    193.11      3.46   1000000         0
373.16/373.30	c       437       737    699.74    211.71      3.31   1000000         0
374.66/374.84	c       381       660    652.77    185.83      3.51   1000000         0
376.17/376.37	c       388       677    639.62    188.71      3.39   1000000         0
377.76/377.90	c       380       641    619.84    150.84      4.11   1000000         0
379.26/379.44	c       377       626    655.00    225.58      2.90   1000000         0
380.86/381.00	c       422       721    686.26    196.10      3.50   1000000         0
382.36/382.54	c       414       528    648.84    175.94      3.69   1000000         0
383.86/384.08	c       346       582    638.52    198.26      3.22   1000000         0
385.46/385.63	c       391       671    666.58    172.41      3.87   1000000         0
386.96/387.16	c       356       520    647.17    185.87      3.48   1000000         0
388.56/388.72	c       417       719    672.64    159.33      4.22   1000000         0
390.06/390.26	c       402       519    651.12    176.56      3.69   1000000         0
391.56/391.80	c       335       713    640.25    193.45      3.31   1000000         0
393.15/393.33	c       343       580    637.77    193.15      3.30   1000000         0
394.65/394.87	c       425       600    648.38    160.20      4.05   1000000         0
396.25/396.41	c       399       485    653.08    173.86      3.76   1000000         0
397.75/397.94	c       407       492    619.16    181.27      3.42   1000000         0
399.26/399.47	c       410       558    652.91    159.47      4.09   1000000         0
400.85/401.01	c       396       552    637.90    195.55      3.26   1000000         0
402.35/402.56	c       394       523    647.16    154.09      4.20   1000000         0
403.95/404.10	c       375       576    638.67    182.55      3.50   1000000         0
405.45/405.65	c       362       513    651.08    192.70      3.38   1000000         0
406.96/407.17	c       350       534    623.83    169.47      3.68   1000000         0
408.55/408.70	c       398       526    633.33    171.05      3.70   1000000         0
410.05/410.24	c       421       665    663.50    182.32      3.64   1000000         0
411.55/411.78	c       383       564    645.29    194.39      3.32   1000000         0
413.15/413.31	c       390       609    637.01    171.30      3.72   1000000         0
414.65/414.87	c       355       660    679.61    177.09      3.84   1000000         0
416.25/416.41	c       361       498    646.32    164.40      3.93   1000000         0
417.75/417.95	c       370       606    657.51    180.77      3.64   1000000         0
419.25/419.48	c       340       530    631.92    154.02      4.10   1000000         0
420.85/421.02	c       384       557    650.18    184.91      3.52   1000000         0
422.35/422.53	c       357       563    609.91    176.89      3.45   1000000         0
423.84/424.07	c       404       652    657.26    182.19      3.61   1000000         0
425.44/425.61	c       330       650    644.95    184.19      3.50   1000000         0
426.94/427.15	c       390       595    650.66    190.26      3.42   1000000         0
428.44/428.69	c       384       656    636.13    174.18      3.65   1000000         0
430.05/430.23	c       377       739    658.64    178.48      3.69   1000000         0
431.54/431.78	c       405       572    652.84    168.58      3.87   1000000         0
433.14/433.31	c       384       537    628.62    146.23      4.30   1000000         0
434.64/434.85	c       394       600    647.31    185.71      3.49   1000000         0
436.14/436.39	c       345       646    630.73    182.57      3.45   1000000         0
437.75/437.93	c       379       542    655.15    185.27      3.54   1000000         0
439.24/439.47	c       425       495    661.92    176.07      3.76   1000000         0
440.84/441.02	c       374       642    669.68    181.95      3.68   1000000         0
442.34/442.57	c       350       632    648.22    230.25      2.82   1000000         0
443.94/444.12	c       356       389    674.51    183.33      3.68   1000000         0
445.44/445.67	c       396       720    659.64    184.44      3.58   1000000         0
447.04/447.21	c       410       594    650.76    196.10      3.32   1000000         0
448.53/448.75	c       396       466    647.21    171.28      3.78   1000000         0
450.03/450.29	c       358       653    647.61    174.77      3.71   1000000         0
451.63/451.82	c       408       529    644.62    157.11      4.10   1000000         0
453.14/453.37	c       425       655    659.29    164.12      4.02   1000000         0
454.73/454.91	c       434       463    650.44    174.89      3.72   1000000         0
456.23/456.46	c       396       570    648.78    186.27      3.48   1000000         0
457.73/457.99	c       403       776    644.06    181.08      3.56   1000000         0
459.33/459.53	c       365       546    631.08    195.25      3.23   1000000         0
460.84/461.08	c       319       509    653.96    183.97      3.55   1000000         0
462.43/462.63	c       395       560    661.80    189.97      3.48   1000000         0
463.93/464.16	c       398       506    634.96    190.96      3.33   1000000         0
465.53/465.71	c       278       580    647.71    187.75      3.45   1000000         0
467.03/467.24	c       389       564    640.03    184.87      3.46   1000000         0
468.54/468.78	c       369       558    660.55    197.03      3.35   1000000         0
470.13/470.32	c       398       679    641.27    193.86      3.31   1000000         0
471.63/471.87	c       445       765    680.64    163.15      4.17   1000000         0
473.23/473.41	c       409       523    643.08    176.38      3.65   1000000         0
474.73/474.95	c       386       633    655.13    190.88      3.43   1000000         0
476.33/476.50	c       356       703    666.90    177.94      3.75   1000000         0
477.83/478.05	c       370       589    663.04    160.20      4.14   1000000         0
479.32/479.59	c       398       421    665.24    194.16      3.43   1000000         0
480.92/481.14	c       351       603    664.61    209.16      3.18   1000000         0
482.42/482.68	c       381       584    657.50    174.14      3.78   1000000         0
484.02/484.23	c       348       558    661.74    188.39      3.51   1000000         0
485.52/485.79	c       407       629    686.15    169.79      4.04   1000000         0
487.13/487.33	c       397       716    648.45    180.60      3.59   1000000         0
488.62/488.86	c       346       649    623.61    163.06      3.82   1000000         0
490.12/490.39	c       384       498    638.91    180.80      3.53   1000000         0
491.72/491.91	c       360       613    613.66    164.71      3.73   1000000         0
493.22/493.45	c       382       577    641.13    196.82      3.26   1000000         0
494.72/495.00	c       340       586    635.34    201.02      3.16   1000000         0
496.32/496.53	c       386       650    642.11    150.13      4.28   1000000         0
497.82/498.08	c       369       606    668.66    177.04      3.78   1000000         0
499.42/499.63	c       393       799    668.66    197.75      3.38   1000000         0
500.92/501.17	c       424       660    632.05    175.92      3.59   1000000         0
502.52/502.71	c       378       539    648.09    183.36      3.53   1000000         0
504.02/504.24	c       405       697    638.15    160.62      3.97   1000000         0
505.52/505.77	c       388       577    637.82    196.55      3.25   1000000         0
507.11/507.30	c       290       683    623.11    170.17      3.66   1000000         0
508.61/508.86	c       455       586    682.79    195.91      3.49   1000000         0
510.11/510.39	c       375       697    640.40    205.75      3.11   1000000         0
511.71/511.93	c       418       635    645.78    144.49      4.47   1000000         0
513.21/513.47	c       316       676    637.81    172.09      3.71   1000000         0
514.72/514.99	c       388       522    634.64    184.91      3.43   1000000         0
516.31/516.53	c       343       771    635.79    152.21      4.18   1000000         0
517.81/518.06	c       338       468    634.20    196.11      3.23   1000000         0
519.41/519.61	c       252       801    659.40    208.01      3.17   1000000         0
520.91/521.15	c       388       807    656.51    160.14      4.10   1000000         0
522.42/522.69	c       382       666    640.07    186.38      3.43   1000000         0
524.01/524.22	c       405       541    649.29    159.46      4.07   1000000         0
525.51/525.76	c       382       752    639.70    181.86      3.52   1000000         0
527.11/527.31	c       341       489    670.91    195.43      3.43   1000000         0
528.61/528.85	c       333       637    648.85    224.18      2.89   1000000         0
530.21/530.40	c       411       525    656.66    211.30      3.11   1000000         0
531.71/531.95	c       402       498    659.80    173.81      3.80   1000000         0
533.20/533.49	c       431       632    666.65    185.58      3.59   1000000         0
534.80/535.05	c       402       637    673.02    204.45      3.29   1000000         0
536.40/536.60	c       360       553    659.58    182.46      3.61   1000000         0
537.90/538.12	c       351       613    632.66    187.51      3.37   1000000         0
539.40/539.66	c       402       721    631.38    187.83      3.36   1000000         0
541.01/541.20	c       393       582    622.67    175.12      3.56   1000000         0
542.50/542.74	c       346       612    648.98    173.19      3.75   1000000         0
544.10/544.30	c       452       758    694.71    224.92      3.09   1000000         0
545.60/545.85	c       371       733    661.28    174.44      3.79   1000000         0
547.10/547.37	c       387       545    623.92    161.67      3.86   1000000         0
548.70/548.93	c       381       659    683.60    209.94      3.26   1000000         0
550.20/550.46	c       357       653    637.28    179.39      3.55   1000000         0
551.70/551.99	c       376       661    636.32    190.25      3.34   1000000         0
553.30/553.52	c       297       540    630.51    187.71      3.36   1000000         0
554.80/555.05	c       394       612    622.03    174.16      3.57   1000000         0
556.30/556.59	c       413       671    643.60    202.76      3.17   1000000         0
557.90/558.13	c       371       702    665.58    186.96      3.56   1000000         0
559.39/559.69	c       403       485    680.20    201.45      3.38   1000000         0
560.99/561.23	c       385       738    649.33    168.49      3.85   1000000         0
562.49/562.75	c       388       515    613.04    159.46      3.84   1000000         0
564.10/564.30	c       338       603    653.15    175.31      3.73   1000000         0
565.59/565.84	c       386       735    654.53    189.73      3.45   1000000         0
567.09/567.38	c       398       527    630.47    162.30      3.88   1000000         0
568.69/568.92	c       413       658    673.47    157.17      4.28   1000000         0
570.19/570.45	c       344       591    623.54    204.65      3.05   1000000         0
571.69/571.98	c       362       707    627.71    170.09      3.69   1000000         0
573.29/573.52	c       414       620    646.70    137.02      4.72   1000000         0
574.79/575.07	c       393       539    662.45    168.06      3.94   1000000         0
576.39/576.61	c       328       652    642.15    206.08      3.12   1000000         0
577.89/578.17	c       426       562    690.85    193.48      3.57   1000000         0
579.49/579.71	c       376       598    649.95    172.69      3.76   1000000         0
580.99/581.25	c       380       536    660.83    174.25      3.79   1000000         0
582.49/582.79	c       359       555    652.74    193.42      3.37   1000000         0
584.09/584.33	c       394       594    649.31    179.60      3.62   1000000         0
585.58/585.88	c       420       601    649.45    176.76      3.67   1000000         0
587.19/587.43	c       398       549    666.28    183.96      3.62   1000000         0
588.68/588.97	c       401       592    641.84    202.53      3.17   1000000         0
590.28/590.51	c       414       502    650.69    216.12      3.01   1000000         0
591.78/592.04	c       347       556    631.23    179.25      3.52   1000000         0
593.28/593.59	c       413       495    656.57    190.39      3.45   1000000         0
594.89/595.14	c       447       578    666.49    160.27      4.16   1000000         0
596.38/596.68	c       394       799    655.24    174.74      3.75   1000000         0
597.98/598.22	c       400       716    653.43    189.49      3.45   1000000         0
599.48/599.78	c       451       504    687.63    202.57      3.39   1000000         0
601.08/601.32	c       422       616    660.17    221.45      2.98   1000000         0
602.59/602.84	c       358       523    618.29    161.98      3.82   1000000         0
604.08/604.38	c       339       637    635.14    178.13      3.57   1000000         0
605.68/605.91	c       385       586    632.45    200.71      3.15   1000000         0
607.18/607.46	c       364       558    656.73    178.88      3.67   1000000         0
608.68/608.99	c       382       633    651.65    187.77      3.47   1000000         0
610.28/610.54	c       394       691    662.71    165.68      4.00   1000000         0
611.78/612.07	c       354       673    637.81    150.58      4.24   1000000         0
613.38/613.62	c       357       677    643.56    207.15      3.11   1000000         0
614.87/615.16	c       383       721    657.94    172.59      3.81   1000000         0
616.47/616.71	c       386       477    657.71    169.82      3.87   1000000         0
617.98/618.25	c       366       538    645.65    177.95      3.63   1000000         0
619.57/619.80	c       364       520    671.50    186.52      3.60   1000000         0
621.07/621.33	c       386       702    648.14    183.95      3.52   1000000         0
622.57/622.86	c       325       560    625.38    201.42      3.10   1000000         0
624.17/624.40	c       377       704    645.21    190.95      3.38   1000000         0
625.68/625.95	c       403       567    670.95    187.17      3.58   1000000         0
627.27/627.50	c       420       524    667.76    173.20      3.86   1000000         0
628.77/629.04	c       386       527    646.60    182.17      3.55   1000000         0
630.27/630.58	c       395       634    638.59    155.43      4.11   1000000         0
631.87/632.12	c       395       573    644.29    168.42      3.83   1000000         0
633.37/633.66	c       370       595    651.12    176.38      3.69   1000000         0
634.97/635.22	c       423       629    689.82    239.89      2.88   1000000         0
636.47/636.76	c       419       592    655.94    176.67      3.71   1000000         0
638.07/638.30	c       384       552    649.16    193.23      3.36   1000000         0
639.56/639.83	c       342       539    631.37    181.74      3.47   1000000         0
641.07/641.38	c       404       481    667.24    174.26      3.83   1000000         0
642.66/642.92	c       345       707    659.75    169.28      3.90   1000000         0
644.16/644.46	c       390       546    652.66    192.07      3.40   1000000         0
645.66/645.99	c       340       818    632.69    199.19      3.18   1000000         0
647.26/647.52	c       372       572    632.86    172.72      3.66   1000000         0
648.77/649.05	c       370       524    636.87    161.16      3.95   1000000         0
650.26/650.59	c       360       611    658.90    175.96      3.74   1000000         0
651.86/652.12	c       403       634    641.23    173.13      3.70   1000000         0
653.36/653.66	c       406       539    655.59    157.26      4.17   1000000         0
654.96/655.20	c       346       659    643.72    193.97      3.32   1000000         0
656.47/656.73	c       381       669    630.76    167.51      3.77   1000000         0
657.96/658.28	c       365       571    675.28    209.97      3.22   1000000         0
659.56/659.84	c       399       628    675.91    177.82      3.80   1000000         0
661.06/661.38	c       378       754    646.94    210.54      3.07   1000000         0
662.66/662.91	c       370       617    632.33    176.72      3.58   1000000         0
664.16/664.45	c       367       574    647.80    185.97      3.48   1000000         0
665.76/666.01	c       414       662    684.98    208.25      3.29   1000000         0
667.26/667.54	c       357       587    642.57    194.24      3.31   1000000         0
668.76/669.08	c       386       560    649.53    183.95      3.53   1000000         0
670.35/670.62	c       391       671    647.51    189.90      3.41   1000000         0
671.86/672.16	c       382       579    659.61    173.89      3.79   1000000         0
673.45/673.70	c       402       644    664.34    191.66      3.47   1000000         0
674.95/675.24	c       411       718    651.08    163.52      3.98   1000000         0
676.45/676.77	c       379       525    647.02    191.56      3.38   1000000         0
678.05/678.31	c       369       596    662.60    199.63      3.32   1000000         0
679.56/679.86	c       388       580    657.92    206.83      3.18   1000000         0
681.15/681.41	c       412       532    659.78    192.64      3.42   1000000         0
682.65/682.94	c       335       642    631.52    159.72      3.95   1000000         0
684.15/684.47	c       325       465    644.45    169.34      3.81   1000000         0
685.75/686.01	c       376       547    654.17    186.04      3.52   1000000         0
687.26/687.55	c       385       557    641.31    215.51      2.98   1000000         0
688.75/689.09	c       414       671    668.96    170.73      3.92   1000000         0
690.35/690.63	c       379       579    635.94    152.67      4.17   1000000         0
691.85/692.17	c       424       630    650.81    158.49      4.11   1000000         0
693.45/693.70	c       356       696    629.64    200.63      3.14   1000000         0
694.95/695.24	c       379       609    635.60    156.47      4.06   1000000         0
696.45/696.77	c       341       579    632.82    164.73      3.84   1000000         0
698.04/698.31	c       431       660    645.38    147.89      4.36   1000000         0
699.54/699.87	c       413       451    683.75    188.50      3.63   1000000         0
701.14/701.41	c       374       567    649.76    178.11      3.65   1000000         0
702.65/702.96	c       423       723    676.27    194.25      3.48   1000000         0
704.14/704.49	c       402       565    632.72    158.57      3.99   1000000         0
705.74/706.02	c       360       439    648.10    180.51      3.59   1000000         0
707.24/707.56	c       351       805    644.73    180.19      3.58   1000000         0
708.84/709.10	c       419       654    646.42    155.07      4.17   1000000         0
710.35/710.64	c       360       610    650.30    155.86      4.17   1000000         0
711.84/712.18	c       417       575    650.92    211.94      3.07   1000000         0
713.44/713.71	c       330       586    624.81    149.05      4.19   1000000         0
714.94/715.24	c       350       661    624.69    166.63      3.75   1000000         0
716.44/716.78	c       385       632    655.55    154.06      4.26   1000000         0
718.04/718.33	c       375       662    663.25    187.84      3.53   1000000         0
719.54/719.88	c       384       510    666.01    191.83      3.47   1000000         0
721.14/721.41	c       411       632    636.63    147.63      4.31   1000000         0
722.64/722.94	c       370       649    631.26    184.25      3.43   1000000         0
724.13/724.47	c       369       594    640.92    183.80      3.49   1000000         0
725.74/726.02	c       386       647    668.70    186.77      3.58   1000000         0
727.23/727.56	c       372       618    650.24    158.60      4.10   1000000         0
728.83/729.10	c       390       684    660.25    202.68      3.26   1000000         0
730.33/730.64	c       387       583    628.38    165.33      3.80   1000000         0
731.83/732.18	c       392       550    656.00    165.10      3.97   1000000         0
733.44/733.72	c       339       628    666.77    184.29      3.62   1000000         0
734.93/735.26	c       379       552    657.21    181.43      3.62   1000000         0
736.53/736.82	c       438       700    679.10    176.92      3.84   1000000         0
738.03/738.35	c       378       566    649.13    161.98      4.01   1000000         0
739.53/739.89	c       381       557    641.28    172.45      3.72   1000000         0
741.14/741.43	c       395       535    649.74    195.58      3.32   1000000         0
742.63/742.98	c       374       528    654.88    187.81      3.49   1000000         0
744.23/744.54	c       393       678    675.82    190.94      3.54   1000000         0
745.73/746.08	c       340       626    640.50    186.52      3.43   1000000         0
747.33/747.61	c       385       521    650.28    161.68      4.02   1000000         0
748.83/749.14	c       367       558    634.32    163.12      3.89   1000000         0
750.33/750.67	c       355       569    638.62    164.59      3.88   1000000         0
751.92/752.22	c       340       613    658.80    165.60      3.98   1000000         0
753.42/753.77	c       376       712    674.89    197.59      3.42   1000000         0
755.02/755.30	c       404       659    640.73    147.90      4.33   1000000         0
756.53/756.85	c       348       589    660.59    184.05      3.59   1000000         0
758.02/758.39	c       397       638    639.03    188.90      3.38   1000000         0
759.62/759.92	c       365       684    641.38    170.42      3.76   1000000         0
761.12/761.47	c       419       472    670.22    173.91      3.85   1000000         0
762.72/763.01	c       374       649    662.36    174.01      3.81   1000000         0
764.23/764.55	c       326       472    631.99    184.48      3.43   1000000         0
765.72/766.09	c       392       711    646.26    201.37      3.21   1000000         0
767.32/767.61	c       337       516    636.46    171.93      3.70   1000000         0
768.82/769.15	c       401       618    634.11    170.35      3.72   1000000         0
770.32/770.68	c       425       762    639.59    146.22      4.37   1000000         0
771.92/772.22	c       325       568    648.26    200.03      3.24   1000000         0
773.42/773.74	c       346       603    604.67    146.36      4.13   1000000         0
774.92/775.29	c       424       618    667.77    158.87      4.20   1000000         0
776.52/776.83	c       395       625    646.15    207.57      3.11   1000000         0
778.02/778.37	c       420       786    679.29    173.14      3.92   1000000         0
779.62/779.92	c       404       567    655.43    168.74      3.88   1000000         0
781.12/781.45	c       361       545    631.13    151.76      4.16   1000000         0
782.71/783.00	c       412       522    662.87    183.40      3.61   1000000         0
784.21/784.54	c       413       541    652.24    156.92      4.16   1000000         0
785.71/786.10	c       402       680    677.23    239.01      2.83   1000000         0
787.32/787.64	c       333       585    662.76    204.90      3.23   1000000         0
788.81/789.17	c       392       628    650.61    220.75      2.95   1000000         0
790.41/790.71	c       338       589    645.59    201.14      3.21   1000000         0
791.91/792.26	c       420       553    667.41    181.50      3.68   1000000         0
793.41/793.79	c       376       645    637.16    173.60      3.67   1000000         0
795.02/795.33	c       418       688    647.50    169.19      3.83   1000000         0
796.51/796.88	c       414       649    664.54    198.37      3.35   1000000         0
798.11/798.42	c       358       559    646.80    214.25      3.02   1000000         0
799.61/799.96	c       380       514    652.04    177.63      3.67   1000000         0
801.21/801.50	c       390       659    646.12    168.37      3.84   1000000         0
802.71/803.02	c       362       618    628.66    198.93      3.16   1000000         0
804.21/804.56	c       336       619    626.23    188.71      3.32   1000000         0
805.81/806.10	c       355       589    651.87    202.30      3.22   1000000         0
807.31/807.64	c       369       527    642.23    153.87      4.17   1000000         0
808.81/809.17	c       384       645    643.20    168.65      3.81   1000000         0
810.41/810.71	c       377       663    643.26    198.02      3.25   1000000         0
811.90/812.24	c       399       599    648.48    157.66      4.11   1000000         0
813.40/813.79	c       413       641    669.13    223.02      3.00   1000000         0
815.00/815.34	c       333       680    666.35    209.56      3.18   1000000         0
816.50/816.89	c       434       515    666.93    156.28      4.27   1000000         0
818.11/818.42	c       391       662    631.06    172.10      3.67   1000000         0
819.60/819.96	c       401       577    653.68    169.06      3.87   1000000         0
821.20/821.50	c       409       495    653.85    183.46      3.56   1000000         0
822.70/823.03	c       367       599    625.17    168.66      3.71   1000000         0
824.20/824.57	c       392       522    660.50    198.86      3.32   1000000         0
825.81/826.12	c       386       582    643.27    197.68      3.25   1000000         0
827.30/827.65	c       365       628    643.62    173.14      3.72   1000000         0
828.90/829.20	c       414       685    677.30    222.80      3.04   1000000         0
830.40/830.74	c       405       532    659.42    156.29      4.22   1000000         0
831.90/832.28	c       389       638    652.19    197.76      3.30   1000000         0
833.50/833.82	c       384       580    647.61    174.21      3.72   1000000         0
835.00/835.37	c       397       631    665.40    170.07      3.91   1000000         0
836.60/836.91	c       378       640    667.85    184.69      3.62   1000000         0
838.09/838.45	c       353       518    633.62    163.27      3.88   1000000         0
839.59/839.98	c       367       650    633.93    185.30      3.42   1000000         0
841.20/841.53	c       408       657    683.59    163.15      4.19   1000000         0
842.69/843.06	c       353       617    630.34    165.86      3.80   1000000         0
844.29/844.62	c       343       590    679.39    197.04      3.45   1000000         0
845.79/846.18	c       417       695    681.86    182.92      3.73   1000000         0
847.39/847.71	c       366       536    646.17    201.92      3.20   1000000         0
848.90/849.26	c       387       777    660.79    197.23      3.35   1000000         0
850.39/850.79	c       374       589    632.99    160.71      3.94   1000000         0
851.99/852.33	c       413       655    654.95    157.31      4.16   1000000         0
853.49/853.87	c       386       510    646.56    175.17      3.69   1000000         0
855.09/855.43	c       390       524    674.71    166.61      4.05   1000000         0
856.60/856.97	c       397       679    651.80    191.58      3.40   1000000         0
858.19/858.51	c       367       500    641.91    197.48      3.25   1000000         0
859.69/860.05	c       350       627    641.82    204.53      3.14   1000000         0
861.19/861.58	c       420       631    644.66    134.53      4.79   1000000         0
862.79/863.13	c       403       530    652.83    168.23      3.88   1000000         0
864.29/864.66	c       397       640    644.80    185.75      3.47   1000000         0
865.89/866.20	c       391       673    624.28    160.12      3.90   1000000         0
867.39/867.74	c       365       508    653.15    203.42      3.21   1000000         0
868.88/869.29	c       369       618    681.47    181.18      3.76   1000000         0
870.48/870.84	c       439       646    659.99    139.37      4.74   1000000         0
871.99/872.38	c       406       699    649.19    155.16      4.18   1000000         0
873.58/873.93	c       404       532    670.54    185.92      3.61   1000000         0
875.08/875.46	c       328       560    641.31    185.17      3.46   1000000         0
876.68/877.01	c       424       681    665.70    188.52      3.53   1000000         0
878.18/878.55	c       402       588    641.60    161.21      3.98   1000000         0
879.69/880.09	c       307       756    650.45    195.34      3.33   1000000         0
881.28/881.64	c       377       485    655.92    198.47      3.30   1000000         0
882.78/883.18	c       368       595    651.77    145.40      4.48   1000000         0
884.38/884.70	c       384       653    617.58    150.79      4.10   1000000         0
885.88/886.24	c       408       683    660.55    187.09      3.53   1000000         0
887.39/887.78	c       357       741    651.81    156.78      4.16   1000000         0
888.98/889.33	c       394       559    665.35    186.98      3.56   1000000         0
890.48/890.87	c       382       636    646.77    182.93      3.54   1000000         0
892.08/892.40	c       357       480    628.33    163.65      3.84   1000000         0
893.58/893.94	c       398       671    653.37    161.96      4.03   1000000         0
895.08/895.49	c       386       570    668.58    205.42      3.25   1000000         0
896.68/897.03	c       363       555    648.62    184.65      3.51   1000000         0
898.18/898.57	c       344       608    655.89    176.28      3.72   1000000         0
899.77/900.11	c       294       683    647.28    168.69      3.84   1000000         0
901.27/901.65	c       371       636    648.22    175.72      3.69   1000000         0
902.78/903.19	c       374       525    656.47    195.86      3.35   1000000         0
904.37/904.73	c       388       616    647.53    159.69      4.06   1000000         0
905.87/906.28	c       389       618    673.32    168.19      4.00   1000000         0
907.47/907.81	c       334       728    639.80    167.00      3.83   1000000         0
908.97/909.35	c       329       613    647.97    175.93      3.68   1000000         0
910.49/910.90	c       354       567    656.58    224.35      2.93   1000000         0
912.08/912.44	c       393       586    642.88    192.96      3.33   1000000         0
913.58/913.99	c       393       533    664.16    187.43      3.54   1000000         0
915.18/915.52	c       386       608    639.57    173.47      3.69   1000000         0
916.68/917.06	c       375       572    636.31    183.06      3.48   1000000         0
918.18/918.58	c       334       661    627.84    217.32      2.89   1000000         0
919.78/920.10	c       365       563    619.24    168.07      3.68   1000000         0
921.28/921.65	c       383       496    658.22    203.77      3.23   1000000         0
922.78/923.19	c       370       516    631.32    183.42      3.44   1000000         0
924.37/924.73	c       375       676    655.35    185.73      3.53   1000000         0
925.88/926.26	c       411       553    646.13    170.44      3.79   1000000         0
927.47/927.81	c       442       735    656.20    176.23      3.72   1000000         0
928.97/929.35	c       372       639    654.13    173.50      3.77   1000000         0
930.47/930.89	c       365       620    644.87    179.69      3.59   1000000         0
932.07/932.44	c       368       545    653.01    195.78      3.34   1000000         0
933.58/933.97	c       380       798    639.54    152.26      4.20   1000000         0
935.17/935.51	c       413       613    635.67    198.73      3.20   1000000         0
936.67/937.05	c       363       541    646.74    188.98      3.42   1000000         0
938.27/938.60	c       403       441    670.25    166.09      4.04   1000000         0
939.77/940.14	c       434       652    666.54    170.04      3.92   1000000         0
941.28/941.69	c       369       439    661.50    164.56      4.02   1000000         0
942.87/943.23	c       396       621    636.69    198.18      3.21   1000000         0
944.37/944.76	c       337       601    630.36    192.97      3.27   1000000         0
945.87/946.29	c       382       624    620.19    163.71      3.79   1000000         0
947.47/947.82	c       369       533    628.62    157.14      4.00   1000000         0
948.97/949.34	c       409       610    629.32    170.38      3.69   1000000         0
950.47/950.89	c       323       576    678.11    184.48      3.68   1000000         0
952.07/952.43	c       363       463    637.54    153.51      4.15   1000000         0
953.56/953.97	c       419       534    653.06    160.46      4.07   1000000         0
955.16/955.51	c       422       638    641.28    206.53      3.10   1000000         0
956.67/957.04	c       384       643    631.71    200.51      3.15   1000000         0
958.16/958.59	c       406       484    672.46    192.63      3.49   1000000         0
959.76/960.13	c       394       582    645.57    150.22      4.30   1000000         0
961.26/961.67	c       342       621    663.48    175.13      3.79   1000000         0
962.86/963.22	c       420       643    667.32    163.60      4.08   1000000         0
964.37/964.77	c       425       653    666.22    151.51      4.40   1000000         0
965.86/966.29	c       340       657    603.99    163.54      3.69   1000000         0
967.46/967.83	c       436       534    648.52    169.32      3.83   1000000         0
968.96/969.37	c       442       745    667.80    180.13      3.71   1000000         0
970.56/970.93	c       400       642    664.37    178.98      3.71   1000000         0
972.06/972.46	c       345       624    636.23    148.94      4.27   1000000         0
973.66/974.00	c       345       689    663.87    191.35      3.47   1000000         0
975.16/975.56	c       388       561    677.82    191.52      3.54   1000000         0
976.66/977.09	c       408       596    624.75    158.20      3.95   1000000         0
978.26/978.63	c       441       547    659.03    186.25      3.54   1000000         0
979.76/980.16	c       346       582    630.74    188.94      3.34   1000000         0
981.25/981.69	c       402       547    618.22    196.87      3.14   1000000         0
982.85/983.22	c       377       740    639.57    178.53      3.58   1000000         0
984.35/984.76	c       324       587    648.84    204.04      3.18   1000000         0
985.95/986.30	c       374       595    651.04    200.58      3.25   1000000         0
987.46/987.86	c       409       660    683.56    217.51      3.14   1000000         0
989.05/989.40	c       367       636    655.37    171.73      3.82   1000000         0
990.55/990.93	c       355       546    643.71    195.56      3.29   1000000         0
992.05/992.47	c       383       546    625.93    190.83      3.28   1000000         0
993.65/994.01	c       397       645    661.15    163.56      4.04   1000000         0
995.16/995.56	c       388       622    650.79    180.58      3.60   1000000         0
996.75/997.11	c       332       587    666.53    172.31      3.87   1000000         0
998.25/998.65	c       309       628    646.55    191.83      3.37   1000000         0
999.75/1000.20	c       397       709    664.95    192.45      3.46   1000000         0
1001.35/1001.73	c       389       652    653.50    159.83      4.09   1000000         0
1002.85/1003.26	c       387       532    629.47    138.99      4.53   1000000         0
1004.45/1004.81	c       406       620    671.24    204.50      3.28   1000000         0
1005.95/1006.35	c       358       520    648.53    159.98      4.05   1000000         0
1007.54/1007.90	c       363       614    667.18    178.49      3.74   1000000         0
1009.04/1009.45	c       388       589    671.90    226.36      2.97   1000000         0
1010.55/1011.00	c       344       662    664.51    192.13      3.46   1000000         0
1012.14/1012.53	c       330       667    645.02    191.65      3.37   1000000         0
1013.64/1014.07	c       365       629    626.01    160.41      3.90   1000000         0
1015.24/1015.60	c       337       546    638.19    165.20      3.86   1000000         0
1016.74/1017.14	c       364       527    650.61    180.43      3.61   1000000         0
1018.25/1018.66	c       401       712    631.02    169.01      3.73   1000000         0
1019.84/1020.21	c       415       569    654.41    171.48      3.82   1000000         0
1021.34/1021.75	c       345       606    647.89    174.82      3.71   1000000         0
1022.84/1023.28	c       368       520    629.80    152.56      4.13   1000000         0
1024.44/1024.82	c       371       528    643.38    159.43      4.04   1000000         0
1025.95/1026.35	c       306       585    631.31    168.90      3.74   1000000         0
1027.54/1027.90	c       416       665    652.06    182.74      3.57   1000000         0
1029.04/1029.44	c       426       658    662.99    149.34      4.44   1000000         0
1030.54/1030.98	c       391       629    645.78    170.54      3.79   1000000         0
1032.14/1032.54	c       409       663    666.61    204.00      3.27   1000000         0
1033.64/1034.07	c       394       617    630.68    169.01      3.73   1000000         0
1035.24/1035.62	c       363       636    668.95    179.47      3.73   1000000         0
1036.83/1037.20	c       418       673    715.81    206.21      3.47   1000000         0
1038.33/1038.75	c       434       578    681.25    206.65      3.30   1000000         0
1039.83/1040.29	c       400       567    641.33    198.25      3.23   1000000         0
1041.44/1041.84	c       447       698    675.53    166.35      4.06   1000000         0
1042.93/1043.37	c       319       660    610.96    182.49      3.35   1000000         0
1044.53/1044.91	c       327       573    644.69    180.14      3.58   1000000         0
1046.03/1046.46	c       423       651    672.06    175.30      3.83   1000000         0
1047.63/1048.01	c       363       594    654.90    213.85      3.06   1000000         0
1049.14/1049.55	c       406       577    645.00    165.50      3.90   1000000         0
1050.63/1051.08	c       328       566    622.87    200.58      3.11   1000000         0
1052.23/1052.62	c       381       608    649.85    179.33      3.62   1000000         0
1053.73/1054.15	c       400       619    638.31    158.71      4.02   1000000         0
1055.33/1055.71	c       432       533    662.59    177.07      3.74   1000000         0
1056.83/1057.23	c       377       564    616.47    174.47      3.53   1000000         0
1058.33/1058.77	c       360       596    635.15    198.86      3.19   1000000         0
1059.93/1060.31	c       393       652    655.12    210.29      3.12   1000000         0
1061.42/1061.85	c       432       538    647.16    182.63      3.54   1000000         0
1062.92/1063.38	c       371       639    627.51    177.26      3.54   1000000         0
1064.53/1064.91	c       385       543    641.76    169.79      3.78   1000000         0
1066.02/1066.46	c       368       546    673.19    221.28      3.04   1000000         0
1067.62/1068.00	c       373       691    643.44    178.73      3.60   1000000         0
1069.12/1069.55	c       385       494    673.70    199.53      3.38   1000000         0
1070.62/1071.09	c       409       793    659.90    144.88      4.55   1000000         0
1072.23/1072.63	c       392       468    657.79    165.17      3.98   1000000         0
1073.72/1074.18	c       392       504    655.61    186.04      3.52   1000000         0
1075.32/1075.72	c       322       530    659.29    190.34      3.46   1000000         0
1076.82/1077.26	c       321       597    647.06    195.88      3.30   1000000         0
1078.32/1078.80	c       361       652    642.09    194.60      3.30   1000000         0
1079.93/1080.35	c       397       600    668.27    208.89      3.20   1000000         0
1081.42/1081.88	c       387       691    645.59    168.99      3.82   1000000         0
1083.02/1083.41	c       372       717    643.18    213.24      3.02   1000000         0
1084.52/1084.95	c       418       650    644.19    168.47      3.82   1000000         0
1086.02/1086.50	c       416       624    659.79    145.01      4.55   1000000         0
1087.62/1088.02	c       362       499    627.28    178.01      3.52   1000000         0
1089.12/1089.56	c       428       606    666.58    168.06      3.97   1000000         0
1090.72/1091.12	c       416       579    667.95    165.69      4.03   1000000         0
1092.21/1092.65	c       402       574    649.44    171.05      3.80   1000000         0
1093.81/1094.20	c       376       617    679.73    172.18      3.95   1000000         0
1095.32/1095.73	c       343       505    637.32    171.98      3.71   1000000         0
1096.81/1097.27	c       389       478    655.69    181.02      3.62   1000000         0
1098.41/1098.80	c       372       557    635.92    157.26      4.04   1000000         0
1099.91/1100.34	c       321       499    645.48    189.36      3.41   1000000         0
1101.41/1101.89	c       404       619    670.63    201.32      3.33   1000000         0
1103.02/1103.44	c       396       608    639.74    180.60      3.54   1000000         0
1104.51/1104.97	c       334       531    636.92    189.99      3.35   1000000         0
1106.11/1106.51	c       357       589    653.36    197.68      3.31   1000000         0
1107.61/1108.06	c       376       603    648.80    191.63      3.39   1000000         0
1109.21/1109.60	c       375       601    653.91    164.15      3.98   1000000         0
1110.72/1111.14	c       395       475    651.38    176.00      3.70   1000000         0
1112.21/1112.68	c       334       810    651.19    188.54      3.45   1000000         0
1113.81/1114.22	c       423       580    669.08    165.40      4.05   1000000         0
1115.31/1115.77	c       374       461    650.49    182.36      3.57   1000000         0
1116.91/1117.31	c       386       700    658.25    167.08      3.94   1000000         0
1118.41/1118.84	c       370       498    632.44    169.33      3.73   1000000         0
1119.91/1120.38	c       354       630    647.04    183.97      3.52   1000000         0
1121.51/1121.94	c       373       585    684.41    188.97      3.62   1000000         0
1123.00/1123.49	c       397       532    673.95    193.20      3.49   1000000         0
1124.60/1125.04	c       373       586    660.32    214.40      3.08   1000000         0
1126.11/1126.57	c       359       583    626.39    186.21      3.36   1000000         0
1127.70/1128.10	c       383       519    626.44    170.75      3.67   1000000         0
1129.20/1129.64	c       367       610    656.29    164.94      3.98   1000000         0
1130.70/1131.20	c       432       554    671.57    181.86      3.69   1000000         0
1132.30/1132.74	c       402       527    642.23    183.61      3.50   1000000         0
1133.81/1134.29	c       407       525    670.85    194.66      3.45   1000000         0
1135.40/1135.82	c       378       550    640.71    201.92      3.17   1000000         0
1136.90/1137.37	c       350       617    658.82    210.66      3.13   1000000         0
1138.50/1138.92	c       374       561    671.20    185.53      3.62   1000000         0
1140.00/1140.45	c       371       692    640.15    207.96      3.08   1000000         0
1141.51/1141.99	c       362       704    652.77    193.23      3.38   1000000         0
1143.10/1143.53	c       380       658    645.72    183.67      3.52   1000000         0
1144.60/1145.07	c       424       558    665.01    143.26      4.64   1000000         0
1146.20/1146.60	c       344       542    630.08    152.18      4.14   1000000         0
1147.70/1148.16	c       442       597    676.67    200.78      3.37   1000000         0
1149.20/1149.69	c       341       598    642.61    170.81      3.76   1000000         0
1150.79/1151.24	c       374       688    641.29    158.73      4.04   1000000         0
1152.29/1152.78	c       343       637    647.41    213.98      3.03   1000000         0
1153.89/1154.32	c       414       631    646.79    171.39      3.77   1000000         0
1155.39/1155.86	c       410       617    660.76    197.80      3.34   1000000         0
1156.99/1157.42	c       407       549    687.82    222.81      3.09   1000000         0
1158.49/1158.95	c       349       768    640.12    169.68      3.77   1000000         0
1159.99/1160.49	c       376       582    631.11    175.20      3.60   1000000         0
1161.59/1162.04	c       399       713    674.24    192.10      3.51   1000000         0
1163.09/1163.58	c       419       616    645.20    172.40      3.74   1000000         0
1164.69/1165.12	c       368       593    653.91    217.53      3.01   1000000         0
1166.19/1166.67	c       381       581    660.06    172.44      3.83   1000000         0
1167.79/1168.22	c       373       690    664.81    192.28      3.46   1000000         0
1169.29/1169.75	c       390       506    646.03    180.32      3.58   1000000         0
1170.79/1171.29	c       410       704    632.72    203.02      3.12   1000000         0
1172.39/1172.85	c       417       485    686.20    232.29      2.95   1000000         0
1173.89/1174.39	c       331       686    655.41    189.74      3.45   1000000         0
1175.49/1175.95	c       355       665    687.42    200.32      3.43   1000000         0
1176.99/1177.49	c       399       737    658.97    186.88      3.53   1000000         0
1178.58/1179.02	c       375       574    633.93    167.34      3.79   1000000         0
1180.08/1180.55	c       401       568    634.19    148.38      4.27   1000000         0
1181.58/1182.09	c       394       581    637.32    180.14      3.54   1000000         0
1183.19/1183.65	c       401       609    680.68    164.51      4.14   1000000         0
1184.68/1185.19	c       440       709    667.16    177.21      3.76   1000000         0
1186.28/1186.75	c       406       681    686.71    202.07      3.40   1000000         0
1187.78/1188.28	c       398       537    625.27    175.41      3.56   1000000         0
1189.38/1189.82	c       418       647    656.86    180.80      3.63   1000000         0
1190.89/1191.36	c       369       631    652.14    213.22      3.06   1000000         0
1192.48/1192.92	c       394       726    664.62    170.28      3.90   1000000         0
1193.98/1194.48	c       410       675    687.73    188.28      3.65   1000000         0
1195.58/1196.01	c       407       507    649.01    145.46      4.46   1000000         0
1197.08/1197.55	c       389       526    638.24    185.82      3.43   1000000         0
1198.58/1199.10	c       408       621    660.38    182.65      3.62   1000000         0
1200.18/1200.65	c       398       740    682.48    200.06      3.41   1000000         0
1201.68/1202.20	c       361       645    658.97    155.41      4.24   1000000         0
1203.27/1203.74	c       382       729    651.36    189.16      3.44   1000000         0
1204.77/1205.29	c       349       504    680.37    185.40      3.67   1000000         0
1206.38/1206.83	c       393       617    651.59    182.68      3.57   1000000         0
1207.87/1208.37	c       381       742    665.61    196.06      3.39   1000000         0
1209.47/1209.93	c       413       468    686.65    205.58      3.34   1000000         0
1210.97/1211.46	c       319       683    632.96    165.91      3.82   1000000         0
1212.57/1213.00	c       360       506    658.35    181.28      3.63   1000000         0
1214.08/1214.55	c       394       568    654.14    172.12      3.80   1000000         0
1215.57/1216.08	c       324       503    618.87    173.16      3.57   1000000         0
1217.17/1217.63	c       363       413    651.48    173.00      3.77   1000000         0
1218.67/1219.17	c       361       486    632.83    190.76      3.32   1000000         0
1220.27/1220.71	c       359       520    654.56    188.14      3.48   1000000         0
1221.78/1222.24	c       384       558    634.44    187.08      3.39   1000000         0
1223.27/1223.78	c       369       624    637.69    154.64      4.12   1000000         0
1224.87/1225.31	c       400       671    639.24    154.88      4.13   1000000         0
1226.37/1226.86	c       324       499    648.66    192.60      3.37   1000000         0
1227.97/1228.40	c       381       611    645.65    176.49      3.66   1000000         0
1229.47/1229.93	c       405       559    632.30    149.50      4.23   1000000         0
1230.96/1231.47	c       446       585    649.23    135.95      4.78   1000000         0
1232.56/1233.00	c       354       704    642.10    167.00      3.84   1000000         0
1234.06/1234.53	c       381       638    633.81    154.13      4.11   1000000         0
1235.56/1236.08	c       456       517    679.18    197.88      3.43   1000000         0
1237.17/1237.63	c       424       632    662.27    172.20      3.85   1000000         0
1238.66/1239.16	c       381       591    619.85    180.68      3.43   1000000         0
1240.26/1240.71	c       407       573    665.54    193.52      3.44   1000000         0
1241.76/1242.23	c       374       472    614.93    160.74      3.83   1000000         0
1243.26/1243.78	c       419       628    654.52    177.15      3.69   1000000         0
1244.87/1245.31	c       334       621    637.61    161.73      3.94   1000000         0
1246.36/1246.85	c       361       588    654.97    205.04      3.19   1000000         0
1247.86/1248.39	c       384       588    649.38    185.91      3.49   1000000         0
1249.46/1249.91	c       381       656    621.74    169.70      3.66   1000000         0
1250.96/1251.46	c       347       629    655.49    199.37      3.29   1000000         0
1252.46/1253.00	c       380       587    662.84    177.61      3.73   1000000         0
1254.06/1254.53	c       393       602    632.55    173.41      3.65   1000000         0
1255.56/1256.09	c       377       677    689.26    205.38      3.36   1000000         0
1257.16/1257.64	c       358       598    673.98    194.27      3.47   1000000         0
1258.66/1259.18	c       386       664    658.74    179.24      3.68   1000000         0
1260.26/1260.73	c       462       537    677.79    194.86      3.48   1000000         0
1261.75/1262.28	c       400       614    672.76    220.70      3.05   1000000         0
1263.35/1263.84	c       384       727    694.10    215.98      3.21   1000000         0
1264.85/1265.38	c       383       682    646.27    211.62      3.05   1000000         0
1266.45/1266.92	c       390       519    644.72    198.25      3.25   1000000         0
1267.96/1268.45	c       402       656    637.54    140.00      4.55   1000000         0
1269.45/1269.99	c       359       661    642.92    166.32      3.87   1000000         0
1271.05/1271.53	c       379       746    652.59    189.37      3.45   1000000         0
1272.55/1273.07	c       388       570    655.06    183.34      3.57   1000000         0
1274.15/1274.61	c       354       615    654.24    174.82      3.74   1000000         0
1275.66/1276.15	c       411       647    637.67    159.64      3.99   1000000         0
1277.15/1277.68	c       394       545    632.69    155.52      4.07   1000000         0
1278.75/1279.23	c       372       534    662.73    190.26      3.48   1000000         0
1280.25/1280.76	c       363       558    645.58    169.57      3.81   1000000         0
1281.85/1282.30	c       395       490    649.95    188.25      3.45   1000000         0
1283.35/1283.83	c       366       604    633.10    185.99      3.40   1000000         0
1284.84/1285.38	c       364       709    652.82    199.29      3.28   1000000         0
1286.44/1286.90	c       276       567    618.52    191.24      3.23   1000000         0
1287.94/1288.44	c       378       679    657.31    185.06      3.55   1000000         0
1289.44/1289.97	c       383       718    627.14    178.99      3.50   1000000         0
1291.05/1291.51	c       352       606    649.38    170.26      3.81   1000000         0
1292.54/1293.06	c       353       578    665.56    168.17      3.96   1000000         0
1294.14/1294.61	c       389       579    660.51    151.30      4.37   1000000         0
1295.64/1296.15	c       443       638    656.44    147.34      4.46   1000000         0
1297.14/1297.69	c       336       667    652.87    161.86      4.03   1000000         0
1298.75/1299.23	c       387       555    653.37    192.94      3.39   1000000         0
1300.24/1300.77	c       402       563    635.07    165.80      3.83   1000000         0
1301.84/1302.32	c       418       641    681.20    193.06      3.53   1000000         0
1303.34/1303.85	c       396       540    638.54    153.86      4.15   1000000         0
1304.84/1305.38	c       343       545    621.02    175.73      3.53   1000000         0
1306.44/1306.93	c       392       616    659.55    197.60      3.34   1000000         0
1307.94/1308.47	c       415       593    651.16    158.67      4.10   1000000         0
1309.54/1310.00	c       361       664    628.70    171.97      3.66   1000000         0
1311.04/1311.54	c       347       634    646.41    225.99      2.86   1000000         0
1312.54/1313.06	c       338       627    623.12    166.81      3.74   1000000         0
1314.14/1314.61	c       427       652    667.43    157.23      4.24   1000000         0
1315.63/1316.15	c       289       505    653.27    193.29      3.38   1000000         0
1317.23/1317.70	c       376       427    665.36    210.70      3.16   1000000         0
1318.73/1319.24	c       416       490    643.65    185.27      3.47   1000000         0
1320.23/1320.77	c       326       656    642.13    202.53      3.17   1000000         0
1321.84/1322.32	c       368       552    646.40    189.41      3.41   1000000         0
1323.33/1323.85	c       369       575    633.06    192.90      3.28   1000000         0
1324.83/1325.39	c       379       618    637.54    189.16      3.37   1000000         0
1326.43/1326.93	c       406       576    662.98    148.09      4.48   1000000         0
1327.93/1328.48	c       376       624    653.12    175.57      3.72   1000000         0
1329.54/1330.01	c       324       616    634.67    226.14      2.81   1000000         0
1331.03/1331.57	c       351       554    674.12    201.42      3.35   1000000         0
1332.63/1333.10	c       359       569    642.69    167.48      3.84   1000000         0
1334.13/1334.65	c       398       505    652.45    184.35      3.54   1000000         0
1335.63/1336.18	c       396       601    638.74    172.28      3.71   1000000         0
1337.23/1337.72	c       377       533    638.62    181.25      3.52   1000000         0
1338.73/1339.26	c       364       523    643.32    154.35      4.17   1000000         0
1340.23/1340.79	c       391       683    646.10    164.80      3.92   1000000         0
1341.83/1342.33	c       400       530    638.93    175.49      3.64   1000000         0
1343.32/1343.88	c       417       623    665.62    174.28      3.82   1000000         0
1344.93/1345.42	c       410       570    660.30    181.34      3.64   1000000         0
1346.42/1346.97	c       365       634    651.39    201.72      3.23   1000000         0
1348.02/1348.51	c       401       625    657.69    169.01      3.89   1000000         0
1349.52/1350.05	c       376       607    641.83    177.92      3.61   1000000         0
1351.02/1351.58	c       383       543    644.21    169.24      3.81   1000000         0
1352.63/1353.12	c       392       638    647.30    169.79      3.81   1000000         0
1354.12/1354.68	c       363       589    669.32    172.54      3.88   1000000         0
1355.72/1356.22	c       354       677    647.07    216.96      2.98   1000000         0
1357.22/1357.76	c       398       588    665.77    197.81      3.37   1000000         0
1358.82/1359.31	c       430       717    681.16    161.55      4.22   1000000         0
1360.33/1360.86	c       388       635    657.45    207.50      3.17   1000000         0
1361.92/1362.41	c       355       595    666.61    186.31      3.58   1000000         0
1363.42/1363.94	c       357       602    638.14    172.99      3.69   1000000         0
1365.02/1365.50	c       403       787    683.52    166.11      4.11   1000000         0
1366.52/1367.03	c       370       570    648.86    174.90      3.71   1000000         0
1368.02/1368.57	c       394       614    645.28    179.98      3.59   1000000         0
1369.61/1370.11	c       396       514    655.76    187.53      3.50   1000000         0
1371.11/1371.67	c       391       735    673.96    187.33      3.60   1000000         0
1372.71/1373.22	c       447       619    688.30    180.65      3.81   1000000         0
1374.21/1374.77	c       406       655    660.20    179.75      3.67   1000000         0
1375.72/1376.30	c       398       650    623.44    187.71      3.32   1000000         0
1377.31/1377.83	c       334       512    641.12    167.02      3.84   1000000         0
1378.81/1379.36	c       325       586    648.32    154.55      4.19   1000000         0
1380.41/1380.91	c       404       604    658.40    197.16      3.34   1000000         0
1381.91/1382.46	c       413       632    683.90    171.67      3.98   1000000         0
1383.51/1384.01	c       381       572    648.94    147.44      4.40   1000000         0
1385.01/1385.55	c       406       667    642.78    180.71      3.56   1000000         0
1386.62/1387.10	c       412       650    679.95    154.83      4.39   1000000         0
1388.11/1388.63	c       316       656    621.55    179.71      3.46   1000000         0
1389.61/1390.17	c       379       711    657.24    193.35      3.40   1000000         0
1391.21/1391.73	c       442       660    682.24    175.59      3.89   1000000         0
1392.71/1393.29	c       429       571    687.71    179.78      3.83   1000000         0
1394.31/1394.83	c       387       618    647.93    168.21      3.85   1000000         0
1395.81/1396.36	c       398       669    643.54    186.74      3.45   1000000         0
1397.30/1397.89	c       406       595    633.32    157.31      4.03   1000000         0
1398.90/1399.44	c       357       588    661.06    187.86      3.52   1000000         0
1400.40/1400.98	c       406       557    646.38    160.45      4.03   1000000         0
1402.01/1402.50	c       408       677    619.69    161.55      3.84   1000000         0
1403.50/1404.05	c       390       514    667.83    196.92      3.39   1000000         0
1405.10/1405.61	c       456       607    681.99    184.09      3.70   1000000         0
1406.60/1407.14	c       391       525    620.59    176.23      3.52   1000000         0
1408.10/1408.67	c       377       634    622.97    156.22      3.99   1000000         0
1409.71/1410.21	c       339       622    663.53    188.52      3.52   1000000         0
1411.20/1411.75	c       385       617    656.45    179.10      3.67   1000000         0
1412.80/1413.30	c       369       701    641.76    199.98      3.21   1000000         0
1414.30/1414.83	c       347       676    619.39    166.76      3.71   1000000         0
1415.80/1416.36	c       309       520    641.95    210.65      3.05   1000000         0
1417.40/1417.90	c       351       584    645.57    206.03      3.13   1000000         0
1418.90/1419.45	c       388       664    651.65    172.21      3.78   1000000         0
1420.40/1420.99	c       374       705    653.07    202.52      3.22   1000000         0
1422.00/1422.54	c       427       763    674.97    200.31      3.37   1000000         0
1423.50/1424.08	c       364       503    642.96    178.69      3.60   1000000         0
1425.10/1425.61	c       358       564    648.06    170.76      3.80   1000000         0
1426.59/1427.14	c       347       720    633.24    177.86      3.56   1000000         0
1428.09/1428.68	c       364       589    654.78    183.44      3.57   1000000         0
1429.69/1430.22	c       361       648    666.72    194.16      3.43   1000000         0
1431.19/1431.77	c       343       602    652.28    164.76      3.96   1000000         0
1432.80/1433.31	c       375       603    657.22    201.69      3.26   1000000         0
1434.29/1434.85	c       374       697    649.01    165.08      3.93   1000000         0
1435.79/1436.39	c       375       454    651.77    159.26      4.09   1000000         0
1437.39/1437.94	c       344       511    662.76    176.85      3.75   1000000         0
1438.89/1439.49	c       444       615    663.49    191.57      3.46   1000000         0
1440.50/1441.03	c       352       698    651.24    211.00      3.09   1000000         0
1441.99/1442.56	c       369       607    634.47    153.92      4.12   1000000         0
1443.49/1444.09	c       326       471    634.26    184.11      3.44   1000000         0
1445.09/1445.63	c       408       692    653.44    158.62      4.12   1000000         0
1446.59/1447.18	c       394       473    660.29    162.38      4.07   1000000         0
1448.19/1448.73	c       391       767    668.03    167.13      4.00   1000000         0
1449.69/1450.28	c       394       557    651.45    189.57      3.44   1000000         0
1451.29/1451.82	c       370       494    647.97    181.67      3.57   1000000         0
1452.79/1453.36	c       389       488    637.45    149.23      4.27   1000000         0
1454.38/1454.90	c       366       571    650.02    206.73      3.14   1000000         0
1455.89/1456.43	c       356       636    648.13    197.80      3.28   1000000         0
1457.38/1457.96	c       416       542    639.86    181.53      3.52   1000000         0
1458.98/1459.50	c       403       616    649.94    171.60      3.79   1000000         0
1460.48/1461.05	c       392       643    646.68    184.61      3.50   1000000         0
1461.98/1462.59	c       375       565    645.87    167.43      3.86   1000000         0
1463.59/1464.13	c       380       571    643.56    180.57      3.56   1000000         0
1465.18/1465.70	c       397       639    707.75    220.01      3.22   1000000         0
1466.68/1467.25	c       386       710    663.82    212.70      3.12   1000000         0
1468.28/1468.80	c       402       661    663.53    191.03      3.47   1000000         0
1469.78/1470.35	c       422       592    684.74    174.36      3.93   1000000         0
1471.29/1471.89	c       385       505    646.84    183.18      3.53   1000000         0
1472.88/1473.43	c       342       741    647.49    189.58      3.42   1000000         0
1474.38/1474.97	c       423       576    661.95    148.19      4.47   1000000         0
1475.98/1476.52	c       406       538    672.60    197.25      3.41   1000000         0
1477.48/1478.05	c       390       492    635.43    181.58      3.50   1000000         0
1478.98/1479.60	c       425       590    669.88    186.94      3.58   1000000         0
1480.58/1481.13	c       371       644    646.94    179.30      3.61   1000000         0
1482.08/1482.68	c       378       629    671.93    197.64      3.40   1000000         0
1483.67/1484.23	c       414       570    665.81    204.53      3.26   1000000         0
1485.17/1485.76	c       393       562    631.55    165.27      3.82   1000000         0
1486.68/1487.29	c       365       583    635.79    184.25      3.45   1000000         0
1488.27/1488.84	c       357       547    663.87    180.15      3.69   1000000         0
1489.77/1490.38	c       367       569    653.75    166.39      3.93   1000000         0
1491.37/1491.92	c       378       587    664.70    189.93      3.50   1000000         0
1492.87/1493.47	c       398       710    660.31    191.86      3.44   1000000         0
1494.38/1494.99	c       328       562    619.32    184.95      3.35   1000000         0
1495.97/1496.54	c       407       607    668.88    198.56      3.37   1000000         0
1497.47/1498.08	c       376       550    664.55    162.77      4.08   1000000         0
1499.07/1499.61	c       405       547    631.10    176.07      3.58   1000000         0
1500.57/1501.13	c       374       553    624.45    147.21      4.24   1000000         0
1502.08/1502.67	c       411       512    647.43    143.08      4.53   1000000         0
1503.67/1504.20	c       413       564    636.07    188.93      3.37   1000000         0
1505.17/1505.73	c       340       478    627.07    185.83      3.37   1000000         0
1506.67/1507.26	c       359       580    629.86    188.14      3.35   1000000         0
1508.17/1508.79	c       332       678    619.68    164.69      3.76   1000000         0
1509.77/1510.34	c       387       747    668.64    213.20      3.14   1000000         0
1511.27/1511.89	c       401       617    670.76    179.32      3.74   1000000         0
1512.87/1513.44	c       423       476    665.91    206.77      3.22   1000000         0
1514.36/1514.97	c       391       580    644.30    203.84      3.16   1000000         0
1515.96/1516.53	c       443       611    678.80    194.39      3.49   1000000         0
1517.47/1518.05	c       343       628    615.34    174.49      3.53   1000000         0
1519.06/1519.60	c       426       578    651.66    173.77      3.75   1000000         0
1520.56/1521.11	c       358       622    617.46    156.56      3.94   1000000         0
1522.06/1522.66	c       350       682    653.04    177.55      3.68   1000000         0
1523.56/1524.19	c       344       520    630.02    181.52      3.47   1000000         0
1525.17/1525.73	c       415       528    653.19    198.07      3.30   1000000         0
1526.66/1527.27	c       400       622    641.65    166.78      3.85   1000000         0
1528.26/1528.81	c       403       524    662.96    221.55      2.99   1000000         0
1529.76/1530.36	c       385       691    662.03    158.95      4.17   1000000         0
1531.36/1531.91	c       394       557    665.02    188.39      3.53   1000000         0
1532.86/1533.45	c       378       597    649.05    198.95      3.26   1000000         0
1534.36/1534.99	c       409       525    653.32    202.51      3.23   1000000         0
1535.96/1536.55	c       436       651    673.89    175.28      3.84   1000000         0
1537.56/1538.10	c       408       552    677.99    182.08      3.72   1000000         0
1539.06/1539.64	c       383       699    645.57    173.35      3.72   1000000         0
1540.56/1541.19	c       404       666    643.71    187.25      3.44   1000000         0
1542.15/1542.74	c       393       681    669.16    187.72      3.56   1000000         0
1543.65/1544.27	c       355       616    645.66    201.84      3.20   1000000         0
1545.25/1545.83	c       360       613    672.69    190.99      3.52   1000000         0
1546.75/1547.36	c       392       551    654.28    189.89      3.45   1000000         0
1548.36/1548.90	c       408       414    655.05    171.29      3.82   1000000         0
1549.85/1550.44	c       380       598    635.96    189.65      3.35   1000000         0
1551.35/1551.98	c       344       601    650.73    201.63      3.23   1000000         0
1552.95/1553.51	c       383       664    624.91    192.04      3.25   1000000         0
1554.45/1555.04	c       348       464    637.98    194.42      3.28   1000000         0
1555.96/1556.58	c       418       490    652.32    168.06      3.88   1000000         0
1557.55/1558.12	c       352       398    666.93    176.46      3.78   1000000         0
1559.05/1559.67	c       424       490    660.46    150.91      4.38   1000000         0
1560.65/1561.21	c       384       530    658.82    179.56      3.67   1000000         0
1562.15/1562.74	c       351       494    637.67    202.47      3.15   1000000         0
1563.65/1564.29	c       332       396    656.82    189.50      3.47   1000000         0
1565.25/1565.84	c       406       601    658.77    180.59      3.65   1000000         0
1566.75/1567.39	c       385       480    663.41    202.25      3.28   1000000         0
1568.35/1568.93	c       359       577    660.45    169.90      3.89   1000000         0
1569.84/1570.47	c       393       745    656.56    163.00      4.03   1000000         0
1571.35/1572.00	c       391       601    635.15    188.11      3.38   1000000         0
1572.94/1573.54	c       409       703    645.53    156.55      4.12   1000000         0
1574.44/1575.08	c       417       705    638.68    179.51      3.56   1000000         0
1576.04/1576.62	c       352       465    650.10    191.16      3.40   1000000         0
1577.54/1578.17	c       433       633    655.67    173.22      3.79   1000000         0
1579.15/1579.71	c       435       644    665.94    167.61      3.97   1000000         0
1580.64/1581.27	c       419       543    685.09    172.40      3.97   1000000         0
1582.24/1582.82	c       418       595    688.12    160.64      4.28   1000000         0
1583.74/1584.36	c       345       620    647.56    176.69      3.66   1000000         0
1585.34/1585.90	c       328       518    649.54    214.68      3.03   1000000         0
1586.85/1587.44	c       391       785    639.38    172.51      3.71   1000000         0
1588.34/1588.96	c       379       588    625.75    175.43      3.57   1000000         0
1589.94/1590.50	c       350       646    639.46    161.66      3.96   1000000         0
1591.44/1592.04	c       394       574    638.63    184.20      3.47   1000000         0
1592.93/1593.58	c       415       647    656.19    155.07      4.23   1000000         0
1594.54/1595.11	c       338       445    624.00    177.44      3.52   1000000         0
1596.03/1596.65	c       403       560    651.75    193.00      3.38   1000000         0
1597.63/1598.20	c       414       710    668.02    186.99      3.57   1000000         0
1599.13/1599.74	c       377       580    651.76    184.75      3.53   1000000         0
1600.63/1601.28	c       407       515    662.53    145.43      4.56   1000000         0
1602.24/1602.80	c       302       513    627.08    172.29      3.64   1000000         0
1603.73/1604.37	c       451       666    691.33    196.09      3.53   1000000         0
1605.33/1605.91	c       362       646    664.29    175.88      3.78   1000000         0
1606.83/1607.46	c       413       633    663.56    183.41      3.62   1000000         0
1608.33/1608.99	c       424       613    656.02    146.47      4.48   1000000         0
1609.94/1610.53	c       355       655    638.61    156.25      4.09   1000000         0
1611.44/1612.06	c       366       536    631.42    169.65      3.72   1000000         0
1613.04/1613.60	c       385       547    652.93    194.98      3.35   1000000         0
1614.54/1615.15	c       353       618    669.87    197.14      3.40   1000000         0
1616.14/1616.70	c       403       706    656.51    196.45      3.34   1000000         0
1617.64/1618.24	c       411       665    645.19    163.86      3.94   1000000         0
1619.13/1619.76	c       358       646    628.79    175.43      3.58   1000000         0
1620.63/1621.29	c       367       550    626.77    168.67      3.72   1000000         0
1622.23/1622.83	c       411       484    649.35    182.77      3.55   1000000         0
1623.73/1624.39	c       392       544    672.68    203.25      3.31   1000000         0
1625.34/1625.94	c       424       580    679.48    179.68      3.78   1000000         0
1626.83/1627.48	c       310       538    651.74    187.26      3.48   1000000         0
1628.43/1629.02	c       346       575    641.68    186.80      3.44   1000000         0
1629.93/1630.55	c       369       656    639.65    155.26      4.12   1000000         0
1631.43/1632.08	c       363       608    636.10    192.60      3.30   1000000         0
1633.04/1633.63	c       372       602    662.33    223.80      2.96   1000000         0
1634.53/1635.17	c       425       601    649.73    181.85      3.57   1000000         0
1636.13/1636.70	c       303       563    634.41    186.67      3.40   1000000         0
1637.63/1638.24	c       434       677    650.21    175.41      3.71   1000000         0
1639.13/1639.78	c       358       706    642.10    183.32      3.50   1000000         0
1640.73/1641.32	c       379       706    660.31    177.73      3.72   1000000         0
1642.23/1642.86	c       419       602    651.10    204.30      3.19   1000000         0
1643.83/1644.41	c       379       630    663.36    196.59      3.37   1000000         0
1645.33/1645.95	c       346       491    655.28    177.09      3.70   1000000         0
1646.83/1647.49	c       347       558    639.63    186.41      3.43   1000000         0
1648.43/1649.02	c       361       532    631.46    220.44      2.86   1000000         0
1649.92/1650.56	c       368       598    644.80    180.88      3.56   1000000         0
1651.52/1652.11	c       308       619    659.53    182.71      3.61   1000000         0
1653.02/1653.65	c       411       686    654.01    170.76      3.83   1000000         0
1654.52/1655.18	c       367       482    641.78    174.54      3.68   1000000         0
1656.13/1656.73	c       393       615    667.52    155.33      4.30   1000000         0
1657.62/1658.26	c       328       583    633.32    178.53      3.55   1000000         0
1659.22/1659.81	c       399       620    672.39    191.59      3.51   1000000         0
1660.72/1661.35	c       345       548    650.63    182.84      3.56   1000000         0
1662.22/1662.90	c       403       680    652.16    195.51      3.34   1000000         0
1663.83/1664.43	c       396       737    635.21    187.33      3.39   1000000         0
1665.32/1665.97	c       390       681    660.83    189.63      3.48   1000000         0
1666.92/1667.52	c       418       678    660.04    176.13      3.75   1000000         0
1668.42/1669.06	c       358       680    629.36    165.84      3.79   1000000         0
1669.92/1670.59	c       372       645    628.31    208.21      3.02   1000000         0
1671.52/1672.12	c       350       510    653.26    182.08      3.59   1000000         0
1673.02/1673.66	c       360       686    639.82    181.67      3.52   1000000         0
1674.62/1675.21	c       365       621    660.43    168.58      3.92   1000000         0
1676.12/1676.74	c       356       553    637.72    198.25      3.22   1000000         0
1677.61/1678.28	c       340       710    648.15    181.10      3.58   1000000         0
1679.22/1679.83	c       374       612    675.19    167.19      4.04   1000000         0
1680.71/1681.37	c       354       552    651.40    175.62      3.71   1000000         0
1682.31/1682.92	c       368       641    645.66    171.93      3.76   1000000         0
1683.81/1684.45	c       370       829    637.80    172.33      3.70   1000000         0
1685.31/1685.99	c       347       612    653.62    202.89      3.22   1000000         0
1686.92/1687.54	c       405       627    662.06    177.27      3.73   1000000         0
1688.51/1689.10	c       415       623    681.99    178.88      3.81   1000000         0
1690.01/1690.65	c       378       642    676.50    196.82      3.44   1000000         0
1691.61/1692.21	c       439       616    691.68    179.40      3.86   1000000         0
1693.11/1693.74	c       336       605    621.84    196.71      3.16   1000000         0
1694.62/1695.28	c       392       510    656.58    176.35      3.72   1000000         0
1696.21/1696.83	c       346       474    643.74    195.56      3.29   1000000         0
1697.71/1698.36	c       391       657    636.13    191.04      3.33   1000000         0
1699.31/1699.91	c       416       493    670.15    159.36      4.21   1000000         0
1700.81/1701.47	c       397       624    678.19    181.71      3.73   1000000         0
1702.41/1703.03	c       405       627    689.39    196.30      3.51   1000000         0
1703.90/1704.59	c       439       591    687.08    193.43      3.55   1000000         0
1705.51/1706.12	c       386       654    639.70    171.45      3.73   1000000         0
1707.00/1707.66	c       418       660    639.03    168.07      3.80   1000000         0
1708.50/1709.18	c       384       568    632.06    177.31      3.56   1000000         0
1710.10/1710.72	c       382       493    654.15    193.70      3.38   1000000         0
1711.60/1712.26	c       381       657    655.20    187.99      3.49   1000000         0
1713.10/1713.79	c       380       659    629.32    153.47      4.10   1000000         0
1714.70/1715.32	c       359       691    620.31    182.81      3.39   1000000         0
1716.20/1716.85	c       350       535    638.70    181.47      3.52   1000000         0
1717.71/1718.39	c       393       548    643.28    177.12      3.63   1000000         0
1719.30/1719.94	c       419       674    668.67    160.43      4.17   1000000         0
1720.80/1721.49	c       403       653    661.33    185.13      3.57   1000000         0
1722.40/1723.02	c       416       457    632.31    165.24      3.83   1000000         0
1723.90/1724.56	c       432       608    648.68    157.96      4.11   1000000         0
1725.41/1726.09	c       382       640    645.40    174.46      3.70   1000000         0
1727.00/1727.63	c       368       593    663.22    170.94      3.88   1000000         0
1728.50/1729.17	c       325       631    645.81    194.79      3.32   1000000         0
1730.10/1730.71	c       393       702    656.57    154.70      4.24   1000000         0
1731.59/1732.26	c       371       656    656.63    202.10      3.25   1000000         0
1733.19/1733.81	c       366       564    665.19    212.14      3.14   1000000         0
1734.69/1735.34	c       349       596    629.99    209.12      3.01   1000000         0
1736.19/1736.88	c       404       573    656.74    158.16      4.15   1000000         0
1737.79/1738.41	c       353       557    631.39    164.11      3.85   1000000         0
1739.29/1739.96	c       364       702    662.51    232.17      2.85   1000000         0
1740.89/1741.51	c       359       581    655.60    189.75      3.46   1000000         0
1742.39/1743.04	c       384       529    624.59    166.48      3.75   1000000         0
1743.89/1744.57	c       377       559    618.83    155.61      3.98   1000000         0
1745.49/1746.11	c       368       644    666.78    200.27      3.33   1000000         0
1746.99/1747.65	c       339       627    659.14    171.05      3.85   1000000         0
1748.59/1749.20	c       398       528    665.75    199.33      3.34   1000000         0
1750.09/1750.75	c       408       556    676.48    186.75      3.62   1000000         0
1751.59/1752.28	c       371       580    630.94    164.17      3.84   1000000         0
1753.19/1753.83	c       398       634    662.93    201.68      3.29   1000000         0
1754.69/1755.38	c       439       588    676.12    186.48      3.63   1000000         0
1756.29/1756.91	c       385       663    641.51    186.54      3.44   1000000         0
1757.79/1758.45	c       370       810    641.30    166.50      3.85   1000000         0
1759.39/1760.00	c       437       653    683.54    183.76      3.72   1000000         0
1760.89/1761.54	c       357       679    637.95    185.15      3.45   1000000         0
1762.49/1763.10	c       429       608    683.71    180.08      3.80   1000000         0
1763.98/1764.64	c       382       509    649.43    174.22      3.73   1000000         0
1765.48/1766.18	c       387       585    641.41    161.68      3.97   1000000         0
1767.09/1767.71	c       365       781    643.04    170.05      3.78   1000000         0
1768.58/1769.26	c       398       458    657.23    198.38      3.31   1000000         0
1770.08/1770.80	c       398       675    655.52    185.18      3.54   1000000         0
1771.68/1772.33	c       350       567    634.63    179.67      3.53   1000000         0
1773.18/1773.88	c       359       609    660.62    204.33      3.23   1000000         0
1774.79/1775.43	c       415       625    652.20    152.63      4.27   1000000         0
1776.28/1776.98	c       414       659    675.65    184.27      3.67   1000000         0
1777.88/1778.53	c       389       529    656.07    181.99      3.60   1000000         0
1779.38/1780.05	c       384       554    635.81    215.68      2.95   1000000         0
1780.88/1781.58	c       420       557    621.04    154.13      4.03   1000000         0
1782.49/1783.12	c       361       476    657.15    200.72      3.27   1000000         0
1783.98/1784.66	c       303       740    650.35    202.49      3.21   1000000         0
1785.58/1786.20	c       422       557    661.66    168.75      3.92   1000000         0
1787.08/1787.74	c       365       486    646.20    172.57      3.74   1000000         0
1788.58/1789.27	c       340       596    623.01    209.34      2.98   1000000         0
1790.18/1790.81	c       362       652    645.65    158.59      4.07   1000000         0
1791.68/1792.34	c       358       553    648.36    183.86      3.53   1000000         0
1793.17/1793.88	c       398       503    648.13    195.96      3.31   1000000         0
1794.77/1795.42	c       333       666    645.36    172.77      3.74   1000000         0
1796.27/1796.95	c       401       505    645.63    174.16      3.71   1000000         0
1797.88/1798.50	c       378       555    668.44    203.15      3.29   1000000         0
1799.37/1800.06	c       389       585    669.63    201.24      3.33   1000000         0
1800.09/1800.71	HOME/run: line 2: 20381 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-2684958-1278437182/watcher-2684958-1278437182 -o /tmp/evaluation-result-2684958-1278437182/solver-2684958-1278437182 -C 1800 -W 2000 -M 1800 run HOME/instance-2684958-1278437182.opb 

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


[startup+0 s]
/proc/loadavg: 1.07 1.07 1.00 3/106 20380
/proc/meminfo: memFree=1811232/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) R 20378 20380 19983 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374582165 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0

[startup+0.106011 s]
/proc/loadavg: 1.07 1.07 1.00 3/106 20380
/proc/meminfo: memFree=1811232/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201029 s]
/proc/loadavg: 1.07 1.07 1.00 3/106 20380
/proc/meminfo: memFree=1811232/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301048 s]
/proc/loadavg: 1.07 1.07 1.00 3/106 20380
/proc/meminfo: memFree=1811232/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701123 s]
/proc/loadavg: 1.07 1.07 1.00 3/106 20380
/proc/meminfo: memFree=1811232/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50127 s]
/proc/loadavg: 1.07 1.07 1.00 2/108 20382
/proc/meminfo: memFree=1804148/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1.49
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1795 0 0 0 149 0 0 0 25 0 1 0 11926255 41422848 1725 1992294400 134512640 135071400 4292418848 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1725 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10158 s]
/proc/loadavg: 1.07 1.06 1.00 2/108 20382
/proc/meminfo: memFree=1803900/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=3.09
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1803 0 0 0 309 0 0 0 25 0 1 0 11926255 41422848 1733 1992294400 134512640 135071400 4292418848 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1733 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30118 s]
/proc/loadavg: 1.07 1.06 1.00 2/108 20382
/proc/meminfo: memFree=1803776/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=6.29
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1803 0 0 0 629 0 0 0 25 0 1 0 11926255 41422848 1733 1992294400 134512640 135071400 4292418848 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1733 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7014 s]
/proc/loadavg: 1.06 1.06 1.00 2/108 20382
/proc/meminfo: memFree=1803528/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=12.68
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 1268 0 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5008 s]
/proc/loadavg: 1.12 1.07 1.00 2/108 20382
/proc/meminfo: memFree=1803528/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=25.48
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 2548 0 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526469 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1007 s]
/proc/loadavg: 1.08 1.07 1.00 2/108 20382
/proc/meminfo: memFree=1803404/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=51.07
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 5107 0 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.301 s]
/proc/loadavg: 1.08 1.07 1.00 2/108 20384
/proc/meminfo: memFree=1803404/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=102.26
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 10226 0 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134537291 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.07 1.07 1.00 2/108 20386
/proc/meminfo: memFree=1803280/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=162.23
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 16223 0 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.31 s]
/proc/loadavg: 1.07 1.07 1.00 2/108 20388
/proc/meminfo: memFree=1803280/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=222.23
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 22222 1 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.10 1.08 1.01 2/108 20388
/proc/meminfo: memFree=1803280/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=282.2
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 28219 1 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134571224 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 49152

[startup+342.302 s]
/proc/loadavg: 1.07 1.08 1.01 2/108 20390
/proc/meminfo: memFree=1803032/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=342.17
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 34216 1 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134547324 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.06 1.08 1.01 2/108 20392
/proc/meminfo: memFree=1803032/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=402.15
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 40214 1 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 49152

[startup+462.3 s]

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

/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1061.92
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 106190 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.08 1.03 2/108 20410
/proc/meminfo: memFree=1801668/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1121.9
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 112188 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 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.06 1.03 2/108 20412
/proc/meminfo: memFree=1801544/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1181.88
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 118186 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134525641 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 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.05 1.02 2/108 20414
/proc/meminfo: memFree=1801296/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1241.86
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 124184 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 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.04 1.01 2/108 20416
/proc/meminfo: memFree=1801048/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1301.84
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 130182 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 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.03 1.01 2/108 20418
/proc/meminfo: memFree=1801048/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1361.82
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 136180 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 1.00 1.02 1.00 3/108 20418
/proc/meminfo: memFree=1800924/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1421.8
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 142178 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 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.01 1.00 2/108 20420
/proc/meminfo: memFree=1800800/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1481.78
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 148176 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 20422
/proc/meminfo: memFree=1800800/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1541.76
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 154174 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134537261 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 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 1.00 2/108 20424
/proc/meminfo: memFree=1800552/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1601.73
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 160171 2 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526333 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20426
/proc/meminfo: memFree=1800552/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1661.72
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 166169 3 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 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 1.00 2/108 20426
/proc/meminfo: memFree=1800428/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1721.7
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 172167 3 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 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 1.00 2/108 20428
/proc/meminfo: memFree=1800180/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1781.68
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 178165 3 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 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.7 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 20430
/proc/meminfo: memFree=1800180/2059040 swapFree=4192956/4192956
[pid=20380] ppid=20378 vsize=8700 CPUtime=0
/proc/20380/stat : 20380 (run) S 20378 20380 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11926255 8908800 243 1992294400 4194304 4922060 140735334489024 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20380/statm: 2175 243 204 178 0 68 0
[pid=20381] ppid=20380 vsize=40452 CPUtime=1800.09
/proc/20381/stat : 20381 (PB-wave) R 20380 20380 19983 0 -1 4202496 1804 0 0 0 180006 3 0 0 25 0 1 0 11926255 41422848 1734 1992294400 134512640 135071400 4292418848 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20381/statm: 10113 1734 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples

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

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

runsolver used 2.88156 second user time and 8.67468 second system time

The end

Launcher Data 

Begin job on node037 at 2010-07-06 19:26:22
IDJOB=2684958
IDBENCH=74142
IDSOLVER=1171
FILE ID=node037/2684958-1278437182
PBS_JOBID= 11233472
Free space on /tmp= 62576 MiB

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

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

MD5SUM BENCH= a9c783eab0310878424a5f19a95160c6
RANDOM SEED=781676540

node037.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.266
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.53
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.266
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1811636 kB
Buffers:         19852 kB
Cached:          98600 kB
SwapCached:          0 kB
Active:          91392 kB
Inactive:        87276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1811636 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2624 kB
Writeback:           4 kB
AnonPages:       60160 kB
Mapped:          14444 kB
Slab:            46848 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264880 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node037 at 2010-07-06 19:56:23